一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

4度循环图的不交路及k-宽直径（英文）

研究了4度循环图,构造出其任意两点之间的四条内部点不交路,并且给出其宽直径的一个较好的上界.     

符号执行中约束求解结果重用技术的比较

约束求解耗时一直是符号执行的瓶颈之一,约束求解结果重用是一种有效提高符号执行效率的方法。本文对约束求解重用技术Green、Klee-R、GreenTrie及Green、Utopia进行比较,证明了前三者重用能力从高到低依次是GreenTrie,Klee-R,Green,后两者中Utopia的重用能力高于Green。在动态符号执行场景下对四种重用方法的重用效率进行了实验比较,证明重用技术的重用效率并不完全取决于重用能力,并进一步从程序的特点、约束的类型以及约束的次序对重用效率的影响进行了分析和比较。本文的工作为约束求解重用领域的研究提供了综述和评估,可以为未来该领域的研究提供借鉴。     

4度循环图的不交路及k-宽直径

研究了4度循环图,构造出其任意两点之间的四条内部点不交路,并且给出其宽直径的一个较好的上界。     

约束条件下基于区间组合的测试用例生成

本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树,并选用深度优先策略或其他组合覆盖策略,获得输入参数的区间组合的集合;运用区间运算的方法,把每一个区间组合代入到程序路径的约束条件中,判断区间组合上程序路径的可达性;选用相应的用例生成策略,在路径可达的区间组合上生成测试用例.     

卡氏积图的Laplacian谱半径的上界

对近年来图的Laplacian谱半径上界的研究成果进行了简单梳理.利用2个图的卡氏积图的特征值,讨论了2个循环图的卡氏积图的Laplacian谱半径的上界问题,得到了几个上界,推广了已有文献的结论.     

一种改进的指针安全分析算法

指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度.     

云环境下基于内存总线的侧信道攻击检测方法

云计算环境下存在基于内存总线阻塞的侧信道,恶意用户可利用该侧信道以最低权限窃取客户敏感信息.针对这一问题,本文引入时序差分熵和虚拟机自省技术,提出了一种面向云计算的基于内存总线的侧信道攻击检测方法.该方法不仅可依据内存阻塞时序特征及系统负载状况对系统状态分类,而且实现了系统高危态的精确判定和恶意进程定位.实验结果表明:该方法能准确识别攻击的存在性,并能实现恶意进程的定位.     

基于时间序列采样的正则化回归算法的收敛性

给出了基于时间序列采样的正则化回归算法的误差分析,即先将误差收敛归结为正则误差和样本误差,借助于Hoeffding型不等式给出了正则误差估计;同时,使用覆盖数及基于时间序列的Hoeffding型不等式给出了样本误差估计,从而算出学习速度一种上界的估计．最后的结果也说明学习速度能达到指数收敛性．     

基于内存对象访问序列动态胎记的程序同源性判别方法

针对现有二进制程序同源性判别方法受限于特定编程语言或环境、难以应对复杂的代码混淆攻击、易受依赖库影响等问题,提出了一种基于内存对象访问序列动态胎记(dynamic birthmarks based on memory object access sequences, DBMOAS)的程序同源性判别方法。该方法将程序对数据结构的访问顺序流作为程序语义的一种鲁棒性特征并加以分析,能较好地应对复杂的代码混淆攻击;基于动态污点分析,表征程序的数据结构,解决了二进制程序缺少数据结构与类型的语义表示问题。为验证DBMOAS方法的可信性和弹性,在窗口大小取值不同的情况下,测试具有相似功能的独立程序间的相似度;针对不同编译器、编译选项、混淆方法、版本迭代产生的同源样本,测试程序间的相似度。实验结果表明,本文方法能有效判别程序间的同源性,可信性评估中误判率仅为6. 7%,弹性评估中无漏判情况。     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

数据驱动的业务过程角色与任务重分配方法研究

针对现有任务分配方法难以考虑人员执行任务的效率差异性和偏好性问题, 以生产和服务系统执行历史数据为基础, 提出基于人员行为差异性的任务分配方法, 建立以业务执行过程中流程执行时间最少和人员之间负荷均衡为多目标的任务分配优化模型. 基于NSGA II算法, 提出将约束优化模型转换为无约束优化模型, 并给出优化模型的求解方法. 结合业务过程挖掘领域中事件日志的应用实例, 对业务过程中的任务和角色进行重分配, 比较任务重分配前后业务过程的变化情况, 为以后的任务分配提供依据.     

