有限元网格体绘制中的剖切算法

为了解决体绘制中的遮挡问题和加快复杂剖切体的剖切操作，在MS体绘制算法的基础上，研究和提出了一种体绘制中任意封闭多面体的剖切和多种变换函数，并进一步展现了数据场内部的数据分布情况，另外，由于通过二叉树对多剖切体情况下Stenceil参照值的合并，使得算法在每一切层上的绘制次数达到最少，同时还统一了剖切体前后表面Stencil操作，并减少了不必要的法线运算，从而大大加快了复杂剖切体的剖切操作。     

持续性三角剖分算法研究

详细介绍了Guy B1elloch等人提出一种新的支持持续性三角剖分的表示和一个新的三维凸包算法，同时介绍了基于核表示的地形模拟算法的实现，并比较度量了其实际应用的性能。     

基于GPU的工业CT体数据剖切显示

为了优化工业CT体数据的3维显示性能,必须提高剖切显示的速度,为此可将基于图形处理器（GPU）的编程方法应用到体数据显示算法中来,由于GPU可利用可编程流水线来加速渲染复杂场景,而且图形应用程序可调用片段着色程序来实现剖切显示算法,这样几十个可编程片段处理器可同时对多个像素点进行采样。为了提高剖切显示速度,提出了一种基于GPU的CT体数据剖切显示算法,并首先阐述了如何加载和预处理工业CT体数据,然后给出了Cg应用程序和片段着色程序的设计步骤;最后对工业CT扫描体数据进行了剖切实验。实验结果表明,基于GPU的剖切显示算法不仅生成的图像清晰,具有稳定和较高的帧率,而且计算速度是CPU算法的2～9倍,可满足了工业CT图像系统快速3维显示的要求。     

约束三角剖分在雨量等值线的应用

雨量等值线在水文、防汛领域应用广泛,Delaunay三角剖分具有空外接圆和最大的最小角度两个良好性质,对于非规则分布的离散点数据进行三角剖分内插是生成等值线的最常用的算法,但实际应用中往往都术是凸壳进行三角化,而是有限定边（或限定点）对三角剖分进行约束。该文在标准Delaunay三角剖分基础上,分析了逐点插入法的基本原理,基于此提出了一种解决有限定边的约束三角网格剖分生成等值线的方法,给出了限定边进行三角剖分的算法,同时对边界采用网格加密和邻域内插算子进行边界附件插值,提高等值线的边界拟合精度,并在雨量等值线生成中得到较好应用。     

约束三角剖分在雨量等值线的应用

雨量等值线在水文、防汛领域应用广泛,Delaunay三角剖分具有空外接圆和最大的最小角度两个良好性质,对于非规则分布的离散点数据进行三角剖分内插是生成等值线的最常用的算法,但实际应用中往往都不是凸壳进行三角化,而是有限定边(或限定点)对三角剖分进行约束。该文在标准Delaunay三角剖分基础上,分析了逐点插入法的基本原理,基于此提出了一种解决有限定边的约束三角网格剖分生成等值线的方法,给出了限定边进行三角剖分的算法,同时对边界采用网格加密和邻域内插算子进行边界附件插值,提高等值线的边界拟合精度,并在雨量等值线生成中得到较好应用。     

任意多边形内带特征约束的散列数据的最优三角剖分

给出了一种新的基于Ｄｅｌａｕｎａｙ三角形化的任意多边形边界内散列数据的优化三角剖分算法，该算法可允许散列数据任意复杂的折线及封闭多边形环的特征约束。算法用统一的数据结构来记录散列数据、约束特征和三角剖分信息，并且引入了辅助窗的概念，从而使优化剖分和加入约束容易实现。     

基于标志点的虚拟剖切面重建

