• The Korean Journal of Air & Space Law and Policy
• /
• v.14
• /
• pp.151-174
• /
• 2001

Theories of international organization have explained the creation, maintenance, and decline of international organization. However, their explanations on changes of international organization have been much more different one another. For example, the theory of hegemonic stability argues that international organization can be created and maintained only by a hegemonic state and will be declined if the hegemonic state decline. On the other hand, the functional approach believes that the positive functions and effects that international organization provides motivate states to create and maintain the organization, while the game-theoretical approach explains international organization based on cost-benefit calculation of rational states. Thus, the empirical evaluation of the arguments of the theories of international organization and defining the major factors that determine international organization are necessary not only for the development of theories of international organization but also for making desirable policies toward international organization. For the purpose, this paper compares and contrasts the three major theories of international organization and applies the approaches to the case of the International Civil Aviation Organization (ICAO) to test their arguments. Since the ICAO has been rarely examined by the theories of international organization, the case study could be desirable case to evaluate theories of international organization. In this sense, this paper attempts to define the major factors that determine the creation, maintenance, and decline of the ICAO. In particular, since the Korean government has changed its policy for air transport security system recently, it will investigate the role of ICAO on the policy change to define the limits and strength of ICAO. In conclusion, this paper will assess the relative explanatory power of each approach based on the analysis of the creation and changes of ICAO

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.12
• /
• pp.29-43
• /
• 2021

In this paper, a new approach to solve the constrained dynamic programming is proposed by using the constraint programming. While the conventional dynamic programming scheme has the state space augmented with states on constraints, this approach, without state augmentation, represents states of constraints as domains in a contraining programming solver. It has a hybrid computational mechanism in its computation by combining solving the Bellman equation in the dynamic programming framework and exploiting the propagation and inference methods of the constraint programming. In order to portray the differences of the two approaches, this paper solves a simple version of the long-term car rental financing problem. In the conventional scheme, data structures for state on constraints are designed, and a simple inference borrowed from the constraint programming is used to the reduction of violation of constraints because no inference risks failure of a solution. In the hybrid approach, the architecture of interface of the dynamic programming solution method and the constraint programming solution method is shown. It finally discusses the advantages of the proposed method with the conventional method.

• The Bulletin of The Korean Astronomical Society
• /
• v.46 no.1
• /
• pp.37.2-37.2
• /
• 2021

One of the main limitations to the ground- based gravitational-wave (GW) detector sensitivity is quantum noise, which is induced by vacuum fluctuations entering the detector output port. The replacement of this ordinary vacuum field with a squeezed vacuum field has proven to be effective approach to mitigate the quantum noise in the interferometer detector and it is currently used in advanced detectors. However, the current frequency-independent squeezed vacuum cannot reduce quantum radiation pressure noise at low frequencies. A possible solution to reduce quantum noise in the broadband spectrum is the injection of frequency-dependent squeezed (FDS) vacuum. We will report the current status of squeezing experiment at KASI and introduce to the EPR (Einstein-Podolsky-Rosen) entangled state of light, which can realize FDS light without the need for an additional, external cavity.

• The Korean Journal of Air & Space Law and Policy
• /
• v.7
• /
• pp.151-175
• /
• 1995

In recent years, questions have arisen under several forms with respect to the need for adapting present legal order established under the Chicago Convention and relevant customary rules into newly developed environment surrounding the international air transport industry. Major feature of such trends included in opinions for modification of the present legal order might be defined as more liberalistic approach to this industry. In this respect, many scholars and lawyers in this field agree with a view that a theoretical tie between an aircraft/air liners and a register - State lies in political and strategical concern of the State so that each aircraft/air liners has been attributed a single nationality. In the context of such concern, each aircraft/air liners has been related with each register-State in the form of "genuine connection". However, present and near future development of air transport industry and its world - wide market requires some modification of such single nationality regime. Taking into account such circumstances, States as creator of present legal order are in the process of establishing new legal order where air liners with multi - nationality are capable of satisfying to such needs. As adopting a series of liberalization package for air transport industry in european continent, European Union adopts a concept of "community air carrier", by which an air space of each member State is open to each other, especially through the grant of cabotage right. A serious concern may arise in such grant because the Article 7 of the Chicago Convention prohibits such grant on an exclusive basis. While many theoretical opinions have been put forward concerning the interpretation of that article, a case of European Union shall be a good test of the range of its application. It is anticipated that future development around this issue shaH furnish us a major feature of the liberalization of international air transportation and an adaptation process of present legal order.

• The Korean Journal of Air & Space Law and Policy
• /
• v.28 no.1
• /
• pp.73-96
• /
• 2013

