• Title/Summary/Keyword: mathematical verification

Search Result 196, Processing Time 0.027 seconds

Solar Air Heating System Thermal Performance Simulation and Verification (태양열 외기 난방 시스템의 열성능 시뮬레이션 및 검증 연구)

  • Kang, Dong-Un;Lee, Euy-Joon;Hyun, Myung-Taek
    • Proceedings of the KSME Conference
    • /
    • 2001.06d
    • /
    • pp.152-157
    • /
    • 2001
  • UTC(Unglazed Transpired Collector) system has recently emerged as a new solar air heating technology. It is relatively inexpensive because it has not a glazed material. And it demonstrates efficient particularly for the applications in which larger wall area facilities with a high outdoor air requirement. Mathematical algorithm for UTC thermal modeling has been understood for further improvement of the system. EES and TRNSYS model of actual solar wall panel could be developed for computer simulations under other conditions. Computer models could be validated with the measured data from fixed outdoor test cell in KIER(Korea Institute of Energy Research). Major design parameters could be identified such as panel configuration and absorptivity and emissivity values for UTC design.

  • PDF

Control System Design for Transmission STATCON (송전용 무효전력보상기의 제어장치 설계)

  • Han, Byung-Moon;Choi, Dae-Gil;Baek, Seung-Tak
    • Proceedings of the KIEE Conference
    • /
    • 1997.07f
    • /
    • pp.2193-2195
    • /
    • 1997
  • This paper describes a control system design for the transmission STATCON by applying a non-linear feedback. A mathematical model for the STATCON was derived by using a 3-phase equivalent circuit and its controller was designed by a numerical computation. The verification of newly designed controller was performed by EMTP simulation and scaled hardware model test. The test results show that the controller using non-linear feedback skim controls its reactive power properly without large transients.

  • PDF

Modelling and Verification of Once-Through Subcritical Heat Recovery Steam Generator (관류형 아임계압 배열회수보일러의 열성능 모델링과 검증)

  • Lee, Chae-Soo;Choi, Young-Jun;Kim, Hyun-Gee;Yang, Ok-Chul;Chong, Chae-Hon
    • Proceedings of the KSME Conference
    • /
    • 2004.11a
    • /
    • pp.1692-1697
    • /
    • 2004
  • The once-through heat recovery steam generator is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boiler is structurally simpler than drum type boiler. In drum type boiler, each tube play a well-defined role: water preheating, vaporization, superheating. Empirical equations are available to predict the average heat transfer coefficient for each regime. For once-through heat recovery steam generator, this is no more the case and mathematical models have to be adapted to account for the disappearance of drum type economizer, boiler, superheater. General equations have to be used for each tube of boiler, and actual heat transfer condition in each tube has to be identified.

  • PDF

An Analysis on the Treatment of Axiom and Proof in Middle School Mathematics (중학교 기하에서의 공리와 증명의 취급에 대한 분석)

  • Lee, Ji-Hyun
    • Journal of Educational Research in Mathematics
    • /
    • v.21 no.2
    • /
    • pp.135-148
    • /
    • 2011
  • Middle school mathematics treats axiom as mere fact verified by experiment or observation and doesn't mention it axiom. But axiom is very important to understand the difference between empirical verification and mathematical proof, intuitive geometry and deductive geometry, proof and nonproof. This study analysed textbooks and surveyed gifted students' conception of axiom. The results showed the problem and limitation of middle school mathematics on the treatment of axiom and proof.

  • PDF

Design and Evaluation of a Vibration Exciter for the Flow Resonance (유동공진을 위한 가진기 설계 및 평가)

  • Nam, Yoon-Su;Choi, Jae-Hyuck
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.18 no.6
    • /
    • pp.141-147
    • /
    • 2001
  • A heat dissipation technology using flow resonant phenomenon is a kind of new concept in heat transfer area. A vibration exciter is needed to generate an air turbulence which has the natural shedding frequency of a heat system. A mechanical vibrating device for the air flow oscillation is introduced, which is driven by a moving coil actuator. An analytical dynamic model for this mechanical vibration exciter is presented and its validity is verified by the comparison with experimental data. Values of some unko주 system parameters in the analytic model are estimated through the system identification approach. based on this mathematical model, a high bandwidth vibration exciter is designed using feedback control. During the experimental verification phased, it turns out the high frequency modal resonant characteristics of vibrating plate are the major barrier against obtaining a high bandwidth vibration exciter.

  • PDF

