产生式系统描述的探讨

产生式系统是人工智能（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个层面。设计了自主健康管理执行模块构成整星级层面,其中包括自主健康管理规则库和自主健康管理任务执行模块。文章提出的小卫星自主健康管理系统,可以提高小卫星自主诊断、自主运行能力,最终实现小卫星长寿命、安全可靠运行。