• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2004.10a
• /
• pp.304-311
• /
• 2004

In this paper, three dimensional dynamic infinite elements are developed for the soil-structure interaction analysis in multi-layered halfspace. For the efficient discretization of 3-D for field regions, five types of dynamic infinite elements are developed. They are the horizontal, vertical, upper horizontal conner, lower vertical conner and conner of conner infinite elements. The shape functions of the infinite elements are based on the approximate expressions of the analytical solutions of the propagating waves in the infinite region. Numerical example analyses are presented for demonstrating the effectiveness of the proposed infinite elements.

• Journal for History of Mathematics
• /
• v.18 no.3
• /
• pp.67-78
• /
• 2005

In this paper we deals with Leibniz's definition of infinite and infinitely small quantities, infinite quantities and theory of quantified indivisibles in comparison with Galileo's concept of indivisibles. Leibniz developed 'method of indivisible' in order to introduce the integrability of continuous functions. also we deals with this demonstration, with Leibniz's rules of arithmetic of infinitely small and infinite quantities.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2003.10a
• /
• pp.79-86
• /
• 2003

In this paper, three dimensional dynamic infinite elements are developed for the soil-structure interaction analysis in multi-layered halfspace. For the efficient discretization of 3-D for field regions, five types of dynamic infinite elements are developed, they are the horizontal, vertical, upper horizontal conner, lower vertical conner and conner of conner infinite elements. The shape functions of the infinite elements are based on the approximate expressions of the analytical solutions of the propagation wave in the infinite region. Numerical example analyses are presented for demonstrating the effectiveness of the proposed infinite elements.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2002.04a
• /
• pp.369-376
• /
• 2002

The stochastic analysis of semi-infinite domain is presented using the weighted integral method, which is improved to include the higher order terms in expanding the displacement vector. To improve the weighted integral method, the Lagrangian remainder is taken into account in the expansion of the status variable with respect to the mean value of the random variables. In the resulting formulae only the 'proportionality coefficients' are introduced in the resulting equation, therefore no additional computation time and memory requirement is needed. The equations are applied in analyzing the semi-infinite domain. The results obtained by the improved weighted integral method are reasonable and are in good agreement with those of the Monte Carlo simulation. To model the semi-infinite domain, the Bettess's infinite element is adopted, where the theoretical decomposition of the strain-displacement matrix to calculate the deviatoric stiffness of the semi-infinite domains is introduced. The calculated value of mean and the covariance of the displacement are revealed to be larger than those given by the finite domain assumptions which is thought to be rational and should be considered in the design of structures on semi-infinite domains.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.643-651
• /
• 2005

In the first part of this paper we investigate several statements concerning infinite maximal planar graphs which are equivalent in finite case. In the second one, for a given induced $\theta$-path (a finite induced path whose endvertices are adjacent to a vertex of infinite degree) in a 4-connected VAP-free maximal planar graph containing a vertex of infinite degree, a new $\theta$-path is constructed such that the resulting fan is tight.

• Journal of Korean Institute of Industrial Engineers
• /
• v.20 no.1
• /
• pp.121-131
• /
• 1994

Since many infinite horizon problems have infinite sequence of data to be considered, in general, it is impossible to express the optimal strategies finitely or to calculate them in finite time. This paper considers undiscounted nonhomogeneous deterministic infinite horizon problems. For those problems, we take a basic step to solve this class of infinite horizon problems optimally by giving a sufficient condition for a finite solution.

• Journal of the Chungcheong Mathematical Society
• /
• v.25 no.2
• /
• pp.299-312
• /
• 2012

In 1970s, B. C. Berndt proved a transformation formula for a large class of functions that includes the classical Dedekind eta function. From this formula, he evaluated several classes of infinite series and found a lot of interesting infinite series identities. In this paper, using his formula, we find new infinite series identities.

• Korean Journal of Mathematics
• /
• v.19 no.4
• /
• pp.465-480
• /
• 2011

B. C. Berndt established many identities about infinite series. In this paper, continuing his work, we find new identities about infinite series containing hyperbolic functions and trigonometric functions.

• Korean Journal of Mathematics
• /
• v.20 no.4
• /
• pp.451-461
• /
• 2012

B.C. Berndt has established many relations between various infinite series using a transformation formula for a large class of functions, which comes from a more general class of Eisenstein series. In this paper, continuing his study, we find some infinite series identities.

• Journal of applied mathematics & informatics
• /
• v.27 no.3_4
• /
• pp.531-539
• /
• 2009

In this paper we first present a structure theorem for an infinite locally finite 3-connected VAP-free planar graph, and in connection with this result we study a possible classification of infinite locally finite planar graphs by reducing modulo finiteness.