山东省优秀中青年科学家科研奖励基金(02BS069) 作品数:21 被引量:123 H指数: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分组诊断的一致性处理机制. 万丽荣 曾庆良关键词:故障诊断 支持产品并行开发的过程管理系统研究与实现 被引量:2 2005年 对支持产品开发的过程管理技术进行了研究 ,基于面向对象的C + +语言和统一建模语言UML ,提出并实现了支持产品并行开发的过程管理系统。该系统主要由项目管理、工作流管理、人员管理和个人工作平台 4个子系统组成 ,实现了过程建模、过程执行与监控、过程历史管理等功能 。 邵园园 曾庆良 刘科研 王成龙关键词:过程管理 项目管理 工作流 基于变迁指标的Petri网分解方法 被引量:6 2006年 通过定义 Petri 网变迁的指标函数,给出一种基于变迁指标的 Petri 网分解方法,通过分解得到子网系统均为结构简单的 T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系,并且证明了通过子网之间的共享合成可以得到原先的网系统,这为 Petri 网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。 曾庆田关键词:PETRI网 语言 子系统 一类含时间因素工作流的建模与时间性能挖掘 被引量:8 2005年 时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图,深入挖掘了理想主活动线、稳妥主活动线和最佳状态线,分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案,给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法,证明了工作流的最佳状态线存在的充分条件。 曾庆田 段华关键词:工作流 可达图