不确定信息的数值表示和计算方法

在现代自动化生产系统,指挥控制系绕和人工智能系统中,所用的信息是不确定的。已经发展了两类表示不确定信息的方法,即数值的和非数值的方法。本文对数值法中最常用的方法,包括概率法,确定性因数法,证据论和可能性理论的概念和计算方法做了较深入的论述,并对各种方法的优缺点作了比较。     

多副本的分布通信管程

多副本的分布通信管程是多机系统中使用共享变量进行通信的一种软件设施。本文讨论了多副本分布通信管程的设计思想,提出管程及其调度过程的实现方案。     

计算机信息系统

信息是人类社会中最普遍的共享资源，信息系统是人类社会的基础结构之一，计算机信息系统是现化文明的一种主要标志．本文就计算机信息系统对社会进步的重大作用，它的组成和分类，开发过程及其控制，系统分析，当前的进展状况以及存在的主要问题，作了综合性的论述。     

使用实例的重新工程化方法

目前重新工程化方法已被广泛用于旧系统的改造和提高企业的竞争力，本文结合重新工程化的具体特点，把使用实例的面向对象的软件工程方法引入重新工程化工作中，形成一个一致的重新工程化方法，并把该方法集成到系统开发过程中，提出了一种新的系统开发方法论。     

多传感器数据融合的研究现状

文中概要阐述数据融合问题的起源、概念及功能模型；综合评估现有的各种融合方法；全面分析数据融合的研究现状；并指出这一领域当前研究的困难和今后发展的趋势。     

智能武器发展预测

武器装备发展的总趋势是智能化，1991年的海湾战争中，已用了少量的智能武器，效果很好，本文对武器装备智能化的标志，智能武器的发展概况，智能化的基础技术，交叉技术和主导技术，以及未来三十年智能武器发展水平的预测等方面，做了全面的讨论，对三种主导技术，即专家系统，智能机器人和神经网络，在智能武器发展中的作用，有较详细的论述。     

一种新的分布事务处理模型与协议

本文提出了一种适合于当前网络环境客户机／服务器应用方式下的分布事务处理模型及基于远程过程调用（ＲＰＣ）的实现协议。分析与实验表明它不仅满足客户机／服务器 应用的具体特点与要求，而且可以克服各种两段式提交协议中由于协调者故障造成的阻塞，同时避免了三段式提交等协议为解决阻塞而引起的开销过大、实现复杂等问题。     

客户机／服务器模式下基于远方过程调用分布式事务处理的…

详细分析了客房机／服务器应用环境下分布式事务处理的特点与要求，提出了适应客户机／服务器模式的分布事务处理模型及基于ＲＰＣ的实现协议。     

需求分析中的可跟踪性问题

需求分析中的可跟踪性问题和系统开发中的各阶段之间的平滑过渡问题是一个一致的问题。本文首先讨论保证需求可跟踪性的五个要素，分析了功能分解方法和Ｙｏｕｒｄｏｎ结构化方法在可跟踪性问题上所表现出的特征及存在的问题。最后，讨论了一些面向对象分析方法对可跟踪性的支持程度，还指出了非形式化跟踪技术的实用性。