黑板框架的知识表达方法

本文介绍了黑板框架知识表达方法的设计思想和技术。黑板框架是由框架、知识源和黑板模型组成,是产生式规则、谓词、框架等多种知识表达功能的组合形式,它将知识表达和知识处理结合成一体,既能表达静态的知识,又能表达动态的知识;既能方便地表达断言性知识,又能自然地表达结构性知识。表达功能强、灵活性大;方便知识调度,加快推理速度,提高推理效率;方便知识获取并有利于机器学习。 黑板框架是一种能表达特定领域复杂知识结构的良好的方法,具有表达充分、推理充分、推理效率和获取效率高的特点。 文中还对目前各种知识表达方法进行了评价,对黑板模型、知识源、黑板框架的概念进行了描述,并对黑板框架给出了严格的BNF定义。 黑板框架的知识表达方法,已在医学专家系统开发工具BFBEST中获得了成功的应用,并取得满意的效果。     

飞机失速/螺旋模型自由飞试验总体方案构想中几个问题的分析

本文对制定飞机失速/螺旋模型自由飞试验总体方案时必然会遇到的一些重要问题进行了分析,其内容涉及模型缩尺比例数 K 的最佳选取、确定飞机进入螺旋特征模拟高度 H_A 的依据、模型投放高度 H_m 的变化范围和试验模型质量 M_m 的控制问题。本文所作的各种分析和提出的原则对各种模型自由飞失速/螺旋试验研究具有普遍意义。     

月食过程月表太阳辐照和温度变化模拟

月食对月球轨道探测器的温度有重要的影响,分析月食时月表的太阳辐照和温度,具有重要意义。文章给出了通用的月表温度模型和月食时月表太阳辐照模型,根据某次月食的天文参数,用太阳辐照模型可求出月表任一点在月食时的太阳直接辐照变化过程,代入温度模型可求出任一点的温度变化过程。此模型和方法可用于对任何一次月食的分析,并以2007年8月28日的月食为例,模拟了该次月食的表面太阳直接辐照和温度的变化过程。     

日发射太阳研究卫星

日本M-5固体火箭9月23日在内之浦航天中心发射了“太阳”B（又称“日出”）卫星以及“北海道工业大学星”（HITSAT）1和“太阳帆子有效载荷卫星”（SSSat）2两颗微小卫星。“太阳”B重870公斤，由三菱电气公司制造，将用于测量太阳磁场，以更好地认识影响地球的剧烈的太阳活动。星上载有与美、英联合研制的光学、红外和紫外望远镜各一台，能对太阳磁场进行迄今最近距离的观测。它将在太阳同步轨道上运行3年，其中3／4的时间处于阳光直接照射之下。     

空袭目标威胁评估模型研究

以航路捷径、目标类型、机动特性、到达发射区近界的剩余时间，以及电子干扰为主要影响因素，结合多通道防空武器系统的特点，建立了基于层次分析法和模糊综合决策法的空袭目标威胁评估模型。用层次分析法确定各因素权重，以分段函数的形式给出权重系数。针对一给定的中程防空武器系统，用模糊统计计算各影响因素的隶属函数，并给出了模型的计算流程。仿真结果表明，所设计的模型能较准确地评估来袭目标的危险性，且具有较高的灵敏度。     

风云2号静止气象卫星工程简介

气象卫星是对地球及其大气层进行气象观测的遥感卫星。气象卫星按轨道不同，分为太阳同步轨道气象卫星和地球静止轨道气象卫星。太阳同步轨道卫星可以获得全球气象信息，如我国的风云（FY）1号气象卫星：地球静止轨道气象卫星可以对目标区域进行连续气象观测，如我国的风云2号气象卫星。两种类型的气象卫星相互补充、协同观测。目前除中国外，美国、俄罗斯、欧洲、日本和印度都先后发射了气象卫星。     

巡航导弹景象匹配算法适应性研究

针对景象匹配制导的需求，研究了去均值归一化、基于直方图拉伸和基于局部平滑相关匹配算法，分析了算法的适应性、计算量和实时性等，比较了每种算法的优缺点。结合巡航导弹的使用，讨论了影响匹配结果的一些基本的、可能的因素，主要是环境因素。用三种分辨率的图像作了大量的实验．针对这些算法的匹配概率及地物适应性等方面进行了编程验证和综合分析，给出了有关结论。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

构建无线自组网仿真场景

计算机仿真是测试评估网络协议性能的基本技术，而无线自组网技术是一项新兴的热门无线网络技术。目前为止还没有文章对无线自组网计算机仿真技术进行综合介绍。因此，本文以构建易用合理的无线自组网仿真场景为目标，从仿真软件、仿真场景和移动模型这三个方面综合说明了构建无线自组网仿真场景的相关技术。本文对三种通用网络仿真软件NS-2，Glomosim和OPNET进行了分析比较，介绍了无线自组网研究中几种典型的仿真场景，最后介绍了常用的几个节点移动模型，分析了移动模型存在的问题及解决方法。本文对构建无线自组网仿真环境具有指导借鉴意义。     

惯性制导系统误差补偿评估模型研究

对惯性制导系统误差补偿是提高导弹射击精度的简单有效途径，研究补偿效果的前提是系统误差模型和噪声模型的确定。通过研究飞行工作环境变化导致的系统模型差异，结合惯性制导实时补偿方法，提出了基于工程背景的误差补偿和补偿评估模型的选取方法，仿真分析表明此方法有利于验后误差系数的分离和补偿精度的评估。