• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.4B no.1
• /
• pp.29-35
• /
• 2004

Locomotive scheduling in railway systems experiences many difficulties because of the complex interrelations among resources, knowledge and various constraints. Artificial intelligence technology has been applied to solve these scheduling problems. These technologies have proved to be efficient in representing knowledge and rules for complex scheduling problems. In this paper, we have applied the CSP (Constraints Satisfaction Problems) programming technique, one of the AI techniques, to solve the problems associated with locomotive scheduling. This method is more effective at solving complex scheduling problems than available mathematical programming techniques. The advanced locomotive scheduling system using the CSP programming technique is realized based on the actual timetable of the Saemaul type train on the Kyong-bu line. In this paper, an overview of the CSP programming technique is described, the modeling of domain and constraints is represented and the experimental results are compared with the real-world existing schedule. It is verified that the scheduling results by CSP programming are superior to existing scheduling performed by human experts. The executing time for locomotive scheduling is remarkably reduced to within several decade seconds, something requiring several days in the case of locomotive scheduling by human experts.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.5
• /
• pp.42-52
• /
• 1997

Computer aided process planning and Offline programming are decisive factors in successful implementation of automated robotic production. However, conventional offline programming procedure has proven ineffective due to time-consuming teaching process for robot programming and due to inefficient system modeling. The paper presents an efficient procedure to semi-automatically generate robot job programs for ship block welding applications. In the research, the teaching positions are automatically determined by predefined rules which are functions of the type and the dimensions of the given welding section of ship block. And a sequence of robot movements and welding conditions such as welding type, welding current, welding speed, and welding torch orientation, are determined by use of Standard Program which is experimentally proved to work well for the welding wection group. Finally, a robot program for the welding section is generated automatically. Based on the algorithm, a offline automatic teaching software is developed. The paper presents also the algorithm and structure of the software.

• International conference on construction engineering and project management
• /
• 2020.12a
• /
• pp.225-234
• /
• 2020

Reliability-based structural optimization usually requires designers or engineers model different designs manually, which is considered very time consuming and all possibilities cannot be fully explored. Otherwise, a lot of time are needed for designers or engineers to learn mathematical modeling and programming skills. Therefore, a framework that integrates generative design, structural simulation and reliability theory is proposed. With the proposed framework, various designs are generated based on a set of rules and parameters defined based on visual programming, and their structural performance are simulated by OpenSees. Then, reliability of each design is evaluated based on the simulation results, and an optimal design can be found. The proposed framework and prototype are tested in the optimization of a steel frame structure, and results illustrate that generative design based on visual programming is user friendly and different design possibilities can be explored in an efficient way. It is also reported that structural reliability can be assessed in an automatic way by integrating Dynamo and OpenSees. This research contributes to the body of knowledge by providing a novel framework for automatic reliability evaluation and structural optimization.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.354-359
• /
• 2006

The analysis of large-scale water resources systems is often complicated by the presence of multiple reservoirs and diversions, the uncertainty of unregulated inflows and demands, and conflicting objectives. Reinforcement learning is presented herein as a new approach to solving the challenging problem of stochastic optimization of multi-reservoir systems. The Q-Learning method, one of the reinforcement learning algorithms, is used for generating integrated monthly operation rules for the Keum River basin in Korea. The Q-Learning model is evaluated by comparing with implicit stochastic dynamic programming and sampling stochastic dynamic programming approaches. Evaluation of the stochastic basin-wide operational models considered several options relating to the choice of hydrologic state and discount factors as well as various stochastic dynamic programming models. The performance of Q-Learning model outperforms the other models in handling of uncertainty of inflows.

• Journal of Korean Society for Quality Management
• /
• v.19 no.1
• /
• pp.163-169
• /
• 1991

