• Journal of Navigation and Port Research
• /
• v.32 no.1
• /
• pp.9-14
• /
• 2008

VOF method is known as one of the most effective numerical techniques handling two-fluid domains of different density simultaneously. Present study deals with the numerical analysis of flow field around bodies steadily moving near free-surface using FLUENT-VOF method. Validations were made by applying to three typical examples ; 2-D submerged hydrofoil, 3-D surface piercing body and container ship. It was found that the commercial software, FLUENT, is useful in practical use, and VOF method is capable of handling free-surface around moving bodies although discussions are limited to the analysis in qualitative sense.

• Journal of the Korean Society for Library and Information Science
• /
• v.44 no.2
• /
• pp.263-283
• /
• 2010

Free Use License is an effective means of allowing many people to freely use works in the public domain. It can also prevent copyright infringement problems. This article analyzes the current service and domestic and foreign technology as it applies to free use license. It then proposes a plan which incorporates diverse requirements including technical aspects. Strategies are formulated from the technical, service and the resources connection perspectives for applying license in addition to searching and using licensed works. This article suggests a three-stage utilization plan to encourage the use of free use license. First, a connection plan between digital archiving and free use license, is developed. Then, a connection plan between UCI identifier and free use license is developed, and finally, the plan for the use of public resources is presented.

• Journal of Advanced Navigation Technology
• /
• v.15 no.6
• /
• pp.977-985
• /
• 2011

Airborne separation assurance is a key requirement for Free Flight Airspace operations, This paper study the feasibility of airborne separation assurance for free flight Airspaces operations by evaluating the efficiency measurement models. Three qualitatively different methods are utilized; one based Ground and Air conflict probability model, other based Dynamic Density model. the other based Direct operating cost model. The evaluation is Direct Operating Cost model and Two metrics are utilized for the efficiency measurements; airborne separation assurance performed quite well in the Free Flight evaluation; (1) 2 scenario of the conflict situations are resolved; (2) The MD-80 flight peformed separation assurance and efficiency, Not only appling for geometric method algorithm is more efficiently than potential method, but also the most efficiently geometric combined method.

• Journal of the Korea Convergence Society
• /
• v.7 no.5
• /
• pp.175-180
• /
• 2016

The demand for accurate freeform apsheric surface is increasing to satisfy the optical performance. In this paper, we develop the algorithm for opto-mechatronics convergence, that reconstruct the surface 3D profiles from the curvarure data along two orthogonal directions. A synthetic freeform surface with 8.4 m diameter was simulated for the testing. The simulation results show that the reconstruction error is 0.065 nm PV(Peak-to-valley) and 0.013 nm RMS(Root mean square) residual difference. Finally the sensitivity to noise is diagnosed for probe position error, the simulation results proving that the suggested method is robust to position error.

• Journal of Ocean Engineering and Technology
• /
• v.20 no.5 s.72
• /
• pp.57-62
• /
• 2006

The most important thing in acontainer terminal is to handle the cargo effectively in the limited time available. To achieve this objective, many strategies have been introduced and applied. To create an automated container terminal, it is necessary for the cargo handling equipment to be equipped with more intelligent control systems. From the middle of the 1990's, automated rail-mounted gantry cranes (RMGC) and rubber-tired gantry cranes (RTG) have been widely used to handle containers in yards. Recently, many pieces of equipment, like CCD cameras and sensors, have beenmounted in these cranes to cope with the automated terminal environment. In this paper, we try to support the development of more intelligent automated cranes, which allow for more effective cargo handling in yards. For this purpose, the modeling, tracking control, anti-sway system design, skew motion suppressing, and complicated motion control and suppressing problems must be considered. Especially, in this paper, the system modeling and a new tracking control approach are discussed, and an experimental study is performed based on a two-degree-of-freedom (2DOF) servosystem design.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.38 no.1
• /
• pp.14-26
• /
• 2001

This paper presents an LMI(Lincar Matrix Inequalities) method for designing the optimal decoupling controller. The proposed controller based on the Two Degree-of-Freedom configuration considers both the performance of controller and decoupling properties. A minimal set of assumptions for existence of the decoupling controller formula is described in the state space formulas. The decoupling controller parameters are obtained from LMI methods for computational efficiency.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.45 no.4
• /
• pp.22-31
• /
• 2008

In this paper, we propose a new approach for efficient multiview stereo matching and virtual view generation, which are key technologies for 3DTV. We propose semi N-view & N-depth framework to estimate disparity maps efficiently and correctly. This framework reduces the redundancy on disparity estimation by using the information of neighboring views. The proposed method provides a user 2D/3D freeview video, and the user can select 2D/3D modes of freeview video. Experimental results show that the proposed method yields the accurate disparity maps and the synthesized novel view is satisfactory enough to provide user seamless freeview videos.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.26 no.1
• /
• pp.16-22
• /
• 2016

The research on two-wheeled inverted pendulum (TWIP) mobile robots has been ongoing in a number of robotic laboratories around the world. In this paper, we consider a robust controller design for the TWIP mobile robot driving on uniform slopes. We use a 2 degree-of-freedom (DOF) model which is obtained by restricting the spinning motion in a 3 DOF motion dynamic equation. In order to design the robust controller guaranteeing stability of the TWIP mobile robot driving on inclined surface, we propose a sliding mode control based on the theory of variable structure systems and design a sliding surface using the theory of the linear quadratic regulation (LQR). For simulation, the dynamic model of the TWIP mobile robot is constructed using Mathworks' Simulink and the sliding mode control is also implemented using Simulink. From simulation results, we show that the proposed controller effectively controls the TWIP mobile robot driving on slopes.

• Journal of the Korean Chemical Society
• /
• v.10 no.2
• /
• pp.91-97
• /
• 1966

The partition function for liquid water is developed according to the transient state theory of significant liquid structure proposed by Pak, Ahn and Chang. This theory assumes that the molecules may possess solid-like, transient and gas-like degrees of freedom in liquid state. Although liquid water has several special properties, for example, minimum molar volume at 4^{\circ}C$, the general theory of liquid can be applied successfully. The theoretically calculated values for thermodynamic properties at the liquid temperature range and for the critical properties are in good agreement with the observed values.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.135-165
• /
• 2010

In this paper, I explore Turner's argument against libertarianism. He claims that libertarians can't be compatible with naturalism, without abandoning the Consequence Argument. In order to support this claim, he proposes the Supervenience Argument. According to him, the Supervenience Argument can't be rejected without abandoning either the Consequence Argument or naturalism. But I show that libertarians don't have to accept his Supervenience Argument, even though they stick to the Consequence Argument, and that even though they accept his Supervenience Argument, they don't have to abandon the freedom of agent. For these reasons, I conclude that Turner's argument against libertarianism turns out a failure.