谈充分条件假言判断逻辑性质

在形式逻辑的判断中,假言判断分为充分条件假言判断、必要条件假言判断和充分必要条件(简称充要条件)假言判断。一个假言判断它通常由前件、后件和联结项三个部分组成,不同的联结词表示了前件和后件不同的逻辑关系。     

基于统一描述框架的导弹设计知识模型研究

为了解决基于知识的导弹设计中异构知识难以共享、重用及有效支持推理的问题,提出了一种基于统一描述框架的本体化知识模型.首先研究了导弹设计中各类知识的表达形式,针对这些异构的知识提出了一种统一描述框架,而后研究了基于这种统一描述框架的本体化知识模型,在该模型中定义了知识基本建模单元,其可直接用于各类异构知识的表达和建模.最后利用导弹气动设计知识建模的应用示例说明了研究成果的有效性.     

故障诊断专家系统外壳设计与实现

设计了一个故障诊断专家系统外壳,给出了外壳的总体框架结构,基于对象式框架的知识表示,融经验诊断和原理诊断为一体的推理机制.介绍了在Windows环境下实现故障诊断专家系统外壳的方法.只要通过知识库管理系统,在Access数据库中建立不同的知识库,就可以创建不同系统的专家系统.开发的故障诊断专家系统已经在实际中应用,取得了良好的效果.     

应用局部约束二维稀疏表示识别SAR图像目标

在分析典型稀疏表示分类方法和局限性的基础上,提出了一种基于局部约束的二维稀疏表示方法,以有效解决SAR图像目标识别问题。该方法对SAR图像进行图像预处理,在兼顾图像相邻列(行)对应稀疏表示系数邻近性和样本间局部性的基础上,构建了局部约束目标函数,并通过解闭式解,实现稀疏表示系数的更新求解。利用美国实测MSTAR数据对算法进行了仿真验证,实验结果表明所提出的方法可实现SAR图像目标的有效识别,并对训练样本数目具有一定的鲁棒性。     

基于稀疏表示的数字调制模式识别

通过分析稀疏表示在模式识别应用的基础上,提出了一种基于稀疏表示的特征提取方法。该方法首先引入主成分分析对新的样本进行降维,然后利用降维后的训练样本构建稀疏线性模型,通过范数最优化求解测试样本的稀疏系数,根据稀疏系数的分布提取特征值。最后利用支持向量机分类器进行信号的分类识别。并在求解最小范数优化问题中,提出一种通用的解决方案,利用粒子群算法确定最优惩罚系数。新方法提取的特征值经计算机仿真研究证明,该算法具有较好的有效性和一定的工程应用性。     

多任务时间规划冲突检测方法

摘要：针对多任务的时间规划问题,基于Simple Temporal Networks(STN)时态表示模型和时态推理方法,提出了一种时间冲突检测的智能方法,并对该方法给予了数学证明。实验表明,该方法能够检测出基于STN表示的作战方案的时间冲突,并对任务时间规划提供参考范围,可有效辅助指挥员快速制定作战方案的时间规划。     

多相滤波结构的信道化接收机设计

根据现代电子侦察接收机所侦收信号的具体要求,文章讨论了信道化数字接收的可行性方案。探讨了信道划分的具体方式以及合理的信道化设计方案,研究了多相滤波结构的信道化模型及后续的信号检测方法,最终在单片FPGA上,设计实现了多相滤波结构的信道化接收机。在一定信噪比(SNR)的条件下,利用该结构的信道化接收机可以处理多路同时到达信号,并及时获得脉冲描述字(PDW)。该系统结构简单,便于硬件实现,测量速度快、精度高。满足对脉冲信号参数测量高精度、实时性的要求。     

基于规则的战术导弹需求量预测方法

有效预测战术导弹需求量是实现弹药精确保障的前提.在充分利用导弹需求量各类信息的基础上,提出了一种基于协调近似表示空间粗糙集的战术导弹需求量预测方法.分析了导弹需求量预测属性,构建了需求量预测决策信息系统;将该决策信息系统转化为协调近似表示空间,并采用差别矩阵方法进行属性约简,得到部分预测规则;运用基于集合向量包含度的算法进行规则融合,获取所有预测规则,从而实现战术导弹需求量预测.算例分析表明,该方法具有有效性,相比变精度粗糙集的预测方法,能够更充分地获取知识,具有更好的普适性和实用性.     

基于ICA的多姿态人脸表示

将独立成分分析(ICA)应用于多姿态人脸识别。对比分析了ICA和主成分分析(PCA)两种人脸识别方法的差异,并重点研究了多姿态人脸的独立成分(IC)表示。在基于权向量幅值的方法基础上,引入了基于比例因子的IC核选择的新方法。实验表明,新方法有利于提高识别的准确率和识别的效率。