• Title/Summary/Keyword: s theorem.

Search Result 1,347, Processing Time 0.021 seconds

Reconfigurable Flight Control Design for the Complex Damaged Blended Wing Body Aircraft

  • Ahn, Jongmin;Kim, Kijoon;Kim, Seungkeun;Suk, Jinyoung
    • International Journal of Aeronautical and Space Sciences
    • /
    • v.18 no.2
    • /
    • pp.290-299
    • /
    • 2017
  • Reconfigurable flight control using various kinds of adaptive control methods has been studied since the 1970s to enhance the survivability of aircraft in case of severe in-flight failure. Early studies were mainly focused on the failure of actuators. Recently, studies of reconfigurable flight controls that can accommodate complex damage (partial wing and tail loss) in conventional aircraft were reported. However, the partial wing loss effects on the aerodynamics of conventional type aircraft are quite different to those of BWB(blended wing body) aircraft. In this paper, a reconfigurable flight control algorithm was designed using a direct model reference adaptive method to overcome the instability caused by a complex damage of a BWB aircraft. A model reference adaptive control was incorporated into the inner loop rate control system enhancing the performance of the baseline control to cope with abrupt loss of stability. Gains of the model reference adaptive control were polled out using the Liapunov's stability theorem. Outer loop attitude autopilot was designed to manage roll and pitch of the BWB UAV as well. A 6-DOF dynamic model was built-up, where the normal flight can be made to switch to the damaged state abruptly reflecting the possible real flight situation. 22% of right wing loss as well as 25% loss for both vertical tail and rudder control surface were considered in this study. Static aerodynamic coefficients were obtained via wind tunnel test. Numerical simulations were conducted to demonstrate the performance of the reconfigurable flight control system.

The first UV fundamental plane and evidence of star formation in early-type galaxies

  • Jeong, Hyun-Jin;Yi, Suk-Young;Bureau, Martin;Davies, Roger L.
    • Bulletin of the Korean Space Science Society
    • /
    • 2009.10a
    • /
    • pp.36.2-36.2
    • /
    • 2009
  • We present GALEX (Galaxy Evolution Explorer) far (FUV) and near (NUV) ultraviolet imaging of 34 nearby early-type galaxies from the SAURON representative sample of 48 E/S0 galaxies, all of which have ground-based optical imaging from the MDM Observatory. The surface brightness profiles of nine galaxies (~26 per cent) show regions with blue UV-optical colours suggesting recent star formation. Five of these (~15 per cent) show blue integrated UV-optical colours that set them aside in the NUV integrated colour-magnitude relation. These are objects with either exceptionally intense and localised NUV fluxes or blue UV-optical colours throughout. They also have other properties confirming they have had recent star formation, in particular Hbeta absorption higher than expected for a quiescent population and a higher CO detection rate. This suggests that residual star formation is more common in early-type galaxies than we are used to believe. NUV-blue galaxies are generally drawn from the lower stellar velocity dispersion (sigma_e <200 km/s) and thus lower dynamical mass part of the sample. We have also constructed the first UV Fundamental Planes and show that NUV blue galaxies bias the slopes and increase the scatters. If they are eliminated the fits get closer to expectations from the virial theorem. Although our analysis is based on a limited sample, it seems that a dominant fraction of the tilt and scatter of the UV Fundamental Planes is due to the presence of young stars in preferentially low-mass early-type galaxies.

  • PDF

Game Theory Based Coevolutionary Algorithm: A New Computational Coevolutionary Approach

  • Sim, Kwee-Bo;Lee, Dong-Wook;Kim, Ji-Yoon
    • International Journal of Control, Automation, and Systems
    • /
    • v.2 no.4
    • /
    • pp.463-474
    • /
    • 2004
  • Game theory is a method of mathematical analysis developed to study the decision making process. In 1928, Von Neumann mathematically proved that every two-person, zero-sum game with many pure finite strategies for each player is deterministic. In the early 50's, Nash presented another concept as the basis for a generalization of Von Neumann's theorem. Another central achievement of game theory is the introduction of evolutionary game theory, by which agents can play optimal strategies in the absence of rationality. Through the process of Darwinian selection, a population of agents can evolve to an Evolutionary Stable Strategy (ESS) as introduced by Maynard Smith in 1982. Keeping pace with these game theoretical studies, the first computer simulation of coevolution was tried out by Hillis. Moreover, Kauffman proposed the NK model to analyze coevolutionary dynamics between different species. He showed how coevolutionary phenomenon reaches static states and that these states are either Nash equilibrium or ESS in game theory. Since studies concerning coevolutionary phenomenon were initiated, there have been numerous other researchers who have developed coevolutionary algorithms. In this paper we propose a new coevolutionary algorithm named Game theory based Coevolutionary Algorithm (GCEA) and we confirm that this algorithm can be a solution of evolutionary problems by searching the ESS. To evaluate this newly designed approach, we solve several test Multiobjective Optimization Problems (MOPs). From the results of these evaluations, we confirm that evolutionary game can be embodied by the coevolutionary algorithm and analyze the optimization performance of our algorithm by comparing the performance of our algorithm with that of other evolutionary optimization algorithms.

