• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.12
• /
• pp.1073-1079
• /
• 2014

Aircraft parts are considered as a significant element for the continued airworthiness of the certified aircraft well as a partial component consisting of the new aircraft design. US FAA established the certification system of Parts Manufacturer Approval in 1965, which is contributing to the continued airworthiness of the aircraft in operation and to the expansion of worldwide market of aircraft parts. In this paper, we compared the differences of the certification systems between FAA Parts Manufacturer Approval and EASA European Part Approval, and proposed the rulemaking items to improve Korean Parts Manufacturer Certification System and to contribute to growth of aircraft parts industry.

• 한국항공운항학회:학술대회논문집
• /
• 2016.05a
• /
• pp.125-130
• /
• 2016

최근 국내에서 개발한 KC-100 항공기의 형식증명 및 제작증명이 완료됨에 따라 우리나라도 항공기 제작/설계국 반열에 오르게 되었고, KC-100 개발을 계기로 국내 개발 항공기의 해외 수출을 대비한 제작/설계국으로서의 감항성 유지 체계 및 시스템 구축이 필요로 하게 되었다. 본 연구에서는 ICAO에서 제시하는 국가 유형 별 감항성 유지 업무의 책임 및 해외 항공선진국의 감항성 유지체계와 우리나라의 지속감항업무 수행현황을 비교분석하여 국내 감항성 유지 체계 및 항공기 고장보고 항목에 대한 개선 방안을 제시하였고 항공안전정보 네트워크를 구축하여 지속감항체계에서 획득한 항공 안전기술정보를 안전감독에 활용하기위한 방안을 연구하였다.

• Current Industrial and Technological Trends in Aerospace
• /
• v.4 no.1
• /
• pp.100-107
• /
• 2006

민간 무인기의 용도는 수색 및 구조, 환경 및 공해감시, 기상 측정, 화재 및 재난의 조기감지, 국경 및 해양정찰, 항공촬영과 지도제작, 농약살포 그리고 교통감시 등 사람이 수행하기 힘든 3D 임무 및 우리의 실생활에 도움을 줄 수 있는 새로운 용도로 개발되고 있다. 그러나 향후 무인항공기의 상업적 성공 여부는 민간 공역으로의 진입 여부에 달려 있으며, 공역 내에서의 자유로운 임무수행을 위해서는 안전성 확보를 위한 감항당국의 인증이 필수요소이다. 이에 항공선진국 들은 민간 무인기의 신뢰성 누적과 인증을 위한 실현 가능한 방법부터 법제도 정비에까지 많은 연구를 수행 중에 있다. 본 글에서는 최근 항공선진국들의 무인항공시스템의 신뢰성 추세와 인증동향 그리고 향후 발전 방향에 대하여 제시한다.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.359-374
• /
• 2014

Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.

• The Mathematical Education
• /
• v.43 no.4
• /
• pp.381-390
• /
• 2004

In this study, we conceptualized the ‘preformal proof’, which is a transitive level of proof from the experimental and inductive justification to the formalized mathematical proof. We investigated concrete features of the preformal proof in the historico-genetic and the didactical situations. The preformal proof can get the generality of the contents of proof, which makes a distinction from the experimental proof. And we can draw a distinction between the preformal and formal proof, in point that the preformal proof heads for the reality-oriented objects and does not use the formal language.

• Aerospace Industry
• /
• s.90
• /
• pp.57-59
• /
• 2006

보잉,호주 737 AEW&C 주요 시험 완료/미 공군, 무인폭격기 개발에 20억 달러 투자/독일·프랑스, 대형 수송헬기 개발/미, 국방부 작년도 10대 방산계약업체 발 표/에어버스 밀리터리,A400M 수송기 형식증명 신청/나사,CEV 및 달착륙 임무계획 구체화/일본, 첨단 지상관측위성 발사/유럽우주기구,4대의 갈릴레오 항법위 성 제적 계약/X-51A 극초음속기 스크램제트 시험 계획/인도,유인우주임무 검토/캐나다 봄바디어,수호이의 RRJ사업참여 고려/프랑스 닷소사,중국에 팰컨 900DX 비즈제트 판매/중국,150인승 여객기 개발 준비/보잉 및 에어버스 기록적인 수주 실적

