知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

数据库系统安全模型的设计

本文首先分析了有关数据库安全所需要解决的几个问题,并基于 discretion 和mandatory 存取策略,以及完整性和数据库加密策略,提出了一个较完整的数据库系统的安全模型。     

变增益模糊控制器

本文导出了选择比例因子的定量约束条件。以此约束条件为基础,论述了选择比例因子时存在的难以同时兼顾控制系统动态和稳态性能的问题。提出用变增益的方法实现模糊控制。数字仿真结果表明,该方法比通常的固定增益模糊控制具有动态特性好,稳态误差小,以及对被控对象参数变化适应性强等优点。     

数字化战场的视频传输初探

通过分析数字化战场对视频信息传输的需要,结合数字视频信息传输的关键技术,指出在装甲数字化部队的战场信息传物系统中,应在窄带传输的基础上发展宽带传输,采用以数字微波扩频通信系统为主的无线通信来保中数字化战场的视频传输.     

双基地中两坐标收站的三维定位跟踪算法

文中讨论了Ｔ／Ｒ—Ｒ型双基地系统中无俯仰信息收站对运动目标的三维定位跟踪能力;通过若干观测点上测量数据的组合,较好地实现厂对运动目标的三维定位跟踪,从而可以将目标的高度信息从变化的距离和之差的测最值中提取出来。文中以仿真手段证明了这种方法的可行性。     

目标选择优化模型及算法

提出了可用于大威力武器火力分配的目标选择优化模型及算法。内容包括：问题的数学描述、问题的等价变换与分解、问题求解的动态规划算法和不同算法的计算次数比较。     

野战防空作战系统的仿真策略

在分析野战防空作战系统特点的基础上,讨论该系统的仿真策略,提出了主动实体交替扫描的仿真策略,并给出了非形式化的描述。该方法体现了事件调度法和活动扫描法的优点,使之更适合于仿真带有对抗性离散事件系统,因此,对其它作战系统,尤其是战术C~3I 系统的仿真,也是适用的。     

野战防空C~3I与防空兵作战指挥控制

陆军防空兵自动化指挥系统已作为防空作战效能“倍增器”列入国家军装武器发展规划,并在近期可能交付防空部队使用。这一新装备、新技术的出现和发展必然会引起防空作战指挥的变化。在分析防空兵指挥自动化对防空作战指挥影响的基础上,对如何发挥防空兵自动化指挥的防空作战效能和防空兵指挥自动化需迫切解决的一些问题加以探讨。     

社会系统运行理论与我国现阶段政策的制定

本文阐述了社会系统运行理论的初步框架,并以其分析社会系统的组织化状态与政策在其自组织中的功能;在剖析不同类型经济系统利弊的基础上,提出了我国现阶段政策制定的基本思路。     

TURBO PROLOG 2.0开发环境的汉化

本文讨论了目前广泛使用的编译型逻辑程序设计语言TURBO PROLOG2.0开发环境的汉化问题。文中分析了TURBO PROLOG 2.0显示程序的一些特点以及目前使用的汉化版本存在的几个主要问题和汉化时应注意的几个问题,最后给出了2个典型程序段汉化的例子。