公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

横风风速和车速对CRH_2型动车组运行安全性指标影响规律的研究被引量：8: 2014年; 应用多体动力学仿真软件NUCARS建立CRH2型动车组拖车的动力学模型,采用单变量谐波合成法模拟脉动风速场得到施加在动车组上的横风载荷,仿真得到风速分别为5,7.5,10,12.5,15,17.5,20,22.5,25和27.5m·s-1,以及车速分别为120,160,200,250,275,300,320和350km·h-1时脱轨系数、轮重减载率和轮轴横向力等安全性指标的最大值;然后应用逐步回归方法,得到以风速和车速为自变量、以脱轨系数、轮重减载率和轮轴横向力最大值为因变量的二元二次多项式回归方程的最优回归模型,并在车速为380km·h-1、风速为30m·s-1时外推验证了回归模型的正确性,以及在现有安全性指标限值下得到不同风速下的车速阈值。研究结果表明:当车速恒定时,CRH2型动车组的脱轨系数、轮轴横向力和轮重减载率的最大值与作用于动车组上的风速近似呈二次方关系;当风速恒定时,轮重减载率的最大值与车速也近似呈二次方关系,而脱轨系数和轮轴横向力的最大值与车速则近似呈线性关系。; 胥红敏孙加林高芒芒李晓宇习年生; 关键词：高速动车组风速车速

基于SCADE的形式化验证技术的改进研究被引量：2: 2013年; 为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性。通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的。; 李耀郭进孔令晶宋海权; 关键词：形式化验证逻辑描述

基于Petri网的分布式系统冲突消解被引量：4: 2013年; 针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义。结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性。; 宋海权郭进李耀; 关键词：混合PETRI网分布式系统并发

列车运行控制系统风险发生频率的分析模型研究被引量：6: 2012年; 为科学评估列车运行控制系统内各危险源的风险发生频率,用故障树建模技术分析各危险源的发生原因,综合考虑风险的模糊不确定性,定义若干基于三角模糊数的语言值等级,根据专家的模糊评判数据,应用Hausdorff距离最小法集结多专家信息,建立基于模糊群决策的分析模型。用计算机算法求解模型,将求解结果与各风险发生频率等级对应的三角模糊数比较,确定待评判危险源的风险发生频率等级。最后以高速铁路某列控中心输出错误点灯控制信息为例,利用该模型评价,此危险源的风险发生频率为F级(即很少发生的),验证了模型的合理性、可行性和适用性。; 张亚东郭进戴贤春白广争; 关键词：列车运行控制系统危险源 HAUSDORFF距离

基于SCADE与QNX平台的列车测速定位安全软件被引量：3: 2013年; 为保证列车测速定位软件的安全性,研究了测速定位原理,提出一种新的测速定位模型,在此基础上引入SCADE开发方式,建立测速定位软件模型,并利用SCADE的形式化验证技术保证软件模型的安全性。最后将安全软件导入QNX系统平台测试运行,通过QNX技术分析与实践表明软件完全满足测速定位的技术和安全性要求。; 李耀陈荣武谢刚; 关键词：测速定位形式化验证 QNX

全选清除导出

共1页<1>

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