• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.3 no.2
• /
• pp.53-60
• /
• 2000

Organic brake materials are installed in the braking system of korean model combat vehicles. Since the binder resin is decomposed in high temperature region, it may possible to drop the friction force which makes the vehicle stop within the desired distance. This study analyses the braking performance of the brake materials in high temperature region by using the pin-on-disk type friction tester. It is observed radical drop of friction coefficients and rapid increase of wear amounts from the transition temperature. It is due to the formation of oxide layer on the friction surface.

• Journal of Mechanical Science and Technology
• /
• v.20 no.8
• /
• pp.1284-1291
• /
• 2006

Single phase pressure drops in micro tubes were investigated through an experimental measurement and a numerical simulation. Experimental Po was obtained in circular micro tubes with 87 and $118{\mu}m$ diameter with distilled water. Experiments were carried out in laminar flow region with varying the Re 15-450 for the $87{\mu}m$ diameter tubes and 60-1300 for the $118{\mu}m$ diameter tube. No early transition from laminar to turbulent flow was detected for the experimental range. The computational estimation of pressure drop in the $87{\mu}m$ diameter tube was performed with the aid of CFD software. Boundary conditions from experiments were used for the numerical simulation. The results of experimental and numerical studies showed a good agreement with the conventional macro theory.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.59 no.4
• /
• pp.351-357
• /
• 2010

In this paper, a vector control of the IPMSM drives for the next generation domestic high speed railway system is presented. The applied control method uses one pulse mode field weakening control in constant power region, and maximum torque control per ampere control in constant torque region considering current and voltage limits. An overmodulation control interval is inserted to improve the transient characteristics during transition period of the control modes. Simulation programs based on Matlab/Simulink are developed. Finally the designed system is verified by simulation and their characteristics are analyzed by the simulation results.

• Journal of the Korean Society for Precision Engineering
• /
• v.7 no.2
• /
• pp.113-123
• /
• 1990

To study deleterious effects of contaminants contained in lubricating systems, the effects of fine alumina particle concentration and size on the critical failure load, friction and wear characteristic were examined on boundary lubrication condition using the four ball machine. The following conclusions are deduced: The abrasive is found to cause a transition from mild wear to severe wear at less severe conditions than with clean oil. In mild wear region the friction and wear increase with particle size and concentration, but in severe wear region do not exhibit any definite trend. In relation to film thinckness there is a threshold of particle size beyond which the failure load no longer decreases with particle size.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.1
• /
• pp.84.3-84.3
• /
• 2019

We investigate 3D radiation-hydrodynamics (RHD) for surface convection of the solar-type low-mass stars (M = 0.8, 0.9, and 1.0 Msun). The outer convection zone (CZ) of low-mass stars is an extremely turbulent region composed of partly ionized compressible gases at high temperature. Particularly, the super-adiabatic layer (SAL), the top of the CZ is the transition region where the transport of energy changes drastically from convection to radiation. In order to accurately describe physical processes, a realistic treatment of radiation should be considered as well as convection. As a starting model, the initial stratification in the outer envelope calculated using the solar calibrations in the context of the standard stellar theory. When the numerical fluid becomes thermally relaxed, the thermodynamic structure of the steady-state turbulent flow was explicitly collected. In this presentation, we compared thermodynamic properties of turbulent convection of the solar-type low-mass stars.

• SUVANNABHUMI
• /
• v.7 no.2
• /
• pp.57-78
• /
• 2015

Southeast Asia has been a showcase for democratic transitions in the past 30 years. This paper proposes a conceptual lens for studying political shifts in the Southeast Asian region. The argumentative storyline follows two fundamental propositions about democratic transitions. My first proposition is that during democratic transitions, human phenomena arise on nested analytical layers namely the global arena, the state, prodemocracy movements, and individuals. Each layer is conventionally studied by international relations, political science, sociology, and psychology respectively. I propose a multidisciplinary lens that transverses all these analytical layers. A second proposition is that during political shifts, social conditions are historically-situated. Historicity is anchored on stages of democratization, namely the authoritarian regime, toppling the regime, power shift, state building, and nation building. This paper describes a 4 × 5 matrix (analytical layer × historical stage) that may guide a regional agenda on the empirical study of democratic transitions in the Southeast Asian region. It likewise gives examples of research findings in Philippine-based studies that have already begun to provide empirical data about segments of this research matrix.

