• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2301-2304
• /
• 2002

IT 산업의 발달로 조직의 자동화된 업무 흐름인 워크플로우에 대한 관심과 연구가 활발해지고 있다. 본 논문에서는 워크플로우 설계시 자주 사용되는 기본 구조를 개념적 설계와 수학적 해석이 가능한 EMFG(Extended Mark Flow Graph)로 표현하고 이를 이용하여 워크플로우를 모델링한다. 모델링된 EMFG로 도달가능트리를 구현하여 워크플로우의 수행완료 가능성과 논리적 오류의 존재 여부를 검증한다. 또한 논리적 오류가 발생할 경우에 이를 제거하는 방법을 제안하고 이를 통해 워크플로우의 정형적 설계와 동적 분석을 가능하게 한다.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 1998년도 공동 심포지엄 및 추계학술발표회
• /
• pp.123-126
• /
• 1998

We have conducted surface electrical resistivity surveys along with the electrical logging at Bookil-Myun, Chungwon-Goon, Choongchungbuk-Do to determine the depths of basement and water table, and for the purpose of preparing the basic input data for hydrogeologic model combined with GIS. A twenty lines of dipole-dipole array survey and a twenty-five stations of resistivity sounding were performed and ten holes were employed for electrical logging to cross check the surface data. A combined interpretation gave the quantitative information of the shallow geologic structure over the area and we constructed layers using the grid analysis of Arc/info. The constructed layers were turned out to be similar to the geologic structure confirmed from the drilling data and we concluded that the methodology adopted in this study would be applicable to hydrogeologic model setup as a tool of providing the basic input data.

• 대한전자공학회논문지
• /
• 제11권2호
• /
• pp.33-39
• /
• 1974

VNIC를 구성하는 방법으로서, 공통베이스접속회로의 베이스단자에 제어전압을 인가하는 방법을 제안하고 이것을 모델화한다. 단낙안정형은 제어압력을 입력전력에 종속하도록 함으로써 실현가능하며, 개방안정형은 입력전류에 종속인 출력전력에 비례하도록 함으로써 가능하다. 제안한 회로모델에 의하여, 회로를 구성하오 해석하여, 회로모델의 횡성기법의 타당성을 찾고, VNIC의 구성이론을 평이화하고자 한다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2007년도 추계 학술대회논문집
• /
• pp.157-161
• /
• 2007

The prediction of the safe separation of the external stores carried on military aircraft is an important task in the aerodynamic design area having the objective to define the operational, release envelopes. The major concern of this study is only safe jettison problem with ejections. This work consists of concept and some results for external store configurations. A Computational Fluid Dynamics technique is applied to calculate the aerodynamic forces. The FLUENT with an implicit Euler solver is used for the present simulations. The computational results are validated against the experimental data.

• Journal of Advanced Marine Engineering and Technology
• /
• 제24권3호
• /
• pp.13-19
• /
• 2000

In the present study, a program for predicting thermal performance of an air cooled condenser is illustrated. Heat transfer equations of single phase and two phase flow are formulated into the form that is convenient to incorporate the local analysis method. The resulting equations are solved by temperature and mass correction methods. Empirical equations for both side fluids are incorporated in the caculation procedures. In order to compare the calculation results, superheat temperature of steam are varied. The tube length of superheated zone, wall temperature, temperature profile along the tube and steam qualities are predicted.

• 대한기계학회논문집
• /
• 제18권4호
• /
• pp.946-957
• /
• 1994

In the steel industries, direct rolling process for production of strip from molten metal has been investigated to simplify processes, to minimize energy consumption, and to improve quality of the strip. In this study, two kinds of practicable scale cooling rollers are proposed. And heat transfer analysis of pool region and cooling roller considering flow of molten metal and roll rotation respectively using the finite element method are performed to obtain the proper initial condition and to observe cooling characteristics of cooling roller. From the results, variations of solidification final points and temperature distribution in roller are observed quantitatively according to roll rotation.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2006년도 정기 학술대회 논문집
• /
• pp.667-674
• /
• 2006

Dynamic analysis of the electrical transmission system including transmission towers and cables is carried out by a general purpose structural analysis computer program for examining the wind-resistance of the system The spectral representation method is introduced to generate dynamic wind loads by using the Kaimal's spectrum and the measured wind velocities from wind tunnel tests, respectively. The numerical simulation results show that the responses in the case of the measured wind velocities is slightly larger than those in the case of the code.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2005년도 제17회 한글 및 한국어 정보처리 학술대회
• /
• pp.105-111
• /
• 2005

정형적인 프로그래밍 언어에서는 언어를 기계적으로 해석하기 위해 입력의 구조적인 형태를 구축하는 파싱이 필수적인 과정으로 여겨진다. 기계에 기반 해서 개발된 프로그래밍 언어와 달리, 인간의 자유로운 의사소통을 위해 형성된 자연어는 특유의 다양성으로 인해 어휘, 구문, 의미 분석이 매우 어렵다. 반대로 자연어 구조 분석이 성공적으로 이루어지면 응용 시스템의 성능 향상에 상당한 기여를 할 것이라고 여겨지고, 이로 인해 끊임없이 자연어 처리, 특히 구문 분석에 많은 연구가 이루어지고 있다. 본 논문에서는 파싱에 사용되는 문법 전체를 말뭉치로부터 자동 구축하여 영역별 이식성 및 문법의 효율성을 도모했다. 또한 확률적 차트 파싱 기법과 immediate-head 파싱 모델을 적용하여 기존 파싱 시스템의 성능 향상을 시도했다. 세종 말뭉치를 이용한 파서의 성능은 각각 LP/LR 78.98%/79.55%로 나타났다.

• 한국광학회지
• /
• 제5권1호
• /
• pp.60-66
• /
• 1994

양영역 불안정형(Positive Branch Unstable) Nd:YAG 레이저 공진기를 모델링하여 공진기내의 TE$M_{00}$ 기본모우드의 waist에 대한 수치해석을 하였으며 이를 토대로 레이저 공진기를 설계 제작하였다. 레이저봉의 열렌즈 초점거리를 측정하였으며 이를 이용하여 빔 waist에서의 TE$M_{00}$ 모우드의 spot size에 대한 계산치와 실험치를 비교하였다. 그리고 고반복률로 발진하는 다중모우드(multimode)의 spot size를 측정하여 beam quality factor $M^2$을 산출하였다. 한편 불안정 공진기에서 얻어진 출력실험 결과를 Plane-Parallel 공진기의 경우에 비교하여 그 특성을 평가하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2004년도 춘계학술대회논문집
• /
• pp.948-951
• /
• 2004

This paper introduces the two recently developed checking techniques far missed eigenvalues of nonproportionally damped system. The first technique is based on the argument principle. On the other hand, the second one is based on Rombouts' algorithm and Gleyse's theorem, which has been known as the effective and well-proven method. In the paper, the main features of the two techniques are explained and their effectiveness is also investigated by considering a numerical example.