Super-Cavitating Flow Problems about Two-Dimensional Symmetric Strut (2차원 대칭 스트럿 주위의 초월 공동 유동 문제의 해석)

  • Y.G.,Kim;C.S.,Lee
    • Bulletin of the Society of Naval Architects of Korea
    • /
    • v.27 no.4
    • /
    • pp.15-26
    • /
    • 1990
  • This paper describes a potential-baoed panel method formulated for the analysis cf a supercavitating two-dimensional symmetri strut. The method employs normal dipoles and sources distributed on the foil and cavity surfaces to represent the potential flow around the cavitating hydrofoil. The kinematic boundary condition on the wetted portion of the foil surface is satisfied by requiring that the total potential vanish in the fictitious inner flow region of the foil, and the dynamic boundary condition on the cavity surface is satisfied by requiring that the potential vary linearly, i.e., the tangential velocity be constant. Green's theorem then results in a potential-based integral equation rather than the usual velocity-based formulation of Hess & Smith type, With the singularities distributed on the exact hydrofoil surface, the pressure distributions are predicted with improved accuracy compared to those of the linearized lifting surface theory, especially near the leading edge. The theory then predicts the cavity shape and cavitation number for an assumed cavity length. To improve the accuracy, the sources and dipoles on the cavity surface are moved to the newly computed cavity surface, where the boundary conditions are satisfied again. This iteration process is repeated until the results are converged.

  • PDF

오염집약도와 국제경쟁력의 변화: 1993~98

  • Kim, Dong-Seok
    • KDI Journal of Economic Policy
    • /
    • v.24 no.1
    • /
    • pp.113-190
    • /
    • 2002
  • The purpose of this paper is to perform empirical studies on the impact of pollution intensity on international competitiveness using 1993 and 1998 data, and to estimate the change in environmental regulation level faced by the firms during 1993~1998. Collecting relevant data and providing them for further studies in the area are another purposes of the paper. The first method is the regression of various indices of international competitiveness on factor costs, such as labor, capital, R&D and pollution abatement costs. Goal of the regression analysis is to estimate the scarcity and comparative advantage effect of each production factor, especially environmental resource. Regression results show that those industries which employ more environmental resource have higher comparative advantage in both years, which implies that Korean firms are endowed with abundant environmental resource compared to other countries. The second method is to compute the relative scarcity indices(HOVL indices) of production factors, proposed by Leamer based on Vanek's generalized Hecksher-Ohlin Theorem. This method estimates the relative scarcity of production factors by computing factor costs embodied in import and export of commodities. This method shows similar results as the regression method; i.e., trade pattern of production factors implies that the manufacturing sector in Korea is endowed with abundant environmental resource compared to other countries. Considering population density, water resource endowment, intensity of economic activity per unit area and current air and water pollution levels, it is evident that Korea is never endowed with abundant environmental resource compared to other countries. Then the abundance of environmental resource revealed by the trade patterns of commodities and production factors implies that Korea's environmental regulation level is excessively generous compared to environmental capacity, and that this increased the environmental resource endowment supplied to firms and thus distorted the inter-industry comparative advantages. Both regression and HOVL methods, on the other hand, show that overall environmental regulation level faced by the firms has been strengthened during 1993~1998.

  • PDF

A Lower Bound for Performance of Group Testing Problems (그룹검사 문제에 대한 성능 하한치)

  • Seong, Jin-Taek
    • The Journal of Korea Institute of Information, Electronics, and Communication Technology
    • /
    • v.11 no.5
    • /
    • pp.572-578
    • /
    • 2018
  • This paper considers Group Testing as one of combinatorial problems. The group testing first began to inspect soldier's syphilis infection during World War II and have long established an academic basis. Recently, there has been much interest in related areas because of the rediscovery of the value of the group testing. The group testing is the same as finding a few defect samples out of a large number of samples, which is similar to the inverse problem of Compressed Sensing. In this paper, we introduce the definition of the group testing, and specify the classes of the group testing and the bounds on performance of the group testing. In addition, we show a lower bound for the number of tests required to find defective samples using the theoretical theorem which is mainly used for relationship between conditional entropy and the probability of error in the information theory. We see how our result can be different from other related results.

