• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.463-466
• /
• 2003

본 논문은 "집합 일치화 문제(set unification problem)"를 논리 언어 Prolog를 사용하여 구현한다. 집합 일치화 문제는 고전적 논리 언어(logic languages)의 일치화 문제(unification problem)에서 집합을 표현할 수 있도록 확장한 것으로 최근 연구되고 있는 "집합 제한 논리 언어(set constraints logic languages)"를 구현하기 위하여 풀어야 하는 문제이다. 본 논문에서는 최근 A. Dovier 연구팀이 제안한 집합 일치화 문제의 풀이(solver)를 소개하고, 이 풀이를 논리 언어 Prolog를 사용하여 구현하는 방법을 기술한다. Prolog 언어는 비결정성(nondeterminism)을 표현할 수 있는 기능과 리스트(list)라는 자료 구조를 제공하는 기능 때문에 다른 어떤 언어에서보다 쉽게 집합 일치화 문제 풀이를 구현할 수 있다. 본 연구의 결과는 집합 제한 논리 언어의 수행기(interpreter) 개발에 직접 이용될 수 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.5
• /
• pp.1108-1113
• /
• 2004

‘Set’ is a tool that is used frequently in designing computer programs. Because of the reason, ‘set constraints languages’ have been developed recently. In this research, we introduce ‘(Ab)(Cl) set unification’ problem and implement it using the ‘set equation rewriting in Prolog’. In this research we shows that the set unification, that is considered to be difficult to be implemented in procedural languages, ran be implemented easily using the non-deterministic control structure and the list data structure in logic language like Prolog. Our research uses the Ciao Prolog with GNU GPL, this is compared with other existing implementations which used expensive commercial Prolog, so anyone can use the result freely. Currently the result is being used for implementing a set constraint language.

• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.165-168
• /
• 2007

본 연구에서는 문서의 문장들을 순위화하여 추출하는 일반적인 문서 요약 방법론을 소개한다. 첫 번째 단계는 주제와 관련되는 동사, 명사, 형용사(VNA) 단어들의 집합을 구하여 각 문장의 주제 관련성 정도를 결정하며, 두 번째 단계는 단어들의 의존관계를 통해 각 문장의 정보 함유량을 판단한다. 두 개의 방법은 모두 주제와 관련된 정보를 많이 내포하는 문장에 중요도를 부여하고 있다. 이러한 방법은 주제와 연관성이 높고 정보전달성이 높은 문서요약을 만들기 위함이다. 생성된 문서요약본의 성능평가는 문서요약의 결과로 추출된 문장들과 설문에 의해 추출된 문장들의 일치율에 의해 시행되었으며 68%의 일치율을 보였다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.11a
• /
• pp.226-230
• /
• 2002

This paper proposes a method of improvement of accuracy of projective transformation matrix for Image Mosaicing. Using shift theorem, we extracted global translation components between images and using translation components, we found matching points between images so we solve general matching point problem we extracted highly trusted matching point using RANSAC algorithm. we normalized matching point coordinates and improved accuracy of projective transformation matrix.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.7 no.3
• /
• pp.5-11
• /
• 1970

Some of the coding method have been discussed by extracting characteristics from vowels and consonants of Korean characters. given letters were sampled through 3$\times$5 mesh and also constituted first matrix system which taken subpatterns of vertical Conponent as variables and then, characteristics of the letters are extracted from the second matrix system expresses by common characteristics which are combined-with first one. Single coding was obtained by scanning the characteristic pattern. a good agree between theoretical values and their measurements and the reproducing of all vowels and consonants of Korean chasacters about coding were certified on the display designed.

• Nuclear Engineering and Technology
• /
• v.23 no.3
• /
• pp.321-327
• /
• 1991

A defect model e)[plaining the oxygen potential of Gadolinia doped urania based on the defect structure of pure urania has been developed. Gd-dopants are assumed to stay in the cation sites pushing away nearby oxygen interstitials reducing the number of interstitial sites. Gd-dopants also form dopant-vacancy clusters in the abundance of oxygen vacancies. This model explains the discontinuous change of the oxygen potential at O/M= as well as the increase of the potential with the dopant concentration.

• Economic and Environmental Geology
• /
• v.32 no.5
• /
• pp.537-544
• /
• 1999

In mineral exploration, there are many data sets which need to be created, processed and analyzed in order to discover a favorable mineralized zone. Recently, with Geographic Information System (GIS), such exploration data sets have been able to be systematically stored and effectively processed using computer technologies. In this study, most exploration data sets were first digitized and then rasterized. Furthermore, they were integrated together by using fuzzy set theory to provide a possibility map toward a target hypothesis. Our target hypothesis is "there is a skarn magnetite deposit in this study" and all fuzzy membership functions were made with respect to the target hypothesis. Test area is extended from 37:00N/l28:30E to 37:20N/I28:45E, approximately 20 km by 40 km. This area is a part of Taebaeksan mineralized areas, where the Sinyemi mine, a skarn magnetite deposit, is located. In final resultant map, high potential or possibility area coincides with the location of the Shinyemi mine. In this regard, we conclude the fuzzy set theory can be effectively applied to this study and provides an excellent example to define potential area for further mineral exploration.

• Journal of Internet Computing and Services
• /
• v.8 no.3
• /
• pp.109-118
• /
• 2007

This paper proposed a method that can be simply analyzed instead of the basic general Fuzzy rule that its insufficient characters are cut out. Based on the proposed method. Rough sets are used to eliminate the incomplete attributes included in the rule and also for a classification more precise; the agreement of the membership function's output extracted the maximum attributes. Besides, the proposed method in the simulation shows that in order to verify the validity, compare the max-product result of fuzzy before and after reducing rule hosed on the rice taste data; then, we can see that both the max-product result of fuzzy before and after reducing rule are exactly the same; for a verification more objective, we compared the defuzzificated real number section.

• Journal of the Mineralogical Society of Korea
• /
• v.20 no.2 s.52
• /
• pp.91-96
• /
• 2007

Notable characteristics are found between diamond types and observed optical properties from the analysis of natural diamonds in market as a gem mineral. All of the diamond samples observed are classified into type Ia, which can be subdivided type IaA containing only A aggregates, type IaB containing only B aggregates, and type IaAB containing both A aggregates and B aggregates in detail. As B aggregates more relatively increase than A aggregates. It is possible to find out that an increase of N3 center, an enhancement of blue fluorescence reaction, and an intensification of irregularity in the strain pattern. Because the property change of diamond mentioned above are consistent with optical phenomenon caused by dislocation and with N3 center produced by changes of nitrogen aggregation process from A aggregate to B aggregate. There is a close relation between diamond type and optical properties.

• Journal of Internet Computing and Services
• /
• v.7 no.4
• /
• pp.45-55
• /
• 2006

This paper proposes a virtual target overlay technique for a realistic training simulation which projects a virtual target on ground-based CCD images according to an appointed scenario. This method creates a realistic 3D model for instructors by using high resolution GeoTIFF (Geographic Tag Image File Format) satellite images and DTED(Digital Terrain Elevation Data), and it extracts road areas from the given CCD images for both instructors and trainees, Since there is much difference in observation position, resolution, and scale between satellite Images and ground-based sensor images, feature-based matching faces difficulty, Hence, we propose a moving synchronization technique that projects the targets on sensor images according to the moving paths marked on 3D satellite images. Experimental results show the effectiveness of the proposed algorithm with satellite and sensor images of Daejoen.