一种基于层次切片的软件错误定位方法

提出了一种基于层次切片模型适合面向对象语言的错误定位方法.首先分别在包层、类层、方法层删去通过测试的包、类和方法,缩小软件错误存在的范围;其次,在语句层将删减后的程序按抽象语法树划分成若干模块,统计模块内变量使用的数目;通过动态分析,选取一组测试用例计算其执行历史;根据模块内使用变量数目的规模,采用逐步求精算法,计算产生错误测试用例的程序执行历史与静态分析过程中所产生模块的交集及交集的后向切片,直至实现错误定位.实验数据表明:该方法能够查出前期定位程序中绝大部分错误的位置,尤其适用在方法调用比较少的程序中.在方法调用比较频繁的程序中,由于在调用语句处迭代调用逐步求精算法,效率会降低.     

基于动态程序切片的软件水印方案

针对中间码中水印信息抗逆向工程差的问题，提出基于动态程序切片的软件水印方案，利用动态程序切片技术将系统分割为隐秘部分与公开部分，然后改变交互模块间数据依赖关系嵌入水印信息，记录执行历史中的数据依赖关系提取水印信息，恢复隐秘部分复杂性实验证明算法对逆向工程攻击是鲁棒的；系统分割前后的运行时间对比实验证明算法对系统效率的影响在合理范围内，隐秘部分放在安全主机中确保水印系统的安全性，该方案适用于对移动计算与分布式软件进行保护。     

基于铣床动态特性辨识的轨迹前馈预见补偿器

常规数控系统的伺服控制中,当速度矢量变化较大时会产生大的轨迹跟踪误差。本文应用Ｍ序列信号,最小二乘法和ＡＲＸ模型结构辨识出整个闭环系统的传递函数,在轨迹控制器的前面加上带预见控制的前馈补偿器,以使数控轨迹控制器在不同的频率段具有相同的增益,消除由延迟带来的相位差,从而可减小轨迹跟踪误差,实验表明其性能较为理想。     

变构型陆空平台动态起降轨迹规划研究

陆空平台具有多域机动能力,通过陆空模式的转换能够适应各种复杂环境,但陆空模式转换多为静止起飞或悬停下降,这种静态起降方式不利于陆空平台机动性的充分发挥. 针对一种动力机构可偏转的变构型陆空两栖平台,基于牛顿-欧拉方程建立陆空平台的飞行动力学模型,规划偏转角的时间序列以获得动态动力学约束,确定相对时间最优目标函数;基于5次多项式拟合二维平面轨迹,根据PID控制方法设计轨迹跟踪控制器,并进行轨迹规划和控制仿真. 结果表明,动态切换时间相比静态切换时间缩短了23.02%,动态切换规划轨迹平滑,高度方向无超调,控制器能较好地跟踪目标飞行轨迹.      

基于动态系统稳定估计器的机器人变刚度轨迹规划

针对现有基于动态系统稳定估计器(SEDS)的机械臂轨迹规划中无法兼顾运动精度和能量消耗的问题,提出变刚度轨迹规划的方法.首先,采用SEDS对示教轨迹进行拟合,得到从空间任一起点到终点的收敛轨迹.然后,基于人体上肢刚度模型,通过实验得到肌电信号与上肢末端刚度的映射关系,并使用高斯混合模型GMM和高斯混合回归GMR学习示教...     

关于零度根轨迹和参数根轨迹的讨论

基于１８０°根轨迹分析方法,导出了零根轨迹和参数根轨迹所应遵循的根轨迹方程,并对它们的根轨迹方程进行等价变换,从而得到利用计算机借助ＭＡＴＬＡＢ 语言也能对零度根轨迹和参数根轨迹进行绘图仿真的结果．     

基于切片度量的重构对象识别

为了提高识别重构对象的效率和正确性,提出一种自动化识别重构对象的技术.首先,在程序切片的基础上,构造一种度量函数来量化元素间的依赖程度.然后,利用度量结果识别出在原程序的位置和从属关系不合理的元素,从而自动识别出程序中的坏味道.与以往的手动识别相比,该方法可以自动地分析源代码,指出程序中不合理的地方,从而提高重构识别的效率,并建议使用相应的重构手段对坏味道实施更改,使代码更加合理、易于维护.最后,利用3个重构实例显示该方法能够识别出一些重构对象,从而验证了该方法的可行性.     

基于html5技术的时空联合目标轨迹动态可视化技术

传统时空轨迹可视化技术要求用户在PC端安装终端或插件,无法实现有效推广。部分技术能够实现预渲染数据的可视化处理,但浏览器不能对图像描述进行空间研究,无法实现地图的可视化。为此,提出一种新的基于HTML5技术的时空联合目标轨迹动态可视化技术。基于HTML5技术对时空联合目标轨迹动态可视化技术进行分析,提出可视化技术总体结构,利用MVC模式实现开发。对时空轨迹数据进行预处理,通过三次Hermite插值完成对时空联合目标轨迹插值的重构处理,通过实时处理手段对轨迹数据流进行异常检测。通过新的HTML5技术,利用canvas完成对浏览器端时空联合目标轨迹的动态可视化处理,无需第三方插件。用户终端的http访问请求通过websocket提供,用于实现时空联合目标轨迹数据的高效传输。实验结果表明,所提技术精度高,能够有效检测时空轨迹异常,实用性强。     

融合静态属性和动态轨迹的盗窃前科人员分类研究

