用于一致性检查的知识库Petri网模型

知识库是一致性是决定专家系统效率及求解正确性的关键因素。本文以Ｐｅｔｒｉ网为工具对知识库进行模拟分析，把知识库一致性的检查化简为线性代数问题，把这一方法应用于分布式知识库系统，首次得到了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件，为建立（分布式）知识库的自动维护系统打下了基础。     

基于面向对象Petri网的知识库模型

根据Petri网能够对知识的细节进行抽象的特点及对知识库系统应用的需求,利用VC 对Petri网进行了类的封装,建立了基于面向对象Petri网的知识库模型,实现了对知识库的动态维护,并增加了单步推理和反向执行的功能,同时也改进了规则维护算法。     

一种基于Petri网思想的知识库的动态维护方法

本文研究了基于规则的专家系统知识库的维护问题，在添加一条新规则后，知识库可能出现矛盾规则，循环规则，冗余规则，从属规则等。文中详细给出了基于Ｐｅｔｒｉ网思想的对知识库进行维护的算法，进而决定是否添加该规则，从而保证了知识库的一致性，为专家系统进行正确推理，提高推理速度打下了坚实的基础。     

基于Petri 网知识库维护方法的实现

知识库的维护是知识系统的关键部分，直接关系到系统能否正常运行，本文介绍了基于Petri网知识库维护方法的实现。     

基于Petri网的知识库维护方法的研究

Ｐｅｔｒｉ网作为建立系统模型，性能分析，模拟，系统调度，控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Ｐｅｔｒｉ网在知识库维护方面的应用，包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。     

知识库的一致性问题和检查方法

知识库中存在的不一致性是影响整个系统性能的重要因素之一。在系统建立初期,由于知识库比较小,内容也比较简单,只要设计人员或知识工程师对初始知识模型进行反复推敲和精心构造,这类问题还是比较容易防止的。但是随着时间的推移,人们对知识库在最初设计阶段的种种考虑逐渐淡漠,同时由于知识库中新的知识不断加入,知识库越来越大,内容也越来越丰富复杂,这时知识库中各知识单元之间的相互影响和相互联系就随之变得复杂,难以跟踪和捉摸了。在这种情况下,知识库中的不一致性检测、识别和纠正显得更为重要。1、知识库的一致性问题知识库系统的组织按其结构可以划分为事实性知识(领域知识)和控制性知识,它     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检验工作流一致性的方法，从而丰富了工作流的时间管理功能。     

DEDS对象化高级Petri网模型研究--对象化高级Petri网上的一致性网络

针对对象化高级Petri网缺乏标识的状态空间度量,采用谓词集对各位置上的可达标识进行完全划分,形成与加色网等价的一致性网络.原网络的语言是其任何一个一致性网络语言的子集,因而可以用加色网来定义及分析对象化高级Petri网的各种不变量.     

基于着色Petri网的HDFS数据一致性建模与分析

HDFS分布式文件系统作为Apache Hadoop的核心组件之一,在工业界得到了广泛应用.HDFS采用了多副本机制保证数据的可靠性,但是由于多副本的存在,在节点失效、网络中断、写入失败时可能会导致数据不一致.与传统文件系统相比,HDFS被认为其数据一致性有所降低,但用户并不知道何时会出现不一致的情况,目前也没有相关工...     

基于Time Petri Net的实时系统冲撞检测与消解

time Petri net (TPN)在实时控制系统的建模中得到广泛应用,而冲撞是Petri网及其扩展模型的重要行为,解决冲撞是正确分析模型动态行为的关键.由于引入时间约束,使得TPN模型的使能和触发语义比Petri 网模型的语义复杂,冲撞的检测及消解变得更加困难.首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的正确性;然后在此基础上定义并证明了TPN模型中冲撞的检测方法;给出了冲撞时间区间及修改时间约束的冲撞消解方法;最后通过实例验证说明了该方法的有效性和正确性.     

