业务过程模型驱动的网格工作流互操作机制

从工作流调度模型、工作流映射模型和业务过程评价模型等角度，建立了业务过程模型驱动的动态网格工作流的互操作机制．通过不同层次的业务过程模型，驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机，建立工作流调度模型，解决面向业务流程的动态集成问题；通过建立业务工作流、抽象工作流、执行工作流的映射模型，解决复杂业务工作流到执行工作流的映射与纵向式集成问题；通过建立业务过程选择模型，解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题．     

基于多色集合的工作流建模及路径求取算法

描述了工作流基本节点的出入度及连通性质，并根据这些性质提出了工作流基本节点的多色集合表示方法．在这种表示方法的基础上提出了基于多色集合理论的工作流建模步骤，并给出了工作流路径求取算法．最后，以模具制造工作流过程为例，根据基于多色集合理论的工作流建模理论提出的步骤和算法，建立了模具制造流程的多色集合功能围道矩阵，给出了节点的布尔矩阵，并得出了表示模具制造过程中所有可能的流程路径．采取基于多色集合理论的工作流建模理论，用计算机可以正确、便捷地求取复杂系统的工作流程路径，算法简单且易于编程实现．     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于UML状态图的工作流时序约束一致性研究

通过对UML状态图进行时间扩展，建立工作流的时间模型，再把该模型转化为时间自动机，接着用时序逻辑公式定义时序约束，最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证．     

基于统一建模语言和多色集合的并行设计过程研究

在分析现有并行设计过程建模研究的基础上，提出了一种基于统一建模语言（UML）和多色集合理论的并行设计过程建模与分析方法，分析了并行设计活动的连接形式、UML活动图的基本建模元素和基本模型结构．采用多色集合理论，将UML活动图节点间的连接关系和基本模型结构形式化，结合基于特征的零件和工艺并行设计过程，建立了UML活动图模型，从模型简化、路径求取和时间消耗等方面定量地分析了并行设计过程，实现了该模型到多色集合围道矩阵的映射．研究表明，该方法具有面向对象且易于被非专业人员理解和使用的特点，可以为产品设计过程建立形式化模型．通过对设计活动进行布尔运算和定量分析，发现了影响产品设计进程的关键环节，从而为并行设计的组织和实施提供了理论指导．     

时间约束工作流的截止期限管理及其动态监控

提出一种基于关键路径的活动截止期限分配与动态调整方法,在过程定义阶段为每个活动分配松弛时间和截止期限,在过程运行阶段通过对活动实例执行情况的监控,为后续活动进行松弛时间和截止期限的再分配.该方法改善了已有方法对"或"结构所有分支分配相同截止期限的不足,且通过实例的执行情况适时调整流程的执行节奏,提高后续活动避免可能时间约束违反的主动性,确保工作流时间维计划的有效执行.     

一种基于差别矩阵的属性约简完备算法

提出了一种基于差别矩阵的粗糙集属性约简完备算法，算法的求解策略是在每次迭代过程中只选择必要的条件属性，如果在某次迭代过程中找不到这样的条件属性，则任意排除一条件属性，为下一次迭代中找到必要的条件属性做准备．分析了算法在最坏情况下的时间复杂性，给出了该算法相对Pawlak约简的完备性的证明．同已有的同类约简算法相比，该算法在最坏情况下具有更小的时间复杂性．     

基于过程链的产品开发过程建模研究

研究了事件驱动的过程链模型及其相关概念,给出了过程链模型的形式化表达．鉴于工作流模型在表达业务逻辑和过程信息方面具有优势,因此提出了事件驱动过程链与工作流模型的映射规则．基于过程链和工作流,以建立产品开发过程模型,从而有效地管理开发过程．最后给出了一个基于过程链的产品开发过程的建模实例．     

基于小世界网络的复杂系统故障传播模型

