• 호남수학학술지
• /
• 제32권2호
• /
• pp.217-226
• /
• 2010

Using the Bu$\c{s}$neag's model ([1, 2, 3]), the notion of pseudo-valuations (valuations) on a ${\mathbf{BCK/BCI}}$-algebra is introduced, and a pseudo-metric is induced by a pseudo-valuation on ${\mathbf{BCK/BCI}}$-algebras. Based on the notion of (pseudo) valuation, we show that the binary operation in ${\mathbf{BCK/BCI}}$-algebras is uniformly continuous.

• Nuclear Engineering and Technology
• /
• 제37권4호
• /
• pp.385-390
• /
• 2005

The effect of the Wolsong Tritium Removal Facility on the change of tritium concentration in the soil water was assessed by introducing a dynamic compartment model. For the mathematical modeling, the tritium in the environment was thought to come from two different sources. Three global tritium cycling models were compared with the natural background concentration. The dynamic compartment model was used to model the behavior of the tritium from the nuclear power plants at the Wolsong site. The source term for the dynamic compartment model was calculated with the dry and wet deposition rates. The area around the Wolsong nuclear power plants was represented by the compartments. The mechanisms considered in deriving the transfer coefficients between the compartments were evaporation, runoff, infiltration, hydrodynamic dispersion, and groundwater flow. We predicted what the change of the tritium concentration around the Wolsong nuclear power plants would be after future operation of the tritium removal facility to show the applicability of the model. The results showed that the operation of the tritium removal facility would reduce the tritium concentration in topsoil water quickly.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 추계학술대회 논문집
• /
• pp.1059-1061
• /
• 2002

A FE model is to develop a personalized biomechanical model of the scoliotic spine that will allow the design of clinical test providing optimal estimation of the post-operation results. A flexible multi-body model of the spine including rib cage, clavicle, and scapular was developed to simulate several mobility simulations. Vertebrae, clavicle and scapular were represented using rigid bodies and ribs and sternum were modeled as flexible bodies. Kinematical Joints and spring elements were used to represent the intervertebral disc and ligaments respectively. Postero-anterior and lateral radiographics of a scoliotic spine were used to represent a 3D reconstruction. CT data for same patient were also used to verify vertebrae rotation driven from postero-anterior and lateral radiographic images. Simulated results showed good reducibility almost uniformly distributed along the spinal segments. It was also found that boundary and loading conditions, required to mimic the operation procedures, were proven to be very sensitive parameters to its results rather than its mechanical properties

• Journal of Mechanical Science and Technology
• /
• 제17권11호
• /
• pp.1739-1745
• /
• 2003

The boiling heat transfer characteristics of two-phase closed thermosyphons with internal grooves are studied experimentally and a simple mathematical model is developed to predict the performance of such thermosyphons. The study focuses on the boiling heat transfer characteristics of a two-phase closed thermosyphons with copper tubes having 50, 60, 70, 80, 90 internal grooves. A two-phase closed thermosyphon with plain copper tube having the same inner and outer diameter as those of grooved tube is also tested for comparison. Methanol is used as working fluid. The effects of the number of grooves, the operating temperature, the heat flux are investigated experimentally. From these experimental results, a simple mathematical model is developed. In the present model, boiling of liquid pool in the evaporator is considered for the heat transfer mechanism of the thermosyphon. And also the effects of the number of grooves, the operating temperature, the heat flux are brought into consideration. A good agreement between the boiling heat transfer coefficient of the thermosyphon estimated from experimental results and the predictions from the present mathematical model is obtained. The experimental results show that the number of grooves and the amount of the working fluid are very important factors for the operation of thermosyphons. The two-phase closed thermosyphon with copper tubes having 60 internal grooves shows the best boiling heat transfer performance.

• 한국항해항만학회지
• /
• 제36권9호
• /
• pp.715-720
• /
• 2012

