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.     

外教在高校英语口语教学中的局限性及相应措施

外籍教师在我国高校英语口语教学中有着中国教师不可替代的优势,同时也存在着局限性。高校应尽可能在引进外教时把好关,聘用后加强文化沟通与教学指导和管理,促进中外教师交流,改进其不足,促进口语教学,提高学生口语水平。     

筑路机械事故隐患分析与预防

与筑路机械相关的施工事故占道路施工事故中的绝大部分。因此，建立合理的筑路机械事故隐患分析与预防体系关系到施工企业、人员的切身利益。从筑路机械的设计拆卸安装、调试及使用中的各方面对事故隐患进行了分析，并阐述了事故预防体系。     

喷射混凝土在隧道支护中的应用

根据隧道合同段的具体实际情况及施工工艺,通过合理选择喷射混凝土的原材料,精确的配合比设计,正确选择喷射机械和工艺流程,严格控制喷射施工质量,使喷射混凝土作为围岩开挖后的主要支护构件,达到设计的作用效果.     

Research on probability distribution of port cargo throughput

In order to more accurately examine developing trends in gross cargo throughput, we have modeled the probability distribution of cargo throughput. Gross cargo throughput is determined by the time spent by cargo ships in the port and the operating efficiency of handling equipment. Gross cargo throughput is the sum of all compound variables determining each aspect of cargo throughput for every cargo ship arriving at the port. Probability distribution was determined using the Wald equation. The results show that the variability of gross cargo throughput primarily depends on the different times required by different cargo ships arriving at the port. This model overcomes the shortcoming of previous models： inability to accurately determine the probability of a specific value of future gross cargo throughput. Our proposed model of cargo throughput depends on the relationship between time required by a cargo ship arriving at the port and the operational capacity of handling equipment at the port. At the same time, key factors affecting gross cargo throughput are analyzed. In order to test the efficiency of the model, the cargo volume of a port in Shandong Province was used as an example. In the case study the actual results matched our theoretical analysis.     

Design optimization of a torpedo shell structure

An optimized methodology to design a more robust torpedo shell is proposed. The method has taken into account reliability requirements and controllable and uncontrollable factors such as geometry, load, material properties, manufacturing processes, installation, etc. as well as human and environmental factors. The result is a more realistic shell design. Our reliability optimization design model was developed based on sensitivity analysis. Details of the design model are given in this paper. An example of a torpedo shell design based on this model is given and demonstrates that the method produces designs that are more effective and reliable than traditional torpedo shell designs. This method can be used for other torpedo system designs.     

An investigation of the performance of an electronic in-line pump system for diesel engines

WIT Electronic Fuel System Co., Ltd. has developed a new fuel injector, the Electronic In-line Pump （EIP） system, designed to meet China＇s diesel engine emission and fuel economy regulations. It can be used on marine diesel engines and commercial vehicle engines through different EIP systems. A numerical model of the EIP system was built in the AMESim environment for the purpose of creating a design tool for engine application and system optimization. The model was used to predict key injection characteristics under different operating conditions, such as injection pressure, injection rate, and injection duration. To validate these predictions, experimental tests were conducted under the conditions that were modeled. The results were quite encouraging and in agreement with model predictions. Additional experiments were conducted to study the injection characteristics of the EIP system. These results show that injection pressure and injection quantity are insensitive to injection timing variations, this is due to the design of the constant velocity cam profile. Finally, injection quantity and pressure vs. pulse width at different cam speeds are presented, an important injection characteristic for EIP system calibration.     

动力湿化作用下粗粒土高路堤渗流场时空演化模型试验

为了研究动力湿化作用下渗流水在粗粒土高路堤内的迁移特性,自主研发设计制作一种室内喷洒降雨装置及车辆动力荷载模拟装置,开展动力湿化作用下粗粒土高路堤渗流场时空演化模型试验,从时间和空间2个角度描述渗流水在路堤内的迁移特性,然后根据模型试验结果,建立粗粒土渗流场时空演化机制,揭示动力湿化作用下的粗粒土高路堤边坡渐变失稳发育机理。研究结果表明：基于相似理论,开展粗粒土高路堤渗流场时空演化模型试验可以较为真实地反映粗粒土高路堤在动力湿化作用下渗流水的迁移特性;动力湿化作用下,湿润锋首先在路堤边坡表面形成,并逐渐从边坡表面向内部拓展,在坡顶处的拓展速率较小,坡脚处的拓展速率较大;受湿润锋演变规律的影响,路堤边坡监测点负孔隙水压力逐渐减小,体积含水率逐渐增大,坡前应力逐渐增加,位于坡脚浅层区域的应力增加速度较快;依据渗流水的迁移规律,将渗流影响范围内的土体自上而下分为浅层暂态饱和区、渗流水填充区及渗流水湿润区;在动力湿化作用下,粗粒土高路堤边坡将逐渐产生沿坡脚深层滑移的渐变趋势。     

中央导向新交通系统在国内的应用前景

介绍一种新型胶轮承重、中央钢轨导向的交通系统,该系统具有人性化、环保、节能、技术性能突出、运量适中、工期短、综合造价较低等特点。通过详细分析,指出其适用范围,重点说明新交通系统在道路断面、车站、导轨等方面的土建设计技术,以及供电系统、信息系统、车辆基地等主要设备系统配置的技术特点,阐述该系统与城市轨道交通的关系,展望其在中小城市和大城市的发展前景和方向。     

Assessing the representativeness of a smartphone-based household travel survey in Dar es Salaam,Tanzania

The household travel survey (HTS) finds itself in the midst of rapid technological change. Traditional methods are increasingly being sidelined by digital devices and computational power—for tracking movements, automatically detecting modes and activities, facilitating data collection, etc.. Smartphones have recently emerged as the latest technological enhancement. FMS is a smartphone-based prompted-recall HTS platform, consisting of an app for sensor data collection, a backend for data processing and inference, and a user interface for verification of inferences (e.g., modes, activities, times, etc.). FMS, has been deployed in several cities of the global north, including Singapore. This paper assesses the first use of FMS in a city of the global south, Dar es Salaam. FMS in Dar was implemented over a 1-month period, among 581 adults chosen from 300 randomly selected households. Individuals were provided phones with data plans and the FMS app preloaded. Verification of the collected data occurred every 3 days, via a phone interview. The experiment reveals various social and technical challenges. Models of individual likelihood to participate suggest little bias. Several socioeconomic and demographic characteristics apparently do influence, however, the number of days fully verified per individual. Similar apparent biases emerge when predicting the likelihood of a given day being verified. Some risk of non-random, non-response is, thus, evident.