• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 추계학술발표회논문집(1)
• /
• 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
• /
• 제10권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$.

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.430-440
• /
• 1997

생성규칙(Produstion rule)전문가시스템에서 전문가의 전문지식((expertise)를 표현 하는 지식표현방법이다. 본 논문에서는 페트리네트(Petri-net)를 규칙베이스를 모형화하고, 규칙베이스 검증을 위해 페트리네트가 가지고 있는 체계적이고 구조적인 속성을 이용하여 규칙베이스(rule base)의 무결성(integrity)를 검증하는 방법을 제안한다. 이프러시져는 규칙베이스를 지역적 및 전역적 내부검증을 수행한다.

• 한국산림과학회지
• /
• 제98권1호
• /
• pp.55-65
• /
• 2009

부속서I국가의 Post-2012 LULUCF 협상을 위해 2008년 8월 가나 아크라에서 개최된 AWG-KP 회의에서 교토의정서 제1차 공약기간에 적용된 gross-net 탄소계정 방법을 개정하기 위한 4가지 협상 대안(gross-net, net-net, 베이스라인 설정, 토지기반 탄소계정 방법)을 결정하였다. 본 연구는 베이스라인 설정 방법을 제외한 3가지 대안에 대해 보고방식, 할인율과 배출권 인정 상한량(cap)에 따라 4가지 대안 시나리오를 설정하여 국가 간 산림 탄소배출권(RMU)을 추정 비교하였다. 교토의정서 3.4조 활동을 현재의 자발보고에서 의무보고로 개정할 경우 러시아, 호주, 뉴질랜드 및 잠재적으로 캐나다도 RMU의 손실이 클 것으로 추정되었다. net-net 및 토지기반 탄소계정 방법은 기준연도 또는 기준기간에 따라 RMU 차이가 큰데, 장령림이 많은 국가는 기준 연도 또는 기준 기간이 공약기간과 가까울수록 RMU가 감소하였다. 모든 국가는 산림경영 활동에 대한 현재의 85% 할인율을 낮출수록 RMU는 증가하였다. 신규조림 및 재조림의 잠재력이 낮은 우리나라는 할인율의 변화에 RMU가 가장 민감하게 변화하였다. 향후 Post-2012 LULUCF 협상은 gross-net 탄소계정 방법과 교토의정서 3.4조 활동의 자발보고라는 현행 탄소계정 체계의 승계가 유력할 것으로 전망된다. 다른 탄소계정 방법은 국가 간 이해관계가 크고 신뢰할만한 방법론 개발에 많은 비용과 시간이 요구된다는 측면에서 채택될 가능성이 낮다. Post-2012 온실가스 의무감축에 참여에 대비하여 우리나라는 기존 선진국과는 다른 차별화된 협상 전략이 필요한데, 특히 산림경영 활동에 대한 할인율을 낮추는 것이 유력한 대안이 될 수 있다.

• 정보과학회 논문지
• /
• 제42권8호
• /
• pp.1065-1070
• /
• 2015

지식베이스는 자연어 처리 기반의 다양한 응용 시스템 성능에 영향을 미치는 중요한 요소이다. 영어권에서는 WordNet, YAGO, Cyc, BabelNet과 같은 지식베이스들이 널리 사용되고 있다. 본 논문에서는 위키백과와 YAGO로부터 YAGO 형식의 한국어 지식베이스(이하 K-YAGO)를 자동 구축하는 방법을 제안한다. 제안 시스템은 YAGO와 위키백과 인포박스간의 간단한 매칭을 통해 초기 K-YAGO를 구축한 뒤, 기계학습을 이용하여 초기 K-YAGO를 확장한다. 실험 결과, 제안 시스템은 초기 K-YAGO 구축 실험에서 0.9642의 신뢰도를 보였고, K-YAGO 확장 실험에서 0.9468의 정확도와 0.7596의 매크로 F1 척도를 보였다.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1997년도 International Conference MULTIMEDIA DATABASES on INTERNET
• /
• 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)
• /
• 제12권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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• 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
• /
• 제28권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.

• 정보관리학회지
• /
• 제19권1호
• /
• pp.47-69
• /
• 2002

개념기반 정보검색기법은 불리언 검색기법의 문제점을 해소했다고 평가받고 있는 단순 매칭함수 기법이나 P-norm 검색기법보다 높은 성능을 보여주고 있다. 그러나 개념화장에 필수적인 의미망 지식베이스를 구축하는데 시간이 너무 오래 걸리는 단점이 있다. 본 연구에서는 이러한 문제를 해결하기 위해 주제범주별로 지식베이스를 분산 구축함으로써 지식베이스 구축에 소요되는 시간을 단축하면서도 검색성능이 떨어지지 않도록 하는 방안을 모색하고자 하였다.