Computational Intelligence In CAD/CAM Applications

This paper presents a fundamental, direct, and powerful approach to the surface/surface intersection problem in CAD/CAM applications. The algorithm is designed and implemented in three steps: a) Preprocessing- locate the potentially intersecting sections of the surfaces and decompose the surfaces into surface elements within specified flatness tolerance; b) Intersection- decompose the possibly intersecting pairs of surface elements into continuous surface triangulations to find the approximate intersections between the pairs of surface elements; c) Postprocessing-assemble the intersection primitives into curves of intersection, refine the accuracy of computed intersection points, and compact the intersection curves. This surface/surface intersection algorithm is applicable to the widest class, C°, of parametric surfaces, an enhancement over the existing algorithms applicable to only Ck, k≥ 1, surfaces. This implementation, based on computational intelligence, requires no human interaction for intersection curve pattern recognition

Heterogeneous volumetric data mapping and its medical applications

With the advance of data acquisition techniques, massive solid geometries are being collected routinely in scientific tasks, these complex and unstructured data need to be effectively correlated for various processing and analysis. Volumetric mapping solves bijective low-distortion correspondence between/among 3D geometric data, and can serve as an important preprocessing step in many tasks in compute-aided design and analysis, industrial manufacturing, medical image analysis, to name a few. This dissertation studied two important volumetric mapping problems: the mapping of heterogeneous volumes (with nonuniform inner structures/layers) and the mapping of sequential dynamic volumes. To effectively handle heterogeneous volumes, first, we studied the feature-aligned harmonic volumetric mapping. Compared to previous harmonic mapping, it supports the point, curve, and iso-surface alignment, which are important low-dimensional structures in heterogeneous volumetric data. Second, we proposed a biharmonic model for volumetric mapping. Unlike the conventional harmonic volumetric mapping that only supports positional continuity on the boundary, this new model allows us to have higher order continuity $C^1$ along the boundary surface. This suggests a potential model to solve the volumetric mapping of complex and big geometries through divide-and-conquer. We also studied the medical applications of our volumetric mapping in lung tumor respiratory motion modeling. We were building an effective digital platform for lung tumor radiotherapy based on effective volumetric CT/MRI image matching and analysis. We developed and integrated in this platform a set of geometric/image processing techniques including advanced image segmentation, finite element meshing, volumetric registration and interpolation. The lung organ/tumor and surrounding tissues are treated as a heterogeneous region and a dynamic 4D registration framework is developed for lung tumor motion modeling and tracking. Compared to the previous 3D pairwise registration, our new 4D parameterization model leads to a significantly improved registration accuracy. The constructed deforming model can hence approximate the deformation of the tissues and tumor

Efficient Localization of Discontinuities in Complex Computational Simulations

Surrogate models for computational simulations are input-output approximations that allow computationally intensive analyses, such as uncertainty propagation and inference, to be performed efficiently. When a simulation output does not depend smoothly on its inputs, the error and convergence rate of many approximation methods deteriorate substantially. This paper details a method for efficiently localizing discontinuities in the input parameter domain, so that the model output can be approximated as a piecewise smooth function. The approach comprises an initialization phase, which uses polynomial annihilation to assign function values to different regions and thus seed an automated labeling procedure, followed by a refinement phase that adaptively updates a kernel support vector machine representation of the separating surface via active learning. The overall approach avoids structured grids and exploits any available simplicity in the geometry of the separating surface, thus reducing the number of model evaluations required to localize the discontinuity. The method is illustrated on examples of up to eleven dimensions, including algebraic models and ODE/PDE systems, and demonstrates improved scaling and efficiency over other discontinuity localization approaches

Interrogation of spline surfaces with application to isogeometric design and analysis of lattice-skin structures

A novel surface interrogation technique is proposed to compute the intersection of curves with spline surfaces in isogeometric analysis. The intersection points are determined in one-shot without resorting to a Newton-Raphson iteration or successive refinement. Surface-curve intersection is required in a wide range of applications, including contact, immersed boundary methods and lattice-skin structures, and requires usually the solution of a system of nonlinear equations. It is assumed that the surface is given in form of a spline, such as a NURBS, T-spline or Catmull-Clark subdivision surface, and is convertible into a collection of B\'ezier patches. First, a hierarchical bounding volume tree is used to efficiently identify the B\'ezier patches with a convex-hull intersecting the convex-hull of a given curve segment. For ease of implementation convex-hulls are approximated with k-dops (discrete orientation polytopes). Subsequently, the intersections of the identified B\'ezier patches with the curve segment are determined with a matrix-based implicit representation leading to the computation of a sequence of small singular value decompositions (SVDs). As an application of the developed interrogation technique the isogeometric design and analysis of lattice-skin structures is investigated. The skin is a spline surface that is usually created in a computer-aided design (CAD) system and the periodic lattice to be fitted consists of unit cells, each containing a small number of struts. The lattice-skin structure is generated by projecting selected lattice nodes onto the surface after determining the intersection of unit cell edges with the surface. For mechanical analysis, the skin is modelled as a Kirchhoff-Love thin-shell and the lattice as a pin-jointed truss. The two types of structures are coupled with a standard Lagrange multiplier approach

Large-scale Geometric Data Decomposition, Processing and Structured Mesh Generation

