产生式系统描述的探讨

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

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

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

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

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

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

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

北斗“百城百联百用”行动计划及推广模式

一、北斗"百城百联百用"行动计划的发动背景中国北斗卫星系统2012年12月27日正式提供服务,成为中国卫星导航产业划时代的里程碑,也使得北斗产业变成中国卫星导航与位置服务产业的代名词。一直以来,北斗产业都是中国卫星应用领域的热点,也是一张靓丽的中国名片。如果把2013年作为中国北斗应用元年的话,刚刚走过3年,全产业总产值便从1000亿元上升至2000亿元,产业发展已经步入了最佳的黄金机遇期。北斗引领下的卫星导航产业的发展态势,可以主要从以下几个方面研判:     

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

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

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

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

黄金大米:吃还是不吃?

黄金大米是一种转基因大米。2000年,为提高大米中胡萝卜素的含量,英国科学家将黄水仙的基因加进普通水稻中,发现大米中的胡萝卜素含量果然有少量增加。5年后,第二代黄金大米问世,玉米中对应的基因被加进水稻中,每克大米中的胡萝卜素含量令人惊讶地上升了23倍,达到了37毫克。由于其外观色泽发黄,该品种的转基因大米被人们称为"黄金大米"或者"金色大米"。     

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

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