主体计划的Petri网方法及正确性验证

来源 :微电子学与计算机 | 被引量 : 0次 | 上传用户:moxigege
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证.
其他文献
板级电路故障诊断过程复杂,故障征兆和故障原因之间存在着许多不确定因素,建立精确的故障诊断系统存在着许多困难。针对这种情况,提出了一种基于遗传算法的故障诊断研究方法,并以
我国是结核病发病较高的国家之一,现有结核病人600万人.[1]同时,我国又是乙型病毒性肝炎的高流行地区,人群中慢性乙型肝炎病毒携带(AsC)占9.75%,全国约有1.2亿AsC.[2]故临床
作为大规模生产的工业产品,偶尔有一两台有点质量瑕疵不是什么大不了的事,不过,如果出现故障后连换几台都有瑕疵,这样的事就多少让人赞解了。  目前,家住上海宝山区的汪女士就向315消费电子投诉网[www.315ts.net]讲述了购买格兰仕微波炉后经历的“风波”——从09年8月26日起,她买的格兰仕微波炉先后经历了2次维修,3次更换,却依然无法正常使用。    事件起因:为了儿子安心备高考    据汪
利用隐含语义索引技术设计了一个问答系统,在系统中利用隐含语义索引理论进行查询问题和数据库中的候选问题的相似度计算.主要是通过构造一个语义矩阵,进行奇异值分解消除"噪
结、直肠癌手术后肠梗阻在临床中较常见,由于病人的情况差异较大,梗阻的原因及方式较多,故处理也较为复杂.本文回顾性分析了我院1990~2001年收治的结、直肠癌手术后肠便阻27例
信息系统集中化是信息化发展的必然趋势.为解决企业用户远程访问数据中心信息系统的问题,提出一种基于RDP协议的远程接入平台.以进程和安全性的角度说明了平台的设计思想.设计了
提出了一种基于概念格的,并利用叙词表的方法进行本体合并.为了进一步获得提取本体概念的相关指导,提高本体概念抽取的自动化程度,提出最小外延集概念,从而更方便有效地进行
摘 要:随着计算机技术的不断发展,单片机技术在当今的信息社会中起着越来越重要的作用。然而,由于其工作环境大多比较恶劣,经常会受到严重的干扰,影响其稳定性及可靠性,严重时会导致系统瘫痪。所以,提高其抗干扰的能力非常重要。文章分析了单片机干扰的种类,从硬件及软件两方面给出了具体的对策。  关键词:单片机;干扰;对策  中图分类号:TP368.12 文献标识码:A 文章编号:1674-7712 (
介绍了一种DSP专用高速乘法器的设计方法.该乘法器采用了最优化Booth编码算法,降低了部分乘积的数目,采用Wallac。Tree最优化的演算法和快速超前进位加法器来进一步提高电路的运
1998年1月~2002年1月,我院共收治60岁以上老年人阑尾炎32例,施行手术31例,现将其诊断及治疗体会报告如下.