CIMOSA功能模型的Petir网表示方法

本文介绍了ＣＩＭＯＳＡ建模框架和功能模型的组成结构，指出了Ｐｅｔｉｒ网方法是进行ＣＩＭＯＳＡ模型仿真和模型验证的有效手段。为了解决ＣＭＩＭＯＳＡ模型仿真和执行中出现的不确定性，资源共享和仿真传递问题，提出了一种扩懈的有以Ｐｅｔｒｉ网方法－控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ功能模型的Ｐｅｔｉｒ网表示方法并给出了由ＣＩＭＯＡ功能模型到Ｐｅｔｉｒ网模型的转换步骤     

基于 Petri 网和图像识别方法的故障预防系统研究及实施

以国家ＣＩＭＳ工程技术研究中心制造系统为对象，设计并实施了一个制造系统故障预防系统。文中首先提出了制造系统的谓词／变迁网模型，以此为基础设计了基于Ｐｅｔｒｉ网可达性树分析方法和图像识别方法的制造系统故障预防系统，并给出了系统的总体结构图和相应的模块结构图。该故障预防系统已完成实施，在提高制造系统运行的安全性和可靠性方面，发挥了重要作用。     

一种成本约束条件下的工作流资源数量优化方法

研究了成本约束条件下协调工作流活动对资源数量的使用,以减少整个工作流系统执行时间.该问题可归纳为多选择背包问题,并设计了资源数量优化算法来满足成本约束,算法的目标是在该约束下最小化工作流系统关键路径的执行时间.最后通过实例测试了算法的有效性和正确性.     

面向企业整体解决方案的集成化建模与执行

论述了关于企业建模及相关研究的新观点，提出了改进后的集成化企业建模体系结构，其中，在生命周期维中研究了模型在各个阶段的演进问题，在视图模型维中引入了产品视图，介绍了产品视图的一般特征和结构。在此基础上，提出了基于模型释放的、在以工作流管理技术为核心的集成平台支持下、面向中企业整体解决方案的集成化建模及执行系统的基本框架，以及该框架中各个层次的主要功能。最后，以参考模型为核心研究了集成化企业建模中的知识重用和管理问题。     

产品族谱系的配置方法研究

由于单一拓扑空间内的产品配置建模和求解均较复杂，提出了一种通过配置空间规划构筑产品族谱系，实现优化配置的方法。在剖析客户群需求共性和产品模块的分类聚合特性的基础上，给出了产品族谱系的概念表示和建模方法，以及基于产品族谱系模型对客户需求和约束进行分类求解的方法。阐述了通过谱系定位、关键配置、功能配置和个性配置4个阶段分步实现产品配置生成的过程。最后，以台式电脑为例，说明了该配置方法的有效性。     

用于制造系统的控制和集成网方法

本文给出了种扩展Ｐｅｔｒｉ网。这种方法是为了解决实际制造系统运行和控制中存在的不确定性、资源共享及外部应用程序的动态交互的问题。文中给出了一个用控制和集成网方法建立的生产系统模型。本文提出的控制和集成网方法适合用于制造系统的建模。它同样可以用作开发单元控制软件平台核心和实施ＣＩＭ开放系统体系结构中集成基础结构的经营过程控制的基础。     

一种提高系统柔性的工作流建模方法研究

针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

工作流系统时间管理

时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.     

企业建模在产品基础数据管理中的应用

在分析产品基础数据管理的需求基础上,结合企业建模理论,分别对产品装配模型、产品自然属性模型和产品工艺过程模型作了详细的分析,建立了产品视图模型,并在实际的产品基础数据管理系统中应用和检验了这些理论和方法.     

基于智能物件的实时企业复杂事件处理机制

实时企业能够主动地提供及时、准确、详细的信息,这些信息除了业务系统产生的大量数据、智能物件(Smart Items)数据流以外,更主要的是隐藏在其背后的信息.目前缺少功能强大的机制和方法来获取和展现这些隐藏在背后的信息,而复杂事件处理(CEP)可提供有效的途径和方法.提出基于Smart Items的实时企业体系结构,给出事件基本概念、时间模型、层次模型的清晰定义;现有的事件聚合方法基本都是在事件类型级别上进行的,提出的事件实例操作符能够在实例级别上进行事件聚合,同时定义基本的事件类型操作符;提出语义空间的方法为事件聚合提供环境信息,并给出事件实例的使用策略、消耗策略以及老化策略来维护事件实例,特别是给出的事件实例分区方法能够提高事件聚合的效率.使用Colored Petri网检测复合事件具有很好的并行性和效率,给出相应的检测算法.在某制造企业的实际应用中证明该方法具有很好的效果.