• East Asian mathematical journal
• /
• v.14 no.1
• /
• pp.141-148
• /
• 1998

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1995.10b
• /
• pp.326-330
• /
• 1995

We define a PL-limit structure and a PL-Cauchy structure and obtain a completion of a separated PL-Cauchy structure.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.12
• /
• pp.3011-3016
• /
• 2015

Representing protein three-dimensional structure by concatenating a sequence of protein fragments gives an efficient application in analysis, modeling, search, and prediction of protein structures. This paper investigated the effective combination of distance measures, which can exploit large protein structure database, in order to construct a protein fragment library representing native protein structures accurately. Clustering method was used to construct a protein fragment library. Initial clustering stage used inter alpha-carbon distance having low time complexity, and cluster extension stage used the combination of inter alpha-carbon distance, Binet-Cauchy distance, and root mean square deviation. Protein fragment library was constructed by leveraging large protein structure database using the proposed combination of distance measures. This library gives low root mean square deviation in the experiments representing protein structures with protein fragments.

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.41-55
• /
• 1992

The characteristic free representation theory of the general linear group is one of the powerful tools in the study of invariant theory, algebraic geometry, and commutative algebra. Recently the study of such representations became a popular theme. In this paper we study the representation-theoretic structures of the symmetric algebra and the exterior algebra over a commutative ring with unity 1.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.321-338
• /
• 2008

Let $\bar{M}$ be a smoothly bounded pseudoconvex complex manifold with a family of almost complex structures $\{L^{\tau}\}_{{\tau}{\in}I}$, $0{\in}I$, which extend smoothly up to bM, the boundary of M, and assume that there is ${\lambda}{\in}C^{\infty}$(bM) which is strictly subharmonic with respect to the structure $L^0|_{bM}$ in any direction where the Levi-form vanishes on bM. We obtain explicit estimates for the $\bar{\partial}$-Neumann problem in Sobolev spaces both in space and parameter variables. Also we get a similar result when $\bar{M}$ is strongly pseudoconvex.

• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.809-817
• /
• 2013

We research properties of a corresponding Cauchy theorem of hyperholomorphic functions in an open set of product complex spaces, in the sense of complex Clifford analysis.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.25 no.1
• /
• pp.16-25
• /
• 2021

This paper is studied the existence of a solution for the impulsive Cauchy problem involving the Caputo fractional derivative in Banach space by using topological structures. We based on using topological degree method and fixed point theorem with some suitable conditions. Further, some topological properties for the set of solutions are considered. Finally, an example is presented to demonstrate our results.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.14 no.4
• /
• pp.435-444
• /
• 2001

Even todays, accurate and efficient algorithms for the large deformation analysis of elastoplastic frame structures lack due to the complexities of kinematics, material nonlinearities and numerical methods to cater for. The author suggests appropriate beam element based upon the incremental formulation from the 3D rod theory where Cauchy stress and engineering strain are variables to incorporate plasticity equations so that objectivity may be satisfied. A rectum mapping methods which can integrate and satisfy yield criteria efficiently is suggested and a continuation method which has global convergency and quadratic speed is developed as well. leading-unloading example problems are tested and the ideas are proved to be valuable.

• Structural Engineering and Mechanics
• /
• v.55 no.5
• /
• pp.1037-1053
• /
• 2015

This paper presents finite element (FE) based pushover analysis of a reinforced concrete structure with a two-leaf cavity wall (TLCW) to estimate the performance level of this structure. In addition to this, an unreinforced masonry (URM) model was selected for comparison. Simulations and analyses of these structures were performed using the DIANA FE program. The mentioned structures were selected as two storeys and two bays. The dimensions of the structures were scaled 1:1.5 according to the Cauchy Froude similitude law. A shake table experiment was implemented on the reinforced concrete structure with the two-leaf cavity wall (TLCW) at the National Civil Engineering Laboratory (LNEC) in Lisbon, Portugal. The model that simulates URM was not experimentally studied. This structure was modelled in the same manner as the TLCW. The purpose of this virtual model is to compare the respective performances. Two nonlinear analyses were performed and compared with the experimental test results. These analyses were carried out in two phases. The research addresses first the analysis of a structure with only reinforced concrete elements, and secondly the analysis of the same structure with reinforced concrete elements and infill walls. Both researches consider static loading and pushover analysis. The experimental pushover curve was plotted by the envelope of the experimental curve obtained on the basis of the shake table records. Crack patterns, failure modes and performance curves were plotted for both models. Finally, results were evaluated on the basis of the current regulation ASCE/SEI 41-06.

• Earthquakes and Structures
• /
• v.10 no.4
• /
• pp.811-828
• /
• 2016

This study aims to present nonlinear time history analysis results of double leaf cavity wall (DLCW) reinforced concrete structure exposed to shake table tests. Simulation of the model was done by a Finite Element (FE) program. Shake table experiment was performed at the National Civil Engineering Laboratory in Lisbon, Portugal. The results of the experiment were compared with numeric DLCW model and numeric model of reinforced concrete structure with unreinforced masonry wall (URM). Both DLCW and URM models have two bays and two stories. Dimensions of the tested structure and finite element models are 1:1.5 scaled according to Cauchy Froude similitude law. The URM model has no experimental results but the purpose is to compare their performance level with the DLCW model. Results of the analysis were compared with experimental response and were evaluated according to ASCE/SEI 41-06 code.