基于角色的动态工作流模型的研究

针对电子政务系统的实际需求和传统工作流技术的局限性,对工作流管理模型进行了扩充,提出了一个基于角色的动态工作流设计模型.     

一种工作流访问控制安全模型的研究与设计

工作流技术广泛应用于电子政务系统中,但工作流系统中的访问控制问题却没有引起足够重视和得到有效解决。本文根据工作流系统中的访问控制安全需求,提出和设计了一种新的安全模型,为工作流系统提供安全管理和授权设置,提供保密性和完整性强制访问控制。     

网格工作流中协同机制的研究与实现

对计算机支持的协同工作(CSCW)和工作流进行了深入探讨.在分析网格工作流特点的基础上,提出了网格协同工作流参考模型,并详细分析了基于协同上下文概念的网格协同工作流的协同机制及其实现方法.最后,给出了此协同机制在银行贷款系统中的应用实例.     

工作流模型验证及分解的多项式算法分析

基于工作流的Petri网结构化建模方法,证明了工作流网的T-不变量和P-不变量的存在性、可覆盖性,给出了一个工作流模型完整性的充要条件,进一步得到了基于T-不变量的多项式分解算法,与以往非多项式分解算法相比,克服了遍历的不足,降低了算法复杂度,给出的实例验证了算法的有效性.     

面向服务工作流补偿机制的研究与实现

为了解决面向服务工作流中异常的动态补偿问题,在传统工作流异常处理理论的基础上,结合Web Services的事务处理的特点,提出了基于工作流执行日志实施补偿的策略.补偿过程包括补偿判断、补偿路线产生和补偿行为调用,异常管理器控制补偿的执行过程.因为服务具有动态调用、动态执行特点,异常管理器需要在业务运行时依据工作流基本模式和事务依赖关系确定补偿范围,动态生成补偿路线并调用相应的补偿操作.为了验证补偿策略的可行性和正确性,实现了基于Web Services的原型系统WFCF.实验表明,该机制在失效补偿范围和补偿行为调用2个方面提高了工作流异常恢复的效率.     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

基于Petri网的工作流时间建模

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法.并以某一检查案例为工作流模型,进行了工作流建模和时间性能分析.     

基于工作流的政务业务协同平台设计与实现研究

分析了以公共财政中养老基金的发放为例的业务协同流程案例并建立了业务协同流程服务模式.阐述了政务业务协同平台的设计和实现,在省内以公共服务平台的形式解决了跨地区、跨部门、可变流程的政务业务协同问题.     

一种实现动态负载均衡的多机情报并行处理方法

为提高C4ISR系统处理战场情报的能力,结合海上信息系统研究,提出了一种满足舰载信息基础设施要求的动态可配置高可用多机情报处理体系结构和并行处理方法.该并行处理方法以一种基于负载均衡原则的情报分片策略为基础,设计了一种动态负载均衡的情报处理算法.算法解决了多机系统在需处理的情报分片内目标数量动态变化时出现的计算节点负载不均衡的问题.实验结果表明,该情报处理方法在降低情报处理时延以及提高并行处理加速比上均有显著改善.     

发动机逆向燃烧系统的误差分析

文章讨论了硅胶拓膜和剖切燃烧系统的方法,采用逆向工程技术,通过德国GOM公司的ATOS非接触式扫描仪完成燃烧系统的点云数据采集;详细介绍了利用Geomagic Studio逆向软件进行模型重建的步骤,指出造型过程中的要点,最后生成逆向燃烧系统模型,并进行生成模型与理论设计模型的误差分析对比,根据误差分析结果,确定逆向燃烧系统的可行性方法.