• Title/Summary/Keyword: 형식 증명

Search Result 158, Processing Time 0.032 seconds

A Study on the Quality System Evaluation for Civil Aviation (민간항공분야 품질시스템 평가에 대한 연구)

  • Kim, You-Gwang;Park, Guen-Young;Lee, Kyung-Chul;Jin, Young-Kwon
    • Aerospace Engineering and Technology
    • /
    • v.7 no.1
    • /
    • pp.245-253
    • /
    • 2008
  • Quality for civil aviation is very important to maintain the safety of aircraft and public, and strict quality requirements are prescribed in aviation regulations to ensure that each article produced conforms to the type design and is a condition for safe operation. In this study, the quality system requirements for aircraft and parts will be reviewed a concept of FAA's ACSEP(Aircraft Certification System Evaluation Program) and policy for aviation quality system evaluation in comparison with AS9100 for aviation quality management system.

  • PDF

A Study of Model-Based Aircraft Safety Assessment (모델기반 항공기 안전성평가에 관한 연구)

  • Kim, Ju-young;Lee, Dong-Min;Lee, Byoung-Gil;Gil, Gi-Nam;Kim, Kyung-Nam;Na, Jong-Whoa
    • Journal of Aerospace System Engineering
    • /
    • v.15 no.5
    • /
    • pp.24-32
    • /
    • 2021
  • Personal Air Vehicle (PAV), Cargo UAS (Cargo UAS), and existing manned and unmanned aircraft are key vehicles for urban air mobility (UAM), and should demonstrate compatibility for the design of aircraft systems. The safety assessment required by for certification to ensure safety and reliability should be systematically performed throughout the entire cycle from the beginning of the aircraft development process. However, with the increasing complexity of safety critical aviation systems and the application of state-of-the-art systems, conventional experience-based and procedural-based safety evaluation methods make ir difficult to objectively assess safety requirements and system safety. Therefore, Model-Based Safety Assessment (MBSA) using modeling and simulation techniques is actively being studied at domestic and foreign countries to address these problems. In this paper, we propose a Model-Based Safety Evaluation framework utilizing modeling and simulation-based integrated flight simulators. Our case studies on the Traffic Collision Availability System (TCAS) and Wheel Brake System (WBS) confirmed that they are practical for future safety assessments.

대기압 플라즈마 도핑 공정 시 그라운드 형태에 따른 전류 패스 경향성 분석에 관한 연구

  • Kim, Sang-Hun;Yun, Myeong-Su;Jo, Tae-Hun;Park, Jong-In;Park, Hye-Jin;Jo, Gwang-Seop;Choe, Eun-Ha;Gwon, Gi-Cheong
    • Proceedings of the Korean Vacuum Society Conference
    • /
    • 2014.02a
    • /
    • pp.265-265
    • /
    • 2014
  • 일반적으로 태양전지 및 반도체 공정에서 불순물 주입 과정인 도핑(Doping)공정은 크게 몇 가지 방법으로 구분해 볼 수 있다. 소성로(Furnace)를 이용하여 열을 통해 불순물을 웨이퍼 내부로 확산시키는 열확산 방법과 진공 챔버 내부에서 전자기장을 걸어 이온을 극도로 가속시켜 진행하는 이온 주입(Ion implantation)이나 이온 샤워(Ion shower)를 이용한 도핑 방법이 있다. 또한 최근 자외영역 파장의 레이저광을 조사하여 광화학 반응에 의해 도펀트 물질를 분해하는 동시에 조사 부분을 용해하여 불순물을 도포하는 기법인 레이져 도핑(Laser doping) 방법이 개발중이다. 그러나 레이져나 이온 도핑 공정기술은 고가의 복잡한 장비가 필요하여 매출 수익성 및 대량생산에 비효율적이며 이온 주입에 의한 박막의 손상을 치료하기 위한 후속 어닐링(Post-annealing) 과정이 요구되는 단점을 가지고 있고 열확산 도핑 방법은 정량적인 불순물 주입 제어가 어렵고 시간 대비 생산량의 한계가 있다. 반면 대기압 플라즈마로 도핑을 할 경우 기존에 진공개념을 벗어나 공정상에서 보다 저가의 생산을 가능케 할 뿐아니라 멀티 플라즈마 소스 개발로 이어진다면 시간적인 측면에서도 단연 단축시킬 수가 있어 보다 대량 생산 공정에 효과적이다. 따라서 본 연구에서는 새로운 도핑 방법인 대기압 플라즈마를 이용한 도핑 공정기술의 가능성을 제안하고자 도핑 공정 시 웨이퍼 내 전류 패스(Current path)에 대한 메카니즘을 연구하였다. 대기압 플라즈마 방전 시 전류가 웨이퍼 내부에 흐를 때 발생되는 열을 이용하여 도핑이 되는 형식이란 점을 가정하고 이 점에 대한 원리를 증명하고자 실험을 진행하였다. 실험 방식은 그라운드(Ground) 내 웨이퍼의 위치와 웨이퍼 내 방전 위치에 따라 적외선 화상(IR image: Infrared image) 화상을 서로 비교하였다. 적외선 화상은 실험 조건에 따라 화상 내 고온의 표식이 상이하게 변하는 경향성을 나타내었다. 이 고온의 표식이 전류 패스라는 점을 증명하고자 시뮬레이션을 통해 자기장의 전산모사를 한 결과 전류 패스의 수직 방향으로 자기장이 형성이 됨을 확인하였으며 이는 즉 웨이퍼 내부 전류 패스에 따라 도핑이 된다는 사실을 명백히 말해주는 것이며 전류 패스 제어의 가능성과 이에 따라 SE(Selective Emitter) 공정 분야 응용 가능성을 보여준다.

  • PDF

