一种基于工作流技术的调度方法

针对传统调度模型在描述复杂生产过程时所面临的模型规模庞大,模型可读性差等问题,提出了一种基于工作流技术的调度模型(WTSM),它通过基于活动的建模并在活动定义中内嵌事件—条件—行为(ECA)规则来达到缩小模型规模,增强模型动态描述能力的目的。同时WTSM定义了独立的资源模型,使之能够更好的支持资源定义以解决资源调度问题。然后采用工作流技术建立相应的调度系统(WTSS),法跟引擎与调度器集成并通过运行模型实例来获得调度方案。实例表明该方法具有模型规模小和调度速度快等优点。     

一类不确定线性切换系统的鲁棒控制器设计

利用Lyapunov函数方法,考虑了一类标称系统存在共同Lyapunov函数的不确定线性切换系统的鲁棒控制器设计问题。系统不仅受不满足匹配条件的干扰的作用,而且在输入通道上也具有不确定性,分别设计出了经状态反馈和输出反馈的鲁棒控制器,并设计出了切换律,证明了闭环系统在给定的切换策略下在其平衡点处的渐近稳定性。仿真结果表明所设计的控制器在给定的切换策略下,使得系统的状态是渐近稳定的。     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

Integrated Enterprise Modeling Method Based on Workflow Model and Multiviews

IntroductionThe implementation of a CIM system is a verycomplex process that needs the guidance andsupport of enterprise modeling methodology.Thedevelopment of CIM system theory andmethodology has produced many results in thefield of system modeling,analysis and design,such as CIM Open System Architecture ( CIM-OSA) [1] ,GRAI Integrated Methodology ( GRAI-GIM) [2 ] ,Purdue Enterprise Reference Architecture( PERA) [3 ] ,Architecture of Integrated InformationSystem ( ARIS ) [4 …     

基于3S技术的生态环境监测评价——以南四湖地区为例

利用遥感图像处理应用程序ERDASIMAGINE对山东省南回湖地区TM扫描影像进行处理,然后用ArcGIS配合IDL开发语言,对20002005年的土地利用变化情况进行动态监测,从而获得了该地区在本世纪初的6年时间里土地利用情况变化的信息,从而为南四湖地区生态系统未来的可持续发展提供了思路和依据．     

Implementation of WPDL Conforming Workflow Model

Workflow process definition language (WPDL) facilitates the transfer of workflow process definitions between separate workflow products. However, much work is still needed to transfer the specific workflow model to a WPDL conforming model. CIMFlow is a workflow management system developed by the National CIMS Engineering Research Center. This paper discusses the methods by which the CIMFlow model conforms to the WPDL meta-model and the differences between the WPDL meta-model and the CIMFlow model. Some improvements are proposed for the WPDL specification. Finally, the mapping and translating methods between the entities and attributes are given for the two models. The proposed methods and improvements are valuable as a reference for other mapping applications and the WPDL specification.     

协同业务过程中的语义一致性

为了解决协同业务过程中的语义不一致问题,使协同企业之间实现数据与知识共享,提出基于描述逻辑的本体不一致性分析方法。首先定义了本体的最小不一致子集、命中集合和调适集合,之后提出DS IO算法求解调适集合,并证明通过删除或修改调适集合中的公理可以有效恢复本体的一致性。最后以实际项目中的协同业务过程为例,在领域本体和协同本体的基础上建立本体一致性分析系统,分析结果证明该文提出的方法可以有效解决本体的不一致问题,从而保证了协同业务过程的语义一致性。     

面向制造业的CIMS应用集成平台

介绍了计算机集成制造系统应用集成平台的产生背景和基本概念.给出了CIMS应用集成平台的定义、基本特性和功能需求.重点介绍了制造业CIMS应用集成平台的系统体系结构、功能、软件开发环境和设计开发方法.所设计和开发的集成平台以多种服务和集成工具的方式为企业的CIMS应用提供了有力的支持,为实现制造业企业CIMS的快速实施提供了良好的应用开发、集成和运行环境.