• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.35 no.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.

• The Journal of the Korea Contents Association
• /
• v.16 no.3
• /
• pp.288-295
• /
• 2016

As the computer becomes pervasive in everyday life, the programming arises as an essential technique. To support the education of programming, Republic of Korea has launched a plan to develop the official courses of programming by 2018. However, the programming education in Korea tends to be difficult and the students easily lose their concentration since most of programming languages are based on English. This paper proposes a Korean programming language called Saesark to promote the effective programming education for Korean students. Saesark has been developed based on Java, which supports the object-oriented programming and the lambda expressions. In order to evaluate the educational suitability of Saesark, we compared it with other Korean programming languages in three respects: syntactic features, IDE support, and error messages in Korean. According to the comparison, Saesark is revealed more suitable than other languages. Specifically, the IDE features and the error messages in Korean are expected to be mostly valuable in educating novice programmers.

• Journal of The Korean Association of Information Education
• /
• v.12 no.2
• /
• pp.195-202
• /
• 2008

The programming learning by using a robot may be one of the most appropriate learning methods for enabling students to experience the creative learning of future society by avoiding the existing stereotyped style educational environment, and understand and improve algorithm which is the basic fundamental of mathematics and science. This study proposed four types of items of errors which may occur during robot programming by elementary school students, and made elementary school students in the fifth and sixth grades learn robot programming after developing the curriculum for the robot programming. Then, the study collected and classified errors that had occurred during the process of learning, and conducted a comparative analysis of computer-based programming language which had been previously studied. This study identified that robot programming in elementary school was shown superior to existing computer-based programming language as a creative learning method and tool through the field experience.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.719-721
• /
• 2022

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

• Journal of applied mathematics & informatics
• /
• v.25 no.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.10a
• /
• 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.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.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.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.4
• /
• pp.690-696
• /
• 2006

This study applies the methods proposed in this issue[1] to the 11 rainfall gauging stations of the Pyongchang area. Also, this study analyzes the error range of each interpolation method, and considers spatial distribution according to the number of gauging station. As the results, the linear programming methods shows the best minimum error. However, this method might be difficult to apply in the field because of need for programming. Comparatively, the inverse distance method shows more simple and accurate results than the linear programming one. The result of this study could contribute to the increase of accuracy for the filling of missing rainfall data.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.12
• /
• pp.1022-1032
• /
• 2002

A multibit DRAM BIST methodology reducing redundancy programming overhead has been proposed. It is capable of counting and locating faulty bits simultaneously with the test. If DRAM cells are composed of n blocks generally, the proposed BIST can detect the state of no error, the location of faulty bit block if there is one error and the existence of errors in more than two blocks, which are n + 2 states totally, with only n comparators and an 3 state encoder. Based on the proposed BIST methodology, the testing scheme which can detect the number and locations of faulty bits with the errors in two or more blocks, can be easily implemented. Based on performance evaluation, the test and redundancy programming time of 64MEG DRAM with 8 blocks is reduced by 1/750 times with 0.115% circuit overhead.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.2 s.40
• /
• pp.319-327
• /
• 2006

Higher grade elementary school students who have superior cognitive abilities need education of basic principles of computer or programming rather than computer in education. In this study, all the errors occurring while elementary school students wrote and executed programs were collected. in the method of predicting and dealing with possible-to-occur problems on programming education of the higher grades (4th, 5th and 6th grades) during their optional special activities or during talent aptitude activities after school, classified by type and analyzed. If the errors analyzed are put to practical use, optimal programming curriculums could be written and such curriculums could be a great contribution to induction of learning effect and interest on teaching learning. It was found by analyzing the errors collected for this study that the most of elementary school students during programming felt difficulties in simple errors by poor use of software and in simple coding by poor use of reserved words in English. In the next, students occurred errors by difficulties in understanding grammar. It was exposed that these error types were the opposite phenomena to those analyzed by commercial software developing companies, however, it is predicted that if teaching learning is setting improved, the same phenomena could be found desirably.