• 한국통신학회논문지
• /
• 제18권10호
• /
• pp.1495-1507
• /
• 1993

본 논문에서 마이크로프로그램 제어방식을 이용하여 CDP(Compact Disc Player)에서 사용되는 RS 부호(Reed-Solomon code)의 복호기를 설계하였다. 사용한 복호방법은 Newton 항등식들로 부터 얻어진 연립방정식들을 이용하여 오류위치다항식의 계수들을 구하고, C2(외부호)복호에서의 소실데이타 개수를 확인한다. 또한 C2복호에서 소실데이타 값들을 C1(내부호)복호 결과와 신드롬들을 이용하여 구한다. 이와 같은 복호방법을 이용하여 4개의 소실정정까지 할 수 있도록 해서 오류정정능력을 높였다. 설계한 복호기는 오류정정에 필요한 GF(28)상에서 연산을 수행할 수 있는 복호연산기와 프로그램 ROM을 가지고있는 복호제어기 띤 마이크로명령어(microinstruction)들로 구성된다. 마이크로명령어들을 이용하여 RS부호의 복호 알고리즘을 프로그램할 수 있으며, 성능향상이나 다른 용도에 사용하기 위해서는 프로그램 ROM만 바꾸면 가능하므로 간편하다. 본 논문에서 설계한 복호기는 Verilog HDL의 Logic Level Modeling을 이용하여 구현했으며, 설계된 복호기에서 각 마이크로명명령어들은 14비트(=1 word)이고, 프로그램 ROM의 크기는 360 word이다. 또한 C1과 C2를 모두 복호하는데 걸리는 최대시간은 424 clock-cycle이다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 II
• /
• pp.911-914
• /
• 2003

A logic design training kit with print port emulation function was developed. The input device of the kit was 4$\times$4 key input and 6 FND(DYNAMIC) and LCD were used as out put devices and the output device were also can controlled by PC connectde by print port to the kit. The emulator was coded by Visual Programming C++(MFC)

• 산업공학
• /
• 제18권4호
• /
• pp.412-417
• /
• 2005

This paper describes the development of on-line Programmable Logic Controller(PLC) laboratories to teach the detailed operation of a PLC using distance learning approach. The PLC has become a key component to provide intelligence for machines in CIM environment. This study introduces a case study that teaches PLC programming in distance learning environment. The study describes the contents of PLC laboratories and workstation set ups. The study concludes with problems found and proposes the ways to improve the on-line laboratories.

• 산업경영시스템학회지
• /
• 제17권30호
• /
• pp.153-160
• /
• 1994

In this paper, we present the application of knowledge-based system technique for generating of PLC ladder diagram The developed prototype system receives a time chart as an input and generates a ladder logic as its output This results in the computerization and intellegent processing of PLC programming. The system can be effectively applied to sequence control where the PLC programs need to be frequently changed and generated.

• 대한전기학회논문지
• /
• 제32권4호
• /
• pp.109-120
• /
• 1983

본 논문은 마이크로프로세서를 이용한 순차 논리회로(Sequential Logic Cricuit)설계에 관한 것이다. 근래에는 많은 순차논리회로가 마이크로프로세서를 이용하여 설계되나, 이 방식은 회로 설계자들에게 익숙하지않은 마이크로프로세서나 그 프로그램에 대한 지식을 필요로 한다. 이 논문에서는 간편하면서도 사용처에 관계없이 잘 적용될 수 있는 표준 프로그램을 제시하였고, 이 프로그램으로 마이크로프로세서나 프로그램에 대하여 잘 모르는 설계자들도 쉽게 설계를 할 수 있을 것이다. 이 프로그램의 적용성과 응용성을 나타내기 위하여 두가지 예를 Z-80 마이크로프로세서로 설계하여 보였다.

• 대한전자공학회논문지
• /
• 제23권3호
• /
• pp.327-339
• /
• 1986

In this paper, a hardware compiler for symbolic description language(SDL) is proposed for logic design automation. Lexical analysis is performed for SDL which describes the behavioral characteristics of a digital system at the register transfer level by the proposed algorithm I. The algorithm I is proposed to get the expressions for the control unit and for the data transfer unit. In order to obtain the network description language(NDL) expressions equivalent to gate-level logic circuits, another algorithm, the the algorithm II, is proposed. Syntax analysis for the data formed by the algorithm I is also Performed using circuit elements such as D Flip-Flop, 2-input AND, OR, and NOT gates. This SDL hardware compiler is implemented in the programming language C(VAX-11/750(UNIX)), and its efficiency is shown by experiments with logic design examples.

• Advances in Computational Design
• /
• 제5권3호
• /
• pp.233-260
• /
• 2020

The main purpose to introduce model based controller in proposed control technique is to provide better and fast learning of the floating dynamics by means of fuzzy logic controller and also cancelling effect of nonlinear terms of the system. An iterative adaptive dynamic programming algorithm is proposed to deal with the optimal trajectory-tracking control problems for autonomous underwater vehicle (AUV). The optimal tracking control problem is converted into an optimal regulation problem by system transformation. Then the optimal regulation problem is solved by the policy iteration adaptive dynamic programming algorithm. Finally, simulation example is given to show the performance of the iterative adaptive dynamic programming algorithm.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제53권3호
• /
• pp.413-434
• /
• 2014

Logic lays the foundation of Mathematics and the development of Mathematics is dependent on critical thinking. So it is important that school mathematics helps students develop their logical and critical thinking ability for both mathematics learning and problem solving in general. MINDSTORMS, a LEGO based programming activity kit, is an effective teaching and learning tool that can be used to enhance logical and critical thinking in students. This study focused on measuring the growth of students' ability to think logically and critically when they used MINDSTORMS activities to learn programming. In addition, we investigated how the students' logical and critical thinking changed from the MINDSTORMS learning experience. The study confirmed that the programming activities using MINDSTORMS help to enhance logical and critical thinking in students. The students attitude about logical and critical thinking became more positive and the activities helped to engage students to think logically and critically. This type of programming activities should be valuable in mathematics education and it should be included in a general mathematics curriculum.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1271-1282
• /
• 2005

PC-based control은 현재 제어분야에서 비약적 발전을 하고 있으나 일반 사용자들이 PC에서 PLC 프로그래밍하기에는 어렵다는 단점이 있다. 따라서 본 논문은 국제 PLC 표준언어로 제정된 5가지 언어 중 $90\%$이상 사용하는 LD언어에 대한 표준규격을 연구하고, 이것을 중간코드인 IL(Instruction List) 언어로 변환하고 기존 상용화된 편집기(Visual C++)에서 활용 가능한 표준 C코드로 변환함으로써 LD에 익숙한 사용자나 고급언어에 익숙한 사용자 모두 사용할 수 있는 편집기 및 실행엔진 기능을 갖춘 지능적 에이전트 기반의 통합 시스템 ISPLC(Intelligent Agent System based Software Programmable Logic Controller)를 개발하였다. ISPLC에서는 LD에서보다 C에서 논리오류 검출기능이 훨씬 용이하며, GUI기반 인터페이스를 제공하며 에이전트에 의한 프로그래밍 코드를 제공하므로 가독성이 높다. 이러한 LD->H->C로의 코드변환체제에 관한 연구는 국내외적으로 처음 시도되는 연구이다. ISPLC를 실제 실시간 교통량 제어 시스템(Real Time Traffic Control System)에 적용하여 현장 적응성이 우수한 실행엔진을 개발하여 시뮬레이션 하였으며, ISPLC는 오류검색 뿐 아니라 프로그래밍 시간을 매우 단축시켜줌을 알 수 있었다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.