【摘 要】
：
车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束
【基金项目】
：
国家自然科学基金(61703349),中国铁路总公司科技研究开发计划(N2018G062,K2018G011)
论文部分内容阅读
车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约束条件;其次,基于参数映射算法,将接口参数映射到最优覆盖数组中重构该覆盖数组;然后,在重构的覆盖数组中移除不满足约束的无效行,并扩展覆盖数组;最终,得到满足约束条件和覆盖强度的车载ATP测试用例集。以车载ATP模式转换等三种场景为例,对本方法进行了验证。结果表明,相比于现
其他文献
随着家庭汽车保有量的不断提升，加上最近油价也开始下降。开车出行的人越来越多了，不过这也带来一个麻烦。就是常常会迷路。迷路带来的困扰不光是来回找路浪费了汽油，而且还耽误
BLAS level-3运算的计算复杂度较高,其往往成为应用的性能瓶颈。采用线性阵列结构的矩阵乘协处理器可实现高性能、高效的矩阵乘运算。在矩阵乘协处理器上高效实现BLAS level-
随着信息时代的到来,全球的经济得到飞速发展,市场竞争也变得日益激烈,越来越多的企业认识到人才是企业的核心竞争力。为此,如何吸引、留住、用好优秀人才就成为企业思考的重要问题。对于房地产企业而言,一线销售员工的育留就显得尤为重要。销售是房地产活动中一个重要环节,是直接产生效益的环节,对公司的发展起到至关重要的作用。而在这一环节中,销售员工的综合素质就显得尤为重要。一方面销售员工通过跟客户接触,通过自身
大学章程在现代大学的建设和发展中,有着举足轻重的作用。大学章程是大学得以顺利实施的“宪法”保障,它上承国家教育法律法规,下启高校内部规章制度,是大学日常各种教育、管
随着全球生态环境的恶化,环境法学应运而生,其主要是通过权利义务关系来规范造成生态环境损害的责任主体。生态修复源于恢复生态学,传统的环境法学侧重于保护生态环境和自然资源,而生态修复侧重于治理受损的生态环境。其实,环境法学要想得到充分发展,不单需要“保护”,也需要“治理”,更应做到“防治结合”。就我国目前的法律责任体系而言,整个还处于探索研究阶段,其中有关生态修复责任的规定还不够完善,从生态修复责任的
随着世界一体化的深入发展,国际间的沟通交流日益加强,翻译的重要性也随之凸显。医学作为人类文化的重要组成部分,离不开翻译工作的支持,了解、介绍、借鉴国外全新医学知识及成果对我国医学事业的发展具有推动作用。医学知识的载体是语言,语言又是这些知识的反映,两者相辅相成。笔者对该英文文本进行翻译实践,解读医学热点知识和医学翻译之间的紧密联系,并且,在以翻译目的论为理论基础的前提下,分析具体实例,旨在拓展医学
英国核工业协会（NIA）已公布了一份有关英国核电机组建设能力的报告。这项研究是由电厂、设备和建设服务的主要供应商代表进行的。该报告表示，如果政府最终决定将新建核电机组纳
本文以核心技术提炼过程中的要素为出发点,探究了企业技术集成过程中通常采用的三种模式,对企业技术集成的概念加以界定,并对三种模式进行了定义和区分,明确指出了三种模式的