• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권1호
• /
• pp.54-59
• /
• 2010

산업자동화 분야에는 특수목적 마이크로콘트롤러인 PLC가 널리 사용된다. PLC 프로그램 분석과 검증을 위한 연구에서 우선적으로 해야 할 일은 PLC 프로그래밍 언어의 의미구조를 정형적으로 제시하는 것이다. 본 논문은 PLC 프로그래밍에 널리 사용하는 LD 언어의 의미구조를 정의한다. LD 언어는 그래픽 언어이기 때문에 먼저 텍스트 언어 Symbolic LD로 구문구조를 정형화한 다음에, Symbolic LD에 대한 의미구조를 정의할 수가 있다. 본 논문은 Symbolic LD의 의미구조를 자연 의미구조 기법으로 정의하고, 증명 보조기 Coq을 이용하여 정형화하였다.

• 전자공학회논문지C
• /
• 제34C권11호
• /
• pp.29-38
• /
• 1997

As the trend of the automation is increasing, the usage of the programmable automation equipments like programmable controller(PC), numerical controller(NC), distributed control systems(DCS) and robot controller is greatly expanding in the area of the industrial equipments. But the development of the programing language for the programmable automatic equipment is rarely accomplished. In this paper, we propose design and implementation technique of the real-time mechanism control language by adding time constraint constructs and timing analysis constructs ot conditional statement and iteration statement of a programming language. Moreover, we made it possible to predict plausibility of time constraint constructs of a real time application program at compilation time and developing execution time analysiss technique.

• 정보교육학회논문지
• /
• 제25권4호
• /
• pp.603-610
• /
• 2021

최근 SW교육 방법의 일환으로 초등학교 모든 실과교과서에서 엔트리 사이트를 활용하고 있다. 하지만 모두 블록형 프로그래밍 언어를 학습하고 있어 일상생활에서 활용할 수 있는 프로그램을 제작하는데 어려움이 있다. 본 연구는 엔트리 파이썬으로 프로그래밍을 학습하는 것이 초등학생의 논리적 사고력과 프로그래밍 흥미도에 미치는 영향에 관한 연구이다. 총 8차시의 수업 전과 후 논리적 사고력 검사와 프로그래밍 흥미도 검사를 진행하였다. 수업 전, 후 논리적 사고력 점수가 평균 6.6점에서 9.4점으로 상승하였으며 프로그래밍 흥미도 또한 평균 46.7점에서 59.1점으로 상승하였다. 이를 통해 엔트리 파이썬을 활용한 프로그래밍 학습이 초등학생의 논리적 사고력 및 프로그래밍 흥미도 증진에 유의미하다는 결과를 얻었다.

• 컴퓨터교육학회논문지
• /
• 제12권3호
• /
• pp.23-30
• /
• 2009

프로그래밍 학습 효과에 관한 기존 연구는 대개 창의력과 문제해결력의 향상도를 측정하는 것에 국한되어 있다. 본 연구는 이들 두 요소 외의 관련 요소들을 초등학생들의 특기적성 검사를 통하여 찾아보는 연구이다. 이를 위하여 초등 4학년을 대상으로 LOGO 프로그래밍 교육을 시행한 후 성취도 평가를 실시한 결과, 4개 영역으로 구성된 특기적성 검사 항목들 중 지적능력만이 하위 5개의 세부항목 모두 프로그래밍 능력과 높은 양의 상관관계가 있음이 밝혀졌으므로, 창의성 보다는 지적능력이 뛰어난 학생들이 프로그래밍 능력이 우수함을 알 수 있었고, 이는 본 연구의 실험 환경에 국한하여 프로그래밍 학습이 문제해결력과 창의성 발달에 긍정적 영향을 미친다는 기존 연구 결과의 반대 명제는 성립하지 않음을 나타낸 것이다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2007년도 추계학술대회 논문집
• /
• pp.319-320
• /
• 2007

• 경영과학
• /
• 제11권1호
• /
• pp.1-21
• /
• 1994

We usually use the simulation technique in the evaluation and the test of a design alternative of Automated Guided Vehicle System. In this paper, we introduce a simulation code generator which can assist simulation programmer in model development and programming. It consists of user interface, program editor, and program sorter. SIMAN is used as the target language.

• 한국통신학회논문지
• /
• 제30권3B호
• /
• pp.95-104
• /
• 2005

