• 한국전자통신학회논문지
• /
• 제5권5호
• /
• pp.459-464
• /
• 2010

컴퓨터 프로그램은 기계, 우주, 항공, 의학을 비롯한 사회 전 분야에서 필요로 한다. 하지만 프로그래밍 교육과정은 수많은 교재와 동영상 강의에도 불구하고 어려워하고 있다. 프로그래밍 언어는 매우 다양하지만 대부분의 언어들은 동일한 구조를 사용하며, 표현 방식에 차이가 있을 뿐이다. 그래서 하나의 프로그래밍 언어를 습득하면 또 다른 언어를 배우는데 많은 시간과 노력을 기울이지 않아도 된다. 대부분의 프로그래밍 언어들은 일반적으로 순서, 선택, 반복 구조를 사용한다. 프로그래밍을 배우는 사람에게 중요한 것은 프로그램의 문법이 아니라 프로그램의 구조나 알고리즘이다. 본 논문에서는 순서도를 활용해 구조화된 프로그래밍을 학습할 수 있는 언어 학습 시스템을 설계하고 구현하였다.

• International Journal of Control, Automation, and Systems
• /
• 제1권3호
• /
• pp.271-281
• /
• 2003

In this paper, a new nonlinear programming approach is suggested to solve biaffine matrix inequality (BMI) problems in multiobjective and structured controls. It is shown that these BMI problems are reduced to nonlinear minimization problems. An algorithm that is easily implemented with existing convex optimization codes is presented for the nonlinear minimization problem. The efficiency of the proposed algorithm is illustrated by numerical examples.

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

지능 로봇은 복잡하고 동적인 환경 내에서 상황의 변화에 적절히 적응하여 사용자에게 다양한 서비스를 제공하는 지능 시스템이다. 따라서 로봇은 행위를 수행하는 동안 지속적으로 상황의 변화를 감지하여 변화에 적절히 반응해야 하며 주어진 상황에 대해 최선의 행위를 결정하여 수행할 수 있어야 한다. 또한 때때로 임의의 행동을 결정하여 보다 지능적인 행위를 수행할 수 있어야 한다. 본 논문에서는 이러한 지능 로봇의 복잡한 행위를 효과적으로 정의하고 구현하기 위해 Structured Circuit Semantics(SCS)에 기초를 둔 프로그래밍 언어(Structured Programming for Reactive Intelligent Tasks, SPRIT)와 SPRIT으로 작성된 프로그램을 다양한 로봇 환경에서 실행하고 검증하기 위한 작업 실행기(Task Executor)를 제시한다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제2권1호
• /
• pp.20-25
• /
• 2002

This paper presents a genetic programming based evolutionary strategy for on-line adaptive learnable evolvable hardware. Genetic programming can be useful control method for evolvable hardware for its unique tree structured chromosome. However it is difficult to represent tree structured chromosome on hardware, and it is difficult to use crossover operator on hardware. Therefore, genetic programming is not so popular as genetic algorithms in evolvable hardware community in spite of its possible strength. We propose a chromosome representation methods and a hardware implementation method that can be helpful to this situation. Our method uses context switchable identical block structure to implement genetic tree on evolvable hardware. We composed an evolutionary strategy for evolvable hardware by combining proposed method with other's striking research results. Proposed method is applied to the autonomous mobile robots cooperation problem to verify its usefulness.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.254-254
• /
• 2000

