基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...     

城市轨道交通列车关键子系统的安全完整性等级分析

合理确定城市轨道交通各专业设备系统的SIL(安全完整性等级)、避免刻意追求安全功能造成资源浪费是非常必要的.针对列车客室侧门、网络控制、空气制动等关键子系统发生故障可能会导致乘客碰撞、夹伤、摔伤甚至死亡的安全事故,对影响乘客安全的列车安全功能进行评估.从列车各关键子系统的安全功能角度出发,在介绍HAZOP(危险与可操作...     

地铁列车高速行驶时梯形轨枕轨道动力性能分析

基于车辆-轨道耦合动力学理论,建立地铁车辆-梯形轨枕轨道动力学模型,计算分析了地铁列车以140,160,220 km/h通过直线和曲线地段梯形轨枕轨道时的轮轨动力作用及安全性指标、车辆动力性能及平稳性指标、轨道结构动力特性,并研究了不同速度条件下列车通过小半径曲线地段时欠超高对车辆和梯形轨枕轨道结构动力性能的影响.结果...     

地铁车辆运行舒适度与平稳性评价

作为公共交通工具的地铁车辆,应具备良好的运行平稳性并提供必要的舒适度.在进行旅客乘坐舒适性评价时,除沿用至今的平稳性指标外,UIC 513标准的舒适度指标评定方法也被逐步采用.为加深对舒适度指标的理解,比较其与平稳性指标的异同,结合某地铁车辆测试,阐述了两种评价方法的计算过程与测试结果,分析了各自特点.     

地铁车辆铁路运输接口箱

上海轨道交通1号线扩编项目的中间动车需要由铁路运输完成,因此需要设计运输接口箱以代替A车功能.接口箱的作用是采集压力转换装置(P/E装置)的制动缓解指令和参考值,由SIBAS KLIP模拟量转换成数字量,通过KLIP总线传递给车辆控制单元(VCU),再由VCU分配给各电制动控制单元(BECU),控制各制动模块的动作.它的电气系统由SIBAS KLIP站和控制电路所组成,机械结构采用整体焊接,结构简单,拆卸方便.运行试验证明该接口箱的设计合理,功能完备,运输状况良好.这种经济、快捷、方便的运输方式为今后的地铁车辆运输提供了良好的借鉴.     

车辆电磁制动方案刍议

结合机车车辆制动系统的运行情况,对电磁制动系统进行了初步探讨.提出了两种电磁制动方案:单电磁铁失电制动和双电磁铁得电制动.方案能够初步解决电磁制动系统中的一些技术难点,如减轻闸瓦间隙消除过程中闸瓦与车轮间的机械碰撞、电磁力的计算与控制、制动力的放大与传递等.     

基于模型视图控制器框架的多功能车辆总线一致性测试的实现

一致性测试是通信设备实现互操作的必要条件.简单介绍了对列车通信网(TCN)进行一致性测试的重要性和模型视图控制器(MVC)框架.重点描写了对多功能车辆总线(MVB)进行一致性测试所包括的内容、测试的方案和步骤,以及如何在MVC这种优秀的框架中实现.在实验室搭建了测试平台,使用的是Duagon公司D114MVB网卡,测试结果真实有效.     

南京地铁列车车轮踏面非正常磨耗初析

研究了南京地铁列车车轮踏面非正常沟状磨耗的成因.对车轮、钢轨的外形、材质和硬度等进行了测试,分析了轮轨接触和制动磨损的影响,提出了沟状磨耗的原因.测试结果分析表明,该地铁车辆拖车轮踏面上的凹槽磨耗主要是由于在制动施加频度过高、轮轨接触又不均匀的内因作用下产生的.     

南京地铁车辆合成闸瓦技术方案探讨

分析了国内外铁路车辆应用的合成闸瓦技术,并对地铁车辆使用的合成闸瓦特点进行探讨.提出研究聚合物基复合摩阻材料的地铁车辆合成闸瓦初步技术方案,重点解决适用于地铁车辆制动工况的关键技术,包括耐热高聚物的改性和应用研究、增强材料的应用研究和设计材料结构与性能,并对合成闸瓦的生产工艺进行初步探讨.     

基于ETC门架数据的高速公路车辆行驶特征画像方法

为合理评估高速公路车辆驾驶行为风险和通行费稽查状态异常程度,进而对风险车辆进行提前预警,提出了一种基于ETC门架数据的车辆行驶特征画像方法。首先,通过分析车辆风险驾驶行为和通行费稽查状态,构建了以超速驾驶行为、疲劳驾驶行为、门架状态异常情况、收费状态异常情况、路径状态异常情况为指标的车辆行驶特征画像指标体系;然后,利用熵权-TOPSIS法和熵权-灰色关联分析建立综合熵权法确定各指标权重;最后,选取8辆车作为实验对象生成车辆行驶特征雷达图来验证该方法的有效性。研究结果表明：在4辆1类客车中,有3辆存在超速驾驶行为,其超速驾驶指数趋于0.8,其余的行驶特征指数均趋于0;在4辆6类货车中,有2辆在疲劳驾驶指数上表现异常,其疲劳驾驶指数趋于0.4,还有1辆的收费状态异常指数趋于0.4,可能存在偷逃费风险。可以看出,该方法能有效区分不同车型的风险类型,在高速公路管理中可用于有针对性的风险决策制定。