产生式系统描述的探讨

产生式系统是人工智能（Artificial Intelligence)系统最常见的一种结构，因此分析产生式系统的组成部分及其建立问题是一个很基本的问题，而本文就如何描述产生式系统给出一般的方法。     

《核、航天、航空、船舶、兵器行业标准编写规则》学习与理解

通过学习《核、航天、航空、船舶、兵器行业标准编写规则》 ,理解了标准制定的背景和意义 ,详细说明了 1 0个标准编写基本要素的规定以及标准条文中的注、角注、事例、图注、公式等的要求 ,并将其与《国家军用标准编写暂行规定》的差异进行了对比。     

关于模糊逻辑系统及其建模函数的数学描述

模糊逻辑系统按真值化处理与推量规则导出最优系统数学表达式。在线性定常状态下,分别建立起连续与间断系统的数学模型,归纳出模糊控制的等效解法。并应用模糊数学算法,对一非线性实例绘制出双模控制框图。     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

基于强化学习的航空器机场智能静态路径规划

随着人工智能迅速发展以及“智慧机场”的提出,研究人工智能在机场如何有效地辅助机场管制人员,驾驶员指挥航空器在地面滑行具有重要意义。本文提出一种基于强化学习的滑行路径规划方法,构建航空器机场地面强化学习移动模型,并以海口美兰机场为案例采用 Python 内置工具包 Tkinter 进行场面仿真;在此基础上,考虑机场航空器滑行规则,采用 Off-Policy 中 Q-Learning 算法求解贝尔曼方程,实现航空器在 Model-based 环境中进行静态路径规划。结果表明：本文所提方法能够实现停机位到跑道出口智能静态路径规划     

解析GB/T 14665—2012《机械工程 CAD制图规则》修订变化

概述GB/T 14665—2012《机械工程CAD制图规则》修订简况,从应用的角度分析GB/T 14665—2012与1998年版本的区别,并针对标准实施中存在的问题提出看法与建议。     

基于星务管理系统的小卫星自主健康管理系统

为了适应小卫星电子信息系统的快速发展,使卫星能够自行规划工作流程,实现在轨自主管理,需要构建合理有效的小卫星自主健康管理系统。文章以星务管理系统为基础,针对目前健康管理中存在的问题,构建了一套小卫星自主健康管理系统。它包括整星级、系统级和部件级3个层面。设计了自主健康管理执行模块构成整星级层面,其中包括自主健康管理规则库和自主健康管理任务执行模块。文章提出的小卫星自主健康管理系统,可以提高小卫星自主诊断、自主运行能力,最终实现小卫星长寿命、安全可靠运行。     

基于神经网络规则提取的航空发动机磨损故障诊断知识获取

针对神经网络智能诊断与专家系统中知识难于理解和诊断解释能力差等问题,研究了一种新的基于功能性观点的神经网络规则提取方法,介绍了方法流程及关键算法.并用UCI(加利福尼亚大学埃尔文分校)机器学习数据对方法进行了分析和验证.最后,将方法应用于实际航空发动机磨损故障诊断中,采集了某型航空发动机实测油样光谱数据237个样本,利用神经网络规则提取方法提取了发动机磨损故障诊断知识规则,并对其进行了解释,结果表明了方法的正确有效性.