电网监控中PetriNets主动数据库的应用研究

从电网监控系统的运作原理及效能出发,对PetriNets主动数据库在电网监控中的应用进行了分析,并探讨了提高电网监控运作效能的有效策略,希望能为我国电网监控管理实践工作的有序开展带来启示。

Petri Nets算法在电力系统恢复中的应用

通过对电力系统恢复的不同恢复策略、方法和恢复阶段的研究,发现恢复过程中存在一系列的“普遍恢复动作”,而将这一系列的普遍恢复动作组织起来即可形成恢复方案。提出应用PetriNets算法组织电力系统恢复过程中的普遍恢复动作。PetriNets算法对系统恢复时各电力元件状态和恢复操作进行建模,可以在时域上直接仿真系统恢复的全过程。该算法考虑了不同恢复阶段的目标、每个操作措施的估计时间和操作员的经验,具有灵活的冲突处理机制和并行处理特性,形成的恢复方案准确而直观。对给定的一个电网算例进行了仿真计算。

基于PetriNet的工业互联网安全模型构建方法研究

工业互联网正在成为智能电网、发电厂、医疗器械、工业机器人等智能制造基础设施和系统的支柱。网络组件与物理系统的交织提高资源利用率和系统可靠性。但是,它通过增加攻击面使工业互联网非常容易受到多种网络威胁的攻击。在关系国计民生的重大关键基础设施的网络系统中,核心关注点是安全保障能力。安全分析中的任何错误或未知情况都可能造成工业互联网系统中极大的威胁和损失,从而影响关键基础设施甚至造成人员伤亡。因此,关键基础设施建设前期的网络安全建模是否可靠是一个突出的问题,需要一种系统的方法来对安全设计进行建模分析,并对其替代设计进行性能评估。深入的安全分析涉及一组标准评估指标的确定。因此,本文提出了一种基于随机PetriNet网格模型的工业互联网系统的安全建模方法,定性和定量地研究和分析工业互联网系统在关键基础设施领域应用的安全性。

基于Petri Nets优化集成共沸精馏系统方法的应用

基于Petri Nets结构逻辑关系提出共沸精馏系统最优路径集成方法。首先,根据Petri Nets概念拓扑操作单元模块,即精馏、分相与混合模块;然后,建立共沸精馏系统可行操作路径超级结构,从而形成Petri Nets关联矩阵并构造状态方程,考虑最小操作数建立目标函数,进而通过求解0-1整数线性规划,得到分离共沸物最优操作路径;最终,通过实例计算结果与文献的对比,阐述了方法具有超级结构完备,数学模型精确,求解算法高效的优势。

网络脆弱性建模方法研究

在计算机安全领域,特别是网络安全领域,对网络系统脆弱性进行建模十分重要,其最终目的就是指导安全管理员仿真攻击场景、分析网络脆弱性之间的关联关系以及建立防御机制。阐述了网络脆弱性的概念及其建模方法发展历程,介绍了攻击树、攻击图、渗透图、特权提升图、Petrinet、状态图、需求/产出模型等几种典型的脆弱性建模方法,最后总结了今后的发展方向。

数控机床可靠性智能网络系统控制模型及自动生成研究

针对数控机床可靠性智能网络系统研究中系统更新和维护困难的现状,引入了系统模型化工具Petri net,在分析智能网络系统本身、可靠性数据库和操作者三者之间的并行、离散行为的基础上,建立了系统控制模型,并实现了程序代码的自动生成。同时,结合XML实现了可靠性异质数据库之间的共享集成。试验平台上进行的模拟试验验证了该方法的可行性。

基于Retri网的市场需求预测模型研究

市场需求预测问题具有多因素、离散、动态和并发等特点，尤其是并发性始终影响预测结果的稳定性和精度。本文利用Ｐｅｔｒｉ网良好的离散事件动态表达和计算能力以及图形表示的直观性，建立市场需求预测问题的Ｐｅｔｒｉ网模型，并对模型的动态。

