• 대한전기학회논문지
• /
• 제35권11호
• /
• pp.487-494
• /
• 1986

This paper is concerned with the techniques of error check and reduction of state diagram using logic programming. Error check program aims to check not only syntax errors but also semantic errors. And reduction program optimizes the state diagram by finding the redundant equivalence states and removing those from the set of states. The input of both program is state diagram represented as state table form. The output of error check program is error comment. The output of reduction program is equivalence reduced state table. Both programs are implemented using prolog. Prolog has very powerful pattern matching, and its automatic back-tracking capabilities facilitate easy-to-write error check and reduction programs.

• 한국콘텐츠학회논문지
• /
• 제16권3호
• /
• pp.288-295
• /
• 2016

컴퓨터가 일상생활에 널리 사용됨에 따라 프로그래밍은 필수 기술로 떠오르고 있다. 프로그래밍 교육을 지원하기 위해서 우리나라는 2018년까지 프로그래밍 정규 과목을 개발할 계획을 추진하고 있다. 하지만 대부분의 프로그래밍 언어가 영어를 기반으로 하고 있기 때문에 우리나라의 프로그래밍 교육은 어려워지고 있으며 학생들도 집중력을 쉽게 잃을 수 있다. 이 논문에서는 우리나라 학생들의 프로그래밍 교육에 효과적인 한글 프로그래밍 언어 새싹을 제안하고 있다. 새싹은 Java를 바탕으로 개발하였으며, 객체지향 프로그래밍과 람다 식을 지원한다. 새싹의 교육 적합성을 평가하기 위해서 우리는 새싹을 다른 한글 프로그래밍 언어와 세 가지 측면에서, 즉 문법적 특성, IDE 지원, 한국어 오류 메시지 측면에서 비교하였다. 비교 결과, 새싹이 다른 한글 프로그래밍 언어보다 더 교육에 적합함을 알 수 있었다. 특히, IDE 기능과 한글로 출력되는 오류 메시지는 프로그래밍 초보자에게 도움이 많이 될 것으로 예상된다.

• 정보교육학회논문지
• /
• 제12권2호
• /
• pp.195-202
• /
• 2008

로봇을 이용한 프로그래밍 학습은 획일적이고 정형화된 기존 교육환경에서 벗어나 미래사회의 창의적 학습을 미리 경험할 수 있으며 수학 및 과학의 가장 기초가 되는 알고리즘을 이해하고 향상시키는데 가장 적절한 학습방법이다. 본 연구에서는 초등학생들이 로봇프로그래밍 시 나타날 수 있는 오류의 유형들을 제안하였으며 학습을 위한 교육과정을 개발한 후 초등학생 5, 6학생들을 대상으로 로봇프로그래밍 학습을 시켰다. 학습과정에서 발생한 오류들을 수집하고 분류하였으며 또한, 기존 연구된 컴퓨터기반 프로그래밍언어와 비교 분석하였다. 본 연구에서의 로봇프로그래밍 실행경험을 통해 컴퓨터기반 프로그래밍에서 창의성학습에 큰 장애요소로 평가된 오류요소들 즉, 프로그램사용 미숙으로 인한 오류, 단순한 오타, 문법오류 그리고 코딩실수 등을 전체 오류의 약 21%로 나타나 기존 컴퓨터기반 프로그래밍언어 학습에서 조사된 오류비율(약 53%)에 비해 현저하게 줄어드는 것으로 분석되었다. 이러한 오류의 감소는 초등학생들의 흥미도와 성취도 향상을 위한 주요요소로 판단된다. 따라서, 학습과정에서 보다 많은 논리 및 문제해결을 위한 요소들에 노출되어 있어 창의성 알고리즘 학습에 매우 효과적임을 알 수 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2022년도 제66차 하계학술대회논문집 30권2호
• /
• pp.719-721
• /
• 2022

본 논문은 비전공자의 프로그래밍 수업에서 발생하는 오류들을 수집하고 오류 유형을 분석하여 초보 프로그래머의 오류 문제 해결을 쉽게 접근할 수 있도록 하고 교수자가 하는 피드백을 인공지능을 통해 자동화하는 시스템을 개발하는 기초 연구가 되는 것을 목표로 하였다. 결과로는 분석한 오류 유형에는 컴파일 타임에러가 가장 많이 발생하였고 그중에서도 구문에러(syntax error), 그중 missing 에러가 가장 많이 나타났다. 비전공자 학습자는 에러메시지를 이해하는 것을 가장 어려워하였고, 교수자의 피드백을 가장 절실하게 필요로 하였다. 좋은 오류 메시지는 초보자 프로그래머를 위한 프로그램 사용성에 큰 차이를 만들 수 있어 오류 메시지 내용을 단순화시킬 필요가 있으며, 학습자와 교수자의 상호작용을 효율적으로 이루어지게 할 필요가 있고, 인공지능을 통한 피드백을 자동화할 필요가 있음을 제언하였다. 향후 과제로는 오류 유형 중 자주 발생하는 구문에러부터 해결할 수 있는 인공지능을 이용한 자동 피드백 프로그램을 만들어 학습자와 실시간 상호작용하여 온라인에서 프로그래밍 수업이 가능한 학습시스템을 구현하고자 한다.

• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.231-244
• /
• 2007

