• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권4호
• /
• pp.535-546
• /
• 2005

We study on intuitive verification and rigor proof which are in geometry of Korean and Russian $7\~8$ grade's mathematics textbooks. We compare contents of mathematics textbooks of Korea and Russia laying stress on geometry. We extract 4 proposition explained in Korean mathematics textbooks by intuitive verification, analyze these verification method, and compare these with rigor proof in Russian mathematics textbooks.

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

안전 필수 시스템(Safety-critical system) 중 하나인 차량 전장용 운영체제의 엄밀한 검증을 위하여 모델 기반 테스트 생성기법들이 연구되어 왔다. 그러나 기존의 연구들은 이러한 차량 전장용 운영체제에서 빈번히 사용되는 주기적인 동작을 요하는 작업들에 대한 테스트 생성 문제를 해결하지 못하였다. 본 연구에서는 주기적 태스크의 검증을 지원하지 않았던 기존의 테스트 케이스 생성기에 알람 모델을 추가하여 보완하였다. 이를 통해 차량 전장용 운영체제의 검증에 있어서 주기적 태스크를 포함한 다양한 테스트 케이스를 생성할 수 있었고 차량 전장용 운영체제의 보다 엄밀한 검증이 가능해졌다.

• 한국전산유체공학회지
• /
• 제15권3호
• /
• pp.73-80
• /
• 2010

In this paper, we present the exact Riemann solver for the compressible liquid-gas two-phase shock tube problems. We hereby consider both isentropic and non-isentropic two-phase flows. The shock tube has a diaphragm in the mid-section which separates the liquid medium on the left and the gas medium on the right. By rupturing the diaphragm, various waves are observed on the phasic field variables such as pressure, density, temperature and void fraction in the form of rarefaction wave, shock wave and material interface (contact discontinuity). Both phases are treated as compressible fluids using the linearized equation of state or the stiffened-gas equation of state. We solve several shock tube problems made of a high/low pressure in the liquid and a low/high pressure in the gas. The wave propagations are well resolved by the exact Riemann solutions.

• 한국소음진동공학회논문집
• /
• 제26권7호
• /
• pp.787-794
• /
• 2016

In this study, the exact rigidity and the free vibration of trapezoidal corrugated plate are analyzed by being based on the Kirchhoff's plate theory and the Ritz method. The previous rigidity of corrugated plate analyzed by considering just a geometric characteristic, a basic assumption and an equivalent idea can cause large errors in practical behaviors. Accordingly, the exact rigidity supplemented by correction factors of the theoretical rigidity is needed. Therefore an analysis on the exact rigidity and the free vibration using the rigidity for the plate is performed in this paper.

• 기계저널
• /
• 제20권4호
• /
• pp.296-302
• /
• 1980

이상에서 potential energy의 극소조건을 각종경우에 적용하여 재료역학의 해 또는 변형의 근사 해를 응용 예들을 통하여 구해 보았다. 이 해법은 을 받은 부재, 보(beam) 또는 순수 비틀림을 받는 엔형봉재의 경우, 부정정 문제에서 그 지지점들에서의 반력요소를 생각할 필요가 없기 때 문에 재료 역학적인 해법보다 더 간편하게 구해지고 있는 것을 볼 수가 있다. 또 보의 처짐 곡 선이 길이의 중앙면에 대하여 좌우 대칭형일 때에, 중앙단면에서의 최대처짐을 구하는데 삼각 함수의 근사처짐 곡선을 설정하므로써 실제 엄밀해에 가까운 근사값이 간단하게 구해질 수 있는 것을 보였다. 이 극소에너지 정리는 엔형단면이 아닌 각종 단면봉재의 비틀림 문제에서도 비틀림 응력함수를 도입하고, 경제조전을 만족하는 근사공력 함수방정식을 가정함으로써 간단하게 그 근사해를 구하는 데까지 직장할 수가 있다.

• 한국광학회지
• /
• 제5권4호
• /
• pp.439-444
• /
• 1994

