• Title/Summary/Keyword: Logic of language

Search Result 359, Processing Time 0.023 seconds

The C Language Auto-generation of Reactor Trip Logic Caused by Steam Generator Water Level Using CASE Tools

  • Kim, Jang-Yeol;Lee, Jang-Soo
    • 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.

  • PDF

A Gate and Functional Level Logic Simulator (게이트 및 기능 레벨 논리 시뮬레이터)

  • Park, H.J.;Kim, J.S.;Cho, S.B.;Shin, Y.C.;Lim, I.C.
    • 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.

  • PDF

Incorporation of Fuzzy Theory with Heavyweight Ontology and Its Application on Vague Information Retrieval for Decision Making

  • Bukhari, Ahmad C.;Kim, Yong-Gi
    • 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.

ALKETge :ALcun Knowledge rEpresenTation language Knowledge Representation Language for Ubiquitous Environment (ALKETge : 유비쿼터스 환경을 위한 지식표현 언어)

  • Cho Sungwon;Lee Heonsoo;Song Seheon;Kim Minkoo
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.700-702
    • /
    • 2005
  • 유비쿼터스에 대한 연구에서 지식표현 시스템은 반드시 필요하다. 최근 Description Logic을 많이 사용하고 있는데, Description Logic은 다양한 단계를 표현할 수 있다. 단계가 높아질수록 표현력이 커지는 반면 추론이 어려워진다. 유비쿼터스 환경에서는 서비스를 하기 위해 지식들의 상하위 관계나 동일 관계 등을 추론하는 능력이 필요한데, Description Logic의 단계 중에 ALCUN의 표현력이면 이에 필요한 지식을 모두 표현할 수 있다. 본 논문에서는 ALCUN의 표현력을 지니는 언어를 제안하였다.

  • PDF

Implementation of interlock in Process Control System Described by Sequential Function Chart Graphical Language (Sequential Function Chart 그래픽 언어로 記述된 공정제어 시스템에서 인터록의 실현)

  • 유정봉;우광준;허경무
    • 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.

  • PDF

Execution of a functional Logic language using the Dataflow Graph Representation (데이터플로우 그래프 표현 방식을 이용한 함수 논리 언어의 실행)

  • Kim, Yong-Jun;Cheon, Suh-Hyun
    • 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.

  • PDF

Development of Fuzzy Inference Mechanism for Intelligent Data and Information Processing (지능적 정보처리를 위한 퍼지추론기관의 구축)

  • 송영배
    • 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.

  • PDF

The linguistic characteristics of Chinese character and Reading for the Analects of Confucius (한자(漢字)의 언어적 특성과 『논어(論語)』 읽기)

  • Kim, Sang-Rae
    • 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.

Design of CMOS PLA Using C Language (C언어를 이용한 CMOS PLA의 설계)

  • 차균현;케빈·카플러스
    • 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.

  • PDF