时间约束工作流的可调度性分析

提出一种时间约束工作流的可调度性分析方法。针对时间约束Petri网(Timing Constraint Petri Nets,TCPN)为普通Petri网无法建模多参与资源的不足,给出了扩展的时间约束Petri网(w-TCPN)的定义;结合w-TCPN的拓扑结构,从模型和实例两个层次,给出了w-TCPN变迁可调度的判定定理;提出了时间约束的调整策略。w-TCPN的研究使得时间约束工作流的建模和可调度性分析更加合理。

延迟时间Petri网的验证分析

延迟时间Petri网(Delay Time Petri Nets,DTPN)是一类重要的时间扩展Petri网系统,解决了其他时间扩展Petri网(如时间Petri网)在保存时间约束时所面临的困难。可调度验证的目的是验证工作流模型时间约束的合理性,对流程实例的时间可达性进行仿真。提出一种基于DTPN的时间约束工作流验证分析方法。给出了DTPN的相关定义,并结合工作流控制结构描述了变迁可触发的时间条件;提出了DTPN触发点的概念以及基于此的验证分析算法;简要分析了DTPN的特性。DTPN的研究丰富完善了现有时间Petri网体系,具有积极的意义。

基于延迟时间Petri网的工作流相似性度量方法

为了解决实时系统中流程相似性的判定问题,提出一种基于流程中活动的拓扑结构和触发点的流程相似性度量方法。采用延迟时间Petri网(Delay Time Petri Nets,DTPN)模型来表示流程,用于找出流程的触发调度;定义活动时间约束路由关系,给出它们之间的距离和相似度计算公式,进而计算出流程之间的相似度;在此基础上设计相关算法,并且分析时间复杂度。通过实例验证了该算法在时间约束工作流相似性度量方面的有效性。

基于关键路径的工作流时间异常处理算法

为了更好地管理业务流程中的时间异常,定义了时间异常系数,描述了不同时间约束异常之间的相互影响,并提出一种基于关键路径的工作流时间异常处理方法。在实例执行阶段,实时监控每个节点的状态,当出现时间约束违反时,根据异常系数决定是否触发异常处理程序以及如何处理。该方法能够在某一时间异常发生后,预测可能出现的关联时间异常并排除,确保工作流实例状态的一致性。

毕业生就业质量调查问卷系统的研究

为了更好地管理毕业生就业信息,基于Ext JS框架开发web应用系统。描述了研究的背景,分析了毕业生就业质量调查问卷系统的功能需求,并对其设计与实现进行了阐述。实践证明,毕业生就业质量调查问卷系统在跟踪毕业生就业动态上具有较高的实用价值。

云环境下科学工作流的调度算法

提出一种云环境下科学工作流的调度算法.针对已有的调度算法和松弛时间资源分配策略均未考虑"或"控制结构的不足,给出了关键活动优先级(Critical Activity Priority,CAP)的概念;定义了活动的服务效益比(Service Benefit Ratio,SBR);提出了活动松弛时间分配策略;并从流程定义和实例运行两个层次,给出了活动截止期限的分配算法.该项研究成果为解决科学工作流调度过程中的时间-成本优化问题提供了更合适的解决方案.

基于jBPM的动态工作流的研究

为了有效地处理工作流系统中的动态变化,文章阐释了工作流的基本概念,给出了动态工作流的定义,提出了动态工作流的修改策略,并阐述了jBPM工作流引擎的多种实例迁移方法,对实现工作流的动态管理有一定的指导意义。

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

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

基于ZigBee的传感器网络的节水灌溉控制系统的研究

本文构建了一种基于ZigBee无线传感器网络的节水灌溉控制系统,并给出了系统的网络体系结构,重点研究了无线传感器网络的自组网过程;该系统能够监测植物土壤水分的变化,通过无线传感器的反馈数据对植物采取有效的节水灌溉措施。