基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

QoS约束的云工作流调度算法

将云计算和工作流两者结合起来,并根据用户关心的QoS中执行时间和执行费用问题,针对工作流调度策略在云环境下调度实例密集型工作流时效率不高的问题优化资源调度策略,给出云工作流调度模型,提出一种基于QoS约束的云工作流调度算法MSCWQ(modifiedschedulingalgorithmforcloudworkflowbasedonQoS).该算法利用DAG(directedacyclicgraph)进行建模,优化资源策略,保证在最晚结束时间内使整个工作流实例的执行费用尽可能小.实验结果表明,在调度实例密集型云工作流时,该算法能有效提升科学工作流的执行效率,并能减少资源的使用费用.     

基于BizTalk HWS的动态工作流活动模型与实现技术的研究

针对传统工作流管理系统的不足,在开发BizTalk HWS(工作流服务)工作流应用平台的基础上,对HWS动态工作流活动模型与实现技术进行了系统深入的研究.在系统构架上采用了基于Web面向服务(SOA)的解决方案,在层次结构上使用的是N层架构,提出了能够有效适应企业大规模业务流程的活动模型,探索了基于任务驱动的工作流构造方法,研究了活动流程任务的处理机制,给出了流程任务和流程任务模板的定义;在工作流调度上,研究了基于流程调度引擎和Action任务管理器的流程动态调度机制,包括流程的调度机制、任务管理器的设计与实现;最后给出了应用实例.     

工作流组织资源建模及其形式化配置方法

提出了基于统一建模语言(UML)和多色集合(PS)的工作流组织资源模型及其形式化配置方法,建立了包含部门和工作组的工作流组织资源UML类图模型.结合制造企业的工作流过程,对通用的组织资源UML类图模型进行了实例化,建立了工作流组织资源的UML对象图模型.基于PS理论,对工作流组织资源的类图模型和对象图模型进行了形式化描述,建立了工作流组织资源的PS层次结构模型.通过对PS围道矩阵的递阶推理,完成了工作流过程活动的形式化资源配置,并将其表示为多色集合中体的形式,从而实现了制造企业工作流组织资源模型与工作流过程模型的良好连接.     

一种提高活动网络图柔性的工作流建模方法研究

现有的工作流模型基本上基于“静态”程序定义,不能根据工作流实例的运行状况而动态地修改模型配置和控制数据信息.针对目前工作流过程模型在描述能力、柔性定义、过程重用、异常处理等方面存在的不足,采用问题分离原则,引入条件设定机制、协调反馈机制的多实例机制,扩展了传统活动网络图模型的建模属性和元素,使其在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.     

基于工作流的资源受限项目调度研究

为了解决项目调度模型难以事先建立,或者所建立的模型不能反映项目中过程动态变化的问题,在基于有向图的工作流模型基础上,利用工作流时间管理和资源管理方法,研究了从工作流系统运行时所管理的多个过程实例中动态获取项目调度模型的方法。在此基础上引入了基于规则的调度策略对所得到的项目模型进行调度,调度时充分考虑了模型的全局性和算法的时间可行性。研究成果在所开发的工作流管理原型系统Cimflow中进行了应用。     

一种基于网格服务的分布式远程协同仿真系统研究

随着面向服务的体系结构(SOA)成为网格研究领域的基本共识,越来越多的应用领域开始涉足网格中来;其中分布式远程协同就是其中的代表. 从全新的视角对分布式协同的重要技术之一--工作流进行了分析,提出工作流网格资源化的概念;定义工作流模型资源为网格资源,并遵照网格资源描述的规范描述工作流模型资源,做到从网格基础设施资源层支持协同工作流. 同时以该工作流模型为原型,以面向服务的体系结构为基本框架,构建网格环境中协同工作流服务框架,从而实现基于工作流的面向服务的分布式远程协同仿真系统.     

基于工作流技术的集成化生产计划与调度模型

分析了传统的生产计划与调度模式的弊端，提出了基于工作流技术的并行协调的过程管理解决方案，并给出了基于工作流技术的生产计划与调度的集成系统框架．在此基础上，从系统结构、模型定义、工作流管理系统及计划调度解决方法等方面分析了系统内各功能模块的功能及实现机制，提出了采用时间分段的思想来实现计划与调度的协调．然后重点介绍了工作流系统的决策机制，给出了基于时间和事件双模式驱动的工作流引擎的决策过程，最后对今后的研究发展方向作了进一步的展望。     

基于事件日志的工作流活动实例方面处理规则挖掘方法

针对现有工作流挖掘技术在解决活动实例方面处理规则挖掘问题上存在的不足,通过分析实例方面处理的不同表现形式,提出了一种可从事件日志中挖掘出工作流活动实例方面处理规则的方法.该方法假设事件日志中包含了工作流活动在执行时的全部输入输出数据等信息,基于这些数据及推理规则,挖掘可描述并发活动实例在数据等方面的关联或约束关系的实例方面处理规则.     

