一、一种基于有色Petri网的知识库验证方法（论文文献综述）
郭奇峰[1]（2020）在《基于有色Petri网形式化建模及外卖配送模型的构建》文中提出随着人们生活节奏的不断加快,在日常生活中,对于日常的饮食,不再仅仅局限于去公司餐厅、学校食堂等地方就餐,外卖行业的兴起,为人们的日常生活,提供了极大的便利。同时在近几年互联网技术的高速发展以及智能手机不断更新换代的时代背景下,人们只需在自己的移动终端设备上进行简单的操作,便可以进行外卖订餐服务,不仅能够避免高峰期排队进行就餐,同时也节约了自己的时间,这种新兴的饮食方式极大的推动了外卖平台的发展。现如今吃外卖的就餐方式已经逐渐成为了人们生活中不可或缺的一部分,每天在就餐的时间段,总能看到各个外卖公司的配送员在忙碌与奔波。但是,就外卖配送过程中仍存在一些问题,比如外卖系统在分配订单存在多个配送员同时抢一个订单的问题,导致一边操作手机抢单,同时一边进行配送,从而出现交通安全问题,以及一个配送员携带过多份订单,从而导致配送速度下降的问题等等。本文针对以上所提出可能出现的种种问题,提出相对合理的解决机制,并通过Petri网的形式进行模拟呈现,具体过程如下:根据整个配送流程,从系统建模的思想出发来进行描述刻画,相比传统的建模方法,Petri网拥有它自己独特的建模优势:Petri网不仅可以刻画系统模型的结构,而且可以描述该系统模型相应的动态行为。在建模过程中,通过结合基于对象的思想方法,将系统分为四个对象类:用户类、外卖系统、外卖商家类、外卖配送员类来进行构造。同时,将系统功能也进行模块化,具体实现步骤分为:第一步,用户向外卖系统提交订单,外卖系统同时向配送员和相应外卖商家发送订单信息并等待确认信号。第二步,外卖系统同时接收到外卖配送员以及外卖商家的确认接受订单信号,并告知用户订餐成功。第三步,外卖配送员根据相应订单前往外卖商家进行取餐,外卖商家根据配送员所提供订单信息核实并交付与其外卖商品,配送员取餐成功。第四步,外卖配送员根据相应订单信息进行配送外卖商品,到达目的地后,同用户所提供的订单信息核对,确认无误后,配送成功。第五步,用户确认收货,外卖系统将订单结束消息传递给外卖商家及配送员,订单正式结束。此外,在原型Petri网模型的基础上,运用有色Petri网（CPN）构建方法,对外卖配送系统模型进行进一步刻画描述,并运用基于对象的思想方法加以辅助构建,同时,根据传统的Petri网理论验证方法,提出变迁发生图的新型论证方法,并结合其它传统的静态数学方法,分别对各个功能模块进行合理性验证,最后在仿真软件CPN Tools进行模拟仿真。
佟骁冶[2]（2019）在《轮机模拟器过程评估与指引方法的研究》文中认为随着仿真技术的发展,众多领域利用模拟器代替实际仪器设备进行操作训练和评估。轮机模拟器为船员和相关专业学生的学习和评估提供了平台。传统的轮机模拟器在学员训练环节中只提供仿真功能,缺少辅助步骤指引功能,学员遇到操作问题需要教练员人为讲解,效率底下,浪费人力;在智能评估环节中,通常只能通过操作结果中的特征值进行评估,缺少科学高效的操作过程评价方法。为了解决以上问题,研究了一种满足教学和评估各种场景的操作过程知识模型,并配合此模型开发了各种功能模块。采用专家系统的设计原理开发轮机模拟器操作过程知识模块,实现用户操作监测、错误操作警告、操作步骤提示、操作步骤诊断和评分功能。以DMS系列轮机模拟器为研究对象,分析了机舱操作环境的特点,对比了各种知识表示方法和建模方法,最终确定了基于Petri网的机舱操作过程知识建模方法。描述了机舱操作过程模型中的几种典型逻辑结构和层次结构。应用Petri网对应急发电机启动、主机盘车、主机冲车等任务的操作过程进行了建模。根据机舱实际操作环境的特点和功能需求制定了机舱操作过程模型的三原则。结合实例,针对建模过程中容易出现的互斥操作表达缺失的问题和资源侵占问题提出了简单有效的解决方案。对知识模型的解析、验证及应用算法进行了设计,阐述了关联矩阵的生成算法,可达图的生成和遍历算法,以及操作过程评估算法。为适应模拟器平台环境,提出了运行状态标识等概念。分析了目前轮机模拟器过程评估方法的优点和不足,提出了基于操作过程模型的产生式推理,用来实现操作过程评估。结合原型系统,根据专家系统的思想对操作过程知识模块进行了具体的软件设计和功能实现,设计了基于PNML的知识数据库以存储模型信息,设计了状态采集器以读取操作信息和仿真变量信息,设计与知识数据库相匹配的推理机,设计了简洁的交互界面和清晰的信息展示形式,最后结合实例对模块进行验证,证明其可以高效、稳定地实现预设功能。
温和昌[3]（2019）在《基于混合Petri网的微电网故障诊断方法的研究》文中认为随着电力科学技术的不断改革和创新,电能已经成为当今科技发展和数字化生活中至关重要的能源。化石能源的匮乏和生态环境的恶化,对传统能源的可持续利用提出了更高的要求,也使得微电网的开发应用成为研究热点。为保证微电网的安全稳定运行,确保微电网供电可靠性,在微电网突然产生故障的情况下,系统能在第一时间监测到故障并快速进行定位,以为后续故障处理提供便利已成为一个重要任务。因此,本文针对微电网故障诊断方法展开分析和研究。目前,对于电网故障诊断的研究主要基于专家系统、人工神经网络、解析模型等方法,这些方法不适合在运行方式多变、拓扑结构多样化的微电网中应用。Petri网理论在专家和学者的努力下不断发展和完善,能图形化描述处理离散事件,推理过程简单易懂,在微电网故障诊断方法的研究中具有广泛的应用前景。本文在分析及综合现有微电网故障诊断方法特点的基础上,深入研究Petri网理论的应用,对现有基于简单Petri网的电力系统故障方法进行分析探讨,通过算例分析总结该方法的缺陷。本文针对现有方法中存在的缺陷以及微电网故障诊断的特殊性,为提高微电网故障诊断的效率,减少搜索时间和缩小搜索范围,在已有的高级Petri网系统的基础上,提出一种基于有色Petri网的故障区域搜索方法,然后通过算例分析验证该方法的适应性,利用Stateflow对算例搜索结果进行仿真验证。最后在上述工作的基础上,根据微电网的特点及故障诊断的要求,将分层思想、改进自适应模糊Petri网、模糊逻辑相结合构成混合Petri网,提出面向对象的混合Petri网的微电网故障诊断方法。在基于混合Petri网的故障诊断模型中引入改进的BP算法对模型中参数进行训练,提升诊断结果的准确度。最后通过算例验证了基于混合Petri网的微电网故障诊断方法的容错性,在单一故障、多重故障和信息缺失等复杂情况下,该方法都能给出准确的诊断的结果。
王守鹏[4]（2018）在《面向复杂数据环境的电网故障诊断技术研究》文中研究表明电网故障诊断作为电网调度决策智能化需要解决的基础课题之一,其通过对调度自动化平台所采集的故障数据进行分析判断,发现故障原因,确定故障设备,对于缩短停电时间和提高故障处理效率具有重要意义。随着智能电网建设的深入,诊断系统所在数据环境越来越复杂,使得故障诊断过程中所面临的不确定性因素增加,系统的建模与维护工作也更为繁重。此种背景下,对电网故障诊断的准确求解和精确建模提出了更为紧迫的现实需求。本文在总结当前各类电网故障诊断研究方法的基础上,以提高故障诊断系统的容错性、运行效率以及易维护性为目标,对电网故障诊断模型的总体结构设计、相应诊断模块构建与求解方法以及诊断系统建模与测试等技术进行了研究。主要工作及成果归纳如下:借鉴免疫系统的多种重要机制及分层防御机理,提出一种面向电网故障诊断的分层免疫模型。该分层免疫模型采用双层结构,通过层级间的交互作用传递诊断参数、信号及诊断结果;模型第一层是固有诊断层,其主要完成对故障在发生概率上彼此独立的已知故障的快速诊断,并包括免疫学习机制和故障知识库的建立与维护;第二层是适应性诊断层,以自适应的方式解决固有诊断层未能识别的新故障,包括采用多目标优化方式进行诊断的未知故障诊断识别环节和应用电气量判据进行多重解判定的故障解集辨识环节。该分层免疫模型还引入了分步诊断的思想,分步、分阶段利用各类故障相关信息进行相应免疫层级的故障诊断,能够使信息资源得到合理利用。在固有诊断层,以体液免疫原理为基础,提出了基于体液免疫原理的电网故障诊断。首先建立体液免疫应答过程与电网故障诊断过程所涉及的基本量的对应关系;在此基础上,模拟体液免疫抵御抗原入侵的免疫机制和结构,构建了基于体液免疫应答机制的电网故障诊断学习模型。该模型具有较强的容错能力,不仅可以根据先验知识诊断出已知故障,而且能够通过系统的连续学习功能实现未知故障的连续学习,故障诊断知识的不断完善和补充,一定程度上克服了故障知识不完备的问题,提高了诊断系统的易维护性。在适应性诊断层的未知故障诊断识别环节,提出了基于免疫克隆约束多目标优化方法的电网故障诊断。该诊断方法可以有效解决采用优化技术求解的现有故障诊断解析模型存在权值分配受人为主观因素影响的问题。首先,在剖析原有诊断模型目标函数的基础上,提出采用多目标优化的方式,将电网故障诊断问题转变为多目标优化问题,并采用Pareto最优解的方法进行求解,降低了故障诊断过程中人为主观因素造成的误差。其次,考虑现有数学模型采用罚函数法处理约束问题的不足之处,将约束条件转化为一个目标函数,使约束多目标优化问题转化为无约束多目标优化问题,进而提出采用免疫克隆约束多目标优化算法进行求解,制定了适用于电网故障诊断问题的多目标Pareto优化算法流程。最后,采用模糊集理论对Pareto最优解集中的解进行评价。在适应性诊断层的故障解集辨识环节,研究构建电气量判据进行可疑故障元件辨识的方法。对可疑元件为输电线路的元件进行故障定位求解,提出了一种换模量伪根识别法,并以此方法构建电气量判据进行故障支路与非故障支路的辨识;对可疑元件为母线的元件应用流入母线电流和的电气量判据进行辨识;对可疑元件为变压器的元件应用电流正序故障分量相位差的电气量判据进行辨识。将所构建的电气量判据与应用开关量优化求解的解析模型相配合,提出了一种分级电网故障诊断方法。该方法采用一种逐步调用开关量信息和电气量信息的分级诊断模式。首先应用开关量对所构建的解析模型进行第一级诊断;对于可能出现的多重解问题,再通过电气量判据进行第二级诊断识别。此分级诊断模式增强了故障诊断针对性,通过对故障信息的分级调用减少了对电气量数据的需求,有效提高了诊断效率。在D5000系统的仿真模块上对本文所发展的分层免疫电网故障诊断模型及方法进行了仿真测试,测试结果验证了所提模型与方法的有效性和正确性。
朱晓林[5]（2018）在《基于神经模糊Petri网的三相异步电动机故障诊断》文中研究说明在我国经济飞速发展的背景下,特别是在工业和农业等领域,三相异步电动机作为使用最广泛的动力拖动设备,在国民生产生活中占据重要地位。电动机的故障除了危及电动机本身,还可能导致整个动力系统崩溃,严重影响国民的生命和财产安全。正是因为三相异步电动机的特殊地位,所以如何保证其稳定运行具有重要意义,因此,研究一套行之有效的三相异步电动机的故障诊断方法显得尤为重要。针对三相异步电动机的故障诊断,本文做了如下工作:1、基于传统Petri网理论、模糊理论和神经网络算法,分析基于神经模糊Petri网的故障预测和诊断方法,详细描述NFPN组成、结构和建模规则,阐明本文研究方法与思路的优势,同时阐述本文的主要方向与研究内容。2、在前人研究成果的基础上,摒弃经验化较为严重的变迁置信度,改用Sigmoid函数将其替代,更好的适应神经网络的自适应调节,让数据更明确。通过正向推理,展示了三相异步电动机故障信息传播状态,准确地反映故障传播的路径。通过反向推理矩阵,根据三相异步电动机出现的故障现象,迅速找到故障发生原因,避免诊断的盲目性和经验性。3、在分析三相异步电动机工作原理、故障类型以及构造的基础上,确立三相异步电动机的 NFPN 模型。采用 FMEA（Failure Mode and Effects Analysis）法和Bayes概率法对数据进行统计处理。4、采用实例对NFPN故障子模型进行正反推理演示,实现三相异步电动机故障预测与诊断。最后,运用Labview编程设计软件,设计一套基于NFPN的三相异步电动机故障预测与诊断系统,能够辅助工作人员快速有效地排查故障和维护。
朱鑫鹏[6]（2017）在《基于Petri网及语义Web的机械系统故障诊断研究》文中研究指明随着目前科学技术的飞速发展以及现代生产水平的提高,机械领域的设备为了应对更加严格的制造工艺要求,系统的结构和规模也变得更加复杂化,机械系统的故障也变得更加多样化且无法避免。机械故障诊断也称为了该领域一个重要的研究分支,基于知识的故障诊断方法可以引入对象的许多信息,所以本次论文主要使用基于知识方法中Petri网来进行故障诊断,为结合互联网的发展,提出了一种结合Petri网与语义Web的故障诊断方法。本课题的主要研究内容和创新如下:（1）收集机械系统故障来源,使用故障树分析法建立故障树,确立了故障树与Petri网的转化方式。（2）以故障树为基础,利用有色Petri网建立了机械系统故障模型,对模型进行仿真模拟故障传递,进行状态空间分析与有界性分析以确定模型的有穷性,此模型可以通过简单的更改声明和函数运用至其他的系统故障,具有一定的通用性。（3）分析Petri网与语义Web描述语言OWL的特性,构建了Petri网语义化的相互转化规则。（4）获取了有色Petri网模型的PNML文件,编写了XSLT文件,以此将PNML文件转化为语义Web中的RDF文件。（5）将RDF文件导入至Protégé软件中进行公理推算,爆炸图等分析,与原有的Petri网模型进行对比,验证了转化规则有效性。此诊断方法将有色Petri网与语义Web结合,结合两者的优点,使得故障查询以及故障推演能够得到及时有效的实现。
蔡灏旻[7]（2017）在《具有强粘性的柔性制造系统物流策略研究》文中进行了进一步梳理随着科技的进步和市场需求的更迭,传统大规模、大订单型的生产制造已经不能适应现代社会需求。柔性制造系统作为解决现有问题的良好方法之一,已经逐渐成为了生产制造转型的主流。而影响柔性制造系统效率的一个重要因素是物流策略的选择。因多方面条件的制约,国内中小型制造企业在转型的过程中,人工工位仍然是柔性制造系统改造中重要的组成部分。如何对带有人工工位的强粘性柔性制造系统物流策略进行研究,找到提高整体生产制造效率、保证系统稳定运行的合理方法,具有重要的意义。本论文将研究人工工位参与其中的强粘性柔性制造系统,利用面向对象的有色Petri网,对整个柔性制造生产线的物流进行建模分析,并试图找到通用的物流策略,期望减少人工工位对柔性制造生产线的影响并提高整体系统运行效率。为了研究强粘性环境下的物流策略,本文首先介绍了介绍了建模工具——面向对象的有色Petri网的基本概念和强粘性柔性制造系统的基本概念,在此基础上,利用面向对象的思想对整个强粘性柔性制造系统进行了建模,着重对其中的人工工位进行了分析。其基本思路是将复杂的强粘性柔性制造系统分解成子类对象,然后进行综合集成。其次,本文利用建立好的强粘性柔性制造系统模型作为依据,把Petri网模型中的基本单元库所、变迁、Token等映射到仿真程序中,并利用消息库所实现了子对象间的通信,最终搭建了仿真平台。利用实际生产数据对仿真程序进行了验证,保证了仿真平台的可用性,并把它作为研究物流策略的工具。然后,本文利用已经验证过的仿真平台作为研究工具,对一般情况下的物流策略进行了深入的分析研究。结合实际生产背景,提出了一种合理的优化物流策略的方法。另外针对人工工位,运用最大限制时间,提出了减少人工工位对整个柔性制造生产线的制约规则。上述部分研究成果已成功地应用到了实际工程项目中。
王瑶[8]（2016）在《基于Petri网的四性一体化建模及仿真方法研究》文中进行了进一步梳理可靠性、测试性、维修性、安全性（简称“四性”或RTMS）是复杂工业产品安全高效使用的核心质量属性。在航空领域,航空器的高度复杂技术功能系统及其特殊的安全性能要求尤其需要高指标的“四性”综合性能。我国现代军民用航空器研发过程中,系统功能设计与四性体系指标的精细量化与评估仍存在诸多不相适应的矛盾方面,这制约了型号工程的高品质技术发展。“四性一体化”的设计理念,强调四性综合化模型及评估技术与系统功能设计的有机融合及高效信息反馈,这需要深度解决好四性综合化高效率建模技术、复杂系统不确定性、动态时序等精细描述与精细算法技术。Petri网作为一种通用的系统建模工具,对复杂系统动态运行具有出色的描述能力,符合四性一体化模型的构造需求。本文旨在提出一整套适用于航空器系统四性一体化建模的Petri网模型及精细量化分析方法,以利于提升复杂工程系统四性综合化信息技术水平及其工程应用能力。主要研究工作摘要如下:1)总结了“四性”基本定义和主要指标,分析了贝叶斯网络和马尔科夫链两种精确计算方法在系统概率计算中的应用,为四性一体化建模与精细量化方法的提出及其验证提供理论基础。2)提出了将元件故障分为“物理性故障”和“非物理性故障”两种形式,基于此划分提出了“功能丧失”状态,作为传统正常和故障状态的补充;通过“功能丧失”状态发展了一种将系统功能原理图直接转化为三态故障空间模型的方法（简称“三态建模方法”）。在此方法基础上,通过为三态故障空间模型添加四性基础信息,提出了基于系统功能原理图的四性一体化建模框架。3)从纵向性、故障模式复杂性、时序性和逻辑复杂性等方面总结分析了航空器系统故障传播的特点。在总结Petri网图形表达方式的基础上,提出了适用于描述航空器系统故障传播过程的动态随机有色Petri网;并在四性一体化建模框架指导下,结合航空器系统四性基础信息构造了四性一体化动态随机有色Petri网模型。该模型具有表达多态不确定性、动态逻辑的能力,比传统模型更能真实全面直观描述系统状态的变化过程。4)鉴于精确算法将随着系统规模增大导致组合爆炸的问题,在总结蒙特卡洛仿真原理基础上,结合变迁点火规则发展了适用于四性一体化动态随机有色Petri网数值仿真的“故障传播仿真算法”,并推广得到“故障传播仿真算法2”和“可达性算法”。基于该三个算法得到的仿真样本,提出了统计样本获得四性指标的计算方法,从而构成了一套完整的用于四性一体化动态随机有色Petri网模型四性分析的方法。5)先后利用简单、复杂纵向电传飞行控制系统验证了四性一体化动态随机有色Petri网模型及其仿真方法的正确性、在大型复杂工程系统中应用的可实施性;提出了四性一体化动态随机有色Petri网及其四性基础数据的计算机存储方案;研究了四性一体化模型求解方法在计算机中的实现逻辑;完成了四性一体化建模与评价软件RTMSPetri的设计与验证。6)鉴于重要度概念在工程系统四性评定工作中的重要技术价值,基于“故障传播仿真算法”,研究了用于计算静态二态系统各单元结构重要度、概率重要度和关键重要度的仿真方法,作为四性分析方法的补充。本文运用多个实例对提出的建模和仿真方法进行了分析验证,结果表明本文建模方法可有效集成四性基础信息,建立起能更精细反映系统运行情况的四性一体化动态随机有色Petri网,此外提出的仿真方法可正确计算系统四性中的关键指标,支持在设计阶段高效完成四性评估工作的任务,有力促进了复杂工程系统四性与功能协同设计的技术发展。
张含宇[9]（2016）在《疾病状态检测及风险预测知识Petri网建模研究及应用 ——以心脑血管疾病为例》文中研究表明作为知识推理的一个应用子集,健康知识推理在实际应用中存在体量大、结构相对复杂、不同类型的参数多（模糊、概率、时间等）等特点。而随着我国人口的逐渐老龄化,社会对于以心脑血管疾病为主的健康问题越来越重视。本文以传统Petri网及其拓展模型为理论基础,讨论了健康知识规则网络化推理的具体方案,并最终通过实例验证了方案的可行性。根据实际应用的需求不同,健康知识可以分为状态识别、风险预测和方案管理三个部分,其中状态识别类知识具有的共同特点是不确定性较大,根据相同或相似的前置状态（病症）,可以推理出的疾病情况可能有几十上百种。面对状态识别类知识的不确定性,我们采用模糊Petri网（FPN）建模,并以《中国高血压防治指南》中的高血压危险分层知识为例,验证了FPN应用于状态识别知识推理的可能性。与状态识别类知识不同,风险预测类知识具有概率性和时间性的特点,此时相同的建模方法将不再适用,在此我们基于健康知识规则网络化的特点（变迁多、库所共用）,改良了传统的时延概率Petri网,将时延参数和概率参数赋予给变迁,从而完成风险预测类知识的网络化建模,并使用《Framingham危险评分》中的节选表格进行建模,验证其有效性。最后,在实际操作中我们发现,面对海量的健康知识原始规则,传统的手工建模方法将难以应对,为解决这一难题,我们针对健康知识原始规则库的特点,设计了健康知识网络化自动建模的技术路线和具体算法,并最终通过程序实现了自动建模。与手动建模相比,自动建模具有效率高、不易出错的特点,这将有利于Petri网模型在健康知识推理领域的应用。
席素梅[10]（2009）在《基于Petri网的知识表示方法研究》文中研究指明Petri网作为一种高效的建模和分析工具,近年来得到了快速的发展,但是Petri网作为一种纯理论工具,并不能适合所有领域的应用需求。所以,针对不同领域的研究对象,很多学者提出了各种各样改进的Petri网理论,如近年来得到普遍应用的随机Petri网、有色Petri网以及多值Petri网等,模糊Petri网作为Petri网的一个重要分支,也越来越多地引起了人们的兴趣。模糊Petri网由于更符合人类的思维和认知方式,在描述和分析许多物理系统乃至社会系统的并行和并发行为时具有广泛的意义。特别是应用在人类知识的表示和人工智能中非常合适,在这一方面,已有许多学者进行了研究。本文从模糊Petri网的数学定义出发,初步研究出模糊Petri网、多值逻辑和产生式知识表示三者之间的内在联系和合理结合,进一步改进模糊Petri网模型和完善多值推理,减少重复推理,降低算法复杂度,实现高速和准确。本文具体研究内容如下:（1）通过讨论基于模糊产生式系统的模糊知识表示法,建立了模糊产生式规则与模糊Petri网之间的映射关系,提出了相应的转换算法:为了提高模糊Petri网的表达能力,本文根据模糊知识表示的特点,提出了改进的模糊Petri网模型,减少了Petri网的结点数目,在一定程度上降低了网系统的复杂程度。（2）根据多值逻辑的特点,提出一种以普通Petri网为基础,结合模糊Petri网和有色Petri网各自一些特点的多值Petri网,又分别提出了针对对称三值逻辑的基于模糊Petri网的知识表示和推理算法,和针对非对称多值逻辑的基于多值Petri网的知识表示和推理算法,实现了包括对称三值逻辑在内的多值逻辑的推理计算。本文所做的工作只是在对利用模糊Petri网建立模糊产生式知识表示与处理模型的可行性以及利用多值Petri网建立多值逻辑产生式知识表示与处理的模型的可行性进行了有益的尝试。由于本论文中尚未考虑多值的规则库与Petri网模型之间的自动化转化机制,所以对于有关基于Petri网的多值产生式处理将在以后做进一步的研究,实现规则库与相应的关联矩阵和标识向量之间的自动转化。
二、一种基于有色Petri网的知识库验证方法（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、一种基于有色Petri网的知识库验证方法（论文提纲范文）
（1）基于有色Petri网形式化建模及外卖配送模型的构建（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 题背景及意义 |
| 1.2 Petri网建模技术国内外研究现状 |
| 1.3 本文的研究内容与论文的组织结构 |
| 1.3.1 论文的研究内容 |
| 1.3.2 论文的组织结构 |
| 第二章 Petri网的基本理论及基于对象思想的结合 |
| 2.1 Petri网的理论概述 |
| 2.1.1 原型Petri网理论 |
| 2.1.2 有色Petri网方法介绍 |
| 2.2 基于对象思想的结合与运用 |
| 2.2.1 基于对象思想的介绍 |
| 2.2.2 对象结构图的提出与描述 |
| 2.3 基于对象思想与Petri网模型构建的结合 |
| 2.4 本章小结 |
| 第三章 外卖配送系统流程总体设计 |
| 3.1 系统角色及其用例设计 |
| 3.2 基于对象思想同外卖配送模型构建的结合 |
| 3.3 外卖配送系统流程功能模块设计 |
| 3.3.1 系统整体设计 |
| 3.3.2 系统功能模块详细设计 |
| 3.4 本章小结 |
| 第四章 Petri网的分析方法及对外卖配送CPN模型结构的验证 |
| 4.1 Petri网分析方法的介绍 |
| 4.1.1 可达标识图 |
| 4.1.2 关联矩阵与状态方程 |
| 4.1.3 基于可达标识图改进方法的提出 |
| 4.2 外卖配送流程系统CPN模型结构的验证 |
| 4.2.1 订单提交以及分配功能模块结构验证 |
| 4.2.2 外卖配送功能模块结构验证 |
| 4.2.3 用户确认收货功能模块结构验证 |
| 4.3 本章小结 |
| 第五章 基于CPN Tools工具对外卖配送系统模型的设计与实现 |
| 5.1 CPN Tools工具介绍 |
| 5.2 外卖配送系统模型约束条件 |
| 5.3 外卖配送系统模型的模拟与仿真 |
| 5.3.1 订单提交及分配模块模型的设计与实现 |
| 5.3.2 外卖配送模块模型的设计与实现 |
| 5.3.3 订单结束模块模型的设计与实现 |
| 5.3.4 外卖配送系统完整CPN模型的模拟与仿真 |
| 5.4 本章小结 |
| 第六章 总结与展望 |
| 6.1 本文的工作总结 |
| 6.2 对未来工作的展望 |
| 参考文献 |
| 致谢 |
| 攻读硕士期间的研究成果 |
（2）轮机模拟器过程评估与指引方法的研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 课题研究背景 |
| 1.1.1 轮机模拟器发展概述 |
| 1.1.2 训练与评估系统研究概述 |
| 1.1.3 过程建模现状 |
| 1.2 课题意义和主要工作 |
| 2 机舱操作过程知识表示方法 |
| 2.1 机舱操作知识 |
| 2.1.1 机舱操作知识简述 |
| 2.1.2 操作过程和状态变量 |
| 2.2 操作过程表示方法 |
| 2.2.1 知识的表示方法概述 |
| 2.2.2 过程建模技术 |
| 2.2.3 机舱操作环境分析 |
| 2.3 过程建模技术的比较分析 |
| 2.4 Petri网及相关定义 |
| 3 基于Petri网的机舱操作过程知识建模 |
| 3.1 通用的知识表示模型 |
| 3.2 知识表示内容分析 |
| 3.3 轮机模拟器操作解析 |
| 3.3.1 轮机模拟器交互操作 |
| 3.3.2 轮机模拟器基本操作 |
| 3.3.3 轮机模拟器操作过程 |
| 3.3.4 轮机模拟器操作层次关系 |
| 3.4 基于Petri网的轮机模拟器操作模型 |
| 3.4.1 基于Petri网的操作对象描述 |
| 3.4.2 基于Petri网的操作描述 |
| 3.4.3 基于Petri网的操作跃迁结构举例 |
| 3.4.4 基于Petri网的机舱操作过程模型的简化 |
| 4 机舱操作过程模型相关算法设计 |
| 4.1 操作过程模型分析 |
| 4.1.1 关联矩阵的生成 |
| 4.1.2 可达标识集的定义 |
| 4.1.3 可达图的生成 |
| 4.1.4 互斥操作 |
| 4.1.5 资源共享 |
| 4.2 机舱操作过程模型的应用 |
| 4.2.1 误操作提示与操作指引 |
| 4.2.2 基于操作过程模型的产生式推理 |
| 4.2.3 减分制的模糊评判 |
| 4.3 机舱操作知识模型的应用流程 |
| 5 操作过程知识模块的设计与实现 |
| 5.1 需求分析 |
| 5.2 机舱操作知识专家系统 |
| 5.3 交互界面和动态数据库 |
| 5.3.1 操作界面与仿真系统的通信 |
| 5.3.2 系统状态监控模块 |
| 5.3.3 操作捕捉与状态读取 |
| 5.3.4 数据库映射表 |
| 5.3.5 初始状态设置 |
| 5.4 知识数据库 |
| 5.4.1 基于PNML标准的知识数据库 |
| 5.4.2 读取PNML文件 |
| 5.4.3 矩阵生成模块 |
| 5.5 推理机设计 |
| 5.5.1 功能模块划分 |
| 5.5.2 可达图生成模块 |
| 5.5.3 推理模块 |
| 6 实例分析 |
| 6.1 软件操作流程 |
| 6.2 操作项目介绍 |
| 6.3 项目模型介绍 |
| 6.4 可达性分析 |
| 6.5 训练模式 |
| 6.6 评估模式 |
| 结论与展望 |
| 参考文献 |
| 附录A 部分代码 |
| 致谢 |
| 作者简历 |
（3）基于混合Petri网的微电网故障诊断方法的研究（论文提纲范文）
| 摘要 |
| abstract |
| 第1章 绪论 |
| 1.1 研究背景 |
| 1.2 电网故障诊断方法的发展现状 |
| 1.3 微电网故障诊断方法的研究现状 |
| 1.4 本文的研究内容及安排 |
| 第2章 Petri网基本理论及其应用 |
| 2.1 引言 |
| 2.2 Petri网的基本概念 |
| 2.2.1 Petri网系统的定义 |
| 2.2.2 Petri网的推理规则 |
| 2.2.3 Petri网的数学运算 |
| 2.3 基于简单Petri网的电网故障诊断方法 |
| 2.4 有色Petri网原理 |
| 2.5 本章小结 |
| 第3章 基于有色Petri网的微电网故障区域搜索 |
| 3.1 微电网的基本结构 |
| 3.2 微电网故障诊断的要求 |
| 3.3 有色Petri网故障区域搜索模型 |
| 3.3.1 结线分析的原理 |
| 3.3.2 有色Petri网故障区域搜索原理 |
| 3.3.3 模型的算法 |
| 3.4 算例分析 |
| 3.5 仿真验证 |
| 3.5.1 Stateflow基本原理 |
| 3.5.2 基于Stateflow的搜索模型仿真 |
| 3.6 本章小结 |
| 第4章 基于混合Petri网的微电网故障诊断方法的研究 |
| 4.1 分层Petri网建模推理 |
| 4.2 改进的自适应模糊Petri网原理 |
| 4.2.1 改进的自适应模糊Petri网定义 |
| 4.2.2 改进的自适应模糊Petri网的变迁激发规则 |
| 4.3 基于混合Petri网的微电网故障诊断模型 |
| 4.3.1 模型的建立 |
| 4.3.2 混合Petri网模型的推理规则 |
| 4.4 混合Petri网模型的学习 |
| 4.5 算例分析 |
| 4.6 本章小结 |
| 第5章 结论与展望 |
| 致谢 |
| 参考文献 |
| 攻读学位期间的研究成果 |
（4）面向复杂数据环境的电网故障诊断技术研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 课题背景及研究的目的和意义 |
| 1.2 国内外电网故障诊断的研究概况 |
| 1.2.1 电网故障诊断的数据源及其特性 |
| 1.2.2 常用的电网故障诊断方法 |
| 1.2.2.1 专家系统 |
| 1.2.2.2 人工神经网络 |
| 1.2.2.3 粗糙集 |
| 1.2.2.4 贝叶斯网络 |
| 1.2.2.5 Petri网 |
| 1.2.2.6 解析模型 |
| 1.2.2.7 数值计算分析 |
| 1.2.2.8 多源信息融合 |
| 1.2.3 电网故障诊断系统的架构 |
| 1.3 本文的主要工作 |
| 第2章 面向电网故障诊断的分层免疫模型 |
| 2.1 引言 |
| 2.2 人工免疫系统的生物免疫机理 |
| 2.2.1 人工免疫系统的生物原型 |
| 2.2.2 生物免疫多层防御机制 |
| 2.2.2.1 固有免疫系统 |
| 2.2.2.2 适应性免疫系统 |
| 2.2.2.3 固有免疫与适应性免疫的关系 |
| 2.3 电网故障诊断系统设计的基本要求及解决思路 |
| 2.4 分层免疫模型结构 |
| 2.5 本章小结 |
| 第3章 基于体液免疫原理的电网故障诊断 |
| 3.1 引言 |
| 3.2 体液免疫系统与电网故障诊断系统的对应关系 |
| 3.2.1 体液免疫应答机制 |
| 3.2.2 对应关系 |
| 3.3 基于体液免疫应答机制的电网故障诊断学习模型 |
| 3.3.1 问题定义 |
| 3.3.2 学习模型的构造 |
| 3.3.3 体液免疫学习过程的关键环节 |
| 3.3.3.1 未成熟检测器的自体耐受 |
| 3.3.3.2 成熟检测器的增殖分化 |
| 3.3.3.3 故障检测器的产生 |
| 3.4 故障诊断例证 |
| 3.4.1 测试系统及其样本构成 |
| 3.4.2 测试结果与分析 |
| 3.5 本章小结 |
| 第4章 基于免疫克隆约束多目标优化方法的电网故障诊断 |
| 4.1 引言 |
| 4.2 电网故障诊断解析模型的数学表示 |
| 4.2.1 多目标优化函数的建立及Pareto最优解 |
| 4.2.2 故障诊断规则的解析 |
| 4.2.2.1 保护和断路器的动作期望状态解析 |
| 4.2.2.2 保护和断路器的动作实际状态解析 |
| 4.3 采用免疫克隆约束多目标优化算法的模型求解 |
| 4.3.1 约束条件的处理 |
| 4.3.2 免疫克隆约束多目标优化算法 |
| 4.3.3 多目标Pareto解的评价 |
| 4.3.4 故障诊断流程 |
| 4.4 算例分析 |
| 4.4.1 算例一 |
| 4.4.1.1 测试算例系统 |
| 4.4.1.2 模型求解与诊断结果分析 |
| 4.4.2 算例二 |
| 4.5 本章小结 |
| 第5章 利用电气量判据的分级电网故障诊断 |
| 5.1 引言 |
| 5.2 分级故障诊断策略 |
| 5.3 基于电气量信息的可疑故障元件辨识 |
| 5.3.1 基于双端电气量的输电线路故障定位 |
| 5.3.1.1 双端故障定位原理 |
| 5.3.1.2 双端故障定位伪根问题 |
| 5.3.1.3 故障定位算法流程 |
| 5.3.2 基于流入母线电流和的母线故障辨识 |
| 5.3.3 基于电流正序故障分量的变压器故障辨识 |
| 5.4 典型案例仿真分析 |
| 5.5 本章小结 |
| 第6章 分层免疫电网故障诊断模型的仿真测试 |
| 6.1 引言 |
| 6.2 调控一体化仿真系统介绍 |
| 6.2.1 仿真系统简介 |
| 6.2.2 仿真系统的主要功能介绍 |
| 6.3 电网故障诊断系统的功能结构 |
| 6.4 故障诊断测试案例 |
| 6.4.1 测试故障案例一 |
| 6.4.2 测试故障案例二 |
| 6.5 本章小结 |
| 第7章 结论与展望 |
| 7.1 结论 |
| 7.2 展望 |
| 参考文献 |
| 攻读博士学位期间发表的论文及其它成果 |
| 攻读博士学位期间参加的科研工作 |
| 致谢 |
（5）基于神经模糊Petri网的三相异步电动机故障诊断（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究现状 |
| 1.3 petri网的研究现状 |
| 1.4 本文主要研究内容 |
| 1.5 本章小结 |
| 2 故障诊断与Petri网 |
| 2.1 基本petri网 |
| 2.2 模糊Petri网 |
| 2.3 神经模糊Petri网 |
| 2.4 本章小结 |
| 3 基于NFPN故障诊断算法的研究 |
| 3.1 故障诊断与故障预测 |
| 3.2 NFPN正向推理算法 |
| 3.3 NFPN反向推理算法 |
| 3.4 NFPN的自学习能力 |
| 3.5 本章小结 |
| 4 三相异步电动机NFPN模型的构建 |
| 4.1 三相异步电动机的原理与结构 |
| 4.2 三相异步电动机的故障 |
| 4.3 NFPN故障模型的故障数据采集与处理 |
| 4.4 三相异步电动机NFPN模型的建立 |
| 4.5 本章小结 |
| 5 方法的实现与验证 |
| 5.1 初值的确定 |
| 5.2 正向推理 |
| 5.3 反向推理 |
| 5.4 方法的验证 |
| 5.5 本章小结 |
| 6 故障诊断方法在Labview中的实现 |
| 6.1 初值的输入 |
| 6.2 算例分析与验证 |
| 6.3 本章小结 |
| 7 总结与展望 |
| 7.1 总结 |
| 7.2 展望 |
| 参考文献 |
| 致谢 |
| 攻读硕士期间的主要成果 |
（6）基于Petri网及语义Web的机械系统故障诊断研究（论文提纲范文）
| 摘要 |
| abstract |
| 第一章 绪论 |
| 1.1 课题来源、研究背景和意义 |
| 1.2 国内外研究现状 |
| 1.3 论文创新点 |
| 1.4 本课题的研究内容与结构 |
| 第二章 有色Petri网以及语义Web的相关概述 |
| 2.1 有色Petri网 |
| 2.1.1 Petri网定义 |
| 2.1.2 Petri网特点 |
| 2.1.3 有色Petri网 |
| 2.1.4 有色Petri网建模工具——CPNTools |
| 2.2 语义Web |
| 2.2.1 语义Web |
| 2.2.2 本体 |
| 2.2.3 OWL |
| 2.3 本章小结 |
| 第三章 基于有色Petri网的机械系统故障诊断研究 |
| 3.1 VMC650数控加工中心液压系统故障 |
| 3.2 故障树分析法(FTA) |
| 3.2.1 故障树分析中的术语与符号 |
| 3.2.2 建立故障树的工作程序 |
| 3.2.3 故障树分析 |
| 3.2.4 故障树的应用以及局限 |
| 3.2.5 故障树到Petri网的转化 |
| 3.3 基于有色Petri网的故障诊断 |
| 3.3.1 数控机床液压元件故障树分析 |
| 3.3.2 液压元件故障有色Petri网模型建立 |
| 3.3.3 CPN仿真分析 |
| 3.3.4 CPN状态空间分析 |
| 3.4 本章小结 |
| 第四章 有色Petri网的语义表达 |
| 4.1 Petri网标记语言 |
| 4.1.1 PNML |
| 4.1.2 PNML实例 |
| 4.2 Petri网语义化的转化规则 |
| 4.2.1 OWL-S进程 |
| 4.2.2 OWL-S复合进程的Petri网描述 |
| 4.3 CPN的语义描述 |
| 4.3.1 Petri网到OWL的转化 |
| 4.3.2 有色Petri网到OWL的转化 |
| 4.4 本章小结 |
| 第五章 实例分析 |
| 5.1 建立机械系统故障CPN模型 |
| 5.2 液压元件故障模型至OWL的转化 |
| 5.2.1 XSLT |
| 5.2.2 Protégé |
| 5.2.3 规则验证 |
| 5.3 本章小结 |
| 第六章 总结与展望 |
| 6.1 论文总结 |
| 6.2 展望 |
| 参考文献 |
| 附录 |
| 攻读硕士学位期间发表的学术论文及取得的相关科研成果 |
| 致谢 |
（7）具有强粘性的柔性制造系统物流策略研究（论文提纲范文）
| 致谢 |
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 课题背景和研究意义 |
| 1.2 强粘性柔性制造系统物流策略的研究内容和研究方法 |
| 1.3 国内外研究现状 |
| 1.4 本文研究内容和创新点 |
| 1.4.1 研究的来源 |
| 1.4.2 研究主要内容 |
| 1.4.3 内容安排和创新 |
| 1.5 小结 |
| 第2章 理论基础 |
| 2.1 Petri网理论基础 |
| 2.1.1 Petri网基本概念 |
| 2.1.2 Petri网的性质 |
| 2.1.3 有色Petri网与面向对象(Object Oriented) |
| 2.2 FMS基本概念 |
| 2.2.1 FMS系统的构成 |
| 2.2.2 FMS的物流策略问题 |
| 2.3 小结 |
| 第3章 基于面向对象有色Petri网(OOCPN)的FMS物流系统建模 |
| 3.1 建模基础 |
| 3.2 强粘性柔性制造系统对象建模分析 |
| 3.2.1 加工类对象的Petri网子网模型 |
| 3.2.2 工位类对象的Petri网子网模型 |
| 3.2.3 运送类对象的Petri网子网模型 |
| 3.2.4 仓储类对象的Petri网子网模型 |
| 3.3 模型的整体集成 |
| 3.3.1 整体模型的组建 |
| 3.3.2 系统模型运行 |
| 3.4 模型评价 |
| 3.5 小结 |
| 第4章 强粘性柔性制造系统仿真平台实现和验证 |
| 4.1 平台设计思路 |
| 4.2 平台实现 |
| 4.2.1 模型到软件的转换思路 |
| 4.2.2 子对象的转换实现 |
| 4.3 仿真平台的运行 |
| 4.3.1 推进模式和方法 |
| 4.3.2 人工工位的特殊处理 |
| 4.4 软件界面和最终软件实现 |
| 4.5 仿真模型验证 |
| 4.5.1 验证过程 |
| 4.5.2 仿真验证结果 |
| 4.5.3 仿真结果分析 |
| 4.6 小结 |
| 第5章 强粘性环境下物流策略研究 |
| 5.1 一般情况下物流策略的制定 |
| 5.1.1 运送对象动作分析 |
| 5.1.2 物流策略研究 |
| 5.1.3 仿真对比验证 |
| 5.1.4 结果分析 |
| 5.1.5 一般性的物流策略获得方法总结 |
| 5.2 强粘性工位的策略制定(人工工位) |
| 5.2.1 最大限制时间的仿真求解 |
| 5.2.2 扩展一般强粘性工位的策略 |
| 5.3 小结 |
| 第6章 总结与展望 |
| 6.1 研究工作总结 |
| 6.2 意义和价值 |
| 6.3 挑战与展望 |
| 参考文献 |
| 作者简历 |
（8）基于Petri网的四性一体化建模及仿真方法研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究工作进展 |
| 1.2.1 四性技术理念与理论方法发展 |
| 1.2.2 Petri网技术及其应用发展 |
| 1.3 目前四性研究遇到的挑战 |
| 1.4 本文研究内容 |
| 2 四性一体化模型理论基础 |
| 2.1 工程系统四性综述 |
| 2.1.1 可靠性概念及指标 |
| 2.1.2 维修性概念及指标 |
| 2.1.3 安全性概念及指标 |
| 2.1.4 测试性概念及指标 |
| 2.2 应用于系统分析的概率方法 |
| 2.2.1 贝叶斯网络分析方法 |
| 2.2.2 马尔科夫链分析方法 |
| 2.3 小结 |
| 3 基于功能原理图的四性一体化建模框架 |
| 3.1 系统功能原理图与四性评估 |
| 3.2 三态建模方法 |
| 3.2.1 三态建模方法原理 |
| 3.2.2 三态建模方法验证 |
| 3.3 三态建模方法在四性一体化模型中应用 |
| 3.3.1 四性基础信息的有效融合 |
| 3.3.2 四性一体化建模框架 |
| 3.4 小结 |
| 4 基于Petri网的四性一体化模型构建方法 |
| 4.1 Petri网理论基础及其应用 |
| 4.1.1 Petri网理论基础 |
| 4.1.2 Petri网在系统评估中的应用 |
| 4.2 航空器系统故障传播过程分析 |
| 4.2.1 系统故障传播过程综述 |
| 4.2.2 航空器系统故障传播特点 |
| 4.3 用于描述故障传播的动态随机有色Petri网 |
| 4.3.1 故障模式级别分类、编号与着色 |
| 4.3.2 构建思路 |
| 4.3.3 LRU状态在Petri网中的表达 |
| 4.3.4 内在随机过程在Petri网中的表达 |
| 4.3.5 系统、子系统状态在Petri网中的表达 |
| 4.3.6 交互故障传播过程在Petri网中的表达 |
| 4.3.7 描述故障传播的动态随机有色Petri网定义 |
| 4.4 四性一体化动态随机有色Petri网构建 |
| 4.4.1 四性一体化动态随机有色Petri网定义 |
| 4.4.2 基于Petri网的四性一体化模型构建方法 |
| 4.5 小结 |
| 5 基于蒙特卡洛仿真的模型求解方法 |
| 5.1 蒙特卡洛仿真基础 |
| 5.1.1 蒙特卡洛仿真基本思想 |
| 5.1.2 蒙特卡洛仿真收敛性分析 |
| 5.2 伪随机数及随机变量产生方法 |
| 5.2.1 伪随机数基本概念及产生方法 |
| 5.2.2 常用分布随机变量的产生方法 |
| 5.3 用于四性分析的蒙特卡洛仿真算法 |
| 5.3.1 变迁处理方法 |
| 5.3.2 变迁优先级确定方法 |
| 5.3.3 用于故障传播过程模拟的蒙特卡洛仿真算法 |
| 5.3.4 用于四性分析的蒙特卡洛仿真算法 |
| 5.4 统计分析方法 |
| 5.4.1 可靠性指标求解方法 |
| 5.4.2 安全性指标求解方法 |
| 5.4.3 维修性指标求解方法 |
| 5.4.4 测试性指标求解方法 |
| 5.5 故障传播仿真算法验证 |
| 5.5.1 静态故障传播算例 |
| 5.5.2 动态故障传播算例 |
| 5.6 小结 |
| 6 四性一体化Petri网在航空器系统中的应用 |
| 6.1 简单纵向电传飞行控制系统 |
| 6.1.1 系统描述与建模 |
| 6.1.2 系统四性指标仿真结果 |
| 6.1.3 结果验证及分析 |
| 6.2 复杂纵向电传飞行控制系统 |
| 6.2.1 系统描述与建模 |
| 6.2.2 系统四性指标仿真结果与分析 |
| 6.3 小结 |
| 7 四性一体化建模及分析软件设计 |
| 7.1 设计目标 |
| 7.2 软件体系结构设计 |
| 7.2.1 软件整体架构 |
| 7.2.2 软件系统功能设计 |
| 7.2.3 软件界面规划 |
| 7.3 软件主要技术 |
| 7.3.1 数据库组织：规则化信息表 |
| 7.3.2 四性分析计算在软件中的实现 |
| 7.4 实例验证 |
| 7.5 小结 |
| 8 故障传播仿真算法在重要度计算中的应用 |
| 8.1 结构重要度 |
| 8.1.1 结构重要度定义 |
| 8.1.2 结构重要度精确算法 |
| 8.1.3 结构重要度仿真算法 |
| 8.2 概率重要度 |
| 8.2.1 概率重要度定义 |
| 8.2.2 概率重要度精确算法 |
| 8.2.3 概率重要度仿真算法 |
| 8.3 关键重要度 |
| 8.3.1 关键重要度定义 |
| 8.3.2 关键重要度精确算法 |
| 8.3.3 关键重要度仿真算法 |
| 8.4 实例验证 |
| 8.5 小结 |
| 9 总结与展望 |
| 9.1 全文工作总结 |
| 9.2 主要创新点 |
| 9.3 工作展望 |
| 参考文献 |
| 附录A 不同逻辑在动态随机有色Petri网中的图形表达 |
| 附录B 故障传播仿真算法详细流程图 |
| 附录C 复杂纵向电传飞控系统四性一体化动态随机有色Petri网 |
| 附录D 三类重要度精确计算方法推导 |
| 致谢 |
| 攻读博士学位期间发表的学术论文与参加科研情况 |
（9）疾病状态检测及风险预测知识Petri网建模研究及应用 ——以心脑血管疾病为例（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 导论 |
| 1.1 课题背景 |
| 1.2 医疗决策系统研究现状 |
| 1.3 面向健康管理的大数据知识挖掘研究现状分析 |
| 1.3.1 基于中医理论的健康管理知识库构建研究 |
| 1.3.2 基于传统媒体的健康文本知识挖掘 |
| 1.4 知识推理研究现状 |
| 1.5 Petri网研究现状 |
| 1.6 本章小结 |
| 第二章 Petri网原理 |
| 2.1 Petri基本概念 |
| 2.2 经典Petri网的数学定义 |
| 2.3 Petri网数理基础 |
| 2.3.1 模糊Petri网数理基础 |
| 2.3.2 概率Petri网数理基础 |
| 2.3.3 时间Petri网数理基础 |
| 2.4 Petri网基本性质 |
| 2.5 Petri网分析方法 |
| 2.6 本章小结 |
| 第三章 状态识别及风险预测知识建模方案与实例 |
| 3.1 方案背景 |
| 3.2 状态识别知识网络化建模方法 |
| 3.2.1 方案阐述 |
| 3.2.2 方案实例与分析 |
| 3.3 风险预测知识网络化建模方法 |
| 3.3.1 方案阐述 |
| 3.3.2 方案实例与分析 |
| 3.4 本章小结 |
| 第四章 面向大规模知识推理的Petri网建模及分析方法 |
| 4.1 方案阐述 |
| 4.2 故障判断及解决 |
| 4.3 方案实例与分析 |
| 4.4 本章小结 |
| 第五章 结论与展望 |
| 参考文献 |
| 附录 |
| 附录一:Framingham危险评分全表(男性) |
| 附录二:大规模健康知识自动建模程序节选 |
| 攻读硕士学位期间已发表或录用的论文 |
（10）基于Petri网的知识表示方法研究（论文提纲范文）
| 摘要 |
| Abstract |
| 符号说明 |
| 第1章 绪论 |
| 1.1 引言 |
| 1.2 本文的工作与创新 |
| 1.2.1 本文的研究工作 |
| 1.2.2 本文的创新之处 |
| 1.3 本文的组织 |
| 第2章 Petri网与知识表示概述 |
| 2.1 Petri网概述 |
| 2.1.1 Petri网起源 |
| 2.1.2 Petri网发展过程 |
| 2.1.3 Petri网的特点 |
| 2.1.4 Petri网的应用领域 |
| 2.2 知识表示概述 |
| 2.2.1 什么是知识表示 |
| 2.2.2 知识表示方法 |
| 第3章 基于模糊Petri网的产生式知识表示 |
| 3.1 Petri网基本定义 |
| 3.2 产生式知识表示 |
| 3.3 模糊Petri网的改进 |
| 3.4 模糊规则库到FPN的转换算法 |
| 3.5 小结 |
| 第4章 基于多值Petri网的产生式知识表示 |
| 4.1 多值逻辑与产生式知识表示 |
| 4.1.1 多值逻辑 |
| 4.1.2 多值逻辑与知识表示结合的意义 |
| 4.1.3 多值逻辑与产生式知识表示结合的实现 |
| 4.2 多值Petri网定义 |
| 4.3 基于扩展Petri网的产生式知识表示模型及推理 |
| 4.3.1 基于Petri网的产生式知识表示 |
| 4.3.2 Petri网化简 |
| 4.3.2.1 正向推理算法 |
| 4.3.2.2 算法说明 |
| 4.3.2.3 算法意义 |
| 4.4 基于模糊Petri网的对称三值产生式推理 |
| 4.4.1 算法 |
| 4.4.2 算法说明 |
| 4.4.3 算法意义 |
| 4.5 基于多值Petri网的多值产生式推理 |
| 4.5.1 算法及说明 |
| 4.5.2 算法意义 |
| 4.6 本章小结 |
| 第5章 结束语 |
| 5.1 已取得的研究成果 |
| 5.2 下一步的研究工作 |
| 参考文献 |
| 致谢 |
| 攻读学位期间发表的学术论文 |
| 学位论文评阅及答辩情况表 |
四、一种基于有色Petri网的知识库验证方法（论文参考文献）
- [1]基于有色Petri网形式化建模及外卖配送模型的构建[D]. 郭奇峰. 陕西师范大学, 2020
- [2]轮机模拟器过程评估与指引方法的研究[D]. 佟骁冶. 大连海事大学, 2019(06)
- [3]基于混合Petri网的微电网故障诊断方法的研究[D]. 温和昌. 南昌大学, 2019(02)
- [4]面向复杂数据环境的电网故障诊断技术研究[D]. 王守鹏. 华北电力大学(北京), 2018(05)
- [5]基于神经模糊Petri网的三相异步电动机故障诊断[D]. 朱晓林. 山东科技大学, 2018(03)
- [6]基于Petri网及语义Web的机械系统故障诊断研究[D]. 朱鑫鹏. 上海工程技术大学, 2017(03)
- [7]具有强粘性的柔性制造系统物流策略研究[D]. 蔡灏旻. 浙江大学, 2017(08)
- [8]基于Petri网的四性一体化建模及仿真方法研究[D]. 王瑶. 西北工业大学, 2016(05)
- [9]疾病状态检测及风险预测知识Petri网建模研究及应用 ——以心脑血管疾病为例[D]. 张含宇. 上海交通大学, 2016(03)
- [10]基于Petri网的知识表示方法研究[D]. 席素梅. 山东大学, 2009(S1)