黑板框架的知识表达方法

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

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

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

线性多变量系统闭环特征结构的最优配置

本文利用特征结构配置法所揭示的线性多变量反馈控制系统闭环特征值和特征向量的配置自由度,求解具有二次型性能指标的控制系统设计问题,使得闭环系统在具有任意给定的希望特征值集合条件下,性能指标达到极小。文中建立了最优二次型性能指标与闭环特征结构的关系,提出了逐个优化特征向量的算法,这一算法概念直观并具有较高的运算效率,可以推广到一般的特征结构优化问题。     

基于CORBA的固体火箭发动机多Agent系统

采用CORBA开发固体火箭发动机虚拟样机时，由于CORBA技术还存在一些缺陷，我们结合了Agent技术来弥补不足。采用Agent技术将各应用模块包装成为自包容的自治问题求解Agent，使其能对环境变化自主地做出响应。并基于目的采取行动。将多个A-gent按照组织学原理建立组织模型。即多Agent系统MAS(Multi Agent System)。各Agent通过CORBA的协作机制实现系统层次上的复杂功能。同时介绍了分布对象技术、Agent技术及多Agent环境。     

使用信息矩阵滤波的跟踪融合的性能评估

在多传感器环境下，每个传感器探测多个目标，接着产生相应的跟踪。这些跟踪可能互不相同，经过融合后，传感器生成有关目标的更精确的运动信息和属性信息。目前已有两种方法可以达到上述目的，一种是测量值融合法，一种是状态矢量融合法。众所周知，测量值融合计算法通常最优，但计算费时，而状态矢量融合算法计算省力却是次优。之所以如此，是因为从两个传感器中获得的待融合状态级估值，由于通常存在被跟踪目标的过程噪声，通常并非条件独立。值得注意的是，状态矢量融合已有三种计算法：加权协方差法、信息矩阵法和伪测量法。本文仅限于讨论状态矢量融合中信息矩阵形式的性能评估。利用信息矩阵计算法已经推导出稳态融合协方差的闭式分析解并作为一种性能的度量方法。注意，推导出的结果基于两个传感器同步工作且没有误关联的假设，或是在研究时考虑了融合测量值。并且我们将推导出的结果用蒙特卡罗仿真进行了比较，过去曾有许多作者利用蒙特卡罗仿真来预测融合系统的性能。这些结果有助于更加深入地了解跟踪融合的作用原理，并大大简化了对融合性能的评估。此外，有了这样的解，简化了对各种不同工作条件下设计融合系统的折衷研究。     

海杂波多不规则碎片特征

海杂波是指被雷达发射脉冲照射的局部海面的后向散射回波。由于复杂的海杂波信号取决于海平面上复杂的波浪运动，因此从非线性动力学角度来研究海杂波是合理的，尤其是用混沌理论替代简单的基于随机过程的观点。过去十年中加拿大McMaster大学的Simen Haykin博士带领的小组采用混沌理论，以非整数不规则碎片维数和正的李亚彭诺夫(Lyapunov)指数为特征的混沌吸引假设为基础，进行了海杂波数据分析，他们得出了海杂波信号具有混沌特征的结论。也就是说，复杂的海杂波波形是由几个模式(即自由度数)的非线性确知相互作用所产生的。但是以数字估计的非整数不规则碎片维数和正的李亚彭诺夫(Lyapunov)指数可能无法充分表示混沌特性。最近Cowper、Mulgrew、Noga和Davies都分别对雷达的海杂波混沌特性提出了置疑。在本文中，我们采用由Gao和Zheng提出的针对确知混沌的直接动态试验法来证明持续两分钟的海杂波数据不具有混沌特性，该试验法是低维混沌较精确的标准方法之一。同时我们也对这组海杂波数据进行多不规则碎片分析，可以看出原始海杂波的振幅信号近似于多不规则碎片模型，而由采集用以衡量海平面上连续波浪能量的振幅信号连续本地最大值所形成的包络信号，则完全满足多不规则碎片模型。产生这种差异的一个可能解释是，当时间标尺短得足以能够表示对应于海面上起伏的单个波浪运动的详细信号时，多不规则碎片的度量标尺就会被破坏。这些情况决定了振幅信号近似于对数正态分布，而包络信号，即海平面连续波浪的能量，则完全满足对数正态分布。以前已观察到振幅信号呈近似对数正态分布，而使用相乘多不规则碎片理论，就可以得到如原稿中讨论的那样，从理论上证明海杂波呈对数正态分布。海杂波具有多不规则碎片特征的结论对海平面上点目标的检测可能具有积极的意义。     

多体卫星复合控制物理仿真试验系统

对于具有星间链路天线的多体卫星而言 ,进行星体姿态和天线指向复合控制的地面物理仿真试验研究是一个重要课题。本文主要叙述利用单轴气浮台模拟卫星姿态运动 ,由天线框架驱动机构 (GDA)实物连接组成的多体卫星平面运动动力学环境下的物理仿真试验系统。     

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

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

耦合多体系统动力响应计算

由于弹性体与刚体之间的动力耦合，使得耦合多体系统的特征值问题非自共轭，难以用经典的模态分析方法解决含有刚、弹耦合多体系统的动力响应问题。本文以某多体系统为例，建立了耦合多体系统的特征值和边值问题的增广公式，进而求得了用正交的增广特征矢量级数表示的系统对任意激励的响应。     

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

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