程序分片技术及应用

程序分片是一种分析和理解程序的技术。系统介绍程序分片的概念，计算方法及分片工具，应用领域，研究现状和发展趋势等方面的问题。     

带有指针的嵌套式语言全程数据流分析及程序分片系统

以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用.     

牛仔布裁片的自动分片装置设计

针对牛仔布裁片扫粉工艺中裁片分片的自动化问题,设计了一种表面装有若干数量滚针的滚筒卷起布片以实现裁片的自动分片.分析了滚针结构参数对分片效果的影响,借助Pro-e和Auto CAD建立了裁片自动分片装置的结构模型,并通过可编程控制器和光电传感器实现了各机构间的控制与联动.理论分析与实验研究均表明,本方案设计的牛仔布裁片自动分片装置具有工作重复性好、分片成功率高等优点,可显著提高生产效率和产品质量的一致性.     

基于MPEG4和IPv6的流媒体传输实现

文章研究了基于MPEG4与IPv6的流媒体传输实现的有关技术,具体包括MPEG4流分片和打包,Ipv4到Ipv6的的改造,以及具体传输系统的硬件结构、软件工作原理、数据传输模型等等,并给出了部分实现程序的有关代码说明.     

基于事务垂直分片算法中节点估算代价的计算

研究和扩充了事务的垂直分片算法，提出了在基于事务的垂直分片算法中如何计算节点的估算代价的方法．通过对事务中SQL语句的分析，得到事务查询所要求的属性，形成事务_属性矩阵．程序表明，本算法可以将分布式数据库系统中的关系合理地分片．     

消除XML路径冗余算法

路径冗余是XML数据冗余的一种情况,特别是在云环境下,将直接影响XML作为不同程序间数据表示和数据交换的应用。文章在已有知识基础上,考虑XML层次结构特点,综合讨论了树结构中结点间语义约束与路径冗余的关系,并给出FD和MVD导致的数据异常问题解决的定理、算法及正确性证明。     

Pro图与Prolog尾递归删除技术

介绍Pro图的基本概念和生成规则、各节点和节点参量间的关系及Pro图的激活过程.按着递归程序Pro图的生成过程不同,分析了三类递归程序的特点,并根据这些特点分别叙述了各类程序实现尾递归删除的基本技术.     

基于STAR码的HDFS失效数据恢复研究

针对数据失效、丢失等存储问题,提出了基于STAR码对HDFS中的丢失数据进行恢复,在文件读取过程中,通过对读取失败的数据块所在组的其他可用数据块采用分片、解码和聚合操作,对本组读取失败的数据块进行恢复.给出了基于STAR码与分片聚合编码的数据存储方案,采用了分片聚合解码的数据恢复策略对数据进行恢复,实现了分片聚合解码的数据块动态恢复和数据块持久性恢复.     

浅谈兰州新区综合保税区综合服务楼联合办事大厅球型空间网架分段吊装技术

通过兰州新区综合保税区综合服务楼B区联合办事大厅钢结构球型空间网架的吊装施工,对钢结构空间网架分段分片吊装过程进行总结,对施工过程中的重点、难点进行梳理形成一套完整的有限空间内的空间网架提升技术。文章详细介绍了分片的布置原则、焊接技术、吊点的选择、吊装的控制等关键施工技术。     

基于数据依赖关系的程序自动并行化方法

针对目前大量串行遗产程序无法在高性能并行计算机上高效运行的问题,提出一种基于数据依赖关系分析技术的程序自动并行化方法,采用数据依赖关系分析技术对串行程序进行分析,将串行程序中基本块分成两类:彼此间具有依赖关系的基本块和彼此间无依赖关系的基本块,通过对无依赖关系的基本块进行并行处理实现串行程序的自动并行化,从而解决了在对串行程序自动并行处理时开销增大的缺点,并得到较好的并行优化结果.实例分析结果表明,该方法可以识别出可并行执行的基本块,实现串行程序的自动并行化.     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多.但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决.文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用.     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

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

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

Slicing Java generic programs using generic system dependence graph

The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better. Biography: CHEN Lin (1979–), male, Ph.D. candidate, research direction: program analysis and refactoring.     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

Dependence analysis based on dynamic slicing for debugging

Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually affect the variables in the slicing criterion. This paper proposes a dynamic slicing method based on static dependence analysis. It uses the program dependence graph and other static information to reduce the information needed to be traced during program execution. Thus, the efficiency is dramatically improved while the precision is not depressed. The slicing criterion is modified to fit for debugging. It consists of filename and the line number at which the statement is.     

面向对象模型语言MOOL静态切片系统的实现

以一种自定义的模型面向对象语言MOOL为例, 采用分层切片和逐步求精的混合算法, 使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明, 切片后的程序更加简化, 对调试程序有一定的辅助作用.     

XML文档切片技术

XML文件作为一种数据存储与数据交换的文件,其应用日益广泛,但目前对于信息量大、结构复杂的文档要获取其中有用信息的操作效率较低。现提出一种新的基于程序切片技术对XML文档进行切片的方法。对给定的XML文档,可根据给定的切片规则对文档进行切片,从而得到一个用户感兴趣信息集合的新XML文档。同样,也可以对给定的XML文档对应的DTD或XML模式文档进行切片,根据给定的切片规则生成新的DTD或XML模式文档切片,同时,也会生成对应的XML文档切片,且切片获得的新文档是符合新的DTD或XML模式规范的有效文档。     

切片技术在代码味道识别中的研究

程序切片技术作为一种良好的代码分析技术,可以用来改善软件质量.基于程序切片技术这一特点,本文提出了一种切片度量代码味道的方法,用其识别代码味道,促进全自动化重构技术发展.