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.     

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.     

基于对称受限玻尔兹曼机的协同过滤算法

协同过滤算法在推荐系统中得到了广泛应用。其中具有代表性的是基于有向图模型的矩阵分解法和基于无向图模型的受限玻尔兹曼机。文中提出了一种基于对称受限玻尔兹曼机的协同过滤算法,该算法充分考虑并利用了推荐系统中用户和物品的对称性,通过对用户和物品分别建立了一个受限玻尔兹曼机,最后,采用回归算法对二者的结果进行融合处理。实验结果显示该方法与其他相关算法相比具有明显的优越性。     

Development of a time domain prediction method for hull pressure fluctuation induced by marine propeller sheet cavitation with consideration of scattering effects

Using a time domain acoustic analogy, we develop a method to predict the sound field and hull pressure fluctuation generated by unsteady sheet cavitation on marine propellers. Formulation 1A of Farassat is introduced to enhance theoretical understanding of this work, and it is applied to modeling the scattered sound field created by the fuselage boundary. To express the direct sound field resulting from sheet cavitation, a new solution is studied which considers the Doppler effect and also separately expresses the near and far fields. A small cube model is used to verify the method. Computed acoustic field pressures around the cube are compared with the boundary element method, and the numerical results show good agreement. Finally, the pressure fluctuation on a ship stern model is calculated.