基于支持向量机的雷达一维距离像识别

本文利用三类常用的核构造的支持向量机来对雷达目标一维距离像识别,得到了较高的识别率,通过改进支持向量机的核能较大程度减少训练时间,也能使支持向量的个数显著减少,同时具有较高的识别率.     

命题演算形式系统在Isabelle／HOL中的形式化

本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle／HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。通过对PC和ND的分析和验证表明,采用机器辅助定理证明系统,对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。     

云理论的临近空间系统效能评估

针对在临近空间复杂系统的效能评估过程中存在主观因素对评估结果干扰的问题,根据临近空间系统评估指标的特点,提出了基于云理论的临近空间系统效能评估模型;通过求各指标的云模型表征及各指标参数的权重对临近空间系统效能指标进行了综合评估;实例分析说明云重心评估法对临近空间系统效能评估是科学的、有效的。     

一种时序数据的离群数据挖掘新方法及其应用

在许多数据挖掘应用中,例外情况或者离群点的监测比常规知识的发现更有意义。文章在自回归AR(p)模型和统计诊断的基础上,建立了一种时序数据的离群点检测模型。并将该模型的应用于海表水温的预测,建立海表水温的时间序列预测模型,动态地掌握海洋的变化规律,并且利用该模型可以得到海表水温的异常之处,从而为厄尔尼诺年的预测提供了良好的方法。实验结果表明AR模型及相应的score检验可以较好地用于时序数据的离群数据挖掘问题。     

舰载多天线互耦分析与优化布局

提出了基于天线互耦矩阵的特征值分解的天线优化布局方法,并利用电磁软件FEKO的计算结果算出了一个舰载天线优化布局实例。     

基于模型组合的探索性分析方法研究

研究对复杂系统正确建模问题,在运用探索性分析方法解决复杂系统不确定性问题的过程中,探索性分析建模是重点和难点。为了提高探索性分析建模的效率,在分析相关方法的基础上,提出了模型组合的探索性分析方法的基本理论,设计了关于模型组合的探索性分析框架,确定了探索性分析框架的工作流程,给出了探索性分析模型表示及描述,设计了模型库的结构,实现了模型组合功能,并通过要素敏感性分析得到不确定性因素对系统整体的影响程度。提高了探索性分析建模的有效性和适应性,对复杂系统的研究具有一定的借鉴意义。     

基于统计理论的电台数目估计方法

针对对方电台发送信号的概率与我方接收到信号数目均为随机数目的情况,考虑基于统计方法的电台数目建模问题,提出基于贝塔二项泊松模型的建模方法,解决信源数目的估计问题。通过对参数的再参数化处理,给出相应的参数极大似然估计方法,并通过计算机仿真比较不同模型下的参数估计效果,说明该方法的有效性。