임의의 2차원 표면양각 유전회절격자에 의한 일반적인 회절현상을 엄밀한 3차원벡터 결합파해석으로 다루는데 있어서 핵심적인 역학을 하는 행렬의 고유값문제가 항상 1/4 크기의 행렬에 대한 것으로 단순화되어, 컴퓨터의 계산시간과 기억용량의 요구를 현저히 줄일 수 있다는 것을 보였다. 한편, 체적형 회절격자에 있어서는 이와 같이 단순화할 수 없음을 논의하였다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1995년도 춘계학술대회논문집; 전남대학교, 19 May 1995
• /
• pp.354-359
• /
• 1995

회전익의 소재로 복합재료를 선택하게 됨에 따라 헬리콥터의 유지, 보수 및 성능에서 유리하게 되었지만 허브 형태의 간소화로 인하여 해석상의 어려움은 확대 되었다고 할 수 있을 것이다. 따라서 회전익의 단면특성은 더욱 중요한 의미를 갖게 되었다. 회전익의 단면특성을 결정하기 위해서 우선적으로 각 방향운동의 연성항을 소거하는 것이 계산상 유리하고 따라서 관성주축방향을 결정하는 것이 중요하다. 그러나 회전익의 익형이 대칭형이 아니고 복합한 재료로 구성되어 있을 뿐 아니라 효율의 극대화를 위하여 축방향을 따라 비틀림을 부여하고 있기 때문에 관성주축의 방향을 결정하는데 많은 어려움이 존재한다. 따라서 본 연구에서는 실제 회전익을 그 연구 대상으로 회전익 단면의 등가강성행렬을 추출하고 외팔보의 공학이론과 회전행렬을 이용하는 방법으로 관성주축방향을 결정하는 방법을 제시하였다. 해석방법의 타당성을 확보하기 위하여 엄밀해를 알고 있는 간단해 단면을 갖는 외팔보를 이용하여 검증하였다. 이러한 방법은 관성주축방향을 결정하는 새로운 프로그램의 개발이라는 부담을 최소화 하였을 뿐 아니라, 해석방법 자체가 가지는 간편성으로 인하여 많은 시간과 노력을 줄일수 있을 것으로 기대된다.

• 소음진동
• /
• 제9권5호
• /
• pp.966-974
• /
• 1999

This paper introduces modeling and its modal analysis procedure for exact and closed form solution of in-plane vibrations of general Timoshenko frame structures using exact dynamic element method(EDEM). The derivation procedure of the exact system dynamic matrices for Timoshenko beam frames is described. A new modal analysis procedure is also proposed since the conventional modal analysis schemes are not adequate for the proposed, exact system dynamic matrix. The proposed method provides exact modal parameters as well as all kinds of closed form solutions for general frame structures. Two numerical examples are presented for validating and illustrating the proposed method. The numerical study proves that the proposed method is useful for dynamic analysis of frame structures.

• 한국소음진동공학회논문집
• /
• 제16권4호
• /
• pp.387-393
• /
• 2006

이 논문에서는 내부에 비정상 유동이 흐르는 균일한 직선 파이프에 대한 스펙트럴요소모델을 개발하였다. 개발된 스펙트럴요소모델에 대한 스펙트럴요소행렬은 주파수 영역에서 구한 파이프 역학 방정식의 엄밀해를 이용하여 유도되었다. 이 스펙트럴요소모델의 정확성을 평가하고 한 예제 파이프 계의 진동특성과 파이프 내부 유동특성을 고찰하기 위하여 스펙트럴 동역학 해석을 수행하였다.

• 동력기계공학회지
• /
• 제14권5호
• /
• pp.5-9
• /
• 2010

본 연구는 수정 오일러 법칙을 이용한 봉의 열전달문제를 엄밀해와 수치해를 수치해석적 해법을 이용해 비교한 것이다. 경계조건으로는 열전도 및 대류가 동시에 존재하는 경우의 모델을 가정하여 계산하였고, 봉의 길이가 원주방향에 비해 상당히 길다고 가정하여 1차원으로 지배방정식을 정리하여 2차 상미분방정식을 유도하여 계산을 수행하였다. 계산을 수행한 결과 적절한 초기 추측값인 ${\beta}$값을 정의하면 오일러의 방정식으로도 충분히 만족할만한 결과를 얻을 수 있다는 것을 알았고, 지수함수 형태의 유도 상관식이 엄밀해와 ${\pm}1%$ 범위 내에서 일치한다는 결과를 얻었다.