Rock deformation equations and application to the study on slantingly installed disc cutter

At present the mechanical model of the interac- tion between a disc cutter and rock mainly concerns indentation experiment, linear cutting experiment and tunnel boring machine （TBM） on-site data. This is not in line with the actual rock-breaking movement of the disc cutter and impedes to some extent the research on the rock-breaking mechanism, wear mechanism and design theory. Therefore, our study focuses on the interaction between the slantingly installed disc cutter and rock, developing a model in accordance with the actual rock-breaking movement. Displacement equations are established through an analysis of the velocity vector at the rock-breaking point of the disc cutter blade; the func- tional relationship between the displacement parameters at the rock-breaking point and its rectangular coordinates is established through an analysis of micro-displacement vectors at the rock-breaking point, thus leading to the geometric equations of rock deformation caused by the slantingly installed disc cutter. Considering the basically linear relationship between the cutting force of disc cutters and the rock deformation before and after the leap break of rock, we express the constitutive relations of rock deformation as generalized Hooke＇s law and analyze the effect of the slanting installa- tion angle of disc cutters on the rock-breaking force. This will, as we hope, make groundbreaking contributions to the development of the design theory and installation practice of TBM.

Improved Quality Prediction Model for Multistage Machining Process Based on Geometric Constraint Equation

Product variation reduction is critical to improve process efficiency and product quality, especially for multistage machining process（MMP）. However, due to the variation accumulation and propagation, it becomes quite difficult to predict and reduce product variation for MMP. While the method of statistical process control can be used to control product quality, it is used mainly to monitor the process change rather than to analyze the cause of product variation. In this paper, based on a differential description of the contact kinematics of locators and part surfaces, and the geometric constraints equation defined by the locating scheme, an improved analytical variation propagation model for MMP is presented. In which the influence of both locator position and machining error on part quality is considered while, in traditional model, it usually focuses on datum error and fixture error. Coordinate transformation theory is used to reflect the generation and transmission laws of error in the establishment of the model. The concept of deviation matrix is heavily applied to establish an explicit mapping between the geometric deviation of part and the process error sources. In each machining stage, the part deviation is formulized as three separated components corresponding to three different kinds of error sources, which can be further applied to fault identification and design optimization for complicated machining process. An example part for MMP is given out to validate the effectiveness of the methodology. The experiment results show that the model prediction and the actual measurement match well. This paper provides a method to predict part deviation under the influence of fixture error, datum error and machining error, and it enriches the way of quality prediction for MMP.

The quaternion beam model for hard-magnetic flexible cantilevers

The recently developed hard-magnetic soft(HMS)materials manufactured by embedding high-coercivity micro-particles into soft matrices have received considerable attention from researchers in diverse fields,e.g.,soft robotics,flexible electronics,and biomedicine.Theoretical investigations on large deformations of HMS structures are significant foundations of their applications.This work is devoted to developing a powerful theoretical tool for modeling and computing the complicated nonplanar deformations of flexible beams.A so-called quaternion beam model is proposed to break the singularity limitation of the existing geometrically exact(GE)beam model.The singularity-free governing equations for the three-dimensional(3D)large deformations of an HMS beam are first derived,and then solved with the Galerkin discretization method and the trustregion-dogleg iterative algorithm.The correctness of this new model and the utilized algorithms is verified by comparing the present results with the previous ones.The superiority of a quaternion beam model in calculating the complicated large deformations of a flexible beam is shown through several benchmark examples.It is found that the purpose of the HMS beam deformation is to eliminate the direction deviation between the residual magnetization and the applied magnetic field.The proposed new model and the revealed mechanism are supposed to be useful for guiding the engineering applications of flexible structures.

A Structure-Preserving Numerical Method for the Fourth-Order Geometric Evolution Equations for Planar Curves

For fourth-order geometric evolution equations for planar curves with the dissipation of the bending energy,including the Willmore and the Helfrich flows,we consider a numerical approach.In this study,we construct a structure-preserving method based on a discrete variational derivative method.Furthermore,to prevent the vertex concentration that may lead to numerical instability,we discretely introduce Deckelnick’s tangential velocity.Here,a modification term is introduced in the process of adding tangential velocity.This modified term enables the method to reproduce the equations’properties while preventing vertex concentration.Numerical experiments demonstrate that the proposed approach captures the equations’properties with high accuracy and avoids the concentration of vertices.

A HARNACK INEQUALITY APPROACH TO THE INTERIOR REGULARITY GRADIENT ESTIMATES OF GEOMETRIC EQUATIONS

In this paper we prove the gradient estimates for fully nonlinear geometric equation using a normal perturbation techniques.

Quasi-static Deployment Simulation for Deployable Space Truss Structures

A new method was proposed for quasi-static deployment analysis of deployable space truss structures. The structure is assumed a rigid assembly, whose constraints are classified as three categories:rigid member constraint, joint-attached kinematic constraint and boundary constraint. And their geometric constraint equations and derivative matrices are formulated. The basis of the null space and M-P inverse of the geometric constraint matrix are employed to determine the solution for quasi-static deployment analysis. The influence introduced by higher terms of constraints is evaluated subsequently. The numerical tests show that the new method is efficient.

CONSTRUCTION OF GEOMETRIC PARTIAL DIFFERENTIAL EQUATIONS FOR LEVEL SETS

