• Journal of the Korean Geotechnical Society
• /
• v.27 no.10
• /
• pp.93-104
• /
• 2011

In this paper, a numerical procedure of probabilistic steady seepage analysis that considers the spatial variability of soil permeability is presented. The procedure extends the deterministic analysis based on the finite element method to a probabilistic approach that accounts for the uncertainties and spatial variation of the soil permeability. Two-dimensional random fields are generated based on a Karhunen-Lo$\grave{e}$ve expansion in a fashion consistent with a specified marginal distribution function and an autocorrelation function. A Monte Carlo simulation is then used to determine the statistical response based on the random fields. A series of analyses were performed to verify the application potential of the proposed method and to study the effects of uncertainty due to the spatial heterogeneity on the seepage behavior of soil foundation beneath water retaining structure with a single sheet pile wall. The results showed that the probabilistic framework can be used to efficiently consider the various flow patterns caused by the spatial variability of the soil permeability in seepage assessment for a soil foundation beneath water retaining structures.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.5
• /
• pp.1029-1036
• /
• 2007

State explosion is a well-known problem that impedes analysis md testing of discrete event systems, thus making the verification of large systems intrinsically difficult job. This paper suggests a hierarchical verification methodology of untimed DEVS model which can alleviate the state explosion problem. The method is a repetitive procedure of designing and verifying between the upper level and the lower level models abstracting away the unnecessary information with respect to a given verification task. A small example was employed to show our suggested method in detail.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.494-499
• /
• 2007

본 논문은 객체로부터 특징 벡터를 추출하고 각 객체의 행동 양식을 분석함으로써 객체의 현재 이벤트를 인식하고 확률 모델을 기반으로 한 긴급한 상황에서의 시나리오를 해석할 수 있는 방법을 제안한다. 기존의 연구에서는 시나리오 해석을 위한 이벤트 인식 방법을 사용하였기 때문에 적용되는 범위가 한정되어 있었다. 본 논문에서는 시나리오를 정의하고 인식된 객체의 이벤트를 바탕으로 미리 정의된 시나리오에 가장 근접하는 상황이 발생하는 것을 자동으로 해석할 수 있도록 한다. 이벤트 규칙, 이벤트 인식, 그리고 이벤트를 바탕으로 하는 긴급 상황 시나리오가 실내 또는 실외 환경에서 객체 추적만을 통해 얻을 수 없는 의미론적 정보를 제안된 방법을 통해 획득할 수 있다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.3
• /
• pp.11-21
• /
• 2011

The development of computer-based modeling system has allowed the operationalization of cognitive science issues. Human cognition has become one of most interesting research subjects in artificial intelligence to emulate human mentality and behavior. This paper introduces a methodology well-suited for designing the intelligent system of human cognition. The research investigates how to elicit and represent cognitive knowledge obtained from individual city-dwellers through the application of fuzzy relational theory to personal construct theory. Crucial to this research is to implement formally and process interpretatively the psychological cognition of urbanites who interact with their environment in order to offer useful advice on urban problem. What is needed is a techniques to analyze cognitive structures which are embodiments of this perceptive knowledge for human being.

• Computational Structural Engineering
• /
• v.11 no.4
• /
• pp.177-186
• /
• 1998

PSC 연속 평판슬래브의 설계는 부정정 평판슬래브에 대한 정확한 해석의 어려움 등으로 등가보이론과 등가골조이론에 의한 근사식을 수정없이 사용하거나 컴퓨터를 이용한 해석에 의존하고 있으나 해석결과를 간단하게 정확히 평가할 수 있는 기법은 없는 실정이다. 또한 PSC 연속 평판슬래브의 부재력은 긴장재의 곡선형태에 따라 변하므로 실제 설계시 PS 긴장재의 정확한 곡선식을 찾는 것은 매우 중요하다. 본 연구에서는 비부착 PSC 연속 평판슬래브를 설계할 때 기둥과 기둥을 연결하는 PS 긴장재의 기하학적 곡선형태를 결정하는 방법과, PS 긴장력으로 인해 발생하는 평판슬래브의 기둥부 휨모멘트에 대하여 판이론을 기초로 간편하게 계산하는 방법을 제안하였다. 본 연구에서 제안된 이론으로 계산된 PSC 연속 평판슬래브에 대한 해석값과 유한요소 해석에 의한 지점 부모멘트를 비교 검토하여, 본 논문에서 제시한 기법의 타당성을 입증하였다. 따라서 본 연구는 설계자에게 컴퓨터의 해석결과를 간단하고 정확하게 검증할 수 있도록 하였다.

• Geotechnical Engineering
• /
• v.6 no.2
• /
• pp.5-20
• /
• 1990

In the seismic analysis of structures, where the dynamic soil-structure interaction (DSSI) is considred, earthquake input motions as well as dynamic soil properties are random in nature. To take into account the random nature of both the input motions and the dynamic soil properties systematically, a probabilistic analysis of the DSSI subjected to seismic loading is proposed in this paper, The complex response method formulized by the elastic half space theory, the random vibration theory, and the Rosenblueth's two-point estimate method are combined for the proposed probabilistic analysis. The conclusions drawn from this study are as follows ' 1) The uncertainty bands of the earthquake input motions proposed by Kanai-Tajimi as well as those of the dynamic properties are large the coefecients of variation of those parameters tinge from 0.4 to 0.6. 2) The uncertainties of the dynamic soil properties are more sensitive to the structural responses than those of the input motion parameters. 3) The effect of correlations between the input motion parameters and the dynamic soil properties is negligible.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.27 no.6
• /
• pp.605-613
• /
• 2014

