Groupflow：解决群组成员协作问题的工作流原型系统

实际的业务流程管理中，多组之间的协作日趋频繁。WFMC并没有提及各工作流管理系统间的多组协作。本文提要一个解决群组协作问题的工作流原型系统Groupflow，并介绍基于这个原型系统的支持多群组协作的工作流管理系统及其实用性。     

工作流中时序约束正确性验证

分析了工作流管理系统中主要应该考虑的时间问题，然后建立了一个工作流时序条件有向图模型，在该模型基础上进行了一些关于时序逻辑推理问题的研究，提出了4个推理规则，同时提出了验证工作流活动时间约束正确性的一些必要条件。研究结果表明，所作的工作对于工作流管理系统的时间建模，监控和性能评价有一定的参考价值。     

消除子句冗余的算法及复杂性

本文讨论了知识子句表示的冗余消除，着重讨论了子句中冗余文字的消除的民政部压缩是消除子句文字冗余的一种重要类型除对这种类型的问题的可判定性以及复杂性结果进行讨论外，本文还给出了压缩问题的一个子问题的多项式算法。     

有噪声的BB84量子密码协议的改进

把量子力学应用到密码学中产生了一个新的学科———量子密码学。量子密码提供的密钥交换方式,能够自动检查是否有人在窃听,这是公钥体制所不具备的。该文对有噪声的BB84协议作了一些改进,以增强安全性、提高效率。这种改进方案对其它带有噪声的量子密码协议同样适用。     

互联网信息安全技术现状与发展趋势

随着Internet的迅速发展,网络通信越来越成为重要的通信手段。网络通信安全的理论与技术逐渐成为科学研究与技术开发的一个新热点,综合介绍了目前网络通信安全领域的几个主要方向,包括SSL协议、SET协议、证书管理中心（CA）系统及虚拟专用网（VPN）技术等,及其最新技术动态和技术成果,并对技术发展现状与趋势提出一些观点和看法。     

建立工作流数据仓库

工作流管理系统(WfMS)是允许定义、执行、监视和管理商业过程的软件平台。一个WfMS记录了在过程执行中发生的每一个事件,因此,工作流的日志包含了相当多的重要信息。通过分析这些信息,可以评估工作流的性能,了解影响工作流性能高低的原因,从而对工作流进行调整。本文提出一种方案对工作流的日志信息进行加工、综合,建立工作流数据仓库(WDW),然后根据在WDW中进行OLAP的结果,调整WfMS的运行。     

事件驱动的分布式工作流技术--在医疗保险信息系统中的应用

随着现代企业信息环境的异构性、自治性、分布性越来越明显,基于广域网技术和分布式计算技术、支持企业之间及企业内部跨地域协作的分布式工作流系统成为工作流技术发展的必然趋势和当今研究的热点。论文介绍了事件驱动的分布式工作流技术并将其应用于一个医疗保险网络信息系统的设计,给出了一个医疗保险分布式工作流系统的模型架构,并结合具体业务流程对实现过程做了简要描述。