• Journal of Aerospace System Engineering
• /
• v.5 no.2
• /
• pp.18-26
• /
• 2011

This is the study to introduce the Japanese Type Certification System for Domestic Aircraft and current status of Bilateral Aviation Safety Agreement. The study on the Japanese Type Certification System will contribute to understand our aircraft certification system and will be a reference in performing the Type Certification Project on KC-100 airplane in the Part 23 Normal Category.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2014.07a
• /
• pp.503-505
• /
• 2014

지능형 웹의 확장을 위해 링크드 데이터(Linked Open Data)를 통한 표준화 연구가 활발하게 진행되고 있다. 뿐만 아니라 링크드 데이터는 RDF, SPARQL을 이용한 정보를 더욱 더 지능적이고 다양한 분야에 적용 할 수 있는 방법으로 제시되고 있다. 하지만 이기종 환경에서는 각각 서로 다른 데이터 형식을 지니게 되므로 통합환경을 구축하는데 어려움이 따른다. 이를 위해 본 논문에서는 다양한 이기종 환경에서의 데이터 형식 변환이 가능한 RDF 컨버터를 제안한다. 제안하는 RDF 컨버터는 SPARQL를 비롯한 다양한 질의어로 데이터의 효율적인 분석, 변환이 가능하다. 성능평가를 통해 RDB 데이터 형식 분석과 RDF 데이터 변환에 대한 정확도를 확인하였고 D2RQ와 Jena2의 비교를 통해 서로 다른 RDB 데이터가 D2RQ에서 변환시간이 4.2% 빠르다는 성능을 증명하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.685-688
• /
• 2004

자바 클래스 파일은 플랫폼 독립성을 보장하면서 다양한 애플리케이션의 실행 파일 포맷으로 사용되고 있으며 실행 효율성을 높이기 위해 파일 형식의 변환 연구, 압축 기법 연구 등이 진행되고 있다. 본 연구에서는 임베디드 시스템에 적합한 가상기계(EVM)을 개발하기 위해 기존의 자바 클래스 파일형식을 간결한 형태로 재구성한 실행 파일 포맷($^{\ast}.evm$)에 대한 실행 환경 모델을 구축하기 위해 본 논문에서 자바 클래스 파일을 $^{\ast}.evm$ 형식으로 변환하는 변환기를 설계하고 구현하였다. 자바 클래스 파일로부터 변환된 $^{\ast}.evm$ 형식에 대한 검증은 현재 구현중인 로더/링커 및 실행 시간 엔진 등을 통한 실험 결과의 정확성을 통해 증명하였다.

• Smart Media Journal
• /
• v.3 no.3
• /
• pp.36-45
• /
• 2014

Based on the perception of Maurice Merleau Ponty, This study defines that Moving is a form lively to experience meaning, pleasure as the aesthetic attribute structured to a product, expression and value are synthesized into. The purpose of study is to argue that Wearable, Ubiquitous, Interaction, Play, D, I, Y, Universal, Ecology are the forms, modalities that the moving is variously subjected to the product design. Above This is the result reasoned according to analogical form as below between the moving and all design forms. First, The moving as the aesthetic expression and value are synthesized into is the intrinsic, general proposition, maxim for the value judgement. Second, All design forms are the cases which the values based on the aesthetic expression system are subjected to Third, Thus All design forms are the modalities of the aesthetic expression based on the values. The certainty of this judgement, reasoning is the proof that the correspondence between the moving as the aesthetic expression and design form is the fact. That is to say, It is the proof that Users lively experience the aesthetic meaning, pleasure in fact as the aesthetic values are subjected to all design forms. The lived experience of each user in their daily life itself is the only method or assurance for this. The moving integrates the existence of a product and what should be of users into the aesthetic dimension and at the same time, is realized based on this. The emphasized theme in all cases of this study is not the product but the moving. So, The product design is changed into the action which structures the moving like above to a product.