雷达业务与技术勤务管理系统(RDMS)

智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

合同战术级军事专家系统研制

文中以合同战术级军事专家系统的实践为基础,以逻辑型语言为主要实现语言,描述基于黑板模型的问题求解策略,使用框架与产生式规则相结合的知识表示方法,以及运用基于预制文本与模糊文法的解释机制等。应用表明,本文提出和采用的方法与技术取得了明显的效益。     

网站建模与网站开发通用平台的研究

本文以管理部门组织结构为参照 ,以各种信息在线发布为重点 ,以信息网站自动生成为目标 ,给出了网站框架建模、信息组织和平台实现等方法与技术。相关研究成果已在各级军需信息网站建设中得到推广应用。