A Study on Certification Requirements for Small Unmanned Aerial System(sUAS) (소형 무인항공기 운용을 위한 관련법 현황 및 인증방안 연구)

  • Ahn, Hyojung;Park, Jonghyuk
    • Transactions of the KSME C: Technology and Education
    • /
    • v.3 no.1
    • /
    • pp.71-78
    • /
    • 2015
  • Although there are differences in the classification of category adopted by each country, small UAS is usually classified as the one less than 25 kg. UAS has been mainly used for military and public purposes, but in recent years, it has spread to the private sector for hobby, media, and so on. Especially, considering the nature of the operating region and applications, it is necessary to improve operating time, noise and vibration in small UAS to ensure the same level of safety with a manned aircraft. This is because the drone can pose health and safety hazard through collision with manned aircraft or crashing into the ground. In this paper, we investigated operational regulations in the United States and European countries. Based on the investigation, a domestic system development plan for small UAS operation is under development.

Digital Signature Schemes with Restriction on Signing Capability (서명 능력을 제한하는 전자 서명 스킴)

  • 황정연;이동훈;임종인
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.12 no.6
    • /
    • pp.81-92
    • /
    • 2002
  • In some practical circumstances, the ability of a signer should be restricted. In group signature schemes, a group member of a group may be allowed to generate signatures up to a certain number of times according to his/her position in the group. In proxy signature schemes, an original signer may want to allow a proxy signer to generate a certain number of signatures on behalf of the original signer. In the paper, we present signature schemes, called c-times signature schemes, that restrict the signing ability of a signer up to c times for pre-defined value c at set-up. The notion of c-times signature schemes are formally defined, and generic transformation from a signature scheme to a c-times signature scheme is suggested. The proposed scheme has a self-enforcement property such that if a signer generates c+1 or more signatures, his/her signature is forged. As a specific example, we present a secure c-times signature scheme $^c$DSA based on the DSA (Digital Signature Algorithm) by using a threshold scheme. Our transformation can be applied to other ElGamal-like signature schemes as well.

Study on the Application of Airworthiness Standard for the e-VTOL (e-VTOL 항공기의 감항기술기준 적용 연구)

  • Choi, Joo-Won;Hwang, Chang-Jeon;Suk, Jin-Young
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.49 no.7
    • /
    • pp.593-599
    • /
    • 2021
  • The demand for e-VTOL aircraft is expected to be increased rapidly in the future as a means of urban transportation due to operating cost reduction, eco-friendliness and convenience of vertical take-off and landing using pilot-aids automation system. However, there are many technical hurdles to be solved in securing safety and certification which are essential for commercialization and urban operation. So far, there is no e-VTOL aircraft that has received type certificate and standard airworthiness certificate due to the technical problems and safety requirement differences with conventional aircraft. The e-VTOL aircraft certification should also meet the equivalent level of safety required by the current airworthiness standards, but there are existing problems in securing safety and meeting current standards. In this study, the e-VTOL's certification problems and technical limitations in satisfying the current standards are presented.

