【摘 要】
：
为了提高着色Petri网的描述及验证能力，提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机，将它与着色P
【基金项目】
：
国家自然科学基金青年基金（61003079）、陕西省工业攻关计划（2009K01036）、教育部博士点基金（新教师计划）（20100203120012）资助
论文部分内容阅读
为了提高着色Petri网的描述及验证能力，提出了一种基于投影命题时序逻辑的着色Petri网的模型检测方法。通过构建投影命题时序逻辑公式的否定形式等价的Buchi自动机，将它与着色Petri网的可达图相积，通过检测检测乘积图的可接受语言是否为空，从而判断用时序逻辑公式描述的系统性质是否满足。利用投影命题时序逻辑公式具有更强的表达力，可以有效的提高着色Petri网系统的描述及验证能力。
其他文献
武汉生物基因制药产业相对北京、深圳、山东等经济发达城市比较薄弱,但是武汉医药产业发展基础较好。文章以武汉生物基因制药产业为例,描述武汉基因工程制药产业的现状,探讨
“感人心者，莫过于情。”“情”是人们根据某种价值标准去评判某种事物时所产生的情绪体验，是教育对象完成从知到行转化的一个不可或缺的要素和条件。思想政治课中如何运用好情感教育，是一个值得研究的问题。笔者根据多年的教学实践，在此谈一些做法和体会。 一、寓教于需，让学生愿学 首先，展现教材知识的有用性，满足学生成才的需要。例如初一新生的第一堂政治课我是这样设计的：先请同学们听一个真实的故事《一
内部审计是企业管理中的一项重要控制活动,其目的是提高企业的管理水平,确保企业经营目标的实现。虽然企业内部审计制度在我国建立已有20多年,但其对于现代企业的重要意义并
在以学生发展为本，全面实施素质教育的目标指引下，具有主动、探索、合作特征新型学习方法越来越受到大家的重视。那么，如何在物理教学中培养学生这种实践的探索能力呢？ 一、从学生感兴趣的问题入手，培养兴趣，创设问题情境，鼓励学生各抒己见，使问题成为探究活动的开端 首先教师要培养学生的学习兴趣，在教学中，教师要根据中学生乐于提出问题，并试图解决问题，喜欢讨论问题的发生及解释，论证事物发展的因果关
文章依据村庄规划工作原理,在分析黄冈市村庄规划现状的基础上,针对存在的问题,从土地利用、环境保护、规划运行机制、地方特色等不同的方面系统分析加强村庄规划的现实意义,
随着旅游经济的迅猛发展，自然保护区开发问题日益突出：植被遭到破坏，环境污染严重以及景区内人工痕迹过多等等。自然保护区的保护愈来愈受到人们的重视，也解决了一些问题。然而随
任何形式的师生互动都会引起相应的情绪反应。教学中，师生一方积极的情感也会使另一方产生积极的情感体验，因此，教师除了要设计好教学内容外，还要调动学生的学习热情和积极性，用情感去推进教学过程。 首先，教师必须以饱满的热情去设计好每一节课，将自己所讲授的知识加以选择、概括和组织，通过课堂教学的形式，快速有效地传授给学生，引导学生突破难点，抓住重点。教师还要认真研究教材的感情色彩和表达方式，制定情感目标
农业是我国国民经济发展的基础,而农业的发展要看农业科学技术成果的转化。农业技术推广服务体系又是农业科学技术成果转化成现实生产力的桥梁和纽带。农业技术推广对农业大