• Journal for History of Mathematics
• /
• v.21 no.2
• /
• pp.55-70
• /
• 2008

This study is about the Data which is one of Euclid's writing. It dealt with the organization of contents, formal system and mathematical meaning. First, we investigated the organization of contents of the Data. Second, on the basis of this investigation, we analyzed the formal system of the Data. It contains the analysis of described method of definition, proposition, proof and the meaning of 'given'. Third, we explored the mathematical meaning of the Data which can be classified as algebraic point of view, geometric point of view and the opposite point of view to 'The Elements'.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.23-48
• /
• 2007

This study begins from posing a problem, 'formal introduction of mathematical induction in school mathematics'. Most students may learn the mathematical induction at the level of instrumental understanding without meaningful understanding about its meaning and structure. To improve this didactical situation, we research on the historical progress of mathematical induction from implicit use in greek mathematics to formalization by Pascal and Fermat. And we identify various types of thinking included in the developmental process: recursion, regression, analytic thinking, synthetic thinking. In special, we focused on the role of regression in mathematical induction, and then from that role we induce the implications for teaching mathematical induction in school mathematics.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.4
• /
• pp.308-315
• /
• 2007

This study is performed to find out the climb performance of light airplane, Chang Gong-91, as a part of flight test to acquire the certification. Chang Gong-91 is a 5-passenger light aircraft of normal category with single reciprocating engine, and the first officially certified by Korean Ministry of Construction and Transportation in 1993. These flight test procedure and data for climb performance are used to get type certification. We have got maximum climb rate for operating altitude, best angle of climb speed, best rate of climb speed, and absolute ceiling of Chang Gong-91 using drag polar data reduction method from sawtooth climb flight data. Also we compare the form drag coefficient from the results of climb performance and Oswald's effectiveness coefficient to design values using lift-drag curve of light airplane.

• Journal of Aerospace System Engineering
• /
• v.9 no.3
• /
• pp.47-58
• /
• 2015

An aircraft, its engine and propeller are certified in processes of design, production, and operation respectively. Type Certificate is issued if the aviation authority finds that the design of aircraft, engine, or propeller complies with applicable airworthiness standards and environmental standards. The ICAO (International Civil Aviation Organization) prescribes the international standards and recommended practices of type certification for the contracting states. The FAA (Federal Aviation Administration) and the EASA (European Aviation Safety Agency) established their regulations and procedures applicable to type certification. In this paper, we compared the differences among the ICAO, the FAA, and the EASA regulations, and on this comparison, we proposed the rulemaking items to improve type certification regulations in Korea.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.12 no.1
• /
• pp.109-116
• /
• 2008

In order to test the adhesive capacity of carbon fiber sheet, a static loading method for bending-behavior-type beam specimens, cut in half was developed and test was conducted with compressive strength of concrete set as the test parameter. The tests were performed to prescribe adhesive shear strength based upon the result of shear failure as well as verification of testing method. First of all, the test method proved to be reliable in determining the adhesive shear strength. The test result also exhibited two types of variations in adhesive shear strength. Among two types of variations, average and minimum values for adhesive shear strength, relatively stable results, 3.41MPa and 2.11MPa, respectively. Particularity in the adhesive shear strength with respect to compressive shear strength was not found.

• Journal of Advanced Navigation Technology
• /
• v.27 no.5
• /
• pp.621-628
• /
• 2023

This study derived a reverse engineering procedure for verifying the design identity of original parts and developed parts for PMA(Parts Manufacturer Approval) and STC(Supplemental Type Certificate) of metal brake pads for transport aircraft, which are critical parts among aircraft parts and equipment. In Korea, the regulations for reverse engineering procedures are regulated by the Parts Manufacturer Approval Guidelines, and in the United States, AC No. 21. 303-4. In the reverse engineering for the brake pad, the detailed procedures for each component were determined by selecting verification test items to confirm identity based on sample quantity, dimensional tolerance, mechanical property measurement, material, weight and volume characteristics for each component. In addition, as a result of analyzing the regulation of Korea and United States, in the case of Korea, it is necessary to establish technical standards for braking systems for transport aircraft and regulations related to flight tests.

