轨道交通综合监控系统调度管理应用

轨道交通综合监控系统通过统一的平台将各子系统有机地结合,实现数据的共享和统一管理.通过对不同集成方式的分析,结合某城市轨道交通实例,简谈综合监控系统调度管理应用.     

地铁双层车辆段信号设备布置和工程配合研究

针对地铁双层车辆段的土建工程特点,通过对出段列车运行能力的分析,提出适应双层车辆段特点和运营需求的信号设备平面布置以及信号工程实施的配合措施,可为今后双层车辆段的信号工程设计提供参考和借鉴。     

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.     

西安地铁2号线信号系统控制模式综合分析

结合西安地铁2号线一期的运营要求、线路特点和信号系统ATC系统工程设计,分析了ATC系统和系统故障条件下后备控制模式以及控制中心、车站和列车车载等不同控制等级的控制状态分类、工作环境、控制方式。介绍了列车在正线、车辆段的工作要求和多种驾驶模式。     

苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

燃料电池电动车车载甲醇重整器

对目前世界几大汽车公司研制开发的燃料电池电动汽车车载甲醇重整器加以介绍，着重讨论了重整器的设计与重整催化剂的布置。指出，甲醇重整器的效果良好，但重整器出口富氢重整气中CO的含量仍然很高，而较高浓度的CO会使燃料电池电极中毒。因此，从重整器中产生出来的重整气在进入燃料电池以前要进行净化。     

潭邵高速公路顺层滑坡整治

通过对某顺层古滑坡的现场调查，分析判断出古滑坡的滑动范围、滑动面，并对滑动面抗剪强度参数进行了反分析计算。据此对古滑坡体进行了初步整治设计，实际整治时未进行防水措施，抗滑指标进一步下降，并对此时软化滑动面抗剪强度进行了计算分析。结果对K89-95段的调查分析，对此区段的切方边坡违背工程地质选线原则导致的后果进行了反思。     

浅析钢筋混凝土双曲拱桥的拆除

本文通过对原淮阴市红卫桥拆除过程进行分析总结 ,初步探索了钢筋混凝土双曲拱桥的拆除工艺和方法     

Storage space allocation in container terminals

Container terminals are essential intermodal interfaces in the global transportation network. Efficient container handling at terminals is important in reducing transportation costs and keeping shipping schedules. In this paper, we study the storage space allocation problem in the storage yards of terminals. This problem is related to all the resources in terminal operations, including quay cranes, yard cranes, storage space, and internal trucks. We solve the problem using a rolling-horizon approach. For each planning horizon, the problem is decomposed into two levels and each level is formulated as a mathematical programming model. At the first level, the total number of containers to be placed in each storage block in each time period of the planning horizon is set to balance two types of workloads among blocks. The second level determines the number of containers associated with each vessel that constitutes the total number of containers in each block in each period, in order to minimize the total distance to transport the containers between their storage blocks and the vessel berthing locations. Numerical runs show that with short computation time the method significantly reduces the workload imbalance in the yard, avoiding possible bottlenecks in terminal operations.     

轻型车国Ⅵ排放测试系统技术方案研究

本文通过对国Ⅵ法规(申报稿)及WLTP法规变化点的研究和对国Ⅴ阶段排放测试系统设计经验的总结,并结合目前排放试验系统的普遍现状,探讨了国Ⅵ阶段排放测试系统的技术方案,并进一步结合现有排放试验系统的特点,提出了可行的升级方案。