Iso-level tool path planning for free-form surfaces

The aim of tool path planning is to maximize the efficiency against some given precision criteria. In practice, scallop height should be kept constant to avoid unnecessary cutting, while the tool path should be smooth enough to maintain a high feed rate. However, iso-scallop and smoothness often conflict with each other. Existing methods smooth iso-scallop paths one-by-one, which make the final tool path far from being globally optimal. This paper proposes a new framework for tool path optimization. It views a family of iso-level curves of a scalar function defined over the surface as tool path so that desired tool path can be generated by finding the function that minimizes certain energy functional and different objectives can be considered simultaneously. We use the framework to plan globally optimal tool path with respect to iso-scallop and smoothness. The energy functionals for planning iso-scallop, smoothness, and optimal tool path are respectively derived, and the path topology is studied too. Experimental results are given to show effectiveness of the proposed methods

Stability conditions and positivity of invariants of fibrations

We study three methods that prove the positivity of a natural numerical invariant associated to $1-$parameter families of polarized varieties. All these methods involve different stability conditions. In dimension 2 we prove that there is a natural connection between them, related to a yet another stability condition, the linear stability. Finally we make some speculations and prove new results in higher dimension.Comment: Final version, to appear in the Springer volume dedicated to Klaus Hulek on the occasion of his 60-th birthda

Double Bubbles Minimize

The classical isoperimetric inequality in R^3 states that the surface of smallest area enclosing a given volume is a sphere. We show that the least area surface enclosing two equal volumes is a double bubble, a surface made of two pieces of round spheres separated by a flat disk, meeting along a single circle at an angle of 120 degrees.Comment: 57 pages, 32 figures. Includes the complete code for a C++ program as described in the article. You can obtain this code by viewing the source of this articl

A short proof of the G\"ottsche conjecture

We prove that for a sufficiently ample line bundle $L$ on a surface $S$, the number of $\delta$-nodal curves in a general $\delta$-dimensional linear system is given by a universal polynomial of degree $\delta$ in the four numbers $L^2,\,L.K_S,\,K_S^2$ and $c_2(S)$. The technique is a study of Hilbert schemes of points on curves on a surface, using the BPS calculus of [PT3] and the computation of tautological integrals on Hilbert schemes by Ellingsrud, G\"ottsche and Lehn. We are also able to weaken the ampleness required, from G\"ottsche's $(5\delta-1)$-very ample to $\delta$-very ample.Comment: 8 pages. Published versio

A survey of partial differential equations in geometric design

YesComputer aided geometric design is an area where the improvement of surface generation techniques is an everlasting demand since faster and more accurate geometric models are required. Traditional methods for generating surfaces were initially mainly based upon interpolation algorithms. Recently, partial differential equations (PDE) were introduced as a valuable tool for geometric modelling since they offer a number of features from which these areas can benefit. This work summarises the uses given to PDE surfaces as a surface generation technique togethe

Modelling of oedemous limbs and venous ulcers using partial differential equations

BACKGROUND: Oedema, commonly known as tissue swelling, occurs mainly on the leg and the arm. The condition may be associated with a range of causes such as venous diseases, trauma, infection, joint disease and orthopaedic surgery. Oedema is caused by both lymphatic and chronic venous insufficiency, which leads to pooling of blood and fluid in the extremities. This results in swelling, mild redness and scaling of the skin, all of which can culminate in ulceration. METHODS: We present a method to model a wide variety of geometries of limbs affected by oedema and venous ulcers. The shape modelling is based on the PDE method where a set of boundary curves are extracted from 3D scan data and are utilised as boundary conditions to solve a PDE, which provides the geometry of an affected limb. For this work we utilise a mixture of fourth order and sixth order PDEs, the solutions of which enable us to obtain a good representative shape of the limb and associated ulcers in question. RESULTS: A series of examples are discussed demonstrating the capability of the method to produce good representative shapes of limbs by utilising a series of curves extracted from the scan data. In particular we show how the method could be used to model the shape of an arm and a leg with an associated ulcer. CONCLUSION: We show how PDE based shape modelling techniques can be utilised to generate a variety of limb shapes and associated ulcers by means of a series of curves extracted from scan data. We also discuss how the method could be used to manipulate a generic shape of a limb and an associated wound so that the model could be fine-tuned for a particular patient

Universal polynomials for singular curves on surfaces

Let S be a complex smooth projective surface and L be a line bundle on S. For any given collection of isolated topological or analytic singularity types, we show the number of curves in the linear system |L| with prescribed singularities is a universal polynomial of Chern numbers of L and S, assuming L is sufficiently ample. Moreover, we define a generating series whose coefficients are these universal polynomials and discuss its properties. This work is a generalization of Gottsche's conjecture to curves with higher singularities.Comment: 12 page