A Study on the Coarseness for the Fractal Image Compression (프랙탈 이미지 압축을 위한 Coarseness에 대한 연구)

  • Hahm, Do-Yong;Nam, Hyeon-Woo;Kim, Ha-Jin
    • Journal of the Korea Computer Graphics Society
    • /
    • v.4 no.1
    • /
    • pp.41-46
    • /
    • 1998
  • An image processing techniques for image compression and its reconstruction are to be considered seriously for the generated huge size data as in the present multimedia environment based on the graphics. So far some approaches for this matter are proposed such as a Wavelet and JPEG method and got desirable result. In this paper, we have studied for the rms(root mean square) metric which is more effective than the existing sup(supremum)metric, and compared with sup metric by means of mathematical verification.

  • PDF

Development of Pulse Wave Analysis Model with Skin Effect (손목의 피부특성을 고려한 맥상파 해석모델 개발)

  • Shin, Sang-Hoon
    • The Journal of the Society of Korean Medicine Diagnostics
    • /
    • v.15 no.2
    • /
    • pp.159-168
    • /
    • 2011
  • Objectives: The purpose of this study is to develop the pulse wave analysis model with the palpation pressure and the skin effect. Methods: The position of pulse diagnosis was modeled with elastic string system. The skin was modeled with the elastic string, the palpation pressure with tension in the string, and the blood vessel pressure with external force on the string. Using the wave equation in the physics, the simplified pulse model was transformed to the mathematical model. Results: To the verification of the model, the effects of the palpation pressure and the skin effect were tested. Conclusions: There was optimal palpation pressure, describing the exact vessel pressure pattern and maximizing the amplitude of the skin displacement. For the optimal condition, the increased palpation pressure was needed with the increased skin thickness. Therefore, the developed pulse wave analysis model showed the good results.

A Prediction Model of Distressed Craft Drift Using Fluid Dynamics Analysis (유체역학 이론에 근거한 조난물체의 위치 추정 모델)

  • 강신영
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2000.11a
    • /
    • pp.63-71
    • /
    • 2000
  • In this study a drift prediction model based on fluid dynamics theory is introduced. The essential effects of environmental loads and target characteristics are taken into account from a fluid dynamics point of view. The governing equations of motion are derived from Newton's law of dynamics. In the mathematical formulation only three degrees of freedom(surge, sway, yaw) of the drifting object are assumed and the environmental loads considered are the forces and moments by wind and current. A computer algorithm for this model is implemented to obtain the numerical result in the time domain. The preliminary tests for model verification are conducted and the results are compared with the field experiment data as well as leeway formula suggested from the field test data.

  • PDF

Systematic Dynamic Modeling of an Integrated Single-stage Power Converter

  • Choi, Ki-Young;Lee, Kui-Jun;Kim, Yong-Wook;Kim, Rae-Young
    • Journal of Electrical Engineering and Technology
    • /
    • v.10 no.6
    • /
    • pp.2288-2296
    • /
    • 2015
  • This paper proposes a novel systematic modeling approach for an integrated single-stage power converter in order to predict its dynamic characteristics. The basic strategy of the proposed modeling is substituting the internal converters with an equivalent current source, and then deriving the dynamic equations under a standalone operation using the state-space averaging technique. The proposed approach provides an intuitive modeling solution and simplified mathematical process with accurate dynamic prediction. The simulation and experimental results by using an integrated boost-flyback converter prototype provide verification consistent with theoretical expectations.

Development of a Program to Predict Recrystallizaion Behavior in the Hot Forming Process and Its Application (고온 성형에 있어서 재결정 거동 예측 프로그램 개발 및 적용)

  • Lee K. O.;Kang J. H.;Kang S. S.
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 2001.05a
    • /
    • pp.136-142
    • /
    • 2001
  • Recently, a much amount of attention has been paid not only to produce products with precise dimensional accuracy, but also to predict and control the microstructural evolution and mechanical properties of parts. Especially, to do the latter through computer simulation, the history of states factors influencing on these evolution such as temperature, strain, strain rate etc., should be calculated and a appropriate mathematical models for the prediction of microstructural evolution must be developed. Thus, in this study thermo-viscoplastic finite element program including the model for predicting microstructural has been developed. Also for the verification of developed program warm forging process for the rotor pole was simulated and the comparison between the results calculated and ones in the literature was made.

  • PDF