【摘 要】
：
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程（hybrid communication sequential process,HCSP）形式化模型和时间自动机（timed automaton,TA）形式化模
【机 构】
：
北京交通大学轨道交通运行控制系统国家工程研究中心,中国铁道科学研究院通信信号研究所,北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程（hybrid communication sequential process,HCSP）形式化模型和时间自动机（timed automaton,TA）形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC（radio block center,
其他文献
内毒素是造成内毒素血症、多器官功能衰竭的关键因子,对人体健康存在着严重的危害。发展高选择性、高灵敏度、快捷便携且不受现场限制的检测方法具有重要意义。生物传感器以
<正>随着全球经济一体化和市场竞争激烈化的不断加深,传统的市场营销理念受到了严重的冲击。进入20世纪80年代后,西方一批营销专家学者突破了传统的市场营销理论的框框,积极
在国家批准江苏设立自贸区、连云港成为江苏自贸区的三个片区之一的重要节点,在美丽的黄海之滨、神奇的花果山下,我们举办《丝路百城传·连云港传》首发式暨盐文化与"一
在可持续发展观的指导下,传统煤炭生产模式产生的环境污染、能源浪费等问题日益严重,不利于我国经济的可持续发展。而对煤炭企业进行绿色转型,能够构建以发展理念为引导,以实
运用计量研究方法,采用1996到2007年中日贸易额和同期我国GDP实现的数据,研究两者的运行轨迹和变化趋势,分析两者的相关性,其实证结果表明,两者之间存在一定的正相关性。这表
从古至今,教育活动都是围绕着师生的交往进行的,师生关系是教育活动中最主要的人际关系。师生关系的质量直接关乎教育活动的效果,对师生双方的身心发展也会产生深刻的影响。而当前我国学校教育中“我—他”师生关系暴露出许多问题,已难以适应我国新时代教育改革的需要。因此,在新时代背景下我们必须将传统的“我—他”师生关系变革为新型的“我—你”的主体间的师生关系,以迎接未来教育发展所面临的挑战。这种“我—你”师生关
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
发展职业教育是为了适应经济社会发展的需要，满足受教育者职业获得和职业发展的需求，而这种“需要”和“需求”必须通过劳动力市场这个中介紧密地结合起来。因此，科学推进职业教
一不小心手机就多了个App,邮件里总有奇怪的文字链……这些花样翻新的互联网广告策略一方面顶着“社交营销”、“效果广告”、“信息流广告”的产业光环,一方面成为骚扰用户