以往犯罪前科人员分类研究,通常基于历史犯罪信息中的静态属性信息,而忽略了对动态轨迹信息的利用,且缺乏专门针对盗窃前科人员再犯罪风险预测的研究.基于上述以往研究的不足,本文研究融合静态属性和动态轨迹的盗窃前科人员初犯/累犯分类.构建了融合静态属性和动态轨迹的长时间跨度盗窃前科人员分类数据集,然后探索和对比多种不同类型机器学习模型在该数据集上对盗窃前科人员的分类性能,提炼出与盗窃前科人员分类最相关的特征;基于上述分析结果,提出基于加权关联规则的盗窃犯罪人员预警模型.本文的相关研究成果可以应用于盗窃犯罪的预警工作中,对犯罪打击和安全防范工作具有一定的现实意义.     

金鱼受精过程超微结构研究的快速半薄切片定位

介绍一种适于金鱼受精过程超微结构研究的快速半薄切片定位方法。经Ｅｐｏｎ８１２包理的受精卵，切０．１５～０．５μｍ厚的切片，用甲苯胺兰Ｏ－派若宁Ｂ染液在酒精灯上烤染后镜检，整个过程在５ｍｉｎ内完成。用此方法可将受精后至第一次卵裂前各时期的精子头、卵子染色体及雌雄原核找到并可进一步用于超微结构研究。     

Application of Dynamic Slicing in Test Data Generation

The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper introduces the concept of statement domination to represent the multiple nests, and presents a dynamic program slice algorithm based on forward analysis to generate dynamic slices. In the approach, more attention is given to the statement itself or its domination node, so computing program slices is more easy and accurate, especially for those programs with multiple nests. In addition, a case study is discussed to illustrate our algorithm. Experimental results show that the slicing technique can be used in software test data generation to enhance the effectiveness.     

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

基于信息继承的快速分层处理算法研究

分析了现有STL（STereoLithography)模型分层处理算法的优缺点，并在此基础上提出了一种基于信息继承的加快分层处理速度的算法。该算法根据三角形面片的最小z坐标建立了分层关系矩阵，利用该分层关系矩阵可大大提高搜索与分层平面相交的三角形面片的搜索效率，从而提高了分层算法的效率。该算法不但吸取了现有分层处理算法的优点，而且在计算第I层的轮廓线时，继承和充分利用了第I－1层已经有的几何邻接关系，加快了轮廓线的生成速度。实际应用表明，该算法高效，稳定，可靠。     

MDT环境下RP自适应分层算法中关键问题的研究

分层信息处理是快速成形系统软件中数据处理的重要环节。本文在MDT环境下对自适应分层算法中的关键问题进行了深入探讨。在自适应分层中,实现了MDT模型信息的提取,首次提出了基于法线和面积计算法综合判断层厚的方法,在此基础上,对二维截面进行处理,从而完成了二维截面轮廓信息重构。     

基于新LOM原理的分层切片算法

针对以金属板材为造型材料的分层快速制造方法中存在的问题，提出了新LOM方法，指出了新LOM方法对分层切片参数的要求，推导出相应的计算公式，实现了新LOM方法对造型实体CAD模型的分层处理。     

基于消息中心的可重配MES的研究

针对现代制造执行系统(manufacturing execution system,MES)有高可重配性需求的问题,提出一种基于消息中心构建可重配MES的方法.首先提出消息中心的框架,具体论述了消息中心中应用的消息机制、事件驱动方式以及事件处理方法;其次根据应用方法的需要,建立消息中心静态模型,并配合MES的Petri Net过程模型,构建消息中心的模型库和规则库,以用于复杂事件处理引擎中进行事件的监测和决策;最后以一个制造系统为实例,验证以消息中心为核心的MES的可用性和柔性.结果证明该方法能够满足可重配MES开发的需求.     

基于干扰系数的分层开采优选新方法

油井多层合采是一种常见的油藏开发生产方式,但是多层合采常会产生层间干扰现象,降低原油采收率。针对这一问题,提出了基于干扰系数进行分注分采的调整方法。以SZ油田多层合采层间矛盾突出从而进行分采调整为实例,针对实际生产矛盾与小层地质特征,结合五个不同的干扰系数,提出了三十种分层开采的调整方案。定含水率对比不同方案的预测结果,考虑到海上油田平台寿命有限,同时采用了定年限的对比优选方法。研究结果表明:分层开采方式使生产得以改善,定年限和定含水率方法各自最优的调整方案采出程度分别提高了7.79%与2.63%。为非均质多层系油层的分层开采提供了理论依据。     

基于STL模型几何特征分类的快速分层处理算法研究

在分析了影响ＳＴＬ模型分层处理速度因素的基础上,提出了基于ＳＴＬ模型几何特征分类的加快分层处理速度的算法,进一步提出了自适应分类算法和轮廓快速生成算法,并由此戈了快速分层软件、大量实际应用结果表明,该算法高效、稳定、可靠。     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

基于模型驱动的Web服务符号执行与验证

Web服务测试与验证是保证Web服务功能正确的关键,目前大多数Web服务的研究无法对程序路径穷举遍历,不能保证分析的完备性.针对该不足,在基于模型驱动的3阶段Web服务模型转换生成方法的基础上,该文对转换生成的Java代码进行符号执行与形式化验证.符号执行方法可对程序运行的所有路径进行分析,为程序测试提供高覆盖率的测试...