FY-1C/D极轨气象卫星的运行和应用

简要介绍了风云一号(FY-1)C，D极轨气象卫星的运行情况。运行期间，在洪涝、火情、干旱和积雪等自然灾害的监测服务，沙尘暴、大雾和海冰等环境监测服务，全球资料应用，以及天气分析方面发挥了重要的作用．并可提供气象卫星数据的共享服务。两星在大范围自然灾害监测和评估等领城取得了显著的社会和经济效益，并在国内国际产生了重大影响。     

中介模态逻辑MS4的表推演系统

中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为程序计设语言之逻辑基础之一的中介模态逻辑的自动推理理论与实现的研究还很不够。本文系统地讨论中介模态逻辑ＭＳ４的自动定理证明理论，构造了中介模态逻辑ＭＳ４的表推演系统，由于该系统采用“与或树”的表达方法，因而不产生“遗忘问题”；     

用PROLOG实现数据库智能检索系统DBINRES

本系统将人工智能技术与数据库技术结合起来,建立逆向演绎的推理机构,实现数据库智能检索。采用“分类树”技术组织数据库;应用最小平方估计法建立有效的启发式评价函数,在此基础上变传统的深度优先搜索为启发式图搜索,从而有效地提高了系统的效率。由于采用MICRO-PROLOG语言编制,本系统具有较强的逻辑推理与检索能力。     

热管辐射器设计,试验及其在通信广播卫星上的应用

首先介绍了热管辐射器的计算及优化设计的理论。制作了两个铝蜂窝板热管辐射器单元试件，一个是热管预埋的，一个是热管外贴的。通过试验比较了这两种形式辐射器，并验证了理论计算。还介绍了用于广播通信卫星行波管散热用热管辐射器的设计及太阳模拟热平衡试验结果。     

飞行员航路选择参谋系统

飞行员航路选择参谋系统是新一代飞机的飞行员电子参谋系统重要组成部分。飞行员航路选择参谋系统能在复杂环境和极短的机动飞行中,快速而正确地作出航路的最优决策。 本文叙述航路最优选择的原则及计算方法,同时也叙述采用人工智能搜索方法处理上述问题。所采用的方法:深度优先、宽度优先和最佳优先。 本文简短地叙述Lisp程序搜索过程。最后,说明在较多的飞行目标情况下采用最佳优先方案是适宜的。     

单频GPS动态相对定位的模糊度逼近/搜索解法

针对目前实时动态定位(RTK)中常用搜索解法可靠度不高的缺点,利用各历元诸双差方程所形成的法方程,对其进行解耦处理以便于实时计算.在此基础上综合了逼近、搜索两种解法各自的局部优势,构成了逼近/搜索的联合解法.实际测试表明,该算法在单频全球定位系统(GPS)载波相位差分的动态相对定位过程中,用2～3min的时间即可可靠地在航解算出整周模糊度.     

一种实时红外地球敏感器信号源的研制

介绍了一种为地球静止卫星用的摆动扫描式红外地球敏感器研制的信号源的基本原理和硬、软件结构；给出了具体的软件实现方法。通过对计算过程的简化、改进，充分利用硬件，特别是８０３１单片机的资源，使信号源的性能能够更好地满足实时工作的要求。     

基于归结反演和中间—结局分析的机器人问题求解系统(RPRAMS)

RPRAMS系统是一个有效的机器人规划生成系统,该系统集问题求解的三大技术于一体,建立了搜索、演绎、归约相结合的有效机制;采用排序技术和回归原理解决目标相互影响问题;系统具有灵活的人机接口和机器人世界的动态显示,采用Common Lisp语言编写,可适用于仓库机器人工作环境。同时,本文对AI的基本算法——中间结局分析法作了较深入的探讨,证明了用归结反演树产生差别的有效性。     

医学专家系统开发工具BFBEST的设计方法

本文详细描述了医学专家系统开发工具——BFBEST(Blackboard Framework Based Expert System Development Tool)设计方法和技术。包括知识获取方法和知识表示方法,推理机的设计,开发机的设计,以及系统解释功能与自学习功能的设计等。BFBEST是在IBMPC上采用Turbo-Prolog语言研制成功的。利用BFBEST能很方便地生成各种高性能的医学专家系统。     

综合火力/飞行控制系统的仿人智能控制

本文介绍了综合火力/飞行控制系统的仿人智能控制。首先给出了智能控制系统的数学模型,然后较深入地研究了耦合控制器的结构与设计,详细地论述了控制器中各功能模块(特征识别模块、知识库、规则库、数据库、推理机等)的原理与设计内容,并讨论了相应的控制模式的选取及特征模型的划分,最后对包含耦合控制器的系统,考虑不同的飞行状态条件,进行了计算机仿真。仿真结果表明,所设计的智能控制结构能很好地模拟飞行员的控制行为并具有满意的控制品质。