时间约束工作流模型的可调度性验证研究

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真.首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略.通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度.然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集.实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值.     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

支持企业过程再造的柔性工作流模型

为克服传统流程模型不能有效支持 BPR的问题 ,本文采用工作流技术 ,提出了一种全面支持BPR的柔性流程模型——工作流模型 ,它不但支持对现有流程的优化 ,而且还给出了进行流程再设计的具体实现方法 .最后我们还对这一模型的一致性进行了验证.     

成本约束下工作流时间最小化的资源配置优化

时间是衡量工作流性能的重要指标。通过对工作流的资源配置的优化,可以改善工作流的时间性能。资源配置优化可以从资源专业化/一般化程度和资源数量两个方面来进行。为了优化资源的这两个方面,提出了一种基于分层嵌套遗传算法的资源优化方法。它采用工作流实例平均响应时间作为评价指标,在成本的约束下,正确配置各类资源专业化/一般化的程度及资源数量,从而最优化工作流时间性能。并通过实例,说明了该方法的可行性和有效性。     

翻译场景下的术语管理:流程、工具与趋势

随着语言技术的突飞猛进和语言服务需求多元化的发展,术语管理在翻译场景中发挥着日益重要的作用。文章首先阐述了术语管理的重要意义和典型流程,探讨了术语管理工具的主要功能及其选择策略,分析了新时代背景下术语管理的发展趋势,最后讨论了术语管理对“一带一路”语言服务需求和国家语言服务人才培养的重要意义。     

基于本体论和SNMP的骨干设备性能监测

阐述了在网络管理中对骨干设备性能监测的方法.结合SNMP协议,以SNMP中MIB信息扩展为基础,设计并实现了一个具有实用价值的骨干网络设备性能监测系统.在获取各项性能指标时,结合本体论方法设计了信息检索工作流模型,并在检索过程中利用Logit模型选择最佳路径.实践证明,该系统能够及时地反映出设备性能的动态变化,极大的提高了巡检率.     

一种基于有色Petri网的网格工作流模型

给出了一种基于有色Petri网的网格服务工作流模型——有色服务流程网（Colored Service Flow Net）,在此基础之上分析并提出服务流水线（service Pipelining）的概念．该模型将图像数据传输作为服务运行的触发条件,提高了服务流程处理的效率,减少了用户作业的执行时间．     

GOS下集合预报网格工作流程系统设计

为解决集合预报因扰动产生的多样本模式预报计算量巨大问题,充分利用分布异地的网络高性能资源,基于国家网格操作系统(GOS),在门户中间件Gridshpere之上设计并实现了一种适合于集合预报应用系统的网格工作流系统.该系统实现了包括应用程序的服务封装功能,应用服务执行的节点资源动态绑定功能,应用服务之间的数据/控制相关管理功能、重启容错功能、流程监控功能等,已成功应用到集合预报应用网格门户系统,实践证明系统切实可行.     

基于Web Services的工作流管理系统

Web Services是一种面向服务的体系架构,具有平台的独立性和语言独立性的特点,有利于解决工作流管理系统在现代企业分布性信息中的应用问题。基于此,提出一种基于Web Semices的工作流的架构。