离散事件系统的混合型Petri网控制器(英文) 被引量：6

1

作者 吴维敏 董利达 +2 位作者 王肖 苏宏业 褚健 《自动化学报》 EI CSCD 北大核心 2003年第5期681-688,共8页

考虑由具有不可控变迁的受控Petri网建模的DES的控制器综合问题 .提出了兼具DES的逻辑型和结构型二种控制器优点的混合型Petri网控制器 :在系统状态的获取和跟踪上具有结构型控制器的优点 ,而在控制作用的实施上则具有逻辑型控制器的优... 考虑由具有不可控变迁的受控Petri网建模的DES的控制器综合问题 .提出了兼具DES的逻辑型和结构型二种控制器优点的混合型Petri网控制器 :在系统状态的获取和跟踪上具有结构型控制器的优点 ,而在控制作用的实施上则具有逻辑型控制器的优点 .全文通过实例说明了混合型Petri网控制器的设计方法 . 展开更多

关键词 离散事件系统 PETRI网 混合型控制器 逻辑型控制器

在线阅读 下载PDF 职称材料

基于动态描述逻辑的网构软件系统故障诊断 被引量：4

2

作者 王竹晓 杨鲲 史忠植 《软件学报》 EI CSCD 北大核心 2010年第2期248-260,共13页

提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.... 提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明. 展开更多

关键词 故障诊断 网构软件 动态描述逻辑 可信软件 离散事件系统

在线阅读 下载PDF 职称材料

面向PLC的离散事件控制系统设计方法研究 被引量：4

3

作者 毕翔 韩江洪 +1 位作者 王跃飞 魏振春 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2010年第9期1333-1337,共5页

对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑... 对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑图(LLD)的转换算法,实现系统模型向PLC程序的自动转换,为构建面向PLC的DECS一体化设计平台奠定技术基础。 展开更多

关键词 离散事件控制系统 可编程逻辑控制器 规范化Petri网模型

在线阅读 下载PDF 职称材料

一类受控Petri网的状态反馈逻辑的综合

4

作者 陈浩勋 《自动化学报》 EI CSCD 北大核心 1996年第5期576-580,共5页

将Ｈｏｌｌｏｗａｙ和Ｋｒｏｇｈ关于受控标记图的禁态控制方面的结果扩展到更广泛的一类受控Ｐｅｔｒｉ网──不可控子网为前后向无冲突的受控Ｐｅｔｒｉ网，并去掉了关于初始标记和禁态规范的限制．

关键词 PETRI网 离散事件系统 状态反馈逻辑

在线阅读 下载PDF 职称材料

实时离散事件系统规范与证明方法

5

作者 王蓓 吴智铭 《上海交通大学学报》 EI CAS CSCD 北大核心 1998年第1期97-101,共5页

针对离散事件系统的规范与证明，给出了多种形式化方法，并且在这些形式化方法的基础上，将时间因子引入，从而解决实时离散事件系统的实时规范问题．虽然这些实时形式化方法是从不同角度提出的，但它们之间存在内在联系．通过对这种联... 针对离散事件系统的规范与证明，给出了多种形式化方法，并且在这些形式化方法的基础上，将时间因子引入，从而解决实时离散事件系统的实时规范问题．虽然这些实时形式化方法是从不同角度提出的，但它们之间存在内在联系．通过对这种联系进行深入研究，为以后更加有效地使用这些形式化方法提供了理论依据． 展开更多

关键词 离散系统 PETRI网 时态逻辑 离散事件系统

在线阅读 下载PDF 职称材料

Petri网的硬件实现 被引量：18

6

作者 赵不贿 景亮 严仰光 《软件学报》 EI CSCD 北大核心 2002年第8期1652-1657,共6页

Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种Petri网系统的硬件实现方法,包括带抑制弧和允许弧的C/E系统、P/T系统、T-时延Petri网系统;给出了硬件实现中非纯网的处理方法.... Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种Petri网系统的硬件实现方法,包括带抑制弧和允许弧的C/E系统、P/T系统、T-时延Petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种Petri网的逻辑电路;然后用ABEL语言对逻辑电路进行描述;最后给出了一个用解释Petri网描述的服务系统的例子,说明如何使用硬件(CPLD)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义. 展开更多

