• Proceedings of the KSME Conference
• /
• 2004.11a
• /
• pp.1294-1299
• /
• 2004

Transient radiative heat transfer is analyzed in a one-dimensional slab using finite volume method (FVM). In this study, the step, $2^{nd}$ order upwind, and QUICK schemes are used for incident diffuse radiation and collimated beam, respectively. The results for diffuse radiation show that all schemes applied in this study give good agreements with available published results. In case of collimated beam, however, the results show deviations from the analytical solutions. To successfully describe the propagations of collimated beam, shock capturing schemes such as TVD scheme are need to be developed.

• The Korean Journal of Rheology
• /
• v.8 no.2
• /
• pp.78-91
• /
• 1996

단섬유 보강 플라스틱 복합재료에 사출성형에서 섬유배향은 금형 충전 공정 중의 유동장에 의해 결정되고 섬유의 배향 상태는 역으로 유동장에 영향을 미친다. 단섬유에 의 한 추가적인 응력을 포함하는 Dinh과 Armstrong의 이방성 구성방정식을 충전유동과 섬유 배향의 연계해석에 도입하였다. 충전유동의 해석은 새로운 압력 지배방정식과 에너지 방정 식을 유한요소법과 유한차분법을 이용하여 풀고 동시에 2차 배향 텐서의 변화방정식을 4차 Runge-kutta 방법으로 풀었다. 섬유의 배향상태를 구한 후에 일방향성 복합재료의 Halpin-Tsai 식과 배향 평균모델을 도입하여 사풀성형품의 이방성 기계적 성질이 예측되었 다. 직사각형 캐비티에서 수치해석결과를 실험결과와 비교하였다. 섬유배향과 유동과의 상호 연계작용을 특히 게이트 근처에서 섬유배향에 영향을 미치며 수치해석 결과는 벽면 근처에 서 유동방향으로 배향하는 shell층을 과대 예측함을 알수 있었는데 이는 배향 텐서 변화 방 정식의 최종근사에서 기인하는 오차로 판단된다. 수정된 복합최종 근사를 바탕으로 예측된 이방성 기계적 성질이 기존의 복합최종 근사에 기초한 예측보다 실험 결과에 정량적으로 보 다 잘 일치하였다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.5
• /
• pp.1383-1391
• /
• 1996

The steady-state response for a coupled structure-acoustic-cavity systme has been investigated by numerical technique using a directly coupled finite element method(FEM) and Boundary Element Method(BEM) model. The Laplace tranformed matrix equations for the structure and the acoustic cavity are coupled directly satisfying the necessary equilibrium and compatibility conditions. The coupled FEM-BEM code is verified by comparing its prediction for an example with known analytical, numerical and experimental results. The example involves a coupled structure-acoustic-cavity system which is a box-type cavity with one end as experimentally excited pinned-pinned plate.

• Journal of Power System Engineering
• /
• v.4 no.4
• /
• pp.16-24
• /
• 2000

고체내의 열에너지의 전달을 분석하기 위하여 고전적인 Fourier 열전도 법칙과 에너지 보존식에서 유도되는 열전도 방정식을 사용해 왔다. 이러한 열전도 방정식은 열전도가 무한한 속도로 진행된다는 것을 의미하고 있다. 그러나 극저온상태에서나 매우 급속한 열전도과정 중 매우 짧은 시간의 상태에서 non-Fourier 모델에 기초를 둔 쌍곡선형 열전도 방정식이 도입되었다. 최근의 이에 관한 연구에서 열전도가 파장의 형태로 유한한 전파속도를 갖는다는 것이 실험적으로 증명되었고 이로부터 여러 가지 실험적인 해석과 이론 해석이 전개되었다. 본 논문에서는 열전파 속도의 유한한 성질을 나타내는 수정된 열전도 법칙을 이용하여 1차원 평판에 대하여 공간에 대한 finite Fourier 변환 방법과 Green 함수 방법으로 해석하여 열전도파의 파동 성질, 공진 현상 및 위상차를 고찰하고자 한다. 열전도파가 갖는 모달 주파수에 대해 임계값을 갖으며 이 임계값을 초과할 때 공진 현상과 위상차를 고찰할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1071-1074
• /
• 2004

