• International Journal of Computer Science & Network Security
• /
• v.24 no.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 the Korean Society of Combustion
• /
• v.22 no.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.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.4
• /
• pp.33-51
• /
• 1998

The industrial operation is one of the three basic modes of shipping operation with liner and Tramp operations. Industrial operators usually control vessels of their own or on a time charter to minimize the cost of shipping their cargoes. Such operations abound in shipping of bulk commodities, such as oil, chemicals and ores. This work is concerned with an operational optimization analysis of the fleet owned by a major oil company. a typical industrial operator. The operational optimization problem of the fleet of a major oil company is divided Into two phase problem. The front end corresponds to the optimization problem of the transportation of crude oil. product mix. and the distribution of product oil to comply with the demand of the market. The back end tackles the scheduling optimization problem of the fleet to meet the seaborne transportation demand derived from the front end. A case study reflecting the practices of an international major oil company is demonstrated to make clear the underlying ideas.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.30 no.8 s.251
• /
• pp.756-763
• /
• 2006

PEMFC has several technical problems such as water management, long term stability and performance degradation as. PEMFC has been studied not only to solve water management, but also to generate power in stable manner to system by using a hybrid system with auxiliary energy storage device. The purpose of this study is to couple PEMFC with supercapacitor to make a hybrid system and to design and test control strategies for stable power generation in case of changing output power. The polarization curve and dynamic behaviors while changing power were investigated to find out characteristics of PEMFC stack. A DC/DC converter was fabricated in order to increase fuel cell and supercapacitor voltage and to charge supercapacitor. We found that the operation strategy 2 was recommended to the system because of solving water management problem and increasing the dynamic behavior.

• East Asian mathematical journal
• /
• v.31 no.2
• /
• pp.211-244
• /
• 2015

The arithmetic operation have double-sided character. One is calculation as a process, the other is understanding in results as an outcome of the operation. We harbored suspicion on students' misunderstanding in an outcome of the operation, because the curriculum has focused on the calculation, as a process of arithmetic operation. This study starts with the presentation of this problem, we tried to find the recognition ability and character in the arithmetic operation. We researched the recognition ability for 7th grade 27 students who have enough experience in arithmetic operation when studying in elementary school. And we had an interview with 3students individually, that has an error in understanding in results of arithmetic operation but has no error in calculation. We focused on 3students' detailed appearance of the ability to understand in results of arithmetic operation and analysed the changing appearance after recommending unit record using operation expression. As a result, we could find the abily to underatanding in results of arithmetic operation and applicability to recommend unit record using operation expression. Through these results, we suggested educational implications in understanding in results of arithmetic operation.

• Journal of Power Electronics
• /
• v.14 no.2
• /
• pp.249-256
• /
• 2014

A novel topology generation method for the no dead-time three-phase AC/DC converter is proposed in this study. With this method, a series of no dead time topologies are generated and their operation principles are analyzed. The classic three-phase bridge AC/DC converter can realize a bidirectional operation. However, dead-time should be inserted in the driving signals to avoid the shoot-through problem, which would cause additional harmonics. Compared with the bridge topology, the proposed topologies lack the shoot-through problem. Thus, dead time can be avoided. All of the no dead time three-phase AC/DC converters can realize bidirectional operation. The operating principles of the converters are analyzed in detail, and the corresponding control strategies are discussed. Comparisons of waveform distortion and efficiency among the converters are provided. Finally, 9 KW DSP-based principle prototypes are established and tested. Simulation and experimental results verify the theoretical analysis.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.33 no.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.

• Proceedings of the KIEE Conference
• /
• 2002.11b
• /
• pp.29-31
• /
• 2002

Purpose of the 765kV trial operation conducted for the first time in our country are performance verification of domestic developed equipment(765kV M.Tr, GIS,etc) and extraction of problem in advance to commercial operation and cultivation of operation ability. The trial operation of 765kV substation was finished successfully under the positive supports of institutes. manufactures. and constructers. It is expected that extraction of problems in advance and accumulation of operation techniques through the trial operation of 765kV substation will be contributed largly to the realization of the without a hitch operation of 765kV system.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.12
• /
• pp.1498-1506
• /
• 1999

In this paper, a hybridization of Evolutionary Strategy (ES) and a Two-Phase Neural Network(TPNN) is applied to the optimal environmental and economic operation. As the evolutionary computation, ES is to search for the global optimum based on natural selection and genetics but it shows a defect of reducing the convergence rate in the latter part of search, and often does not search the exact solution. Also, neural network theory as a local search technique can be used to search a more exact solution. But it also has the defect that a solution frequently sticks to the local region. So, new algorithm is presented as hybrid methods by combining merits of two methods. The hybrid algorithm has been tested on Emission Constrained Economic Dispatch (ECED) problem and Weighted Emission Economic Dispatch (WEED) problem for optimal environmental and economic operation. The result indicated that the hybrid approach can outperform the other computational efficiency and accuracy.

• ETRI Journal
• /
• v.37 no.3
• /
• pp.637-645
• /
• 2015

Common-mode noise (CMN) is an unresolved problem in wireless capsule endoscopy (WCE) systems. In a WCE system, CMN originates from various electric currents found within the human body or external interference sources and causes critical demodulation performance degradation. The differential operation, a typical method for the removal of CMN rejection, can remove CMN by subtracting two signals simultaneously received by two reception sensors attached to a human body. However, when there is impedance mismatching between the two reception sensors, the differential operation method cannot completely remove CMN. Therefore, to overcome this problem, we propose an enhanced CMN rejection method. The proposed method performs not only subtraction but also addition between two received signals. Then a CMN ratio can be estimated by sufficient accumulation of division operation outcomes between the subtraction and addition outputs during the guard period. Finally, we can reject the residual CMN by combining the subtraction and addition outputs.