期刊文献+
共找到30篇文章
< 1 2 >
每页显示 20 50 100
电网监控中PetriNets主动数据库的应用研究 被引量:1
1
作者 刘红 《机电信息》 2014年第33期91-92,共2页
从电网监控系统的运作原理及效能出发,对PetriNets主动数据库在电网监控中的应用进行了分析,并探讨了提高电网监控运作效能的有效策略,希望能为我国电网监控管理实践工作的有序开展带来启示。
关键词 电网监控 petrinets主动数据库 应用
在线阅读 下载PDF
Petri Nets算法在电力系统恢复中的应用 被引量:17
2
作者 程云志 房鑫炎 《电力自动化设备》 EI CSCD 北大核心 2003年第5期12-15,共4页
通过对电力系统恢复的不同恢复策略、方法和恢复阶段的研究,发现恢复过程中存在一系列的“普遍恢复动作”,而将这一系列的普遍恢复动作组织起来即可形成恢复方案。提出应用PetriNets算法组织电力系统恢复过程中的普遍恢复动作。PetriNet... 通过对电力系统恢复的不同恢复策略、方法和恢复阶段的研究,发现恢复过程中存在一系列的“普遍恢复动作”,而将这一系列的普遍恢复动作组织起来即可形成恢复方案。提出应用PetriNets算法组织电力系统恢复过程中的普遍恢复动作。PetriNets算法对系统恢复时各电力元件状态和恢复操作进行建模,可以在时域上直接仿真系统恢复的全过程。该算法考虑了不同恢复阶段的目标、每个操作措施的估计时间和操作员的经验,具有灵活的冲突处理机制和并行处理特性,形成的恢复方案准确而直观。对给定的一个电网算例进行了仿真计算。 展开更多
关键词 电力系统 petrinets算法 电网 系统故障 系统恢复
在线阅读 下载PDF
基于Petri Nets优化集成共沸精馏系统方法的应用 被引量:2
3
作者 金山 滕林政 +2 位作者 董宏光 肖武 郭新闻 《高校化学工程学报》 EI CAS CSCD 北大核心 2011年第1期129-135,共7页
基于Petri Nets结构逻辑关系提出共沸精馏系统最优路径集成方法。首先,根据Petri Nets概念拓扑操作单元模块,即精馏、分相与混合模块;然后,建立共沸精馏系统可行操作路径超级结构,从而形成Petri Nets关联矩阵并构造状态方程,考虑最小操... 基于Petri Nets结构逻辑关系提出共沸精馏系统最优路径集成方法。首先,根据Petri Nets概念拓扑操作单元模块,即精馏、分相与混合模块;然后,建立共沸精馏系统可行操作路径超级结构,从而形成Petri Nets关联矩阵并构造状态方程,考虑最小操作数建立目标函数,进而通过求解0-1整数线性规划,得到分离共沸物最优操作路径;最终,通过实例计算结果与文献的对比,阐述了方法具有超级结构完备,数学模型精确,求解算法高效的优势。 展开更多
关键词 petrinets 共沸精馏 操作路径 整数规划 优化综合
在线阅读 下载PDF
网络脆弱性建模方法研究 被引量:4
4
作者 毛捍东 陈锋 张维明 《计算机工程与应用》 CSCD 北大核心 2007年第15期1-5,14,共6页
在计算机安全领域,特别是网络安全领域,对网络系统脆弱性进行建模十分重要,其最终目的就是指导安全管理员仿真攻击场景、分析网络脆弱性之间的关联关系以及建立防御机制。阐述了网络脆弱性的概念及其建模方法发展历程,介绍了攻击树、攻... 在计算机安全领域,特别是网络安全领域,对网络系统脆弱性进行建模十分重要,其最终目的就是指导安全管理员仿真攻击场景、分析网络脆弱性之间的关联关系以及建立防御机制。阐述了网络脆弱性的概念及其建模方法发展历程,介绍了攻击树、攻击图、渗透图、特权提升图、Petrinet、状态图、需求/产出模型等几种典型的脆弱性建模方法,最后总结了今后的发展方向。 展开更多
关键词 脆弱性建模 攻击树 攻击图 渗透图 PETRINET
在线阅读 下载PDF
数控机床可靠性智能网络系统控制模型及自动生成研究 被引量:3
5
作者 刘学军 贾亚洲 张日明 《机械工程学报》 EI CAS CSCD 北大核心 2003年第9期114-117,共4页
针对数控机床可靠性智能网络系统研究中系统更新和维护困难的现状,引入了系统模型化工具Petri net,在分析智能网络系统本身、可靠性数据库和操作者三者之间的并行、离散行为的基础上,建立了系统控制模型,并实现了程序代码的自动生成。同... 针对数控机床可靠性智能网络系统研究中系统更新和维护困难的现状,引入了系统模型化工具Petri net,在分析智能网络系统本身、可靠性数据库和操作者三者之间的并行、离散行为的基础上,建立了系统控制模型,并实现了程序代码的自动生成。同时,结合XML实现了可靠性异质数据库之间的共享集成。试验平台上进行的模拟试验验证了该方法的可行性。 展开更多
关键词 数控机床 可靠性 智能网络系统 控制模型 PETRINET B/S MATLAB XML
在线阅读 下载PDF
基于Retri网的市场需求预测模型研究 被引量:4
6
作者 吕丽民 洪莉 陈火旺 《计算机工程与科学》 CSCD 1997年第1期58-62,共5页
市场需求预测问题具有多因素、离散、动态和并发等特点,尤其是并发性始终影响预测结果的稳定性和精度。本文利用Petri网良好的离散事件动态表达和计算能力以及图形表示的直观性,建立市场需求预测问题的Petri网模型,并对模... 市场需求预测问题具有多因素、离散、动态和并发等特点,尤其是并发性始终影响预测结果的稳定性和精度。本文利用Petri网良好的离散事件动态表达和计算能力以及图形表示的直观性,建立市场需求预测问题的Petri网模型,并对模型的动态。 展开更多
关键词 并发 PETRINET 市场需求预测 企业
在线阅读 下载PDF
高速飞行器Petri net异常事件诊断系统设计 被引量:2
7
作者 呼卫军 王欢 周军 《西北工业大学学报》 EI CAS CSCD 北大核心 2017年第4期553-560,共8页
高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时,对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别导致状态异常的事件类型,并针对性调用相应的处理策略,提出了一种基于决策网络进行飞行器异常事件诊断... 高速飞行器在遇到外部大气扰动和伺服故障事件导致状态失稳时,对于不同的故障事件采用不同的控制策略。为了使飞行器能够自主的辨别导致状态异常的事件类型,并针对性调用相应的处理策略,提出了一种基于决策网络进行飞行器异常事件诊断的系统。基于Petri net方法构建的飞行器异常事件诊断系统,通过分析差异事件对飞行器状态的影响规律,以各状态量传感器读数为输入,发生的事件类型为输出,可以使飞行器自主利用Petri net的矩阵推理运算能力快速在线定位出引起状态异常的事件类型,为后续采取的控制行为提供依据。最后以某RLV再入段为例,对其注入各种类型故障后,应用C++软件对事件诊断系统正确性进行仿真验证,结果证明建立的诊断系统能够正确的诊断和区分不同类型事件。 展开更多
关键词 PETRINET 大气扰动 伺服故障 矩阵推理 在线定位
在线阅读 下载PDF
Modeling of reliability and performance assessment of a dissimilar redundancy actuation system with failure monitoring 被引量:12
8
作者 Wang Shaoping Cui Xiaoyu +2 位作者 Shi Jian Mileta M.Tomovic Jiao Zongxia 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2016年第3期799-813,共15页
Actuation system is a vital system in an aircraft, providing the force necessary to move flight control surfaces. The system has a significant influence on the overall aircraft performance and its safety. In order to ... Actuation system is a vital system in an aircraft, providing the force necessary to move flight control surfaces. The system has a significant influence on the overall aircraft performance and its safety. In order to further increase already high reliability and safety, Airbus has imple- mented a dissimilar redundancy actuation system (DRAS) in its aircraft. The DRAS consists of a hydraulic actuation system (HAS) and an electro-hydrostatic actuation system (EHAS), in which the HAS utilizes a hydraulic source (HS) to move the control surface and the EHAS utilizes an elec- trical supply (ES) to provide the motion force. This paper focuses on the performance degradation processes and fault monitoring strategies of the DRAS, establishes its reliability model based on the generalized stochastic Petri nets (GSPN), and carries out a reliability assessment considering the fault monitoring coverage rate and the false alarm rate. The results indicate that the proposed reli- ability model of the DRAS, considering the fault and redundancy degradation process and identify monitoring, can express its fault logical relation potential safety hazards. 展开更多
关键词 Dissimilar redundancy actu-ation system Electro-hydraulic actuationsystem Fault monitoring Generalized stochastic petrinets Performance degradation
原文传递
基于Petri网的协同设计过程模型
9
作者 何宇 黄舒志 +1 位作者 刘淼 黄雨 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期11-15,共5页
协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化... 协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作流引擎。 展开更多
关键词 协同设计过程模型 petrinets 工作流 形式化模型
原文传递
基于着色Petri Net的金属矿山环境评价信息化技术 被引量:1
10
作者 马云峰 韩天放 +2 位作者 李琳琳 胡筱敏 朱彤 《金属矿山》 CAS 北大核心 2010年第11期125-129,共5页
用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析... 用C4ISR的理论改造环境影响评价技术,建立环境评价自动化系统C4ISRE是解决现今环境评价领域诸多问题的有效方法。建立C4ISRE的首要问题是将传统的环境评价报告形式转换为Petri网的形式,进而实现计算机对环境评价报告的自动化构建、分析、处理等。以《金山店铁矿环境影响评价报告书》为例,根据传统环境评价工程分析方法的特点,构建了与其同构的着色Petri Net模型,并运用CPNtools完成了环境评价工程分析的各种论证,从而为建立C4ISRE奠定了基础。 展开更多
关键词 环境评价 环境评价信息化 环境评价自动化系统 着色PetriNet CPNtools C4ISR C4ISRE
在线阅读 下载PDF
并行自动测试系统分层建模及性能评估方法研究 被引量:1
11
作者 马敏 夏侯士戟 黄建国 《系统仿真学报》 CAS CSCD 北大核心 2010年第12期2779-2783,2787,共6页
对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应... 对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。 展开更多
关键词 并行自动测试系统 PETRINET UML 分层化建模
原文传递
基于Petri网的船舶建造工艺工作流建模技术研究 被引量:3
12
作者 钟宇光 孔凡凯 薛开 《造船技术》 北大核心 2005年第4期13-15,47,共3页
提要通过对造船工艺设计流程的分析,基于PetriNet理论建立了工艺工作流模型,能够对工艺设计过程进行动态描述,并通过实例演示了模型正确性检验的过程。
关键词 造船工艺 生产过程控制 设计 数学模型 船舶建造工艺 工作流模型 PETRI网 建模技术 PETRINET 工艺设计过程
在线阅读 下载PDF
多重入晶圆制造厂整合式生产控制系统建模 被引量:1
13
作者 郭永辉 冯媛 钱省三 《工业工程》 2007年第5期74-77,共4页
将生产计划与生产调度整合,提出整合式晶圆生产控制系统,以应对生产过程中的异常情况,提高晶圆厂的生产绩效。利用两大建模工具IDEF0和Petri Net的各自优点,对整合式生产控制系统建模。
关键词 晶圆制造厂 整合式生产控制 IDEF0建模工具 PetriNet建模工具
在线阅读 下载PDF
基于Petri Net软件体系结构模型的描述 被引量:1
14
作者 周国强 陈春玲 《计算机工程与应用》 CSCD 北大核心 2002年第24期114-117,共4页
软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的... 软件体系结构是软件工程中一个新兴的研究热点,但是没有一个比较通用的描述规范。因此体系结构的完整性、一致性和正确性等都无法保证。该文提出的一个PetriNet的扩展理论,给出了抽象库所和抽象变迁的概念,为构件的信息隐藏、控制流的抽象提供了可能;同时对重用有特别意义的继承机制在PN中的表示进行了比较详细介绍,吸取了PN强大而完整的描述能力,严谨的验证体系。为软件体系结构描述的正确性提供了一个比较简单,但是完整的基于Net的描述方法。 展开更多
关键词 软件体系结构 抽象库所 抽象变迁 软件工程 PETRINET
在线阅读 下载PDF
制造企业ERP工程实施中的并发事件表述方法 被引量:1
15
作者 刘莉莉 傅铅生 《航空制造技术》 北大核心 2003年第1期40-42,共3页
针对ERP系统中出现的并发事件 ,提出了利用Petrinet理论化解事件冲突的方法 。
关键词 制造企业 并发事件 企业资源计划 PETRINET
在线阅读 下载PDF
基于PetriNet的钢胚磷化PLC控制系统建模及程序设计 被引量:1
16
作者 王永华 高宏伟 《郑州轻工业学院学报(自然科学版)》 CAS 2005年第1期6-9,共4页
采用将分层PetriNet和T组合PetriNet相结合的方法,构建了钢坯磷化PLC控制系统的PetriNet模型,并采用T组合PetriNet的方法对系统性能进行了分析.结果表明:3个子PetriNet具有相同的结构性质,只要分析其中一个子PetriNet模型,就可以推导出... 采用将分层PetriNet和T组合PetriNet相结合的方法,构建了钢坯磷化PLC控制系统的PetriNet模型,并采用T组合PetriNet的方法对系统性能进行了分析.结果表明:3个子PetriNet具有相同的结构性质,只要分析其中一个子PetriNet模型,就可以推导出整个系统的性能,大大简化了系统性能分析的工作量.最后给出了系统的主要控制逻辑方程. 展开更多
关键词 PETRINET PLC 程序设计 钢胚磷化
在线阅读 下载PDF
面向作战任务的舰载指挥控制系统结构优化匹配分析 被引量:1
17
作者 徐佳 夏惠诚 +1 位作者 吴媛媛 徐亚光 《舰船科学技术》 2010年第10期34-37,共4页
对舰载指挥控制C2系统结构进行优化匹配分析,是正确合理使用C2系统的前提和依据。本文利用随机Petri网(SPN)建模工具,得到舰载C2系统的可行结构空间;以C2系统及时性和处理能力为匹配测度,得到面向作战任务的舰载C2系统结构优化匹配模型... 对舰载指挥控制C2系统结构进行优化匹配分析,是正确合理使用C2系统的前提和依据。本文利用随机Petri网(SPN)建模工具,得到舰载C2系统的可行结构空间;以C2系统及时性和处理能力为匹配测度,得到面向作战任务的舰载C2系统结构优化匹配模型;结合实际情况给出实例应用,得到某型舰载C2系统的最优匹配结构。提出的方法操作简单,通用性强,为舰载C2系统匹配分析提供一种新的思路和方法。 展开更多
关键词 舰载指控系统结构 优化匹配 随机Petrinet
在线阅读 下载PDF
Application of PetriNet to workflow specification Petri Net在工作流管理系统形式说明中的应用 被引量:1
18
作者 刘玉林 吴晓群 《长春师范学院学报》 2000年第2期61-63,共3页
随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用... 随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 。 展开更多
关键词 PETRINET 工作流技术 形式描述技术 WF-NET 工作
在线阅读 下载PDF
双层变迁定时Petri Net抽象化
19
作者 罗怡桂 顾君忠 《计算机工程》 CAS CSCD 北大核心 2002年第11期41-43,共3页
该文对双层变迁定时Petri Net进行了抽象化。抽象化的双层变迁定时Petri Net可用于嵌入式系统设计过程的中间态模拟。
关键词 双层变迁定时PetriNet 嵌入式系统 建模工具 抽象化
在线阅读 下载PDF
基于自组织Petri Net的间歇过程换热网络优化设计 被引量:4
20
作者 贾洋 肖武 董宏光 《化工学报》 EI CAS CSCD 北大核心 2010年第12期3167-3171,共5页
根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织PetriNet模型中,引入时间库所表示间歇过程时间,使其适合于优化设计间歇过程换热网络,拓展了PetriNet对时间的表示形式,有利于对系统可达性进行研究。另外,根据垂直匹配... 根据热级联分析法的基本思想,在优化设计连续过程换热网络的自组织PetriNet模型中,引入时间库所表示间歇过程时间,使其适合于优化设计间歇过程换热网络,拓展了PetriNet对时间的表示形式,有利于对系统可达性进行研究。另外,根据垂直匹配原则,对换热网络夹点匹配的分流问题进行了研究,建立了综合考虑夹点规则的数学公式,有利于快速准确地进行夹点处流股的分流匹配。通过实例计算说明了提出方法的可行性和有效性。 展开更多
关键词 PETRINET 间歇过程 换热网络 优化设计 夹点技术
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部