快速成型中的自适应切片方法研究

分层切片是快速成型软件系统中核心部分之一,完成将CAD实体模型离散化为层面信息的功能.提出了一种基于面积变化的自适应切片方法,并对该方法进行了实现,同时与定层厚切片方法进行了比较,表明该算法可以有效地降低切片过程中的阶梯效应.     

一种分析和理解程序的方法--程序切片

程序切片是一种分析和理解程序的技术,是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解。程序中某个兴趣点的程序切片不仅与该点定义和使用变量有关,而且与影响该变量的值的语名和谓词以及受该变量的值影响的语名的谓词有关。文中详细阐述了程序切片技术的研究与进展情况,并对目前存在各种程序切片方法和工具进行了比较;简单介绍了文中提出的面向对象的分层切片方法及其算法的思想;最后分析了程序切片技术目前     

基于B样条插值的医学图像三维重构技术

传统的三维重构方法不适用于旋转式切片，该文针对旋转式切片提出了一种可行的三维重构方法，即基于B样条插值的重构方法，解决了旋转式切片的实体建模问题，在绘制时利用OpenGL的NURBS接口编程，比三角面片逼近等方法的重构时曲面的绘制质量有了显著提高。另外，该方法也适合于平行式切片的重构。     

一种C++程序的分层切片方法

该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图,对C++程序进行分层切片,有效地表示了C++中的单重继承、多重继承、多态和动态绑定,该方法比其它C++切片技术更清晰地描述了C++程序中类之间的各种关系和消息传递机制。     

一种面向对象程序的过程间切片算法

程序切片是一种程序分析技术，它通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序，过程间切片作为图形可达性问题时，需要扩展过程内切片所用的程序依赖图（PDG）成系统依赖图（SDG），然后利用两阶段图形可达性算法计算比较精确的切片，目前程序切片技术的研究以面向对象程序切片为主，文中讨论了一种合适面向对象程序的分层切片方法，并综合分层切片方法和两阶段图形可达性算法提出了一种简化的计算面向对象程序过程间切片的算法。     

基于条件分类可执行切片谱的软件缺陷定位

基于条件执行切片谱的多错误定位（Multiple Fault Localization based on Conditioned Execution Slicing Spectrum，CESS-MFL）考虑了程序的依赖性，可以一定程度降低程序随着缺陷数的增多而效率降低的问题，但该技术仍受与缺陷无关语句的影响比较大。因此，提出了一种基于条件分类可执行切片的软件缺陷定位方法（Conditioned Classification Execution Slicing Spectrum-based Software Fault Localization，CCESS-SFL），该技术对CESS-MFL技术中的谓词条件进行了改进并分类。根据谓词条件与缺陷相关执行切片确定条件特征集，根据条件特征集进行分类得到条件分类执行切片谱，计算元素的可疑度，最后生成可疑度报告。CCESS-SFL技术在西门子7个套件中得到了有效的验证，它优于当前流行的Tarantula、Jaccard、Ochiai以及CESS-MFL技术，可以进一步降低与缺陷无关语句的影响。     

对象级粗粒度切片方法

基于面向对象程序的对象间语义级关系,提出了一种对象级粗粒度切片方法,用于解决以往传统程序切片构造过程复杂,切片结构庞大,可理解性不强等问题.该方法并非基于传统的程序依赖图或系统依赖图,而是建立在对象间的关联、组合等语义级关系的基础之上.依据对象间语义级关系构造程序的对象图,在对象图的基础上获取程序的前向对象级粗粒度切片和后向对象级粗粒度切片,并结合了对象间的组合关系使得所得后向对象级粗粒度切片更加精简.     

过程模型切片技术的研究

将程序切片技术引入到过程模型中,定义过程模型中的关联关系和数据连接关系,在此基础上给出了过程模型的切片定义,并定义了过程模型的三种切片：前向切片,后向切片和双向切片,提出了前向切片、后向切片和双向切片的算法,最后通过实例分析证明了该算法的可行性和实用性。     

医学图像三维可视化中任意平面切片的研究与实现

对医学图像的三维重建技术进行研究,利用介于面绘制和体绘制之间的切片法来实现三维体数据可视化,并针对断层图像序列所生成三维体数据的切片方法进行了深入讨论。提出一种可操作性很强的切片方法,能较好地实现三维体数据中冠状面、矢状面、特别是任意平面的切片。同时,该方法已经用VC6．0结合VTK（Visualization Toolkit）编程进行实现,效果符合医学诊断要求,并得到了有关应用。     

一种基于前向计算的动态程序切片方法

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。     

快速成型中VRML模型的分层处理软件研究与开发

