论文部分内容阅读
以微机联锁安全软件测试为例，提出了划分高速铁路微机控制铁路信号设备安全软件输入空间的一种方法。在此基础上，根据所需进行的功能测试、可靠性测试、安全性测试的要求，得到静态和动态两种适于自动生成，可被连续加载的测试案例。最后，讨论了旨在减少测试案例数目，提高测试效率的测试案例自动生成优化策略。
高速铁路信号安全软件自动测试案例建模研究
【摘 要】
：
以微机联锁安全软件测试为例，提出了划分高速铁路微机控制铁路信号设备安全软件输入空间的一种方法。在此基础上，根据所需进行的功能测试、可靠性测试、安全性测试的要求，得到静
【机 构】
：
上海铁道大学
【出 处】
：
铁道学报
【发表日期】
：
1997年S1期
其他文献
详细介绍了自主研制的配电站变压器经济运行智能监控装置的硬件组成和结构、控制算法和控制策略等。装置模拟试验表明,其能按控制策略进行投切。以某小区为例进行的经济效益
阅读,是学生获取知识的重要途径;阅读教学,是小学语文教学的重要任务.低年级是学生学习阅读的起步阶段,此时开始培养学生的阅读习惯是及其重要,也非常关键的,直接关系到识字
[摘要] 习近平总书记坚持辩证唯物主义的立场和方法，深刻回答了“建设一个什么样的首都”“怎样建设首都”的问题，强调首都建设的人民中心原则，不断满足人民美好生活新期待，有力回答了“为了谁、依靠谁建设首都”的问题。习近平总书记系统丰富的首都建设思想，彰显了21世纪中国马克思主义引领时代、指导实践的哲学品质。 [关键词] 首都建设； 方法论； 哲学意蕴 [中图分类号] D616 [文献标识码] A
黑社会性质组织犯罪具有严重的社会危害性,其不仅破坏社会治安,扰乱经济秩序,而且阻碍社会进步,腐蚀党政肌体,散布腐朽的意识形态,甚至会威胁地方政权的稳定。分析黑社会性质
数学课程改革的基本理念是：人人学有价值的数学，人人都能获得必要的数学，不同的人在数学上得到不同的发展，使学生具备创新精神，合作意识和开放的视野，具备能从现实生活中发现数学，并
目的探讨颈动脉粥样硬化、血清妊娠相关性蛋白A与不稳定型心绞痛、稳定型心绞痛、非冠心病的相关性。方法因胸痛入院的患者1w内行冠脉造影，排除急性及亚急性心梗后，不稳定型心
目的探讨乳腺癌及相应癌旁组织中微淋巴管的分布、密度与腋窝淋巴结转移之间的相关性。方法应用免疫组化PV-9000二步法检测62例浸润性乳腺癌组织中D2-40的表达，并分别计数其微
介绍了电力系统小干扰及其灵敏度分析的机理;研究了电力系统小干扰及其灵敏度分析用于寻找发电机励磁系统模型参数对系统稳定性的影响程度的方法.通过频域分析、IEEE三机九节
本文针对牵引负荷的负序电流对电力系统的不良影响,提出采用阻抗匹配平衡变压器作电气铁道的牵引变压器,并用研制的专用模型作了试验,用试验数据进行了性能分析,证明该新型平