【摘 要】
：
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室,北京二七轨道交通装备有限责任公司科研管理部北京100072,铁道部科学技术司
论文部分内容阅读
为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时,CTCS-3级列车运行控制系统设计的正确性.
其他文献
<正>潜力巨大的房地产O2O(线上到线下)市场,成为众多房企布局焦点,与早期借助O2O实现营销不同,越来越多房企以O2O模式深度挖掘互联网创新和房地产的契合点,寻找新的商业模式
玉米经去皮脱胚处理 ,粉碎成直径为 2～ 3mm大小的玉米米查 ,室温下浸泡 48h ,加水常压蒸煮 2h ,淋水冷却至 30℃ ,接种糖化曲和酒母进行双边混合发酵。成品酒色泽金黄 ,清亮透
介绍了UL 1699《电弧故障断路器》的主要内容及术语。UL 1699标准中核心的三大试验内容,包括电弧故障检测试验、误脱扣试验、操作抑制试验。
<正>经济快速发展的今天,我国的事业单位也随着经济的发展而进入到一个新的阶段。我国事业单位的活动变得更多,所面临的环境也在不断改变,随之而来的财务收支项目也变得越来
临床护理教学是各教学医院的一项重要工作。目前,各医院多采用人工方式完成护理实习生排班工作,但由于实习生数量较大、进岗时间不一、实习大纲要求复杂等原因,使实习生排班
改革开放以来,我国经济发展日新月异,实力增强迅猛,与此同时,企业所面临的竞争压力也日益凸显。许多企业在竞争中衰落,但也有一些企业却获得了很明显的发展壮大,越来越多的成功企业的股东和管理者意识到,在这种激烈竞争的大环境中,采用单一的绩效管理方法已无法应对市场竞争,因此,对现代企业管理来说,建立一套全面系统的绩效评价体系可以极大的提高企业管理的效率与效果。本文采用理论分析与例证研究相结合的方式,研究了
在一个语音信号处理系统中,端点检测是对语音预处理阶段最重要的环节,好的检测效果可提高后续语音处理的效率.文章结合语音信号特性,采用根据人耳听觉机理Mel频率倒谱系数（Mel
信息化时代背景下,国家对于教育的要求不断提高,促进了教育改革的发展。仪式教育属于新的教育形式,其能够使学生积极参与其中,提高了实践教学的实效性,对于高校教育的开展具
<正> 一、京师道路顺治元年(1644年),清朝定都于今北京,称京师。清朝北京的城地、宫殿、道路、驿站、运粮河道,都是沿用明朝的,没有大的改变,只是进行了维修、疏浚和局部改建
安德列·高兹从其个体主义的人本主义的立场出发,在深刻地分析当代发达资本主义社会劳动异化的基础上提出了劳动解放的思想,认为时间的解放、异化劳动的废除、劳动与闲暇的统