VRML(Virtual Reality Modeling Language)是广泛应用于Web的三维造型语言,使RP(Rapid Prototyping)系统接受VRML数据模型可以避免为生成STL文件而进行三角化处理所带来的精度损失。研究适用于RP软件系统的VRML模型分层处理软件对提高成型精度具有重要意义。在分析VRML模型表示的基础上,提出了适合于VRML模型的分层处理方案及流程。基于组件的软件开发思想,利用Visual C++和OpenGL开发了VRML模型分层处理软件。实际应用表明,该系统具有较高的分层精度和良好的可扩展性与稳定性。     

基于STL的高性能分层处理软件的研发

本文分析了影响分层处理效率的主要因素,提出了基于三角形面片特征的快速排序算法和快速分层算法,并在此基础上开发了基于STL模型的高性能分层处理软件。大量实际应用结果表明,该软件高效、稳定、可靠。     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法,可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化,为了适应编程语言的这种进步,程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则,介绍了程序切片的一些类型,以及如何利用源程序和图形进行程序切片,并且进行了举例说明。     

一种改进的STL文件快速分层算法

高效的STL模型切片算法是快速成型制造的前提和基础,在有向加权图切片算法的基础上提出了一种快速STL模型切片分层算法,去除了耗时的有向加权图建立,对切片后的数据进行后处理,除去数据中的冗余点,从而提供了一种快速的STL模型切片算法。大量实验及数据表明,新算法具有较高的效率。     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法，可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化，为了适应编程语言的这种进步，程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则，介绍了程序切片的一些类型，以度如何利用源程序和图形进行程序切片，并且进行了举例说明。     

基于切片技术的并行化研究

程序可以看作由很多计算组成(例如一个循环或一个平直代码片断),它们彼此相关或者无关,共同为计算最终的结果服务,其中彼此不相关的计算是并行性的重要来源。程序切片(Program Slicing)是一种程序分解技术,能够根据切片标准从程序中提取出特定的计算,切片技术的应用很广泛,例如程序调试、理解、维护等软件工程应用。切片技术作为一项程序分解技术,也可以用来帮助串行程序并行化。研究利用切片技术表示和发掘程序中的无关计算带来的并行性。首先提出一种基于OpenMP扩展的切片并行编程模型,用以表达程序中的切片并行性。另外,开发了一个基于切片的并行化分析系统,用来辅助程序员发掘程序中的切片并行性。     

Slicing XML Documents

Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a novel slicing method for XML documents. Essentially, given an XML document (which is valid w.r.t. some DTD), we produce a new XML document (a slice) that contains the relevant information in the original XML document according to some criterion. Furthermore, we also output a new DTD such that the computed slice is valid w.r.t. this DTD. A prototype implementation of the XML slicer has been undertaken.     

Actor-based slicing techniques for efficient reduction of Rebeca models

Slicing is a program analysis technique which can be used for reducing the size of the model and avoid state space explosion in model checking. In this work a static slicing technique is proposed for reducing Rebeca models with respect to a property. For applying the actor-based slicing techniques, the Rebeca control flow graph (RCFG) and the Rebeca dependence graph (RDG) are introduced. We propose two different approaches for constructing the RDG, where each approach can be more effective under certain conditions. As the static slicing usually produces large slices, two other slicing-based reduction techniques, step-wise slicing and bounded slicing, are proposed as simple novel ideas. Step-wise slicing first generates slices that overapproximate the behavior of the original model and then refines it, and bounded slicing is based on the semantics of nondeterministic assignments in Rebeca. We also propose a static slicing algorithm for deadlock detection (in absence of any particular property). The efficiency of these techniques is checked by applying them to several case studies which are included in this paper. Similar techniques can be applied on the other actor-based languages.     

Automatic multi-direction slicing algorithms for wire based additive manufacturing

One of the key challenges in Additive Manufacturing is to develop a robust algorithm to slice CAD models into a set of layers which requires minimal support structures. This paper reports the concept and implementation of a new strategy for multi-direction slicing of CAD models represented in STL format. Differing from the existing multi-direction slicing approaches that are mainly focused on finding an optimal volume decomposition strategy, this study presents a decomposition-regrouping method. The CAD model is firstly decomposed into sub-volumes using a simple curvature-based volume decomposition method. Then a depth-tree structure based on topology information is introduced to merge them into ordered groups for slicing. In addition, a model simplification step is introduced before CAD model decomposition to significantly enhance the capability of the proposed multi-direction strategy. The proposed strategy is shown to be simple and efficient on various tests parts especially for geometries with large number of holes.     

遗传算法在汇编语言程序分片中的应用

程序分片在程序设计、并行、诊断与测试等方面均有广泛的应用，介绍了一种用遗传算法计算最小动态分片的算法。将整个程序看成是一个染色体，而每条语句看成为基因，通过现有遗传算法的操作：选择、变异、交叉等，就可以计算出动态分片，并给出了一个诊断汇编语言的实例。