论文部分内容阅读
为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。
基于时间博弈自动机的道岔自动控制系统
【摘 要】
：
为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppa
【机 构】
：
桂林电子科技大学计算机科学与工程学院
【出 处】
：
计算机工程
【发表日期】
：
2012年10期
其他文献
全球股票市场存在一个普遍的经济现象,也是金融界和管理界公认的难题——新股上市首日交易价格远高于新股发行价格,即新股发行存在抑价现象。这一现象不仅普遍存在于西方发达
随着航空航天技术的迅速发展,现代飞行器常采用多种操纵面进行控制,以提高飞行性能。基于多操纵面控制的姿态控制系统,需要将控制量在各操纵面之间进行分配。然而由于不同操
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
人类进入二十一世纪,各类传染病频发,对人类的健康水平和社会经济发展影响极大。通过研究中世纪英国对黑死病的反应与应对措施,主要目的在于让人们可以真正地以史为鉴,吸取教
我院自1998-2003年采用九里香酊(自行配制)离子导入物理疗法联合应用西药抗感染治疗阑尾脓肿15例,并与单纯应用西药(罗氏芬、甲硝唑等)抗感染治疗的12例患者作比较,现报告如
在目前的计算机视觉应用中,从视频序列中提取出运动目标是一个研究热点。针对传统方法在复杂多变环境下不能很好地检测出运动目标且运算量较大的问题,根据HSV颜色空间的特点,
离子方程式是基本化学用语之一，离子方程式的书写是中学阶段学生应掌握的一种基本技能，因而也是高考的必考考点．考查试题稳定——离子方程式的书写和源于此的离子方程式正误辨认
三角解答题主要考查以下几部分知识点：与三角函数性质（单调性、奇偶性、周期性、对称性、最值、值域等）有关的问题，与三角函数图象有关的问题，应用同角变换和诱导公式求三角函数的
地方高校培养目标侧重于应用型人才的培养,为地方经济的发展服务。文章探讨地方高校在学生专业素质培养中引入学业导师的机制,通过学业导师的加入,使学生的专业素质培养指导
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield