• East Asian mathematical journal
• /
• 제14권1호
• /
• pp.141-148
• /
• 1998

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1995년도 추계학술대회 학술발표 논문집
• /
• 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.

• 한국정보통신학회논문지
• /
• 제19권12호
• /
• pp.3011-3016
• /
• 2015

단백질의 삼차원 구조를 단백질의 국부적 구조인 단백질 조각의 일차원적 나열로 표현하면, 단백질 구조의 분석, 모델링, 탐색, 예측 등에 효과적으로 응용될 수 있다. 본 논문에서는 자연 상태의 단백질 구조를 정확하게 나타낼 수 있는 단백질 조각 라이브러리를 구성하기 위하여, 대규모 단백질 구조 자료를 이용 할 수 있는 거리 척도들의 효과적인 조합을 조사하였다. 단백질 조각 라이브러리를 구성하기 위해 군집화를 사용하였다. 초기 군집화 단계에서는 가장 계산량이 작은 내부 알파탄소간 거리를 사용하였고, 군집의 확장단계에서는 내부 알파탄소간 거리, 비네-코시거리와 평균 제곱근 오차를 조합하여 사용하였다. 제안한 거리 척도의 조합으로 대규모 자료를 이용하여 단백질 조각 라이브러리를 구성하였다. 구성된 라이브러리를 사용하여 단백질 구조를 나타내는 실험에서 작은 평균 제곱근 오차가 발생함을 확인하였다.

• 대한수학회보
• /
• 제29권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.

• 대한수학회보
• /
• 제45권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.

• 호남수학학술지
• /
• 제35권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
• /
• 제25권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.

• 한국전산구조공학회논문집
• /
• 제14권4호
• /
• pp.435-444
• /
• 2001

대변형 탄소성 프레임의 해석은 운동학적, 재질적, 수치해법상으로 매우 복잡하여 정확하고 효율적인 요소나 알고리즘이 부족하다. 본 논문에서는 3차원 보요소에 대하여 봉이론으로부터 유한요소를 만들고 소성을 적용하기 위하여 Cauchy응력과 공학적변형률을 구성방정식에 적용하는 방법으로 객관화된 증분해법에 의한 보요소를 제안하였다. 특히 항복조건의 만족을 위하여 정확하고도 효율적인 소성방정식의 적분법을 개발하고 적용하였으며 연속법과 일차원 탐색 등을 고려하여 광역수렴성과 2차 수렴속도를 갖는 수치해법을 개발하고 예제를 통하여 확인하였다.

• Structural Engineering and Mechanics
• /
• 제55권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
• /
• 제10권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.