铁道部科技研究开发计划(2012X007-D)

作品数：5被引量：24H指数：3
导出分析报告
相关作者：郭进李耀宋海权胥红敏孙加林更多>>
相关机构：西南交通大学中国铁道科学研究院铁道科学技术研究发展中心中国铁道科学研究院更多>>
相关期刊：《中国安全科学学报》《计算机工程与设计》《中国铁道科学》《计算机应用研究》更多>>
相关主题：SCADE形式化验证车速安全性指标高速动车组更多>>
相关领域：自动化与计算机技术交通运输工程机械工程环境科学与工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
横风风速和车速对CRH_2型动车组运行安全性指标影响规律的研究被引量：8
《中国铁道科学》2014年第2期65-71,共7页胥红敏 孙加林 高芒芒 李晓宇 习年生 
国家自然科学基金资助项目(51078353);铁道部科技研究开发计划项目(2012X007-D);公益性行业(气象)科研专项项目(GYHY201306058-X)
应用多体动力学仿真软件NUCARS建立CRH2型动车组拖车的动力学模型,采用单变量谐波合成法模拟脉动风速场得到施加在动车组上的横风载荷,仿真得到风速分别为5,7.5,10,12.5,15,17.5,20,22.5,25和27.5m·s-1,以及车速分别为120,160,200,250,...
关键词：高速动车组 运行安全性 风速 车速 非线性回归 
基于SCADE与QNX平台的列车测速定位安全软件被引量：3
《计算机应用研究》2013年第10期3044-3047,共4页李耀 陈荣武 谢刚 
铁道部科技研究开发计划项目(2012X007-D)
为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行,通过QN...
关键词：测速定位 系统建模 安全软件 高安全性应用开发环境 形式化验证 QNX 
基于SCADE的形式化验证技术的改进研究被引量：2
《计算机工程与设计》2013年第6期2025-2030,共6页李耀 郭进 孔令晶 宋海权 
铁道部科技研究开发计划基金项目(2012X007-D)
为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确...
关键词：高安全性应用开发环境 形式化验证 安全特性观察器 逻辑描述 模型安全 
基于Petri网的分布式系统冲突消解被引量：5
《计算机工程与设计》2013年第4期1351-1355,共5页宋海权 郭进 李耀 
铁道部科技研究开发计划基金项目(2012X007-D)
针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。...
关键词：混合PETRI网 测试弧 冲突 分布式系统 并发 
列车运行控制系统风险发生频率的分析模型研究被引量：6
《中国安全科学学报》2012年第9期37-42,共6页张亚东 郭进 戴贤春 白广争 
铁道部科技研究开发计划重大项目(2012X003-A);铁道部科技研究开发计划重点项目(2012X007-D),铁道部科技研究开发计划重点项目(2011X025-C)
为科学评估列车运行控制系统内各危险源的风险发生频率,用故障树建模技术分析各危险源的发生原因,综合考虑风险的模糊不确定性,定义若干基于三角模糊数的语言值等级,根据专家的模糊评判数据,应用Hausdorff距离最小法集结多专家信息,建...
关键词：列车运行控制系统 危险源 风险发生频率 故障树分析(FTA) 模糊群决策 HAUSDORFF距离 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部