一个工作流元模型的描述方法

论述了工作流元模型的三维性,在采用UML2.0活动图的新特性后,提出了一个基于UML2.0活动图的工作流模型,定义了此模型的形式化和非形式化描述方法,并指出了其建模规则,为探询UML2.0活动图在工作流模型描述方法中应用做了初步尝试.     

问题1｜pmtn,d_j｜h_(max)的一个最优算法

研究了具有工期限制、可以中断加工的排序问题１｜ｐｍｔｎ,ｄｊ｜ｈｍａｘ,给出了使最大费用函数ｈｍａｘ＝ｍａｘ｛ｈ１（ｓ１）,…,ｈｎ（ｓｎ）｝最小的一个多项式时间最优算法     

求解多目标单机分批排序问题

分批排序(Batch Scheduling)是在半导体生产过程的最后阶段提炼出来的一类新型的排序问题．单机分批排序问题就是n个工件在一台机器上加工，要将工件分批，每批最多可以同时加工B个工件，每批的加工时间等于此批工件中的最大的加工时间．目前只有Cheng-shuo Wang，Reha Uzsoy运用Random Key方法编码研究了单目标函数为Lmax的分批排序问题．给出组合优化中的多目标分批排序问题的一种新编码，结合模糊数学知识，运用遗传算法研究多目标分批排序问题．研究了多目标遗传算法的机制特征，进而给出求解多目标分批排序的遗传算法．     

Windows NT操作系统的优先级调度及一种改进方法

首先简要介绍ＷｉｎｄｏｗｓＮＴ操作系统以优先级为基础来安排所有活动的机制,并对其优缺点进行分析．然后针对其局限性,引入一种新的处理器调度方法———处理器继承调度．在此模型中,某些基本线程可作为其它线程的调度者．很多不同的调度策略均可在此框架下得以实现,并且可共存．最后,对于ＷｉｎｄｏｗｓＮＴ操作系统采用此框架的可行性作一定性的讨论,此调度方法的采用将会大大提高系统的灵活性．     

一种FMS加工中心控制器的实时调度方法

以济南第一机床厂箱体零件的FMS为背景，研究了其底层加工个C的实时调度问题。在综合考虑工件的进料期、交货期和最大生产率等特征之后，提出一种基于批量问题的单机启发式实时调度方法。此方法已在该FMS中应用，且具有广泛的实际应用潜力和理论意义。     

用规则调度方法求解无等待流水车间调度问题

在使用规则调度方法求解无等待最小化总拖期流水车间调度问题时,前提是计算工件的完工时间。提出了计算方法。计算机仿真测试了SPT、LPT、SWPT、EDD、WDD、WPD规则调度方法的性能。结果表明SPT性能最好,SWPT性能最差。     

Nachos中基于优先级调度器的实现

Nachos是一个可修改和跟踪的操作系统教学软件,它给出了一个支持多线程和虚拟存储的操作系统框架.Nachos提供的代码框架只有线程结构、SWITCH程序和相关的一些材料.在Nachos代码的基础上,完成先来先服务（FCFS）、非抢占式优先级（PRIO NP）、抢占式优先级（PRIO _P）3种进程调度算法的实现.     

现场硬实时网络调度算法研究

研究了实时任务死线不大于其周期的任务集调度条件与硬实时网络调度算法约束条件，论证了计算时间复杂度，并将单调死线调度方法直接用于非周期任务调度．最后对调度算法的可调度性进行了严格测试．     

面向云计算的任务调度算法研究

云计算中任务调度对云计算的整体性能有重要影响.归纳了云计算调度的特点和性能指标,指出云计算任务调度研究的主要进展.从传统任务调度算法、Hadoop中的任务调度算法、智能化的任务调度算法等方面概括、分析和比较了不同算法的算法思想、实现机制、达到的性能要求.最后,讨论了现有任务调度策略存在的问题,结合云计算面向服务的特点对云计算任务的研究进行展望.     

制造型企业生产排产研究综述与展望

通过对大量制造型企业现有排产方法的梳理,综述了当前已有的排产方法,总结了制造型企业排产决策涉及的一般排产问题,比较了各种方法的优劣及适用范围,最后针对现有方法存在的弊端,分析了未来的研究趋势.     

一种特殊的单机双目标分批排序问题

考虑目标函数为Cmax和∑ωjCj的单机上批容量无限制的两类双目标分批排序模型:约束模型和线性加权模型.这里通过动态规划的递推算法分别给出了相应问题的多项式时间算法,并分析了算法的时间复杂性.最后指出在本文约束模型解决前提之下.问题相应的主次指标模型也可相应解决.