乐观嵌套工作流事务模型的形式化描述

本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论：1）利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2）在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。     

基于工作流的作战计划管理系统的研究与设计

基于工作流的作战计划管理系统将作战计划的编制、执行和进度控制抽象成一系列能够用工作流所解释并执行的工作流程定义,通过具体的定义实现,由系统自动完成或在预先设定作战人员的参与下半自动完成。实现作战计划编制、执行、管理的流程化、可控化,提高作战行动计划执行的整体效率。     

Workflow balancing strategies in parallel machine scheduling

Workflow balancing on a shop floor helps to remove bottlenecks present in the manufacturing system. Workflow refers to the total time during which the work centres are busy. Idle time is not taken into account when calculating workflow. Earlier researchers have not specified the method for jobs to be executed in parallel in order to balance the workflow to each machine. In many manufacturing environments, multiple processing stations are used in parallel to obtain adequate capacity. In parallel machine scheduling there are m machines to which n jobs are to be assigned based on different priority strategies. The procedure is based on the idea of workload balancing and on balancing the workload among machines. In this paper, workflow and workload are assumed to have the same meaning. A machine with the lowest workflow is selected for assignment of a new job from the list of unfinished jobs. Different priority strategies are followed for the selection of jobs. Three different strategies are considered, namely random (RANDOM), shortest processing time (SPT) and longest processing time (LPT) for the selection of jobs for workflow balancing. The relative percentage of imbalance (RPI) is adopted among the parallel machines to evaluate the performance of these strategies in a standard manufacturing environment. The LPT rule shows better performance for the combination of larger job sizes and higher number of work centres or machines. A computer program was coded for validation in a standard manufacturing environment on an IBM/PC compatible system in the C++ language.     

地质—工程—经济一体化页岩气水平井井距优化——以国家级页岩气开发示范区宁209井区为例

为了最大限度地提高资源动用率,通常都采用一次性井网整体部署的方式开发页岩气,而水平井井距设计则是页岩气井网部署的关键。在确定最优井距时,既需要掌握地质特征和钻井压裂工艺,也必须考虑气价、成本等经济因素的影响,目前国内外均没有形成较为可靠的页岩气水平井井距设计方法。为此,首次建立了一种基于地质—工程—经济一体化的页岩气水平井井距分析方法,通过地质建模、数值模拟、现金流分析3种技术手段,使用最终可采储量(EUR)、采收率和内部收益率(IRR)等3项指标对四川盆地长宁—威远国家级页岩气示范区宁209井区的页岩气开发井距进行了综合评价。研究结果表明:①宁209井区在当前的地质、工程、经济条件下,井距大于240 m可以确保页岩气平台开发的内部收益率大于8%;②井距控制在330～380 m时,可以同时兼顾单井EUR、平台采收率和经济效益。结论认为,该研究成果支撑了该井区页岩气开发技术政策的制定,为其实现页岩气规模效益开发奠定了基础。     

ETL执行过程的优化研究

提出了一个ETL（Extraction-Transformation-Loading）优化框架并对ETL过程的逻辑优化进行了研究,把优化问题建模成状态空间搜索问题。每个ETL工作流看作一种状态,通过一系列正确的状态变换来构造状态空间,并且提出算法来获得最小执行时间的ETL工作流。理论分析和实践表明其具有良好效果。     

有色同步网及其在工作流过程建模中的应用

结合有色Petri网相关理论,提出有色同步网的概念,并应用其建立一个工作流过程模型——有色逻辑网（CL_net）。通过一个具体实例介绍了使用有色逻辑网模型描述业务流程的方法,同时采用绘制可达图的方法分析了业务流程的合理性,进一步说明了模型的实用性和可推广性。     

一种基于Petri网的时间工作流模型的研究与验证

时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。     

基于C/S和B/S结构的办公工作流管理系统的设计

在分析了基于Lotus Domino/Notes办公工作流管理系统的现状和存在不足的基础上,结合企业实际需要,提出了一个基于C/S和B/S双模式的办公工作流管理系统的设计思想,着重对双模式下软件设计、工作流建模和代码重用等问题进行了详细的讨论,并给出了相应的实现方法.     

基于角色的工作流访问控制模型及其实现

提出一个基于角色的工作流访问控制模型.模型的基本思想:由于工作流中的任务分别对用户和权限进行授权.考虑到任务对授权用户和授权权限的不同要求,采用两种不同粒度的角色分别作为这两种授权的中介.然后,提出一个三层的Wsession结构来控制工作流的运行并给出相关的算法.     

基于工作流的总体研制流程跟踪管理系统设计

为了满足高密度发射下总体设计研制进程管理的需求,提出并实现了基于工作流技术的总体研制流程跟踪管理系统,协同总体各专业对多任务进行设计,固化了研制流程模板知识库管理,解决了发射任务六大里程碑管理,通过与AVIDM系统计划管理模块和文档管理模块的集成,实现了对整个研制任务所有步骤进行统一跟踪、统一下发到AVIDM项目管理,最终完成研制任务的闭环管理,确保研制进度受控,减少研制风险。