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.     

Hybrid process of fabricating high-quality micro wine-glass fused silica resonators

A new hybrid method, which combines improved glass-blown technology with wet etching, is reported to fabricate micro wine-glass resonators with high-quality fused silica. The optimum placement is compared to achieve the resonators with good shell shape. The typical shell diameter is about 4mm and its thickness covers from dozens to hundreds of micrometers. The etching rates in corrosion solutions with different ratios and at different thicknesses of hemispherical shells are studied. We also conclude how to precisely control the thickness. The corrosion solutions with different ratios of HF solution to NH₄F solution make the spherical shells rougher in different degrees. The best roughness is 0.581 nm in the 1: 8 ratio corrosion solution while the original roughness is 0.537 nm. This fact shows that the resonator remains atomically smooth surface. Based on the glassblowing spherical fused silica structure, the thickness of the resonator is effectively controlled by buffered oxide etch (BOE) technology according to the measured etching rate. The measured resonant frequency of the hemispherical shell at ambient pressure and room temperature is 1.75 kHz of rocking mode which is close to the simulated frequency. Using such a low-cost hybrid approach, we can fabricate high-quality microscale resonators in batch.     

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.     

Target priority determination methods by interval-valued intuitionistic fuzzy sets with unknown attribute weights

The paper aims at the problem of multi-targets threat degree being hard to be evaluated accurately in complex air defense battlefield environments. Combined with multi-sensors information fusion and interval-valued intuitionistic fuzzy sets (IVIFS) theories, the target priority determination is studied. The score and accuracy functions of IVIFS are improved with thinking about the hesitating information in order to increase the rationality. Then, the influence factors of target priority and the nonlinear relationship between the influence factors and target priority are analyzed. Next, the algorithms for calculating the factor weights and sensor weights are given. Based on the theory of IVIFS and technique for order preference by similarity to an ideal solution (TOPSIS), two methods of target priority determination based on the IVIFS and TOPSIS are proposed. At last, an application example verifies the effectiveness and flexibility of the proposed algorithms.     

Application of digital image correlation method to in-situ dynamic strain measurement

Application of digital image correlation (DIC) method to determination of in-situ dynamic strain is presented in this study. Firstly, an integrative software is programmed based on the DIC algorithms and point-wise least-squares fitting technique. Then, simulated speckle images are generated to study the computational accuracy of this software. The experimental setup and procedures for measuring in-situ dynamic strain through both DIC and strain gauge are proposed. The DIC results are close to those measured by strain gauge. This fact reveals that DIC is a practical and effective tool for in-situ dynamic strain measurement. Finally, the full-field in-situ dynamic strain of another specimen is measured by DIC, and the overall distribution of the strain in the measurement area is clearly shown.     

Uncertainty analysis of value for money assessment for public-private partnership projects

In recent years, private sectors are encouraged to take an active part in franchising of urban infrastructure investments and operations, which promotes the rapid development of public-private partnership (PPP) in infrastructure and public service supply. Value for money (VFM) assessment has been officially proposed to provide a reference for selection of projects planning to adopt PPP. Based on the bottlenecks of VFM application in China and the uncertainties for urban infrastructure PPP projects, a discounted cash flow (DCF) model is established for VFM of infrastructure PPP projects. Then, a Monte Carlo simulation model is established on the basis of uncertainty factors for VFM. Through the analysis of Huai’an trams PPP project, coping strategies of uncertainties for VFM are put forward. Findings of the research may propel the establishment of a complete VFM evaluation system for PPP projects. Key instructional functions of VFM during the process of decision-making can be brought into full play and PPP may develop orderly.