• 제목/요약/키워드: mathematical verification

검색결과 194건 처리시간 0.021초

차량 안정성 제어 시스템의 모듈레이터 성능개선 및 단순화에 관한 연구 (A Study on the Performance Improvement and Simplification of the Modulator for Vehicle Stability Control System)

  • 이종찬;송창섭
    • 한국정밀공학회지
    • /
    • 제21권6호
    • /
    • pp.84-93
    • /
    • 2004
  • This study carries out the performance improvement and simplification of hydraulic modulator that plays an important role in vehicle stability control systems. The mathematical models for each component of a modulator, such as pump, wheel cylinder, check and solenoid valve, accumulator, damper are derived in detail. All the mathematical models are combined to form a modulator system and implemented through a computer program, which can be controlled by a user friendly GUI. To verity the simulation, comparison between simulation and experiments has been made. After the verification of the validity of the simulation, the effects of the design parameters of the modulator on the wheel cylinder pressure is investigated. The results show that the modulator without MPA has advantage in early time pressure rise rate, and it can be simplified.

초등 수학 4학년 교과서의 추측하기 과제 분석 : 사각형의 정의와 성질을 중심으로 (An Analysis on Conjecturing Tasks in Elementary School Mathematics Textbook: Focusing on Definitions and Properties of Quadrilaterals)

  • 박진형
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제27권3호
    • /
    • pp.491-510
    • /
    • 2017
  • 본 연구에서는 2007 개정 수학과 교육과정과 2009 개정 수학과 교육과정에 따른 초등 수학 4학년 교과서의 사각형의 정의와 성질에 대한 내용에서 다루어지는 수학 과제들을 각각 분석하고 비교하였다. 구체적으로, 각 교과서에서 어떠한 과제를 활용하여 학생들의 추측하기 활동을 촉진하고자 시도하고 있으며, 이 과제들이 학생들로 하여금 추측을 제기하고 이에 대해 탐구하도록 하는 데 적절한지의 여부를 분석하였다. 연구 결과, 두 교과서에서 제공하고 있는 추측하기 과제의 유형이나 형태가 다소 상이하였으나, 공통적으로 학생들의 다이어그램적 추론을 충분히 촉진하지 못하고 있는 것으로 확인되었으며, 학생들이 제기한 추측에 대한 귀납적 검증 기회도 적절하게 제공하지 못하는 것으로 드러났다. 또한, 학생들로 하여금 주어진 도형들의 공통점에 대해서 주로 추측하도록 하고 있었으며, 도형들 사이의 차이에 대해서는 비교적 주목하지 않고 있는 것으로 드러났다.

풍력발전기 초기단계 모사실험을 위한 4자유도 수학적 모형에 대한 연구 (Study on 4-degree-of-freedom Mathematical Model for Simulation of Wind Turbine System at Initial Design Stage)

  • 신윤호;문석준;정태영
    • 한국소음진동공학회논문집
    • /
    • 제23권8호
    • /
    • pp.681-689
    • /
    • 2013
  • The commercial tools to simulate the non-linear dynamic characteristics of wind turbine system are various but, the tool take much time to simulate the control algorithm and require many input variables. In this paper, the procedures to derive the simplified 4-degree-of-freedom mathematical model of a 2-MW wind turbine which could be used at the initial design stage of the controller are proposed based on RISO's suggested method. In this model, the 1st tower fore-after bending motion and 1st blade flapping motion are also considered in addition to the rotor-generator rotation motion in the 2-DOF model. The effectiveness of the 4-DOF model is examined comparing with the 2-DOF model and verification of the simplified model is accomplished through modal analysis for whole wind turbine system.

초등정보과학영재 선발을 위한 평가문항의 개발에 관한 연구 (A Study on the Development of the Selective Test Item for the Gifted of Elementary Information Science)

  • 이재호;이재수
    • 영재교육연구
    • /
    • 제16권1호
    • /
    • pp.81-100
    • /
    • 2006
  • 본 논문에서는 초등정보과학영재의 선발을 위한 평가문항을 개발하고 학교 현장에 적용한 결과를 분석하여 개발 문항의 타당도를 검증하였다. 이를 위하여 다음과 같은 단계를 통하여 연구를 진행하였다. 첫째, 다양한 측면에서 정보과학영재에 대한 특성을 분석한 후 정보과학영재를 정의하였다. 둘째, 제7차 초등수학교육과정 속의 이산수학적 요소를 분석하여 초등정보과학영재의 선발을 위한 평가문항을 개발하였다. 셋째, 개발한 평가문항을 학교현장에 투입하여 다양한 관점의 결과를 분석하였다.

