• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.434-436
• /
• 1998

본 논문에서는 C++ 언어를 이용한 부품 개발 과정에서 단정문을 체계적으로 활용할 수 있도록 하는 기능을 제안하였다. 제안된 기능을 Eiffel의 Design-by Contract시스템과 유사하게 동작하므로 C++ 언어의 객체 모델을 이용하여 구현되었으며 별도의 소프트웨어 없이 라이브러리 형태로 간편하게 사용할 수 있도록 설계하였다. 또한 이를 C++의 표준라이브러리를 사용하여 실험적으로 구현하였다. 제안된 기능을 사용하는 경우 단정문 처리를 위한 복잡한 코드가 추상화되어 실제 프로그램 코드와 체계적으로 분리되므로 작성된 프로그램을 문서화하고 개발된 부품을 유지보수를 용이하게 한다.

• Journal of Broadcast Engineering
• /
• v.23 no.6
• /
• pp.914-924
• /
• 2018

In this paper, we implement an Android application for infant language education using marker-based augmented reality. Combining animal word markers (noun), size/color word markers (adjective), and action word markers (verb) in puzzle form to make a simple sentence, the application shows virtual contents related to the content of the sentence. For example, when an animal marker is showed up on a camera, the corresponding animal appears. Additionally, when the motion markers are combined, the animal's appearance changes into an animation in which it acts. When a user touched a marker, user can hear the sound of the word, which gives an auditory effect, and by adding the rotation function, user can see the animation in any direction. Our goal is to increase infants' interest in learning language and also increase the effectiveness of education on the meaning of words and the structure of simple sentences, by encouraging them to actively participate in language learning through visual and auditory stimuli.

• Journal of The Korean Association of Information Education
• /
• v.21 no.6
• /
• pp.607-618
• /
• 2017

Recently, there is a growing interest in learning to use games as a teaching method for digital native learners. In this study, we conducted a path analysis between bodily-kinesthetic intelligence, linguistic intelligence, flow, learning outcomes(academic achievement, persistence intention) in motion-capture game-based learning(the used game developed for elementary school history class). As a result, bodily-kinesthetic intelligence directly influenced flow and indirectly influenced learning outcomes. Linguistic intelligence did not have direct influence on flow and indirect effects on learning outcomes. Through this result, we expected that the motion-capture game-based learning facilitate learning motivation and performance of learners for higher bodily-kinesthetic intelligence.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.04a
• /
• pp.206-209
• /
• 2005

본 논문에서는 국내에서 상용화되고 있는 삼성전자의 SPC-10의 IEC1131-3 표준 언어(LD, SFC, FBD, ST)가 상호 호환성을 갖도록 목적 언어인 IL로 변환하여 컴파일 될 수 있는 IL 컴파일러를 개발하고자 한다. 개발하려는 IL 컴파일러는 IL언어의 활용성을 매우 높여주며, 실제네트워크 디바이스에 다운로드 하여 사용할 수 있는 IL 언어를 생성하고 실행시키는 점이 특징이다. 이 시스템은 SPC-10에서 많이 사용되는 언어를 패턴인식에 의해 클러스터링하여 자동적으로 IL 언어로 변환이 되며, 컴파일에 의해 PLC 프로그램의 동작이 가능하다. 이 시스템에서는 또한 사용자가 발생할 수 있는 문법오류는 물론 논리오류를 지능적 에이전트에 의해 검색하여 수정함으로써 최적화된 환경에서 PC 기반 제어가 가능하도록 해준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.373-378
• /
• 2000

