基于能力的工作流任务组织化

为解决一般工作流模型中"活动-成员"的紧耦合链,改进任务分配的柔性和适应性,提出了工作流活动和成员的能力概念.描述了能力本体模型和基于能力的任务组织化原则,建立了"活动-能力-成员"三层结构的过程元模型,给出了一系列能力匹配策略的形式化描述.上述概念和方法在开放边界工作流系统ABCflow中得到应用和验证.      

组合Web Service支撑系统的研究与实现

为实现Internet环境下企业间的业务过程集成,分析、研究了业务过程集成的基本功能需求及Internet环境下业务过程集成的新需求,讨论了组合Web Service支撑系统的原理及其体系结构.该系统为组合Web Service提供了定义、部署、运行及监控管理等较完善的功能支持,并利用服务的动态组合机制解决了Internet环境下跨企业业务过程集成动态性要求高的问题.      

基于UDDI的应用服务注册中心的设计与实现

Web服务是当前基于Web的分布式计算与应用的关键技术基础.通用描述发现集成协议(UDDI)是Web服务的核心技术标准,提供了Web服务的信息注册查找规范,解决了Web服务的描述、发布以及查找问题.UDDI规范仅提供了标准接口及数据结构,缺乏对UDDI注册中心的安全性、可管理性等明确的定义和实现机制.基于Web服务及UDDI技术分析,设计实现了基于UDDI的应用服务注册中心(ASC).ASC由ASC客户端、ASC服务器、ASC管理控制台组成,支持Web服务的发布、查找、管理等操作.根据实际应用需求,设计并实现了发布者声明关联匹配算法,扩展了UDDI标准的应用编程接口,提供了安全、管理等功能,形成了一个具有较强安全性和易管理性的应用服务注册系统.     

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

战斗机对地攻击作战效能分析

运用马尔柯夫过程理论,建立了战斗机攻击地面目标的战场想定和数学模型.通过分析战斗机的作战生存特征、打击能力和所使用的进攻战术以及各种战场防空武器系统的物理特性和损伤机理,评估了任务成功率、目标被毁率、飞机损失率以及与费用相关的最优战斗时间等作战效能指标.给出了战斗机对地攻击作战效能的计算实例.结果表明所建模型客观地描述了对地攻击作战的实质.     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

战斗机的体系对抗分析(英文)

体系对抗分析是武器系统作战效能研究的最高层次。本文建立了空对空作战体系对抗的物理模型 ,基于多元兰彻斯特平方律方程 ,给出了不同空战武器战术交战的数学模型 ,考虑现代战争的高技术特征 ,发展了战役优势参数概念 ,使其更加准确地反映空对空作战的实质。以数学模型和战役优势参数为核心 ,采用随机分配目标战术和战斗机对空作战能力指数 ,完成优势评估、进程预测和配置优化等体系对抗问题的计算分析。结果表明 ,具有发展特征的经典作战理论仍能在新的应用中发挥重要作用。     

IPSec设计及实现

IP安全协议IPSec是一种可无缝为IP引入安全机制的协议套件,是目前唯一一种适用于所有Internet通信的安全技术,它除适用于目前的IP版本(IPv4)之外,也适用于下一代IP(IPv6).分析了IP安全协议的体系结构,对IP安全协议的实现方式、各个组成部分进行了讨论,给出了IP安全协议的实现机制及其应用方式,最后简单地探讨了IP安全协议的局限性和未来发展的方向.      

一种双方不可否认的密码协议及应用

在数据通信中,数字签名技术保证了数据发送不可否认性和数据完整性,而接收数据的不可否认性在安全通信中也是极为重要的.近年来,实现这类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而可信第三方的可靠性和安全性是系统性能的瓶颈.文中提出了一个双方不可否认的密码协议,这个协议解决了可信第三方的性能瓶颈问题,是一个更有效率的密码协议,最后探讨了它在电子邮件中的应用.      

领域分析与建模研究

基于信息论通信系统原始模型构造了由信码、动作和目标刻画的三维领域概念模型,给出了领域的精确定义.提出用于构造任意构件的基本单元--微构件模型,并在领域三维模型的信码-动作平面给出微构件的精确刻画.提出了基于软总线的一般领域构架建模方法.软总线支持构架内信息流与控制流的混合结构传输,支持把协作策略从功能服务中分类出来,简化领域构架的控制操作行为.以上方法应用于电子政务领域工程实践,已成功地构造了一个柔性软件生产平台(SoftProLine),用于开发一整套基层政府的电子政务应用软件系统,突出地体现了高质量、高效率、高柔性的技术特点,方便灵活地满足用户全方位的需求.