• The Mathematical Education
• /
• v.44 no.4 s.111
• /
• 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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.591-594
• /
• 2017

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

• Journal of computational fluids engineering
• /
• v.15 no.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.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.26 no.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.

• Journal of the KSME
• /
• v.20 no.4
• /
• pp.296-302
• /
• 1980

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

• Korean Journal of Optics and Photonics
• /
• v.5 no.4
• /
• pp.439-444
• /
• 1994

When diffraction by arbitrary two-dimensional surface-relief dielectric gratings is analyzed using the rigorous three-dimensional vector coupled-wave analysis, it is found that the matrix eigenvalue problem pertaining to the analysis can always be simplified to that for a matrix which has the dimension of a quarter of the original, so that computing time and memory requirements for computer may be greatly reduced. However this kind of simplification can not be obtained in the case of volume diffraction gratings. tings.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1995.04a
• /
• pp.354-359
• /
• 1995

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

• Journal of KSNVE
• /
• v.9 no.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.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.16 no.4 s.109
• /
• pp.387-393
• /
• 2006

In this paper, a spectral element model is developed for the uniform straight pipelines conveying internal unsteady fluid flow. The spectral element matrix is formulated by using the exact frequency-domain solutions of the pipe-dynamics equations. The spectral element dynamic analysis is then conducted to evaluate the accuracy of the present spectral element model and to investigate the vibration characteristics and internal fluid characteristics of an example pipeline system.

• Journal of Power System Engineering
• /
• v.14 no.5
• /
• pp.5-9
• /
• 2010

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