Formal Verification of Functional Properties of an SCR-style Software Requirements Specifications using PVS (PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증)

  • Kim, Tae-Ho;Cha, Sung-Deok
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.8 no.1
    • /
    • pp.46-61
    • /
    • 2002
  • Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

Pharmacological and non-pharmacological strategies for preventing postherpetic neuralgia: a systematic review and network meta-analysis

  • Kim, Junhyeok;Kim, Min Kyoung;Choi, Geun Joo;Shin, Hwa Yong;Kim, Beom Gyu;Kang, Hyun
    • The Korean Journal of Pain
    • /
    • v.34 no.4
    • /
    • pp.509-533
    • /
    • 2021
  • Background: Postherpetic neuralgia (PHN) is a refractory complication of herpes zoster (HZ). To prevent PHN, various strategies have been aggressively adopted. However, the efficacy of these strategies remains controversial. Therefore, we aimed to estimate the relative efficacy of various strategies used in clinical practice for preventing PHN using a network meta-analysis (NMA). Methods: We performed a systematic and comprehensive search to identify all randomized controlled trials. The primary outcome was the incidence of PHN at 3 months after acute HZ. We performed both frequentist and Bayesian NMA and used the surface under the cumulative ranking curve (SUCRA) values to rank the interventions evaluated. Results: In total, 39 studies were included in the systematic review and NMA. According to the SUCRA value, the incidence of PHN was lower in the order of continuous epidural block with local anesthetics and steroids (EPI-LSE), antiviral agents with subcutaneous injection of local anesthetics and steroids (AV + sLS), antiviral agents with intracutaenous injection of local anesthetics and steroids (AV + iLS) at 3 months after acute HZ. EPI-LSE, AV + sLS and AV + iLS were also effective in preventing PHN at 1 month after acute HZ. And paravertebral block combined with antiviral and antiepileptic agents was effective in preventing PHN at 1, 3, and 6 months. Conclusions: The continuous epidural block with local anesthetics and steroid, antiviral agents with intracutaneous or subcutaneous injection of local anesthetics and a steroid, and paravertebral block combined with antiviral and antiepileptic agents are effective in preventing PHN.

Focal point construction of ellipses using analogy and analytical methods (유추와 분석적 방법을 활용한 타원 초점 작도)

  • Kim, Keun-Bae;Choi, Ok-Whan;Park, Dal-Won
    • Journal of the Korean School Mathematics Society
    • /
    • v.21 no.4
    • /
    • pp.401-418
    • /
    • 2018
  • The current geometric and vector textbooks focus on the mechanical activities of finding focus, corner, etc. through elliptic equations. In this paper, we propose a process in which analogy and analytical methods are used in reversible activities of focusing from a given elliptic graph without a coordinate plane. The exploratory tool was used as Geogebra. At first, students tried to find the focus of the ellipse by randomly constructing the major a is and the minor a is in the given ellipse. However, we have experienced a method of constructing the circle of symmetry and analyzed this principle and deduced it to the ellipse. As a result, we could construct the center, long a is and short a is of the ellipse. Then, using the analytical method, the focus formula was recognized as the Pythagorean theorem, and the ellipse's focus was constructed by using the original drawing. Therefore, it is confirmed that analogy and analytical method can positively affect the elliptical focus.

A Study on the Problems in and the Improvement of the Archives Evaluation System : Focusing on the Metropolitan Office of Education (기록관리 기관평가 제도의 문제점과 개선방안 연구 시도교육청을 대상으로)

  • Kwon, Do-gyun
    • The Korean Journal of Archival Studies
    • /
    • no.48
    • /
    • pp.180-208
    • /
    • 2016
  • Since the introduction of the Archives Evaluation System in 2008, the Republic of Korea's archives management has undergone many changes and great development. However, there remain process problems in several operations of concerned agencies. These are made up of problems in the system itself (operation-related problem), problems in evaluation indicators, and issues in communication issue between the rating agency and the national archives of the rated institutions. This study was a theorem for such status of the concept, objectives, and the indicators of the institutional evaluation system as it looked into the problems and sought improvement of the systems and indicators. The problems of the evaluation system were felt in the survey of the education field, which was conducted through interviews and phone interviews with the Office of Education's archives managers and researchers. Among the problems found were the assessment period, the number of indicators, evaluation process, the assessment indicators, and the best practices. Moreover, this study summarized the comments of the archives managers on what they believed are needed to improve the field. As a result, it confirmed that structural and fundamental changes in the institutional evaluation system are needed. Based on these findings, this study hopes that an archives management business for the public institutions of the Republic of Korea would be developed in the future.