• 한국컴퓨터정보학회논문지
• /
• 제26권12호
• /
• pp.29-43
• /
• 2021

본 연구에서 제약식프로그래밍을 이용하여 제약식 있는 동적계획법 모형을 푸는 한 방법을 제시한다. 현재 제약식 있는 동적계획법을 다루는 방법은 각 단계별 제약식들의 상태를 일반적인 동적계획법의 상태공간에 추가하여 마치 제약식이 없는 동적계획법 방식을 적용하는데 반해, 이 연구에서 제시하는 방식은 제약식의 상태가 제약식프로그래밍의 변수 도메인으로 표현되고 저장된다. 계산에 있어서도 일반적인 동적계획법의 벨만방정식의 해법과 함께 제약식을 다루기 위한 제약식프로그래밍의 확산-추론 방법을 사용하는 하이브리드 방식을 따른다. 이 두가지 방식의 비교를 위해 특별히 장기 자동차 렌탈 문제를 제시하고 이 문제의 단순화된 모형을 중심으로 다른 방식으로 해결하는 과정을 보고 그 장단점을 논한다.

• 디지털산업정보학회논문지
• /
• 제15권4호
• /
• pp.137-148
• /
• 2019

This paper is designed to examine the effectiveness of Computational Thinking and programming awareness by designing and applying programming classes using Havruta. In the present society, where the Fourth Industrial Revolution was in full swing, the capacity to be equipped has changed, and the education has been changed accordingly. Programming education is logically capable of thinking and improves comprehensive problem solving skills. This direction of programming education allows us to get ideas for solving problems based on computing thoughts and to create our own creative results. However, because they require the grammar of the programming language and many additional abilities, they are not easy for learners, and individual differences in competencies make learning less immersive and interesting. In this paper, to solve the problems of the uniform programming class, this study is designed and applied to the class applying the Jewish traditional teaching method, Havruta's teaching method, to find out the effect of computing thinking and programming perception.

• 전산구조공학
• /
• 제5권1호
• /
• pp.133-142
• /
• 1992

본 논문은 수식화의 특이성 때문에 구조 최적화 문제에 거의 사용되지 않고 있는 선형 goal programming을 대규모 비선형 구조 최적화에 응용하는 방법을 제시한다. 이 방법은 다기준 최적화의 도구로 사용되는데 그 까닭은 goal programming이 목적함수와 제한조건등을 정의하는데 있어서 발생하는 난점들을 제거해 주기 때문이다. 이 방법은 비선형 goal 최적화 문제들의 해를 얻기 위해서 유한요소해석, 선형 goal programming기법, 그리고 계속적인 선형화 기법을 이용한다. 즉, 대규모 비선형 구조 최적화 문제를 비선형 goal programming형태로 전환시키는 일반적인 수식화 방법을 제시하고, 얻어진 비선형 goal 최적화 문제를 풀기 위한 계속적인 선형화 방법에 대해서도 논의한다. 설계도구로서 이 방법의 유효성을 논증하기 위하여 10, 25 및 200트러스의 사례를 가지고 응력제한조건들의 최소무게 구조 최적화 문제에 대한 해를 모색하며 이를 다른 연구결과와 비교검토한다.

• 한국컴퓨터정보학회논문지
• /
• 제22권11호
• /
• pp.125-133
• /
• 2017

Recently, as the programming education has become essential in school, discussion of how to teach programming has been important. This study performed a meta-analysis of the effect size depending on the teaching and learning method for the programming education. 78 research data selected from 45 papers were analyzed from cognitive and affective aspects according to dependent variables. The analysis from the cognitive aspect showed that there was no statistically significant difference in the effect size depending on whether or not the teaching and learning method was specified in the research paper. Meta-analysis of the research data where the teaching and learning method was designated displayed significances in CPS, PBL and Storytelling. Unlike the cognitive aspect, the analysis from the affective aspect showed that the effect size of the research data without the specified teaching and learning method was larger than those with specified teaching and learning method with a statistical significance. Meta-analysis of the data according to the teaching and learning method displayed no statistical significance. Based upon these research results, this study suggested implications for the effective programming education.

• 한국국방경영분석학회지
• /
• 제13권1호
• /
• pp.91-100
• /
• 1987

This paper deals with an algorithm for solving nonlinear programming problems with equality constraints. Nonlinear programming problems are transformed into a square sums of nonlinear functions by the Lagrangian multiplier method. And an iteration method minimizing this square sums is suggested and then an algorithm is proposed. Also theoretical basis of the algorithm is presented.

• International Journal of Control, Automation, and Systems
• /
• 제5권2호
• /
• pp.192-199
• /
• 2007

This paper proposes a new printed circuit board (PCB) assembly planning method for multi-head surface mounters. We present an integer programming formulation for the optimization problem, and propose a heuristic method to solve the large NP-complete problem within a reasonable time. A dynamic programming technique is then applied to the feeder arrangement optimization and placement sequence optimization to reduce the overall assembly time. Comparative simulation results are finally presented to verify the usefulness of the proposed method.

• 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.

• 한국초전도ㆍ저온공학회논문지
• /
• 제18권1호
• /
• pp.50-54
• /
• 2016

In this paper, a hybrid method is proposed to design an air-core superconducting solenoid system for 6 T axial uniform magnetic field using Niobium Titanium (NbTi) superconducting wire. In order to minimize the volume of conductor, the hybrid optimization method including a linear programming and a nonlinear programming was adopted. The feasible space of solenoid is divided by several grids and the magnetic field at target point is approximated by the sum of magnetic field generated by an ideal current loop at the center of each grid. Using the linear programming, a global optimal current distribution in the feasible space can be indicated by non-zero current grids. Furthermore the clusters of the non-zero current grids also give the information of probable solenoids in the feasible space, such as the number, the shape, and so on. Applying these probable solenoids as the initial model, the final practical configuration of solenoids with integer layers can be obtained by the nonlinear programming. The design result illustrates the efficiency and the flexibility of the hybrid method. And this method can also be used for the magnet design which is required the high homogeneity within several ppm (parts per million).

• 한국정밀공학회지
• /
• 제13권4호
• /
• pp.34-42
• /
• 1996

Robot programming has been discussed in detail during the recent years. Numerous studies in particular presented relevance, solution concepts and implementation of off-line programming. In this paper a new user-friendly robot programming method is introduced, which permits the implicit description and programming of assembly process. On the functional level of programming, the assembly processes are described in terms of their operational functions. On the language level, the individual functions are then translated into commands for the robots.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.41-46
• /
• 1990

In the existing robot programming methods, off-line method becames important role of programming because of improvement of hardware and software of PC. The purpose of this study is to develop practical robot programming system for polishing task using PC. In the first place, we have investigated the existing robot programming systems, and derived the requirement of this programming system from the existing systems. And we have decided the structure of this system. After that, we have developed this system. Using Windows software, this programming system has man/machine interface function. So users can use easily and quickly.