• 한국지능시스템학회논문지
• /
• 제17권3호
• /
• pp.328-335
• /
• 2007

온톨로지는 공유된 개념과 그 개념들 사이의 관계로 표현된다. 이러한 온톨로지를 사용하여 인간과 시스템에 대한 지식의 공유에 관한 연구가 활발히 이루어져 왔다. 예를 들면, 온톨로지의 설계 및 구축에 의한 영상이해를 들 수 있다. 그러나 온톨로지에 기반한 영상이해 방식 중 대부분의 기존 방식은 개념적인 연구에 그칠 뿐 구체적인 방법을 제시하지는 못하였다. 본 논문에서는 온톨로지로 표현된 지식에 근거하여 영상을 이해하는 다음과 같은 영상이해 프로세스 및 시스템을 제안한다. i)특정 분야의 지식을 온톨로지로 표현하고, ii)영상 처리 및 분석 과정을 통해 영상을 구성하는 객체들의 특징을 추출하며, iii)객체의 특징으로부터 객체의 개념을 해석하고, iv)온톨로지 추론을 통해 영상 해석 과정에서의 애매성을 줄인다. 제안된 영상 이해 프로세스에 기반하여 영상이해 시스템을 구축하고, 특정 분야에서의 실험을 통하여 제안된 프로세스와 시스템의 효용성을 확인한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.572-577
• /
• 1994

The automatic detection of artifacts and vigilance level as for pre-processing of the automatic EEG interpretation are discussed. The equations for detecting artifacts and vigilance level were determined such that they would conform to the procedures that an EEGer (one of the authors, H.S.) usually adopts for visual inspection of the actual EEG record. The automatic EEG interpretation was found to be improved by the newly developed pre-processing method even will artifact contamination or in drowsy condition of the subjects.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1989년도 한국자동제어학술회의논문집; Seoul, Korea; 27-28 Oct. 1989
• /
• pp.967-971
• /
• 1989

A new system for automatic scoring of 'organization' of the EEG dominant rhythm was constructed and applied to 18 normal subjects and 15 patients. Organization parameters which best represented the 'organization' as judged by 5 neurologists' visual inspection were calculated and the automatic organization scoring was obtained by a linear regression of those organization parameters. Furthermore, values of the regression coefficients were used to study the characteristics of EEG interpretation by each neurologist, and this scoring technique can also be applied to the training of EEG interpretation.

• 산업경영시스템학회지
• /
• 제21권45호
• /
• pp.265-277
• /
• 1998

The control chart has been used widely and importantly as a tool for statistical process control(SPC). Most companies are concerned with improving the quality and the productivity as well as reducing the cost, especially in today's highly competitive environment. Though SPC is known as a technique for consistent quality, it is not used properly due to lack of knowledge about it. It is required to develop a support system for control chart selection and interpretation that can be utilized by non-specialist without hard training or experiences. The support system was developed by applying the expert system tool to popular control charts. Though some researches on this area has been performed, the implemented results expose many problems in field applications due to the unsatisfactory explanation of the selected control chart and limited knowledge base for resolving the problems. This thesis presented an expert system for control chart as solution for these problems. The expert system for the control chart selection and interpretation is developed by using Turbo C and EXSYS which is an expert system development tool.

• Journal of Information Processing Systems
• /
• 제15권5호
• /
• pp.1096-1107
• /
• 2019

In this paper, we present an ontology-based approach to labeling influential topics of scientific articles. First, to look for influential topics from scientific article, topic modeling is performed, and then social network analysis is applied to the selected topic models. Abstracts of research papers related to data mining published over the 20 years from 1995 to 2015 are collected and analyzed in this research. Second, to interpret and to explain selected influential topics, the UniDM ontology is constructed from Wikipedia and serves as concept hierarchies of topic models. Our experimental results show that the subjects of data management and queries are identified in the most interrelated topic among other topics, which is followed by that of recommender systems and text mining. Also, the subjects of recommender systems and context-aware systems belong to the most influential topic, and the subject of k-nearest neighbor classifier belongs to the closest topic to other topics. The proposed framework provides a general model for interpreting topics in topic models, which plays an important role in overcoming ambiguous and arbitrary interpretation of topics in topic modeling.

