• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.1012-1017
• /
• 1993

In this paper, the instruction set and the architecture of a RISC processor for programmable logic controller is suggested. From the measurement of existing programs, the characteristics of ladder instructions are analyzed. The instruction set is defined so that the existing ladder program can be reused with simple translation. Because bit instructions controls the behavior of word instructions, the processor suits for high level language like SFC. Simulations show that the PLC with the suggested processor is twenty times faster than the PLC with the multi-purpose microprocessor.

• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10b
• /
• pp.352-357
• /
• 1987

The Auto Tuning Controller is designed using Fuzzy set theory. And to verify its validity it is Applied to the Auto Tuner of hydraulic Control System. Fuzzy Tuning Procedures are written by linguistic model and translated into C language formation by preprocessor. Then it is executed with state feedback controller in real time, Fuzzy Logic Controller adjusts state feedback gain by proper tuning logic in each step to satisfy the desired maximum overshoot and settling time.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2443-2445
• /
• 2000

In this paper, the Intergrated SCADA is used to computer systems designed to perform the following functions for power plant. - to collect data from industrial plant devices or transducers - to process and perform calculations on the collected data - to present collected and derived data on displays on MMI - to accept commands entered by human operators and act on them such as sending control commands to plant devices. This system is characterised by open architectured that is based on the internationally recognized industrial standard for industrial automation control language, the IEC 1131-3

• Journal of Korean Philosophical Society
• /
• v.148
• /
• pp.269-289
• /
• 2018

This article is designed to help ensure that "Laotzu's Tao and Saussure's Linguisticse's Linguistics" can meet properly. To carry out this project, I asked how to understand Laotzu's 'not the eternal Name(非常名)'. Comparing Kongzi's 'the Rectification of name(正命)' with Laotzu's 'not the eternal Name', The meaning of the two concepts becomes clear. Kongzi's 'the Rectification of name' is political philosophy to restore etiquette through language order. In comparison, Laotzu's 'not the eternal Name' refers to Randomness[arbitraire] of the symbol. It shows that the order of languages can be dismantled, and that the structure, norms, and etiquette of society, which are established by language order, can be dismantled. Laotzu's 'not the eternal Name' is a logic that defies language as an institution, as a symbolism, and as a logic of disintegration. To illustrate this point, Searsure's Linguistics was brought in for discussion. In Saussure's Linguistics, the arbitrary nature of the symbol is the same as the Lotzu's 'Not the eternal Name'. Three arguments were used to elucidate the logic of the resistance and the logic of Deconstruct of the Language structure. First, I explained that the discussion of 'Name' was not just about 'the name of an object' but about the system, laws and norms of a society. Second, I explained the argument that language order is a social institution and a social structure by taking the words Saussure and Lacon. Third, I explained that 'not the eternal Name' is an important term that reveals the arbitrary and arbitrary relationship between the signifiant and the signifie. These arguments explain that Laotzu's 'not the eternal Name' is the logic of dismantling the language as a system and as the symbolic.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.6
• /
• pp.131-139
• /
• 1989

This paper proposes Domino CMOS NOR-NOR Array Logic design method which has the same as characteristic of CMOS and Domino CMOS in Array Logic like PLA, good operation feature, high desity, easy test generation. This testable design method can detect all of faults in the circuit using simple additional circuit and solve the parasitic capacitance problem by improving the pull-down characteristics. A Test generation algorithm and test procedure using concept of PLA product term and personality matrix are proposed, and it was implemented in PASCAL language. This design method is verified by SPICE and P-SPICE simulation.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.19 no.3
• /
• pp.127-133
• /
• 2005

Programmable Logic Controller(PLC) is the most widely utilized and plays an important role in industrial control system. The study about a PLC language is performed actively. Ladder Diagram(ID) is the most widely used in PLC. In is not suitable for describing a complex sequential logic and is very difficult to grasp the sequential flow of control logic and has the disadvantage for a maintenance. On the other hand, Sequential Function Chart(SFC) is very easy to grasp the sequential flow of control logic and has the compatability for a maintenance but has the disadvantage for describing a condition and a interlock logic. In this paper, we propose the method that describe the interlock logic using management step, and confirm his feasibility through a actual examples.

• The Journal of Society for e-Business Studies
• /
• v.12 no.3
• /
• pp.133-150
• /
• 2007

In this paper we investigate a trend analysis service using Semantic Web technology in a news domain. The trend analysis service can provide more intelligent answers rather than the answer given In current news search engines since it can analyze the passage of time and the relation among news. In order to provide the trend analysis service, the capability of temporal reasoning is required, but the Semantic Web language such as OWL does not support the reasoning capability. Therefore, we propose a language TL-OWL(Temporal Web Ontology Language) extending OWL with the temporal reasoning.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2005.09a
• /
• pp.373-378
• /
• 2005

The diagrammatic language for pathways is widely used for representing systems knowledge as a network of causal relations. Biologists infer and hypothesize with pathways to design experiments and verify models, and to identify potential drug targets. Although there have been many approaches to formalize pathways to simulate a system, reasoning with incomplete and high level knowledge has not been possible. We present a qualitative formalization of a pathway language with incomplete causal descriptions and its translation into propositional temporal logic to automate the reasoning process. Such automation accelerates the identification of drug targets in pathways.

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.217-221
• /
• 1998

본 논문에서는 한국어의 전산처리를 위한 문법 모형 개발의 일부분으로 HPSG에 기반한 문법 모형의 개발을 시도한다. 문법 모형의 개발에는 ALE(Attribute Logic Engine)를 이용하며, 보문 구조와 보조 용언 구문을 분석하기 위한 사전구조 및 문법 규칙을 제시한다. 그리고 문의 종류 (Sentence Type:ST)와 문계(Sentence Level: SL), 시제, 존대 등을 분석해서 표상하기 위한 유형 계층 및 어휘부, 문법 규칙, 문법 원리 등을 제시한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.965-969
• /
• 1993

In this paper, the GPC algorithm is developed for ACS(advanced control system). ACS equals to DCS(distributed control system) with some advanced control algorithm, for example, fuzzy logic controller, autotuning. By its embedded structural control language, which uses simple function codes corresponding to each function blocks, it is possible to construct multiloop controller. The developed GPC function code is divided by RLS (recursive least square) parameter estimator and GPC controller. Simulation result show the availability of GPC function code using the control language.