高速飞行器Petri net异常事件诊断系统设计

高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时,对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别导致状态异常的事件类型,并针对性调用相应的处理策略,提出了一种基于决策网络进行飞行器异常事件诊断的系统。基于Petri net方法构建的飞行器异常事件诊断系统,通过分析差异事件对飞行器状态的影响规律,以各状态量传感器读数为输入,发生的事件类型为输出,可以使飞行器自主利用Petri net的矩阵推理运算能力快速在线定位出引起状态异常的事件类型,为后续采取的控制行为提供依据。最后以某RLV再入段为例,对其注入各种类型故障后,应用C++软件对事件诊断系统正确性进行仿真验证,结果证明建立的诊断系统能够正确的诊断和区分不同类型事件。

基于Petri网的协同设计过程模型

协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作流引擎。

基于着色Petri Net的金属矿山环境评价信息化技术

用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析、处理等。以《金山店铁矿环境影响评价报告书》为例,根据传统环境评价工程分析方法的特点,构建了与其同构的着色Petri Net模型,并运用CPNtools完成了环境评价工程分析的各种论证,从而为建立C4ISRE奠定了基础。

并行自动测试系统分层建模及性能评估方法研究

对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。

基于Petri网的船舶建造工艺工作流建模技术研究

提要通过对造船工艺设计流程的分析,基于PetriNet理论建立了工艺工作流模型,能够对工艺设计过程进行动态描述,并通过实例演示了模型正确性检验的过程。

多重入晶圆制造厂整合式生产控制系统建模

将生产计划与生产调度整合,提出整合式晶圆生产控制系统,以应对生产过程中的异常情况,提高晶圆厂的生产绩效。利用两大建模工具IDEF0和Petri Net的各自优点,对整合式生产控制系统建模。

基于Petri Net软件体系结构模型的描述

软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。

制造企业ERP工程实施中的并发事件表述方法

针对ERP系统中出现的并发事件 ,提出了利用Petrinet理论化解事件冲突的方法 。

基于PetriNet的钢胚磷化PLC控制系统建模及程序设计

采用将分层PetriNet和T组合PetriNet相结合的方法,构建了钢坯磷化PLC控制系统的PetriNet模型,并采用T组合PetriNet的方法对系统性能进行了分析.结果表明:3个子PetriNet具有相同的结构性质,只要分析其中一个子PetriNet模型,就可以推导出整个系统的性能,大大简化了系统性能分析的工作量.最后给出了系统的主要控制逻辑方程.

面向作战任务的舰载指挥控制系统结构优化匹配分析

对舰载指挥控制C2系统结构进行优化匹配分析,是正确合理使用C2系统的前提和依据。本文利用随机Petri网(SPN)建模工具,得到舰载C2系统的可行结构空间;以C2系统及时性和处理能力为匹配测度,得到面向作战任务的舰载C2系统结构优化匹配模型;结合实际情况给出实例应用,得到某型舰载C2系统的最优匹配结构。提出的方法操作简单,通用性强,为舰载C2系统匹配分析提供一种新的思路和方法。

Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用

随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 。

双层变迁定时Petri Net抽象化

该文对双层变迁定时Petri Net进行了抽象化。抽象化的双层变迁定时Petri Net可用于嵌入式系统设计过程的中间态模拟。

基于自组织Petri Net的间歇过程换热网络优化设计

根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织PetriNet模型中,引入时间库所表示间歇过程时间,使其适合于优化设计间歇过程换热网络,拓展了PetriNet对时间的表示形式,有利于对系统可达性进行研究。另外,根据垂直匹配原则,对换热网络夹点匹配的分流问题进行了研究,建立了综合考虑夹点规则的数学公式,有利于快速准确地进行夹点处流股的分流匹配。通过实例计算说明了提出方法的可行性和有效性。