黑板框架的知识表达方法

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

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

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

悬挂发射装置的总体设计方法研究

以高压气体作为弹射能源为思路，研究了悬挂发射装置的动作过程和运动规律，提出了一套新型悬挂发射装置的设计方法。对近年来逐步发展的现代设计方法如何在悬挂发射装置设计中推广应用，指导新型悬挂发射装置研制的全过程作了阐述。本文考虑多种因素的影响，应用变质量系统的能量方程和牛顿第二定律建立气压传动装置的数学模型；将拉氏方法和机构动力学引入弹射机构装置的数学建模中，在求解考虑管壁摩擦和截面积变化的准一维非定常流守恒型方程组时采用算子分裂技巧来构造差分格式，本文将小波分析中奇异性检测理论应用到结构优化，对基于系统仿真技术的动力学参数，结构尺寸，气源参数和导弹重量等进行多目标全面优化，将小波分析中非线笥浮动阈值去噪理论应用到含噪试验的数据处理中，取得比传统降噪滤波及一般的小波和小波包逆变换重建信号更好的效果；将模糊数学理论应用到系统的可靠性分析和综合评判中，可以更好地完善系统的设计方案，运用弹射投放性能测试技术对悬挂发射装置的设计方案进行了试验验证。     

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

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

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

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

月球着陆器精确定点及安全着陆技术研究

在未来月球探测中,需要对一些地形复杂的区域进行探测,而在这些区域软着陆,潜在的危险性增加,这就要求着陆时具有较高的定位精度并能够自动避险。当前,由于着陆时定点的误差较大,在小范围安全地域准确着陆很难。研究了一种精确定位、安全的软着陆方式,它在软着陆过程中增加了悬停阶段。在这一阶段中,通过着陆区危险地域的识别、着陆地点位置误差的计算,加上对着陆器横向漂移的控制技术,使着陆地点的精度以及着陆生存率大为提高,能够满足未来月球探测的软着陆要求。     

欢迎刊登广告

美海军授予Northrop Grumman Integrated Sys-tems公司EA-6B Prowler ICAPⅢ系统的全速生产合同。第一笔订购款为7300万美元,包括4套ICAPⅢ系统、一套局部系统和一些备用件。据公司方面称,首套产品将于2008年交付。Northrop Grumman Integrated Systems公司已经交付了10架用ICAPⅢ系统重新改装过的Prowl-er飞机,分别交付给位于华盛顿州Whidbey岛的电子攻击大队下面的两个飞行中队(VAQ-137、VAQ-139)和一个飞行预备队(VAQ-129)。今年2月在空军代号为“红旗06”的演习中,VAQ-137飞行中队装备ICAPⅢ系统的Prowler飞机参加了…     

构建无线自组网仿真场景

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

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

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

点火瞬态过程仿真模型参数辨识

建立了固体火箭发动机点火瞬态过程一维非定常流场仿真模型,采用系统辨识方法进行了模型参数不确定性研究。基于点火试验用缩比发动机试验结果,得到了传热模型参数和瞬态燃速模型参数的最优估计,提高了点火瞬态过程一维仿真模型的预估精度。采用近似方法,构建Kriging近似函数,有效解决了一维非定常流场仿真的计算复杂性问题。