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.     

路堤块石自然对流特性的室内试验研究

通过室内试验,对青藏铁路路堤块石自然对流过程中风速场和温度场特性及其变化规律进行研究。结果表明:在初始控温一段时间后,风速场趋于稳定,对流涡包由无序状态逐渐发展为单胞状态;降温过程中,块石层内温度场的变化较规律,尽管对流涡包形状和大小稍有变化,但一直处于单胞状态,对流中心位于块石层中部;尽管温度场变化会引起风速场变化,但当温差达到一定值后,虽继续增大,最大风速基本不再变化,且仍位于块石层中部;自然调温过程中,由于产生热交换,块石层内温度场发生较大变化,块石层内整体温度升高,且温度场变化较混乱,风速场极不稳定,对流涡包由较为规则的单胞状态,逐渐进入无序状态。     

KZ4A~C型机车司机室加热系统效率仿真计算

在试验条件无法满足的情况下(室外温度比较低,分别为-40℃、-50℃和-60℃),通过Fluent软件对KZ4AC型机车司机室加热系统的加热效率进行仿真计算。建立了KZ4AC型机车司机室物理模型及数学模型,运用试验手段验证了模拟结果的可靠性,为电力机车司机室加热系统的设计提供新的验证方法。结果表明:当室外温度分别为-40℃、-50℃、-60℃时,司机室温度达到要求所需加热时间分别为28 min、35 min和42 min,均满足标准要求。     

CTCS-3级车载系统MVB接入设备的研究与实现

介绍CTCS-3级列车车载系统采用多功能车辆总线(MVB)进行通信的功能单元以及各个单元间的周期性和突发性通信行为。在对MVB总线协议以及上层应用协议进行分析的基础上,以MVB-Ethernet网关为例,详细介绍MVB通信网关的硬软件实现技术以及MVB网关设备在半实物仿真平台中的应用。     

CTCS-3级列控仿真系统ATP接口平台实时性研究与实现

详细分析在CTCS-3级列控仿真系统中ATP实物设备接入仿真平台面临的实时性问题,并对ATP接口平台的实时性进行详细研究与分析,针对ATP接口平台实时性设计中的关键问题提出解决方案。     

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.     

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.     

Exploring the impact of walk–bike infrastructure,safety perception,and built-environment on active transportation mode choice: a random parameter model using New York City commuter data

This study estimates a random parameter (mixed) logit model for active transportation (walk and bicycle) choices for work trips in the New York City (using 2010–2011 Regional Household Travel Survey Data). We explored the effects of traffic safety, walk–bike network facilities, and land use attributes on walk and bicycle mode choice decision in the New York City for home-to-work commute. Applying the flexible econometric structure of random parameter models, we capture the heterogeneity in the decision making process and simulate scenarios considering improvement in walk–bike infrastructure such as sidewalk width and length of bike lane. Our results indicate that increasing sidewalk width, total length of bike lane, and proportion of protected bike lane will increase the likelihood of more people taking active transportation mode This suggests that the local authorities and planning agencies to invest more on building and maintaining the infrastructure for pedestrians. Further, improvement in traffic safety by reducing traffic crashes involving pedestrians and bicyclists, will increase the likelihood of taking active transportation modes. Our results also show positive correlation between number of non-motorized trips by the other family members and the likelihood to choose active transportation mode. The model would be an essential tool to estimate the impact of improving traffic safety and walk–bike infrastructure which will assist in investment decision making.     

Tool for Predicting the Ultimate Bending Moment of Ship and Ship-Shaped Hull Girders

The present paper presents a historical review associated with the research works on hull girder strength of ship and ship-shaped structures. Then, a new program is developed to determine the ultimate vertical bending moment of hull girder by applying direct method, stress distribution method, and progressive collapse analysis method. Six ships and ship-shaped structures used in the benchmark study of International Ship and Offshore Structures Congress (ISSC) in 2012 are adopted as examples. The calculation results by applying the developed program are analyzed and compared with the existing results. Finally, the roles of the developed program and its further development are discussed.     

A Simplified Model for the Effect of Weld-Induced Residual Stresses on the Axial Ultimate Strength of Stiffened Plates

The present work investigates the compressive axial ultimate strength of fillet-welded steel-plated ship structures subjected to uniaxial compression, in which the residual stresses in the welded plates are calculated by a thermo-elasto-plastic finite element analysis that is used to fit an idealized model of residual stress distribution. The numerical results of ultimate strength based on the simplified model of residual stress show good agreement with those of various methods including the International Association of Classification Societies (IACS) Common Structural Rules (CSR), leading to the conclusion that the simplified model can be effectively used to represent the distribution of residual stresses in steel-plated structures in a wide range of engineering applications. It is concluded that the widths of the tension zones in the welded plates have a quasi-linear behavior with respect to the plate slenderness. The effect of residual stress on the axial strength of the stiffened plate is analyzed and discussed.