Geometric partial differential equations of level-set form are usually constructed by a variational method using either Dirac delta function or co-area formula in the energy functional to be minimized. However, the equations derived by these two approaches are not consistent. In this paper, we present a third approach for constructing the level-set form equations. By representing various differential geometry quantities and differential geometry operators in terms of the implicit surface, we are able to reformulate three classes of parametric geometric partial differential equations （second-order, fourth-order and sixth- order） into the level-set forms. The reformulation of the equations is generic and simple, and the resulting equations are consistent with their parametric form counterparts. We further prove that the equations derived using co-area formula are also consistent with the parametric forms. However, these equations are of much complicated forms than these given by the equations we derived.

A Variant of Fermat’s Diophantine Equation

A variant of Fermat’s last Diophantine equation is proposed by adjusting the number of terms in accord with the power of terms and a theorem describing the solubility conditions is stated. Numerically obtained primitive solutions are presented for several cases with number of terms equal to or greater than powers. Further, geometric representations of solutions for the second and third power equations are devised by recasting the general equation in a form with rational solutions less than unity. Finally, it is suggested to consider negative and complex integers in seeking solutions to Diophantine forms in general.

Geometric field theory and weak Euler-Lagrange equation for classical relativistic particle-field systems

A manifestly covariant, or geometric, field theory of relativistic classical particle-field systems is devel- oped. The connection between the space-time symmetry and energy-momentum conservation laws of the system is established geometrically without splitting the space and time coordinates; i.e., space- time is treated as one entity without choosing a coordinate system. To achieve this goal, we need to overcome two difficulties. The first difficulty arises from the fact that the particles and the field reside on different manifolds. As a result, the geometric Lagrangian density of the system is a function of the 4-potential of the electromagnetic fields and also a functional of the particles＇ world lines. The other difficulty associated with the geometric setting results from the mass-shell constraint. The standard Euler-Lagrange （EL） equation for a particle is generalized into the geometric EL equation when the mass-shell constraint is imposed. For the particle-field system, the geometric EL equation is further generalized into a weak geometric EL equation for particles. With the EL equation for the field and the geometric weak EL equation for particles, the symmetries and conservation laws can be established geometrically. A geometric expression for the particle energy-momentum tensor is derived for the first time, which recovers the non-geometric form in the literature for a chosen coordinate system.

A Simple, Fast and Stabilized Flowing Finite Volume Method for Solving General Curve Evolution Equations

A new simple Lagrangian method with favorable stability and efficiencyproperties for computing general plane curve evolutions is presented. The methodis based on the flowing finite volume discretization of the intrinsic partial differentialequation for updating the position vector of evolving family of plane curves. A curvecan be evolved in the normal direction by a combination of fourth order terms relatedto the intrinsic Laplacian of the curvature, second order terms related to the curva-ture, first order terms related to anisotropy and by a given external velocity field. Theevolution is numerically stabilized by an asymptotically uniform tangential redistri-bution of grid points yielding the first order intrinsic advective terms in the governingsystem of equations. By using a semi-implicit in time discretization it can be numer-ically approximated by a solution to linear penta-diagonal systems of equations (inpresence of the fourth order terms) or tri-diagonal systems (in the case of the secondorder terms). Various numerical experiments of plane curve evolutions, including, inparticular, nonlinear, anisotropic and regularized backward curvature flows, surfacediffusion and Willmore flows, are presented and discussed.

A curve flow evolved by a fourth order parabolic equation

We study a fourth order curve flow, which is the gradient flow of a functional describing the shapes of human red blood cells. We prove that for any smooth closed initial curve in ?2, the flow has a smooth solution for all time and the solution subconverges to a critical point of the functional.

On the Kahler-Ricci Flow on Projective Manifolds of General Type

This note concerns the global existence and convergence of the solution for Kahler-Ricci flow equation when the canonical class, Kx, is numerically effective and big. We clarify some known results regarding this flow on projective manifolds of general type and also show some new observations and refined results.

Higher-Order Level-Set Method and Its Application in Biomolecular Surfaces Construction

We present a general framework for a higher-order spline level-set （HLS） method and apply this to biomolecule surfaces construction. Starting from a first order energy functional, we obtain a general level set formulation of geometric partial differential equation, and provide an efficient approach to solving this partial differential equation using a C2 spline basis. We also present a fast cubic spline interpolation algorithm based on convolution and the Z-transform, which exploits the local relationship of interpolatory cubic spline coefficients with respect to given function data values. One example of our HLS method is demonstrated their individual atomic coordinates which is the construction of biomolecule and solvated radii as prerequisites. surfaces （an implicit solvation interface） with

Gradient Flow for the Helfrich Functional

The author studies the L2 gradient flow of the Helfrich functional, which is a functional describing the shapes of human red blood cells. For any λi ≥ 0 and co, the author obtains a lower bound on the lifespan of the smooth solution, which depends only on the concentration of curvature for the initial surface.

A Neural Paradigm forTime-Varying Motion Segmentation

This paper proposes a new neural algorithm to perform the segmentation of an observed scene into regions corresponding to different moving objects byanalyzing a time-varying images sequence. The method consists of a classificationstep, where the motion of small patches is characterized through an optimizationapproach, and a segmentation step merging neighboring patches characterized bythe same motion. Classification of motion is performed without optical flow computation, but considering only the spatial and temporal image gradients into anappropriate energy function minimized with a Hopfield-like neural network givingas output directly the 3D motion parameter estimates. Network convergence is accelerated by integrating the quantitative estimation of motion parameters with aqualitative estimate of dominant motion using the geometric theory of differentialequations.