• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.9-18
• /
• 2010

OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• 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
• /
• 제25권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.

• 한국안전학회지
• /
• 제21권3호
• /
• 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.

• 한국항공운항학회지
• /
• 제19권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.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2011년도 추계학술대회 논문집
• /
• 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.

• 한국영어학회지:영어학
• /
• 제2권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.

• 가정과삶의질연구
• /
• 제21권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.

• 한국전자통신학회논문지
• /
• 제7권2호
• /
• pp.425-431
• /
• 2012

로봇의 실외 주행의 경우 실내 주행과 달리 실외 환경 전체에 대한 지도를 미리 작성할 수 없어 대부분 GPS를 이용하고 있으며 지도에 기반한 연구는 거의 없는 상황이다. 본 논문에서는 경사 구간이 없는 2차원 평면의 실외환경에서 정밀 GPS를 사용하여 GPS 데이터를 MCL 알고리즘에 적용하여 실외 로봇 위치 추정을 구현하고, 이를 적용하여 간단한 임무 시나리오를 수행하였다. 그리고 미들웨어 기반의 OpenRTM을 적용하여 관리자가 서버를 통해 원격으로 로봇을 제어하거나 상황을 관제할 수 있도록 하였다.

• 대한조선학회논문집
• /
• 제39권3호
• /
• pp.8-17
• /
• 2002

RANS 방정식의 수치 해법을 사용해서 선박용 추진기 주의의 점성 유동을 계산함으로써 모형 프로펠러 3개(P4119, P4842, KRISO 포드 프로펠러)의 단독 성능을 해석하였다. 프로펠러 단독성능과 날개 압력 분포 그리고 프로펠러 근방의 평균 속도 분포에 대한 본 연구의 수치 해석 결과를 실험 결과와 비교하였으며, 대체로 두 결과가 서로 잘 일치하는 것이 확인되었다. 그러나, 프로펠러 날개 앞날의 압력과 포드 프로펠러의 단독 성능에 대한 본 연구의 결과는 실험 결과와 잘 맞지 않는 것으로 나타났다.