• Journal of Astronomy and Space Sciences
• /
• v.40 no.4
• /
• pp.247-258
• /
• 2023

Studying the accretion phenomena provides a window into understanding most heavenly bodies, from the birth of stars to active galactic nuclei (AGN). We would adopt the effect of the radiation pressure, which reduces accretion rates (Ṁ), on the accretion phenomena. The Shakura-Sunyaev α-disk model of disk accretion is a good candidate theory of advection dominated accretion flow (ADAF). Reduction in the angular velocity leads to the suppression the disk luminosity and surface temperature, essentially indicating the transition of the standard accretion disk model from convection dominated accretion flow (CDAF) to ADAF.

• Korean Journal of Heritage: History & Science
• /
• v.40
• /
• pp.137-167
• /
• 2007

This paper is aimed to study the late Neolithic Age in North Korea in order to closely examine a transition process into the Bronze Age in the Korean peninsula. Thus, the pottery with lightning design was selected as target data. Since the pottery with lightning design is fundamental data that North Korea's archeologists have used for chronological recordings of the late Neolithic Age in the northwest region, the parallel relationship between the eastern and the western region was established with comparison of pottery with lightning design in the northeastern region. The examination focuses on data that cover the target region of the pottery with lightning design of the adjacent Southern Primorskii region including the counterpart of the northwestern and the northeastern region. As a result, some attribute analyses revealed that the pottery with lightning design was affected by the counterpart of the northwestern region near the Yalu River. Prior to genealogical and chronological recordings of the pottery with lightning design in the northeastern region, the pottery with lightning design in the northwestern region was recorded chronologically in order to examine its specific development process. Consequently, in the second period of the Neolithic Age, the pottery with lightning design in the northwestern region was assumed to have an impact on the counterpart in the northeastern region. The classification of the pottery with lightning design in the northeastern region shall be based on 4-period development. According to this classification, the pottery, which was found in the Tumen river basin, was thought to belong to the first period. The pottery went through genealogy differentiation in the second period and when entering into the third period, the pottery spread to inland of south Primorskii. The pottery was assumed to exist in the southern Primorskii region until the tip end (the fourth period) of the Neolithic Age. It is assumed that considering the fact that climate change led to the agriculture movement, Zaisanovka culture, i.e. the late Ne Neolithic Age, moved to the southern Primorskii region along the Tumen River basin.

• 한국전산유체공학회:학술대회논문집
• /
• 2009.11a
• /
• pp.65-70
• /
• 2009

In this paper a hybrid grid generation program for general 2-D region is introduced. The program is developed by using JAVA programming language, and it can be used either as an application program on a local computer or as an applet in the network environment. The hybrid grid system for a 2-D problem means a combination of triangular cells and quadrilateral cells, and it can offer both of the high flexibility of triangular cells and the high accuracy and efficiency of structured-type quadrilateral cells. To accommodate a quadrilateral-cell region and a triangular-cell region into one computational domain, it is importance to take good care of the interface between two different regions so that overall good grid quality can be maintained. In this research advancing layer method(ALM) augmented by elliptic smoothing method is used for the quadrilateral-cell region and advancing front method(AFM) is used for the triangular-cell region. A special treatment technique for the interface between those two regions is also developed. The interface treatment technique is basically to prevent the propagation of small cell size due to ALM method into the triangular region and maintain the smooth transition of cell-size scale between two different regions. By applying current technique high-quality hybrid grids for general 2-D regions can be easily generated, and typical grid generation results and flow solutions are demonstrated.