• Journal of Korean Philosophical Society
• /
• v.147
• /
• pp.215-237
• /
• 2018

The purpose of this study is to illuminate the precise nature and the central line of Kant's proof of the causal principle stated in the Second Analogy of the 2nd. edition of the Critique of Pure Reason. The study argues for the following thesis: 1. The proof of the Second Analogy concerns only the causal principle called the "every-event-some-cause" principle, and not the causal law(s) called the "same-cause-same-event" principle. 2. The goal of the proof is to establish the possibility of knowledge of an temporal order of successive states of an object. 3. The proof is broadly an single transcendental argument in two steps. The 1st. step is an analytic argument that infers from the given perceptions of an oder of successive states of an objects to the conclusion that the causal principle is the necessary condition for the objectivity of dies perceived order. The 2nd. step is a synthetic argument that infers from the formal nature of time to the conclusion that the causal principle is a necessary condition for die possibility of objective alterations and of empirical knowledge of these alterations. 4. The poof involves not the 'non sequitur' assumed by P. F. Strawson, that is, Kant infers not directly from a feature of our perceptions to a conclusion regarding the causal relations of distinct states of affairs that supposedly correspond to these perceptions.

• Journal of the Korea Society for Simulation
• /
• v.21 no.2
• /
• pp.19-30
• /
• 2012

In recent decades, it has been known that the Discrete Event System Specification, or DEVS, formalism provides sound semantics to design a modular and hierarchical model of a discrete event system. In spite of this benefit, practitioners have difficulties in applying the semantics to real-world systems modeling because DEVS needs to specify a large size of sets of events and/or states in an unstructured form. To resolve the difficulties, this paper proposes an extension of the DEVS formalism, called the Structured DEVS formalism, with an associated graphical representation, called the DEVS diagram, by means of structural representation of such sets based on closure property of set theory. The proposed formalism is proved to be equivalent to the original DEVS formalism in their model specification, yet the new formalism specifies sets in a structured form with a concept of phases, variables and ports. A simplified example of the structured DEVS with the DEVS diagram shows the effectiveness of the proposed formalism which can be easily implemented in an objected-oriented simulation environment.

• The Korean Journal of Air & Space Law and Policy
• /
• v.26 no.1
• /
• pp.31-63
• /
• 2011

Since Korea has invested only on developing an aircraft, it is true that Korea has neglected detailed standards and procedures about certification activities including essential safety procedures. Most developed countries have implemented mandatory airworthiness system by legislating it for operational safety of aircraft based on ICAO Annex 8, and the U.S. Department of Defense and the FAA's Airworthiness system have been adapted it to the realities of their circumstance. Therefore, Airworthiness system that can guarantee the safety of the aircraft at international level is necessary to enhance flight safety and to create export opportunities of an aircraft as a country which can develop an aircraft by itself To achieve this, a study on the improvement of aircraft airworthiness was carried out by analyzing the problem of domestic airworthiness system and by reflecting international best practices on the establishment of a system for improved Airworthiness.

• Journal of the Korean School Mathematics Society
• /
• v.14 no.3
• /
• pp.325-337
• /
• 2011

There have been several studies regarding strict and formal proof in the field of geometry in middle school curriculum, and the level of proof has been gradually lowered along with the changes in the curriculum. In the 2011 Revised Middle School Math Curriculum, there have been efforts to eliminate the term 'proof' and instead to replace it with the new one, 'justification'. Therefore, this study intends to present specific and practical examples of justification by analyzing the current math textbook especially in the field of geometry. As a result, it identified that strict and practical proof has been sharply increased in the second year of middle school. It also witnessed the possibility of justification from the various examples presented in the first, second, and the third year of the middle school math textbook.

• Aerospace Engineering and Technology
• /
• v.7 no.2
• /
• pp.196-204
• /
• 2008

Modem rotorcraft is required to have the capability to operate in all-weather conditions. Also icing condition is important issue to aircraft safety and certification. And rotorcraft icing research has come a long way during the past few decades. The aircraft icing is the most difficult to handle. So, icing-related accidents, incidents and operating problems still occur regularly in service, despite improvements in design and test techniques. By reviewing icing certification requirement of FAR(Federal Aviation Regulations) and KAS(Korean Airworthiness Standard), this paper describes methods how to demonstrate safety in the flight and consideration of icing when rotorcraft is required TC(Type Certification).

• 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 of Aerospace System Engineering
• /
• v.3 no.1
• /
• pp.30-35
• /
• 2009

This study is on the establishment process of Certification Plan of KPP small aircraft development, domestic BASA(Bilateral Aviation Safety Agreement) shadow certification project. For the development of certification plan incorporations process understanding applicable regulations, selection of certification basis, definition of means of compliance and establishment of compliance checklist. On the basis of this process, we develop type certification procedure suitable for domestic small aircraft.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.11 no.2
• /
• pp.79-92
• /
• 2003

This study is to identify the hazard of ozone and to evaluate ozone effect that is flowed into the cabin when the airplane is flying at high altitude. For this purpose, it is studied that how ozone is generated in the air, what the effect on human body is due to the cabin ozone and what the design criteria is considering or preventing the ozone hazard. And, finally the regulations and means of compliance are studied and introduced to assure that the aircraft satisfies the design criteria related to ozone.

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

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

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