• The KIPS Transactions:PartA
• /
• v.17A no.1
• /
• pp.9-18
• /
• 2010

Races that occur in shared-memory parallel programs such as OpenMP programs must be detected for debugging because of causing unintended non-deterministic results. Previous works which verify the existence of these races on-the-fly are limited to the programs without internal non-determinism. But in the programs with internal non-determinism, such works need at least N! execution instances for each critical section to verify the existence of races, where N is the degree of maximum parallelism. This paper presents a preprocessor that statically analyzes the locations of non-deterministic accesses using program slicing and can detect apparent races as well as potential races through single execution using the analyzed information. The suggested tool can deterministically monitor non-deterministic accesses to occur in OpenMP programs so that this tool can verify the existence of races even if it is used any race detection protocol which can apply to programs with critical section. To prove empirically this tool, we have experimented using a set of benchmark programs such as synthetic programs that involve non-deterministic accesses, OpenMP Microbenchmark, NAS Parallel Benchmark, and OpenMP application programs.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.948-953
• /
• 2011

In AC railway feeding system, three phase received from the network is changed to two phase power sources with different phases. The main circuit breaker installed train is automatically open by track signal when the train passes the neutral section. In order to continuously supply power source to train, the changeover system was used in Japan. Therefore, the train is able to operate under powering condition when it was passing through the neutral section. We investigated the control method to reduce the inrush current flowing main transformer in train. To examine the inrush current and operate the static semiconductor switch such as thyristor, we manufactured the small scale the changeover system and carried out performance tests.

• Journal of Advanced Marine Engineering and Technology
• /
• v.25 no.5
• /
• pp.1037-1049
• /
• 2001

Considerable interest has evolved in the flow of non-Newtonian fluids in channels of noncircular cross section in compact heat exchanges. Analytical solution was developed for prediction of the flow rate and maximum velocity in steady laminar flow of any incompressible, time-independent non-Newtonian fluids in straight closed and open channels of arbitrary, but axially unchanging cross section. The geometric parameters and function of shear describing the behavior of the fluid model were evaluated for fluid flow among a bundle of rods arranged in triangular and square array. Numerical values of dimensionless maximum velocities, mean velocities, pressure-drop-flow parameters and friction factors were evaluated as a function of porosity and pitch-to-radius ratio.

• Journal of the Korean Society of Safety
• /
• v.21 no.3 s.75
• /
• pp.94-100
• /
• 2006

The goal of this study is to show the way to increase the safety of deteriorated PSC beam bridges by the to-box reinforcing method. This method is to change the open girder section into the closed box section by connecting bottom flanges of neighboring PSC girders with the precast panels embedding PS tendons at the anchor block. The box section is composed of three concrete members with different casting ages, RC slab, PSC beam, precast panel. This different aging requires a time-dependent analysis considering construction sequences. Reliability index and failure probability are produced by the AFOSM reliability analysis. Transversely five schemes and longitudinally two schemes are considered. The full reinforcing scheme, transversely and longitudinally, shows the highest reliability index, but it requires more cost for retrofit. The partial reinforcing scheme 4, 4-1 are recommended in this study as the economically best scheme.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.19 no.4
• /
• pp.24-29
• /
• 2011

Conceptual study of an open-circuit type low-speed wind tunnel for performance test of wind turbine blade and airfoil is conducted. The tunnel is constituted of a settling chamber, a contraction, closed test section, a diffuser, two corners, a cross leg and a fan and motor. For the performance test, the closed test section width of 1.8 m, height of 1.8 m and length of 5.25 m is selected. The contraction ratio is 9 to 1 and maximum speed in the test section is 67 m/sec. Input power in the tunnel is about 238 kW and its energy ratio is 3.6. The wind tunnel designed in present study will be an effective tool in research and development of wind turbine and airfoil.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2011.10a
• /
• pp.130-135
• /
• 2011

A study of the bending-extension-transverse shear coupled random response of the composite beams with thin-walled open sections subjected to various types of concentrated and distributed random excitations is dealt with in this paper. First of all, equations of motion of thin-walled composite H-type cross-section beams incorporating a number of nonclassical effects of transverse shear and primary and secondary warping, and anisotropy of constituent materials are derived. On the basis of derived equations of motion, analytical expressions for the displacement response of the composite beams are derived by using normal mode method combined with frequency response function method.

• Korean Journal of English Language and Linguistics
• /
• v.2 no.2
• /
• pp.161-183
• /
• 2002

This paper deals with the telicity variability on the point of Pustejovsky's (2000) event structures. Accomplishments and achievements have been known to show the telicity. According to Hay, Kennedy, and Levin (1999), however, open-range predicate in degree achievements, which do not show telicity, can show telicity in certain context. In order to explain this kind of telicity variability systematically, I will discuss Pustejovsky's (1995) Generative Lexicon Theory and the co-composition generative mechanism in section 2. In section 3, I will discuss Hay, Kennedy, and Levin's (1999) telicity variability and Lee Chungmin's (2000) modified extended lexical structure. In section 4, I will introduce Pustejovsky's (2000) event structures and modify them a little. And I will argue that the modified event structures can explain the telicity variability with the co-composition generative mechanism efficiently.

• Journal of Families and Better Life
• /
• v.21 no.4
• /
• pp.23-39
• /
• 2003

The 18 housewife education experts and managers suggested various elements about the fundamental issues about the housewife education through the open-end questionnaire. In this review we first examine the education's proper direction over the three dimensions of housewife herself, family and society. In the second section, we explore the contents and the specific programs of the education. In the third section, we discuss about the various aspects of program development and operation, for example, the time schedule, program operator or lecturer, and curriculum design. In particular, all the experts and managers emphasizes the needs of housewives and tole of reproduced lecturer. In the last section, we revisit the strategies to vitalize the housewife education. They stressed the proper subjects, the encouraging methods to improve the participation rate and the government support.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.2
• /
• pp.425-431
• /
• 2012

In the case of outdoor moving of robot, it is differ to indoor moving case due to it cannot prepare map early for entire outdoor environments, there is nearly no research based on map because most outdoor robots use GPS. In this paper, we implement outdoor robot localization that using precision GPS and then GPS data applying MCL algorithm in outdoor environments of plane of 2 dimensional without incline section. We also perform a simple mission scenario by using applied robot localization in outdoor robot. We applying OpenRTM based on middleware, we can be controlled and grasped situation of the outdoor robot by remote through server by manager.

• Journal of the Society of Naval Architects of Korea
• /
• v.39 no.3
• /
• pp.8-17
• /
• 2002

In this paper, the computational analysis of open-water characteristics for three model propellers(P4119, P4842 and 3 podded propeller of KRISO) is done by using a viscous-flow method based on Reynolds-Averaged Navier-Stokes equations. The results are presented for open-water performances, blade-section pressures, and circumferentially-averaged velocity profiles for the all three propeller models. Overall close agreements with available experimental data are shown. However, some discrepancies are also found in the pressure near the leading edge of the propeller blade and the open-water performance of the podded propellers.