论文部分内容阅读
重点研究CTCS3级列车控制系统的功能测试。首先介绍CTCS3级列控系统的组成,然后重点研究了对测试案例的一种形式化描述的方法,以及基于遗传算法的测试序列的实现,为后续的自动测试或者现场奠定基础,最后给出用遗传算法求解测试序列的具体实现。
CTCS3级列车控制系统测试序列自动生成方法
【摘 要】
：
重点研究CTCS3级列车控制系统的功能测试。首先介绍CTCS3级列控系统的组成,然后重点研究了对测试案例的一种形式化描述的方法,以及基于遗传算法的测试序列的实现,为后续的自动测试或者现场奠定基础,最后给出用遗传算法求解测试序列的具体实现。
【机 构】
：
同济大学
【出 处】
：
计算机安全
【发表日期】
：
2009年12期
其他文献
由于目前电力工程造价的控制,主要侧重于工程发包、施工及竣工结算审查等方面,而忽略了投资决策与设计优化阶段对控制工程造价的重要作用。为此本文将从工程建设的全过程：即投
本文对聚酯及聚酯亚胺漆包线所用材料，如导线，绝缘漆等选用，及其生产工艺技术条件进行探讨，以提高产品质量和生产效率，降低产品成本。
从甘薯粉虱（Bemisiatabaci Gennadius）的起源与分布、危害、生物生态学特性及防治对策等方面,综述了甘薯粉虱的研究现状,介绍了温度、湿度、寄主等因素对甘薯粉虱的影响,并对进
金元时期,多种医学力量参与社会医疗,应对疾患,有着明显的宗教医学文化特色。其中儒学与医学相互渗透,儒医成为社会医疗的中坚力量。道医是社会医疗的重要组成部分。佛医借医
在对CMMI(3级)必需的及期望的模型要素和列控系统系列标准中EN50128标准的共性操作提取和分析的基础上,详细介绍了CMMI在列控系统软件安全评估领域的应用,并相应设计,描述和分析了相关安全评估流程的融合及细化。
随着云计算的发展,全球电子信息领域的主要厂商都在围绕云计算重新布局;主要互联网公司纷纷通过开放平台对外提供云计算服务,构建生态链,形成新的竞争焦点,云计算平台已经成
基于ELGamal数字签名方案和部分签名的思想,提出了一种基于ELGamal的可验证的门限数字签名方案。该门限签名方案能够使秘密共享参与者在签名过程中对可信中心发布的秘密和各自生成的部分签名进行验证。
高校公共任选课在实践中存在教学质量不高的现象,其原因与教学管理人员、教师、学生三个层面对公选课的轻视与误解有关。解决思路如下：一是纠正对公选课的认识误区;二是完善公