王俐莉
- 作品数：21 被引量：24H指数：3
- 供职机构：中国人民解放军海军指挥学院更多>>
- 发文基金：国家自然科学基金全国统计科学研究计划重点项目江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信军事自然科学总论更多>>
- 基于改进的近邻传播聚类算法的Gap统计研究被引量：3
- 2017年
- 由于K-means算法初始聚类中心的选取具有随机性,聚类结果可能不稳定,导致Gap统计估计的聚类数也可能不稳定。针对这些不足,提出一种改进的近邻传播算法-mAP。该算法考察数据的全局分布特性,不同的点赋予不同的P值。在Gap统计中用mAP算法代替K-means算法,提出基于mAP的Gap统计mAPGap。mAP能在较短的时间内得到较好的聚类效果,而且不需要预先设定初始聚类中心,聚类结果更稳定。实验结果表明,mAPGap在估计聚类数的稳定性和聚类精度上都优于原Gap。
- 唐丹张正军王俐莉
- 关键词：聚类分析近邻传播聚类K-MEANS算法GAP统计
- 舰载多天线互耦分析与优化布局被引量：5
- 2010年
- 提出了基于天线互耦矩阵的特征值分解的天线优化布局方法,并利用电磁软件FEKO的计算结果算出了一个舰载天线优化布局实例。
- 熊艳晔王俐莉毛滔
- 关键词：互耦分析特征值分解舰载天线
- 联合机动编队作战体系网络化描述
- 2012年
- 作战体系网络化描述是认识和理解海上联合机动编队作战体系的一个重要途径。在分析作战体系基本要素的基础上,对联合机动编队作战体系网络化描述原则和步骤进行了研究,并制定相关规则,为构建海上联合机动编队作战体系网,开展海上联合机动编队作战体系结构优化、体系对抗等问题研究奠定了基础。
- 吴柱王俐莉侯向阳
- 关键词：作战体系
- 命题演算形式系统在Isabelle/HOL中的形式化被引量：1
- 2008年
- 本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle/HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。通过对PC和ND的分析和验证表明,采用机器辅助定理证明系统,对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。
- 王俐莉王元元张兴元
- 关键词：完备性定理形式化验证
- 将人文关怀引入高校课堂
- 2010年
- 本文以目前在理工科各院校普遍开设的概率统计课程为例探讨学生学习兴趣的培养问题。主要分析了兴趣不足的成因,阐述了作为高校教师如何树立学生学习的自信、培养学习兴趣,进而提出在教学中体现人文关怀。
- 王俐莉熊艳晔马春华
- 关键词：概率统计课程人文关怀
- 郑和下西洋对构建和谐海洋的启示
- 2011年
- 郑和下西洋开创了中华民族与海外各国和平共处，构建和谐海洋的先河。探寻郑和下西洋的思想渊源、政治动因、团队组织、物质保障，对我们当今秉承和谐理念、坚持友好合作、强化国防建设、实施经略海洋，构建和谐海洋奠定思想、政治、军事、经济基础，有其深刻的启迪和借鉴作用。
- 王俐莉庞继先李斌
- 关键词：郑和下西洋
- 基于厚尾分布的异常信号检测方法被引量：1
- 2011年
- 为了检测具有厚尾分布信号的异常值,提出将基于EM算法的统计诊断方法应用于正态逆高斯信号的异常信号检测。为了避免计算贝塞尔函数的困难,考虑将正态逆高斯信号看作缺失变量,通过EM算法求解参数的极大似然估计,简化了计算过程;通过Q函数代替对数似然函数,提出了在正态逆高斯分布的信号中基于Q函数的影响度量方法,分别给出了数据删除模型与局部影响分析的诊断统计量,理论和实例计算结果表明:该文所提出的检测方法对于正态逆高斯信号的检测效果明显。
- 王俐莉刘力维熊艳晔
- 关键词：期望最大化算法极大似然估计COOK距离异常信号
- 云理论的临近空间系统效能评估被引量：1
- 2014年
- 针对在临近空间复杂系统的效能评估过程中存在主观因素对评估结果干扰的问题,根据临近空间系统评估指标的特点,提出了基于云理论的临近空间系统效能评估模型;通过求各指标的云模型表征及各指标参数的权重对临近空间系统效能指标进行了综合评估;实例分析说明云重心评估法对临近空间系统效能评估是科学的、有效的。
- 赵晓东王俐莉熊艳晔
- 关键词：云重心理论
- 直升机反潜搜索博弈模型研究被引量：2
- 2018年
- 在声呐浮标发现潜艇概率、声呐浮标发现潜艇概率和磁探仪的规则图形搜索模型的基础上,得到直升机针对潜艇可能的规避策略下采用搜索策略的发现概率,运用博弈论建立基于发现概率的博弈模型。利用该模型,构造反潜直升机与潜艇可能使用的不同策略的收益矩阵,得到平均发现概率。结合平均发现概率、搜索时间以及相关能耗的直升机反潜策略进行综合评价,得到直升机反潜最优搜索策略为主、被动声呐结合磁探仪的组合搜索方式。
- 周华任王俐莉
- 关键词：博弈论
- 一种时序数据的离群数据挖掘新方法及其应用被引量：1
- 2006年
- 在许多数据挖掘应用中,例外情况或者离群点的监测比常规知识的发现更有意义。文章在自回归AR(p)模型和统计诊断的基础上,建立了一种时序数据的离群点检测模型。并将该模型的应用于海表水温的预测,建立海表水温的时间序列预测模型,动态地掌握海洋的变化规律,并且利用该模型可以得到海表水温的异常之处,从而为厄尔尼诺年的预测提供了良好的方法。实验结果表明AR模型及相应的score检验可以较好地用于时序数据的离群数据挖掘问题。
- 汤光华王俐莉刘常昱卢秋珍
- 关键词：离群点AR模型SCORE检验
