• 대한산업공학회지
• /
• 제35권4호
• /
• pp.266-279
• /
• 2009

This paper focuses on the problem of scheduling wafer lots with limited waiting times between pairs of consecutive operations in a semiconductor wafer fabrication facility. For the problem of minimizing total tardiness of orders, we develop a priority rule based scheduling method in which a scheduling decision for an operation is made based on the states of workstations for the operation and its successor or predecessor operation. To evaluate performance of the suggested scheduling method, we perform simulation experiments using real factory data as well as randomly generated data sets. Results of the simulation experiments show that the suggested method performs better than a method suggested in other research and the one that has been used in practice.

• 한국구조물진단유지관리공학회 논문집
• /
• 제5권4호
• /
• pp.161-167
• /
• 2001

By means of analyzing the problems in monitoring plan, design, installation, operation based on maintenance monitoring system installed in subway tunnel section, the improved methods of were proposed for applying to subway monitoring maintenance effectively in the future. The choice of the better monitoring system, the operating method of monitoring system, the confidence and continuity of maintenance monitoring, the performance of responsible monitoring supervision in the phase of the planning of monitoring and design were proposed. The problem and developed plan in the different monitoring systems, the calibration and correction of monitoring system, the analysis for the results and plan for maintenance in the phase of installation of monitoring system and operation were also proposed.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1993년도 하계학술대회 논문집 A
• /
• pp.489-491
• /
• 1993

Many optimization problem or multiple attribute, multiple alternative decision making problem may have fuzzy evaluation factors. In this case, fuzzy number operation technique is needed to evaluate and compare object functions which become fuzzy sets. Generally, fuzzy number operations can be defined by extension principle of fuzzy set theory, but it is tedious to do fuzzy number operations by using extension principle when the membership functions are defined by complex functions. Many fast methods which approximate the membership functions such as triangle, trapezoidal, or L-R type functions are proposed. In this paper, a fast fuzzy number operation method is proposed which do not simplify the membership functions of fuzzy numbers.

• International Journal of Computer Science & Network Security
• /
• 제24권4호
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• Journal of Electrical Engineering and Technology
• /
• 제6권2호
• /
• pp.284-292
• /
• 2011

This paper presents a load-shedding scheme using the Talmud rule in islanded microgrid operation based on a multiagent system. Load shedding is an intentional load reduction to meet a power balance between supply and demand when supply shortages occur. The Talmud rule originating from the Talmud literature has been used in bankruptcy problems of finance, economics, and communications. This paper approaches the load-shedding problem as a bankruptcy problem. A load-shedding scheme is mathematically expressed based on the Talmud rule. For experiment of this approach, a multiagent system is constructed to operate test islanded microgrids autonomously. The suggested load-shedding scheme is tested on the test islanded microgrids based on the multiagent system. Results of the tests are discussed.

• 한국경영과학회지
• /
• 제33권2호
• /
• pp.75-86
• /
• 2008

A remarshalling is one of the operational strategies considered importantly at a port container terminal for the fast ship operations and heighten efficiency of slacking yard. The remarshalling rearranges the containers scattered at a yard block in order to reduce the transfer time and the rehandling time of container handling equipments. This Paper deals with the rearrangement problem, which decides to where containers are transported considering time value of each operations. We propose the mixed integer programming model minimizing the weighted total operation cost. This model is a NP-hard problem. Therefore we develope the heuristic algorithm for rearrangement problem to real world adaption. We compare the heuristic algorithm with the optimum model in terms of the computation times and total cost. For the sensitivity analysis of configuration of storage and cost weight, a variety of scenarios are experimented.

• 한국연소학회지
• /
• 제22권4호
• /
• pp.35-42
• /
• 2017

This case covers the issues related to the operation problem, cause analysis and improvement cases of the FGD that employed the non-leakage type GGH in coal-fired power plant for the first time in Korea. In the Cooler, there was a main problem that the tube is damaged by the ash cutting due to the high velocity of flue gas in the duct and by the weak wear resistance of material. In the Reheater, there was a main problem that the tube was corroded due to chlorine and sulfur in the circumstance of the low temperature. In order to solve those problems, we have improved the Reheater tube and tube fins by coating enamel to reduce corrosion rate.

• 한국경영과학회지
• /
• 제19권1호
• /
• pp.17-40
• /
• 1994

The objectives of this paper are to apply fuzzy cognitive map (FCM)- related techniques to (1) extract causal knowledge from a specific problem-domain and (2) perform a series of causal analysis in complicated decision making area. We propose a set operation-based augmentation (SOBA) algorithm to combine multiple FCMs developed by multiple experts. Based on the SOBA knowledge acquisition algorithm, we can obtain a causal knowledge base fairly representing multiple experts' knowledge about a problem domain. The causal knowledge base built by SOBA algorithm can be described as a matrix form, guaranteeing mathematically compact operation compared with a production (if-then) knowledge base. We applied out method to stock market analysis problem whichis a typical of highly unstructured problems in OR/MS fields.

• 산업공학
• /
• 제20권1호
• /
• pp.58-68
• /
• 2007

This research deals with a vehicle scheduling problem for the sludge collection strategies which might be solved via quantitative analysis and cost evaluations schemes. This problem can be modeled as a kind of capacitated vehicle routing pick-up problems. With the aim of establishing operation schedule of vehicles and analyzing the total cost under considering various assumptions and realistic restrictions of the sludge collection problem, we propose a heuristic method based on the genetic algorithm in conjunction with the sweep algorithm and the 4-opt algorithm. Finally, we present the cost effective operation schedule that can be used as the managing tool for the sludge treatment plant of the multi-purpose dam.

• 조명전기설비학회논문지
• /
• 제23권11호
• /
• pp.61-68
• /
• 2009

A Microgrid is a private small-scale power system composed of distributed energy resources (DERs), storage devices and loads. And it is expected that the Microgrid will come into wide use in the near future. For this, the establishment of the Microgrid operation methodology is a very important problem. Especially, the Microgrid is greatly different from existing private small-scale power systems because of the multiple participants. Therefore, the Microgrid operation considered various requirements according to multiple participants is more complicated than the operation of existing private small-scale power systems. In this paper, Microgrid operation methodology based on a market environment is suggested. Through case studies, the effectiveness of the suggested methodology is verified.