Research of legal affair simulation based on Petri net

Legal affair simulation is on the basis of information technology, and can simulate legal scene. College students do legal experiments with virtual reality scene. This helps to train college students. Petri net has not only strict math definition to analyze the dynamic behavior of models, but also intuitive graphic expression. Petri net is used to model for legal process. Reduction rules of Petri net are used to analyze the correctness of the system. At last Java Business Process Management (JBPM) technology is used to realize legal affair simulation models, models are transformed into flow charts. Simulation software deduces processes of legal affair. Many college students have improved their ability with the software, the fact proves that the method is effective.     

Compensation of pressure enthalpy effects on temperature fields for throttling of high-pressure real gas

For the pressure enthalpy of high pressure pneumatics, the computational fluid dynamics (CFD) simulation based on ideal gas assumption fails to obtain the real temperature information. Therefore, we propose a method to compensate the pressure enthalpy of throttling for CFD simulation based on ideal gas assumption. Firstly, the pressure enthalpy is calculated for the pressure range of 0.101 to 30 MPa and the temperature range of 190 to 298 K based on Soave-Redlich-Kwong (S-R-K) equation. Then, a polynomial fitting equation is applied to practical application in the above mentioned range. The basic idea of the compensation method is to convert the pressure enthalpy difference between inlet air and nodes into the compensation temperature. In the above temperature and pressure range, the compensated temperature is close to the real one, and the relative temperature drop error is below 10%. This error is mainly caused by the velocity difference of the orifice between the real and ideal gas models. Finally, this compensation method performs an icing analysis for practical high pressure slide pilot valve.     

Lattice-based group signature with verifier-local revocation

Among several post quantum primitives proposed in the past few decades, lattice-based cryptography is considered as the most promising one, due to its underlying rich combinatorial structure, and the worst-case to average-case reductions. The first lattice-based group signature scheme with verifier-local revocation(VLR) is treated as the first quantum-resistant scheme supported member revocation, and was put forward by Langlois et al. This VLR group signature(VLR-GS) has group public key size of O(nm log N log q), and a signature size of O(tm log N log q log β). Nguyen et al. constructed a simple efficient group signature from lattice, with significant advantages in bit-size of both the group public key and the signature. Based on their work, we present a VLR-GS scheme with group public key size of O(nm log q) and signature size of O(tm log q). Our group signature has notable advantages: support of membership revocation, and short in both the public key size and the signature size.     

Automatic outer surface extraction of femoral head in CT images

Computer-aided hip surgery planning and implant design applications require accurate segmentation of femoral head and proximal acetabulum. An accurate outer surface extraction of femoral head using marching cubes algorithm remains challenging due to deformed shapes and extremely narrow inter-bone regions. In this paper, we present an automatic and fast approach for segmentation of femoral head and proximal acetabulum which leads to accurate and compact representation of femoral head using marching cubes algorithm. At first, valley-emphasized images are constructed from original images so that valleys stand out in high relief. Otsu’s multiple thresholding technique is applied to seperate the images into bone and non-bone classes. Region growing method and threedimensional (3D) morphological operations are performed to fill holes in the bone. In the reclassification process, the bone regions are further segmented, and the boundaries of the bone regions are further refined based on Bayes decision rule. Finally, marching cubes algorithm is applied to reconstruct a 3D model and extract the outer surface of femoral head and proximal acetabulum. Experimental results show that this method is an accurate segmentation technique for femoral head and proximal acetabulum and it can be applied as a tool in medical practice.     

Effect of orthogonal stiffeners on the stability of axially compressed steel jacking pipe

Load conditions for steel pipe-jacking are complex during the construction stage. The stability of steel jacking pipe has been an increasingly important problem as jacking forces, pipe diameters and jacking distances increase. However, there are no standards for pipe reinforcement, for prevention of buckling, or for remedying pipe that buckles when being jacked axially. Past experience suggests that stiffeners can effectively reinforce the structure. This study analyzes the effect of different stiffeners on the stability of steel jacking pipe under axial compression using finite element analysis. The results suggest that the stability of steel jacking pipe can be significantly improved by using orthogonal stiffeners, in terms of engineering costs and construction space inside the pipe. Based on current engineering practice, the application of orthogonal stiffeners is discussed. This study provides a useful reference for the design and construction of steel jacking pipe.     

Calculation of strain amplification matrix for strain invariant failure theory based on representative volume element models with periodical boundary condition

Strain invariant failure theory (SIFT) is a micro-mechanics-based failure theory for multi-scale failure analysis of composite materials originally proposed by Gosse and Christensen. In this paper, the approach for obtaining strain amplification matrix which is a key step for the execution of SIFT is improved by adopting representative volume element (RVE) finite element models considering periodical boundary condition, based on which more actual deformation mode is reflected. The deformation modes and strain data at the characteristic points of the centroid cell of multi-cell RVE model are analyzed and taken as a reference. It can be concluded that more reasonable deformation mode and relationship between the micro-mechanical and macro-mechanical strain states are obtained by employing the new model. Finally, numerical examples are provided to illustrate the determination of strain amplification factors within the RVEs considering periodical boundary condition at the characteristic points.     

CT reconstruction with priori MRI images through multi-group datasets expansion

Computed tomography (CT) reconstruction with a well-registered priori magnetic resonance imaging (MRI) image can improve reconstruction results with low-dose CT, because well-registered CT and MRI images have similar structures. However, in clinical settings, the CT image of patients does not always match the priori MRI image because of breathing and movement of patients during CT scanning. To improve the image quality in this case, multi-group datasets expansion is proposed in this paper. In our method, multi-group CT-MRI datasets are formed by expanding CT-MRI datasets. These expanded datasets can also be used by most existing CT-MRI algorithms and improve the reconstructed image quality when the CT image of a patient is not registered with the priori MRI image. In the experiments, we evaluate the performance of the algorithm by using multi-group CT-MRI datasets in several unregistered situations. Experiments show that when the CT and priori MRI images are not registered, the reconstruction results of using multi-group dataset expansion are better than those obtained without using the expansion.     

我国电子政务建设发展浅析

随着信息化时代的来临,以网络为核心的信息技术在人类的发展进程中正起着越来越重要的作用。毋庸质疑,电子政务已成为我国政府改革创新的基本方向,更是带动社会信息化快速发展的根本力量。因此,电子政务的推广和应用成为不可逆转的发展趋势,这为新世纪政府组织的管理变革带来了重大的机遇和挑战。本文从电子政务的相关概念、我国电子政务建设的意义、借鉴国外电子政务建设的成功经验、我国电子政务的建设情况、我国具有代表性的电子政务创新实践、我国电子政务建设持续发展需要关注的主要问题等不同视角,较深入地分析了我国电子政务建设发展中的若干问题,在理论和实践方面提出了自己的认真思考。     

AZ91基底上多弧离子制备TiN膜及其性能表征

Introduction Magnesium,abundant in natural resource, has many advantages. This make the magnesium alloys attractive as a substitute material of ferrous metals and aluminum alloys. However, there are some unsatisfactory characteristics, which have limited the actual useof magnesium alloys.     

MUSIC波达方向估计算法的改进及仿真试验

MUSIC算法是一种子空间分解算法,它的各种性能已被广泛研究.在信号波达方向估计领域,MUSIC算法的应用,形成了MUSIC波达方向估计算法.实际应用中,MUSIC波达方向估计算法,拥有超分辨能力的同时,也存在原理性缺点——MUSIC空间谱不能反映目标信号的相对强度.文中在前人工作的基础上,对MUSIC波达方向估计算法进行理论分析,提出了有效的改进方法,并通过仿真试验证实了分析的正确性.