• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.271-276
• /
• 1997

Verification is a process aimed at demonstrating whether a system meets it's specified requirements. As expert systems are used in various applications, the knowledge base verification of systems fakes an important position. The conventional Petri net approach that has been studied recently in order to verify the knowledge base is found that it is inadequate to verify the knowledge base of large and complex system, such as alarm processing system of nuclear power plant. Thus, we propose an improved method that models the knowledge base as enhanced colored Petri net. In this study. we analyze the reachability and the error characteristics of the knowledge base and apply the method to verification of simple knowledge base.

• Korean Journal of Mathematics
• /
• v.10 no.1
• /
• pp.5-10
• /
• 2002

In this paper, we investigate the prefilter base on a fuzzy set and fuzzy net ${\varphi}$ on the fuzzy topological space (X,${\delta}$). And we show that the prefilter base $\mathcal{B}({\varphi})$ determines by the fuzzy net ${\varphi}$ converge to a fuzzy point $p$ iff the fuzzy net ${\varphi}$ converge to a fuzzy point $p$. Also we prove that if the prefilter base $\mathcal{B}$ converge to a fuzzy point $p$, then the $\mathcal{B}$ has the cluster point $p$.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.430-440
• /
• 1997

The knowledge repressenatation technique by production rule has been popular method to represent to represent the experts'dxpertise in expert systems.In this paper,we propose a method to verify the integrity of rule base.Proposcd method models rule base as a Petri net and utilizes the systematic strucutural properties of the petri net for berifi-cation.We describe the pricesure to check rule base at both local and global level intermal verification.

• Journal of Korean Society of Forest Science
• /
• v.98 no.1
• /
• pp.55-65
• /
• 2009

Annex I parties continued its consideration of how to address, the definitions, modalities, rules and guidelines for the treatment of Land Use, Land-use Change and Forestry (LULUCF) in the second commitment period of the Kyoto Protocol by the year of 2009. In the AWG-KP conference held in Accra, Ghana in 2008, four alternatives (gross-net carbon accounting, net-net with base year or base period accounting, net-net with forward looking baseline accounting, and land-based accounting method) for negotiations were decided in order to revise gross-net accounting method applied during the first commitment period of the Kyoto Protocol. In this study, alternative scenarios are set in consideration with reporting system (voluntary or compulsory), discount factors and cap about these three alternatives except for the method of net-net with forward looking baseline accounting, and then estimates the Removal Unit (RMU) among the countries. In the case that article 3.4 activities under the Kyoto Protocol revises from voluntary reporting to mandatory reporting, it is estimated that the loss of RMU would be huge in Russia, Australia, New Zealand, as well as Canada potentially. Net-net with base year or base period carbon accounting and land-based carbon accounting method have big difference of RMU in accordance with the base year or the base period. So the more unfavorable the country with a lot of old-age forests was, the closer the base year or period comes to the commitment period in the context of RMU. If it is getting lowered for the current rate of 85% in discount factors, RMU is getting higher to the whole countries. Therefore in Korea with little potential for afforestation and reforestation, there was the most sensitive response to the change of discount factors. Post-2012 LULUCF hereafter, it is strongly expected for the succession of current carbon accounting system which is voluntary reporting of gross-net carbon accounting and the activity for article 3.4. Other carbon accounting method is hard to accept in aspect that there is big differentiated interests among the countries and it is required enormous cost and time to develop reliable method. Provide for Post-2012 mandatory greenhouse gas reduction, Korea needs to have a competitive negotiation strategies differentiated from Annex I countries. The most reliable alternative would be to lower the discounting factors about the activities for forest management.

• Journal of KIISE
• /
• v.42 no.8
• /
• pp.1065-1070
• /
• 2015

The performance of many natural language processing applications depends on the knowledge base as a major resource. WordNet, YAGO, Cyc, and BabelNet have been extensively used as knowledge bases in English. In this paper, we propose a method to construct a YAGO-style knowledge base automatically for Korean (hereafter, K-YAGO) from Wikipedia and YAGO. The proposed system constructs an initial K-YAGO simply by matching YAGO to info-boxes in Wikipedia. Then, the initial K-YAGO is expanded through the use of a machine learning technique. Experiments with the initial K-YAGO shows that the proposed system has a precision of 0.9642. In the experiments with the expanded part of K-YAGO, an accuracy of 0.9468 was achieved with an average macro F1-measure of 0.7596.

