• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.197-217
• /
• 2014

In my previous papers, I have argued that the so-called 'Uncontested Principle' does not hold for indicative conditionals based on inductive reasoning. This is mainly because if we accept that a material conditional '$A{\supset}C$' can be inferred from an indicative conditional based on inductive reasoning '$A{\rightarrow}_iC$', we get an absurd consequence such that we cannot distinguish between claiming 'C' to be probably true and claiming 'C' to be absolutely true on the assumption 'A'. However, in his recent paper "Uncontested Principle and Inductive Argument", Eunsuk Yang objects that my argument is unsuccessful in disputing the Uncontested Principle. In this paper, I show that his objections are irrelevant to my argument against the Uncontested Principle.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2007.04a
• /
• pp.25-29
• /
• 2007

Minimization of conventional propulsion device has been studied for altitude control of micro satellite. We studied micro nozzle performance and found higher significant loss for a micro nozzle with smaller nozzle throat diameter. To overcome this loss, we proposed thermal transpiration based micro propulsion system. This new system has no moving parts and can control flow by temperature gradient, and this can be an option for potential new micro propulsion system.

• Nuclear industry
• /
• v.6 no.4 s.38
• /
• pp.42-48
• /
• 1986

Manhattan프로젝트 보고서이기도 한 Katz와 Rabinowitch의 'The Chemistry of Uranium'에서는 우라늄발생 분광스펙트럼에 대한 흥미있는 사진을 게재하였는데 이 사진은 동위체가 빛에 의해 분리될 가능성을 시사하고 있는 것으로 평가되었다. 다음 내용은 최근 각국이 개발에 참여하고 있는 레이저를 이용한 동위체분리법의 소개이다.

• Journal for History of Mathematics
• /
• v.9 no.2
• /
• pp.10-14
• /
• 1996

논리법칙은 유한집합에서 성립하는 수학의 정리들을 최대한 일반화시킨 것에 불과하다. 따라서 우리는 이들 논리법칙들이 아무런 고려없이 무한집합의 수학에서도 성립할 것으로 단정해서는 안된다. 집합론에서 역리가 발생하는 것은 논리학의 한 원리인 배중률이 무한집합의 수학에서는 성립하지 않음을 보여주는 것이다.

• Journal for History of Mathematics
• /
• v.15 no.1
• /
• pp.109-114
• /
• 2002

By showing that several evidences from the history of mathematics do not follows the naturalness emerging in human being, the teaming principles of history of mathematics oriented teaming should be replaced both theoretically and practically by the principle of teaming from constructivism.

• Journal of the Korea Institute of Building Construction
• /
• v.10 no.3
• /
• pp.99-111
• /
• 2010

In recent years, the number of high-rise building construction projects has grown, and the number of construction safety accidents has also been increasing. Therefore, the objective of this study is to propose plans to prevent accidents by systematically organizing accident principles and developing a tree diagram for the process of safety accidents that occur in the construction industry. This study aims to show the diverse characteristics of construction accidents based on KOSHA's annual reports on safety accidents(burial, conflagration, explosion, burn) from 1993 to 2009. To achieve these objectives, in this study we first examined the risk factors for burial, conflagration, explosion, and burn. We then systematically organized the classification viewpoint of accident causes, and suggested a methodology for the rationalization of safety management through an analysis of the primary causes of accidents by work type. The results of this study based on this methodology can be divided into three areas: 1)the types of facilities were divided into 43 categories by analyzing the information of KOSHA's annual reports; 2)the causes of burial, conflagration, explosion, and burn were divided into 63types; 3)the types of work were divided into 29 categories.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2000.11a
• /
• pp.320-325
• /
• 2000

비열플라즈마를 이용한 방전기술(NTPD)은 배기가스로부터 발생되는 NOx와 $SO_2$의 제거에 있어서 최근 혁신적인 후처리 기술중의 하나다 NTPD는 전자빔과 전기적 방전을 사용하여 발생시킬 수 있는데, 두 방법 모두 동일한 기본적인 원리를 갖고 있다. 전기적 에너지의 대부분이 활동적인 전자들을 발생시키는데 이용되고 주위의 가스와 이온들에게는 거의 에너지가 전달되지 않아 효율적이다.(중략)

• Proceedings of the KIPE Conference
• /
• 2000.07a
• /
• pp.657-660
• /
• 2000

전력연구원은 원자로 내부에 적용하기 위한 소형경량의 수중로봇을 개발하기 위한 준비작업으로 자이로를 이용한 수중로봇 조향장치를 개발하고 있다 이장치는 자이로 3개를 조합한 모듈을 서보가 회전시켜 일정한 방향으로 서보의 회전속도에 비례하는 회전토크를 발생하도록 고안되었다 발생된 토크는 작용/반작용의 원리에 의해 서보가 부착되어있는 로봇본체에 작용한다. 이장치를 이용하면 수중로봇의 중심에서 Yaw와 Pitch를 제어할 수 있는 토크가 발생하고 좁은 공간에서 신속한 자세변환이 가능하다 본 고에서는 자이로 조향장치의 구조와 이론적 배경 및 시뮬레이션 결과를 소개한다.

• The Journal of the Acoustical Society of Korea
• /
• v.37 no.5
• /
• pp.309-316
• /
• 2018

Various studies have been conducted to improve the BSR (Buzz, Squeak, Rattle) noise generated irregularly while the vehicle is running. In vehicle, When an external force such as vibration or force flows into the contact surface, BSR noise is generated at the contact surfaces of nearby components. In this paper, BSR conceptually explain the kind of noise generation mechanisms and the basic principles of generation, which have been proven by observing and improving noise phenomena in automobiles over the last 10 years. Through this, it is expected that researchers who want to study BSR related improvement research not only in automobiles but also in other industries, It will be able to understand the BSR phenomenon and provide a framework for thinking out improvement ideas and to carry out further research.

• School Mathematics
• /
• v.5 no.4
• /
• pp.401-420
• /
• 2003

We have many problems in the teaching and learning of proof, especially in the demonstrative geometry of middle school mathematics introducing the proof for the first time. Above all, it is the serious problem that many students do not understand the meaning of proof. In this paper we intend to show that teaching the meaning of proof in terms of historic-genetic approach will be a method to improve the way of teaching proof. We investigate the development of proof which goes through three stages such as experimental, intuitional, and scientific stage as well as the development of geometry up to the completion of Euclid's Elements as Bran-ford set out, and analyze the teaching process for the purpose of looking for the way of improving the way of teaching proof through the historic-genetic approach. We conducted lessons about the angle-sum property of triangle in accordance with these three stages to the students of seventh grade. We show that the students will understand the meaning of proof meaningfully and properly through the historic-genetic approach.