• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10a
• /
• pp.285-288
• /
• 1988

Despite of the low productivity, the manual programming for NC machining is still widly used because of it's economical reasons. In this study, the computer assisted manual programming system CAMP which assits the efficient verification of MCD(Machine Control Data) is presented. The system can detect sysntax errors, graphically display tool motions and eventually diagnose programming techniques. The case study is applied for the NC turning operations.

• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.9
• /
• pp.9-16
• /
• 2017

The course timetabling problem is a problem assigning a set of subjects to the given classrooms and different timeslots, while satisfying various hard constraints and soft constraints. This problem is defined as a constraint satisfaction optimization problem and is known as an NP-complete problem. Various methods has been proposed such as integer programming, constraint programming and local search methods to solve a variety of course timetabling problems. In this paper, we propose an iterative improvement search method to solve the problem based on constraint programming. First, an initial solution satisfying all the hard constraints is obtained by constraint programming, and then the solution is repeatedly improved using constraint programming again by adding new constraints to improve the quality of the soft constraints. Through experimental results, we confirmed that the proposed method can find far better solutions in a shorter time than the manual method.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1996.10a
• /
• pp.15-21
• /
• 1996

This paper describes a development of conversational program for lathe. The proposed program is a NC programming system specialized for use in machine tool controls. Its easy to use graphic interface built-in database capabilities make it an ideal way to program part on the shop floor. In order to manage effectively machining process it proposed the algorithm of tree structures for design processing. Also using interative structure it proposed the methods of conversational programming to generate automatically NC program.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.4
• /
• pp.27-34
• /
• 2019

The course timetabling problem is a kind of very complex combinatorial optimization problems, which is known as an NP-complete problem. Sometimes a given course timetabling problem can be accompanied by many constraints. At this time, even if only one constraint is violated, it can be an infeasible timetable. Therefore, it is very difficult to make an automated course timetabling system for a complex real-world course timetabling problem. This paper introduces an automated course timetabling system using constraint programming. The target problem has 26 constraints in total, and they are expressed as 24 constraints and an objective function in constraint programming. Currently, we are making a timetable through this system and applying the result to the actual class. Members' satisfaction is also much higher than manual results. We expect this paper can be a guide for making an automated course timetabling system.

• Journal of The Korean Association of Information Education
• /
• v.19 no.2
• /
• pp.243-252
• /
• 2015

The software education to elementary students will be conducted from 2019. One of highlights of software education is a programming experience. It requires a higher level of programming education to students that are interested in programming. This problem can be solved by the club activities. But the materials for programming education for elementary students is not much. Therefore, we developed a programming material for club activities of the elementary school. We did not develop it as a programming manual. The students can understand a problem, can design through decomposition and abstraction processes, and can write a program when they are learning with this material. As a result, we expect that they can enhance their computational thinking abilities. We proved that our material is suitable for elementary students through a demonstration class. Therefore, we expect that our development methodologies for the material for programming education will contribute to develop a material for programming education.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.2
• /
• pp.17-26
• /
• 2009

This paper is experimental study to inspect effects of problem solving ability and programming interest using Pico Cricket of the educational robot. The programming learning which is regarded as the very core of information subject improves problem solving ability. But the programming teaming does not display the effects properly, because the programming learning studies a grammar manual. The educational robot has the advantage to approach the programming learning easily for containing entertainment. The Pico Cricket of the educational robot has the advantage not to induce competition but to compose a cooperative learning environment. Also, the Pico Cricket is able to be had interest of programming learning to girl students, because the Pico Cricket is able to suggest life-centered and cooperative contents which girl students like. Accordingly, This paper is study which the programming learning using Pico Cricket affects the problem solving ability and programming interest and men and women's comparison study.

• Journal of the Korean housing association
• /
• v.25 no.3
• /
• pp.131-143
• /
• 2014

The purpose of this study is to develop an operation manual of resident-driven community program by evaluating community program operation to realize a sustainable apartment complex and vitalize a community. To achieve this purpose, 8 community experts, who are in charge of 42 complexes of 7 autonomous districts among 25 districts in Seoul were interviewed from September 2013 to December 2013. Main results of the study are as follows. 1) Operational problems and improvements are deduced from evaluating operation process of community programs. It is found that smooth cooperation of main operators including a community vitalization association, a resident representative meeting and a control office is the most important. 2) Operation guideline for representative programs are suggested based on analysis of operational characteristics of 3 types of community programs; communication, recycling and environment management, according to program operation elements; material element, programming element, human element and finance element. 3) An operation manual of resident-oriented community program is presented after considering evaluation of operation processes and analysis of 3 types of operational elements of community programs.

• Journal of The Korean Association of Information Education
• /
• v.20 no.3
• /
• pp.293-302
• /
• 2016

It is the latest fashion of interesting with software education in public school environment and also consider as high priority issue of curriculum for college freshman with programming 101 courses. The block-based programming tool is used widely for the beginner and provides several positive features compare than text-based programming language tools. To measure quality of programming code elaborately which is based script language, it is need to very tough manual process. As a result the previously research related with evaluation of block-based script code has been focused very simple methods in which normalize the number of blocks used which is related with programming concept. In such cases in this, it is difficult to measure structural vulnerability of script code and implicit programming concept which does not expose. In this research, the framework is proposed which enable to measure and evaluate quality of code script of block-based programming tools and also provides method to find of vulnerability of script code. In this framework, the quality metrics is constructed to structuralize implicit programming concept and then developed the quality measure and vulnerability model of script to improve level of programming. Consequently, the proposed methods enable to check of level of programming and predict the heuristic target level.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2002.10a
• /
• pp.280-285
• /
• 2002

Copy machines have been used in the 3 dimensional shape machining like the non-sphere surface. This study is intended to show the possibility of manufacturing of a non-sphere shape without a exclusive CAM(Computer Aided Manufacturing) software in the process of metallic mold. It has been examined under the two types of working conditions. One is a cutting by manual programming and the other is a cutting by a general-purpose CAM software. Two kinds of output data were compared and analyzed, and data by a manual program were discovered more accurate than those of a general-purpose CAM software. In this study, I came to a conclusion it is possible to manufacture a 3 dimensional shape without a exclusive CAM software.