• Proceedings of the Korea Database Society Conference
• /
• 1997.10a
• /
• pp.358-375
• /
• 1997

가. 패션 디자인 기초 정보 수집/분석 - 국내외에 산재하는 패션디자인 정보의 기초자료를 입수 - 디자이너별/ 컬렉션별/주제별로 분류 - 가공 나- 패션디자인정보의 멀티미디어 DATA BASE개발 - 화상(IMAGE)/해설(TEXT)/ SOUND의 복합 DATA BASE SYSTEM - PC통신망 서비스를 위한 DATA개발 다. 패션디자인 관련자료의 DB화 - 패션디자인 이론서 - 패션디자인 컨테스트 / 이벤트 정보 - 패션디자인 교육기관 정보 - 패션브랜드 정보 (내셔널 / 디자이너 / 수입) 라. DATA BASE 공급 서비스 - PC통신망을 통한 서비스(DOWN LOAD 가능) - 디자인작품 IMAGE 및 CONCEPT/ DETAILS/ CAPTION - PC통신을 이용 디자인 인력 구인/구직정보 활용 - 패션디자인 해외유학 정보 마. Inter-NET 서비스 - Inter-NET을 이용 국내디자이너작품 해외 소개(중략)

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.4
• /
• pp.1638-1654
• /
• 2018

The heterogeneous network (HetNet) has been one of the key technologies in Long Term Evolution-Advanced (LTE-A) with growing capacity and coverage demands. However, the introduction of femtocells has brought serious co-layer interference and cross-layer interference, which has been a major factor affecting system throughput. It is generally acknowledged that the resource allocation has significant impact on suppressing interference and improving the system performance. In this paper, we propose a hybrid-clustering algorithm based on the $Mat{\acute{e}}rn$ hard-core process (MHP) to restrain two kinds of co-channel interference in the HetNet. As the impracticality of the hexagonal grid model and the homogeneous Poisson point process model whose points distribute completely randomly to establish the system model. The HetNet model based on the MHP is adopted to satisfy the negative correlation distribution of base stations in this paper. Base on the system model, the spectrum sharing problem with restricted spectrum resources is further analyzed. On the basis of location information and the interference relation of base stations, a hybrid clustering method, which takes into accounts the fairness of two types of base stations is firstly proposed. Then, auction mechanism is discussed to achieve the spectrum sharing inside each cluster, avoiding the spectrum resource waste. Through combining the clustering theory and auction mechanism, the proposed novel algorithm can be applied to restrain the cross-layer interference and co-layer interference of HetNet, which has a high density of base stations. Simulation results show that spectral efficiency and system throughput increase to a certain degree.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.173-178
• /
• 1995

The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential ewer checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP (Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompleteness in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assumed error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• Nuclear Engineering and Technology
• /
• v.28 no.6
• /
• pp.522-531
• /
• 1996

The adoption of expert systems mainly as operator supporting systems is becoming increasingly popular as the control algorithms of system become more and more sophisticated and complicated. The verification phase of knowledge base is an important part for developing reliable expert systems, especially in nuclear industry. Although several strategies or tools have been developed to perform potential error checking, they often neglect the reliability of verification methods. Because a Petri net provides a uniform mathematical formalization of knowledge base, it has been employed for knowledge base verification. In this work, we devise and suggest an automated tool, called COKEP(Checker Of Knowledge base using Extended Petri net), for detecting incorrectness, inconsistency, and incompletensess in a knowledge base. The scope of the verification problem is expanded to chained errors, unlike previous studies that assume error incidence to be limited to rule pairs only. In addition, we consider certainty factor in checking, because most of knowledge bases have certainty factors.

• Journal of the Korean Society for information Management
• /
• v.19 no.1
• /
• pp.47-69
• /
• 2002

The concept based retrieval model has shown a higher performance than those of the simple matching function method or the P-norm retrieval method introduced to compensate the demerits of the Boolean retrieval model. However. it takes too long to create a semantic-net knowledge base, which is essential in concept exploration. In order to solve such demerits. a method was sought out by creating a distributed knowledge base by subjects to reduce construction time without hindering the performance of retrieval.