一、规则Petri网的推理策略的研究（论文文献综述）
李泽龙[1]（2021）在《基于模糊Petri网和MOP的高速铁路车站客运安全测评与风险控制研究》文中认为根据“十四五”规划,2021年我国翻开了交通强国建设的新篇章。高速铁路作为旅客中长途出行选择的重要交通方式之一,其客运安全管理尤为重要,而车站客运安全又是高速铁路安全的重要接口。因此,研究高速铁路车站的客运安全问题,通过安全测评和风险管控,找到车站客运安全风险卡控的薄弱环节,制定风险管控方案,提升车站客运安全管理水平。本文对高速铁路客运安全测评与风险管控的主要研究工作如下:（1）界定了高速铁路车站客运安全风险,并从客运作业组织流程、客运安全风险特征方面,全面分析高速铁路车站潜在的各种风险因素;划分出六类车站客运安全风险类型和四种风险等级;从人员、设备、环境、管理四个角度,运用事故树方法对高速铁路车站客运安全风险进行风险源辨识,建立了新的高速铁路车站客运安全测评指标体系。（2）提出了更加精细化的指标七级评价等级方法,整理了车站和安全管理方面的规范,制定了指标评价标准依据表,确定了评价等级的数值转换化方法;根据六类客运安全风险的事故树辨识图,构建了全新的高速铁路车站客运安全风险的模糊Petri网测评模型,结合层次分析法和关联度法,改进了模糊Petri网库所权重处理方法,使安全评估更加科学;结合本文建立的模糊Petri网评估模型特点,引入三种特殊算子,改进了模糊推理求解算法,提升安全测评结果的准确度。（3）以风险水平和控制成本为目标,提出五条前提假设条件,构建了高速铁路车站客运安全风险控制模型;根据模糊Petri网模型,建立了大量滞留、拥挤踩踏风险的风险函数,运用单层次分析,确定相关库所的相对成本系数;应用NSGA-Ⅱ算法求解风险控制模型,并提出如何根据控制模型计算结果比选风险控制方案、制定风险管控措施。（4）以高速铁路车站A为例,收集指标评价信息,根据安全评估模型计算结果,得出车站A的大量滞留、拥挤踩踏风险等级处于警戒状态,需要进行风险控制。根据风险控制模型计算结果,得到一组Pareto最优解,选择其中四组解,进行效果最优比选,并结合车站A实际情况,制定具体风险管控措施方案,供车站A进行风险管理时参考,验证了评估模型和控制模型的有效性。
陈哲意[2]（2021）在《基于模糊Petri网的柔性制造系统故障诊断》文中研究指明柔性制造系统具有高度的智能化是无人工厂的重要组成部分,对实现我国制造业转型升级意义重大。柔性制造系统无故障运行是保证自动化生产的前提,柔性制造系统的建模与定位故障源等问题一直是学界热点问题。因此,深入研究柔性制造系统的故障诊断技术具有重要应用价值。依据柔性制造系统的故障特点,本文将一种模糊petri引入柔性制造系统故障诊断技术中,对柔性制造系统的主轴电机系统、刀库系统、物流系统、机床系统,根据故障发生规则分别建立故障诊断模型。采用双向特征建模的故障诊断模型,根据故障诊断算法进行故障诊断,可以确保证柔性制造系统高效率运行。本文主要创新点归纳如下:（1）根据柔性制造系统的故障特性,为了更加准确的记录故障传播路径,且便于追踪故障信息定位故障源,增加了一个故障传播集合Ts,描述柔性制造系统故障在模糊Petri网模型中的传播路径,并给出了故障传播集合Ts的数学定义。对模糊Petri网进行了优化,将传统的六元组模糊Petri网（P,T,F,d,w,m0）改成了七元组（P,T,F,d,w,m 0,Ts）。（2）分析了柔性制造系统及其故障的特性,从系统的角度出发,选取几个重要的子系统进行双向特征建模:主轴电机系统、机床系统、物流系统、刀库系统,并且给出了各个子系统的故障产生规则,根据故障产生规则为各个子系统建立了模糊Petri网模型。（3）给出了改进型模糊Petir网的图形推理方法,将目标库所变迁使能的条件和后果分成四种模式,分别是:一种原因一种结果模式、一种原因多种结果模式、多种原因一种结果模式、竞争模式。以此模拟柔性制造系统的离散运行过程,解决改进型模糊Petri网的图形推理问题。（4）根据柔性制造系统故障传播的特性,采用双向特征建模,正向推理用故障征兆诊断故障,反向推理根据发生的故障反向寻找故障源。并给出正向推理与反向验证算法步骤,校正库所和变迁的置信度、阈值、权值的方法。使用柔性制造系统的刀库子系统的仿真实例加以验证,证明了这种故障诊断方法的准确性和鲁棒性。
张玉琢[3]（2020）在《列控安全计算机分区软件的形式化建模与验证方法研究》文中研究说明随着通信技术、控制技术和计算机技术在铁路领域的飞速进步和应用,列车运行控制系统（简称“列控系统”）不断向着综合化、模块化的方向发展。安全计算机作为列控系统的核心部件,承载其大部分的安全功能,是一个典型的安全苛求系统。现代安全计算机正由传统的电子机械密集型向着软件密集型逐步过渡,软件所占比例逐步上升,规模也越来越大,由此产生了模块化的概念。为了实现安全计算机的高容错能力,采用分区的方式实现不同分组的软件在时间和空间上互不影响,独立运行。由于分区软件具有并发性和共享性的特征,对系统安全性和可靠性带来了挑战。而形式化方法以形式或逻辑系统为基础,能够支持对计算机系统进行严格的建模和验证,在系统设计开发过程能够分析、处理、证明系统性质,提高和保障其可信性。论文阐述了列控安全计算机综合模块化的发展趋势、分区软件结构特性及管理机制,对列控安全计算机分区软件形式化研究作了梳理,根据安全计算机的建模需求,归纳总结了分区管理需要解决的安全性、实时性和可调度性三方面的研究重点。为了对这些指标进行定性和定量分析,本文从以下几个方面开展了研究:（1）论文针对并行程序安全性的问题,设计了基于事务内存的并发安全控制机制,利用并发分离逻辑设计了推理抽象机,并制订了推理规则。之后采用不变式证明方法对安全机制的可靠性进行推理验证,证明了该机制能保障并行程序的正确性。随后搭建了2乘2取2安全计算机平台,对并行应用操作共享内存的过程进行了安全性测试,验证了该安全控制机制可以保证并发安全地访问共享资源。（2）论文针对实时性的问题,对传统的时间Petri网进行拓展,考虑到非马尔科夫时间参数,提出了基于随机时间Petri网的建模方法,突破了列控系统Petri网模型要求时间参数为指数分布的限制。通过随机时间Petri网的定义和相关参数的引入,能够对非马尔科夫时间参数中的确定性分布、Erlang分布、超指数分布进行区分处理。为了利用随机时间Petri网模型进行实时性验证,提出了基于随机状态类的瞬态分析算法,通过随机状态树的构建和马尔科夫再生点的计算,对含有一般性分布的时间参数的模型进行瞬态分析。之后搭建了分区通信的随机时间Petri网模型,利用所提出的算法进行了实时性分析验证,对过程数据、消息数据和监督数据分别采用不同调度算法的时延进行了分析。随后利用2乘2取2安全计算机平台,结合开源实时以太网技术POWERLINK,对分区通信实时性能进行测试。（3）论文针对可调度性的问题,同样对传统的时间Petri网进行了拓展,提出了带有优先级时间Petri网的建模方法。针对时分多路复用全局调度和抢占固定优先级局部调度策略,克服了非确定性的执行时间和局部资源共享的难题,对包含有周期、偶发、抖动任务的双层调度机制进行了建模。并且提出了基于状态空间枚举的分析算法,识别从任务释放开始到任务结束的所有路径,提取最优完成时间和最差完成时间,检验任务截止时间是否满足,从而实现模型的可调度性分析。随后在2乘2取2安全计算机平台上,利用Vxworks的根任务调度实现了分区软件的调度,并对分区调度时刻信息进行了测试。最后在对全文工作和创新点总结的基础上,提出了下一步需要改进的地方和继续研究的问题。图37幅,表18个,参考文献116篇。
张威强[4]（2020）在《心血管健康管理方案知识库构建及个性化方案智能生成与量化研究》文中提出当前,中国心血管病的患病率和死亡率仍处于上升阶段,权威报告显示,全国心血管患病人数超过2.9亿,每5例死亡者中就有2例死于心血管病。因此,心血管疾病已经成为我国人民健康的头号“杀手”,防治工作刻不容缓。社会发展与众多医学实践表明:以预防保养、实时监控和个性化为主的智能健康管理,不仅是一种通行的健康解决方案,也是应对心血管疾病这一类慢性疾病的有效策略。互联网的快速发展和广泛普及为知识共享提供了机会,也为个性化健康管理的实现提供了支撑。随着互联网技术取得巨大进步,基于网络的健康管理知识也呈现爆炸式增长。然而,由于这些海量且免费的健康知识来源众多、数量庞大、准确性参差不齐,表达方式也各有不同,使得人们很难找到真正适合个体所需的高质量的健康管理知识。目前国内外有很多基于互联网的公众健康管理系统及应用,但这些系统平台发布的健康管理知识大多是定性化和通用化的,定量化和个体针对性不足,也缺乏清晰的实施操作步骤和流程,导致用户实际上无法有效利用这些知识进行自我健康管理。基于此,本文尝试构建一个基于心血管病领域的知识库模型来规范和表示领域内的健康管理方案知识。然后,基于设计的领域本体知识库模型,本文结合个体健康特征、环境特征和个体其它相关特征,进一步研究个性化健康管理方案的智能生成算法。最后,根据智能生成的定性的运动方案和饮食方案,研究个性化运动和饮食方案的定量化模型。本文还邀请了领域专家对基于患者案例生成的个性化健康管理方案进行了评价,评价结果证明了个性化方案智能生成和方案量化的有效性和科学性。本文的主要创新点如下:第一,本文总结归纳了心血管疾病领域与健康管理相关的关键概念,提出并构建了一整套基于领域本体的健康管理方案知识库模型,弥补了目前国内在这个领域的研究不足,有助于实现对多源异构的健康管理知识的过滤、抽取、逻辑化和结构化。此外,考虑到心血管病的各种致病危险因素,以往仅局限于疾病与用药的领域本体并不能很好地满足大众个性化的健康管理需求。因此,本文构建了健康管理方案本体和健康管理方案实施本体,同时补充了领域内的其他关键本体,如食材、菜谱、运动等基础本体,还包含了大量与个体健康特征相关的本体和属性。本文构建的领域本体库是一套基于心血管病领域,完全以大众个性化健康管理为目标的知识库模型,同时它也是一项基础性研究,未来可以在与健康管理相关的场景中得到广泛应用。第二,本文将模糊Petri网络应用于健康管理领域,采用矩阵运算的并行推理方法进行健康管理方案的智能生成,解决了大规模知识推理的效率问题。提出的方案推荐算法充分考虑了个体健康特征、个体所处的自然环境和社会环境特征,能挖掘用户忽视或遗漏的某些健康特征信息或其他特征信息,同时能识别和处理知识推理过程中出现的矛盾或冲突规则,保证了方案推荐结果的有效性和科学性。对于饮食方案,推荐算法在考虑了个体收入水平、饮食偏好、饮食禁忌等信息的基础上,对饮食集做了进一步筛选与排序。而且,本文还结合中国居民平衡膳食宝塔所推荐的九种饮食类别对饮食做了分类推荐,不仅强调了饮食的个性化,而且兼顾了饮食种类的多样性和平衡性。第三,没有明确运动时间的定性运动方案既不足以支撑实施个性化健康管理,也不能保证运动的有效性和科学性。本文在定性的运动方案基础上,遵循每日能量总消耗与每日膳食能量总摄入的差值最接近每日推荐能量净消耗的原则,构建出了个性化运动方案的非线性规划模型,求解该模型即得到定量化的运动时间。该运动时间也是后续饮食方案定量化的重要输入参数,从而保证了运动量化与饮食量化的紧密联系。第四,没有明确的膳食摄入量的定性饮食方案无疑将降低个性化健康管理方案的可操作性和个体的依从性,也不能确保每日膳食能量摄入的科学性。本文在定性的饮食方案的基础上,基于运动方案量化的结果,遵循饮食能量摄入与按目标BMI计算的每日能量总消耗相平衡原则,以中国居民平衡膳食宝塔的九种饮食类别的推荐摄入量作为模型约束条件,构建出了个性化饮食方案的目标规划模型。运动量化和饮食量化相互依存,模型更科学、合理。本研究基于本体理论、知识管理理论、优化理论,结合运动医学、营养学相关研究成果,提出并构建了一整套个性化健康管理方案领域知识库模型。在此基础上,设计了一套知识推理方法和算法,可以智能生成满足用户个性化需求的健康管理方案。同时,针对运动和饮食这二种最普遍的健康干预方案,实现了定性到定量化模型的转换,大大提升了健康管理方案的可操作性、有效性和准确性。
徐彪[5]（2020）在《面向调度应急处置的输配电网故障诊断关键技术研究》文中认为多年来,电力系统调度自动化及安稳控制技术取得了长足进步,但系统出现故障等扰动后,调度运行人员的在线决策在事故应急处理中的作用始终不可替代,运行人员必须及时且有效地开展调度应急处置工作,才能最大程度上保障系统安全,避免大范围停电。特别地,故障诊断作为调度应急处置最为关键的依托技术,提高其诊断的快速性、准确性和在线适应性对于提升调度应急处置水平具有重要作用。然而,在面临海量的系统运行监测信息及复杂的故障场景时,如何在短时间内准确分析故障场景及其安全水平,并制定出针对性的应急处置策略是运行人员面临的重要问题。在此背景下,有必要从调度人员的直观需求出发,研究针对性的调度应急处置支持系统及其故障诊断关键技术,通过对各类运行监测信息进行针对性的分析和处理,凝练出运行人员在应急处置过程中所迫切需要的关键信息,为其紧急情况下的调度决策提供辅助支持,提高调度应急处置工作的针对性和有效性。为此,论文围绕面向调度应急处置的输配电网故障诊断关键技术展开研究,考虑输、配电网两级调度的需求特点,研究提出电力系统调度应急处置支持系统的功能框架,并重点研究了支持系统所依托的输配电网故障诊断关键技术。继电保护是电力系统安全的第一道防线,只有保护切除故障后,应急处置才有意义,故而应急处置第一时间的故障诊断一般主要考虑保护及其相关系统动作引起的告警信息。鉴于此,论文在输电网故障诊断方面,分别对当前广泛采用的解析模型法和Petri网图形建模法进行性能改进研究,并通过两类方法相互配合印证,提高故障诊断的综合性能;在配电网故障诊断方面,首先对可兼顾时效性和容错性的常规辐射式配电网故障诊断方法开展研究,进而围绕发展中的含分布式电源的主动配电网研究提出改进方案。论文的研究内容具体体现在以下几方面。首先,从输、配电网两级调度应急处置的关注重点出发分析了调度应急处置支持系统的需求目标,并从数据接入、安全预警控制、紧急控制恢复三个方面建立了输、配电网两级调度相配合的电力系统调度应急处置支持系统功能框架,在此基础上,对支持系统所主要涉及的各项关键技术进行了归纳和分析,并特别对支持系统中的输配电网故障诊断的技术目标和总体实现方案进行了论述。输电网故障诊断的基本目标是判定真实的故障场景及其保护切除过程,是调度运行人员进行故障应急处理的重要前提和依据。针对现有基于优化求解的输电网故障诊断解析模型在考虑异常告警信息时需要扩大变量维数,求解难度大且时效性较低的问题,提出一种输电网故障诊断的分阶段解析模型及方法。模型前一阶段通过分析不同预想故障元件对目标函数的影响,并综合保护动作关联和断路器动作关联两个方面因素建立元件的故障测度指标,无需迭代即可实现可疑元件的快速筛选;模型后一阶段将保护和断路器的实际状态引入故障假说,建立综合反映保护系统动作逻辑错误和信息通信错误的诊断目标函数,并通过智能优化算法求解,可得到故障元件以及保护和断路器的实际状态。通过分阶段解析建模的改进,可以有效降低优化模型的求解维度,提高解析模型故障诊断的时效性。针对现有基于Petri网图形建模的输电网故障诊断方法主要在离线时以单个元件为单位进行独立建模,对硬件存储要求高且难以适应网络拓扑变化的不足,提出一种基于网络拓扑图形建模的输电网故障诊断模型。从电网拓扑结构出发,形成系统各元件、保护和断路器的拓扑关联矩阵,以此为图形单元构建电网故障诊断模型,并根据保护配合逻辑及出口方式,建立了远后备保护的拓扑映射规则及完整的信息融合推理流程,可以充分利用网络的拓扑信息实现诊断模型的在线自动建模,无需遍历推理即可快速判定故障元件,同时可以在故障诊断的过程中更新网络拓扑描述,因此能够适应网络拓扑变化及连锁故障的诊断。针对现有基于Petri网图形建模的故障诊断方法难以实现高效的时序推理且时序信息利用有限的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。变电站中SOE的应用可以为保护和断路器的动作标定统一的时标,充分利用时序信息有利于提高故障诊断的准确性。因此,首先为Petri网模型中库所及变迁引入时间属性以表征电力系统告警信息的时序约束关系,定义了置信概率与时序约束的关联推理运算,并从模型结构出发建立了模糊时间Petri网的分层推理算法,无需对各告警信息进行繁杂的正反向时序推理检查,能够基于Petri网的矩阵描述实现高效的时序推理过程,并同时可以充分利用时序推理的结果提高故障诊断的准确性。此外,研究了输电网故障诊断技术在支持系统中的综合应用方案,并提出了解析模型法与Petri网图形建模法的配合应用模式,可提高输电网故障诊断的综合性能。从调度运行的角度,配电网故障诊断的基本目标是定位到具体的故障区段,便于运行人员准确隔离故障,减小负荷损失和提高供电可靠性。针对现有配电网故障诊断技术难以同时兼顾容错性和时效性的问题,提出一种矩阵算法和优化算法相结合的常规辐射式配电网故障诊断方法。首先,从开关过流告警的因果关联关系出发建立了配电网的矩阵描述,并从因果追溯的角度提出一种新的故障诊断矩阵算法判据,实现过程简单且意义鲜明,能够在告警信息正常时准确定位故障区段;其次,考虑存在告警信息畸变时,根据矩阵判据结果可有效筛选出可疑区段集合,在此基础上利用网络的矩阵描述构建优化模型进行容错判断,可快速实现高容错性故障定位。通过矩阵算法与优化算法在时效性和容错性方面进行优势互补,可有效提高故障诊断性能。针对多电源并列运行主动配电网潮流双向流通,常规配电网的故障诊断方法难以适用的问题,提出一种适用于多电源并列运行主动配电网的故障诊断方法。随着可再生能源发电技术的发展,分布式电源、储能等在部分配电网中接入使得常规配电网转变为多电源并列运行主动配电网,因此,本文在常规配电网故障诊断方法的基础上,从开关过流告警的方向特性出发,为主动配电网定义了各开关电流的参考正方向,并基于因果关联特性建立了考虑方向拓展的主动配电网矩阵描述,在此基础上分别对前面所提的矩阵算法判据及容错优化模型进行建模改进,并重点分析了主动配电网多重故障的特殊性问题,可以在兼顾时效性和容错性的同时,适用于多电源并列运行主动配电网。最后,论文对主要研究工作及有特色的研究成果进行了总结,所研究的调度应急处置支持系统的部分功能模块已在我国某区域电网获得初步应用。同时,论文还讨论了下一步研究工作的展望。
魏国振[6]（2020）在《扩展概率Petri网及其在交通拥塞控制中的应用》文中研究表明交通拥塞问题在智能交通领域中越来越受到重视,如何快速排查和分析导致交通拥塞的因素,解决交通拥塞下的路径寻优问题是研究智能交通的重点内容。Petri网能够动态和直观的描述交通运输流程,但对交通拥塞中出现的随机服务过程的描述仍存在一些不足,因此本文结合排队论提出了扩展概率Petri网的概念。扩展概率Petri网能对交通拥塞问题进行很好的动态分析,又能对交通拥塞问题进行准确的描述。因此本文研究的主要内容如下:（1）针对智能交通中的交通拥塞控制问题,首先提出了扩展概率Petri网,将库所中的托肯分两类:一类称为割集库所,另一类称为普通库所。对变迁的发生赋予变迁输入确信度函数、输出确信度函数和确信度函数,并计算托肯从库所到变迁的确信度大小。（2）其次在分析导致交通拥塞因素的基础之上,用扩展概率Petri网逆向推理矩阵计算导致交通事故因素的数值。建立基于扩展概率Petri网的交通拥塞模型,提出交通拥塞情况下的路径选择策略,并对蚁群算法进行改进以解决交通拥塞情况下的路径优化问题。此外,通过改进蚁群算法,在状态转移规则下添加下一步转移蚂蚁数量。将随机搜索机制和确定搜索机制相互结合,减小了改进蚁群算法的搜索空间,解决了算法容易过早陷入局部最优和收敛速度慢的问题。（3）最后进行Matlab仿真实验,计算发生交通拥塞时路径寻优时间和精确度,并与现有的路径优化算法相对比,以验证改进蚁群算法的高效性和可行性。实验结果证明了改进蚁群算法在解决交通拥塞时的高效和快捷。在发生交通拥塞时,改进蚁群算法能够解决驾乘人员对现有路径选择的随机性问题和经验依赖性问题,为交通管理部门和驾乘人员提供路线规划和路径选择支持,有效解决了交通拥塞问题。
杨斐然[7]（2020）在《基于BP与时间约束分层模糊Petri网的有源配电网故障诊断研究》文中指出随着配网结构愈加复杂,配电网故障诊断方法的优劣对电力系统的安全稳定运行有着重要的作用。当配电网发生故障时,尤其是配电网发生复杂故障,众多的报警信息涌入调度中心,分层模糊Petri网可以较好的描述故障和保护、断路器的动作关联,并且具有简洁推理和图像化直观的表达方式,随着配电网规模扩大,大量分布式电源接入到配电网中,含有分布式电源配电网故障诊断问题受到广泛关注。首先,介绍了配电网故障诊断的概念以及国内外研究现状,阐述了含分布式电源配电网的故障诊断概念。其次通过Petri网构建有源配电网的故障诊断模型,分层模糊Petri网对配电网的拓扑结构变化具有良好的适应性,并且优化了高斯函数。根据保护和断路器的时序关系,将其应用到Petri网故障诊断模型中,使用主保护和主保护对应断路器的动作时间来获得原因事件动作起点,用时序推理关系修正库所的初始概率。算例分析验证本文分层模糊Petri网故障诊断模型的正确性。针对Petri网故障诊断过程中存在的最终库所置信度不合理的问题,利用BP神经网络和Petri网的结构相似性,通过神经网络优化Petri网的输入、输出层权值,将最终库所故障置信度进行修正,提升了故障诊断的准确性。重新构建故障诊断的推理过程,根据故障信息存在多重信号丢失的情况,优化了时序推理过程以及设定不同的故障诊断概率,使其对多重信号的丢失具有更好的适应性。通过多组算例对比,验证本文提出的故障诊断方法具有较好的准确性和多重信号丢失时的可靠性。
王译晨[8]（2020）在《面向制造单元的数字孪生体建模与管控技术研究》文中提出随着经济全球化进程的加快和国际市场竞争环境的加剧,以个性化为主要特征的市场需求要求企业生产系统具备更高的柔性,同时以新型信息通讯技术为核心的信息物理融合系统（Cyber Physical System,CPS）赋能制造资源更多的分散化增强型智能特性,实现了制造资源的解耦,降低了生产系统的刚性,而制造单元作为CPS环境下生产系统的最小粒度单元,研究其建模与管控问题对于提高CPS环境下生产系统的柔性以及支撑生产系统功能的实现具有重要的意义。数字孪生作为实现信息与物理融合的一种有效手段和新型技术,由于其所具有的仿真与虚实映射特性,不仅能够为制造单元管控系统的开发和验证提供虚拟的硬件测试环境,而且能够为生产系统的离线仿真与实时运行管控提供一种新的模式。因此,本文针对个性定制化市场需求对生产系统柔性所提出的更高要求,在结合CPS赋能生产系统更高的柔性以及其他功能与特性的基础上,以CPS环境下的离散制造单元为研究对象,以制造单元的建模与管控问题为研究切入点,基于数字孪生所特有的虚实映射与仿真等特性,围绕数字孪生驱动的制造单元建模与管控技术展开研究,主要研究内容如下:（1）在对国内外研究现状进行学习与综述的基础上,结合CPS与数字孪生的功能特性,定义基于数字孪生的制造单元内涵、特征、功能以及资源组成,并构建其管控架构,设计其运行机制,为后续的研究内容提供整体支撑。（2）依据数字孪生体的建模规范,围绕制造单元的运行与管控场景需求,在运用相关本体、混合Petri网等建模理论与方法的基础上,重点研究制造单元的资源结构与管控行为等数字孪生体单视图模型的构建方法,进而在集成制造单元几何与物理模型的基础上,提出基于数字孪生的制造单元多视图管控场景集成建模方法,并在定义多视图模型协同机制的基础上,最终完成制造单元数字孪生体模型的构建,为数字孪生体驱动的制造单元管控技术的研究提供模型支撑。（3）依据制造单元管控的不同时效性需求,结合数字孪生体的虚实同步与离线仿真特性,在设计制造单元整体管控指标体系的基础上,基于制造单元数字孪生体模型,分别从可视化实时监控与生产异常诊断两个方面的管控需求展开研究。其中,围绕可视化实时监控目标,在研究数字孪生制造单元的资源标识与采集、虚实映射与通讯等关键技术的基础上,通过构建数字孪生制造单元的可视化实时监控模型,从而支撑制造单元的实时监控需求,进而凸显数字孪生的虚实同步特性;其次,围绕异常诊断需求与管控重点,重点围绕设备管控,在构建制造单元故障树及异常诊断专家知识系统的基础上,研究基于知识推理的数字孪生制造单元生产异常诊断与反馈控制方法,凸显数字孪生的离线仿真特性。（4）结合上述研究成果,在完成开发与验证环境搭建的基础上,分别从系统运行流程设计、数字孪生体模型构建、管控场景集成开发、仿真等环节进行原型系统的开发与验证。通过上述研究,能够证明数字孪生在改变CPS环境下制造单元的管控方式、提高制造单元管控能力方面的合理性与有效性,希望本文所提出方法能够为数字孪生在制造单元的管控以及生产系统中的应用研究提供研究案例与参考依据。
高磊[9]（2020）在《电网建设项目多主体协同决策模型及应用研究》文中进行了进一步梳理随着电力体制改革逐步深化,电网建设投入在整个电力建设投入的比重逐年持续增加,电网建设管理模式、运营模式和投资比例的逐步转变也对电力工程项目管理思路和方法提出了新的要求。此外,根据电网建设项目的特点,项目建设过程中长期面临建设时序分配、资源均衡调配、风险合理规避、投资效益优化、电力稳定供应等诸多问题,需要综合考虑不同因素,电网建设则可视为多主体、多要素、多目标、多阶段的协同决策研究问题。然而,传统的电网项目建设管理模式普遍存在各利益主体自利性和信息断层情况,难以根据项目特点优选出满足多方需求的建设方案,同时,在实施过程中存在区域电网建设项目的工期、投资和资源调配不合理现状,并难以达到项目综合效益优化的目标。因此,本文开展电网建设项目多主体协同决策模型及应用的研究工作,基于电网建设项目多主体特征和协同决策目标研究,分别构建了面向电网建设项目方案优选及方案实施的协同决策模型,针对模型的特点分别引入多智能体技术、粒子群算法和非支配排序遗传算法进行求解,并通过模型应用系统提供了多主体协同决策的平台。主要研究内容如下:（1）梳理了电网建设项目多主体协同决策的研究背景及意义,开展了对国内外电网建设项目多主体协同决策模型及应用问题的研究综述,并概述了电网规划和建设基本概念、利益相关者理论、多智能体模型及方法、多目标优化模型及方法等相关概念和基础理论,为后续研究奠定了相应理论基础和研究范围。（2）研究了电网建设项目利益相关主体特征及协同决策目标。首先,运用电网建设项目流程WBS结构,分析并识别了电网建设项目8类主要利益相关主体;其次,研究各主体的利益偏好和主体的自利性、目标差异性,以此为基础引出多主体协同决策的理念,分析了电网建设项目多主体协同决策逻辑和内容;同时,运用文献综合分析法结合系统动力学的因果关系流图识别电网建设项目协同决策目标,归纳出协同决策应从不同角度合理满足电网项目的规划管理、建设条件、投资决策和建设运营这4类目标需求。该部分研究内容从协同决策目标方面为协同决策模型及应用提供了研究基础。（3）构建了基于MAS技术的方案优选协同决策模型。基于电网建设项目协同决策目标研究,将重要的目标抽象成为MAS中的Agent,构建了协同决策MAS模型的整体架构,以及其中各主要Agent的结构、功能以及通信模式;基于多Agent之间协商交互能力,利用Petri网和合同网协议描述方案优选的多Agent交互流程,并通过模糊Petri网的模糊规则对应可选择方案设置方案集,方案集由多Agent的模糊变量因素协同决策进行选择,最终,形成了基于FPN电网项目方案优选协同决策模型,进一步通过算例应用验证模型计算过程和有效性。该部分的研究内容可以结合不同区域电网项目特点,考虑多方主体需求,提供建设方案优选的决策依据和方法。（4）构建了基于多目标优化的方案实施协同决策模型。在方案优选的基础上,通过研究一定区域内电网项目规划阶段和建设阶段协同决策的目标,建立适宜的目标函数,结合目标函数和约束条件构建电网项目方案实施协同决策模型。本文一方面建立面向电网规划实施过程的协同决策模型,采用粒子群算法进行求解;另一方面,建立面向电网建设实施过程的协同决策模型,运用遗传算法进行求解;通过实例证明两阶段模型的合理性。模型和算法则纳入多智能体系统中,作为相应MAS的方法库和模型库一部分。该部分研究内容可以在工期、资金和资源约束条件下,考虑多方主体需求,提供满足建设方案实施中多目标优化的决策依据和方法。（5）构建了基于多主体需求的协同决策模型应用系统。基于两类协同决策模型研究,构建了一个基于B/S架构的电网项目协同决策模型应用系统,该系统属于信息公开的系统,确保各方主体信息畅通、数据准确和完备,具备提供各方主体交流和互动决策的多项功能,同时,协同决策支持平台能够充分结合MAS技术,并利用优化算法功能,解决电网建设协同决策过程中多元化、多层次的复杂问题。其功能包括多智能体管理、多主体方管理、方案优选管理、多目标优化管理、空间地图管理等,根据项目实际需求设计各类功能的子功能。该部分研究内容可以为电网建设项目多主体协同决策的规模化实践应用提供参考。本研究从工程项目管理视角将智能化、信息化方法应用于电网建设项目管理,为探索我国电网建设项目规划、设计、建设阶段的多主体协同决策及高效管理提供了理论依据和实践参考。
段毅刚[10]（2020）在《基于模糊Petri网的动车组塞拉门系统可靠性分析》文中提出随着我国对高速铁路的大力投入与发展,中国高铁已处于世界领先地位。同时随着高铁运营里程的不断增加,如何保证动车组安全、可靠的运营已经受到人们的高度重视。塞拉门作为乘客上下车的一种重要部件,在动车组运行过程中,往往会因为人为因素、外部环境因素以及塞拉门自身等故障,造成其无法打开或关闭,影响列车的正常运行,所以提高其可靠性对保障动车组安全运营至关重要。本文主要内容如下:首先,本文对CRH5型动车组塞拉门系统构成和工作原理进行了阐述,梳理了系统各部件所对应的故障模式。之后介绍了故障树分析法的基本概念,根据塞拉门系统故障分析情况初步构建塞拉门系统的故障树模型。其次,针对因故障数据本身存在不确定性及模糊性而导致基本事件故障概率具有不确定性的现状,本文引入三角模糊数来对其进行修正,使基本事件故障概率处于一个区间范围,更加符合故障率特性。引入模糊数学理论解决了利用模糊故障树进行可靠性分析时模糊数间的计算求解问题,使最终所得结果更加可信。最终对塞拉门系统故障树模型进行定量分析,计算得到系统各部件的重要度。再次,由于传统故障树分析法无法解决塞拉门系统中故障的发生与传播过程中的动态特性以及故障间关联多样性的特点,本文引入了模糊Petri网模型,不仅可以对其进行描述还可降低系统顶事件发生概率的求解难度。首先给出了故障树向模糊Petri网模型的转化过程,利用模糊Petri网token的转移来描述系统故障的发生与传播,并结合关联矩阵的推理方法验证了token转移过程的有效性与准确性,不仅为可靠性的分析打下了基础,还可提高系统的故障诊断效率。然后利用模糊Petri网中对变迁置信度的定义解决了故障间的关联不确定性,通过模糊Petri网正向推理算法求出系统的可信度,并得到塞拉门系统各部件的重要度。最后将模糊故障树分析法与模糊Petri网分析法求出的结果进行对比,证明了模糊Petri网分析法求得的结果更加可靠。最后,由于模糊Petri网中产生规则的参数是根据基础数据的统计分析结果与专家知识综合考虑得出的,存在一定的主观性及模糊性而导致分析结果不够精确。因此引入粒子群优化算法对模糊Petri网模型参数进行优化,不仅提高模糊Petri网的泛化能力,降低了模型参数对专家经验的依赖程度,还提高了模型参数的精度,使模型求得的结果更加精确。
二、规则Petri网的推理策略的研究（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、规则Petri网的推理策略的研究（论文提纲范文）
（1）基于模糊Petri网和MOP的高速铁路车站客运安全测评与风险控制研究（论文提纲范文）
| 致谢 |
| 摘要 |
| ABSTRACT |
| 1 绪论 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究现状 |
| 1.2.1 模糊Petri网研究现状 |
| 1.2.2 多目标最优化研究现状 |
| 1.2.3 安全风险测评研究现状 |
| 1.2.4 安全风险管控研究现状 |
| 1.3 研究内容与技术路线 |
| 1.3.1 研究内容 |
| 1.3.2 技术路线 |
| 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 高速铁路车站客运安全风险控制分析 |
| 2.3.1 高速铁路车站客运安全风险控制内涵分析 |
| 2.3.2 高速铁路车站客运安全风险控制方法分析 |
| 2.4 本章小结 |
| 3 基于模糊Petri网的高速铁路车站客运安全风险测评模型 |
| 3.1 高速铁路车站客运安全风险测评指标体系的构建 |
| 3.1.1 客运安全风险源辨识 |
| 3.1.2 评价指标体系的构建 |
| 3.1.3 评价标准及等级划分 |
| 3.2 高速铁路车站客运安全风险模糊Petri网评估模型的构建 |
| 3.2.1 指标评价等级的数值转换 |
| 3.2.2 模糊Petri网评估模型构建 |
| 3.2.3 改进的库所权重处理方法 |
| 3.3 安全风险评估模型模糊推理算法的设计 |
| 3.4 本章小结 |
| 4 基于MOP的高速铁路车站客运安全风险控制模型 |
| 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.3 风险控制方案制定方法 |
| 4.4 本章小结 |
| 5 案例分析 |
| 5.1 车站测评概况 |
| 5.1.1 车站概况 |
| 5.1.2 测评概况 |
| 5.2 高速铁路车站A的客运安全风险测评 |
| 5.2.1 测评指标评价信息 |
| 5.2.2 客运安全风险评估 |
| 5.3 高速铁路车站A的客运安全风险控制 |
| 5.3.1 大量滞留风险控制 |
| 5.3.2 拥挤踩踏风险控制 |
| 5.3.3 风险管控方案的制定 |
| 5.4 本章小结 |
| 6 结论与展望 |
| 6.1 研究结论 |
| 6.2 研究创新点 |
| 6.3 研究展望 |
| 参考文献 |
| 附录 A 模糊Petri网评估模型迭代计算结果 |
| 作者简历及攻读硕士学位期间取得的研究成果 |
| 学位论文数据集 |
（2）基于模糊Petri网的柔性制造系统故障诊断（论文提纲范文）
| 摘要 |
| abstract |
| 第1章 绪论 |
| 1.1 课题研究的目的与意义 |
| 1.2 故障诊断概述 |
| 1.2.1 故障诊断的基本概念 |
| 1.2.2 故障诊断的分类 |
| 1.3 Petri网方法及研究概况 |
| 1.3.1 Petri网的国内外研究现状 |
| 1.3.2 Petri网在FMS建模中的应用 |
| 1.3.3 Petri网在FMS故障诊断中的应用 |
| 1.3.4 Petri网在柔性制造系统稳定性建模分析中的应用 |
| 1.4 建模、故障诊断和可靠性分析之间的关系 |
| 1.5 本文的创新点 |
| 1.6 本文结构安排 |
| 第2章 Petri网理论基础 |
| 2.1 引言 |
| 2.2 Petri网定义 |
| 2.3 网系统分类 |
| 2.4 Petri网的基本性质 |
| 2.5 Petri网分析方法 |
| 2.5.1 可覆盖树分析法 |
| 2.5.2 关联矩阵分析法 |
| 2.6 小结 |
| 第3章 柔性制造系统故障诊断集成系统研究 |
| 3.1 柔性制造系统故障诊断特点 |
| 3.1.1 柔性制造系统的定义、组成与分类 |
| 3.2 FMS故障的特点 |
| 第4章 基于模糊Petri网的柔性制造系统故障产生规则及建模 |
| 4.1 机床子系统故障产生规则及模糊Petri网模型 |
| 4.2 主轴电机子系统故障产生规则及模糊Petri网模型 |
| 4.3 刀具子系统故障产生式规则及故障模糊Petri网模型 |
| 4.4 物流系统故障产生规则及故障模糊Petri网模型 |
| 第5章 模糊Petri网诊断推理算法 |
| 5.1 引言 |
| 5.2 模糊Petri网 |
| 5.2.1 模糊Petri网的知识表示 |
| 5.2.2 模糊Petri网的定义 |
| 5.3 故障诊断策略 |
| 5.3.1 诊断推理 |
| 5.3.2 在线诊断与离线诊断 |
| 5.3.3 基于模糊Petri网的诊断推理 |
| 5.4 Petri网图形推理及算法 |
| 5.4.1 故障模糊Petri网的推理规则 |
| 5.5 推理算法 |
| 5.5.1 正向推理算法 |
| 5.5.2 反向推理算法 |
| 5.6 诊断实例 |
| 第6章 结论与展望 |
| 6.1 结论 |
| 6.2 展望 |
| 参考文献 |
| 致谢 |
（3）列控安全计算机分区软件的形式化建模与验证方法研究（论文提纲范文）
| 致谢 |
| 摘要 |
| ABSTRACT |
| 术语表 |
| 1 引言 |
| 1.1 研究背景 |
| 1.2 安全计算机的综合模块化 |
| 1.2.1 安全计算机简介 |
| 1.2.2 安全计算机发展趋势 |
| 1.2.3 分区的概念及意义 |
| 1.3 形式化方法 |
| 1.3.1 形式化方法分类 |
| 1.3.2 形式化方法选择 |
| 1.4 选题意义 |
| 1.5 论文结构与写作安排 |
| 2 列控安全计算机分区软件研究综述 |
| 2.1 安全计算机分区软件 |
| 2.1.1 分区软件结构 |
| 2.1.2 分区隔离机制 |
| 2.1.3 分区软件特性 |
| 2.2 分区软件形式化研究的需求 |
| 2.2.1 形式化研究的必要性 |
| 2.2.2 分区软件的建模和验证需求 |
| 2.3 研究现状 |
| 2.3.1 形式化证明 |
| 2.3.2 时间Petri网 |
| 2.4 存在的问题 |
| 2.2.1 安全性方面 |
| 2.2.2 实时性方面 |
| 2.2.3 可调度性方面 |
| 2.5 本章小结 |
| 3 基于并发分离逻辑的分区并行程序安全性验证 |
| 3.1 并行程序安全性 |
| 3.2 基于事务内存的安全机制设计 |
| 3.3 并行程序安全机制验证 |
| 3.3.1 不变式证明 |
| 3.3.2 并发分离逻辑 |
| 3.3.3 安全性的验证方法 |
| 3.4 抽象机模型设计 |
| 3.5 推理规则的定义 |
| 3.6 可靠性证明 |
| 3.7 实验验证 |
| 3.7.1 平台搭建 |
| 3.7.2 验证结果与分析 |
| 3.8 本章小结 |
| 4 基于随机时间Petri网的分区通信实时性验证 |
| 4.1 分区通信 |
| 4.1.1 通信网络 |
| 4.1.2 通信管理机制 |
| 4.1.3 时延分析 |
| 4.1.4 数据类型 |
| 4.2 随机时间Petri网 |
| 4.2.1 随机Petri网相关概念 |
| 4.2.2 连续时间马尔科夫链的求解 |
| 4.2.3 网络性能关键参数的求解 |
| 4.2.4 随机时间Petri的定义 |
| 4.3 随机时间Petri网瞬态分析算法 |
| 4.3.1 随机状态类的定义 |
| 4.3.2 通过枚举类的状态空间分析 |
| 4.3.3 基于马尔科夫再生理论的瞬态概率的计算 |
| 4.3.4 算法实例及验证 |
| 4.4 分区通信模型建立 |
| 4.5 分区通信模型分析 |
| 4.5.1 参数选取及量化指标 |
| 4.5.2 结果分析 |
| 4.6 实验验证 |
| 4.6.1 平台搭建 |
| 4.6.2 验证结果与分析 |
| 4.7 本章小结 |
| 5 基于带有优先级时间Petri网的分区可调度性验证 |
| 5.1 实时调度 |
| 5.1.1 实时系统及相关概念 |
| 5.1.2 实时调度算法 |
| 5.2 分区调度的时域模型 |
| 5.3 带有优先级时间Petri网 |
| 5.3.1 定义 |
| 5.3.2 基于状态空间枚举的分析算法 |
| 5.4 双层调度模型建立 |
| 5.5 双层调度模型分析 |
| 5.5.1 复杂度分析 |
| 5.5.2 验证结果 |
| 5.6 实验验证 |
| 5.6.1 平台搭建 |
| 5.6.2 验证结果与分析 |
| 5.7 本章小结 |
| 6 结论 |
| 6.1 论文工作总结 |
| 6.2 未来工作展望 |
| 参考文献 |
| 图索引 |
| 表索引 |
| 作者简历及攻读博士学位期间取得的研究成果 |
| 学位论文数据集 |
（4）心血管健康管理方案知识库构建及个性化方案智能生成与量化研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 研究背景 |
| 1.2 研究目的及意义 |
| 1.3 研究内容与创新点 |
| 1.4 研究方法与技术路线图 |
| 1.5 论文的组织结构 |
| 第二章 文献综述 |
| 2.1 健康管理知识库 |
| 2.2 知识推理 |
| 2.3 个性化健康管理方案定量化 |
| 2.4 本章小结 |
| 第三章 个性化健康管理方案领域本体库构建 |
| 3.1 本体建模方法 |
| 3.1.1 本体内涵 |
| 3.1.2 建模方法 |
| 3.2 领域本体知识库模型构建 |
| 3.2.1 明确本体应用目标 |
| 3.2.2 确定核心知识源 |
| 3.2.3 归纳顶层概念 |
| 3.2.4 本体详细设计 |
| 3.2.5 本体建立与检验 |
| 3.2.6 知识库模型评估 |
| 3.3 健康管理方案的本体实例 |
| 3.4 健康管理方案实例相似度 |
| 3.4.1 属性分类 |
| 3.4.2 相似度计算 |
| 3.4.3 相似度计算实例 |
| 3.5 本章小结 |
| 第四章 心血管健康管理方案知识库系统 |
| 4.1 设计方法 |
| 4.2 核心需求 |
| 4.3 系统设计 |
| 4.3.1 系统架构设计 |
| 4.3.2 基本功能设计 |
| 4.3.3 业务流程设计 |
| 4.3.4 数据库设计 |
| 4.4 知识库系统实现 |
| 4.5 领域本体知识库模型验证与更新 |
| 4.6 本章小结 |
| 第五章 个性化健康管理方案智能生成 |
| 5.1 健康管理方案Petri网络 |
| 5.2 个性化方案智能生成 |
| 5.2.1 Step1:构建推理网络 |
| 5.2.2 Step2:设置初始状态向量 |
| 5.2.3 Step3:知识推理 |
| 5.2.4 Step4:饮食方案筛选与排序 |
| 5.2.5 Step5:健康管理方案输出 |
| 5.3 应用实例 |
| 5.4 本章小结 |
| 第六章 个性化运动和饮食方案定量化 |
| 6.1 方案量化概述 |
| 6.2 运动方案量化模型 |
| 6.3 饮食方案量化模型 |
| 6.4 方案迭代 |
| 6.5 应用实例 |
| 6.5.1 运动方案定量化实例 |
| 6.5.2 饮食方案定量化实例 |
| 6.6 方案评价 |
| 6.7 菜谱智能推荐 |
| 6.7.1 菜谱推荐概述 |
| 6.7.2 智能推荐模型 |
| 6.7.3 应用实例 |
| 6.8 本章小结 |
| 第七章 总结与展望 |
| 参考文献 |
| 附录 |
| 附录一. 常见活动代谢当量表 |
| 附录二. 中国居民平衡膳食宝塔 |
| 附录三. 健康管理方案知识库系统数据表结构 |
| 附录四. 健康管理方案知识库系统典型界面 |
| 附录五. 心血管疾病患者案例及个性化健康管理方案 |
| 附录六. 个性化健康管理方案评价表 |
| 致谢 |
| 攻读博士学位期间已发表或录用的论文 |
（5）面向调度应急处置的输配电网故障诊断关键技术研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 1 绪论 |
| 1.1 研究背景与意义 |
| 1.2 调度应急处置支持系统的发展情况 |
| 1.3 面向调度应急处置的故障诊断技术研究现状 |
| 1.3.1 输电网故障诊断的研究现状 |
| 1.3.2 配电网故障诊断的研究现状 |
| 1.4 现有研究存在的不足 |
| 1.5 论文主要工作和章节安排 |
| 2 电力系统调度应急处置支持系统的框架及关键技术 |
| 2.1 引言 |
| 2.2 电力系统调度应急处置支持系统的需求目标 |
| 2.3 电力系统调度应急处置支持系统的功能框架 |
| 2.4 调度应急处置支持系统的主要关键技术 |
| 2.5 适用于调度应急处置支持系统的故障诊断关键技术 |
| 2.6 本章小结 |
| 3 输电网故障诊断的分阶段解析模型及方法 |
| 3.1 引言 |
| 3.2 传统解析模型的局限性分析 |
| 3.3 输电网故障诊断的分阶段解析模型及方法 |
| 3.3.1 基于故障测度指标的可疑元件筛选 |
| 3.3.2 基于实际状态的拓展解析建模 |
| 3.4 基于分阶段解析的输电网故障诊断流程 |
| 3.5 算例分析 |
| 3.6 本章小结 |
| 4 基于网络拓扑图形建模的输电网故障诊断模型 |
| 4.1 引言 |
| 4.2 输电网的拓扑描述方法 |
| 4.2.1 基于图论的输电网拓扑描述 |
| 4.2.2 电力元件及保护设备的拓扑关联矩阵 |
| 4.3 基于网络拓扑图形建模的故障诊断模型 |
| 4.3.1 输电网故障诊断模型的整体架构 |
| 4.3.2 故障诊断模型的参数设置 |
| 4.4 拓扑映射转换规则及输电网故障诊断流程 |
| 4.4.1 矩阵推理运算算子定义 |
| 4.4.2 远后备保护的拓扑映射转换规则 |
| 4.4.3 故障诊断模型的推理流程 |
| 4.5 仿真验证分析 |
| 4.5.1 算例仿真 |
| 4.5.2 性能分析 |
| 4.6 本章小结 |
| 5 基于模糊时间Petri网的输电网故障诊断方法 |
| 5.1 引言 |
| 5.2 模糊时间Petri网(FTPN) |
| 5.2.1 时序约束及时序推理 |
| 5.2.2 FTPN定义 |
| 5.3 基于FTPN的输电网故障诊断模型 |
| 5.3.1 FTPN的图形化建模 |
| 5.3.2 模型参数设置 |
| 5.3.3 矩阵推理运算定义 |
| 5.3.4 FTPN模型的分层推理过程 |
| 5.3.5 告警信息的动作评价 |
| 5.4 基于FTPN的输电网故障诊断框架 |
| 5.5 算例仿真及性能分析 |
| 5.5.1 算例仿真 |
| 5.5.2 性能分析 |
| 5.6 输电网故障诊断技术在支持系统中的综合应用方案 |
| 5.6.1 模糊时间Petri网的拓扑建模方法 |
| 5.6.2 解析模型法与Petri网图形建模法的配合应用模式 |
| 5.7 本章小结 |
| 6 矩阵算法和优化算法相结合的配电网故障诊断 |
| 6.1 引言 |
| 6.2 常规配电网故障诊断的新型改进矩阵算法 |
| 6.2.1 现有矩阵算法的原理概述 |
| 6.2.2 一种新的改进矩阵算法 |
| 6.3 基于优化算法的容错判断 |
| 6.3.1 告警信息畸变对矩阵算法的影响 |
| 6.3.2 考虑告警信息容错的优化模型 |
| 6.4 常规配电网的故障诊断流程 |
| 6.5 算例分析 |
| 6.5.1 配电网算例 |
| 6.5.2 性能分析 |
| 6.6 本章小结 |
| 7 适用于多电源并列运行主动配电网的故障诊断方法 |
| 7.1 引言 |
| 7.2 多电源并列运行主动配电网故障诊断的改进矩阵算法 |
| 7.3 主动配电网故障诊断的优化建模方法 |
| 7.3.1 基于现有建模方法的信息容错优化模型 |
| 7.3.2 基于网络拆分的主动配电网故障诊断优化建模方法 |
| 7.3.3 多电源并列运行配电网的多重故障诊断测试算例 |
| 7.4 配电网故障诊断技术在支持系统中的应用方案 |
| 7.5 本章小结 |
| 8 全文总结 |
| 8.1 工作总结 |
| 8.2 工作展望 |
| 致谢 |
| 参考文献 |
| 附录 A 攻读博士学位期间所取得的科研成果 |
| 附录 B 攻读博士学位期间参与的课题 |
（6）扩展概率Petri网及其在交通拥塞控制中的应用（论文提纲范文）
| 摘要 |
| Abstract |
| 变量注释表 |
| 1 绪论 |
| 1.1 研究背景和意义 |
| 1.2 国内外研究现状 |
| 1.3 研究内容 |
| 1.4 论文组织结构 |
| 2 相关知识 |
| 2.1 Petri网 |
| 2.2 排队理论 |
| 2.3 蚁群算法 |
| 2.4 区域内交通拥塞判断 |
| 2.5 本章小结 |
| 3 扩展概率Petri网 |
| 3.1 扩展概率Petri网 |
| 3.2 扩展概率Petri网逆向推理矩阵算法 |
| 3.3 扩展概率Petri网逆向推理分析过程 |
| 3.4 本章小结 |
| 4 扩展概率Petri网与交通拥塞下的路径优化算法 |
| 4.1 影响交通拥塞的因素 |
| 4.2 扩展概率Petri网在交通拥塞中的应用 |
| 4.3 扩展概率Petri网与改进蚁群算法的路径寻优建模 |
| 4.4 基于扩展概率Petri网的交通拥塞仿真实验 |
| 4.5 本章小结 |
| 5 仿真实验与分析 |
| 5.1 扩展概率Petri网逆向推理矩阵运算对交通拥塞因素判定 |
| 5.2 算法时间对比 |
| 5.3 交通拥塞实验结果对比 |
| 5.4 性能对比 |
| 5.5 本章小结 |
| 6 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 作者简历 |
| 致谢 |
| 学位论文数据集 |
（7）基于BP与时间约束分层模糊Petri网的有源配电网故障诊断研究（论文提纲范文）
| 摘要 |
| Abstract |
| 变量注释表 |
| 1 绪论 |
| 1.1 课题的研究目的和意义 |
| 1.2 国内外研究现状 |
| 1.3 本文主要的研究内容和工作 |
| 2 含分布式电源配电网 |
| 2.1 分布式发电 |
| 2.2 分布式电源故障电流特性 |
| 2.3 分布式电源加入对传统配电网的影响 |
| 2.4 本章小结 |
| 3 BP神经网络与Petri网的基本原理 |
| 3.1 BP神经网络理论 |
| 3.2 Petri网理论 |
| 3.3 Petri网在配电网中的应用 |
| 3.4 本章小结 |
| 4 时间约束分层模糊Petri网故障诊断 |
| 4.1 时间约束 |
| 4.2 时间约束分层模糊Petri网 |
| 4.3 时间约束分层模糊Petri网的计算 |
| 4.4 本章小结 |
| 5 基于BP与时间约束分层模糊Petri网的有源配电网故障诊断 |
| 5.1 BP神经网络的模型建立 |
| 5.2 完整的推理过程 |
| 5.3 算例分析 |
| 5.4 本章小结 |
| 6 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 作者简历 |
| 致谢 |
| 学位论文数据库 |
（8）面向制造单元的数字孪生体建模与管控技术研究（论文提纲范文）
| 致谢 |
| 摘要 |
| ABSTRACT |
| 1 绪论 |
| 1.1 引言 |
| 1.2 国内外研究现状 |
| 1.2.1 单元化生产模式的产生与发展趋势 |
| 1.2.2 生产运行管控研究现状与发展趋势 |
| 1.2.3 数字孪生在生产系统中的研究与应用 |
| 1.3 研究目的与意义 |
| 1.4 课题主要来源 |
| 1.5 课题的主要研究内容及整体架构 |
| 2 基于数字孪生的制造单元及管控策略 |
| 2.1 引言 |
| 2.2 DT-MCell概述 |
| 2.2.1 DT-MCell内涵与特征 |
| 2.2.2 DT-MCell 组成与功能 |
| 2.3 DT-MCell管控策略 |
| 2.3.1 DT-MCell管控架构 |
| 2.3.2 DT-MCell运行机制 |
| 2.4 本章小结 |
| 3 制造单元数字孪生体建模方法 |
| 3.1 引言 |
| 3.2 制造单元数字孪生体建模流程 |
| 3.3 基于语义本体的DT-MCell资源结构建模 |
| 3.3.1 DT-MCell制造资源形式化表达 |
| 3.3.2 DT-MCell语义本体模型 |
| 3.3.3 DT-MCell数据本体模型 |
| 3.4 基于混合建模方法的DT-MCell管控行为建模 |
| 3.4.1 混合建模方法概述 |
| 3.4.2 混合模型定义与形式化表达 |
| 3.4.3 DT-MCell管控行为的混合建模 |
| 3.5 DT-MCell多视图管控场景集成建模方法与协同机制 |
| 3.5.1 DT-MCell多视图管控场景集成建模方法 |
| 3.5.2 DT-MCell多视图模型协同机制 |
| 3.6 本章小结 |
| 4 数字孪生体驱动的制造单元管控技术 |
| 4.1 引言 |
| 4.2 数字孪生驱动的制造单元管控指标体系设计 |
| 4.2.1 基于公理化设计的管控指标体系设计 |
| 4.2.2 DT-MCell管控数据模型 |
| 4.3 基于虚实同步技术的可视化实时监控 |
| 4.3.1 DT-MCell物理资源标识和采集技术 |
| 4.3.2 DT-MCell虚实映射和通讯技术 |
| 4.3.3 DT-MCell可视化实时监控模型 |
| 4.4 基于知识推理的DT-MCell生产异常诊断方法 |
| 4.4.1 DT-MCell生产异常分析及其故障树构建 |
| 4.4.2 DT-MCell生产异常专家知识系统构建 |
| 4.4.3 基于推理机的生产异常诊断及反馈控制方法 |
| 4.5 本章小结 |
| 5 DT-MCell原型系统开发与验证 |
| 5.1 引言 |
| 5.2 开发与验证环境概述 |
| 5.2.1 开发与验证环境搭建 |
| 5.2.2 硬件架构设计 |
| 5.3 原型系统开发与验证 |
| 5.3.1 系统运行流程设计 |
| 5.3.2 孪生体模型构建 |
| 5.3.3 管控系统集成开发 |
| 5.3.4 仿真与验证 |
| 5.4 本章小结 |
| 6 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 作者简历及攻读硕士学位期间取得的研究成果 |
| 学位论文数据集 |
（9）电网建设项目多主体协同决策模型及应用研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 研究背景和意义 |
| 1.1.1 研究背景 |
| 1.1.2 研究意义 |
| 1.2 国内外研究现状及分析 |
| 1.2.1 电网建设多主体协同决策影响因素研究 |
| 1.2.2 多智能体系统应用及协同决策的模拟 |
| 1.2.3 电网项目决策常用的优化模型和算法 |
| 1.2.4 协同决策支持平台系统应用研究 |
| 1.2.5 相关文献研究述评 |
| 1.3 研究内容、研究思路和研究创新点 |
| 1.3.1 主要研究内容 |
| 1.3.2 研究思路和技术路线 |
| 1.3.3 研究的主要创新点 |
| 第2章 相关概念和理论基础 |
| 2.1 电网项目规划与建设管理概述 |
| 2.1.1 电网规划概念和电网类型划分 |
| 2.1.2 电网项目规划与建设管理的重点内容 |
| 2.1.3 电网规划与建设管理信息化、智能化发展优势 |
| 2.2 利益相关者理论 |
| 2.2.1 利益相关者内涵 |
| 2.2.2 利益相关者识别方法 |
| 2.2.3 利益相关者理论的应用 |
| 2.3 多智能体系统(Multi-Agent System)相关理论 |
| 2.3.1 智能体(Agent)概念及分类 |
| 2.3.2 多智能体系统(MAS)概念及特征 |
| 2.3.3 Agent之间交互行为构成与协作模式 |
| 2.3.4 MAS交互行为的描述方法 |
| 2.4 多目标优化相关理论 |
| 2.4.1 多目标优化理论和解集特征 |
| 2.4.2 多目标优化智能算法 |
| 2.5 本章小结 |
| 第3章 电网项目多主体特征与协同决策目标研究 |
| 3.1 电网项目建设流程分析 |
| 3.2 电网建设项目利益相关主体识别与特征分析 |
| 3.2.1 利益相关主体界定因素 |
| 3.2.2 利益相关主体的识别 |
| 3.2.3 利益相关主体的特征和利益偏好 |
| 3.3 电网项目多主体决策面临的典型问题 |
| 3.3.1 电网建设项目多主体动态变化特征 |
| 3.3.2 电网建设项目多主体协同程度较差 |
| 3.4 电网项目多主体协同决策目标研究 |
| 3.4.1 多主体协同决策逻辑和内容分析 |
| 3.4.2 多主体协同决策目标研究 |
| 3.5 本章小结 |
| 第4章 基于MAS技术的方案优选协同决策模型 |
| 4.1 电网项目方案优选协同决策的MAS应用基础 |
| 4.1.1 MAS技术应用的基本逻辑分析 |
| 4.1.2 MAS模型基本架构及模块分类 |
| 4.1.3 系统功能型Agent结构及功能设计 |
| 4.1.4 业务功能型Agent结构及功能设计 |
| 4.1.5 Agent之间通信设计 |
| 4.2 基于MAS技术的电网项目方案优选流程 |
| 4.2.1 Agent之间交互行为分析 |
| 4.2.2 MAS的协同决策交互过程 |
| 4.2.3 基于MAS技术的方案优选流程分析 |
| 4.3 电网项目方案优选的协同决策模型及应用 |
| 4.3.1 模糊Petri网基本原理 |
| 4.3.2 电网建设项目协同决策的策略集分析 |
| 4.3.3 基于FPN的电网项目方案优选协同决策模型 |
| 4.3.4 算例分析 |
| 4.4 本章小结 |
| 第5章 基于多目标优化的方案实施协同决策模型 |
| 5.1 电网项目规划和建设实施阶段的目标侧重点 |
| 5.2 电网项目方案实施协同决策的目标函数构建 |
| 5.2.1 建设周期目标函数 |
| 5.2.2 建设选址目标函数 |
| 5.2.3 投资决策目标函数 |
| 5.2.4 资源调配目标函数 |
| 5.3 基于多目标优化的协同决策算法模型 |
| 5.3.1 多目标优化函数 |
| 5.3.2 约束条件 |
| 5.4 面向电网规划的MOPSO模型及应用 |
| 5.4.1 模型的基本假设 |
| 5.4.2 MOPSO模型求解流程 |
| 5.4.3 算例分析 |
| 5.5 面向电网建设的NSGA-Ⅱ模型及应用 |
| 5.5.1 模型的基本假设 |
| 5.5.2 NSGA-Ⅱ模型求解流程 |
| 5.5.3 算例分析 |
| 5.6 本章小结 |
| 第6章 面向多主体协同决策模型的应用系统构建 |
| 6.1 应用系统构建的意义及原则 |
| 6.2 多主体需求分析 |
| 6.2.1 用户主体类型划分 |
| 6.2.2 用户主体需求分析 |
| 6.3 系统开发和结构设计 |
| 6.3.1 系统开发技术 |
| 6.3.2 系统结构设计 |
| 6.4 协同决策应用系统功能 |
| 6.4.1 系统功能树分析 |
| 6.4.2 系统功能应用研究 |
| 6.4.3 功能应用效果分析 |
| 6.5 本章小结 |
| 第7章 研究成果与结论 |
| 参考文献 |
| 附录 |
| 攻读博士学位期间发表的论文及其他成果 |
| 攻读博士学位期间参加的科研工作 |
| 致谢 |
| 作者简介 |
（10）基于模糊Petri网的动车组塞拉门系统可靠性分析（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 课题的背景及研究意义 |
| 1.2 课题国内外研究现状 |
| 1.2.1 可靠性分析方法研究现状 |
| 1.2.2 塞拉门系统发展及可靠性研究现状 |
| 1.3 目前存在的主要问题及解决思路 |
| 1.4 本文研究内容及安排 |
| 2 塞拉门系统及故障树分析方法 |
| 2.1 塞拉门系统简介 |
| 2.1.1 塞拉门系统构成 |
| 2.1.2 塞拉门工作原理 |
| 2.2 塞拉门系统故障分析 |
| 2.2.1 故障概况 |
| 2.2.2 故障分析 |
| 2.3 故障树分析方法概述 |
| 2.3.1 故障树常用术语及符号 |
| 2.3.2 故障分析的步骤 |
| 2.4 故障树的定性分析与定量分析 |
| 2.4.1 定性分析 |
| 2.4.2 定量分析 |
| 2.5 塞拉门系统故障树模型的建立 |
| 2.6 本章小结 |
| 3 基于模糊故障树的塞拉门系统可靠性分析 |
| 3.1 故障分析中的模糊性 |
| 3.2 模糊数学基本知识 |
| 3.2.1 模糊集合和隶属度函数 |
| 3.2.2 扩展原理 |
| 3.2.3 凸模糊集与λ截集 |
| 3.2.4 L-R模糊数 |
| 3.3 模糊故障树分析 |
| 3.3.1 模糊算子的确定 |
| 3.3.2 模糊重要度 |
| 3.4 算例分析 |
| 3.5 本章小结 |
| 4 基于模糊Petri网的塞拉门系统故障动态传播过程研究及可靠性分析 |
| 4.1 模糊Petri网理论 |
| 4.1.1 Petri网基本原理 |
| 4.1.2 模糊Petri网基本原理 |
| 4.2 模糊Petri网建模 |
| 4.2.1 基于模糊产生式规则的模糊Petri建模 |
| 4.2.2 基于模糊故障树的模糊Petri网建模 |
| 4.2.3 塞拉门系统模糊Petri网模型的建立 |
| 4.3 模糊Petri网的推理算法研究 |
| 4.3.1 逆向推理算法 |
| 4.3.2 正向推理算法 |
| 4.4 故障动态传播过程研究 |
| 4.4.1 模糊Petri网库所标记与转移使能算法 |
| 4.4.2 模糊Petri网故障动态传播过程 |
| 4.4.3 算例分析 |
| 4.5 塞拉门系统可靠性分析 |
| 4.5.1 塞拉门系统模糊产生式规则的建立 |
| 4.5.2 算例分析 |
| 4.6 本章小结 |
| 5 基于粒子群算法的塞拉门系统模糊Petri网模型参数优化 |
| 5.1 粒子群优化算法基本理论 |
| 5.1.1 粒子群算法的基本原理 |
| 5.1.2 粒子群算法的迭代流程 |
| 5.2 模糊Petri网模型推理函数的建立 |
| 5.2.1 变迁使能连续函数的建立 |
| 5.2.2 最大运算连续函数的建立 |
| 5.3 粒子群优化模糊Petri网模型参数的基本方法 |
| 5.3.1 建立粒子群参数映射 |
| 5.3.2 构建算法中粒子适应值函数 |
| 5.3.3 模糊Petri网参数优化的基本流程 |
| 5.4 塞拉门系统模糊Petri网模型参数优化 |
| 5.4.1 构造参数优化群体 |
| 5.4.2 系统模糊Petri网模型学习训练 |
| 5.4.3 仿真结果与分析 |
| 5.4.4 参数优化对比 |
| 5.5 本章小结 |
| 6 结论与展望 |
| 6.1 结论 |
| 6.2 展望 |
| 致谢 |
| 参考文献 |
| 攻读学位期间的研究成果 |
四、规则Petri网的推理策略的研究（论文参考文献）
- [1]基于模糊Petri网和MOP的高速铁路车站客运安全测评与风险控制研究[D]. 李泽龙. 北京交通大学, 2021(02)
- [2]基于模糊Petri网的柔性制造系统故障诊断[D]. 陈哲意. 上海应用技术大学, 2021
- [3]列控安全计算机分区软件的形式化建模与验证方法研究[D]. 张玉琢. 北京交通大学, 2020(02)
- [4]心血管健康管理方案知识库构建及个性化方案智能生成与量化研究[D]. 张威强. 上海交通大学, 2020(01)
- [5]面向调度应急处置的输配电网故障诊断关键技术研究[D]. 徐彪. 华中科技大学, 2020(01)
- [6]扩展概率Petri网及其在交通拥塞控制中的应用[D]. 魏国振. 山东科技大学, 2020(06)
- [7]基于BP与时间约束分层模糊Petri网的有源配电网故障诊断研究[D]. 杨斐然. 山东科技大学, 2020(06)
- [8]面向制造单元的数字孪生体建模与管控技术研究[D]. 王译晨. 北京交通大学, 2020(03)
- [9]电网建设项目多主体协同决策模型及应用研究[D]. 高磊. 华北电力大学(北京), 2020(06)
- [10]基于模糊Petri网的动车组塞拉门系统可靠性分析[D]. 段毅刚. 兰州交通大学, 2020(01)