ARS(Audio Response System)를 구현하기 위하여, 응용 분야를 분석하여 필요한 자료구조를 설계 및 처리 과정을 설계한 후, ARS 처리용 하드웨어 생산 업체에서 제공하는 원시 라이브러리와 C언어를 사용하여 구현하는 것이 일반적이다. 본 논문에서는 ARS의 처리 과정을 분석하여 동작을 제어하는 부분과 동작을 표현하는 부분으로 분리한 ARS 구현 모델을 제시하였다. 응용분야와 무관한 동작제어 부분은 대기상태, 처리상태, 종료상태로 구성되는 유한상태 기계 모델을 제시하였고, 응용분야에 따라 결정되는 동작표현에 필요한 정보를 체계적으로 구성한 자료구조를 제시하였다. 본 논문에서 제시하는 모델에 의하여 동작표현만 제공함으로써 ARS를 구현할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.399-402
• /
• 2017

텍스트 기반 언어 스몰베이직은 적은 수의 언어 특징을 가지고 있어 배우기 쉽고 이후에 C/C++/Java로 빠르게 전환할 수 있기 때문에 청소년 코딩 교육용 언어로 적합하다. 코딩 교육에 흥미를 높이기 위해 다양한 라이브러리가 필요한데 마이크로소프트에서 개발한 스몰베이직 환경에서는 로봇 프로그래밍을 위한 라이브러리를 지원하지 않는다. 이 논문에서 오픈소스 소프트웨어 스몰베이직 환경하에 동작하는 햄스터 로봇 라이브러리를 설계 및 구현하였다. 교육용 언어 스크래치와 파이썬에서 유사한 로봇 프로그래밍 라이브러리를 지원하지만 스크래치는 그림 기반 언어이기 때문에 이후 C/C++/Java로 전환하기 어렵고, 파이썬은 객체와 클래스 개념을 포함하고 잇어서 초보자가 배우기 어렵다. 이 논문에서 개발한 라이브러리를 활용하여 데모 프로그램을 작성함으로써 쉽게 스몰베이직 기반 로봇 프로그래밍을 할 수 있을을 확인하였다.

• Journal of KIISE:Software and Applications
• /
• v.37 no.1
• /
• pp.54-59
• /
• 2010

Special-purpose microcontrollers PLCs have been widely used in the area of industrial automation. For the research of analysis and verification for PLC programs, first of all we have to specify formal sematics of PLC programming languages. This paper defines formally the operational semantics of LD language. After we transform the graphical language LD into its textual representation Symbolic LD, we give semantics of Symbolic LD since LD language is a graphical language. This paper defines the natural sematics of Symbolic LD and formalizes it in Coq proof assistant.

• 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.

• Annual Conference on Human and Language Technology
• /
• 2023.10a
• /
• pp.185-189
• /
• 2023

Text to SPARQL은 지식 그래프 기반 질의응답의 한 형태로 자연어 질문을 지식 그래프 검색 쿼리로 변환하는 태스크이다. SPARQL 쿼리는 지식 그래프의 정보를 기반으로 작성되어야 하기 때문에 기존 언어 모델을 통한 코드 생성방법으로는 잘 동작하지 않는다. 이에 우리는 거대 언어 모델을 활용하여 Text to SPARQL를 해결하기 위해 프롬프트에 지식 그래프의 정보를 증강시켜주는 방법론을 제안한다. 이에 더하여 다국어 정보 활용에 대한 영향을 검증하기 위해 한국어, 영어 각각의 레이블을 교차적으로 실험하였다. 추가로 한국어 Text to SPARQL 실험을 위하여 대표적인 Text to SPARQL 벤치마크 데이터셋 QALD-10을 한국어로 번역하여 공개하였다. 위 데이터를 이용해 지식 증강 프롬프팅의 효과를 실험적으로 입증하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.6
• /
• pp.1260-1268
• /
• 2005

Ladder Diagram(LD) is the most extensively used among PLC standard language for the design of control system. But LD has the disadvantages for data processing and maintenance. On the other hand, the Sequential Function Chart(SFC) graphic language is very powerful for describing the sequential logic control algorithm. SFC is based on flow chart, so control flow understanding is very easy and divergence can possible improving its ability. In this paper, we propose the efficient management elevator system using the action qualifiers and choice divergence. From the result, we confirm the SFC language reduced program memory capacity and processing time is faster than LD language.