关键词 PETRI网 硬件 离散事件系统 控制器 可编程逻辑器件 数字电路 超大规模集成电路

在线阅读 下载PDF 职称材料

离散事件系统的面向对象实时时态着色Petri网模型 被引量：2

7

作者 田国会 贾磊 +1 位作者 路飞 姜健 《系统工程理论方法应用》 2001年第3期206-208,共3页

提出了由记时面向对象着色 Petri网为被控对象建模 ,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色

关键词 离散事件系统 PETRI网 实时时态逻辑 面向对象 DEDS RTTL

原文传递

海战场C^4ISR系统的服务自动组合方法 被引量：1

8

作者 聂凯 汪厚祥 李永杰 《系统工程与电子技术》 EI CSCD 北大核心 2013年第10期2128-2134,共7页

针对C4ISR系统中服务人工智能(artificial intelligence,AI)规划组合存在的服务数量大、不能处理服务执行过程中动态产生的新个体、业务流程和服务质量不确定等问题,提出了一种基于离散事件演算和马尔可夫逻辑网(discrete event calculu... 针对C4ISR系统中服务人工智能(artificial intelligence,AI)规划组合存在的服务数量大、不能处理服务执行过程中动态产生的新个体、业务流程和服务质量不确定等问题,提出了一种基于离散事件演算和马尔可夫逻辑网(discrete event calculus-Markov logic network,DEC-MLN)的服务自动组合方法。首先给出了面向服务的海战场C4ISR系统的流程图,用对事件演算进行拓展形成的DEC-MLN对服务的输入、输出、前提条件和执行效果及基本服务流程进行建模,用MLN的权重刻画组合过程中业务流程和服务质量的不确定性。接着提出了一种基于模板的服务自动组合框架,并给出了溯因DEC规划方法。所提方法克服了基于传统AI规划组合方法限于顺序组合的问题;且DEC-MLN的谓词规模较小,提高了服务组合效率;DEC-MLN在处理不确定性的基础上又能解除封闭世界假说的限制,可以处理组合执行过程中新增个体,增加了组合的动态性。最后用实例验证了所提方法的可行性与有效性。 展开更多

关键词 服务自动组合 军事信息服务 离散事件演算 马尔可夫逻辑网 离散事件演算和马尔可夫逻辑网

在线阅读 下载PDF 职称材料

混合系统及其建模 被引量：15

9

作者 薛乐 廖沫 +1 位作者 魏晨 陈宗基 《系统仿真学报》 CAS CSCD 2004年第3期375-380,404,共7页

在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真... 在概述混合系统概念、特点、发展近况以及混合系统框架的基础上,介绍了混合系统研究中的建模问题,重点介绍了等价离散事件模型、混合自动机、Petri网、时段演算及其扩展等建模方法,最后介绍了混合系统研究中的一些重要成果以及一些仿真方法。 展开更多

关键词 混合系统 等价离散事件模型 混合自动机 PETRI网 时段演算

在线阅读 下载PDF 职称材料

可重构制造系统建模方法 被引量：3

10

作者 贺鹏 王庆林 《现代制造工程》 CSCD 2005年第11期11-14,共4页

对可重构制造系统建模方法,包括基于Petri网的可重构制造系统建模、基于排队网络的可重构制造系统建模、基于马尔可夫链的可重构制造系统建模、基于多Agent理论的可重构制造系统建模等方法的研究现状进行了系统的介绍,并进行了分析和比... 对可重构制造系统建模方法,包括基于Petri网的可重构制造系统建模、基于排队网络的可重构制造系统建模、基于马尔可夫链的可重构制造系统建模、基于多Agent理论的可重构制造系统建模等方法的研究现状进行了系统的介绍,并进行了分析和比较,最后给出了可重构制造系统建模的发展方向。 展开更多

关键词 可重构制造系统 离散事件动态系统 Petri网 排队网络 马尔可夫链 多AGENT

在线阅读 下载PDF 职称材料

基于C/E系统监控器的CPLD实现 被引量：3

11

作者 赵不贿 蔡兰 王四平 《江苏理工大学学报（自然科学版）》 2000年第6期77-81,共5页

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 ... 文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 展开更多

关键词 离散事件系统 监控器 逻辑设计 条件/事件系统 PETRI网 可编程编辑器件

在线阅读 下载PDF 职称材料