建模与验证相关论文
消息队列中间件是分布式系统的重要组件,它使得应用程序只需关注数据,而不需要关注数据在传输时的具体细节,从而解决了消息异步传......
随着国内外列控系统技术的发展和我国中西部低密度铁路的建设需求,目前下一代列控系统正处于研究阶段。本文主要围绕下一代列控系......
车载功能兼容研究主要解决的是列车跨线运行的问题,其一是通过合理的系统功能设计,使车载系统能支持列车在低等级线路条件下的安全......
福岛核电站事故发生后,核安全问题日益受到关注。对低放射性废气与废液在大气和土壤中弥散规律的研究比较成熟,而对低放废液在水体......
列控系统线路数据是描绘列车运行线路的重要信息,准确、完备的线路数据是列控系统安全运行的基础。然而既有线实际控车数据由人工......
作为旅游统计的关键环节,旅游客流大数据统计模型的构建具有极强的综合性,同时也要受到多方面因素的限制和影响.文章针对能够影响......
为了解决工程伪装特征信息资源内容庞杂、形式多样、分布零散,给统一描述、集中存储和快速检索带来的困难,构建了基于Web的工程伪装......
固体氧化物燃料电池(Solid Oxide Fuel Cell,SOFC)发电系统是一种清洁、高效的能源转换装置,因具有高效率、无污染、全固态、燃料......
针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自......
临时限速系统是列控系统的重要组成部分,是符合"故障–安全"准则的安全苛求系统。文章基于临时限速技术规范和时间自动机理论,分析......
列车运行控制系统(以下简称“列控系统”)需求规范是列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键......
随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以......
摘要:中国的城市轨道交通已经进入了快速发展的时代,基于通信的列车自动控制(CBTC)系统作为当今主流的城市轨道交通的控制系统,其系......
基于多轴汽车多簧质量系统模型,研究了多轴汽车的负荷分配问题。提出了现有车辆的负荷检验方法和新开发车辆的负荷分配计算方法,并......