带有模型降阶的μ综合算法及应用

针对在μ综合中产生的控制器阶次高,可实现性差等实际问题,提出了一种带有平衡截断法的μ综合算法。该算法原理是通过可控可观测Ｇｒａｍｍｉａｎ阵的折中,达到降阶且保持原系统性能不变的目的。新方法不仅非常接近最优结果,而且可以使控制器阶次大大降低。     

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

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

火箭结构估重与总体优化设计的数字化实现及应用

火箭新型号总体方案论证时,一般借鉴国内外相近规模和相同推进剂火箭的结构系数进行类比确定子级结构系数,按照比例系数分配贮箱和壳段等部段的质量,但该质量分配不能反映载荷对结构设计的影响,在细化迭代设计中易造成方案无法闭环,导致设计工作反复。为了加快总体方案论证,提出一种基于载荷的箭体结构快速估重方法,开发形成结构估重数字化模块并嵌入总体设计平台。应用案例表明,提出的数字化估重平台能够有效提高估重精度,同时显著缩短论证周期,兼具总体方案比较和优化、全箭质量管理等功能,能有效降低方案推翻重新设计的风险,在新型号总体方案论证中发挥了重要作用。     

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

民航语音通信系统联网技术分析及应用前景

引言民航语音通信系统（内话系统）联网技术是指根据国际电信联盟和国际民航组织规定的通信协议实现语音通信系统间管制移交电话和无线电设备的联网,以达到电话通路和无线电设备的共享。