基于Petri网的一致性检验的计算机实现

来源 :机械强度 | 被引量 : 0次 | 上传用户:blus95
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用。首先对约束Petri网的概念作了简要介绍。然后着重讲述应用面向对象方法开发的Petri网建模工具 ,以及一致性检验命题的软件实现方法。最后以某卫星电源系统为对象 ,对其故障诊断系统的知识库的一致性检验进行实际应用
其他文献
第二次世界大战后至今,日本水产品消费呈现数量先增后减,消费品种与消费形态多样化,地域差异逐渐消失,年龄阶层与收入阶层差异凸显,水产品消费结构复杂化的趋势。中国现阶段
1666年大火后伦敦的重建对近代英国经济的发展具有很大的推动作用,它不仅促进了英国现代金融制度的建立,而且在此基础上,促进了英国海外贸易的活跃,并引领一大批沿海城市效仿
贵州省黔东南州苗族传统医药知识十分丰富,能够治疗多种疑难杂症,该州正在组织研究的苗药十多种,取得了可喜的成果。
本文分析了产业安全内涵,对高新技术产业安全的概念、影响因素、评价体系和评价方法等方面进行了全面梳理和总结,明确了当前存在的主要问题,同时指出了今后的发展方向,以期为
试验采用梯度LH与E2的作用浓度比较卵母细胞的体外成熟率,并采用添加7.0ug/mL LH、1.3ug/mLE2研究季节性对绵羊卵母细胞体外成熟及胚胎发育能力的影响。结果表明:①LH与E2的作用浓
新时期的电气化自动系统设计是随着科技的不断成熟和发展,向着科学化、自动化方向发展的。它应用较独立分布计算机系统模式设计,并有比较完善的监控系统。这种体系更加利于控
建筑工程施工现场的混凝土强度检测是工程质量检测的重要内容,通过科学的检测方式保证检测结果的准确性不仅是对工程施工质量的保障,也是对施工企业经济效益的保障。本文分析
医学学科蕴涵着丰富的人文价值。医学科学精神与人文精神的融合是医学科学发展的目标。医学与人文具有内在的、必然的联系。因此,培育医学生的人文精神,使他们成为高素质的医学