Towards additive manufacturing oriented geometric modeling using implicit functions

Surface-based geometric modeling has many advantages in terms of visualization and traditional subtractive manufacturing using computer-numerical-control cutting-machine tools.However,it is not an ideal solution for additive manufacturing because to digitally print a surface-represented geometric object using a certain additive manufacturing technology,the object has to be converted into a solid representation.However,converting a known surface-based geometric representation into a printable representation is essentially a redesign process,and this is especially the case,when its interior material structure needs to be considered.To specify a 3D geometric object that is ready to be digitally manufactured,its representation has to be in a certain volumetric form.In this research,we show how some of the difficulties experienced in additive manufacturing can be easily solved by using implicitly represented geometric objects.Like surface-based geometric representation is subtractive manufacturing-friendly,implicitly described geometric objects are additive manufacturing-friendly:implicit shapes are 3D printing ready.The implicit geometric representation allows to combine a geometric shape,material colors,an interior material structure,and other required attributes in one single description as a set of implicit functions,and no conversion is needed.In addition,as implicit objects are typically specified procedurally,very little data is used in their specifications,which makes them particularly useful for design and visualization with modern cloud-based mobile devices,which usually do not have very big storage spaces.Finally,implicit modeling is a design procedure that is parallel computing-friendly,as the design of a complex geometric object can be divided into a set of simple shape-designing tasks,owing to the availability of shape-preserving implicit blending operations.

Large Deformation Beam/Cable Element with Implicit Kinematic Model

This paper proposes a 3D 2-node element for beams and cables. Main improvements of the element are two new interpolation functions for beam axis and cross-sectional rotation. New interpolation functions employ implicit functions to simulate large deformations. In the translational interpolation function, two parameters which affect lateral deflection geometry are defined implicitly through nonlinear equations. The proposed translational interpolation function is shown to be more accurate than Hermitian function at large deformations. In the rotational interpolation function, twist rate is defined implicitly through a torsional continuity equation. Cross-sectional rotation which is strictly consistent to beam axis is obtained through separate bending rotation interpolation and torsional rotation interpolation. The element model fully accounts for geometric nonlinearities and coupling effects,and thus,can simulate cables with zero bending stiffness. Stiffness matrix and load vector have been derived using symbolic computation. Source code has been generated automatically.Numerical examples show that the proposed element has significantly higher accuracy than conventional 2-node beam elements under the same meshes for geometrically nonlinear problems.

The Conditions of Equivalence of a Class Germs of C~∞ Functions on Banach Spaces

In this paper,we prove the converse of gem is right equivalent is also true in[1] and[2],obtain the necessary and sufficient conditions of equivalence of a class gems of C∞ function on Banach spaces.

Influence of Waveguide Properties on Wave Prototypes Likely to Accompany the Dynamics of Four-Wave Mixing in Optical Fibers

In this article, we study the impacts of nonlinearity and dispersion on signals likely to propagate in the context of the dynamics of four-wave mixing. Thus, we use an indirect resolution technique based on the use of the iB-function to first decouple the nonlinear partial differential equations that govern the propagation dynamics in this case, and subsequently solve them to propose some prototype solutions. These analytical solutions have been obtained;we check the impact of nonlinearity and dispersion. The interest of this work lies not only in the resolution of the partial differential equations that govern the dynamics of wave propagation in this case since these equations not at all easy to integrate analytically and their analytical solutions are very rare, in other words, we propose analytically the solutions of the nonlinear coupled partial differential equations which govern the dynamics of four-wave mixing in optical fibers. Beyond the physical interest of this work, there is also an appreciable mathematical interest.

Linear and Quadratic Leap-and-Land Trajectory Tracking Algorithms

Considered in this note are numerical tracking algorithms for the accurate following of implicit curves. We start with a fixed point on the curve, and then systematically place on it additional points, one after the other. In this note we first go over the basic procedure of moving forward tangentially from an already placed point then orthogonally returning to the curve. Next, we further consider higher order forward stepping procedures for greater accuracy. We note, however, that higher order methods, desirable for greater accuracy, may harbor latent instabilities. This note suggests ways of holding such instabilities in check, to have stable and highly accurate tracing methods. The note has several supporting numerical examples, including the rounding of a dynamical “snap-through” point.

MULTI-DIMENSIONAL RIEMANN PROBLEM OF SCALAR CONSERVATION LAW

This paper considers multi-dimensional Riemann problem in another kind of view. The author gets solution of (1.1)(1.2) in Theorem 3.4 and proves itu uniqueness. A new method of solution constructing is applied, which is different from the usual self-similar transformation. The author also discusses some generalized concepts in multi-dimensional situation (such as 'convex condition', 'left value' and 'right value', etc). An example is finally given to demonstrate that rarefaction wave solution of (1.1)(1.2) is not self-similar.

Numerical method of slope failure probability based on Bishop model

Based on Bishop's model and by applying the first and second order mean deviations method, an approximative solution method for the first and second order partial derivatives of functional function was deduced according to numerical analysis theory. After complicated multi-independent variables implicit functional function was simplified to be a single independent variable implicit function and rule of calculating derivative for composite function was combined with principle of the mean deviations method, an approximative solution format of implicit functional function was established through Taylor expansion series and iterative solution approach of reliability degree index was given synchronously. An engineering example was analyzed by the method. The result shows its absolute error is only 0.78% as compared with accurate solution.

SUPPORT VECTOR MACHINE FOR STRUCTURAL RELIABILITY ANALYSIS

