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

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

方向矩异源图像匹配算法

全天候高精度导航与制导需要可靠的可见光与红外、可见光与合成孔径雷达(Synthetic Apeture Radar,SAR)的异源图像匹配算法。提出了一种基于方向矩的异源图像匹配算法:利用像素层次设计异源不变特征,描述像素点与其邻域各方向相似程度,通过统计比较各像素的相似性测度,实现不同传感器图像间的可靠匹配。进行了批量图像匹配实验,在可见光与红外、可见光与SAR异源图像间取得了超过90%的匹配正确率。较传统异源匹配算法,该算法大大提高了匹配正确率,在导航与制导领域有广阔的应用前景。     

红外图像强固定模式显著性噪声抑制

针对红外成像设备对天远距离观测中得到的小目标、强固定模式噪声这一类典型数据,提出基于显著性的红外图像强固定模式噪声抑制算法。对此类图像数据进行特性分析,指出图像中目标区域相对于背景固定模式噪声区域是显著的,利用显著性检测算法分离出图像中目标区域及背景,对不同区域分别采取不同处理,仅基于单幅图像信息实现强固定模式噪声的有效抑制。通过大量小目标、强固定模式噪声红外图像对算法性能进行测试。结果表明,本算法能够准确提取出图像中目标区域,实现图像中强固定模式噪声的有效抑制。     

机床智能加工的体系结构

智能制造技术是近年来兴起的一种新型制造工程,是机械制造的发展方向。由于其研究尚处于起步阶段,其体系结构尚未形成,其精确内涵也正在发展之中。本文就智能制造中的一个重要组成部分──智能加工,探讨了单台机床智能加工的基本概念与基本研究内容,提出了机床智能加工系统的基本结构,论述了各组成模块的基本功能与作用。     

精确测量薄层厚度的同态信号处理方法

针对精确测量薄层厚度的要求,本文提出一种新的同态信号处理的方法,这种方法在于得出被测信号能量谱ＥＳ的对数导数的付里叶反变换的包络。仿真结果表明,估计值与实际值非常相近。     

FORTRAN 程序的多任务分割

本文以数据相关分析为基础,详细地讨论了LOOP级多任务生成的几种方法,给出了FORTRAN循环可并行执行的条件,提出了需要注意的几个问题。在此基础上,本文提出了对FORTRAN 程序进行宏任务生成的一种新方法,并且考虑了实现多任务生成的几个编译问题。     

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

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

T/R-R 型双基地系统识别欺骗式假目标

本文提出一种利用T／R－R型双基地系统识别欺骗式假目标的方法。在给出双基地系统数据相关算法的基础上,提出了真假目标的识别准则,仿真实验表明,该方法在电子战条件下识别欺骗式假目标是行之有效的。     

增强型个人防火墙

信息时代 ,个人上网机的信息保护越来越受到社会的重视 ,个人防火墙就应运而生。首先简单介绍个人防火墙的原理和功能 ,在特殊IP的过滤和端口、漏洞和进程防护几个方面分析了当前一些典型的个人防火墙产品存在的缺点 ,提出了EPFW的概念 ,然后阐述了EPFW对个人防火墙的IP过滤、端口防护、漏洞防护、病毒防护和进程防护进行增强的设计问题、技术难点以及解决方法。这些都说明对于PC机信息保护而言 ,EPFW是一个可行的合理的解决方案。     

一种性能驱动的时序规划方法

在超级计算机体系结构设计阶段 ,有必要进行时序规划 ,以尽早判断设计方案和性能指标的物理可实现性。提出一种性能驱动的时序规划方法 ,采用适于组件性能描述的时序性能模型 ,并按照线网权重分配路径延时余量 ,算法具有效率高、延时分配合理的优点