一种工作流时间截止期限的动态验证方法

为了动态验证工作流中活动实例的截止期限,提出了一种基于关键路径进行动态验证的方法。该方法根据工作流图中选择分支和可跨越活动的选取情况,将工作流图分别描述成Ebf图、Ebs图、Ewf图和Ews图,并求得各图中的Ebf,Ebs,Ewf和Ews关键路径;根据当前时间和所得到的关键路径对后续活动的截止期限进行了动态验证。这种方法不必计算所有活动实例的截止期限,只需根据实际需要,针对指定的后续活动实例进行截止期限的动态验证,从而减少了计算量,提高了工作流的执行效率。     

基于工作流模型的资源配置优化方法

工作流模型在执行过程中所引用的资源数量可以被优化。当业务实例在工作流模型中的逗留时间受到约束时,假设每一活动的业务实例逗留时间服从负指数分布,给出了以资源单位时间消耗成本最小化为目标的求解最优资源数量的方法。分析了业务实例在工作流4种基本结构的逗留时间分布与在每一活动的逗留时间分布的关系,给出了业务实例在工作流模型中总逗留时间与各资源数量的关系。最后,给出了一个基于工作流模型的资源优化示例。     

基于工作流网的成批处理工作流模型挖掘方法

针对现有过程挖掘技术在解决成批处理工作流模型挖掘问题上存在的不足,研究了相应的过程挖掘方法。利用系统事件日志中活动实例的输入输出、开始与结束时间等数据,通过引入成批处理特征等概念来发现成批处理区及隐含的事件记录,并结合现有过程挖掘方法来挖掘成批处理工作流模型。该方法充分利用现有过程挖掘方法的优越性能,解决了支持成批处理工作流系统中的模型自动构建问题。通过仿真实验验证了该方法的有效性。     

一种工作流模型的时间性能评估方法

在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法.最后,通过一个实例阐明了如何使用该时间性能评估方法.     

工作流应用数据生命周期模型的提取方法

针对工作流管理系统中对应用数据的分析和研究需求,结合目前已有的工作流应用数据的研究成果,提出了一种应用数据的生命周期模型提取方法。该方法以WFD-net为输入,通过自动分析,得到各种类型的应用数据在工作流中随流程执行的状态变化情况,然后通过对状态变化情况的分析,综合得出流程中应用数据的复合对象生命周期模型。为了验证提取方法的可行性和正确性,开发了一套复合对象生命周期模型提取工具。     

基于时间约束的工作流进程的性能研究

时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限。开展时间管理研究对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义。这里的重点是通过确定关键路径的方法使尽可能多的工作流实例符合给定的截止期限。     

基于节点的工程图文档工作流模型

工程图文档工作流管理是计算机应用研究的一个重要领域，本文通过分析工作流管理技术和工程文档管理的特点，提出了基于节点的工程图文档工作流模型，并在此基础上建立了一个YH-WFM系统，实现了工程文档流程管理的自动化，提高了工程效率。     

分布式工作流中的自适应实时任务调度方法

为提高分布式工作流中实时任务的调度效率,提出了一种基于比例-积分-微分控制的自适应任务调度方法.该方法采用基于动态关键路径的任务分配策略把任务分配到不同的流程引擎上,并通过任务调度器对任务进行调度.任务调度器根据准入控制器和比例-积分-微分控制器的计算结果,采用弹簧算法调整流程引擎中实时任务的各项参数,以便让流程引擎处理尽可能多的任务.此外,为了防止系统的瞬时过载,自适应任务调度方法采用了准入控制策略.该策略根据系统当前的负载情况实时对进人系统的任务数量进行控制,保证了系统的稳定运行.     

一种时间工作流模型的启发式分析方法

立足于实际业务过程对工作流系统时间管理功能的需求，提出了一种新的工作流时间建模与分析方法。为工作流网的元素扩展时间属性建模业务过程的时间因素；讨论了时序业务环境中活动的可调度分析，给出了时序一致性验证方法；提出了启发式可调度性分析方法，用于验证某一给定工作流实例执行的时间可行性。研究结果表明，所提方法不仅支持业务过程的时间约束规范与验证，还对丰富工作流时间建模理论具有重要意义。     

基于语义推理的工作流结构验证方法

为了验证工作流结构方面的问题,提出和证明了过程结构验证等同定理和无环工作流结构验证定理,并在这两个定理的基础上,给出了基于语义推理的工作流结构验证算法。最后,在运算复杂程度、循环路由、死锁和同步丢失等4个方面,与其他验证方法进行了比较。     

