• Journal of Korean Institute of Industrial Engineers
• /
• v.26 no.2
• /
• pp.117-127
• /
• 2000

In this paper, we propose a new convex combination weight rule for the cross decomposition method which is known to be one of the most reliable and promising strategies for the large scale optimization problems. It is called generalized cross decomposition, a modification of linear mean value cross decomposition for specially structured linear programming problems. This scheme puts more weights on the recent subproblem solutions other than the average. With this strategy, we are having more room for selecting convex combination weights depending on the problem structure and the convergence behavior, and then, we may choose a rule for either faster convergence for getting quick bounds or more accurate solution. Also, we can improve the slow end-tail behavior by using some combined rules. Also, we provide some computational test results that show the superiority of this strategy to the mean value cross decomposition in computational time and the quality of bounds.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.4 no.1
• /
• pp.33-39
• /
• 1979

The cash management problem as a part of working capital management has been extensively studied. By and large the articles surveyed lacked consideration of long-term assets and the proper tax treatment of them. Recognizing that investment activities - long-term as well as short-term generate cash inflows, leads one to conclude that these investments should be included in the cash management problem. The liquidity of long term investments is an integral part of the cash management problem. This paper formulated a cash management model which incorporate the effect of long term investments and their liquidity on cash holdings. Although all of the models formulated could be solved using mathematical programing techniques, the mere size of the problem in terms of the number of variables and constraints leads one to seek other methods. For this reason rules were developed using the Kuhn-Tucker conditions thereby substaintially avoiding the programming calculations or at least easing them significantly.

• Journal of Advanced Marine Engineering and Technology
• /
• v.19 no.4
• /
• pp.72-78
• /
• 1995

The diffusion of fuzzy logic techniques into real applications requires specific software supports which save development time and reduce the programming effort. But we has been lack of a tool devoted to support the design of fuzzy controllers. In this paper, on the basis of the general fuzzy set and .alpha.-cut set decomposition of fuzzy sets, a set of fuzzy reasoning tool(FRT) devoted to support the design of fuzzy dontroller for servo systems is developed. The major features of this tool are: 1) It supports users to analyze fuzzy ingerence status based on input deta and expected results by three-D graphic display. 2) It supports users to prepare input data and expected result. 3) It supports users to tuned scaling factor of membership functions, rules and fuzzy inference. The paper shows how the suggested design tools are suitable to give a consistent answer to the tuning of fuzzy control system. This FRT is expected to exert good performance and devoted to support which the design of fuzzy controller is illustrated in the servo systems.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.4
• /
• pp.379-389
• /
• 2000

A cellular automaton is well-known for self-organizing and dynamic behavions in the filed of artifial life. This paper addresses a new neuronic architecture called an evolvable celluar classifier which evolves with the genetic rules (chromosomes) in the non-uniform cellular automata. An evolvable cellular classifier is primarily based on cellular programming, but its mechanism is simpler becaise it utilizes only mutations for the main genetic operators and resmbles the Hopfield network. Therefore, the desirable bit-patterns could be obtained through evolutionary processes for just one individual agent, As a rusult, an evolvable hardware is derived which is applicable to clessification of bit-string information.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.5 no.2
• /
• pp.41-48
• /
• 1987

This paper is concerned with selection evaluation technique among three major performance evaluation techniques which are suitable for new computer system selection. It will discuss benchmarks, synthetic programs and simulation among various techniques for selection evaluation. It will show a formal technique using integer programming models for selecting a suitable job mix. It will suggest a simple method for comparing performance evaluation results. It will also provide benchmarks and synthetic program operation rules and expected outputs in appendix.

• Korean Journal of Computational Design and Engineering
• /
• v.3 no.3
• /
• pp.168-176
• /
• 1998

This paper deals with an application on the mould machining of air intake hose product by using 3-dimensional parametric modeling techniques. The detailed domain is the 3-dimensional product with similar shapes and different sizes which needs too much working time for preparation of modeling or machining due to making a trial and errors repeatedly. Decision making rules for selection of modeling order and technique, and for calculation of cutting conditions, and for determination of sequence and method concerning machining operations are required by interview of expert engineers in the field. The developed expert system of modeling and machining is programmed by using a user programming language under the CAD/CAM software of the Personal Designer. The developed system that aids a mould engineer who is working in the modeling and machining section which deal with air intake hose product provides strong and useful capabilities.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1033-1036
• /
• 1993

Most of the today realized fuzzy logic control applications has been designed using different heuristic approaches for synthesis and implemented with conventional programming languages on general purpose microcontrollers. This paper aims to present a new methodology to design a fuzzy controller. The methodology is based on the Cell-to-Cell approach to extract the control law. A set of fuzzy rules is then found by using a FAM (Fuzzy associative memories) approach. The proposed procedure was implemented to control the rotor position of a DC motor.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.05a
• /
• pp.345-347
• /
• 2023

Rust has gained popularity as a memory safe systems programming language. At the center of its memory safety is a strict memory ownership model with stringent rules enforced by the compiler. This paper aims to shed light on this memory safety model and the role smart pointers play towards its success. We study specific smart pointers, their purposes and contribution to Rust's memory safety. We further explore weaknesses of these smart pointers and their APIs, and provide scenarios under which they may lead to memory vulnerabilities in Rust programs.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.30 no.4
• /
• pp.29-50
• /
• 2019

This study was to suggest the considerations for application profiles of 2019 revised RDA using literature reviews and case studies according to new RDA that revised in order to reflect the LRM and linked data. First, the additional elements were recommended as the contents of application profiles such as inverse element, broader element, narrow element, domain, range, alternate label name, mapping to MARC, mapping to BIBFRAME, and RDA description examples as new elements as well as element name, element ID, element URL, description method, vocabulary encoding scheme, data provenance element, data provenance value, and notes as the elements that were already suggested by previous researches. Second, RDA rules' representations in forms of flow chart and application profiles through analyzing RDA rules were suggested in order to apply the rules to RDA application profiles to structure the rules in which every element has 4 types of description method, many conditions, and options. Third, the RDA mapping to BIBFRAME was suggested in RDA application profiles because RDA and BIBFRAME are co-related in context of content standard and encoding format, and mapping BIBFRAME and RDA is necessitated for programming BIBFRAME editors with RDA as content standard. This study will contribute to find the methods for constructing RDA application profiles and BIBFRAME application profiles with RDA as content standard.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.32 no.4B
• /
• pp.221-232
• /
• 2012

In this study, the model enhancing the safety of reservoirs and reducing the downstream flood damage by reservoirs system operation during abnormal flood was developed. Linear programming was used for the optimal reservoirs system operation during an abnormal flood and fuzzy inference system was introduced to solve the uncertainty problem which is included in hydrological factors like inflow, water level and inflow variation of reservoir operation. The linear programming model determined the optimal reservoir system operation rules and could be used in situation where water demands varies rapidly during the abnormal flood events using fuzzy control technique. In this study, the optimal reservoirs system operation for Andong and Imha reservoirs located in the upper basin of Nakdong river was performed in order that the design flood discharge at Andong city would not be exceeded for the design flood of 100 year and PMF(Probable Maximum Flood). And the model that determines the release according to the downstream flow discharge, the reservoir storage, the inflow and the inflow variation of each reservoir was developed using the optimal system operation result and fuzzy control technique. The developed model consisted of 224 fuzzy rules according to the conditions of Andong reservoir, Imha reservoir and Andong city. And the release from each reservoir could be determined when the current data are used as input data through the developed GUI.