王元元
- 作品数：62 被引量：336H指数：9
- 供职机构：解放军理工大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划天津市科技攻关项目更多>>
- 相关领域：自动化与计算机技术文化科学文学军事更多>>
- 文本分类中一种混合型特征降维方法被引量：12
- 2009年
- 提出一种基于特征选择和特征抽取的混合型文本特征降维方法,分析基于选择和抽取的特征降维方法各自的特点,借助特征项的类别分布差异信息对特征集进行初步选择。使用一种新的基于PCA的特征抽取方法对剩余特征集进行二次抽取,在最大限度减少信息损失的前提下实现了文本特征的有效降维。对文本的分类实验结果表明,该特征降维方法具有良好的分类效果。
- 刘海峰王元元姚泽清张述祖
- 关键词：文本分类特征抽取主成分分析
- 文本分类中一种基于正交变换的特征降维方法被引量：4
- 2008年
- 本文讨论了一种基于正交变换的文本特征降维方法。分析了基于特征选择和特征抽取的特征降维方法各自特点,借助矩阵的分解论证了基于Fisher准则函数的特征降维模式的原理与理论基础,讨论了PCA与SVD两种模式的相互关系。实验结果表明这种特征降维模式在文本分类的准确性方面效果较好。
- 刘海峰王元元张学仁刘守生
- 关键词：文本分类特征抽取特征降维正交变换奇异值分解
- 命题演算形式系统在Isabelle/HOL中的形式化被引量：1
- 2008年
- 本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle/HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。通过对PC和ND的分析和验证表明,采用机器辅助定理证明系统,对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。
- 王俐莉王元元张兴元
- 关键词：完备性定理形式化验证
- 网络工程专业教学体系的创新与实践被引量：17
- 2009年
- 解放军理工大学于1999年起启动了网络工程本科专业教学体系的建设工作。我校面向高素质人才培养目标,注重专业建设的顶层设计,取得了如下成果:凝炼网络技术内涵,创立网络技术人才培养的课程体系;填补国内教材空白,建设系统完整的教材体系;注重实践知行合一,构建先进配套的实验体系;实践创新教学相长,锻造一流的师资队伍。本文详细总结了我院网络工程专业教学体系创新实践的经验教训,论述了为取得以上成果而具体采取的措施。
- 陈鸣胡谷雨王元元周雷齐望东
- 关键词：网络工程教学体系课程
- 基于LOBA逻辑的情感主体更新模型
- 2010年
- 为使智能主体能够有效处理情感,提出一种基于情感强度的情感主体更新体系结构,以及基于LOBA逻辑的情感主体更新模型.该模型为构建支持情感推理的情感规则库提供了理论依据.
- 张桂芸王元元
- 关于计算机科学技术专业教学改革的思考与实践
- 计算机科学技术日新月异的飞速发展和计算机科学技术专业教育的相对滞后,已是一个不争的事实。最明显的佐证是:计算机科学技术专业的学生有一种强烈的感觉,非计算机专业学生越来越高的计算机技术水平使他们不知所措。我们的思考也正是由...
- 王元元李健
- 文献传递
- 一种基于特征聚类的文本分类模型研究被引量：3
- 2008年
- 借助特征聚类进行特征抽取是信息检索领域进行文本特征降维的重要手段之一。本文通过x^2统计和特征聚类相结合的模式，在尽量减少信息缺失的前提下两次对特征项维数进行压缩，通过分析特征的类别分布信息，实现了基于统计的特征降维；进而在基于类别概率分布的模式下实现了文本的矩阵表示，借助矩阵范数进行文本分类。实验结果表明，该方法的分类效率较高。
- 刘海峰王元元姚泽清王倩
- 关键词：特征聚类文本表示文本分类
- 一种混合型的协同过滤信息推送方法被引量：4
- 2009年
- 随着互联网上信息的迅速增长,信息过滤技术得到越来越广泛的应用.本文论述了内容过滤和协同过滤两种信息过滤技术优点与存在问题,结合基于用户推荐和基于信息项推荐两种信息推送技术的特点,提出一种混合型的协同过滤信息推送方法。
- 刘海峰陈卫卫王元元张学仁
- 关键词：信息过滤信息检索协同过滤
- 基于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中进行的。
- 王金双杨华兵张兴元王元元张毓森
- 关键词：形式化验证活动性