为了从复杂机电系统自身固有的网络拓扑结构出发来研究故障的传播机制，采用小世界网络理论分析方法，对系统网络拓扑结构统计特性进行分析，建立了基于小世界聚类特性的故障传播模型．结合故障的扩散强度，按照分步扩散的原则对故障传播的过程进行了描述，同时用蚁群算法求得扩散能力最强的故障传播路径及相应的关键节点．用该模型对喷射发动机的故障传播过程进行分析，结果表明，该方法可以有效地找到系统中存在的脆弱点，从而为设计改进和故障预防提供了重要依据．     

基于等分节点法的时延驱动布局算法

提出了一个新的基于等分节点法的时延驱动布局算法．该算法基于对电路时延图的拓扑结构分析,将优化关键路径时延的问题转换成优化关键路径上单元位置的问题,通过建立优化位置单元的队列链表,采用一种新的等分节点法有效地寻找路径上单元的目标位置,从而优化路径上的线网长度,最终达到优化最长路径时延的目的．另外,启发式迭代优化方法很好地统一了以线长优化和路径时延优化为目标的布局算法．对MCNC标准单元测试电路中组合和时序电路的实验结果显示,电路经过时延驱动优化布局后的最大路径时延最多减少了31%．     

复杂装备企业的敏捷化生产计划管理系统研究

针对复杂装备企业生产计划的完整性和动态计划变更的一致性问题,提出了基于网络计划的敏捷化多层推/拉武生产计划管理体系.通过研究多层生产计划的动态过程管理和资源优化的实现方法,构建了企业生产计划控制模型.提出了基于工作流的生产计划与调度并行运行机制,并针对物料拖期问题,建立了动态网络计划的编制和动态协调算法,保证了生产作业计划的准确性和生产计划变更的一致性.     

基于FPGA/CPLD的数字系统设计优化

讨论了基于FPGA/CPLD的数字系统设计的优化问题,包括面积优化、速度优化和它们之间的相互关系.通过实例给出了面积优化的两种方法:电路结构上的资源共享法和串行化方法.提出了速度优化的3种设计原理:流水线设计法、寄存器配平法和关键路径法.     

LINGO在关键路径规划求解中的应用

文章首先介绍了关键路径的相关概念,然后给出了求关键路径的算法,最后使用L INGO软件求解工程规划中经常使用的关键路径规划实例,结果显示：使用该方法求解模型简便,能大大提高优化求解关键路径的效率.     

逻辑综合中关键门的寻找

关键路径一直是电路性能优化的核心问题之一，门的尺寸调整和插入缓冲器是时间优化的重要方法。实际上，电路拓扑图中最长的路径不一定就是关键路径，只有在一定输入下能敏化的最长路径才是关键路径，因此，仅仅按拓扑信息优化最长的路径不一定能真正提高电路的性能，此外，仅仅利用D－算法判断路长敏化有不足之处，本文利用电路拓扑找出超出时间限制的路径，然后利用改进的FAN算法－T－FAN算法，提取关键门－即和电路整体延时有关系的门，为优化指出具体、准确的目标，实验表明，改进的算法在保证优化效果的前提下，能平均减少30％－40％优化对象。     

基于模板的服务工作流的优化组合方法

研究了网络环境下基于模板的服务工作流的优化组合算法.该算法将服务优化组合问题转化为服务工作流模板的优化组合问题,既极大程度地复用历史服务工作流模板以减少组建新工作流的工作量,又通过优化使得服务工作流结构更为合理,缩短了服务工作流的执行时间.通过使用Petri网对网络流媒体课件制作服务工作流进行建模,并对比优化前后服务工作流模型的SPNP性能分析结果,证明了优化算法的有效性.     

基于组件级化简的语义验证方法在电子商务过程中的应用

工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.     

广义随机Petri网在工作流建模中的应用研究

工作流管理技术是20世纪90年代初兴起的软件技术,其实现的关键在于工作流概念模型的建立。Petri网(GSPN)作为一种图形化的数学建模工具,适合于工作流领域的建模需求。提出了基于广义随机Petri网的工作流建模方法,运用可达图法对工作流正确性和可靠性进行检查。利用GSPN与马尔可夫链的同构关系,采用GSPN和马尔可夫链相结合的工作流性能分析方法,为工作流性能的有效评估提供理论依据。实例验证该方法是有效性的,有利于工作流管理系统的实现。