다이어그램은 직관성과 간결성을 갖는 장점이 있어 현재의 컴퓨팅 환경에서 많은 분야에 널리 사용되고 있다. 하지만 다이어그램 작성에 대한 표준화된 방법의 부재(不在)로 소프트웨어 상호간의 자료공유가 어렵고 다이어그램 컴포넌트와 규칙을 직접 프로그래밍 해야 하기 때문에 많은 시간과 노력을 필요로 한다. 이러한 문제점을 해결하고자 본 논문에서는 표준화된 문서규약인 XML을 이용해 다이어그램 컴포넌트의 형태와 행위를 정의하는 방법, 다이어그램의 규칙과 의미를 기술하는 방법에 대해 제안하고 제안한 XML 문서가 실행될 수 있는 다이어그램 시스템의 설계 및 구현에 관하여 논의한다. 본 다이어그램 시스템에서는 DML 그래픽 편집기를 제공하여 WYSWYG 방식으로 다이어그램 컴포넌트를 정의하고 자동으로 DML 문서를 생성할 수 있도록 함으로써 더욱 효율적으로 새로운 다이어그램을 개발할 수 있도록 하였다. 뿐만 아니라 DTD를 이용해 다이어그램에 대한 문법을 정의함으로써 문서의 구조를 정의하는 DTD에 대한 의미적 일관성을 유지하였으며 Semantic Definition XML을 이용하여 의미를 기술할 수 있도록 하였다. 또한 다이어그램 시스템에서 다이어그램 문장에 대한 문법검사와 의미실행의 방법은 VPL(Visual Programming Language)의 여러 개념들을 이용하였다.

• Journal of Electrical Engineering and Technology
• /
• 제1권2호
• /
• pp.145-152
• /
• 2006

This paper presents a windows application for voltage sag analysis and effective data visualization. The developed Voltage Sag Analysis Tool (VSAT) was designed by using the Object-Oriented Programming (OOP) concept and C++ programming language. The VSAT provides basic functions for voltage sag analysis such as power flow analysis, short circuit analysis and stochastic analysis. In particular, the VSAT provides effective data visualization through computer graphics and animation. Analysis results are expressed realistically and intuitively on geographical display. The Graphic User Interface (GUI) of VSAT was designed specifically for voltage sag analysis. In this paper, the development and implementation of VSAT is presented. In order to demonstrate the capabilities of VSAT, it is used to analyze the Jeju Island power system in South Korea.

• 전자공학회논문지B
• /
• 제33B권6호
• /
• pp.34-44
• /
• 1996

A transputer is a powerful micro-processor, which can communicate with other processors with its own communication links and can be utilized into a powerful parallel computer system with easy way and low price. However, its usage has been limited to a few people because of its own programming language and complicated user interfaces. This paper presents programming tools to use a transputer system easily. It includes transputer integrated environment which has many developing tools, and transputer manager which can monitor and manage the system and developed programs on it. We also implemented a graphichs application program in order to test the feasibility and funcitonalities of programmers easy access to the transputer networks and visualize the performance status of each processor so that they can write efficient parallel programming codes.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권6호
• /
• pp.727-737
• /
• 1999

프로세스 중심 소프트웨어 개발 환경(PSEE : Process-centered Software Engineering Environment)은 소프트웨어 개발자를 위한 여러가지 정보의 제공과 타스크의 수행, 소프트웨어 개발 도구의 수행 및 제어, 필수적인 규칙이나 업무의 수행등과 같은 다양한 행위를 제공하는 프로세스 모형의 수행을 통하여 소프트웨어 개발 행위를 지원한다. SEED(Software Engineering Environment for Development)는 효율적인 소프트웨어 개발과 프로세스 모형의 수행을 제어하기 위해 ETRI에서 개발된 PSEE이다.본 논문에서는 SEED에서 프로세스 모형을 설계하기 위해 사용되는 SimFlex 프로세스 프로그래밍 언어와, 수행지원시스템인 SEED Engine의 구현에 대하여 기술한다. SimFlex는 간단한 언어 구조를 가진 프로세스 프로그래밍 언어이며, 적절한 적합화를 통하여 다른 PSEE에서 사용될 수 있다. SimFlex 컴파일러는 SimFlex에 의해 기술된 프로세스 모형을 분석하고, 모형의 오류를 검사하며, SEED Engine에 의해 참조되는 중간 프로세스 모형을 생성한다. 중간 프로세스 모형을 사용하여 SEED Engine은 외부 모니터링 도구와 연관하여 사용자를 위한 유용한 정보뿐만 아니라 SimFlex에 의해 기술된 프로세스 모형의 자동적인 수행을 제공한다. SimFlex 언어와 수행지원 시스템의 지원을 통하여 소프트웨어 프로세스를 모형화하는데 드는 비용과 시간을 줄일 수 있으며, 편리하게 프로젝트를 관리하여 양질의 소프트웨어 생산물을 도출할 수 있다. Abstract Process-centered Software Engineering Environments(PSEEs) support software development activities through the enaction of process models, providing a variety of activities such as supply of various information for software developers, automation of routine tasks, invocation and control of software development tools, and enforcement of mandatory rules and practices. The SEED(Software Engineering Environment for Development) system is a PSEE which was developed for effective software process development and controlling the enactment of process models by ETRI.In this paper, we describe the implementation of the SimFlex process programming language used to design process models in SEED, and its runtime support system called by SEED Engine. SimFlex is a software process programming language to describe process models with simple language constructs, and it could be embedded into other PSEEs through appropriate customization. The SimFlex compiler analyzes process models described by SimFlex, check errors in the models, and produce intermediate process models referenced by the SEED Engine. Using the intermediate process models, the SEED Engine provides automatic enactment of the process models described by SimFlex as well as useful information for agents linked to the external monitoring tool. With the help of the SimFlex language and its runtime support system, we can reduce cost and time in modeling software processes and perform convenient project management, producing well-qualified software products.