【摘 要】
：
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言（PSL）形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用
其他文献
结合国内动车组实际需要和列车运行传感技术的发展现状,对现阶段建立动车组故障预测与健康管理地面系统的数据、用户及业务需求进行了分析,提出了基于超融合技术、铁路总公司
现有的轮轨几何接触点计算方法的求解过程较为繁琐,计算效率较低。结合迹线法构造钢轨廓形NURBS曲线权因子与轮轨接触点的几何关系,提出一种基于BP神经网络的轮轨几何接触点
文章以LabVIEW软件作为研究平台，完成了高速列车车下设备舱远程监测系统的研究和设计。系统数据采集使用LabVIEWFPGA数据采集模块，应力采集采用流程化配置，数据传输采用DMAFIFO
2017年6月25日，由中国铁路总公司牵头组织研制、具有完全自主知识产权、达到世界先进水平的中国标准动车组被命名为“复兴号”。中国铁路总公司党组书记、总经理陆东福代表铁
文章梳理了扼流适配变压器故障模式和类型，完成了室内电路搭建及故障数据采集；选用粗糙集理论进行决策规则提取，在保持分类能力不变的条件下，去除监测数据表中大量的冗余特征，并提
高速动车组的零部件故障是由多种因素引起,故障诊断需要对多个环节及其相互影响规则进行分析判断。关联规则挖掘技术在关联性发现方面有较强的优势,可以充分发现在高速动车组
通过对列车行车组织特点及运行调整策略的研究,采用自适应动态规划体系中的双重启发式动态规划算法,建立了列车运行调整模型.双重启发式动态规划算法适合处理具有实时性、约
基于HOG特征的铁路扣件检测算法中,各类扣件特征的可辨性易受光照不均匀因素影响,降低了检测准确率。针对此类光照不均匀图像,将二维经验模态分解(BEMD)理论与直方图均衡化相结合,首先利用BEMD变换提取图像的细节分量和照射分量,并通过直方图均衡化增强细节分量;然后进行光照判断,据光照判断对细节增强分量叠加调整后的照射分量,得到光照均匀、细节增强的扣件图像。真实实验表明,与传统方法相比,此方法能有效
针对CTCS-3设备硬件资源浪费、通信复杂和容易出故障的问题,参考ARINC 653标准中时空隔离的思想,目的是实现一台设备集成多台设备的功能,提高设备效率和可靠性.文中运用两级
铁路应急平台是铁路应急管理工作的技术保障系统,铁路局应急平台作为铁路应急平台的核心,按照层次结构设计,具有应急值守、应急预案管理、应急资源管理、应急处置等功能,运用