This paper studies computer programming for Two-Way Layout with Multiple Observations - Fixed Model using the subroutines of the former paper. The following items are considered in the PC computer programming: * significant digits in the computation of Sum of Squares * containing the necessary F-distribution values in the program * including the necessary estimation after the Analysis of Variance * following the rules of KS A 0021 in rounding off digits etc. The running results of Analysis of Variation Table and Estimations of a fictitious example is added with the parts of PC program. It should be mentioned that the main purpose of this paper is in the arousing of the discussion about significant digits concept in the PC computer programming for various kinds of Statistical Methods.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.40 no.2
• /
• pp.63-77
• /
• 2015

The territorial air that our sovereignty is being applied to is divided into several zones and areas. In order to use and manage them effectively, these zones and areas have laws, regulations and rules. The number of airspaces (MOA : Military Operation Area) and Ranges that are used in the military are limited and many airbases are being used for training. Currently the central department manages some, and the rest are independent airbases. Therefore, efficient allocation is not performed and the result occurs where airspaces and ranges are allocated unnecessarily. This is increasing the workload of staff leading to unnecessary re-work. To slove problem, this study proposed models for allocating airspaces and ranges using goal programming with multi-objective functions of minimizing the deviations of the target values.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.16 no.28
• /
• pp.103-107
• /
• 1993

This paper studies computer programming for the analysis of data obtained by experiments using Orthogonal Arrays. The following items are considered in the computer programming : * significant digits in the computation of Sum of Squares, Mean Squares and Variance Ratios * containing the necessary F-distribution values in the program. * matching the rules of KS A 0021 and 3251 in the digit treatments etc. The running results of ANOVA Table and Pooled ANOVA Table of a fictitious example is added with the parts of a program. It should be mentioned that the main purpose of this paper is in the arousing of the discussion about significant digits concept in the computer programming for various kinds of Statistical Methods.

• Education of Primary School Mathematics
• /
• v.27 no.1
• /
• pp.57-74
• /
• 2024

This paper analyzed the programming education specialized lessons presented in two types of elementary school mathematics textbooks according to the revised Japanese curriculum in 2017. First, this paper presented in detail how each activity is connected to Korean mathematics areas, what elements of mathematics can be learned through programming education, how each activity is structured, and how the actual programming according to the textbook activities is structured. In Japanese textbooks, geometry and measurement areas were presented the most among Korean mathematics content areas, and mathematical elements such as sequences, rules, and algorithms were most implemented for learning. Digital learning tools that make up actual programming present more elements than those presented in the textbooks and are presented in great detail so that students can do actual programming. Lastly, in blocks, motion, control, and calculation blocks were used a lot. Based on these research results, this study provides implications when conducting programming-related education in Korea.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.846-858
• /
• 1997

Despite elaegant semantics and a lot of features, pure functional programming languages do not provide an affcient way of represnting states.Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement becaese of the complex type system and redujction rule.Therefore, the scheme which simplifies the reduction rule and maintains states effciently is needed to have the implemen-taiton dffetive.This paper proposes st-calculus, the excution model of a functinal language with states and proves that the proposed model satistiies the church-Rosser theorem.It has simple reduction rules and the ability of rerpresenting states without, and the difficulties with implementation may be reduced by simplifving the reduction rules.

• Journal of the Society of Naval Architects of Korea
• /
• v.42 no.6 s.144
• /
• pp.654-665
• /
• 2005

In this paper, we present a non-linear integer programming by genetic algorithm (GA) for available sizes of stiffener or thickness of plate in a job site. GA can rapidly search for the approximate global optimum under complicated design environment such as ship. Meanwhile it can handle the optimization problem involving discrete design variable. However, there are many parameters have to be set for GA, which greatly affect the accuracy and calculation time of optimum solution. The setting process is hard for users, and there are no rules to decide these parameters. In order to overcome these demerits, the optimization for these parameters has been also conducted using GA itself. Also it is proved that the parameters are optimal values by the trial function. Finally, we applied this method to compass deck of ship where the vibration problem is frequently occurred to verify the validity and usefulness of nonlinear integer programming.