ICAO's Universal Safety Oversight Audit Programme (USOAP) was initially launched in January 1995, in response to widespread concerns about the adequacy of aviation safety oversight around the world. The recent reduction in aircraft accidents and effective role that is evaluated on the basis of these results, and in 2013 the existing 'snapshot approach' to 'regular monitoring system (USOAP-Continuous Monitoring Approach)' was converted to. ICAO aviation safety assessment of the state in today's international community 'aviation safety credibility' as objective indicators to judge the enormous impact on the aviation industry, the state is not satisfactory, especially if the results of the evaluation and expansion of code-share airline ban, reduced international air transit passengers, including premium increases business and economic penalties should. In addition, ICAO implementation of the existing laws and regulations(Prescriptive Approach), but based on the Risk-based prevention model, Proactive Approach introduced the concept of aviation safety system, including international aviation safety policy has been to switch paradigms. This new ICAO international aviation safety policy also applies to the Government of the Republic of Korea in line with the aviation safey policies have changed. In particular, the systematic implementation of safety management for the existing laws and regulations in the center of the safety oversight system of risk-based introduction of the concept of proactive safety management, and According to international standards ICAO aviation service providers operate their own Safety Management System was set out in Aviation Law ever. In addition, the aviation safety is at the center of the field of the safety of aircraft operations and maintenance for the promotion is promoting various safety policies. This new paradigm shift in the international aviation safety policy in line with our state in the international community with the most exemplary aviation safety system firmly established itself as a model, the Government will strengthen the competitiveness of our aviation plans to support. To do this, the government, airlines, aviation officials try all the practical effect would be expected.

• Journal of applied mathematics & informatics
• /
• v.28 no.1_2
• /
• pp.153-162
• /
• 2010

The finite buffer GI/G/1/K system is set up by using an unconventional arrangement of the state space, in which the remaining interarrival time or service time is chosen as the level. The stationary distributions of resulting Markov chain can be explicitly determined, and the chain is positive recurrent without any restriction. This is an advantage of this method, compared with that using the elapsed time approach [2].

• International Journal of Control, Automation, and Systems
• /
• v.5 no.2
• /
• pp.170-183
• /
• 2007

This paper presents a delay-dependent approach to robust filtering for linear parameter-varying (LPV) systems with discrete and distributed time-invariant delays in the states and outputs. It is assumed that the state-space matrices affinely depend on parameters that are measurable in real-time. Some new parameter-dependent delay-dependent stability conditions are established in terms of linear matrix inequalities (LMIs) such that the filtering process remains asymptotically stable and satisfies a prescribed $H_{\infty}$ performance level. Using polynomially parameter-dependent quadratic (PPDQ) functions and some Lagrange multiplier matrices, we establish the parameter-independent delay-dependent conditions with high precision under which the desired robust $H_{\infty}$ filters exist and derive the explicit expression of these filters. A numerical example is provided to demonstrate the validity of the proposed design approach.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.17 no.1
• /
• pp.120-129
• /
• 2009

Remanufacturing is an industrial manufacturing process. The merits of remanufacturing are to reuse old products to perform like a new product and to save energy, natural resources, landfill space and to reduce air pollution by less re-smelting. This paper proposes a systemic approach for activating the domestic remanufacturing industry. The approach is based on inside and outside regulations to apply remanufacturing companies. And, we analyzed the state and problems of remanufacturing industry for automobile parts. Also 5 essential tactics and 20 detail strategies are suggested. On the basis of the approach, the domestic remanufacturing industry will carry out the cooperation for their competitions.

• Structural Engineering and Mechanics
• /
• v.18 no.3
• /
• pp.377-388
• /
• 2004

Based on the basic equations of elasticity, free-edge effects on stresses in cross-ply laminated plates are found by using the state space method. The laminates are subjected to uniaxial-uniform extension plate, which is a typical example of general plane strain problem. The study takes into account material constants of all individual material layers and the state equation of a laminate is solved analytically in the through thickness direction. By this approach, a composite plate may be composed of an arbitrary number of orthotropic layers, each of which may have different material properties and thickness. The solution provides a continuous displacement and inter-laminar stress fields across all material interfaces and an approxiamte prediction to the singularity of stresses occurring in the boundary layer region of a free-edge. Numerical solutions are obtained and compared with the results obtained from an alternative numerical method.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1992.04b
• /
• pp.533-544
• /
• 1992

한 제품의 구성 부품 수가 증가함에 따라 조립/분해 순서의 방법수는 기하급수적으로 증가한다. 또한 이 순서의 선택에 의하여 조립/분해의 효율성이 결정된다. 본 논문에서는 조립제품의 조립순서(Assembly Sequence)와 특정부품의 효율적 교체(Part Replacement)를 위한 분해순서(Disassembly sequence)에 관한 새로운 Algorithm들을 다음 3가지 경우를 통하여 소개한다 : 1) Full Assembly/Disassembly, 2) Part Replacement by Individual Disassembly, 그리고 3) Part Replacement by Group Disassembly. 이들 Algorithm들은 'Freedom and Interference Space'라는 새로운 개념으로부터 유도되며, Group Disassembly는 Carpenter's Approach를 통하여 실현된다. 이 논문에서 소개되는 Algorithm들은 조립/분해순서와 함께 조립/분해 방향도 제시하는데 비교적 복잡한 예를 통하여 이들을 실현함으로써 실제 제품 Design에의 활용 가능성을 보여준다.