• Nuclear Engineering and Technology
• /
• 제47권2호
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.818-821
• /
• 1993

In the last years fuzzy control has grown up to an important methodology of control engineering. In spite of the successful realizations of the underlying concepts in industrial products there has only been little effort regarding a semantical foundation of the prevailing heuristics that are used in fuzzy control. For this reason we want to outline promising approaches to an interpretation and better mathematical justification of fuzzy control, where the fundamental ideas of using equality relations to specify fuzzy environments for crisp data are presented. It turns out that Mamdani's classical max-min-inference is a consequence of our model.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2003년도 춘계 학술발표회논문집
• /
• pp.30-37
• /
• 2003

Lineaments along the Yangsan and Ulsan fault systems were extracted through aerial photograph interpretation in the southeastern part of Korean Peninsula. Lineaments can be classified into five ranks on the basis of certainty and divided by curvatures. Mean strikes of all lineament by aerial photograph interpretation is dominant in NS ~N05$^{\circ}$E direction along the Ulsan fault system and Nl5-20$^{\circ}$E direction along the Yangsan fault system respectively. The curvature of lineament around Yangsan Fault is different from around the Ulsan Fault system, the former shows that straight lineament is dominant but the latter curved lineaments are dominant. It indicates that the Quaternary faults around Ulsan Fault would be appeared as reverse fault.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.353-357
• /
• 2003

Although it is more and more well accepted that modeling is a help for experimental biology, little is known about how to integrate physiological processes in general. The fact that no general theory exist in biology has big consequences, the most important being the difficulty to integrate biological phenomena. 1 will present a solution for the three dependent following issues: i) in an appropriate theoretical framework, integration consists in coupling models that each describe physiological mechanisms (formalization is a necessary condition to integration); ii) a biological theory with its own concepts leads to unifying principles in biology that are different from and complementary to physical principles; iii) such a formalized theory consists in a representation in terms of functional interactions and a specific formalism(S-Propagator). Hence a biological theory is of a topological and geometrical nature, in contrast to physical theories that are of a geometrical nature. An application to the interpretation of intelligence is proposed, based on the "intelligence"of movement.

• 커뮤니케이션디자인학연구
• /
• 제65권
• /
• pp.530-538
• /
• 2018

최근 박물관은 나날이 관람객과 사회의 관심을 받고 있다. 그렇지만 오늘날 국내외에서 진행된 박물관 해설에 관한 연구는 상대적으로 제한적이다. 박물관 해설 시스템의 계획 설계는 주로 전문가의 시각을 기반으로 진행된 것으로, 대부분 관람객의 욕구를 크게 반영하지 못하고 있다. 본 연구는 관람객의 박물관 해설 시스템 사용체험에 주목하였다. 관람객이 느끼는 박물관의 해설 시스템 효과에 대한 분석을 통해 박물관의 해설 시스템이 관람객의 문화적 욕구를 충족시키는지 살펴보고 시스템에 존재하는 문제와 부족한 점을 파악하였다. 그 후 문제점을 정리 귀납하여 최종적으로 박물관의 해설 시스템의 주요요소를 제시하여, 박물관 해설 시스템의 개선과 교육 기능의 발현을 위한 도움이 되고자 하였다. 연구의 과정은 우선 선행연구를 통해 박물관에 존재하는 4가지 주요 해설방식을 확정하였다. 그 후 4가지 유형의 해설방식에 대한 심층 인터뷰를 진행하여 현존하는 문제와 부족한 점을 수집 하였다. 이어 유형분석의 방법을 통해 수집한 결과를 14개 문제의 유형으로 묶고, 설문조사를 통해 14개 문제에 대한 일반적인 조사를 진행하였다. 이를 통해 본 연구에서는 박물관 해설시스템에 사용자의 불편한 점 과 문제점을 파악하였고, 이를 바탕으로 박물관 해설 시스템에 필요한 다섯 가지의 주요요소를 도출하였다. 그 가운데 흡입성은 박물관 해설 시스템에서 가장 취 약한 요소임을 알 수 있었고, 향후 각각의 요소들의 적용방법에 관한 연구가 이어질 것이다. 박물관 해설 시스템 최적화 및 해설 체험 개선 등에 관한 연구를 진행할 때 참고자료가 되길 바란다.