A Study on Improvement in Quality System Evaluation for Production Approval of Aircraft and Parts (항공기 및 부품 생산승인을 위한 품질시스템 평가기준 개선 연구)

  • Kang-Yi Lee;Jae-Hoon Han;Jung-Sam Lee
    • Journal of Aerospace System Engineering
    • /
    • v.17 no.6
    • /
    • pp.118-126
    • /
    • 2023
  • Most of the aerospace industries establish the SAE AS9100 Quality Management System, and acquire commercial certification by the 3rd party. Nevertheless, they repeatably have to cope with similar quality system evaluation by the airworthiness authority for the production certificate, parts manufacturer approval, and technical standard order authorization in accordance with the applicable regulations. The current quality system evaluation criteria of the airworthiness authority could be recommended for reforms in order to reduce duplication and correspond to the industrial development and environmental changes. In this paper, we propose measures to reform the authority's evaluation criteria through comparative analysis among the IAQG SAE AS9100, the FAA quality system codes, and the MOLIT ACSEP requirements.

An analysis of trends in argumentation research: A focus on international mathematics education journals (논증 연구의 동향 분석: 국외의 수학교육 학술지를 중심으로)

  • Jinam Hwang;Yujin Lee
    • The Mathematical Education
    • /
    • v.63 no.1
    • /
    • pp.105-122
    • /
    • 2024
  • This study analyzed the research trends of 101 articles published in prominent international mathematics education journals over 24 years from 2000, when NCTM's recommendation emphasizing argumentation was released, until September 2023. We first examined the overall trend of argumentation research and then analyzed representative research topics. We found that students were the focus of the studies. However, several studies focused on teachers. More studies were examined in secondary school than in elementary school, and many were conducted in argumentation in classroom contexts. We also found that argumentation research is becoming increasingly popular in international journals. The representative research topics included 'teaching practice,' 'argumentation structure,' 'proof,' 'student understanding,' and 'student reasoning.' Based on our findings, we could categorize three perspectives on argumentation: formal, contextual, and purposeful. This paper concludes with implications on the meaning and role of argumentation in Korean mathematics education.

Transmission Line Based Plucked String Model (전송선로 기반 탄현 모델)

  • Lee, Jingeol;French, Mark
    • The Journal of the Acoustical Society of Korea
    • /
    • v.32 no.4
    • /
    • pp.361-368
    • /
    • 2013
  • As one way to describe the behavior of a vibrating string, analogies to a transmission line have been made based on the fact that they have oppositely travelling waves on each of them. In such analogies, a rigid end to the string has been represented as an open circuit, and the displacement of the string as the current on the transmission line. However it turns out that the rigid end corresponds to a short circuit, the displacement to the voltage by the theory of the transmission line, and it is confirmed by experiments with circuit simulations. Based on these discoveries, a transmission line based plucked string model comprising a transmission line, two piecewise linear current sources, and switches is proposed. The proposed model is validated by showing that the voltage at the arbitrarily chosen location, and the voltage calculated over an infinitesimal portion at the end of the transmission line are consistent with the displacement at the corresponding location and the force on the rigid end of the string from the well known difference form of a wave equation governing the behavior of the string with its fundamental frequency tuned to that for the proposed model, respectively. Moreover, the applicability of the proposed model to modeling string and wind instruments is presented.

An Efficient Approach for Single-Pass Mining of Web Traversal Sequences (단일 스캔을 통한 웹 방문 패턴의 탐색 기법)

  • Kim, Nak-Min;Jeong, Byeong-Soo;Ahmed, Chowdhury Farhan
    • Journal of KIISE:Databases
    • /
    • v.37 no.5
    • /
    • pp.221-227
    • /
    • 2010
  • Web access sequence mining can discover the frequently accessed web pages pursued by users. Utility-based web access sequence mining handles non-binary occurrences of web pages and extracts more useful knowledge from web logs. However, the existing utility-based web access sequence mining approach considers web access sequences from the very beginning of web logs and therefore it is not suitable for mining data streams where the volume of data is huge and unbounded. At the same time, it cannot find the recent change of knowledge in data streams adaptively. The existing approach has many other limitations such as considering only forward references of web access sequences, suffers in the level-wise candidate generation-and-test methodology, needs several database scans, etc. In this paper, we propose a new approach for high utility web access sequence mining over data streams with a sliding window method. Our approach can not only handle large-scale data but also efficiently discover the recently generated information from data streams. Moreover, it can solve the other limitations of the existing algorithm over data streams. Extensive performance analyses show that our approach is very efficient and outperforms the existing algorithm.