中介命题扩张系统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年版本的区别,并针对标准实施中存在的问题提出看法与建议。     

超临界压力正十烷对流传热实验及计算研究

针对主动冷却超燃冲压发动机的实际工作条件,利用电加热管设备开展了超临界压力正十烷流动和传热特性实验,目的在于获得适用于发动机传热设计的燃料对流传热关联式。管子材料为不锈钢、内径1.5 mm、外径3.0mm、长度1300mm。采用K型热电偶测量管壁沿程外壁温。实验中正十烷压力约4.0~4.3MPa,温度约335~870K,流量分别为0.93、1.24和1.86g/s。正十烷的流动经历了层流、过渡和湍流3种流态。采用最小二乘法拟合实验数据,获得了正十烷在3种流态下的传热关联式。通过外壁温计算值与实验值的对比,验证了本文给出的传热关联式的适用性。     

一种新的辐射源优化识别方法

针对证据理论无法获得传感器报告、无法处理具有冲突的传感器报告、计算复杂度高、干扰环境下融合结果不可靠等缺点,提出了一种新的辐射源优化识别方法。该方法首先利用灰色关联算法来获得传感器的报告,并且提出利用信息熵解决灰色关联分析中特征权重的选择问题。然后根据传感器证据报告的特点,引入传感器可信度因子,通过构造和分解代价函数将辐射源识别问题转化为求解一个凸二次优化问题。最后,给出了一种利用对数罚函数方法求解该问题的改进方法和步骤。理论分析和仿真结果表明,与证据理论相比,新方法具有更低的计算复杂度、更好的识别能力、更广的适用性和更强的鲁棒性。
     

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

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

2D雷达与3D雷达航迹关联问题研究

对2D雷达与3D雷达的航迹关联问题进行了研究,提出了两种通过升维来达到航迹关联的算法,解决了2D雷达与3D雷达同地、异地配置的关联问题。通过典型环境下的仿真,体现了算法较好的关联性能和较强的鲁棒性。     

基于灰色理论的复杂系统多故障模糊诊断

航天、核电等复杂系统源发故障概率通常难于获取,由此导致基于最大后验概率准则的诊断方法失效。针对上述问题,从测试可靠性先验概率入手,提出了一种基于相关矩阵和灰色系统理论的故障诊断方法,通过对系统建立故障-测试相关矩阵,生成有排序的测试报警概率矩阵,并利用灰色关联度衡量测试结果向量与故障特征向量的接近度,实现了对多发故障的模糊诊断。实验结果表明,该方法在诊断指标权重调整、诊断精细度、重点关注故障检出等方面优势明显,诊断结论正确率满足实用需求。     

基于概率数据关联的地磁匹配算法

针对轮廓匹配算法存在的虚定位问题,在轮廓匹配算法的基础上,提出了一个新的分批地磁匹配方法——基于概率数据关联滤波的地磁匹配算法。算法把满足一定条件的相关值作为滤波器的有效量测,把巡航导弹的位置作为状态变量,建立了基于概率数据关联的地磁匹配模型,利用概率数据关联滤波算法计算巡航导弹的位置坐标。仿真结果表明,该算法有效地降低了虚定位发生的概率,正确匹配率、导航效果均优于轮廓匹配算法。