贝叶斯推理运动轨迹相干累积的动目标检测方法

雷达理论和实践都表明相干累积是机动目标探测行之有效的方法,但其性能会因脉冲回波处理间隔内未知距离和/或多普勒的徒动而降低。为解决这个问题,提出了一种贝叶斯推理运动轨迹相干累积的动目标检测方法。首先,通过对脉冲压缩回波信号的距离频率进行翻转,就可从未翻转与翻转后的回波信号相乘的傅里叶逆变换中,提取出慢时间维描述待探测多目标运动轨迹的时频信号。视该时频信号中各目标运动轨迹为状态变量,获得的时频信号为观测,建立起多目标运动轨迹的状态空间模型。这样,据贝叶斯滤波推理出的目标运动轨迹,构建出快-慢时间维联合的二维匹配滤波器,就能补偿目标高速/机动带来的未知距离和/或多普勒徒动。理论分析和仿真实验均证明：所提算法适用具有复杂且未知运动状态的目标,且呈现出了优于文献报道方法的性能。     

智能诊断的定量推理机制和最优推理环境

描述和分析了一种新的基于智能信息处理的故障检诊方法,可以处理复杂动态系统故障检诊面临的复杂故障组合模式和时间特性。从推理机制的量化和推理环境的优选两方面完善了该理论,使其诊断能力、实时性和适用范围都得到提高。推理机制的量化是通过引入概率信息实现的。考虑到诊断过程中可能出现新的故障。又进一步引入了候选项集合扩张机制描述该现象,并提供了相关的概率计算公式。推理机制定量化使得诊断结果可以精确度量,检诊过程也可精确控制。推理环境优选则是通过引入熵信息实现的,由此提高了诊断效率。     

采用等高线地图的CGF地域表示和推理

采用等高线地图作为分布交互仿真环境中计算机生成兵力的地域表示.介绍等高线电子地图下计算机生成兵力系统地域表示和推理的一种方法.通过对地域显示、通视性检测和地形检测等几个基本问题的分析,表明采用该方法是可行的.具有地域表示范围大、地域推理简单明了的特点,并且地域数据真实、修改方便.这种方法比多边形地域表示法更适用于海上和空中大范围训练作战环境的仿真.     

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

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

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

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

卫星姿控分系统的星地协同健康诊断框架设计

针对卫星姿控分系统单机多、软件逻辑复杂的特点,基于分层健康监测和管理的技术需求,提出一种从空间段和地面段协同进行综合健康诊断的平台软件设计框架,构建姿态控制系统的星地协同健康管理体系结构.星上健康管理子系统实时采集单机信号量或者软件传感器数据进行粗诊断,地面段的健康管理子系统接收星上健康管理遥测下发的初诊信息结合本地推...     

卫星遥感农业监测系统中实例检索算法研究

针对智慧农业中需求获取手段、表达方法等导致智能设计算法复杂度高、可用性低等问题，将卫星遥感技术和网络技术结合实现农作物及其生长环境参数的实时监测，以优化播种机设计的需求特征，并以此为基础，提出基于混合相似度的实例检索模型。在该模型中，设计了多级实例库结构，并以特征间距离相似度、特征间可拓关联度、特征间可拓距测度为组成要素，构造多级混合相似度的层次结构与计算方法，进行多级实例检索。将其应用到铲式播种机的数字化设计系统中，可获得与目标实例最相似的实例。实验结果表明，在实例的特征值数据类型多样化的情况下，此算法能够有效地检索出合适的历史实例，提高检索结果的可用性。     

卫星遥感农业监测系统中权重优化的实例修改算法

针对播种机设计过程需求获取的复杂性和可用性低等问题，采用遥感等技术动态监测土壤、农作物生长过程中的一些参数，以优化设计需求特征，并以此为基础，提出改进的混合权重实例修改算法。该算法以相似实例检索为前提，以相似实例集中的特征相似度、问题-解特征间的关联度、问题特征间的自相关度为因子，通过矩阵乘法来构造解特征混合权重矩阵，进行实例修改。将其应用到铲式播种机的数字化设计系统中，以实现智能设计。研究结果表明新算法能有效提高机械设计结果的可用性和准确度。     

管理学课程的案例教学实践

论文结合作者的实际教学经验，阐述了案例教学的基本原理及案便教学的教师组织工作，并介绍了一个教学实例。