EOS-C Ver.3.0 비행모델의 열제어계 개발 및 설계 검증 (Development and Design Verification of Thermal Control Subsystem for EOS-C Ver.3.0 Flight Model)

  • 장진수;양승욱;김이을
    • 한국항공우주학회지
    • /
    • 제40권10호
    • /
    • pp.872-881
    • /
    • 2012
  • (주)쎄트렉아이는 지구관측위성의 주 탑재체로 사용될 고해상도 전자광학카메라, EOS-C Ver.3.0의 FM 개발을 완료하였다. EOS-C Ver.3.0 FM은 STM 열진공 시험 결과를 이용한 설계 최적화를 통해 STM 대비 향상된 열제어 성능을 갖도록 설계되었다. FM 개발 후, 인수(acceptance) 수준의 열진공 시험 수행을 통해 작업도(workmanship) 확인을 완료하였다. 또한 열평형 시험 결과를 이용하여 열-수치 모델에 대한 검증 작업을 수행, 열-수치 모델이 EOS-C Ver.3.0 FM의 실제 열적 특성을 잘 모사하고 있음을 확인하였다.

Verification of the Theoretical Model for Analyzing Dynamic Behavior of the PIG from Actual Pigging

  • Kim, Dong-Kyu;Cho, Sung-Ho;Park, Seoung-Soo;Park, Yong-Woo;Yoo, Hui-Ryong;Nguyen, Tan-Tien;Kim, Sang-Bong
    • Journal of Mechanical Science and Technology
    • /
    • 제17권9호
    • /
    • pp.1349-1357
    • /
    • 2003
  • This paper deals with verification of the theoretical model for dynamic behavior of Pipeline Inspection Gauge (PIG) traveling through high pressure natural gas pipeline. The dynamic behavior of the PIG depends on the differential pressure across its body. This differential pressure is generated by injected gas flow behind the tail of the PIG and expelled gas flow in front of its nose. To analyze the dynamic behavior characteristics such as gas flow in pipeline, and the PIG position and velocity, not only the mathematical models are derived, but also the theoretical models must be certified by actual pigging experiment. But there is not any found results of research on the experimental certification for dynamic behavior of the PIG. The reason is why the fabrication of the PIG as well as, a field application are very difficult. In this research, the effectiveness of the introduced solution using the method of characteristics (MOC) was certified through field application. In-line inspection tool, 30" geometry PIG, was fabricated and actual pigging was carried out at the pipeline segment in Korea Gas Corporation (KOGAS) high pressure system, Incheon LT (LNG Terminal) -Namdong GS (Governor Station) line. Pigging is fulfilled successfully. Comparison of simulation results with experimental results show that the derived mathematical models and the proposed computational schemes are effective for predicting the position and velocity of the PIG with a given operational conditions of pipeline.

STM 열진공 시험 결과를 이용한 EOS-C Ver.3.0 열제어계 설계 검증 (Design Verification of Thermal Control Subsystem for EOS-C Ver.3.0 using STM Thermal Vacuum Test Result)

  • 장진수;양승욱;정연황
    • 한국항공우주학회지
    • /
    • 제38권12호
    • /
    • pp.1232-1239
    • /
    • 2010
  • (주)쎄트렉아이는 지구관측위성의 주 탑재체로 사용될 고해상도 전자광학카메라, EOS-C Ver.3.0을 개발 중이다. EOS-C Ver.3.0은 현재 운용중인 DubaiSat-1의 주 탑재체인 EOS-C Ver.2.0 개발 경험을 바탕으로 능동 열제어 방식과 수동 열제어 방식을 적절하게 혼용하여 보다 향상된 성능을 갖도록 설계되었다. 설계를 바탕으로 STM을 개발하여 인증(qualification) 수준의 열진공 시험을 수행하여 설계 여유(design margin)를 확인하였다. 또한 열평형 시험 결과를 이용하여 열제어계 설계에 사용한 열-수치 모델에 대한 검증 작업을 수행하였으며, 열-수치 모델이 실제 열적 특성을 잘 모사하고 있음을 확인하였다.

