摘要：提出了基于互操作协议的层次式RTI服务器的设计思想 ,给出了层次式RTI服务器YH mRTI的体系结构 ,在此基础上介绍了YH mRTI各管理服务的实现技术 .由于YH mRTI中多个RTI可以并行执行 。

摘要：OMG通告服务为对象之间提供强有力的解耦通信支持,是CORBA提供的重要服务之一。目前很多应用需要对象之间的通信具有实时性,而现有的通告服务规范已不能满足这种需求。为此,设计并实现了具有实时功能的通告服务,提出了一种实时通告服务的体系结构,讨论了实时通告服务系统的实现技术。

摘要：在知识表示领域如何理解面向对象的程序设计（ＯＯＰ）仍是一个需要深入探讨的问题，本文基于知识表示假设提出“对象作为智能主体”的思想，其中智能主体是封装知识的表示结构与处理方法的统一载体。在此基础上，文章结合我们开发的一种面向智能主体的程序设计（ＡＯＰ）语言ＲＯＯＴ和三个聪明人问题，讨论了人工智能（ＡＩ）软件开发的ＡＯＰ方法。

摘要：近年来,软件的可信性成为软件质量的焦点,对软件可信性的分析、度量和应用支撑成为热点问题.对软件实施有效的监控是提升软件可信性的一种重要途径.然而目前的研究工作主要集中在软件编码以及相关技术的实现层,缺乏一套系统的软件体系结构设计方法以指导、支持运行监控的可信软件的分析和设计.通过引入面向侧面的软件体系结构设计方法及其相关概念,文中提出一种支持运行监控的可信软件体系结构设计方法.在支持运行监控的可信软件构造模型TSCM的基础上,利用一种面向侧面的体系结构描述语言AC2-ADL描述具有监控能力的软件体系结构,试图为分析和设计具有监控能力的系统的软件体系结构提供一种有效的解决方案.通过结合网上拍卖系统的案例展示该方法的主要步骤和结果,讨论了研究中存在的问题和进一步的工作.

摘要：提出用多样化动态漂移的技术途径实现网络生存设计的方法。分析该技术对网络安全、网络生存的影响 ,并给出了该技术的体系框架。指出这个研究具有前瞻性。

摘要：研究高层体系结构中的死锁问题对于正确理解HLA标准中的时间推进机制、设计运行支撑平台RTI软件中的时间推进服务、以及开发基于逻辑时间的HLA/RTI仿真应用等都具有重要的意义.论文从零前瞻值、时间推进服务、时间管理算法以及死锁的解除等方面对分布式仿真中的死锁问题进行了多方面的研究,探讨了死锁发生时系统所具有的一系列现象,论证了发生死锁和不可能发生死锁时的各类情形.论文揭示了一个带有相当普遍性的原理,即“水平面原理”.该原理表明:当死锁发生时,所有程序都无法向前推进而处于相对静止状态,犹如平静的水面一样.在HLA/RTI仿真中表现为处于死锁状态的所有程序具有相同最大可用逻辑时间,此时所有程序均无法继续向前推进.

摘要：分布式客户／服务器计算环境是90年代分布处理的主流计算环境．应用需求的发展使分布式客户／服务器计算环境面临许多新的技术问题，包括应用级系统集成问题、智能服务问题和支持协同工作问题等等．本文以银河分布式客户／服务器计算机系统YHCS为背景，讨论YHCS分布计算环境的构成及主要设计技术．该环境以系统集成技术为重点，在解决上述3个技术问题方面取得了重要进展．

摘要：说明性语义是逻辑程序研究的重要内容,也是其作为说明性程序的基本特征。近年来由于人们对带否定前提的一般逻辑程序设计的关注,以及逻辑程序与非单调推理的结合,逻辑程序的语义研究出现了许多新结果。本文以早期的Clark语义和最小模型语义为起点,介绍这些新发展的部分内容,主要包括Clark语义的Fitting 3-值扩充,理想模型语义、稳定模型语义、良基模型语义以及它们之间的关系,并在此基研上进一步讨论了说明性语义在逻辑程序设计中的地位和作用。

摘要：说明性语义是逻辑程序研究的重要内容,也是其作为说明性程序的基本特征。近年来由于人们对带否定前提的一般逻辑程序设计的关注,以及逻辑程序与非单调推理的结合,逻辑程序的语义研究出现了许多新结果。本文以早期的Clark语义和最小模型语义为起点,介绍这些新发展的部分内容,主要包括Clark语义的Fitting 3-值扩充,理想模型语义、稳定模型语义、良基模型语义以及它们之间的关系,并在此基研上进一步讨论了说明性语义在逻辑程序设计中的地位和作用。

摘要：在现代战争理论中,如何对综合火力打击计划方案实现有效评估成为一个重要研究方向。在深入调查和研究的基础上,提出系统需求,然后结合当前仿真趋势和技术,设计了综合火力打击仿真系统的体系结构、逻辑框架和信息流程图,详细分析了综合火力计划中的基于标准体系的评估模型和毁伤模型。对于建设同类仿真系统具有重要的参考意义。