【摘 要】
：
本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络
论文部分内容阅读
本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化.
其他文献
中小学教师研究具有自身的特性,与专业研究者研究存在着差别,这是由中小学教师的工作性质和工作状态决定的,但两者在一定的条件下可以互相转化。深刻地认识中小学教师研究,才
讨论了一种面向非受限领域的综合式中文自动文摘方法。其基本思路是：采用向量空间模型对篇章结构进行自动分析，建立基于语义相似度的段落关系图，获取段落的重要度信息，并使用标题
语言中的颜色词作为文化层次的符号,往往被赋予了特定的价值——正与反、善与恶、褒与贬共存于一种语言符号中,这样颜色词联想意义,就有了“双重语义”的认知特征。当用颜色
体态语作为口语表达的辅助工具,是实践教学环节中的一项重要的教学手段,在对外汉语教学中发挥着重要的辅助作用。在不同文化中,体态语的意义也不相同。对外汉语教师应准确、
人们在写作或翻译的过程中往往会混淆、错用“做”与“作”这两个词,传统的词语辨析方法存在语料不够充分且大多依靠直觉经验等不足之处。本文基于兰卡斯特汉语语料库,采用Wo
本文对寒山诗中的重言词进行了考察,分别从词类上看,可分为名词、动词、形容词、副词、量词、象声词和数词等;从形式上,可分为AA式、AAB式、ABB式;在修辞作用上,有描摹感情、
当语域理论应用到翻译理论实践时,该理论可以指导翻译实践,即分析原文的语场,语旨和语式,可以帮助译者掌握原文语篇特点,并且按照语场,语旨和语式对等选择适当的译文,避免主
目的：探讨射血分数正常的心脏移植患者是否存在左心室收缩及收缩同步性异常。方法随机入组心脏移植术后常规随访患者中射血分数等常规超声心动图参数正常者15例，作为病例组；并同
构建“实用性”高职英语教学体系是当前高职英语教学改革的必然要求,是《高职高专教育英语课程教学基本要求》的具体体现。“实用性”高职英语教学体系可以通过以下几个方面
本文着重探究国内英语学习者中介语的语音特征,对儿化音现象进行了数据分析。国内某高校的15名男大学生和15名女大学生被随机挑选为研究对象并参与录制了他们朗读《狼来了》