领域分析与建模研究

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

非单调推理的研究与发展

分析了非单调推理产生的原因以及非单调推理与传统逻辑间的关系，讨论了其典型的两种研究方法及存在的问题，最后指出了非单调推理的发展前景。     

支持多种查询语言的演绎数据库系统

介绍并讨论了当前演绎数据库的理论基础及实现方法，提出了一种基于松、紧耦合相结合的实现机制；讨论了自行研制的演绎数据库系统ＤＡＣ中知识表示的两级模式，简单介绍了ＤＡＣ的总体结构及其功能模块、两种演绎查询语言，并给出了一种基于有向图的递归查询算法。     

战斗机的体系对抗分析

Analyses of the systematic confrontation between two military forcfes are the highest hierarchy on opera-tional effectiveness study of weapon systema.The physi-cal model for tactical many-on-many engagements of an aerial warfare with heterogeneous figher aircraft is estab-lished.On the basis of Lanchester multivariate equations of square law,a mathematical model corresponding to the established physical model is given.A superiorityh parame-ter is then derived directly from the mathematical model.With view to the high -tech condition of modern war-fare,the concept of superiority parameter which more well and truly reflects the essential of an air-to-air en-gagement is further formulated.The attrition coeffi-cients,which are key to the differential equations,are de-termined by using tactics of random target assignment and air-to-air capability index of the fighter aircraft.Hereby,taking the mathematical model and superiority parameter as cores,calculations amd analyses of complicate systemic problems such as evaluation of battle superiority,prog-mostication of combat process and optimization of colloca-tions have been accomplished.Results indicate that a clas-sical combat theory with its certain recent development has received newer applications in the military operation research for complicated confrontation analysis issues.     

一种保护敏感属性证书的披露方法

进一步研究了敏感属性证书披露问题,尝试运用密码学机制给出一个属性证书披露方案,增强安全保证,在一定条件下保护资源请求者和提供者双方的权利,该方案实现了以下特点: 资源请求者最终向资源提供方提交所拥有属性证书中的一部分;提供方可以获得这一部分证书但不能获得其余的属性证书;请求者无法得到资源提供方获得(感兴趣)哪些属性证书的任何信息;可根据双方协议,为不同的属性设置特定的限值,对于每一属性只有提供方参与成员(或权限)达到或超过这一值才可以获得或验证这些属性证书,同时保护双方的部分权利和隐私.      

基于Web服务的单点登录系统的研究与实现

随着分布式计算技术与应用的不断发展,基于动态、松耦合环境的业务流程将涉及到多个服务提供商,以致用户在完成这样的业务时需要面对多次登录的困扰.针对这个问题,分析了在分布式环境中基于Web服务的用户单点登录机制,并设计实现了Web服务应用支撑环境中的单点登录系统,使得用户只需登录一次即可完成复杂业务.      

XML数据安全系统的研究与实现

可扩展置标语言(XML,eXtensible Markup Language)正逐渐成为分布式计算的通用语言.随着XML的广泛应用,尤其是XML在电子商务中的广泛应用,XML数据的安全问题已成为关注的重点.分析了XML数据安全的特殊性,并在XML数字签名和XML加密技术的基础上,设计和实现了XML数字签名和XML加密系统.该系统能够对XML文档、XML元素以及任意二进制数据加密、签名,保证了XML数据的安全.      

演绎数据库的研究与实现

讨论了演绎数据库研究的必要性,然后分析了与其相关的理论和实现方法,提出了一种有效的演绎数据库系统DDBASE的实现方法。该系统在功能上分为一般DB操作和演绎推理两部分,并为用户提供一种数据结构独立、非过程化的自主型演绎查询语言(Deductive Qcerg Language),该系统已建立在IBM PC微型机上,实验结果表明:这种实验方法是行之有效的。     

面向工作流系统的生态组织模型研究

为了解决传统组织模型结构柔性差和缺乏主动变化的问题,总结了目前研究工作的缺陷,提出生态组织模型.描述了生态组织模型的基本要素,体现了对环境关联因素和实体变化特征的描述,建立了组织元模型和形式化描述.提出在工作流系统生态环境下描述和预测组织对象关联程度和变化倾向的研究方法论.引入序方法做为组织势态分析的数学工具,并且设计了一组预示实体变化倾向的势态参数.上述研究内容已经在开放边界工作流系统ABCflow中得到应用和验证.