• 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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 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.

• 한국화재소방학회논문지
• /
• 제22권4호
• /
• pp.105-114
• /
• 2008

이 논문에서 동경소방청 소방공무원의 신규채용제도, 능력인정제도, 능력검증에 의한 승진제도, 전문가 양성제도 등에 대해 분석하였다. 신규채용은 전문계, 1류, 2류, 3류로 분류되며 모두 임용계급은 소방사이다. 소방공무원으로 재직 중 신규채용구분에서 정한 일정한 자격을 갖추면 자신의 실력에 따라 3류$\rightarrow$2류, 1류, 전문계로, 2류$\rightarrow$1류, 전문계로, 1류$\rightarrow$전문계로 채용구분을 바꿀 수 있는 능력인정제도를 갖추고 있다. 또한 열심히 일하고 계급에 걸맞은 실력을 갖추고 이를 철저히 검증받아야 승진할 수 있는 제도를 갖추고 있다. 그리고 다양한 위탁연수와 자격제도를 마련하여 직원 및 간부들의 전문성을 높이고 있다.

• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2075-2082
• /
• 1998

규칙 기반 지식표현은 전문가 시스템의 지식을 저장하고 조작하는 기법중 가장 많이 사용되는 기법이다. 그런데 이 방법으로 표현된 지식의 양은 점점 많아지며, 그 관계가 복잡해지고 내용이 변경될 수 있기 때문에 지식베이스의 일관성 및 완결성을 유지하는 검증 시스템이 필요하다. 따라서 본 논문에서는 새로운 규칙이 첨가될 때 야기될 수 있는 오류를 구조적 측면과 의미론적 측면에서 검증한 후 자체 수정하거나 자체 수정이 불가능할 경우 전문가가 수정하도록 하여 일관성과 완결성이 확증된 후 새로운 규칙이 추가되어질 수 있도록 함으로써 전문가 시스템의 신뢰도를 높이고 효율성을 제고할 수 있는 검증시스탬이 제안되었다.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1997년도 추계학술대회논문집
• /
• pp.168-171
• /
• 1997

With the development of computers, CAD(Computer-Aided-Design)/CAM (Computer-Aided-Manufacturing) has been increasingly applied to manufacturing processes to increase productivity, and recently studies of expert systems, a field of Al(Artificial Intelligence), are being carried out to assist process designs. In this study, an expert system for the process design of ball stud was developed. The adequacy of the developed system was examined through comparisons with actual blueprints and verification by experts. The designed process data was saved in dxf file format for transfer to AutoCAD, from which prototype process blueprints were obtained.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 하계학술대회 논문집
• /
• pp.341-344
• /
• 1991

Rules in expert system have meaning of assigning never-happen-minterms. Overall logical relations of variables can be achived by making all prime implicants of never-happen-minterms. From prime implicants, two tables, which are necessary in the process of inference, are constructed. There are two inferencing modes. One excutes inference only one variable which the user is interested in, and the other excutes inference all variables simultaneously. Outputs of inference have not only 'true' or 'false' but also 'unknown' which is different from conventional expert system. In this paper, an efficient approach is presented, which can check logical inconsistency in knowledge base and contradiction between input facts and rules. The methods in the paper may be available in the field of diagnosis and alarm processing.

• 한국해양공학회지
• /
• 제17권1호
• /
• pp.67-71
• /
• 2003

This paper presents the use of an evert system to automate process planning of block assembly, a task that is usually completed manually. In order to determine the sequence of assembly operation, a search method guided by rules, such as merging of related operations, grouping of similar operations, and precedence rules based on know-hows and geometrical reasoning, is used. In this paper, the expert system developed is explained in detail regarding a global database, control strategies, and rule bases. For verification purposes, the evert system has been applied to simple examples. Since the rule bases are isolated from the inference engine in the developed system, it is easy to add more rules in the future.

• 한국음향학회지
• /
• 제21권3호
• /
• pp.237-244
• /
• 2002

본 논문에서는 MPEG-4 VM (Moving Picture Expert Group-4 Verification Model) 소스를 이용하여 일반오디오(GA: General Audio) AAC (Advanced Audio Coding)의 부호화기의 최적화 및 개인 정보 단말기 (PDA: Personal Digital Assistant)용 복호화기 설계에 대하여 언급하였다. 일반오디오의 최적화를 위하여 먼저 C코드를 프로파일하고 그 결과를 토대로 최적화 대상함수를 선정하여 최적화를 수행하였다. 윈도우 98환경의 Intel Pentium III 600 MHz에서 부가적인 부호화 옵션을 사용하였을 때의 부호화시간은 입력 샘플의 약 20배의 시간이 소요되었고, 옵션을 사용하지 않을 때 약 10배 정도 소요되었다. 복호화기는 개인 정보 단말기에서 약 17초 샘플에 대하여 35초 이상 걸리는 것을 확인하였다. 일련의 최적화 과정을 통하여 약 50% 정도의 부호화 시간 단축과 개인 정보 단말기에서의 실시간 복호화를 실현하였다.

• Human Ecology Research
• /
• 제53권1호
• /
• pp.29-47
• /
• 2015

The purpose of this study is to conceptualize the definition of school readiness specific to the context of the Republic of Korea. The school readiness test can be used as basic data to enable early childhood educational institutes to determine the general readiness of preschoolers and provide support to fit individual characteristics. For this purpose, six stages of the school readiness development process were considered, that is, draft development, primary preliminary survey, primary expert verification, secondary expert verification, secondary preliminary survey, and main survey. In the main survey, tests were conducted using the school readiness final draft targeting 344 preschoolers living in Seoul and Gyeonggi-do. The item discrimination power analysis and factor analysis for the examination area and question area were also conducted. Consequently, a test tool was developed on the basic of the results obtained, consisting of 129 items in the five areas of knowledge, function, adaptation, tendency, and attitude. The knowledge area was divided into general, linguistic, and mathematical knowledge, and the function area into fine motor function, basic living ability, expressive function, and gross motor function. The adaptation area was classified into adaptation activity, separation anxiety, maladaptive behavior, and environment adaptation; the tendency area into learning tendency; others understanding, and individual tendency, and the attitude area into rule compliance and life habits.