高梅梅
- 作品数：12 被引量：124H指数：6
- 供职机构：上海交通大学机械与动力工程学院制造技术与装备自动化研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术机械工程动力工程及工程热物理理学更多>>
- 模糊时间Petri网的时间推理及其在过程监测中的应用被引量：15
- 2001年
- 针对传统分析方法的不足 ,提出用线性逻辑给出模糊时间 Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间 Petri网的运行行为 ,具体例子说明了其在系统过程监测和诊断中的应用。
- 高梅梅吴智铭
- 关键词：模糊时间PETRI网线性逻辑
- 一种面向对象的FMS仿真环境的实现被引量：2
- 2000年
- 开发了一种基于面向对象框架的可视化FMS仿真环境，可以模拟在不同初始条件下和实时决策规则下的FMS的实时运行状况，并提出了一种基于面向对象模型的实用死锁检测算法,可以实现实时死锁检测及报警，最后的统计结果可为作业计划与调度规则的决策及优化提供依据。
- 高梅梅吴智铭黄晓光
- 关键词：仿真环境面向对象PETRI网
- 智能Petri网的分析计算及其应用研究
- 从Petri网被提出以来,Petri网就一直是一个不断被发展和充实的理论.作为一种形式化、直观化的建模工具,Petri网被广泛地应用于离散事件系统的建模、分析与控制,并在其他许多的研究领域引起越来越大的兴趣,不同领域的应...
- 高梅梅
- 关键词：离散事件系统PETR经典逻辑知识推理线性逻辑面向对象方法
- 文献传递
- 模糊时间Petri网及其时间推理方法被引量：6
- 2000年
- Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;
- 高梅梅吴智铭
- 关键词：PETRI网
- 一种基于线性逻辑的Petri网分析方法被引量：6
- 2000年
- 1 引言 Petri网是一种用网状图形表示系统模型的方法,能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。Petri网理论提供了强大的分析方法,如不变量分析、系统性能分析(如活性)等以证明系统的正确性。近年来Petri网也被用来表示知识推理,例如用于诊断和监控,这就需要发展一种关于Petri网行为的推理主题。有些学者把经典逻辑和Petri网相结合,用Petri网表示产生式规则系统。
- 高梅梅吴智铭
- 关键词：PETRI网络线性逻辑离散事件系统
- 模糊推理Petri网及其在故障诊断中的应用被引量：67
- 2000年
- 分析了推理 Petri网与传统 Petri网的共性和区别 ,给出了模糊产生式规则推理Petri网模型 .在此基础上 ,给出了有效的推理算法 ,并以极大代数矩阵算子进行了形式化表示 ,此算法充分利用了 Petri网的数学理论基础和描述并发系统的能力 ,具有并行推理能力 ,可以同时得到推理后系统的全部状态值 .
- 高梅梅吴智铭
- 关键词：模糊推理PETRI网故障诊断离散事件系统
- 柔性制造系统分布式仿真系统的实现被引量：14
- 2000年
- 计算机可视化仿真是对柔性制造系统 ( FMS)进行设计和分析的一种直观而具有实际意义的方法 .利用面向对象方法和离散事件动态系统建模方法 ,设计并实现了一种开放式、可视化 FMS分布式仿真系统 .该系统通过局域网上若干计算机之间的通讯 ,模拟了 FMS自动化生产车间的实时运行状况 ,通过初始化系统数据可得到不同的系统统计结果对
- 高梅梅吴智铭庞小红易耀华
- 关键词：柔性制造系统可视化仿真分布式系统面向对象
- 一种基于线性逻辑的时间Petri网推理方法被引量：6
- 2000年
- 针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 .
- 高梅梅吴智铭
- 关键词：时间PETRI网线性逻辑
- 基于对象模型的FMS死锁检测
- 2000年
- 柔性制造系统的主要特点是多种不同类型的工件同时在系统中加工 ,这些工件竞争系统中的有限资源会导致死锁的发生 ,能够检查出 FMS运控软件中可能发生的死锁问题是系统能够正常运行的必要条件之一。本文首次基于面向对象模型 ,定义了死锁问题 ,并在此基础上提出了检测死锁的算法 ,此算法具有通用性和实用价值。
- 高梅梅吴智铭
- 关键词：FMS面向对象模型死锁检测算法柔性制造系统
- 模糊Petri网在电站燃气轮机故障诊断中的应用被引量：5
- 2000年
- 本文给出了用模糊 Petri网模型来表示燃气轮机故障诊断专家系统中模糊产生式知识库的方法。并在这个模型的基础上 ,给出了有效的推理算法 ,并举例验证其正确性和在燃气轮机专家系统中应用的可行性。
- 黄晓光高梅梅王永泓翁史烈
- 关键词：燃气轮机故障诊断模糊PETRI网模型
