• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.16 no.3
• /
• pp.275-283
• /
• 1991

A design method of the new 7${\lambda}$/6 ring 3dB directional coupler using fundamental /6-sections is proposed and its frequency characteristics are analyzed. Furthermore, the experimental verification has been achieved in microstrip network, and hence, the validity of the design method of a microwave compoennt with the basic ${\lambda}$/6-sections proposed in this paper is confirmed.

• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.

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

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

• Korean Journal of Logic
• /
• v.2
• /
• pp.119-150
• /
• 1998

이 글의 기본적인 목적은 논리 체계의 근간이 되는 구조의 중요성을 부각시키는데 있다. 이를 위하여 여기서는 그러한 구조 논의가 격자를 통해 마련될 수 있다는 점을 논리, 철학적으로 예증하였다. 구체적으로 첫째로 그간 이질적인 체계로 간주되어 온 명제를 대상으로 한 고전 논리와 직관주의 논리, 다치 논리가 모두 격지 구조를 갖는다는 것을 형식적으로 증명하였다. 둘째로 격자 구조가 갖는 철학적 함의를 멱등법칙을 중심으로 검토하였다.

• Korean Journal of Logic
• /
• v.3
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.1
• /
• pp.81-93
• /
• 1993

창공-91의 비행 시험의 목적은 성능 측정과 비행 특성의 확인이며 교통부의 기준은 주로 비행기의 운항에 따르는 안정성에 주안점을 두고 있다. 비행 시험으로 실속 속도와 이착륙 성능 그리고 상승 성능을 측정하여 비행 교범에 수록하였고, 안정성과 조종성의 적절함을 판단하였다. 창공-91 A2기의 비행 시험에 소요된 비행 시간은 81. 5 시간이다. (창공-91 $A_1$기 : 52.8시간)

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

• The Journal of the Korea Contents Association
• /
• v.19 no.7
• /
• pp.110-119
• /
• 2019

is a movie about the frustration and the despair of young people in Korean society today. It is different from the previous Lee Chang-dong's film in that it provides the main character's perception and feelings about the world as the ultimate cause of the protagonist's actions. Lee Chang-dong's characters begin to change from . The main character of Burning goes one step further. He seems to believe that the main character's only weapon to overcome the logic and constraints of reality is obsessive and compulsive behaviors. Unlike previous movies, the character in Burning is a person who practices awareness and proves his character through action. I will analyze characters in to suggest the change of film form. Especially I will look at how the character's actions and the writer's own voice can meet and what results it bring about in this movie. It will lead to his changes in film form and an idea on the young people in Korean society today.

• The Journal of the Korea Contents Association
• /
• v.21 no.2
• /
• pp.604-621
• /
• 2021

Examination of the concurrent evolution of communication tools and eating behaviors over recent decades reveals that social media and other forms of digital content have become powerful new driving forces for nutritional choices and food consumption. The purpose of this research was to examine the effect between goal orientation of message (promotion versus prevention) and the type of message (text versus image) on effectiveness of the message. The findings showed that individuals exposed to a promotion-focused message similarly responded to the message regardless of the type of the message. By contrast, those who exposed to a prevention-focused message showed significantly more positive responses to the message posted on the text-based social media than the message on the image-based social media. The findings indicated that, if presented effectively, social media could be harnessed to promote healthier eating habits and behaviors, prevent those which can be harmful, and ultimately improve an individual's daily food consumption and overall quality of life.

• Journal of Convergence for Information Technology
• /
• v.11 no.11
• /
• pp.66-74
• /
• 2021

With the development of the Internet, user authentication technology that proves me online is improving. Existing ID methods pose a threat of personal information leakage if the service provider manages personal information and security is weak, and the information subject is to the service provider. In this study, as online identification technology develops, we propose a DID-based self-authentication model to prevent the threat of leakage of personal information from a centralized format and strengthen sovereignty. The proposed model allows users to directly manage personal information and strengthen their sovereignty over information topics through VC issued by the issuing agency. As a research method, a self-authentication model that guarantees security and integrity is presented using a decentralized identifier method based on distributed ledger technology, and the security of the attack method is analyzed. Because it authenticates through DID Auth using public key encryption algorithms, it is safe from sniffing, man in the middle attack, and the proposed model can replace real identity card.