In this paper, we use measure theory for considering asymptotically stable of an autonomous system [1] of first order nonlinear ordinary differential equations(ODE's). First, we define a nonlinear infinite-horizon optimal control problem related to the ODE. Then, by a suitable change of variable, we transform the problem to a finite-horizon nonlinear optimal control problem. Then, the problem is modified into one consisting of the minimization of a linear functional over a set of positive Radon measures. The optimal measure is approximated by a finite combination of atomic measures and the problem converted to a finite-dimensional linear programming problem. The solution to this linear programming problem is used to find a piecewise-constant control, and by using the approximated control signals, we obtain the approximate trajectories and the error functional related to it. Finally the approximated trajectories and error functional is used to for considering asymptotically stable of the original problem.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1832-1835
• /
• 1997

Off-line programming systems are widely spread in assembly lines of minute electronic products to huge offshore structures. Any OLP system has to be calibrated before the on-line robot tasks are performed because there are inherent differences between the CAD model on OLP and the real robot workspace. This paper uses simple geometric expressions to propose a calibration method applicable to an OLP for SCARA robots. A positioning task on the two-dimensional horizontal surface was used in the error analysis of a SCARA robot and the anaysis shows that the inaccuracy results from the two error sources non-zero offset angles of two rotational joints at the zero return and differences in link lengths. Pen marks on a sheet of plotting paper are used to determine the accurate data on the joint centers and link dimensions. The calculated offset angles and link lengths are fed back to the OLP for the calibration of the CAD model of the robot and task environments.

• 한국컴퓨터정보학회논문지
• /
• 제20권6호
• /
• pp.151-159
• /
• 2015

In traditional programing education, computers were used as the main tool. Consequently, it was problematic to provide education in an environment without computers or for learners without computer skills. To address this problem, this study developed and validated an unplugged robot education system capable of computerless programming education. The key feature of the proposed system is that programing can be done only by connecting programming blocks in symbols of a flow chart with built-in commands. Validation of the system was performed by a specialist group. Validity was very high with values of content validity ratio (CVR) over 0.7 in all evaluation criteria except "Ease of error debugging" and "Linkages to educational curriculum," whose CVR values were each 0.6. Future directions include improvement in the two areas that scored lower than the others did by, respectively, system improvement to support debugging in error conditions that may occur during the programming process, and development of user guide to support linkages to educational curriculum.

• 한국산학기술학회논문지
• /
• 제7권4호
• /
• pp.690-696
• /
• 2006

본 연구는 연구논제[1]에서 제안한 보정방법을 평창강 지역 11개 강우관측소를 대상으로 적용하였다. 또한 본 연구는 방법별 오차범위 및 주변관측소 개수에 따른 공간적 분포 영향을 분석하였다. 연구 적용 결과 선형계획법이 가장 작은 오차를 나타내었으나 계산을 위한 프로그램이 필요하므로 현장의 실무적용에는 어려움이 있는 것으로 나타났다. 역거리법은 선형계획법과 비교해서 비교적 간단하고 정확한 결과를 보이는 것으로 나타났다. 따라서, 본 연구결과는 강우량 보정의 정확도를 높이는데 기여할 수 있을 것으로 판단된다.

• 대한전자공학회논문지SD
• /
• 제39권12호
• /
• pp.1022-1032
• /
• 2002

테스트와 동시에 오류 비트의 수와 위치를 파악하도록 하여 redundancy 프로그래밍이 용이한 다수 비트 출력 DRAM을 위한 BIST 구조가 소개되었다. 일반적으로, DRAM 셀이 n개의 블록으로 구성된 경우에, 단지 n개의 비교기와 한 개의 3가지 상태 엔코더를 사용하여, 무오류 상태, 한 개의 오류가 있을 경우, 오류상태 및 오류비트가 존재하는 블록의 위치, 두개의 블록에 오류가 있을 경우 오류 상태 등 총 n ＋ 2개의 상태를 나타낼 수 있다. 제안된 방법을 통하여, 두개 이상의 블록에 오류가 있을 경우, 오류 비트의 위치와 수를 파악하는 방법으로 용이하게 확장 구현가능하다. 8블록으로 구성된 64MEG DRAM 경우의 성능 비교 결과 단지 0.115%의 칩 면적 증가로, 테스트 및 redundancy 프로그래밍 시간이 1/750로 감소하였다.

• 한국컴퓨터정보학회논문지
• /
• 제11권2호
• /
• pp.319-327
• /
• 2006

인지능력이 뛰어난 초등학교 고학년에는 컴퓨터 활용교육 보다 컴퓨터 기초원리 또는 프로그래밍교육이 필요하다. 본 연구에서는 재량 특별활동시간 혹은 방과 후 특기적성시간에 고학년(4,5,6학년)을 대상으로 프로그래밍교육 시 발생 가능한 문제점들을 미리 예측하고 대처하는 방법으로 초등학생들이 프로그램 작성 및 실행과정에서 발생하는 모든 오류들을 수집한 후 이를 유형별로 분류하고 분석하였다. 분석된 오류들을 활용하면 최적의 프로그래밍 교육과정을 작성할 수 있으며 이를 기초로 교수 학습 시 학습효과와 흥미도 유발에 큰 도움을 줄 수 있다. 본 연구에서 수집한 오류들의 분석에서는 초등학생들이 프로그래밍 시 어려워하는 영역들은 소프트웨어 사용미숙으로 인한 단순오류, 영어로 된 예약어 사용미숙 등으로 인한 단순코딩이 가장 많았으며 다음으로 문법 이해의 어려움으로 발생하는 오류들이 가장 많았다. 이러한 오류의 유형들은 상업용 소프트웨어개발 업체에서 분석된 오류의 유형과 반대 현상으로 나타났으나 점차 교수 학습이 향상되면 같은 현상으로 바람직하게 나타날 것으로 예측된다.