• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1577-1580
• /
• 1987

This paper proposes a gate and functional level logic simulator which can be run on XENIX O.S. The simulator has hierarchical structure including Hardware Description Language compiler, Waveform Description Language compiler, and Simulation Command Language compiler. The Hardware Description Language compiler generates data structure composed of gate structure, wire structure, condition structure, and event structure. Simulation algorithm is composed of selective trace and event-driven methods. To improve simulation speed, Cross Referenced Linked List Structure ia defined in building the data structure of circuits.

• Nuclear Engineering and Technology
• /
• v.31 no.1
• /
• pp.58-67
• /
• 1999

The purpose is to produce a model of nuclear reactor trip logic caused by the steam generator water level of Wolsong 2/3/4 unit through an activity chart and a statechart and to produce C language automatically using Statechart-based Formalism and Stalemate MAGNUM toolset suggested by David Harel Formalism. It was worth attempting auto-generation of C language though we manually made Software Requirement Specification(SRS) for safety-critical software using statechart-based formalism. Most of the phases of the software life-cycle except the software requirement specification of an analysis phase were generated automatically by Computer Aided Software Engineering (CASE) tools. It was verified that automatically produced C language has high productivity, portability, and quality through the simulation.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1998.02a
• /
• pp.20-32
• /
• 1998

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.11 no.3
• /
• pp.171-177
• /
• 2011

The decision making process is based on accurate and timely available information. To obtain precise information from the internet is becoming more difficult due to the continuous increase in vagueness and uncertainty from online information resources. This also poses a problem for blind people who desire the full use from online resources available to other users for decision making in their daily life. Ontology is considered as one of the emerging technology of knowledge representation and information sharing today. Fuzzy logic is a very popular technique of artificial intelligence which deals with imprecision and uncertainty. The classical ontology can deal ideally with crisp data but cannot give sufficient support to handle the imprecise data or information. In this paper, we incorporate fuzzy logic with heavyweight ontology to solve the imprecise information extraction problem from heterogeneous misty sources. Fuzzy ontology consists of fuzzy rules, fuzzy classes and their properties with axioms. We use Fuzzy OWL plug-in of Protege to model the fuzzy ontology. A prototype is developed which is based on OWL-2 (Web Ontology Language-2), PAL (Protege Axiom Language), and fuzzy logic in order to examine the effectiveness of the proposed system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.700-702
• /
• 2005

유비쿼터스에 대한 연구에서 지식표현 시스템은 반드시 필요하다. 최근 Description Logic을 많이 사용하고 있는데, Description Logic은 다양한 단계를 표현할 수 있다. 단계가 높아질수록 표현력이 커지는 반면 추론이 어려워진다. 유비쿼터스 환경에서는 서비스를 하기 위해 지식들의 상하위 관계나 동일 관계 등을 추론하는 능력이 필요한데, Description Logic의 단계 중에 ALCUN의 표현력이면 이에 필요한 지식을 모두 표현할 수 있다. 본 논문에서는 ALCUN의 표현력을 지니는 언어를 제안하였다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.12 no.2
• /
• pp.54-61
• /
• 1998

Ladder Diagram(LD) is the most extensively used among Programmable Logic Controller(PLC) standard languages for the design of process control system with PLC. But LD has the disadvantages for data processing and maintenance. On the other hand, there is full support for describing sequences so that complete sequential behavior can be easily broken down using a concise graphical language called Sequential Function Chart(SFC). Inspite of those characteristics, SFC is not suitable for describing interlock logic. In this paper, we propose the method for implementing interlock logic by using conventional SFC compiler and verify the effectiveness by applying proposed scheme to the In-Line Spin Coater.Coater.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.9
• /
• pp.2435-2446
• /
• 1998

In this paper. We describe a dataflow model for efficient execution of a functional logic language and a method of translation a functional logic language into a dataflow graph. To explore parallelism and intelligent backtracking, we us model in which clause and function are represented as independent dataflow graph. The node denotes basic actions to be performed when the clause and function are executed. The dataflow mechanism allows an operation to be executed as soon as all its operands are available. Since the operations can never be executed earlier, a dataflow model is an excellent base for increasing execution speed. We did decrease a delay time with concurrent execution of dependency analysis and subgoal.

• Spatial Information Research
• /
• v.7 no.2
• /
• pp.191-207
• /
• 1999

Data and information necessary for solving the spatial decision making problems are imperfect or inaccurate and most are described by natural language. In order to process these arts of information by the computer, the obscure linguistic value need to be described quantitatively to let and computer understand natural language used by humans. For this , the fuzzy set theory and the fuzzy logic are used representative methodology. So this paper describes the construction of the language model by the natural language that user easily can understand and the logical concepts and construction process for building the fuzzy inference mechanism. It makes possible to solve the space related decision making problems intellectually through structuring and inference used by the computer, in case of the evaluation concern or decision making problems are described inaccurate, based on the inaccurate or indistinct data and information.

• The Journal of Korean Philosophical History
• /
• no.30
• /
• pp.191-225
• /
• 2010

This paper is the outcome of attempting to approach for reading the Analects of Confucius through the polysemy of Chinese character and indecidability of articles. For this purpose at first, I explained which this Chinese character can be applied for 'philosophy language'. In the 16th century Matteo Ricci had tried to find out the possibility of ideographic script as standing for a universal language. On the other hand, Hegel and Heidegger strictly insisted on the Chinese character is inappropriate for expressing the logic thought of the human being. The reason was as next; firstly, this character had not the preposition and articles, and secondly the only one word could not indicates the bisemy including the meaning of opposition, lastly this language system expresses and communicates only with the change of word order without inflection. But With some scholar like Cassirer, Saussure and Derrida we can confirm the possibility which will discover the Chinese character for using the logic and reasoning language of from different view. Because in the language system of this Chinese character the connection of words in contexts is more important other than meaning as the individual word, in comparison to the language of the West. The Chinese character hides the original meaning until being what kind of event and thing relationship watch inside with different letters. So to speak, the Chinese character is called as 'language of indecidability'. For these points, even though The Chinese character lacks of preposition, articles, and inflection speech etc. the letter systematic, this language system can play a role for expressing as the philosophic language which manages with the complicated problems of the human being.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.21 no.5
• /
• pp.61-66
• /
• 1984

In this paper a custom design of CMOS PLA using procedual language, CHISEL is presented. Library of cells of PLA pieces are formed. A typical PLA is used as a control logic for the protector circuit. NCR's design rules are applied to program CMOS PLA using CHISEL which is a VILI layout language made by extending C language.