王元元
- 作品数：62 被引量：337H指数：9
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划天津市科技攻关项目更多>>
- 相关领域：自动化与计算机技术文化科学文学军事更多>>
- 基于VSM的模糊标引文本检索若干问题研究
- 2006年
- 探讨向量空间模型下文本检索存在的问题。在文本聚类模式下提出特征项选取的改进方法:对TF-IDF因子提出位置参数加权模式;对特征项标引问题引进模糊方式:对数据稀疏等问题归纳解决的方法。
- 刘海峰王元元张学仁
- 关键词：向量空间模型聚类位置加权
- SAODV协议在Isabelle/HOL中的正确性验证被引量：1
- 2008年
- 将SAODV(secure Ad-hoc on-demand distance vector routing)协议的正确性性质划分为安全性性质和活动性性质。前者是指SAODV发现的路由具有某些期望的性质,如无环路等;后者是指节点一定能够找到合适的路由,并利用其成功传送数据。很多移动自组网路由协议的形式化验证工作关注安全性性质,而活动性性质却被忽略了。利用Paulson归纳法来描述SAODV协议并验证其安全性性质,扩展Paulson归纳法描述和验证SAODV的活动性性质。所有定义和推理都是在机器辅助定理证明工具Isabelle/HOL/Isar中进行的。
- 王金双杨华兵张兴元王元元张毓森
- 关键词：形式化验证活动性
- HLA中基于COM的对象模型实现和重用技术研究被引量：12
- 2003年
- 传统OOPL(Object-Oriented Programming Language)技术实现的HLA对象模型只支持基于源代码的重用,其重用性受到了开发语言的限制。提出了利用COM技术实现HLA对象模型,消除了开发语言对对象模型重用的限制。提出了一种利用FOM/SOM(Federation Object Model/Simulation Object Model)的信息来设计COM组件接口的方法。
- 陈钢王元元
- 关键词：COMBOM可重用性
- 文本分类中一种混合型特征降维方法被引量：12
- 2009年
- 提出一种基于特征选择和特征抽取的混合型文本特征降维方法,分析基于选择和抽取的特征降维方法各自的特点,借助特征项的类别分布差异信息对特征集进行初步选择。使用一种新的基于PCA的特征抽取方法对剩余特征集进行二次抽取,在最大限度减少信息损失的前提下实现了文本特征的有效降维。对文本的分类实验结果表明,该特征降维方法具有良好的分类效果。
- 刘海峰王元元姚泽清张述祖
- 关键词：文本分类特征抽取主成分分析
- 文本分类中一种基于正交变换的特征降维方法被引量：4
- 2008年
- 本文讨论了一种基于正交变换的文本特征降维方法。分析了基于特征选择和特征抽取的特征降维方法各自特点,借助矩阵的分解论证了基于Fisher准则函数的特征降维模式的原理与理论基础,讨论了PCA与SVD两种模式的相互关系。实验结果表明这种特征降维模式在文本分类的准确性方面效果较好。
- 刘海峰王元元张学仁刘守生
- 关键词：文本分类特征抽取特征降维正交变换奇异值分解
- 命题演算形式系统在Isabelle/HOL中的形式化被引量：1
- 2008年
- 本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle/HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。通过对PC和ND的分析和验证表明,采用机器辅助定理证明系统,对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。
- 王俐莉王元元张兴元
- 关键词：完备性定理形式化验证
- 网络工程专业教学体系的创新与实践被引量：17
- 2009年
- 解放军理工大学于1999年起启动了网络工程本科专业教学体系的建设工作。我校面向高素质人才培养目标,注重专业建设的顶层设计,取得了如下成果:凝炼网络技术内涵,创立网络技术人才培养的课程体系;填补国内教材空白,建设系统完整的教材体系;注重实践知行合一,构建先进配套的实验体系;实践创新教学相长,锻造一流的师资队伍。本文详细总结了我院网络工程专业教学体系创新实践的经验教训,论述了为取得以上成果而具体采取的措施。
- 陈鸣胡谷雨王元元周雷齐望东
- 关键词：网络工程教学体系课程
- 基于LOBA逻辑的情感主体更新模型
- 2010年
- 为使智能主体能够有效处理情感,提出一种基于情感强度的情感主体更新体系结构,以及基于LOBA逻辑的情感主体更新模型.该模型为构建支持情感推理的情感规则库提供了理论依据.
- 张桂芸王元元
- 人工生命的发展与研究被引量：9
- 2003年
- 人工生命是 2 0世纪 80年代末发展起来的新学科 ,它试图在计算机或其它人工媒介上 ,以综合的方法研究具有生命本质特征的复杂系统的动态发展过程 ,拓宽了人们对生命概念的理解。对人工生命的研究有助于揭示构成自然生命的最本质特征以及生命演化的最基本规律。人工生命的原理和技术方法 ,对许多学科的发展产生了深远的影响。介绍了人工生命的概念、发展历史 ,指出了当前的主要研究内容和方法以及与之密切相关的基本理论 ,简要地介绍了人工生命的应用。
- 贺建民王元元
- 关键词：人工生命细胞自动机生命科学遗传算法
- 基于散度差准则的文本特征降维研究被引量：8
- 2008年
- 研究了一种基于散度差准则的文本特征抽取方法。首先讨论了文本分类中特征降维的主要方法及其特点,然后分析了一种基于散度差的准则用于特征降维的原理和方法,从理论上对该方法的相关步骤进行了数学论证。在中文文本分类实验中,对KNN分类器进行了基于密度的改进,消除了由于文本分布倾斜对分类器产生的影响。实验结果表明,这种方法在文本分类的准确性方面效果较为理想。
- 刘海峰王元元张学仁刘守生
- 关键词：文本分类特征抽取特征降维散度差KNN分类器
