• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.51-56
• /
• 2000

DEVS 형식론[Zeigler 1984]은 이산 사건 시스템을 기술하기 위해 Zeigler에 의해 제안된 모델링 형식론이다. 본 논문에서는 DEVS 형식론을 실시간 시뮬레이션 모델을 기술하기 위한 RT-DEVS 형식론으로 확장하고 이를 통해 기술된 시뮬레이션 모델을 실행하기 위한 실시간 수행 알고리즘을 제안한다. 또한 기술된 모델을 실시간에 기반하여 수행시키기 위한 시뮬레이션 커널의 구조와 구현에 대하여 다룬다.

• 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.

• School Mathematics
• /
• v.11 no.4
• /
• pp.607-623
• /
• 2009

This study aims to investigate a child's informal knowledge of carrying and borrowing in additive calculations. The additive word problems including three types of calculations are posed a child that is the first grader and has no lessons about carrying and borrowing. By analysing his answers, his informal knowledge, that is his methods and strategies for calculating the additive problems are revealed. As a result, conceptual aspects and procedural aspects of his informal knowledge are recognized, and the didactical implications are induced for connecting his informal knowledge and the formal knowledge about carrying and borrowing.

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

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

• Korean Journal of Optics and Photonics
• /
• v.13 no.5
• /
• pp.425-429
• /
• 2002

In this paper, we propose new simple schemes for all-optical serial-to-parallel and parallel-to-serial data format converters based on a semiconductor laser amplifier in a loop mirror (SLALOM) for all-optical data processing. They have the advantages of simple and easily expandable structure, efficient operation and easy implementation. We implement the proposed all-optical data converters. and experimentally demonstrate their operation.

• 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.

• The Journal of Engineering Geology
• /
• v.5 no.2
• /
• pp.167-179
• /
• 1995

The only three elements such as RQD, N -value and Es were used as a quantitative standard for the design of supporr pattern determidetion on subway line 8th in Seoul. Because the support pattern that was obtained by these elements could not he determined on the basis of the quantitative of geology and the orientations and properties of discontinuity planes, there have been some problems in determining the economic support pattern and tunnel stability. Therefore, in an attempt to determine the stable and economic support pattern with more quantitative elements, more flerrible rock mass classification with geologic conditions was performed by using RMR at 1745 sections and Q-system at 374 sections within Seongnam block on subway line 8th. Then, rusults by these two methods were compared with standard support pattern of the subway line 8th. Moreover, relationships between geology, geologic structures and topography to rock mass grades were studied. According to the rusult of this study, it is judged that the standard support pattern designed with PD-4 or PS - 4 should have been subdivided into 4~6 support patterns. Some sections where geologic structures such as faults and joints are developed tend to have rock mass grades. And they also have low rock mass grades near valley. On thr other hand, they show intermediate grades at piedmont area and the greatest ones at high mountains.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1999.08a
• /
• pp.123-128
• /
• 1999

최근 급속히 발달한 인터넷을 통해 단순한 전자우편뿐만 아니라 학술 논문, 저작물 및 보고서, 계약서 등 실제 물리적인 문서를 표현하는 전자문서의 교환이 빈번하게 이루어지고 있다. 본 연구에서는 현재 사용되고 있는 전자문서 형식들인 가지고 있는 특성과 장단점을 비교 연구하였다. 우선 문서교환을 목적으로 하는 전자문서 형식이 가져야 할 특성으로 범용성, 신속성, 장치 독립성, 간결성, 확장성 등을 제시하고 이를 기준으로 현재 사용되거나 제안되고 있는 전자문서 형식들을 평가하였다. 특히 DVI, HTML, XML, SGML. PDF, Postscript 등의 문서 형식들을 대상으로 조사하고 평가하였다. 그 결과 연군개발정보센터에서 사용 중인 DVI 문서 형식이 한글 문서를 인터넷 상에 구현하는 가장 효율적인 방법 가운데 하나임이 증명되었다.

• Electronics and Telecommunications Trends
• /
• v.10 no.2 s.36
• /
• pp.125-135
• /
• 1995

형식승인제도는 몇년 전까지만 해도 전기통신 단말장치에 대한 정부의 고유한 통제와 권한의 영역이라고 생각할 만큼 규제 일변도의 정책 차원으로 다루어졌으나, 최근 통신시장 개방화 및 세계화 등과 같은 국제적인 통신환경을 반영한 단말장치의 통신망 접속 자유화가 실현됨에 따라 새로운 대내.외의 경쟁적 환경 위에서 운영하게 되었다. 특히, 최근에 각국은 다른 국가와의 형식승인 상호인정을 고려하면서 전기통신기술의 급격한 발전에 능동적 및 포괄적으로 대처하기 위한 전기통신 단말장치의 형식승인 적용 분류체계를 재조명하는 흐름을 보이고 있다. 이에, 본 고에서는 선진국의 형식승인 적용 대상 단말장치의 범위와 기능 및 용도별의 분류체계를 분석하여 항목별로 선정되고 있는 국내 형식승인 적용 대상 단말 장치의 분류체계를 선진국 수준의 기능 및 용도별로 개선하기 위한 방향을 모색해 보았다.

• Journal of Korean Library and Information Science Society
• /
• v.33 no.3
• /
• pp.87-108
• /
• 2002

The objective of this study is to provide the basic data for the elements and form of bibliographic reference for citing internet sources. The analysis study through various styles were conducted for the purpose. In this paper, documentation styles recommended by MLA APA, CBE and Chicago manual, IS0690-2, SIST-02 are introduced. And, elements and forms of documentation styles for documenting information are carefully analyzed. Also, examples of reference for documenting internet resources were followed.