一种侧视图的三维人脸重建方法

三维形变模型(3D Morphable Model, 3DMM)和从运动中恢复结构(Structure From Motion, SFM)方法被广泛用于三维人脸重建. 基于单视图进行三维人脸重建需要正视图和先验模型, 会受到计算复杂度高、容易陷入局部极小值和易受姿态变化的影响. 本文提出一种针对侧视图的三维人脸重建方法, 首先对侧视图使用改进的三维形变模型, 得到初始的三维人脸正视图及特征点; 然后根据人脸对称性, 得到侧视图对称的视图及对应的面部特征点; 最后用SFM方法将正视图、原始视图和对称视图重建, 得到稀疏三维模型. 并用不同姿态的面部图片对该方法进行了评估, 结果表明该方法比已有的方法对姿态变化更具鲁棒性.     

可变功能产品功能使用模型及基于模型的关联耦合性分析

开展可变功能产品的构件关联性与功能耦合性的研究对设计该类产品有着重要的实用价值. 针对现有研究未能考虑功能使用情况的不足, 提出了可变功能产品功能使用模型的概念, 通过对各可变功能附加使用情况信息, 构建了可用以描述同一产品不同使用情况的功能使用模型; 随后将功能使用模型与功能-构件关联矩阵相结合, 提出了一种考虑功能使用情况的构件关联性与功能耦合性的量化方法. 最后, 通过一可变功能料理机的案例, 阐述了该方法的可行性及实施过程, 并基于构件关联性和功能耦合性的求解结果, 得出了对设计面向使用的产品或对现有产品进行改进设计具有指导意义的结论.     

同极同槽双边平板型PMLSM的设计及推力优化研究

为降低直线电机的推力波动, 提出一种同极同槽双边平板型永磁直线同步电机(Permanent Magnet Linear Synchronous Motor, PMLSM), 且采用不同方法优化其结构参数. 为确定电磁设计方案, 根据同极同槽双边平板型PMLSM的结构特点和旋转电机的设计方法, 推导出适用该电机的电磁设计公式, 并建立二维有限元仿真模型进行分析和验证. 随后采用田口法筛选优化变量, 分别通过单参数扫描和基于克里金代理模型的粒子群算法进行优化. 结果表明, 在满足推力不低于600N的前提下, 推力波动大幅降低, 且永磁用量减少了13％.     

游客使用景区移动商务的关键影响因素研究

基于景区移动商务的技术属性和商品属性,结合技术接受模型,建立了游客使用景区移动商务影响因素的结构方程模型.通过网络问卷调查法回收数据,对研究假设和概念模型进行了实证检验.结果显示,感知有用性、感知易用性、主观规范是游客使用景区移动商务的关键影响因素,感知易用性和主观规范同时显著正向影响游客对景区移动商务的有用性感知.最后,根据实证结果对景区移动商务的发展和未来研究的方向提出了相应建议.     

带形状参数的二次三角多项式Bézier曲线形状分析

对一类二次三角多项式Bézier曲线的形状及其控制多边形之间的关系进行了研究.根据控制多边形边之间的相对位置关系,先通过计算推理得到有关空间二次三角多项式Bézier曲线奇、拐点的一个结论;再利用包络理论和拓扑映射的方法,分别得到平面二次三角多项式Bézier曲线上含有尖点、拐点、重结点和曲线为全局凸、局部凸的充分必要条件,并给出了曲线具有尖点、重结点和拐点的数值例子;最后,讨论了形状参数对形状分区的影响.     

基于语义的服务资源描述模型RDF4S

在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS 4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S 4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.     

一种QoS机制下基于系统收益的IEEE802．16接纳控制算法

鉴于IEEE802．16协议未对接纳控制机制做出定义或建议的情况,因此为充分合理地利用有限频谱资源,提出一种保证服务质量的系统收益最大化接纳控制算法．根据协议对QoS的定义引入CSI模型计算系统综合收益,并针对计算量问题,提出新的改进模型．在MMPP队列模型下进行仿真验证,结果表明：该算法能明显区分不同业务收益,有较高的接纳率和吞吐量,并提高了带宽利用率．