Mesh generation is a fundamental and critical problem in geometric data modeling and processing. In most scientific and engineering tasks that involve numerical computations and simulations on 2D/3D regions or on curved geometric objects, discretizing or approximating the geometric data using a polygonal or polyhedral meshes is always the first step of the procedure. The quality of this tessellation often dictates the subsequent computation accuracy, efficiency, and numerical stability. When compared with unstructured meshes, the structured meshes are favored in many scientific/engineering tasks due to their good properties. However, generating high-quality structured mesh remains challenging, especially for complex or large-scale geometric data. In industrial Computer-aided Design/Engineering (CAD/CAE) pipelines, the geometry processing to create a desirable structural mesh of the complex model is the most costly step. This step is semi-manual, and often takes up to several weeks to finish. Several technical challenges remains unsolved in existing structured mesh generation techniques. This dissertation studies the effective generation of structural mesh on large and complex geometric data. We study a general geometric computation paradigm to solve this problem via model partitioning and divide-and-conquer. To apply effective divide-and-conquer, we study two key technical components: the shape decomposition in the divide stage, and the structured meshing in the conquer stage. We test our algorithm on vairous data set, the results demonstrate the efficiency and effectiveness of our framework. The comparisons also show our algorithm outperforms existing partitioning methods in final meshing quality. We also show our pipeline scales up efficiently on HPC environment

Isogeometric Design, Analysis and Optimisation of Lattice-Skin Structures

The advancements in additive manufacturing techniques enable novel designs using lattice structures in mechanical parts, lightweight materials, biomaterials and so forth. Lattice-skin structures are a class of structures that couple thin-shells with lattices, which potentially combine the advantages of the thin-shell and the lattice structure. A new and systematic isogeometric analysis approach that integrates the geometric design, structural analysis and optimisation of lattice-skin structures is proposed in the dissertation. In the geometric design of lattice-skin structures, a novel shape interrogation scheme for splines, specifically subdivision surfaces, is proposed, which is able to compute the line/surface intersection efficiently and robustly without resorting to successive refinements or iterations as in Newton-Raphson method. The line/surface intersection algorithm involves two steps: intersection detection and intersection computation. In the intersection detection process, a bounding volume tree of k-dops (discrete oriented polytopes) for the subdivision surface is first created in order to accelerate the intersection detection between the line and the surface. The spline patches which are detected to be possibly intersected by the line are converted to Bézier representations. For the intersection computation, a matrix-based algorithm is applied, which converts the nonlinear intersection computation into solving a sequence of linear algebra problems using the singular value decomposition (SVD). Finally, the lattice-skin geometry is generated by projecting selected lattice nodes to the nearest intersection points intersected by the lattice edges. The Stanford bunny example demonstrates the efficiency and accuracy of the developed algorithm. The structural analysis of lattice-skin structures follows the isogeometric approach, in which the thin-shell is discretised with spline basis functions and the lattice structure is modelled with pin-jointed truss elements. In order to consider the lattice-skin coupling, a Lagrange multiplier approach is implemented to enforce the displacement compatibility between the coupled lattice nodes and the thin-shell. More importantly, the parametric coordinates of the coupled lattice nodes on the thin-shell surface are obtained directly from the lattice-skin geometry generation, which integrates the design and analysis process of lattice-skin structures. A sandwich plate example is analysed to verify the implementation and the accuracy of the lattice-skin coupling computation. In addition, a SIMP-like lattice topology optimisation method is proposed. The topology optimisation results of lattice structures are analysed and compared with several examples adapted from the benchmark examples commonly used in continuum topology optimisation. The SIMP-like lattice topology optimisation proposed is further applied to optimise the lattice in lattice-skin structures. The lattice-skin topology optimisation is fully integrated with the lattice-skin geometry design since the sensitivity analysis in the proposed method is based on lattice unit cells which are inherited from the geometry design stage. Finally, shape optimisation of lattice-skin structures using the free-form deformation (FFD) technique is studied. The corresponding shape sensitivity of lattice-skin structures is derived. The geometry update of the lattice-skin structure is determined by the deformation of the FFD control volume, and in this process the coupling between lattice nodes and the thin-shell is guaranteed by keeping the parametric coordinates of coupled lattice nodes which are obtained in the lattice-skin geometry design stage. A pentagon roof example is used to explore the combination of lattice topology optimisation and shape optimisation of lattice-skin structures

WebGL-Based Simulation of Bone Removal in Surgical Orthopeadic Procedures

The effective role of virtual reality simulators in surgical operations has been demonstrated during the last decades. The proposed work has been done to give a perspective of the actual orthopeadic surgeries such as a total shoulder arthroplasty with low incidence and visibility of the operation to the surgeon. The research in this thesis is focused on the design and implementation of a web-based graphical feedback for a total shoulder arthroplasty (TSA) surgery. For portability of the simulation and powerful 3D programming features, WebGL is being applied. To simulate the reaming process of the shoulder bone, multiple steps has been passed to be able to remove the volumetric amount of bone which was touched by the reamer tool. A fast and accurate collision detection algorithm utilizing Möller –Trumbore ray-triangle method was implemented to detect the first collision of the bone and the tool in order to accelerate the computations for the bone removal process. Once the collision detected, a mesh Boolean operation using CSG method is being invoked to calculate the volumetric amount of bone which is intersected with the tool and should be removed. This work involves the user interaction to transform the tool in a Three.js scene for the simulated operation