【摘 要】
：
针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机（TIOA）的基础上,提出端口标记的时间输入输出自动机（LpTIOA）。LpTIOA除在模型中能够反映系
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
【基金项目】
：
国家自然科学基金项目（60634010）, 国家高技术研究发展计划（863计划）（2009AA11Z221）, 轨道交通控制与安全国家重点实验室自主研究课题（RCS2008ZZ005）
论文部分内容阅读
针对CTCS-3列控系统测试中普遍存在的需要多个端口协同测试的问题,在时间输入输出自动机（TIOA）的基础上,提出端口标记的时间输入输出自动机（LpTIOA）。LpTIOA除在模型中能够反映系统的时间约束特性外,还能反映系统输入输出行为对应的端口信息,利用这些信息对基于覆盖度的搜索算法进行相应改进,形成包含端口信息的测试自动生成算法,用于生成满足给定覆盖度标准的测试套。文中还描述了运用UP-PAAL工具对LpTIOA模型实现建模的方法,并运用COVER工具实现对经过UPPAAL验证的CTCS-3级车载系统
其他文献
我们在日常生活中称煤矿瓦斯叫煤层气，煤层气属于依附在煤层中的一种轻类气体，它的主要成分和天然气并无区别，就是甲烷。甲烷是目前新能源的代表，但是，任何物质都有两面性，如果过量
把握票额共用策略中的共用方式和时机,是提高铁路运输能力利用率的有效手段。本文首先针对两个乘车站的情形,分析铁路售票组织特征,提出铁路动态票额共用策略优化问题并确定
金属铌具有耐高温、强度大,以及良好的低温塑性,良好的热离子发射性等性能,被广泛的应用于电子、航空、航天、化工等领域。近年来由于电子行业的需求,铌带被用于液晶显示器、
采用计算流体力学软件建立桥梁单体、车辆单体以及车桥组合体模型，湍流模型取标准k-s模型，计算各模型在不同风攻角时侧向风作用下的气动力系数。考虑风屏障对车辆、桥梁气动性
为探究民航机务维修不安全事件中风险耦合关系,基于人员、设备、环境和管理等4个方面风险因素探讨机务维修不安全事件风险耦合机制;考虑到机务维修不安全事件风险耦合过程具
1 当前细菌抗药的新趋势 1.1 出现了抗甲氧西林的葡萄球菌,如MRSA、MRSE和MRSH等.
据英国《每日邮报》3月26日报道，全球最大、最灵敏的“平方公里级射电望远镜阵列”（SKA）项目将于2016年开始建设。据悉，这个耗资13亿英镑（约为人民币130．5亿元）的项目有助于解开宇宙
矿产资源规划作为监督管理矿产资源勘查、开采活动的重要依据,对监管矿业秩序,转变资源利用与管理方式,保障矿产资源可持续利用起着重要的作用。本文基于高分卫星遥感影像数
将本文作者提出的灰色非线性模型（该内容发表于《铁道学报》2010年第2期）视为由一系列趋势项发展系数和随机项系数控制的时程函数,并将其系数作为系统分析中的辨识参数,表征系
提出一种基于接入网络属性触发的垂直切换模型,在此基础上,对垂直切换中的切换概率、掉话率以及切换次数等关键性能进行建模,并利用此模型对已有的一些切换机制（基于接收信号