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.     

旷山法在地铁盾构区间隧道上软下硬地层中的应用

介绍矿山法隧道施工结构、竖井结构设计和施工工艺,以及超前管棚、超前小导管注浆、台阶法隧道开挖、端头墙、导向平台的施工方法。隧道上方地面沉降监测点对既有线位移、地面沉降进行监测;隧道内监测点对围岩与支护状态进行监控,对水平收敛、拱顶下沉及钢格栅应力等进行量测,并提出监测频率,根据监控量测结果指导施工作业和管理。在盾构区间隧道硬岩侵入段采用矿山法施工安全、经济、快速,对隧道在上软下硬地层中下穿既有线或其他建筑物的施工具有一定参考价值。     

快捷式地铁系统探讨

快捷式地铁系统是将车站设计在地面上,车站与车站之间用浅埋地下隧道相连接的一种城市交通方式。快捷式地铁使乘客乘车更加方便,列车的旅行速度较高,且系统建设和运营成本低于传统式地铁。对快捷式地铁系统的特点进行分析,探讨这种快速运输系统的技术及经济性。     

铁路站场平面CAD系统的模型设计

工程设计的模型是实现工程设计中CAD系统设计的基础和核心,就铁路站场专业平面CAD软件的开发,介绍了站场平面CAD系统的模型设计过程。     

灰色理论在地下排水管线GIS中的应用

地理信息系统管理的对象是复杂和多样的,不是人们通常认为的白色系统,而是一个灰色系统.其数据变化不是割裂的,是一个动态发展过程.其管理的地理实体不仅包括白色地理实体,也包括灰色地理实体.其管理的数据不仅包括白色数据,也包括灰色数据.灰色动态的概念应该贯通整个系统的数据采集、处理、储存、分析和显示中.以地下排水管线为例,介绍了灰色理论在地下管线状态评定中的应用,采用维修费用作为管线状态这个灰色数据的关联量.     

新疆公路三级区划中环境参数的提出

自然环境条件对公路工程的影响，主要体现在路线选取、路基强度和稳定性、路面稳定性和耐久性、公路主要自然病害(包括冻融、翻浆、雪害、风沙害、崩塌、滑坡和地震灾害等)、施工条件和养护运营环境等5个方面，分析自然条件和公路工程的关系，提出公路区划中地质地貌环境参数和水热状况环境参数。阐述了环境参数的提出过程，为新疆公路自然区划三级区的划分提供依据。     

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.