• Journal of Advanced Navigation Technology
• /
• v.27 no.6
• /
• pp.821-827
• /
• 2023

In this study, the aircraft technical standards of the Korea and the United States were analyzed to derive the dynamometer test procedure required to prove the compatibility for flight test certification of the metal brake pad for transport aircraft. Since the design modification of the brake systems is classified as a major change, the STC(Supplemental Type Certificate) and the PMA(Parts Manufacturer Approval) are required. In accordance with the TSO-C135a, the technical standard order for brake system in the United States, the design landing-stop test, accelerate-stop test, and most severe landing stop test were selected among the test items for flight test. The conditions for the dynamometer test are determined according to the specifications provided by aircraft manufacturer, and the brake pad condition, deceleration, and the number of test are defined according to the TSO-C135a.

• Korean Journal of Logic
• /
• v.15 no.1
• /
• pp.155-190
• /
• 2012

As far as Hilbert's Program is concerned, there seems to be important differences in the development of Wittgenstein's thoughts. Wittgenstein's main claims on this theme in his middle period writings, such as Wittgenstein and the Vienna Circle, Philosophical Remarks and Philosophical Grammar seem to be different from the later writings such as Wittgenstein's Lectures on the Foundations of Mathematics (Cambridge 1939) and Remarks on the Foundations of Mathematics. To show that differences, I will first briefly survey Hilbert's program and his philosophy of mathematics, that is to say, formalism. Next, I will illuminate in what respects Wittgenstein was influenced by and criticized Hilbert's formalism. Surprisingly enough, Wittgenstein claims in his middle period that there is neither metamathematics nor proof of consistency. But later, he withdraws his such radical claims. Furthermore, we cannot find out any evidences, I think, that he maintained his formerly claims. I will illuminate why Wittgenstein does not raise such claims any more.

• The Korean Journal of Archival Studies
• /
• no.75
• /
• pp.249-297
• /
• 2023

This paper is a study on the reading records in archives. This study views it from a different standpoint. Archivists can deal with reading service as narrative practices. Theater is the main motive of this study. Theater plan of archival services is a trial of narrative practices in archives. The main focus of this study is how to manage the archival theater in archives. Archivists can participate in the policies that will benefit society as a whole. The various readings in archives are acts of narrative practices. People have to get chance of reading records in archives.

• Korean Journal of Child Studies
• /
• v.21 no.1
• /
• pp.269-281
• /
• 2000

본 연구의 목적은 유아교육기관의 자유놀이 시간에 자발적으로 출현하는 유아의 쓰기 활동의 양상과 이를 지지하는 유아교육기관의 환경에 대하여 탐색하는 것이다. 이를 위하여 본 연구에서는 연구의 대상으로 미국 캘리포니아주에 위치한 대학 부설 유아교육기관과 유아를 선정하고 관찰한 후 그 결과를 서술하고 분석하였다. 본 연구의 결과 연구의 대상인 유아교육기관의 전반적인 환경에는 다양한 문해 활동 자료들이 풍부하게 마련되어 있었고 유아들은 이러한 환경에서의 자유놀이의 맥락 내에서 자발적으로 쓰기 활동에 참여하였다. 유아들은 실제 생활을 운용하기 위하여 효율적으로 쓰기 활동에 참여하였고, 또래들과 교사들과 함께 그들의 쓰기 작품을 읽고 그 의미를 토론하면서 쓰기 언어에 대한 그들의 발전적인 지식을 표출하였다. 본 연구의 결과는 형식적인 쓰기 교수법이 없이도 다양한 문해 활동 자료들이 풍부하게 갖추어진 질 높은 유아교육기관의 자유놀이 시간을 통해 유아의 쓰기 언어 학습이 효율적으로 이루어질 수 있다는 사실을 증명함으로써 유아교육기관에서의 언어 교육의 실제에 적용할 수 있는 시사점을 제공한다.