针对现有医学图像技术中三维模型的虚拟剖切面重建算法功能单一、不能完成复杂路径剖切面展开的缺点,提出基于空间任意标志点的剖切面重建算法。该算法可以沿三维空间中的任意路径完成虚拟剖切面展开,包括确定标志点、拟合虚拟剖切路径、重建剖切面3个部分。实验证明该算法可以得到稳定优异的重建图像,精确度较高。     

织物模拟中的自适应网格剖分研究

本文提出一种在织物模拟中的动态网格剖分方法，针对传统模拟算法中因网格剖分固定和曲面整体网格均匀剖分造成模拟误差与计算耗费，分别从织物物理和几何角度出发，提出在动态模拟过程中的自适应的网格剖分方法。利用模拟过程中曲面片局部形变信息，对网格进行动态剖分与合并，有效提高了模拟效率。经实际应用表明：该算法具有模拟效率高、易于计算机实现等优点，特别在对非均匀形变物体模拟中，该算法从模拟效率和精度均得到满意结果。     

基于似三棱柱构模的三维地质体的剖切

根据地质体的层状特征和钻孔数据的特殊性,采用似三棱柱体作为基本体元构建三维实体模型.对三维实体的剖切能显示实体的内部细节.基于对话框模式的交互方式,采用旋转平面法矢量的方法确定任意剖切平面,并提出多边形拼接实体剖切截面的方法.该方法加快了三维实体剖切截面的显示速度,并在实际工程项目中得到了具体应用.     

实现约束Delaunay三角剖分的健壮算法

相对于标准的Ｄｅｌａｕｎａｙ三角剖分，本文给出了复杂区域三角剖分所应满足的两个约束条件及相应的基于轨迹生成和边界裁剪的剖分算法，并证明了该算法符合约束圆准则，文中详细分析了退化及数值误差对剖分结果的影响，着重在提高算法健壮性方面，对该算法做了进一步完善，使它能够完全满足散乱据场网格剖分的分析。     

一种基于2维多边形集相似性的3维模型检索方法

提出了一种基于2维多边形集相似性度量的3维模型检索方法，它的主要思想是用一组沿着特定方向的2维切片表示3维模型，其中这些2维切片由多个多边形组成，从而将3维形状之间的匹配问题转换为多边形集之间的相似性度量问题。这种方法涉及以下3个问题：切片方向的选择、切割方法和多边形集之间的相似性度量。针对这些问题，分别给出了相应的方法和规则，并通过实验验证了这种方法的有效性。     

Locating faulty code by multiple points slicing

Dynamic slicing has long been considered as a useful tool for debugging programs as it effectively identifies a reduced fault candidate set which captures the faulty code in the program. Traditionally, a backward dynamic slice is computed starting from an incorrect value observed by the programmer during a failed program run. This incorrect value is either an incorrect output value or an incorrect address whose dereferencing causes the program to crash. Recently we proposed two additional types of dynamic slices, a forward dynamic slice of a minimal failure inducing input difference and a bidirectional dynamic slice of a critical predicate. We have built a dynamic slicing tool that computes dynamic slices by instrumenting program binaries and executing them to build dynamic dependence graphs. In this paper, through experiments, we demonstrate that supporting three different types of dynamic slices has the following advantages. First, we observe that for each type of dynamic slice there are distinct situations in which it is not applicable. Therefore, we should support multiple types of slices to handle a wide range of situations. Second, supporting multiple types of dynamic slices enables us to compute a multiple points dynamic slice which is the intersection of different type of available slices. Our experiments show that multiple points dynamic slices are significantly smaller than any of the three kinds of individual dynamic slices. Copyright © 2006 John Wiley & Sons, Ltd.     

基于切片技术获取系统测试用例的方法

针对如何获取局部和全部的系统测试用例,确保其正确性和完备性以及与需求的一致性问题,提出利用先进的建模技术,建立可模拟验证的过程模型,并应用切片技术获取测试用例,并利用基于过程模型结构分析的归纳法证明了该法的正确性,根据过程模型切片准则获取系统测试用例的算法,介绍了实现工具的构成和应用实例。     

