• Geomechanics and Engineering
• /
• v.15 no.1
• /
• pp.621-630
• /
• 2018

In the note a comprehensive and optimal passive-active mode for describing the limit failure of circular shallow tunnel with settlement is put forward to predict the catastrophic stability during the geotechnical construction. Since the surrounding soil mass around tunnel roof is not homogeneous, with tools of variation calculus, several different curve functions which depict several failure shapes in different soil layers are obtained using virtual work formulae. By making reference to the simple-form of Power-law failure criteria based on numerous experiments, a numerical procedure with consideration of combination of upper bound theorem and stochastic medium theory is applied to the optimal analysis of shallow-buried tunnel failure. With help of functional catastrophe theory, this work presented a more accurate and optimal failure profile compared with previous work. Lastly the note discusses different effects of parameters in new yield rule and soil mechanical coefficients on failure mechanisms. The scope of failure block becomes smaller with increase of the parameter A and the range of failure soil mass tends to decrease with decrease of unit weight of the soil and tunnel radius, which verifies the geomechanics and practical case in engineering.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.846-858
• /
• 1997

Despite elaegant semantics and a lot of features, pure functional programming languages do not provide an affcient way of represnting states.Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement becaese of the complex type system and redujction rule.Therefore, the scheme which simplifies the reduction rule and maintains states effciently is needed to have the implemen-taiton dffetive.This paper proposes st-calculus, the excution model of a functinal language with states and proves that the proposed model satistiies the church-Rosser theorem.It has simple reduction rules and the ability of rerpresenting states without, and the difficulties with implementation may be reduced by simplifving the reduction rules.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2002.05a
• /
• pp.303-308
• /
• 2002

A governing differential equation (GDE) of PSC flexural member with constant eccentricity considering the long-term losses including concrete creep, shrinkage, and PS steel relaxation is derived based on the two approaches. The first approach utilizes the force and moment equilibrium equations derived based on the geometry of strains of the uniform and curvature strains while the second one utilizes the principle of minimum total potential energy formulation. The identity of the two GDE's is verified by comparing the coefficients consisting of the GDE's. The boundary conditions resulting from the functional analysis of the variational calculus are investigated. Rayleigh-Ritz method provides a way to get the explicit form of the continuous deflection function in which the total potential energy is minimized with respect to the unknown coefficients consisting of the trial functions. As a closure, the analytically calculated results are compared with the experiments and show good agreements.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.17 no.4
• /
• pp.108-117
• /
• 2009

Leissa claimed in his article that the Rayleigh method is not the same as the Ritz method for determining natural frequencies and its corresponding mode shapes and contended that Rayleigh's name should not be attached to the method. The present article examines the methods in viewpoint of admissible functions and its minimization process, and of the historical developments. It concludes that Leissa's assertion is relevant, although Rayleigh did apply a conceptual theory systematized from the Lagrange method, and given 38 years earlier than Ritz's 'masterly exposition of theory'.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.800-807
• /
• 2008

We introduce some well-known approaches to formalization and automatization of the meta-theory of a programming language with binders. They represent the trends in POPLmark Challenge. We demonstrate some characteristics of each approach by showing how to formalize some basic notations and concepts of Lambda-calculus using the proof assistant Coq.

• Journal of applied mathematics & informatics
• /
• v.14 no.1_2
• /
• pp.97-113
• /
• 2004

In this paper we shall study moving boundary problems, and we introduce an approach for solving a wide range of them by using calculus of variations and optimization. First, we transform the problem equivalently into an optimal control problem by defining an objective function and artificial control functions. By using measure theory, the new problem is modified into one consisting of the minimization of a linear functional over a set of Radon measures; then we obtain an optimal measure which is then approximated by a finite combination of atomic measures and the problem converted to an infinite-dimensional linear programming. We approximate the infinite linear programming to a finite-dimensional linear programming. Then by using the solution of the latter problem we obtain an approximate solution for moving boundary function on specific time. Furthermore, we show the path of moving boundary from initial state to final state.

• The Pure and Applied Mathematics
• /
• v.8 no.1
• /
• pp.71-78
• /
• 2001

In 1984, Johnson[A bounded convergence theorem for the Feynman in-tegral, J, Math. Phys, 25(1984), 1323-1326] proved a bounded convergence theorem for hte Feynman integral. This is the first stability theorem of the Feynman integral as an $L(L_2 (\mathbb{R}^N), L_2(\mathbb{R}^{N}))$ theory. Johnson and Lapidus [Generalized Dyson series, generalized Feynman digrams, the Feynman integral and Feynmans operational calculus. Mem, Amer, Math, Soc. 62(1986), no 351] studied stability theorems for the Feynman integral as an $L(L_2 (\mathbb{R}^N), L_2(\mathbb{R}^{N}))$ theory for the functional with arbitrary Borel measure. These papers treat functionals which involve only a single integral. In this paper, we obtain the stability theorems for the Feynman integral as an $L(L_1 (\mathbb{R}^N), L_{\infty}(\mathbb{R}^{N}))$theory for the functionals which involve double integral with some Borel measures.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.2
• /
• pp.381-392
• /
• 2021

During the last several decades, a great variety of fractional kinetic equations involving diverse special functions have been broadly and usefully employed in describing and solving several important problems of physics and astrophysics. In this paper, we aim to find solutions of a type of fractional kinetic equations associated with the (p, q)-extended 𝜏 -hypergeometric function and the (p, q)-extended 𝜏 -confluent hypergeometric function, by mainly using the Laplace transform. It is noted that the main employed techniques for this chosen type of fractional kinetic equations are Laplace transform, Sumudu transform, Laplace and Sumudu transforms, Laplace and Fourier transforms, P_𝛘-transform, and an alternative method.

• Nonlinear Functional Analysis and Applications
• /
• v.29 no.1
• /
• pp.83-98
• /
• 2024

In this paper, we investigate the existence and uniqueness of solutions to a new class of integro-differential equation boundary value problems (BVPs) with ㄒ-Hilfer operator. Our problem is converted into an equivalent fixed-point problem by introducing an operator whose fixed points coincide with the solutions to the given problem. Using Banach's and Schauder's fixed point techniques, the uniqueness and existence result for the given problem are demonstrated. The stability results for solutions of the given problem are also discussed. In the end. One example is provided to demonstrate the obtained results

• Proceedings of the KSRS Conference
• /
• v.2
• /
• pp.610-614
• /
• 2006

In this paper the advanced method of geodesic active contours was developed for the task of building detection from aerial and satellite images. Automatic extraction of man-made structures including buildings, building blocks or roads from remote sensing data is useful for land use mapping, scene understanding, robotic navigation, image retrieval, surveillance, emergency management procedures, cadastral etc. A level set method based on a region-driven segmentation model was implemented with which building boundaries were detected, through this curve propagation technique. The essence of this approach is to optimize the position and the geometric form of the curve by measuring information along that curve, and within the regions that compose the image partition. To this end, one can consider uniform intensities inside objects and the background. Thus, given an initial position of the curve, one can determine global, region-driven functions and provide a statistical description of the inside and outside object area. The calculus of variations and a gradient descent method was used to optimize the variational functional by an iterative steady state process. Experimental results demonstrate the potential of the proposed processing scheme.