Epistemic uncertainty, the lack of knowledge, is often more important than aleatory uncertainty, variability, in estimating reliability of a system. While the probability theory is widely used for modeling aleatory uncertainty, there is no dominant approach to model epistemic uncertainty. Different approaches have been developed to handle epistemic uncertainties using various theories, such as probability theory, fuzzy sets, evidence theory and possibility theory. However, since these methods are developed from different statistics theories, it is difficult to interpret the result from one method to the other. The goal of this paper is to compare different methods in handling epistemic uncertainty in the view point of calculating the probability of failure. In particular, four different methods are compared; the probability method, the combined distribution method, interval analysis method, and the evidence theory. Characteristics of individual methods are compared in the view point of reliability analysis.

• Journal of the Korean Geotechnical Society
• /
• v.19 no.6
• /
• pp.151-160
• /
• 2003

The stability of the designed rock slope is analysed based on two kinds of shear strength model. Besides the deterministic analysis, a probabilistic approach on Monte Carlo simulation is proposed to deal with the uncertain characteristics of the discontinuity and the results obtained from two models are compared to each other. To carry out the research of characteristics of the discontinuity, BIPS, DOM Scanline survey data and direct shear test data are used, and chi-square test is used for determining the probability distribution function. The rock slope is evaluated to be stable in the deterministic analysis, but in the probabilistic analysis, the probability of failure is more than 5%, so, it is considered that the rock slope is unstable. In the shear strength models, the probability of the failure based on the Mohr-Coulomb model(linear model) is higher than that of the Barton model. It is supported by the fact that the Mohr-Coulomb model is more sensitive to block size than the Barton model. In fact, there is no reliable way to estimate the unit cohesion of the Mohr-Coulomb model except f3r back analysis and in the case of small block failure in the slope, Mohr-Coulomb model may excessively evaluate the factor of the safety. So, the Barton model of which parameters are easily acquired using the geological survey is more reasonable for the stability of the studied slope. Also, the selection of the proper shear strength model is an important factor for slope failure analysis.

• Cross-Cultural Studies
• /
• v.48
• /
• pp.325-359
• /
• 2017

The works of a literary and cultural historian Franco Moretti are conspicuous in many ways. Trained in Marxism and Russian formalism, he participated in the construction of the New Left in England. Also, he interestingly interpreted the socialization of the individual through the genre of bildungsroman. Then, he shifted his research interest to the notion of world literature, and to explore its global scale, he developed his own quantitative approach combined with advanced computer technology in digital humanities. His recent publication reveals that Moretti conducted a social critique of the European bourgeois culture with his new quantitative method. His macroscopic view of literature and use of cutting-edge technology in his research inspire historians of Korean literature located in the so-called periphery of world literature. Therefore, the purpose of this study is to examine the idea of world literature outlined by Franco Moretti by reviewing his method called "distant reading" and examples of such an approach. His distant reading is to construct a macroscopic archive through inclusion of forgotten works from literary history and to analyze morphological patterns that frequently appear in the archive. His book entitled Graphs, Maps, Trees is a collection of examples of which he applied distant reading. By delving into such cases, I will raise questions about Moretti's macroscopic perspective of world literature in conjunction with Korean literature. As located at the periphery of global circulation of literary knowledge, Korea appropriated Western genres, established its literary institutions, and developed book markets through modern newspapers and magazines. This experience of furthering modern literature through periodicals would provide another view to revisit Moretti's world literature.

• Journal of Intelligence and Information Systems
• /
• v.5 no.2
• /
• pp.15-27
• /
• 1999

산업계 전반에 걸친 오랜 정보시스템 운용의 결과로 대용량의 데이터들이 축적되고 있다. 이러한 데이터로부터 유용한 지식을 추출하기 위해 여러 가지 데이터마이닝 기법들이 연구되어 왔다. 특히 데이터웨어하우스의 등장은 이러한 데이터마이닝에 있어 필요한 데이터 제공 환경을 주고 있다. 그러나 전문가의 적절한 판단과 해석을 거치지 않은 데이터마이닝의 결과는 당연한 사실이거나, 사실과 다른 가짜이거나 또한 관련성 없는(Trivial, Spurious and Irrelevant) 내용만 무수히 쏟아낼 수 있다. 그러므로 데이터마이닝의 결과가 비록 통계적 유의성을 가진다 하더라고 그 정당성과 유용성에 대한 검증과정과 방법론의 정립이 필요하다. 데이터마이닝의 가장 어려운 점은 귀납적 오류를 없애기 위해 사람이 직접 그 결과를 해석하고 판단하며 아울러 새로운 탐색 방향을 제시해야 한다는 것이다. 본 논문의 목적인 이러한 데이터마이닝에서 추출된 결과를 검증하고 아울러 새로운 지식 탐색 방향을 제시하는 방법론을 정립하는데 있다. 본 논문에서는 데이터마이닝 기법 중 연관규칙탐사(Associations)로 얻어진 결과를 설명가능성 여부의 판단을 통해 검증하는 기법을 제안하였고, 이를 위해 도메인 지식(Domain Knowledge)과 연관규칙탐사를 통해 얻어진 결과를 표현하기 위한 지식표현방법으로 관계형 술어논리(RPL : Relational Predicate Logic)를 개발하였다. 연관규칙탐사로 얻어진 결과를 설명하기 위한 방법으로는 연관규칙탐사로 얻어진 연관규칙에 대한 RPL로 표현된 도메인 지식으로서 설명됨을 보이게 한다. 또한 이러한 설명(Explanation)을 토대로 검증된 지식을 일반화하여 새로운 가설을 연역적으로 생성하고 이를 연관규칙탐사를 통해 검증한 후 새로운 지식을 얻는 설명기반 데이터마이닝 구조(Explanation-based Data Mining Architecture)를 제시하였다.