86,665 research outputs found
Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities
A complete method is proposed to compute a certified, or ambient isotopic,
meshing for an implicit algebraic surface with singularities. By certified, we
mean a meshing with correct topology and any given geometric precision. We
propose a symbolic-numeric method to compute a certified meshing for the
surface inside a box containing singularities and use a modified
Plantinga-Vegter marching cube method to compute a certified meshing for the
surface inside a box without singularities. Nontrivial examples are given to
show the effectiveness of the algorithm. To our knowledge, this is the first
method to compute a certified meshing for surfaces with singularities.Comment: 34 pages, 17 Postscript figure
Non-toric bases for elliptic Calabi-Yau threefolds and 6D F-theory vacua
We develop a combinatorial approach to the construction of general smooth
compact base surfaces that support elliptic Calabi-Yau threefolds. This extends
previous analyses that have relied on toric or semi-toric structure. The
resulting algorithm is used to construct all classes of such base surfaces
with and all base surfaces over which there is an
elliptically fibered Calabi-Yau threefold with Hodge number . These two sets can be used todescribe all 6D F-theory models that
have fewer than seven tensor multiplets or more than 150 neutral scalar fields
respectively in their maximally Higgsed phase. Technical challenges to
constructing the complete list of base surfaces for all Hodge numbers are
discussed.Comment: 51 pages, 10 figure
Computational Method for Phase Space Transport with Applications to Lobe Dynamics and Rate of Escape
Lobe dynamics and escape from a potential well are general frameworks
introduced to study phase space transport in chaotic dynamical systems. While
the former approach studies how regions of phase space are transported by
reducing the flow to a two-dimensional map, the latter approach studies the
phase space structures that lead to critical events by crossing periodic orbit
around saddles. Both of these frameworks require computation with curves
represented by millions of points-computing intersection points between these
curves and area bounded by the segments of these curves-for quantifying the
transport and escape rate. We present a theory for computing these intersection
points and the area bounded between the segments of these curves based on a
classification of the intersection points using equivalence class. We also
present an alternate theory for curves with nontransverse intersections and a
method to increase the density of points on the curves for locating the
intersection points accurately.The numerical implementation of the theory
presented herein is available as an open source software called Lober. We used
this package to demonstrate the application of the theory to lobe dynamics that
arises in fluid mechanics, and rate of escape from a potential well that arises
in ship dynamics.Comment: 33 pages, 17 figure
Extraction of cylinders and cones from minimal point sets
We propose new algebraic methods for extracting cylinders and cones from
minimal point sets, including oriented points. More precisely, we are
interested in computing efficiently cylinders through a set of three points,
one of them being oriented, or through a set of five simple points. We are also
interested in computing efficiently cones through a set of two oriented points,
through a set of four points, one of them being oriented, or through a set of
six points. For these different interpolation problems, we give optimal bounds
on the number of solutions. Moreover, we describe algebraic methods targeted to
solve these problems efficiently
Recommended from our members
Articular human joint modelling
Copyright @ Cambridge University Press 2009.The work reported in this paper encapsulates the theories and algorithms developed to drive the core analysis modules of the software which has been developed to model a musculoskeletal structure of anatomic joints. Due to local bone surface and contact geometry based joint kinematics, newly developed algorithms make the proposed modeller different from currently available modellers. There are many modellers that are capable of modelling gross human body motion. Nevertheless, none of the available modellers offer complete elements of joint modelling. It appears that joint modelling is an extension of their core analysis capability, which, in every case, appears to be musculoskeletal motion dynamics. It is felt that an analysis framework that is focused on human joints would have significant benefit and potential to be used in many orthopaedic applications. The local mobility of joints has a significant influence in human motion analysis, in understanding of joint loading, tissue behaviour and contact forces. However, in order to develop a bone surface based joint modeller, there are a number of major problems, from tissue idealizations to surface geometry discretization and non-linear motion analysis. This paper presents the following: (a) The physical deformation of biological tissues as linear or non-linear viscoelastic deformation, based on spring-dashpot elements. (b) The linear dynamic multibody modelling, where the linear formulation is established for small motions and is particularly useful for calculating the equilibrium position of the joint. This model can also be used for finding small motion behaviour or loading under static conditions. It also has the potential of quantifying the joint laxity. (c) The non-linear dynamic multibody modelling, where a non-matrix and algorithmic formulation is presented. The approach allows handling complex material and geometrical nonlinearity easily. (d) Shortest path algorithms for calculating soft tissue line of action geometries. The developed algorithms are based on calculating minimum ‘surface mass’ and ‘surface covariance’. An improved version of the ‘surface covariance’ algorithm is described as ‘residual covariance’. The resulting path is used to establish the direction of forces and moments acting on joints. This information is needed for linear or non-linear treatment of the joint motion. (e) The final contribution of the paper is the treatment of the collision. In the virtual world, the difficulty in analysing bodies in motion arises due to body interpenetrations. The collision algorithm proposed in the paper involves finding the shortest projected ray from one body to the other. The projection of the body is determined by the resultant forces acting on it due to soft tissue connections under tension. This enables the calculation of collision condition of non-convex objects accurately. After the initial collision detection, the analysis involves attaching special springs (stiffness only normal to the surfaces) at the ‘potentially colliding points’ and motion of bodies is recalculated. The collision algorithm incorporates the rotation as well as translation. The algorithm continues until the joint equilibrium is achieved. Finally, the results obtained based on the software are compared with experimental results obtained using cadaveric joints
- …