• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1994.03a
• /
• pp.109-117
• /
• 1994

This paper describes a method and a system for automatic generation of flanged cylinderical deep drawing process outlines. A process outline is a sequence of operation leading from the blank to the required finished part. The input is the dimension of final product and the output is the effective process outline to manufacture the product. That system is programmed by PROLOG language and is composed of facts and rules of manufacturing knowledge hierarchically.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.159-165
• /
• 1994

실세계에서 발생하는 많은 문제들은 주어진 제약조건들을 만족하는 범위내에서 해를 찾는 제약만족문제(CSP)의 개념으로 설명될 수 있으며, 이러한 문제들의 해결을 위해 인공지능 및 OR 분야에서 활발한 연구가 계속 되어왔다. 본 연구는 대표적 논리언어인 prolog에서 유한이산 도메인 및 수치 제약조건의 해결을 위한 제약해결기에 대한 연구이다. 본 연구에서 구현된 제약해결기에서는 포워드체킹(FC)을 사용하여 조합적 문제를 효과적인 도메인 여과를 통해 탐색공간 및 탐색시간을 축소시키며, 또한 최적화 문제의 해결에 있어서도 그 문제에 주어진 목적함수와 FC의 장점을 조화 시킴으로써 최적해를 더욱 효과적으로 발견한다.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1413-1417
• /
• 1987

In this paper, the effective and reasonal recognition method is represented for 3-D images. For effective computation, we contrive PDL generation algorithm and show recognition process of the PDL list by Prolog. In this results, it is possible to recognize the 3-D image in real-time.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.1-17
• /
• 2005

In this paper we present a pair of operators (t-norm, t-conorm) dual with a strong negation with n-threshold $a_1,\;{\ldots}, a_n\;{\in}(0,1),\;a_1\;<\;a_2\;<\;{\ldots}\;<\;a_n$. In this way we obtain an extension of operators with threshold, that are obtained for n = 1. The new pair is obtained from given one.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1991.10a
• /
• pp.135-135
• /
• 1991

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.39 no.9
• /
• pp.1006-1016
• /
• 1990

A scheduler for a class of Factory Automation (FA) systems is suggested. The technique of Timed Petri Nets is used to model FA systems and, a new concept called Unit Timed Petri Nets is proposed to schedule the system. The scheduler consists of two parts, scheduling rules and input jobs. Since flexibility should be an indispensable ingredient of the scheduler for FA systems, the method using Timed Petri Nets is adopted to represent scheduling rules in a simple and systematic manner and the scheduler is implemented with the PROLOG language. The proposed scheduler is applied to the realistic problem of flow shop.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.105-117
• /
• 1992

교착어(agglutinating language)에서는 다양한 통사정보가 독자적인 형태소에 내재되어 있다. 국어의 경우 형태소의 분석이 통사구조 분석에 선행되어 이루어져야 하는 이유가 바로 국어의 교착어적인 속성에 기인한다. 이 논문의 전반부에서 국어의 교착성을 명확히 보여주는 등위 접속구문을 핵심어 주도 구구조문법(HPSG)에 의하여 분석한다. 후반부에서는 PROLOG로 구현된 국어의 형태소 분석기와 통사구조 분석기(PARSER)를 소개한다.

• Proceedings of the Korea Concrete Institute Conference
• /
• 1996.10a
• /
• pp.532-539
• /
• 1996

Existing assessment methodologies present a considerable problem because of fuzzy situation of deterioration mechanism of concrete bridges; namely, qualitative, subjective or inconsistent. This paper discusses current assessment methods in aspect of uncertainty. The expert system, COBDA, is developed for consistent and fast assessment of deteriorantion of concrete bridges. Briefly introduced in this paper are the structure of expert system and several methodologies for decision making of deterioration situation and providing repair option. COBDA is configured by PROLOG for logic approach and expert system shell based on Bayesian subjective probability. The methodologies are illustrated and discussed by comparison of condition assessment results in a case study.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.38 no.9
• /
• pp.684-692
• /
• 1989

An expert system which is a part of artificial intelligence is developed for controlling violated voltages. Control equipments such as shunt capacitors, inductors, transformer tap changers and generator voltages are utilized. A breadth-first search method is used. A sensitivity tree is suggested to minimize the number of control devices. If the voltage condition program should be utilized to efficiently solve the problem. The expert system uses PROLOG and for the sub-program C language is used. This expert system, when applied to an 8 bus power system, shows satisfactory results.

• Journal of Korean Society for Quality Management
• /
• v.22 no.3
• /
• pp.152-160
• /
• 1994

This paper concerns an expert system for reliability management. The system includes data base, life data analysis, life testing sampling plans and system operation. PROLOG is used as a language with dBASE III+ for the data base management system and C for calculations and graphics. This system analyzing the data and selecting an appropriate sampling plan can be implemented on an IBM PC 386 or a higher level machine.