This paper is to introduce the development of a LCD monitor-based pilots' ship handling simulator installed in the office of Korea Maritime Pilots Association. This simulator is composed of hardware which includes working server array, operation PC, monitor array, rudder, thruster and telegraph peripheral devices, and software which includes ship mathematical model software, ship conning software, image supporting software and so on. In this simulator, MMG mathematical model is used to create thirteen(13) ship models, which are based on sea trial data & pilots' opinion. According to requirements of pilots, virtual scenes of different port areas are built, and some required additional functions are also developed. By using this simulator, pilots can fulfill all kinds of training exercises, design of channel approaching ports, traffic safety analysis, prevention of accident research and other tasks, so as to grasp the characteristics of different ships, and accumulate experience for piloting.

• 대한설비공학회:학술대회논문집
• /
• 대한설비공학회 2008년도 동계학술발표대회 논문집
• /
• pp.387-392
• /
• 2008

In order to improve the efficiency of the main transformer in a tilting train, the optimal operation of a cooling system is necessary. For the development of the optimal control algorithm of a cooling system, the mathematical model of a main transformer cooling system was developed. This includes the dynamic model of a main transformer, an oil pump, an oil cooler and a blower. The system algorithm of a cooling system, which consists of the temperature setpoint algorithm and the temperature control algorithm, was developed. Optimal oil temperatures of the inlet and the outlet of the main transformer were obtained by considering the total electric power consumption of the system. The oil inlet temperature was controlled by the blower and the oil outlet temperature was controlled by the oil pump. A simulation program was developed by using the mathematical model and the system algorithm. Simulation results showed that the system algorithm developed from this study may be effectively used to control the main transformer cooling system in a tilting train.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 정기총회 및 추계학술대회 논문집
• /
• pp.1241-1245
• /
• 2011

High RAM performance and efficient operation plan and maintenance equipment and policies are needed for improving the system availability performance such as punctuality and schedule adherence while reducing life cycle cost. Because railway systems are repairable, complex and have multi-echelon maintenance support structure, it is much complicated to set RAM performance targets and operation and maintenance plan. It is not easy to solve these problem by mathematical method and simulation can be consider for them. This article suggests the conceptual simulation model for analysing availability of railway system which has complex system structure and operation/maintenance environment.

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

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 1992년도 수공학연구발표회논문집
• /
• pp.479-489
• /
• 1992

A mathematical model for a long range water supply planning is develoted as a dynamic capacitated facility location problem, in which operation costs and two types of fixed costs are considered. The fixed costs are for water supply systems such as dams and reservoirs and for water conveyance systems of waterways or conduits from each water supply points. A Spreadsheet model is developed to support the efficiency of user interface and to implement a heuristic solution procedure. The proposed solution procedure utilizes SOLVER tool and it has been applied to a system with fictitious data but with reality and applicability in mind. As a result of the mathematical analysis, not only the most economic construction timings of surface water supply facilities and distribution systems but also the most economical water supply operating patterns are identified.

• 대한조선학회논문집
• /
• 제47권3호
• /
• pp.328-341
• /
• 2010

The authors adopt the Unmanned Undersea Vehicle(UUV), which has taken the shape of manta(Sohn et al. 2006). They call here it Manta-type Unmanned Undersea Test Vehicle(MUUTV). MUUTV is designed with the similar concept of UUV called Manta Test Vehicle(MTV), which was originally built by the Naval Undersea Warfare Center, USA(Lisiewicz and French 2000, Sirmalis et al. 2001, U.S. Navy 2004). The present study deals with evaluation of extreme motion of MUUTV at large attack angles. Extreme motion contains, for example, rising and depth change due to operation of hovering thrusters attached to MUUTV, lateral motion due to ocean current applied to MUUTV at low advance velocity, and so on. Numerical simulation technique has been utilized. The previous mathematical model on manoeuvring motion of MUUTV(Bae et al. 2009a) is basically adopted. Based on the results of present model experiment on extreme motion, the mathematical model is revised and supplemented in order to describe extreme motion. The hydrodynamic derivatives related to extreme motion are obtained from present model experiment and the other derivatives are referred to previous work(Bae et al. 2009a).