联锁逻辑形式化模型检验的研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户：jendychan

【摘要】

：

利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能.通过采用带标签的广义Büchi自动机（LGBA）构建线性时态逻辑,有效地解决了模型检验中的

【作者】

：

杜军威徐中伟宋波

【机构】

：

同济大学电子与信息工程学院,青岛科技大学信息科学技术学院,上海大学计算机学院

【出处】

：

计算机工程

【发表日期】

：

2007年15期

【关键词】

：

有色PETRI网线性时态逻辑带标签的广义Büchi自动机联锁逻辑 colored Petri nets linear-time temporal

【基金项目】

：

国家自然科学基金资助项目（60674004）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能.通过采用带标签的广义Büchi自动机（LGBA）构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题.该方法的研究增强了有色Petri网的分析和验证能力,利用该方法对车站联锁逻辑的实际问题进行了性能验证.

其他文献

磨削也可以成为一种艺术——联合磨削集团（UNITED GRINDING Group）2014磨削研讨会报道

伯尔尼高原上的磨削技术盛宴联合磨削集团（UNITED GRINDING Group）第三届磨削研讨会于201 4年5月21 ～23日在瑞士图恩举行.作为世界磨削领域的龙头,联合磨削集团每隔五年举办一次

期刊

磨削技术艺术精密加工材料加工发展前景磨削加工行业高原

雄克：独占夹持与抓取系统行业之鳌头——访雄克中国客户服务部经理余小华

作为一家拥有7 0年历史的德国家族式企业,雄克以机床附件起家,凭借夹持技术与抓取系统成为行业内的领导者,致力于提供最先进的机械加工及机器人的自动化技术。上海国际机床展

期刊

客户服务部智能制造家族式企业国际机床展机床附件金属加工重复定位精度自动化技术五轴加工中心机械加工

北平机床整体收购德国施耐亚机床

2014年5月15日，台州北平机床有限公司与德国施耐亚机床有限公司在新河镇签订收购协议。至此，北平机床出资300万欧元收购德国一家老牌机床企业的所有手续已正式完成，成为台州市机

期刊

机床企业德国收购北平台州市并购

孕中晚期胎儿小脑形态发育的MRI研究

目的应用胎儿标本MR图像观察14~40周胎儿小脑结构发育情况。方法 87例无中枢神经系统疾病的胎儿,孕龄为14~40周,行3.0T磁共振扫描,根据所得横矢冠图像分析小脑各结构发育情况

期刊

胎儿小脑MR标本

面神经全貌整颅双侧展示标本的设计与制作

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

会议

一种可扩展网格监控系统的设计与实现

基于网格服务架构中的网格服务和网格信息服务，提出了一种新的系统结构来构建网格监控系统，给出了它的一个原型系统实现。该结构采用了网格服务调用的方法，借鉴了层次化监控模型

期刊

网格监控网格服务GMA网格信息服务Grid monitor Grid service GMA Grid information service

Web挖掘在电子商务货源搜索中的应用

在电子商务环境下，货源信息的质量将直接影响企业业务经营水平。该文对电子商务环境下的货源信息搜索问题进行分析，提出以万维网为信息源，采用Web挖掘和信息检索技术设计实现货

期刊

WEB挖掘货源搜索电子商务信息检索Web mining business searching Electronic Commerce（EC） infor

泰国空调出口前9月持续增长9%

商业部助理部长纳塔兀日前表示,泰国空调机、制冷机及部件是泰国重要出口产品,2012年空调出口价值达40多亿美元,占泰国出口总值的2.2%。纳塔兀表示,泰国是东盟空调、制冷机生

期刊

出口产品空调机泰国持续增长制冷机投资项目基础设施纳塔

我国公路交通应急救援装备现状及需求探讨

本文通过分析我国各区域公路交通突发事件的类型、特点、规模及对公路交通运行的影响，对我国公路交通应急救援装备现状及需求进行探讨。分析了我国公路交通应急救援装备的现状

期刊

公路突发事件应急救援装备需求

孙中山民主革命思想的形成

<正> 孙中山在《建国方略》第八章《有志竟成》里提到:"予自乙酉中法战败之年,始决倾覆清廷、创建民国之志."论者或据此断言,1885年中法战争的时候,孙中山即已确立革命思想.

期刊

兴中会檀香山共和国李鸿章中国同盟会孙中山民主革命思想

联锁逻辑形式化模型检验的研究

与本文相关的学术论文