3D打印模型切片及路径规划研究综述

3D打印包括建模、分层切片、路径规划及打印等过程。对3D打印中三维模型数据处理技术核心--切片和路径规划进行综述。介绍3D打印切片软件中针对单材料不同格式的模型切片处理方法,阐明了3D打印中的不同工艺参数影响下的切片算法,包括各类分层切片算法和扫描填充算法,说明每种算法的优缺点,并对现有的单相均质模型切片算法进行对比分析与评价,总结模型切片处理算法的不足,提出改进方向以及未来研究多材料3D打印模型数据处理的切入点。     

排队网络在制造系统中的应用及其三维仿真实现

首先讨论了排队网络建模仿真工具的功能需求，提出了基于有向图的排队网络仿真建模机制，以及将面向对象与离散事件结合起来的仿真方法，根据排队网络的理论，结合图形建模方法和动画仿真技术的发展，研究了排队网络法的3D仿真实现，开发了一个面向制造系统和基于3D仿真的排队网络分析工具。     

单幅人体切片图像的多轮廓二维重构算法研究与实现

基于切片图像数据的轮廓曲线二维重构是轮廓表面三维重构的基础。单幅切片图像可能存在有单轮廓或多轮廓。本文对中国虚拟人切片图像进行分析,针对单幅切片图像里的多轮廓线情况,研究提出了多轮廓提取算法和拟合曲线建模算法。经编程实验,成功实现了单幅图像里的多轮廓二维重构。     

一种基于切片的三维模型检索算法*

为了更加高效地从三维模型库中检索出相似模型,提出了一种基于切片的三维模型检索算法。首先应用主元分析对三维模型进行预处理;然后对预处理后的模型在不同位置和不同方向上进行切片,根据所得切片断面的相对面积进行三维模型检索。基于该算法设计并实现了三维模型检索系统。实验采用PSB(PrincetonShape Benchmark)提供的三维模型数据库,结果表明把模型的切片截面作为三维模型的特征描述,能有效地区分不同模型,并取得了较好的检索效果。     

Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Analysis

Petri net models are frequently complex and difficult to understand and modify. Slicing technology is very useful in analyzing programs, and has been widely used in specification level for model reduction. So it is necessary to explore slicing methods for Petri nets. This paper proposes a dynamic slicing technique for Petri nets based on the structural dependency graph (SDG). Firstly, the SDG is constructed from the slicing criterion by a backtracking algorithm. Secondly, based on the SDG and a given marking, the dynamic slice can be acquired. As a case study, the proposed method is applied to a control system, and a simulation tool is developed for validating this method and automatically generating the slice. The algorithms can be useful in automatically identifying the parts of the model that affect a state of interest, and provide the basic technical support for alleviating the difficulty of formal verification and analysis.     

Element-Partition-Based Methods for Visualization of 3D Unstructured Grid Data

Element-partition-based methods for visualization of 3D unstructured grid data are presented.First,partition schemes for common elements,including curvilinear tetrahedra,pentahedra,hexahedra,etc.,are given,so that complex elements can be divided into several rectilinear tetrahedra,and the visualization processes can be simplified.Then,a slice method for cloud map and an iso-surface method based on the partition schemes are described.     

计算机三维物体实体组建方法的研究

在计算机绘图和三维图像显示,例如激光扫描共焦显微图像、CT图像、MRI图像等的绘制和显示中,三维物体的组建是必不可少的。目前,三维物体的组建都是基于二维物体组建的基础之上。二维物体组建是基于连通性进行二维连通区域检出的,因而三维物体的组建速度比较慢。为此,文章提出一种新方法:围线积分法区域标号和链接表法三维叠片,用于三维图像中三维物体实体的组建。这种方法的基本原理是在三维二值图像中,先采用围线积分法区域标号,组建二维物体切片,再采用链接表法三维叠片,由二维物体切片组建三维实体。这种方法的优点是组建速度比较快。