EWFT:基于程序执行过程的白盒测试工具

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-based Whitebox Fuzzing Tool)原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相比国际上同类测试工具,能够更加有效地检测出不同软件中存在的多种类型的程序漏洞.     

移动机器人路径规划方法研究

移动机器人技术研究中的一个重要领域是路径规划技术，它分为基于模型的环境已知的全局路径规划和基于传感器的环境未知的局部路径规划。综述了移动机器人路径规划技术的发展现状指出了各种方法的优点与不足，最后对移动机器人路径规划技术的发展趋势进行了展望。     

网构软件信任机制的形式化研究

Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法(GSTC)和...     

一种基于区域分割的几何模型简化方法

根据几何模型简化中保持细节特征的要求,引入了图像的区域分割原理,提出了一种利用曲度进行区域生长的网格模型区域分割方法,用A型种子或B型种子进行生长,将模型分割为一些区域;在此基础之上,提出了一种基于区域分割的几何模型简化方法,各个区域按照三角形数目的比例进行简化.该方法在保持模型细节特征的基础之上,大大地加快了模型简化的速度;另外还提出了一种累进网格模型的实现方法,实现了具有细节特征的多分辨模型间的层次过渡.实验证明本文所提出的几何模型简化方法加快了网格模型的简化速度,并具有保持模型的三角形网格密度分布的特点,是一种实用、方便和有效的简化方法.     

网构软件系统中基于信誉激励的协作博弈模型

为了促使网构软件系统中各软件服务实体在彼此交互、协作的过程中自主的形成协作关系,提出了一种网构软件系统中将信誉评估与博弈理论相结合的协作博弈演化模型GBDTM(games-based DyTrust model).该模型借鉴经济学中博弈论的思想,对网构软件系统中实体节点的协作过程进行博弈分析与建模,并通过在博弈模型中引入节点的信誉值,对博弈模型中的收益函数进行修正,GBDTM有效地建立了节点之间的激励合作机制,促进各实体节点间的协作,提高了网构软件系统的整体安全性能.     

基于力阻抗模型的上肢康复机器人交互控制系统设计

传统上肢康复机器人交互控制系统受到奇异位形影响,导致系统控制精准度较低,为此提出基于力阻抗模型的上肢康复机器人交互控制系统;设计上肢康复机器人交互控制系统结构,选取双串口12CSA60S2系列单片机作为下位机控制核心模块,利用椎齿轮改变驱动力方向,设计机械臂肘部结构,通过同步带传动,将器件隐藏于空手柄中;设计机械臂腕部结构,满足临床康复时上肢患者站姿与坐姿训练需求;选择箔式应变片BF350力传感器,设计电阻应变片桥接电路,处理传输信号;构建机器人目标阻抗模型,设计基于力阻抗控制策略,调节位置、速度和关节;为改善奇异位形情况,在奇异位形附近关节角速度指令直接由各个关节力矩阻尼控制得到,实现角速度精准输出,完成系统控制;由实验结果可知,该系统直线运动位置、旋转关节位置和伸缩关节位置跟踪结果与标准值基本一致,满足系统设计需求。     

基于提升系数的微博异常排名检测方法

通过操纵微博提升排名的行为严重干扰了正常的微博排名秩序,现有的微博异常排名检测方法忽略了微博拓扑对微博排名的影响.文中通过比较微博网络中随机链接的微博BlogRank值与全连接、环状拓扑微博联盟中目标微博的BlogRank值,提出一种基于提升系数的微博异常排名检测方法.在仿真数据集的实验表明,该方法能通过微博拓扑有效地识别微博异常排名.     

网构软件的Wright-Fisher 多策略信任演化模型

网构软件是开放网络环境中软件系统基本形态的一种抽象,其信任关系本质上是最复杂的社会关系之一.为了增强信任演化模型的自适应性,提高预测的准确性以及有效地抑制自私节点的产生,结合差异化服务和演化博弈理论,提出了一种符合开放网络特征的信任演化模型:(1)建立基于差异化服务的实体全局收益函数,以增强信任演化模型的自适应性;(2)以演化博弈理论作为分析工具,借助Wright-Fisher模型的特点,提出了一种Wright-Fisher多策略信任演化模型,以增强对信任演化预测的准确性;(3)根据“公平规范”原则建立了基于博弈的激励机制,激励信任策略的演化,从而有效地抑制自私节点的产生,实验结果表明:该模型能够更准确地反映开放网络中实体信任行为的复杂性特点;在激励机制的作用下,网构软件的信任演化能够更快地达到稳定状态,从而有效地提高网络的效率,使网构软件系统的信任收益达到最优.     

基于受限信任关系和概率分解矩阵的推荐

现有的推荐算法很难对没有任何记录的冷启动用户或者历史记录稀疏的用户给出准确的推荐,即用户的冷启动问题.本文提出一种基于受限信任关系和概率分解矩阵的推荐方法,由不信任关系约束信任关系的传播,得到准确且覆盖全面的用户信任关系矩阵,并通过对用户信任关系矩阵和用户商品矩阵的概率分解联合用户信任关系和用户商品矩阵信息,为用户给出推荐.实验表明该方法对冷启动用户和历史记录稀疏的用户的推荐效果有较大幅度的提升,有效地解决了用户的冷启动问题.     

定量的信息安全风险评估计算模型的研究

讨论了信息安全风险评估计算模型相关问题.在原来定性风险评估计算模型的基础上,提出了一种定量的信息安全风险评估计算模型并将其运用在信息安全风险评估过程中,使信息安全风险评估分析过程中进行风险值的计算更加科学和准确,解决了以往定性的计算模型的数据计算粗略、不准确和多个风险值集中于一个相同的风险等级中,区分不出风险的重要性等问题.