Support vector machine （SVM） was introduced to analyze the reliability of the implicit performance function, which is difficult to implement by the classical methods such as the first order reliability method （FORM） and the Monte Carlo simulation （MCS）. As a classification method where the underlying structural risk minimization inference rule is employed, SVM possesses excellent learning capacity with a small amount of information and good capability of generalization over the complete data. Hence, two approaches, i.e., SVM-based FORM and SVM-based MCS, were presented for the structural reliability analysis of the implicit limit state function. Compared to the conventional response surface method （RSM） and the artificial neural network （ANN）, which are widely used to replace the implicit state function for alleviating the computation cost, the more important advantages of SVM are that it can approximate the implicit function with higher precision and better generalization under the small amount of information and avoid the ＂curse of dimensionality＂. The SVM-based reliability approaches can approximate the actual performance function over the complete sampling data with the decreased number of the implicit performance function analysis （usually finite element analysis）, and the computational precision can satisfy the engineering requirement, which are demonstrated by illustrations.

FORMULA OF GLOBAL SMOOTH SOLUTION FOR NON-HOMOGENEOUS M-D CONSERVATION LAW WITH UNBOUNDED INITIAL VALUE

In this article, we prove the existence and obtain the expression of its solution formula of global smooth solution for non-homogeneous multi-dimensional（m-D） conservation law with unbounded initial value; our methods are new and essentially different with the situation of bounded initial value.

Higher Order Solitary Wave Solutions of the Standard KdV Equations

Considered under their standard form, the fifth-order KdV equations are a sort of reading table on which new prototypes of higher order solitary waves residing there, have been uncovered and revealed to broad daylight. The mathematical tool that made it possible to explore and analyze this equation is the Bogning-Djeumen Tchaho-Kofané method extended to the new implicit Bogning' functions. The analytical form of the solutions chosen in this manuscript is particular in the sense that it contains within its bosom, a package of solitary waves made up of three solitons, especially, the bright type soliton, the hybrid soliton and the dark type soliton which we estimate capable in their interactions of generating new hybrid or multi-form solitons. Existence conditions of the obtained solitons have been determined. It emerges that, these existence conditions of the chosen ansatz could open the way to other new varieties of fifth-order KdV equations including to which it will be one of the solutions. Some of the obtained solitons are exact solutions. Intense numerical simulations highlighted numerical stability and confirmed the hybrid character of the obtained solutions. These results will help to model new nonlinear wave phenomena, in plasma media and in fluid dynamics, especially, on the shallow water surface.

When Does x^x~x Exist?

This paper further explores some interesting properties of the infinite exponential series, or called tower of powers, with a rigorous proof of its convergence in a positive interval.

Positive Solutions for a Class of Quasilinear Schrödinger Equations with Nonlocal Term

This paper is considered the existence of positive solutions for a class of generalized quasilinear Schrödinger equations with nonlocal term in RN which have appeared from plasma physics, as well as high-power ultrashort laser in matter. We use a charge of variables and obtain the existence of solutions via minimization argument.

Implicit Function Theorem and Its Application to a Ulam's Problem for Exact Differential Equations

We prove a global version of the implicit function theorem under a special condition and apply this result to the proof of a modified Hyers-Ulam-Rassias stability of exact differential equations of the form, g（x, y） ＋ h（x, y）y＇ =0.

Application of Least Squares Support Vector Machine for Regression to Reliability Analysis

In order to deal with the issue of huge computational cost very well in direct numerical simulation, the traditional response surface method (RSM) as a classical regression algorithm is used to approximate a functional relationship between the state variable and basic variables in reliability design. The algorithm has treated successfully some problems of implicit performance function in reliability analysis. However, its theoretical basis of empirical risk minimization narrows its range of applications for...

Jungck's Common Fixed Point Theorem and E.A Property

We prove that （E.A） property buys the required containment of range of one mapping into the range of other in common fixed point considerations up to a pair of mappings. While proving our results, we utilize the idea of implicit functions due to Popa, keeping in view their unifying power.

Local solvability of the k-Hessian equations

We give a classification of second-order polynomial solutions for the homogeneous k-Hessian equation σ_k[u] = 0. There are only two classes of polynomial solutions: One is convex polynomial; another one must not be(k + 1)-convex, and in the second case, the k-Hessian equations are uniformly elliptic with respect to that solution. Based on this classification, we obtain the existence of C∞local solution for nonhomogeneous term f without sign assumptions.

Uniqueness and Radial Symmetry of Least Energy Solution for a Semilinear Neumann Problem

Consider the following Neumann problem d△u- u ＋ k（x）u^p = 0 and u 〉 0 in B1, δu/δv =0 on OB1,where d 〉 0, B1 is the unit ball in R^N, k（x） = k（｜x｜） ≠ 0 is nonnegative and in C（-↑B1）, 1 〈 p 〈 N＋2/N-2 with N≥ 3. It was shown in [2] that, for any d 〉 0, problem （＊） has no nonconstant radially symmetric least energy solution if k（x） ≡ 1. By an implicit function theorem we prove that there is d0 〉 0 such that （＊） has a unique radially symmetric least energy solution if d 〉 d0, this solution is constant if k（x） ≡ 1 and nonconstant if k（x） ≠ 1. In particular, for k（x） ≡ 1, do can be expressed explicitly.

Dependence of eigenvalues of regular Sturm- Liouville operators on the boundary condition

In this paper,we study the continuous dependence of eigenvalue of Sturm-Liouville differential operators on the boundary condition by using of implicit function theorem.The work not only provides a new and elementary proof of the above results,but also explicitly presents the expressions for derivatives of the n-th eigenvalue with respect to given parameters.Further-more,we obtain the new results of the position and number of the generated double eigenvalues under the real coupled boundary condition.