山东省优秀中青年科学家科研奖励基金(02BS069)
- 作品数：21 被引量：123H指数：8
- 相关作者：曾庆田曾庆良万丽荣段华吴哲辉更多>>
- 相关机构：山东科技大学中国科学院上海交通大学更多>>
- 发文基金：山东省优秀中青年科学家科研奖励基金国家自然科学基金山东省科技发展计划项目更多>>
- 相关领域：自动化与计算机技术机械工程理学金属学及工艺更多>>
- S-网的活性分析被引量：8
- 2004年
- 讨论了一类结构简单的 Petri网—S-网的活性问题 ,给出了各类 S-网的活性判定定理并给出了判定算法 .算法主要计算工作是变迁的前序库所集和后继变迁集以及极大强连通子网的判断 ,这三个过程实际上是一个树的搜索过程 ,因此算法易于实现 。
- 段华曾庆田
- 关键词：PETRI网活性
- 产品成本评估系统与产品数据管理系统(PDM)的集成研究被引量：1
- 2004年
- 将产品成本评估系统移植到产品数据管理(PDM)环境中,实现了产品成本评估系统与PDM的有机集成。该集成系统充分发挥了PDM和成本评估系统的优势,缩短了产品成本评估的时间,为企业实现面向成本的设计提供了支持。
- 万丽荣曾庆良刘梅
- 关键词：产品数据管理
- Petri网的进程表达式与语言表达式被引量：11
- 2004年
- Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 )
- 曾庆田吴哲辉马炳先
- 关键词：PETRI网语言
- 基于库所指标分解的Petri网活性与公平性分析被引量：10
- 2005年
- Petri网的分解技术是用于复杂网系统分析的一种有效手段 .基于库所指标的 Petri网分解方法 ,将一个复杂的网系统分解成结构简单的子网 ,分解后的子网保持原网系统的语言行为不变当且仅当具有公共变迁的子网的可达图关于公共变迁是同构的 .若分解过程中保持系统的语言行为不变 ,则在 Petri网的活性和公平性方面有着对应关系 .本文基于分解给出了 Petri网活性判定的充要条件和公平性判定的定理 ,对基于分解的复杂系统的 Petri网分析方法提供了更为有效的理论和可行的技术 .
- 曾庆田
- 关键词：PETRI网语言活性
- 基于规则的机械故障诊断系统的验证模型与方法被引量：4
- 2004年
- 机械领域知识库是机械故障诊断专家系统的核心部分,知识库的异常会导致整个推理求解过程的不确定性,引起一系列的错误和冲突。将Petri网技术应用于机械故障诊断系统规则库的建模和验证,给出了规则库的有色Petri网的建模方法,对规则的使用次数控制、事实的保留等问题给出了处理技巧。基于有色Petri网得到了知识库各种异常现象的具体表现以及检测的方法。所给出的有色Petri网建模方法和分析技术适应于各个领域诊断系统的验证和分析,所提出的技术和方法具有普遍意义。
- 曾庆良万丽荣
- 关键词：机械故障专家系统PETRI网有色PETRI网
- 生产者-消费者系统的建模与行为分析方法研究被引量：9
- 2004年
- 生产者-消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者-消费者系统建模,借助基于库所指标的Petri网分解方法来分析生产者-消费者的系统行为,利用Petri网语言的同步混排运算给出了生产者-消费者系统的行为描述,对基于Petri网的系统分析提供了有效的方法。
- 张秀娟
- 关键词：PETRI网PETRI网语言
- 分布式机械故障诊断系统的协调机制及其分析被引量：2
- 2004年
- 基于主体(Agent)的分布式机械故障专家系统可以有效地提高诊断效率,但Agent间诊断结果的不一致性会影响整个系统的诊断结果,需要采取适当的协调机制调节Agent之间的矛盾.为此给出了可信度优先、权威性优先、相邻影响、彼此影响等4种Agent协调机制以及相应的协调公式,并对它们进行了量化比较,分析了各自的优越性和适应性情形.最后给出了基于协调的Agent分组诊断的一致性处理机制.
- 万丽荣曾庆良
- 关键词：故障诊断
- 一类含时间因素工作流的建模与时间性能挖掘被引量：8
- 2005年
- 时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图,深入挖掘了理想主活动线、稳妥主活动线和最佳状态线,分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案,给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法,证明了工作流的最佳状态线存在的充分条件。
- 曾庆田段华
- 关键词：工作流可达图
- T-网的活性分析及其判断算法被引量：3
- 2005年
- Petri网的活性反映了实际系统的无死锁性.本文讨论了一类结构简单的Petri网—T-网的活性问题,给出了各类T-网的活性判定定理并给出了判定算法.算法主要计算工作是变迁的前序库所集和后继变迁集以及回路的判断,这三个过程实际上是一个树的搜索过程,因此算法易于实现,判定效率也大大提高.
- 段华曾庆田
- 关键词：PETRI网活性
- Petri网的同步合成运算及其语言求解被引量：7
- 2003年
- 文章拓展了Petri网同步合成运算的概念,并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网蒡都可由一组S-网通过同步合成得到,从而可由这些S-网来求取蒡的语言,最后给出了结构复杂的Petri网的语言的求解算法。
- 曾庆田
- 关键词：PETRI网
