• The Transactions of the Korea Information Processing Society
• /
• v.3 no.7
• /
• pp.1773-1780
• /
• 1996

KBANN (knowledge-based artificial neural network) combining the symbolic approach and the numerical approach has been shown to be more effective than other machine learning models. However KBANN doesn't have the theory refinement ability because the topology of network can't be altered dynamically. Although TopGen was proposed to extend the ability of KABNN in this respect, it also had some defects due to the link-ing of hidden nodes to input nodes and the use of beam search. The algorithm which could solve this TopGen's defects, by adding the hidden nodes linked to next layer nodes and using hill-climbing search with backtracking, is designed.

• Computational Structural Engineering
• /
• v.3 no.3
• /
• pp.101-111
• /
• 1990

The elastic analysis of floor slabs using the p-version of finite element method encounters stress singularities at certain types of reentrant corners, openings and cut-outs. Results obtained using the computer code based on C.deg. - hierarchic plate element formulated by Reissner-Mindlin theory are compared with theoretical predictions and with computational results reported in the literature. The convergence rate of h-, p- and hp-version can be estimated on the basis of the energy norm in global sense. If accuracy in terms of the number of degree-of-freedom is used as a criterion, the solutions presented here are the most efficient that have been published up to date. Examples are the rhombic plate with the obtuse angle of 150.deg. and the square plate with cut-outs.

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

실세계의 여러 문제들은 마르코프 결정 문제(Markov decision problem, MDP)로 표현될 수 있고, 이 MDP는 모델이 알려진 경우에는 평가치 반복(value iteration) 이나 모델이 알려지지 않은 경우에도 강화 학습(reinforcement learning) 알고리즘 등을 사용하여 풀 수 있다. 하지만 이들 알고리즘들은 시간 복잡도가 높아 크기가 큰 실세계 문제에 적용하기 쉽지 않아, MDP를 계층적으로 분할하거나, 여러 단계를 묶어서 수행하는 등의 시간적 추상화(temporal abstraction) 방법이 제안되어 왔다. 이러한 시간적 추상화 방법들의 문제점으로는 시간적 추상화의 디자인에 따라 MDP의 풀이 성능이 크게 달라질 수 있으며, 많은 경우 사용자가 이 디자인을 직접 제공해야 한다는 것들이 있다. 최근 사용자의 간섭이 필요 없이 자동적으로 시간적 추상화를 만드는 방법들이 제안된 바 있으나, 이들 방법들 역시 결과물에 대한 이론적인 성능 보장(performance guarantee)은 제공하지 못하고 있다. 본 연구에서는 이러한 문제점을 해결하기 위해 MDP의 구조와 그 풀이 성능을 연관짓는 복잡도 척도에 대해 살펴본다. 이를 위해 MDP로부터 얻은 상태 경로 그래프(state trajectory graph)의 위상적 성질들을 여러 네트워크 척도(network measurements) 들을 이용하여 측정하고, 이와 MDP의 풀이 성능과의 관계를 다양한 상황에 대해 실험적, 이론적으로 분석해 보았다.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.667-671
• /
• 2007

Moebius' L,INCAL Analysis of 'self' and 'self-consciousness' in philosophic viewpoint. In this research, I studies and analyzed Mobius' L,INCAL who had affected revitalization of Europe and America's genre cartoon and graphic novel. Among the L,INCAL. I selected some parts which are related to 'self' and 'self-consciousness' of 융(Jung), 라캉(Lacan), chaos theory Because it is too extensive for me to do this. Cartoons filled with philosophy is likely to have a possibility to be seen by adults. The goal of this study is to make a coner stone which all the classes can enjoy various cultures with.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1130-1137
• /
• 1996

Every neural network has some kind of feedback. For the sake of analyzing fundamental aspects of information processing in neural nets, a net without feedbacks is an important theoretical model. But here we focus on a recurrent neural net which delay synapses as a realistic dynamical model of nervous systems. Synaptic connections are determined by a version of the Hebb rule (correlation type rule). We use a statistical neurodynamic method to explain the retrieval dynamics of the network. The result of the analysis for the sequential associativ e memory with delay synapses is compared with computer simulation. We have succeeded in explaining the dynamics of this network by theoretical analyses.

• Journal of Korean Library and Information Science Society
• /
• v.46 no.2
• /
• pp.257-287
• /
• 2015

This study proposes a methodology for using facet analysis in ontology modeling and investigates how facet analysis could be utilized in ontology design processes. We applied facet analysis methods developed by Ranganathan and CRG (Classification Research Group) to modeling Smartphone ontology. Utilizing the guiding principles of Ranganathan and CRG, main facets, such as Type, Spec, Function, Operation, Product, Person, Agent, Space and Time, are derived for Smartphone ontology. It is hoped that the methods and procedures employed in identifying and categorizing facets and ontology in this study will provide insights into designing future ontologies.

• Archives of design research
• /
• v.13 no.1
• /
• pp.131-138
• /
• 2000

The evaluation of design is one of the most important steps in design process. However, because in most cases, design evaluation has been disregarded in comparison with other steps and has been performed by designer's subjective judgment. there are few studies for the development of systematic methodology. In this study, we developed the method of design evaluation using the fuzzy theory and the multi-criteria dedsion making model. This method consists of two steps. The first step is to obtain relative importance weights of design evaluation criteria, and the second step is to obtain and integrate scores for design evaluation criteria. AHP(analytic hierarchy process) and fuzzy theory were applied to the first and the second step, respectively. We applied the developed method to the sensible evaluation of cellular phone design. As the result, we verified that the developed method could be effectively used in the evaluation of product design.

• Journal of Korea Water Resources Association
• /
• v.46 no.2
• /
• pp.171-182
• /
• 2013

This paper presents the application of fuzzy set theory in multi criteria decision making (MCDM). FAHP (Fuzzy Analytic Hierarchy Process) method was used to rank alternatives to find the most reasonable and efficient way of agricultural reservoir water resources assessment. 6 criteria and 10 subcriteria had been identified and compared to secure agricultural water resources. Fuzzy numbers and linguistic variables were presented to address inherently uncertain or imprecise data. Comparison analysis of decision making method was also carried out to find a way of suitable decision making and validity of FAHP was discussed.

• Spatial Information Research
• /
• v.7 no.2
• /
• pp.223-236
• /
• 1999

Recently, the need of wast incineratory has been recognized. However, the waste incinerator is considered the typical example of NYMB syndrome as a locally unwanted facilities. Therefore, the site selection of waste incineratory should be determined very carefully with consideration of various location factors. The purpose of this study is to provide a new decision-making process model for site selection that provides a rational and a systematic way. The fuzzy set theory and AHP theory, which have merits to overcome uncertainly and complexity of spatial data, are applied to select candidate sites for the waste incineratory. The method is able to produce a more flexible and objective solution for selecting suitability sites in comparison to rigid boolean logic. The result of this study shows that geographic information systems have clear implication for informing the spatial decision making process.

• School Mathematics
• /
• v.18 no.3
• /
• pp.527-539
• /
• 2016

A word 'is' in "A parallelogram is trapezoid." is ambiguous and very rich when it comes to its meaning. In this paper, 'is' as in everyday language will be identified as semantic primes that can be interpreted in different ways depending on context and situation, and meanings of 'is' in mathematics will be discussed separately. Focusing on 'identity', 'is' will be reinterpreted in the view of equivalence relation and van Hieles' work. 'Is', as a mathematical sign, is thought to have a significant importance in producing mathematical ideas meaningfully.