国家自然科学基金(61170268)
- 作品数：18 被引量：60H指数：4
- 相关作者：王建新张海燕李冬梅韩锋贾庆轩更多>>
- 相关机构：北京林业大学北京邮电大学国家电网公司更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家级大学生创新创业训练计划更多>>
- 相关领域：自动化与计算机技术电子电信生物学交通运输工程更多>>
- 二进制文件比对中的指令归并优化算法被引量：4
- 2013年
- 针对二进制文件在不同硬件系统和编译环境中会发生指令重排,在比对时可能会造成误判问题,结合当前技术发展,研究提出一种指令归并优化算法,显著降低算法复杂度,提高了运算效率。
- 王建新杨凡韩锋
- 关键词：二进制
- 基于支持向量机的大规模试卷识别方法被引量：1
- 2014年
- 试卷识别是智能组卷系统中数据库建立的基础,如何正确有效地识别出试卷中的题干部分并将之入库是一个尤为关键的问题.提出了基于SVM(support vector machine,支持向量机)的大规模试卷识别方法,该方法有效解决了进行题干识别之前大量人工预处理工作的问题.根据SVM原理,建立一个超平面,将试题文本分为两类——题序号和题干,并以题序号作为各题的起止点,进行试题识别.大量的实验显示,该方法具有可行性、有效性和适应性.经测试,识别率达100%.
- 覃延李冬梅陈志泊
- 关键词：SVMSMO算法
- 基于契约的计划生育策略的建模分析被引量：2
- 2013年
- 提出了一种基于契约的计划生育策略.依据该策略,公民可在结婚时通过契约形式自由选择成功生育一个男孩,一个女孩,或者两个孩子作为终止生育的条件.用概率分析和随机过程分析的手段从数学上论证了这项策略的可行性.结果表明,该策略在满足公民对生育子女性别或数量的基本选择权基础上,使得一对夫妇的平均生育数量接近2,可以总体上保证人口数量的平稳,也不会造成男女性别比例的失衡.
- 王建新韩锋吕述望
- 关键词：契约精神计划生育
- 一种基于SSL的“双密钥机制”认证密钥协商协议被引量：1
- 2012年
- 为解决SSL协议在实际应用中存在的诸如加密密钥可能会被破解,更改密钥规范消息可能被拦截丢弃,不能抗抵赖等问题,引入Kerberos机制,隐藏重要参数,提出基于SSL的"双密钥机制"认证密钥协商协议,并对其进行系统的安全性分析。
- 郜盼盼贾庆轩高欣
- 关键词：SSL协议密钥协商
- 基于形式化规约的缺陷规则库构建与检测方法被引量：1
- 2014年
- 传统的源码缺陷分析方法存在缺陷规则有限,缺陷检测结果不明确等问题。以模型检测中的形式化规约为基础,提出一种积木式缺陷规则库构建和源码检测方法。利用元数据,用户能够通过简单的CTL逻辑操作,实现自定义待检测的缺陷种类。并且,在检测到缺陷后能返回带有源程序行信息的反例路径,帮助开发人员快速定位缺陷根源。作为系统核心部分,规则库引擎从源程序中抽取控制流结构,进行符合控制反向(IOC)机制的元数据的动态匹配与标记。采用时序逻辑规约和标记后的控制流结构对程序建模,并结合NuSMV模型验证器实现验证。实现了原型系统,通过对开源程序的检测说明了该方法的有效性。
- 佟超王建新齐建东
- 关键词：形式化规约
- 一种基于E-index方法区分复杂性状的分析工具被引量：1
- 2017年
- 目前,生物遗传学领域在区分复杂性状的研究上正面临着巨大挑战,许多方法都被用来应对这项挑战,其中分子标记法,QTL作图法和序列分析法等就是用来区分控制复杂性状基因的主要应对策略。测定生物复杂性状对于研究生物多样性具有重要意义,也是进一步研究基因控制性状作用机理的重要途径,但是,现有的方法并不成熟也不完善,因此给有效区分复杂性状带来了一定难度。近年来,由于生长曲线能够有效地描述复杂性状,基于生长曲线来区分复杂性状的方法是目前常用的方式,Functional Mapping(FM)就是其中具有代表性的一种方法。在过去的十年间,FM方法是复杂性状区分效果最好的,但不能有效处理非单调类型的生长曲线。Earliness index(E-index)方法的问世,解决了非单调类型的曲线不能有效识别的难题,它能够将任意生物类型的复杂性状发展过程描述为生长曲线并加以区分。基于E-index方法的原理,开发了一套Eindex Application(EIA)分析工具,该工具中集成了E-index方法,利用生物数据可视化技术动态绘制生长曲线,包含数据获取、数据处理和结果输出等功能,为遗传工作者的研究提供了良好平台。仿真实验的结果证明了EIA分析工具具有高效、实时和准确的性能,是区分复杂性状的有力工具。
- 孙鉴锋王建新
- 基于元胞遗传算法的智能组卷的研究被引量：6
- 2013年
- 智能组卷是一个包含多重约束条件的目标优化问题,遗传算法的群体搜索策略可以为多目标优化提供较好的解决方案。但传统的遗传算法在组卷过程中存在收敛速度慢、收敛性较差等缺点,组出的试卷质量不高。提出一种新的元胞遗传组卷算法,将群体中的所有元胞按照一定的演化规则演化之后,再进行遗传操作,并把该算法应用到智能组卷中。实验结果表明,新的元胞遗传组卷算法与传统的遗传组卷算法相比,可以有效地提高收敛速度,并能进一步改善收敛性,组出的试卷更加符合人们的要求。
- 路宽李冬梅余婧王建新
- 关键词：元胞自动机遗传算法智能组卷
- 抗去同步化的轻量级RFID双向认证协议被引量：4
- 2015年
- 针对低成本RFID应用中轻量级认证协议的安全性进行研究,提出一种组合型去同步化攻击方法,该类攻击不用篡改任何协议消息,仅通过拦截、窃听、重放等攻击手段的顺序组合就能导致后台数据库/标签的共享密钥失去同步;设计一种轻量级抗去同步化的RFID双向认证协议,并利用形式化工具CPN Tools模拟运行该协议,该协议可以达到预期状态空间;与同类RFID协议相比,该协议在满足一般隐私安全属性的同时,还能有效抵抗来自恶意阅读器的组合型去同步化攻击,同时能有效减少RFID系统的计算开销,弥补原始协议的不足,更适合低成本RFID系统应用的隐私安全需求。
- 贾庆轩陈鹏高欣韦凌云王鑫赵兵
- 关键词：射频识别技术
- 基于蚁群算法的Hadoop资源感知调度器研究被引量：7
- 2014年
- 通过研究蚁群算法,针对现有Hadoop调度器的不足,提出一个基于蚁群算法的Hadoop资源感知调度器及其具体实现方案。从而使Hadoop作业调度器可以更有效地对任务进行分配,提高整体架构的作业性能。通过实验证明,利用蚁群算法实现的资源感知调度器在同构环境中虽没有明显改善系统计算速度,但是在异构环境中可以很好提高系统处理任务的性能,降低了运算时间。
- 张海燕吴凡王建新
- 关键词：HADOOP蚁群算法
- 基于AHP的软件演化分析模型被引量：2
- 2015年
- 当前的演化分析模型大都建立在传统的基于源码分析的方法之上,包括通过文本比对直接分析、使用抽象语法树中的语法节点进行比对分析以及利用软件抽象功能模块进行比对,这3种方式各有优势和不足。提出采用层次分析法建立软件演化分析模型进行综合处理的方法,其能够发挥上述方法各自的优点,更加精确地反映软件演化的真实状况。
- 李俊普王建新莫翘楚
- 关键词：抽象语法树判断矩阵层次分析法