최대길이를 갖는 선형유한상태기계(LFSM)가 패턴생성, 신호분석, 암호, 오류정정 부호에 응용되면서 n차 원시다항식을 특성다항식으로 갖는 선형유한상태기계에 관한 연구가 활발하게 이루어지고 있다. 본 논문은 최대길이를 갖는 다양한 셀룰라 오토마타의 효과적인 생성방법을 제안한다. 특성다항식이 n 차 원시다항식인 선형 MLCA로부터 유도된 여원 CA가 MLCA임을 밝히며 여원 MLCA의 여러 가지 성질들을 분석한다. 또한 n-셀 MLCA를 ${\phi}(2^n-1)2^{n+1}/n$개 생성할 수 있음을 보인다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.13 no.3
• /
• pp.231-238
• /
• 1988

A new approach to the reachability analysis of communication protocols is presented using a modified maximal progress state exploation for two communicating finite state machines. The task of generating all reachable states is divided into two independent subtasks. In each subtask, only the states which are reachable by forcing modified maximal progress sequence for one machine are generated. Modified maximal progress state exploration saves space and time over maximal progress state exploration.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.04a
• /
• pp.666-669
• /
• 1996

기계 부품 응력 해석 시 널리 쓰이는 유한 요소 해법은 형상을 작은 유한 요소로 근사화하는 과정이 필요하다. 유한 요소생성의자동화는 많은 기존 연구가 있었고 산업 현장에서도 실질적인 자동 유한 요소 생성의 혜택을 받고있다. 이러한 자동 유한 요소 생성 알고리즘들은 형상을 충실하게 유한 요소로 근사화 하는데 그목적이 있다. 때로는 이러한 충실성이 너무 많은 유한 요소들을 관심 영역이 아닌 곳에 생성하게 된다. 컴퓨터의 계산 능력이 눈부시게 발전하고 있지만 기술자가 다루고자 하는 기술적인 문제가 나날이 복잡해지고있는 상황에서 컴퓨터의 계산 능력에 너무 의존하는 것은 바람직하지 않다. 본 논문은 지능과 유사하게 미소 특징을 추출하고 이를 바탕으로 기하 형상 에서 미소 특징을 소거하는 알고리즘을 소개한다. 이를 활용하면 유한 요소의 수를 해석 결과에 악 영향을 미치지 않는 상태에서 줄일 수 있으며, 결과적으로 불필요한 계산비용을 절감할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1233-1236
• /
• 2004

보안 시스템에서 접근 통제 모델을 사용하는 가장 중요한 목적은 시스템 및 사용자에 대한 안정성을 보장하기 위해서이다. 본 논문에서 다루고 있는, SPR은 보안 시스템의 행위를 유한 상태 기계(FSM) 기반의 보안모델로 표현한 후, 보안 모델에 대한 초기 상태의 안전성을 검사하고 초기 상태에서 다음 상태로 전이가 존재할 경우에 그 상태들에 대응하는 모든 상태들에 대해서 보안기준을 만족하는지 검증하는 도구이다. 본 논문에서는 SPR를 사용하여 현재 많은 사람들이 이용하는 Windows 운영 체제의 NTFS에 기반을 둔 보안모델의 안전성을 검증하는 방법을 소개한다

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.5
• /
• pp.595-610
• /
• 1999

This paper presents a visual simulation tool for verification and validation(V&V) of design implications of the Object Behavior Chart developed in accordance with the existing real-time object's behavior design method. This tool can simulates the dynamic interactions using the executable simulation machine, that is EFSM(Extended Finite State Machine) and can detect various logical and temporal errors in the visual object behavior charts before a concrete implementation is made. For this, a LOTOS prototype specification is automatically generated from the visual Object Behavior Chart, and is translated into an EFSM. This system is implemented in Visual C++ version 4.2 and currently runs on PC Windows 95 environment. For simulation purpose, LOTOS was chosen because of it's excellence in specifying communication protocols. Our research contributes to the support tools for seamlessly integrating methodology-based graphical models and formal-based simulation techniques, and also contributes to the automated V&V of the Visual Models.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.9
• /
• pp.851-857
• /
• 2015

In this paper, we estimate the time-dependent C(t) integrals under elastic-plastic-creep conditions. Finite-element (FE) transient creep analyses have been performed for single-edge-notched-bend (SEB) specimens. We investigate the effect of the initial plasticity on the transient creep by systematically varying the magnitude of the initial step load. We consider both the same stress exponent and different stress exponents in the power-law creep and plasticity to elastic-plastic-creep behavior. To estimate the C(t) integrals, we compare the FE analysis results with those obtained using formulas. In this paper, we propose a modified equation to predict the C(t) integrals for the case of creep exponents that are different from the plastic exponent.