This paper presents a genetic programming based evolutionary strategy for on-line adaptive learnable evolvable hardware. genetic programming can be useful control method for evolvable hardware for its unique tree structured chromosome. However it is difficult to represent tree structured chromosome on hardware, and it is difficult to use crossover operator on hardware. Therefore, genetic programming is not so popular as genetic algorithms in evolvable hardware community in spite of its possible strength. We propose a chromosome representation methods and a hardware implementation method that can be helpful to this situation. Our method uses context switchable identical block structure to implement genetic tree on evolvable hardware. We composed an evolutionary strategy (or evolvable hardware by combining proposed method with other's striking research results. Proposed method is applied to the autonomous mobile robots cooperation problem to verify its usefulness.

• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제27권1호
• /
• pp.57-74
• /
• 2024

본 연구는 2020년 발행된 일본 초등학교 수학 교과서 2종의 프로그래밍 교육 관련 특화 차시를 지도 시기 및 주제, 지도 내용의 수학적 구성, 지도 맥락 및 활동 구성의 측면에서 분석하였다. 프로그래밍 교육 관련 특화 차시의 경우, 교과서에 따라 1~6학년 모두에 제시되어 있거나 5~6학년에 집중적으로 제시되어 있었다. 주제는 로봇 이동 시키기, 한붓그리기, 정다각형 그리기, 수 정렬하기 등으로 다양했다. 내용 영역 측면에서는 도형과 측정 영역이 가장 많이 제시되었으며, 수학적 요소로는 순서, 논리, 알고리즘 등의 요소가 가장 많이 구현되었다. 실제 프로그래밍을 구현한 디지털 콘텐츠에는 교과서에 제시된 내용보다 많은 내용들이 포함되어 있었으며, 학생들이 스스로 할 수 있도록 단계별로 매우 상세하게 제시되어 있었다. 마지막으로 코드 블록의 경우 동작, 연산, 선택 블록 등을 많이 사용되었다. 이러한 연구 결과를 토대로 우리나라 초등 수학 교육에서의 프로그래밍 교육에 대한 시사점을 제공하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1140-1143
• /
• 1987

The purpose of this study is to develop a systematic tool which can reduce the abstractness of the structured programming disciplines by a system. The system is an interactive software which forces the user to think and write software in a hierarchical stepwise refinement fashion for an implementation of the software design. The program produced by the system has a program control structure and a logic flow which are very easy to recognize. The modification of a program is, therefore, easier to attain by altering the specifications of the modules involved. It is possible to reduce the programming errors because of those characteristics.

• 한국국방경영분석학회지
• /
• 제10권2호
• /
• pp.33-41
• /
• 1984

Hangout programming language, written in Hangout and having syntax of Korean, can enhance readability very much for its naturalness, and is suited for Hangout data processing. But there exist several problems in implementing it due to the peculiarities of Korean such as verb position, variation of termination. This paper proposes a solution for implementing Hangeul high level language and introduces a Hangout programming language HANSFOR (Hangout Structured Fortran), implemented according to the proposed method. HANSFOR satisfies such requirements of Hangout high level language as mentioned above and can handle Korean and Chinese character data efficiently. Especially, though it is based on Fortran, it is free-formatted and provides structured programming concept to compensate for defects of original Fortran. It is successfully implemented on NEC S/100.

• Structural Engineering and Mechanics
• /
• 제62권3호
• /
• pp.303-310
• /
• 2017

The model updating problems, which are to find the optimal approximation to the discrete quadratic model obtained by the finite element method, are critically important to the vibration analysis. In this paper, the structured model updating problem is considered, where the coefficient matrices are required to be symmetric and positive semidefinite, represent the interconnectivity of elements in the physical configuration and minimize the dynamics equations, and furthermore, due to the physical feasibility, the physical parameters should be positive. To the best of our knowledge, the model updating problem involving all these constraints has not been proposed in the existed literature. In this paper, based on the semidefinite programming technique, we design a general-purpose numerical algorithm for solving the structured model updating problems with incomplete measured data and present some numerical results to demonstrate the effectiveness of our method.

• 한국국방경영분석학회지
• /
• 제28권2호
• /
• pp.34-55
• /
• 2002

This paper deals with the multiple attribute decision making problem when a decision maker incompletely articulates his/her preferences about the attribute weight and alternative value. Furthermore, we consider the attribute tree which is structured hierarchically. Techniques for establishing dominance with linear partial information are proposed in a hierarchically structured attribute tree. The linear additive value function under certainty is used in the model. The incompletely specified information constructs a feasible region of linear constraints and therefore the pairwise dominance relationship between alternatives leads to intractable non-linear programming. Hence, we propose solution techniques to handle this difficulty. Also, to handle the tree structure, we break down the attribute tree into sub-trees. Due to there cursive structure of the solution technique, the optimization results from sub-trees can be utilized in computing the value interval on the topmost attribute. The value intervals computed by the proposed solution techniques can be used to establishing the pairwise dominance relation between alternatives. In this paper, pairwise dominance relation will be represented as strict dominance and weak dominance, which ware already defined in earlier researches.