基于Petri网的自助行李托运传输控制策略

针对自助行李托运过程中伴随行李规格检测、行李身份验证、旅客交互操作而进行的行李传输控制中的多方面不确定性问题,提出了一种满足自助式操作基于Petri网和区域转换方法的传输控制策略。将托运过程中行李可达范围分为投放区、检测区、缓冲区以及分拣区四个区域,依据系统功能要求建立区域转换规则和区域Petri网模型,由系统关联矩阵和状态方程推算行李的到达区域,并根据区域转换规则实现行李传输控制。自助托运实验验证了所提出方法在不确定环境下的高效性和可靠性。     

基于Time Petri Nets的实时系统资源冲突检测

Time Petri Nets在实时系统的建模和性能分析中得到广泛应用,而冲突是Petri网及其扩展模型的重要行为,解决冲突是正确分析模型动态行为的关键.目前随机Petri网、混合Petri网和区间速率连续Petri网的冲突检测方法由于没有考虑到时间约束因此无法在TPN网中使用.时间约束的引入使得Time Petri Nets模型的使能和触发语义比Petri网模型的语义复杂,冲突检测变得更加困难.为了计算冲突发生的时间和概率,首先根据时间约束,给出了变迁持续使能时延迟区间的计算方法,并证明了该方法的合理性和完备性;然后在此基础上定义并证明了Time Petri Nets模型中不冲突的检测方法;并提出了Time Petri Nets模型的冲突检测方法,给出了冲突时间区间和变迁实施概率的计算方法;最后通过实例验证说明了该方法的正确性和有效性.     

基于BP网络的模糊Petri网的学习能力

模糊Petri网(Fuzzy Petri Nets,FPN)是基于模糊产生式规则的知识库系统的良好建模工具,但自学习能力差是模糊系统本身的一个缺点．该文提出了适合模糊Petri网模型自学习的模糊推理算法和学习算法．在模糊推理算法中,通过对没有回路的FPN模型结构进行层次式划分以及建立变迁点燃和模糊推理的近似连续函数,从而把神经网络中的BP网络算法自然地引入到FPN模型中．在FPN模型上,用误差反传算法计算一阶梯度的方法对模糊产生式规则中的参数进行学习和训练．经过学习和训练的FPN具有很强的泛化能力和自适应功能．FPN模型经过训练得到的参数是有特定含义的,可以通过对这些参数的合法性分析,使得模糊产生式规则系统更加有效,也对知识库系统的建立、更新和维护有着重要的意义．     

模糊Petri网在车电系统总线故障诊断中的应用

针对车电系统总线故障现象和故障原因之间存在复杂模糊关系而无法实现快速故障诊断这一难题,提出采用模糊Petri网(fuzzy petri net,FPN)建立车电系统总线的故障诊断分析模型,并给出了相应的形式化推理算法;以某型车电系统总线为例,分析比较了各种故障原因的可信度;分析表明:所建模型有效地描述了车电系统总线故障现象和故障原因之间的模糊关系,能够实现故障的快速诊断,该模型可以作为车电系统总线快速故障诊断的理论支持工具。     

Petri网的正向推理算法

提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理。该算法充分利用了petri网的并行处理能力,缩小了后续应用的范围,加速了后续应用的效率。     

一种新的Petri网推理方法

提出一种新的基于Petri网的知识表达方法和逻辑推理算法，通过减少重复推理过程，充分利用推理过程中已经得到的中间结论，该算法比现有算法减少了推理步数，有效地提高了推理效率。     

基于UML和Petri网的锅炉仿真系统的研究

结合了UML状态图的表达特性和Petri网的分析特性,总结出状态图的设计步骤和状态图转化为Petri网的规则,并以国家质检总局科技项目-锅炉仿真系统为背景,对锅炉自动燃烧过程实例进行分析,按照设计步骤和转化规则,最终用Petri网描述出实例,为进一步分析系统特性奠定基础.