• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.7
• /
• pp.566-573
• /
• 2017

A type certificate is required to ensure the safety of aircraft design. If a person is to pursue major design change to the certified aircraft, an applicant has to apply for a new type certificate, an amended type certificate, or a supplemental type certificate appropriately. Design changes to be applied for a supplemental type certificate are abstractly defined in ICAO, FAA, and EASA regulations. In this paper, authors reviewed certification procedures regarding design changes, analysed certification examples of leading countries, and presented the criteria to determine "major design changes not extensive" for a supplemental type certificate.

• Journal of Aerospace System Engineering
• /
• v.12 no.4
• /
• pp.1-8
• /
• 2018

The state of registry issues a type certificate validation (TCV) based on the satisfactory evidence that the product (aircraft, engine, and propeller) is in compliance with the appropriate airworthiness requirements. The Korean government performs an evaluation to determine whether the product complies with Korean airworthiness standards for issuing TCV according to the Korean aviation safety law. Recently, the Validation Principles Working Group (VPWG) has developed a risk-based model for validation of civil aeronautical products. Also, VPWG proposed to incorporate this validation model into the corresponding ICAO Standards and Recommended Practices and guidance material. In this paper, we have reviewed the validation model and discussed improvements in the validation process.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.3
• /
• pp.298-305
• /
• 2008

From design to serial production, aircraft should go thorough complicated certification procedure from airworthiness authority such as Type Certificate, Production Certificate and Certificate of Airworthiness. On the other hand, aircraft components are mandated to receive Technical Standard Order Approval and Production Manufacture Approval before commercial use. As domestic aircraft and LRUs are currently under development, Bilateral Aviation Safety Agreement is promoted for the purpose of increasing aviation safety as well as foreign export. This paper describes the basic aircraft certification procedure and compares the difference in the certification system of US and Korea. Thorough this, it is attempted to suggest a requirements for establishing international certification system.

• Journal of Aerospace System Engineering
• /
• v.14 no.1
• /
• pp.62-67
• /
• 2020

The European Aviation Safety Agency (EASA) legislates the CS-E (Certification Specification-Engine) for type certification of aircraft engines. According to the CS-E, engine manufacturers (type certificate holders) the need to show compliance of continued airworthiness of an engine during the overhaul, and the Accelerated Mission Test (AMT) is usually accepted as means of compliance. As a part of the Korean Civil Helicopter program, the engine has been developed with foreign manufacturers to achieve the EASA engine type certificate. In this study, the AMT procedure is planned for the engine to be certified by the EASA, and AMT cycles are also established to meet airworthiness requirements of the CS-E in consideration of the engine design and operation characteristics.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.352-354
• /
• 2004

현재의 모델 체커는 모델이 속성을 만족하지 않을 경우 반례를 사용자에게 보여주어서 디버깅을 돕는다. 모델 체커에서 반례는 중요한 장점 중에 하나이지만 대부분의 모델 체커에서 반례로서 하나의 경로만을 보여주게 된다. 하지만 사용자가 원하는 것은 그 이상의 정보를 원할 수 있다. 따라서 반례에서 좀더 많은 정보를 보여줄 필요가 있다. 이런 종류의 연구로서 트리 형식의 반례 생성과 증명 형식의 반례생성이 있었다. 하지만 이 연구들은 시스템이 가질 수 있는 모든 경로를 알아낼 수는 없고 또한 증명 형식의 반례 생성의 경우 상태공간을 다른 형식으로 변경을 해야 한다. 본 논문에서는 반례로서 도달 가능한 모든 경로를 그래프 형식으로 보여줄 수 있는 그래프 형식의 반례를 정의하고 생성방법에 대해서 알아본다

• Aerospace Engineering and Technology
• /
• v.11 no.2
• /
• pp.216-224
• /
• 2012

This study described about the procedure and method to type certification of KAS 23 civil aircraft that is developed in domestic. It is important to obtain type certification within defined period based on the proposed process and method to prove compliance through certification basis according to certification plan. This process referred to FAA Order 8110.4 C, "Type Certification" and domestic regulation and showed example of compliance check list(CCL) defining means of compliance(MOC). Also, proposed method to prove compliance according to means of compliance and classified item of test & evaluation.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.141-146
• /
• 2003

중학교 기하교육의 목적은 학생들의 수학적인 상황을 보는 기하학적인 직관과 논리적 추론능력의 향상이다. 그러나 이 두 가지 모두 만족스럽지 못한 실정이다. 본 고에서는 중학교 기하교육의 문제를 직관기하와 형식기하의 단절이라는 보고, 직관기하에서 증명의 학습요소를 미리 학습하여 직관기하와 형식기하를 연결하자는 대안을 제시한다. 이를 위해 7-나 교과서의 증명요소를 분석하고자 하였다. 관련문헌을 검토하여 7가지 증명의 학습요소를 선정한 후, 교과서를 분석하였다. 분석 결과, 기호화를 제외한 다른 증명의 학습요소는 매우 빈약한 것으로 나타났다. 직관기하 영역에 대한 교과서 구성이 개선될 필요가 있음을 알 수 있다.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Journal of Aerospace System Engineering
• /
• v.14 no.1
• /
• pp.54-61
• /
• 2020

For operating military aircraft, military certificate of airworthiness (MCA) must be obtained from military authority. Among procedures of general airworthiness certification, there is a military type certification process that aircraft design complies with military airworthiness certification criteria. The Surion is the first military rotorcraft which has obtained military type certificate, production validation and airworthiness certificate in Korea, and the Surion derivatives for special mission are being operated for government services. Based on Aviation Safety Act, in order to operate the Surion derivatives (military aircraft) for special purpose (such as emergency patient transportation and firefighting), the issuance of special airworthiness certificates was needed from civil airworthiness authority, and the restricted category type certification (RTC) is one of design approvals for special airworthiness certification to be streamlined. This study discussed the procedures for acquiring RTC for special purpose operation of the Surion derivatives classified as military derived aircraft, and suggested procedural ideas to improve Korean RTC system.