• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• 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년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• 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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 D
• /
• 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

• 철학연구
• /
• 제148권
• /
• pp.269-289
• /
• 2018

이 글은 "노자의 도와 소쉬르의 언어학: 잘못된 만남"의 후속편으로 기획되었다. 노자의 도와 소쉬르의 언어학의 접점을 찾기 위해 '비상명(非常名)'을 어떻게 이해해야할까라는 질문을 던졌다. 노자의 '비상명'이 소쉬르가 말한 기호의 자의성과 부합하기 때문이다. 노자의 비상명이 갖는 성격을 부각하기 위해 공자의 '정명'과 비교하는 방법을 택했다. 이를 통해, 공자의 정명은 언어질서를 통해 예법을 회복하자는 주장임에 반해, 노자의 비상명은 기호의 자의성을 말한 것임을 드러냈다. 노자는 비상명을 통해 기호는 기표(signifiant)와 기의(signifie)가 본질적이고 필연적으로 결합되어 있지 않음을 드러냈다. 여기에서 더 나아가 기호의 자의성으로부터 언어질서는 해체될 수 있으며, 언어질서로 구축된 사회의 구조나 규범, 예법이라는 것도 해체될 수 있음을 보여준다. 결국 노자의 비상명은 제도로서 언어, 상징계로서 언어인 주나라의 언어질서에 저항하는 논리이자 해체의 논리이다. 이를 해명하기 위해, 세 가지 논증을 사용했다. 첫째는 '명'에 대한 중국 고대의 논의가 단순한 관직명과 사물의 명칭인 물명(物名)을 의미하는 것이 아니라, 한 사회의 제도와 법, 규범에 관한 논의였음을 해명하였다. 둘째, 언어 질서가 사회 제도이자 사회 구조임을 해명하는 논증을 소쉬르와 라캉의 말을 가져와 해명하였다. 소쉬르는 언어학의 탐구 대상이 한 사회의 제도와 규범, 법에 대한 탐구라고 말하고 있고, 라캉은 이를 상징계(the Symbolic)라고 말하고 있는 점을 가져와 논증하였다. 셋째, '비상명'이 기표와 기의의 자의적이고 임의적인 관계를 드러내는 중요한 용어임을 해명하였다. 소쉬르는 기호는 기표와 기의의 결합은 본질적이지 않고, 임의적이고 자의적이라고 한다. 노자의 비상명 역시 기표와 기의가 자의적인 결합임을 해명하였다. 이러한 논증을 통해 노자의 비상명이 제도로서 언어와 상징계로서 언어에 저항하고 이를 해체하는 논리임을 해명하였다.

• 대한전자공학회논문지
• /
• 제26권6호
• /
• pp.131-139
• /
• 1989

본 논문에서는 CMOS 및 domino CMOS 의 특징과 PLA등 array logic의 특징을 동시에 살리면서 동작특성이 좋고 집적도가 높으며 테스트 생성이 쉬운 domino CMOS NOR-NOR array logic의 설계방식을 제안하였다. 이 방식은 pull-down 특성을 개선하여 기생 커패시턴트의 문제점을 해결하며 간단한 부가회로를 사용하여 회로내의 모든 고정들을 검출할 수 있도록 한 testable design 방식이다. PLA의 적항군의 개념 및 특성 행렬을 이용한 테스트 생성 알고리듬과 절차를 제안하였고 이를 PASCAL 언어로 실현하였다. 또한 SPICE 및 P-SPICE를 이용하여 본 설계방식에 대한 검증을 행하였다.

• 조명전기설비학회논문지
• /
• 제19권3호
• /
• pp.127-133
• /
• 2005

PLC는 산업용 제어시스템에서 가장 많이 사용되며, 중요한 역할을 하고 있다. 이러한 PLC에서 사용되는 언어에 대한 연구도 활발히 이루어지고 있다. PLC에서는 LD언어가 가장 많이 사용되고 있다. LD언어는 데이터의 흐름을 알 수 없고, 유지보수가 어렵다. 반면에 SFC는 제어의 흐름을 이해하기 쉽고 유지보수가 용이하지만 조건과 인터록 기술에 문제점이 있다. 본 논문에서는 매니지먼트 스텝을 사용한 인터록의 기술에 대한 방법을 제안하였고, 실례를 통해 그의 타당성을 확인하였다.

• 한국전자거래학회지
• /
• 제12권3호
• /
• pp.133-150
• /
• 2007

본 연구에서는 시맨틱 웹 기술을 이용해 뉴스의 동향을 분석하는 서비스를 제안한다. 뉴스 동향 분석 서비스는 뉴스들 간의 시간흐름 또는 관계들을 분석해 줄 수 있기 때문에 현재의 일반적인 뉴스검색 엔진보다 지능적인 검색 결과를 보여줄 수 있다. 이러한 서비스를 제공하기 위해서는 시간 정보에 대한 추론 기능이 필요하지만 OWL과 같은 시맨틱 웹 언어는 이를 지원하지 못하기 때문에 시간 기반 추론을 지원하기 위해 본 연구에서는 OWL을 확장한 TL-OWL(Temporal Web Ontology Language)을 제안한다.

• 한국생물정보학회:학술대회논문집
• /
• 한국생물정보시스템생물학회 2005년도 BIOINFO 2005
• /
• 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.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1998년도 제10회 한글 및 한국어 정보처리 학술대회
• /
• pp.217-221
• /
• 1998

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

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• 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.