수학교사의 테크놀로지 교수 내용 지식(TPACK) 측정 도구 개발 및 타당화 (Development and Validation of TPACK Measurement Tool for Mathematics Teachers)

  • 이다희;황우형
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제56권4호
    • /
    • pp.407-434
    • /
    • 2017
  • The purpose of this study is to develop and verify the TPACK measurement tool for middle and high school mathematics teachers in the Korean context. Also, by clarifying the relationship between subordinate factors of Mathematics teachers' TPACK, an attempt was made to provide suggestions on the designs and directions for the in-service and pre-service teacher education and the programs for improving mathematics teachers' TPACK in the future. In order to achieve this goal, TPACK factors of mathematics teachers were extracted by reviewing literature on PCK, MKT, and TPACK. Then, content validity, basic statistical survey, reliability verification, exploratory factor analysis, confirmatory factor analysis, and structural equation model verification were conducted sequentially. At first, preliminary analysis was carried out on 79 mathematics teachers, and 76 items excluding the items with extreme value and reliability were included in the basic statistical analysis. And secondly, an exploratory factor analysis was conducted on 376 mathematics teachers, and this instrument consisted of 7 subordinate factors(CK, PK, TK, PCK, TCK, TPK, TPACK) and 61 items. Also by conducting confirmatory factor analysis and structural equation model test with 254 mathematics teachers, the measurement tool was confirmed the validity and reliability through statistically significant analysis. Then, the importance of integrated knowledge was confirmed by looking at the relationship between the TPACK factors of in-service mathematics teachers. The integrated knowledge(PCK, TCK, TPK) has played a crucial role in the formation of TPACK rather than the knowledge of CK, PK, and TK alone. Finally, the validity of TCK was confirmed through the structural equation modeling of TPACK. TCK not only directly affected TPACK, but also indirectly through TPK. According to these affirmative results, this measurement tool is claimed to be suitable for measuring the factors of Mathematics teachers' TPACK, and also the structural equation model can be regarded as a suitable model for analyzing the structural relationship of mathematics teachers' TPACK.

도시부 신호교차로 인근 도로점용공사를 고려한 포화교통류율 산정모형 개발에 관한 연구 (Development of Saturation Flow Rate Estimation Models Considering Workzone in the Vicinity of Signalized Intersections)

  • 어효경;신치현
    • 대한교통학회지
    • /
    • 제28권6호
    • /
    • pp.109-120
    • /
    • 2010
  • 본 연구는 도로점용공사가 신호교차로의 정지선에 인접하여 시행될 시, 물리적 차로점용으로 인하여 변화하는 포화교통류율을 산정하기 위한 수학적 논리모형 개발을 목적으로 한다. 우선 문헌조사와 사전 모의실험을 통하여 신호교차로에 인접한 도로의 포화교통류율이 도로점용공사의 위치, 차로 수, 신호주기, 유효녹색시간에 의해 민감하게 변화함을 확인하였다. 이러한 포화교통류율 변화요인을 독립변수로 선정하고, 기존 교통류이론을 활용한 수학적 논리모형을 개발하였으며, 개발모형은 도로점용공사의 위치(교차로 상/하류)에 따라 각각 달리 적용하도록 이원화하였다. 개발된 논리모형의 검증을 위하여 다양한 미시적 시뮬레이션을 수행하였으며, 논리모형 적용과 모의실험 수행을 통해 각각 얻어낸 포화교통류율 결과 값을 비교/분석하였다. 검증결과, 각각의 방법으로 얻어낸 포화교통류율의 절대적 차이가 다소 존재하였으나, 독립변수의 영향에 의한 포화교통류율 분포 형태가 통계적으로 유의함을 확인하였다.

수학 학습에 대한 정의적 성취 검사 도구 개발 및 검증 (Development and verification of an affective inventory in Mathematical Learning)

  • 이종희;김선희;김수진;김기연;김부미;윤수철;김윤민
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제50권2호
    • /
    • pp.247-261
    • /
    • 2011
  • In this study, the researchers developed an inventory which can measure the affective achievement in mathematical learning especially targeted to Korean students. By using EFA and CFA, the six affective factors of mathematical learning such as learning directivity, self control, anxiety, interest, cognizing value and confidence are distinguished. Also, the content validity of this inventory was examined by the experts groups, composed of mathematics education professors, high school mathematics teachers, and measurement experts. The reliability of the instrument was high enough to trust the results. Through a large scaled sampling, the reliability and validity of this inventory were verified. In addition, this inventory was developed not by a partial aspects of a certain theory but based on the recent theories. Due to these reasons, the results of this study can be respected that it plays a leading part in understanding the affective achievement of Korean students.