Fully secure revocable attribute-based encryption

Distributed information systems require complex access control which depends upon attributes of protected data and access policies. Traditionally, to enforce the access control, a file server is used to store all data and act as a reference to check the user. Apparently, the drawback of this system is that the security is based on the file server and the data are stored in plaintext. Attribute-based encryption (ABE) is introduced first by Sahai and Waters and can enable an access control mechanism over encrypted data by specifying the users’ attributes. According to this mechanism, even though the file server is compromised, we can still keep the security of the data. Besides the access control, user may be deprived of the ability in some situation, for example paying TV. More previous ABE constructions are proven secure in the selective model of security that attacker must announce the target he intends to attack before seeing the public parameters. And few of previous ABE constructions realize revocation of the users’ key. This paper presents an ABE scheme that supports revocation and has full security in adaptive model. We adapt the dual system encryption technique recently introduced by Waters to ABE to realize full security.     

Study on dynamic characteristics of vehicle gearbox under multi-boundary conditions

With the development of vehicle gearbox to high-power-density and high-speed, how to predict and optimize the dynamic characteristics of vehicle gearbox becomes increasingly prominent. Aiming at the vehicle gearbox, this paper comprehensively and deeply studies the dynamic characteristics under the multi-boundary conditions. The generation mechanism of the multi-source excitations triggering the gearbox vibration is analyzed firstly. The vibration transfer path of the gearbox is explored. Secondly, the engine excitation, the gear meshing excitation and the bearing support load are numerically calculated. According to the finite element method, a fluid-solid coupling finite element model of the gearbox body is established to predict the gearbox dynamic responses based on the Galerkin method and the Hamiltonian variational principle. Finally, the effects of the excitation condition, oil height and reinforcement forms on the vibration responses of the gearbox body are thoroughly studied by simulation. The analysis indicates that it not only helps to modify and improve the method of forecasting the gearbox dynamic response, and also provides the theoretical and technical guidance for the gearbox design and optimization.     

Geometric calibration algorithm of polarization camera using planar patterns

Polarization pattern provides additional information besides spectral signatures. It can be used in many applications, such as navigation, defect detection and object identification. A novel polarization camera composed of four synchronized cameras is proposed, and it can realize real-time polarization measurement. This study particularly concentrates on the geometric calibration of the system. The projection model is analyzed and the multi-camera calibration algorithm is proposed. Firstly, each camera is calibrated separately using planar patterns, and then the geometric calibration algorithms are performed. Due to the geometrical constraint, a global optimization method results in smaller estimation uncertainties. A mean rotation error of 0.025° and a mean translation error of 0.26mm are achieved after geometric calibration. The images are rectified to establish a correspondence among cameras and are combined to acquire the polarization measurement. The polarization pattern of the skylight is measured by the system and the results are consistent with the previous studies.     

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.