• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 추계학술대회
• /
• 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.

• 유변학
• /
• 제8권2호
• /
• pp.78-91
• /
• 1996

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

• 대한기계학회논문집A
• /
• 제20권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.

• 동력기계공학회지
• /
• 제4권4호
• /
• pp.16-24
• /
• 2000

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1071-1074
• /
• 2004

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

• 한국통신학회논문지
• /
• 제13권3호
• /
• pp.231-238
• /
• 1988

본 논문에서는 두개의유한 상태 통신 기계에 대한 통신 프로토콜을 검증할 수 있도록 수정된 maximal progress 상태 탐사 방법을 제안한다. 모든 도달 가능한 상태들을 생성하는 작업은 두개의 독립된 작업으로 구분하며, 각 작업에서는 어느 한 기계에 대한 도달 가능한 상태들을 수정된 maximal progress순서에 의해서 생성되도록 한다. 이러한 maximal progress 상태 탐사 방법은 기존의 maximal progress 상태 탐사 방법보다 더 적은 시간과 공간을 요구한다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 춘계학술대회 논문집
• /
• pp.666-669
• /
• 1996

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1233-1236
• /
• 2004

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

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권5호
• /
• pp.595-610
• /
• 1999

본 논문에서는 기존 실시간 객체행위 설계기법에 의해 개발된 객체행위챠트의 설계의미를 검증 확인하기 위한 시각적 시뮬레이션 도구를 제안한다. 이 도구의 특징은 실행 가능한 시뮬레이션 기계 즉, 확장된 유한상태기계 생성에 의한 객체들간의 동적인 상호작용을 시각적으로 시뮬레이션할 수 있게 하며, 실제 시스템 구현에 앞서 시각적 객체행위챠트에 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 하는 것이다. 이를 위해, 이 도구에서는 시각적 객체행위챠트로부터 LOTOS 정형명세를 자동으로 생성한 다음 그 명세를 확장된 유한상태기계로 변환한다. 이 도구는 Visual C++ 버전 4.2로 개발되었으며, 현재 PC 윈도우95 환경에서 수행된다. 그리고, 특별히 시뮬레이션을 위해 LOTOS 정형성을 이용하였는데, 이것은 LOTOS의 통신 프로토콜 표현력이 다른 정형언어들에 비해 우수성이 있기 때문이다. 본 연구는 방법론 기반 시각모델과 정형기법 기반 시뮬레이션 기술의 연결이라는 점과 시각모델의 자동화된 검증 확인 기술의 실현이라는 점에서 기여한다.

• 대한기계학회논문집A
• /
• 제39권9호
• /
• pp.851-857
• /
• 2015

본 논문에서는 탄성-소성-2 차 크리프 상태에서 시간의존적 C(t) 적분에 대해 평가하였다. Single- Edge-notched-Bend (SEB) 시편에 대해 유한요소 크리프 해석을 수행하였다. 천이 크리프에 대한 초기 소성의 영향을 연구하기 위해 다양한 초기 하중에 대해 고려하였다. 또한, 소성물성과 크리프 물성의 영향을 보기 위해 소성 경화 지수(m)과 크리프 지수(n)이 같은 경우와 다른 경우를 모두 고려하였다. 본 논문에서는 기존 식의 수정을 통해서 천이 크리프 상태에서의 C(t) 적분의 새로운 예측 식을 제시하였다. 유한요소해석 결과와 비교를 통해서 제시된 수식의 타당성을 검증하였고, 소성 경화 지수(m)과 크리프 지수(n)이 같은 경우에만 적용할 수 있는 기존 예측 식을 보완하여 m 과 n 이 다른 경우에도 천이 크리프 상태에서 C(t) 적분을 예측할 수 있는 식을 제시하였다.