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

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

基于BP神经网络的绿色供应链优化研究

利用BP神经网络算法能够依据输入的参数和网络模型中影响因素的不同而输出不同信息的特性,可以对绿色供应链进行优化。为了提高企业的经济效益和绿色效益,从BP神经网络绿色供应链模型、试验数据验证及模型仿真等视角对基于BP神经网络的绿色供应链优化展开研究,对相关问题有一定的参考意义。     

运营地铁高架线路拆除道岔及调节器技术方案研究

在运营地铁高架线路上开展轨道改造施工,时间紧、工效低、安全风险高。为了在保障安全的前提下提高施工效率,以武汉轨道交通1号线循礼门站—大智路站区间拆除道岔及调节器为例,对轨道改造技术方案进行研究和探讨,重点研究如何在不中断运营的条件下,利用既有的扣件钉孔位,对道岔和调节器进行拆除并换铺新扣件,同时与现有的线路条件及轨道设备相匹配,对规范施工工艺和保证施工安全具有一定的指导意义。     

深基坑开挖对现有地铁车站变形影响模拟研究

深基坑开挖对现有地下建筑物结构造成影响,这种影响的理论解析较难以获得。通过对该问题进行数值模拟研究,采用有限元方法,离散网格得到地层-结构模型,分别选取天然岩土体与混凝土结构的本构模型,并以地质勘查数据为依靠,赋予参数。考虑最不利工况加载边界条件、设计工况,最终得到可靠的模拟结果,对工程开展具有一定的参考价值。     

继电保护在地铁牵引变电所的应用

在城市轨道交通系统中,地铁牵引变电所能够将电网中的电力转化为地铁所需直流电。为了确保电力系统的稳定运行以及地铁的安全运营,对继电保护在地铁牵引变电所中的应用进行研究,从牵引变电所的保护需求出发,对继电保护种类进行分析,并提出地铁牵引变电所继电保护实施方案,以便在电力系统出现异常情况时,继电保护设备能够更加快速、准确地切断故障区域,为地铁牵引变电所的稳定运行提供保障。     

地铁变电站谐波抑制和无功综合补偿技术研究

地铁供电系统中的谐波和无功功率等问题给系统的稳定性和能源利用带来了一定的挑战。基于此,对地铁变电站的谐波问题进行分析,在此基础上提出相应的谐波抑制技术,根据地铁变电站的无功功率特点与补偿需求,提出具有一定针对性的补偿技术,并对技术实施效果评估方法进行分析,旨在提高地铁供电系统的稳定性和能源利用效率,为城市地铁的安全、高效运行提供可靠保障。     

地铁运营线路道岔区整体道床沉降病害综合整治策略研究

为了安全、高效地解决整体道床沉降问题,针对地铁运营线路不同沉降期的道岔区整体道床沉降病害提出建立整体道床沉降监控平台、在道床沉降尚未稳定期间设置弯折特制铁垫板调高扣件、待道床沉降稳定后进行“注浆修复、机械抬升+注浆修复、凿除岔枕重新浇筑混凝土平台”等综合整治策略。研究成果可供地铁运营线路道床沉降病害整治作为参考。     

地铁行车调度指挥的安全风险控制分析

为保证城市地铁交通安全、稳定、高效地运行,从地铁行车调度指挥的实践出发,对地铁行车调度指挥中存在的各种风险进行分析,并提出地铁行车调度指挥的安全风险控制策略,助力地铁调度人员有效控制风险。     

中国轨道交通轮轨滚动接触疲劳研究进展

系统阐述了轮轨滚动接触疲劳损伤的分类、萌生机理、影响因素、引发后果及常用萌生预测模型等,总结了其复杂性的根源;梳理了中国轨道交通系统近年来发生的各种轮轨滚动接触疲劳的相关研究成果,分别总结了高速铁路、普速铁路和地铁等系统轮轨滚动接触疲劳的基本特征、萌生机理及治理措施等;展示了在局部和连续型滚动接触疲劳研究中,现场跟踪测...     

上海地铁13号线信号与屏蔽门系统接口分析

通过对上海地铁13号线信号系统与屏蔽门系统接口的研究,介绍屏蔽门接口信号侧设备,屏蔽门联动原理及运营过程中屏蔽门的几种工作模式,通过在线监测及日志分析等手段对线路发生的多起车门及屏蔽门不联动故障进行分析,为路网同类系统在今后运营过程中发生的屏蔽门不联动故障处置积累经验。