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

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

世界防空导弹市场发展分析

以世界防空导弹型号为研究对象,概述了世界防空导弹市场的总体发展现状,分别对便携式防空导弹、中低空中近程防空导弹和中高空中远程防空导弹市场现状进行了分析。预测了未来１０年世界防空导弹市场的发展趋势。     

基于系统关联分析的装备维修费用的灰色系统预测研究

利用系统分析的方法对影响装备维修费用的因素做了分析．使用灰色关联分析的方法讨论了影响装备维修费用的主要因素．通过灰色ＧＭ（１,１）建模,给出了装备维修费用的预测．     

舰船动力系统优化设计方法展望

简述了舰船动力系统优化设计的思想与内容,研究了舰船动力系统优化设计的理论与方法,提出了综合集成设计、智能优化设计等未来舰船动力系统优化设计的概念与方法     

Web与数据库互连技术研究

针对Web与数据库互连技术的重要性,重点研究了采用CGI、IDC、JAVA、ASP这四种技术实现Web与数据库互连,并对其进行综合比较。     

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

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

固定形式的变结构控制对应的趋近律

对固定形式的变结构控制对应的趋近律进行了研究,分别推导出用全部状态构成的控制、用部分状态构成的控制以及形式为u＝ueq＋ud的控制所对应的趋近律．     

舰用监控装置的最新技术-MCS-5监控系统

对德国MTU公司新近推出的MCS－5监控系统进行了分析,并同MCS－4监控系统进行了比较．对MCS－5监控系统在组成、原理和性能诸方面的特点作了说明．     

潜艇 AIP 研究选型的系统分析

通过对几种潜艇ＡＩＰ的系统分析与评价,提出了潜艇ＡＩＰ研究选型的建议．     

制冷空调系统的模糊控制与模拟仿真

在制冷空调系统中采用电子膨胀阀（ＥＸＶ）代替传统的热力膨胀阀后,为各种调节控制技术的应用提供了广阔的前景．作者介绍了模糊控制器的设计及在制冷空调系统中的应用前景,并通过Ｍａｔｌａｂ工具包中的Ｓｉｍｕｌｉｎｋ软件进行模拟仿真,验证了模糊控制器的控制特性．