基于面向对象赋时Petri网的工作流建模方法

介绍了一般Petri网代数表示的基本定义，分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中，形成了面向对象赋时Petri网模型，讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

基于工作流的多学科优化设计框架研究

多学科优化设计框架在飞行器外形设计领域发挥着至关重要的作用.针对国内缺少自主MDO框架的状况,基于工作流技术开发出一款MDO框架软件.该软件完全遵循软件工程思想,集成了多个学科分析工具链和多套优化算法,支持本地/集群模式的学科分析计算,并借助数据库实现了数据的持久性存储.针对某飞行器进行了多目标多学科的优化设计实践,结果表明该框架具有较高的自动化程度和良好的通用性.     

基于工作流的多学科优化设计框架研究

多学科优化设计框架在飞行器外形设计领域发挥着至关重要的作用.针对国内缺少自主MDO框架的状况,基于工作流技术开发出一款MDO框架软件.该软件完全遵循软件工程思想,集成了多个学科分析工具链和多套优化算法,支持本地/集群模式的学科分析计算,并借助数据库实现了数据的持久性存储.针对某飞行器进行了多目标多学科的优化设计实践,结果表明该框架具有较高的自动化程度和良好的通用性.     

基于petri网系统规约的工作流建模验证

本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。     

基于蚁群算法的LED分拣路径优化

提出基于蚁群算法对LED芯片分拣路径进行优化。对分拣工作芯片块间移动策略进行分析,降低盘片变形。在此基础上采用蚁群算法,建立分拣路径的全连接无向图并对分拣时间、分拣路径模型进行建模和优化。对蚂蚁数量、蚁群算法的时间复杂度、信息素挥发因子等参数进行优化。试验表明,该方法与传统方法相比能够缩短分拣时间,提高效率,为LED芯片分拣路径规划提供了一种有效的方法。     

基于Web工作流的质量控制系统模型的研究

针对传统工作流对动态联盟企业分布式异构环境支持不足和难以标准化的缺陷,采用Web Services技术建立了支持动态联盟企业协同的Web工作流模型,研究了模型的体系结构、基于WSFL的工作流元模型描述,以及任务分解策略与协调控制机制。在此基础上设计了面向制造过程的质量控制系统模型,对系统与平台的集成策略、质量信息的统一表示等技术加以研究,可以满足联盟企业的跨平台系统重组、协调、信息交互和质量控制等要求。最后,以卫星的合作生产实例验证了模型的有效性。     

服务工作流中基于资源约束的服务选取方法

在面向服务的工作流管理系统中,目前多采用难以准确获取的服务质量信息来选取服务,忽略了基于业务去选取符合需求的服务。通过对资源约束间的相关性、约束满足的时效性等性质进行分析,提出基于资源约束满足性的服务选取方法,并给出了具体算法。该方法将工作流模型中描述的约束条件分离出来,并在运行时和服务选取之前判定其满足性,从而可以选取满足业务需求的服务。实例分析表明该方法具有很强的通用性和实用性。     

动态实例建模模式的柔性工作流模型研究

传统的两阶段工作流工作模式严重阻碍了工作流柔性的提高,从生物适应的角度,提出了一种基于动态实例的柔性工作流建模模式,该模式下的工作流模型能够通过在不同环境中的实例实现工作流柔性;给出了该模式下柔性工作流活动的可扩展属性、方法和动态控制连接弧等的形式化描述;基于自主计算技术引入了嵌入柔性工作流活动的自主元模型,使用基于加权因子的可信度方法对自主元的推理知识表达,提高了柔性工作流的智能性;给出了动态实例建模模式柔性工作流完备性原则;最后给出了一个柔性工作流建模和自主元知识推理的实例,并对实例的完备性进行了分析。     

基于反应-扩散模型的连续体结构拓扑优化仿生方法

通过反应-扩散模型和有限元方法的耦合建立了骨重建数学模型。通过像素单元的添加和删除准则,把骨重建过程转化为材料形成和材料被吸收过程,对连续体结构提出仿生拓扑优化计算方法。再次对连续体结构拓扑优化中广泛被应用的Michell型结构进行拓扑优化计算,以及将其结果与其它几种拓扑优化方法进行比较,验证了文中方法的有效性。最终在两种不同边界条件下对长悬臂梁模型进行拓扑优化计算,获得规则性和对称性的拓扑形式。     

基于扩展P/T_系统的工作流模型及执行算法研究

根据PetriNet理论提出了基于扩展P／T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能。实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能。