• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.023 seconds

Robustness Analysis of Predictor Feedback Controller for Discrete-Time Linear Systems with Input Delays (입력지연을 갖는 이산시간 선형시스템을 위한 예측기 피드백 제어기의 강인성 해석)

  • Choi, Joon-Young
    • Journal of IKEEE
    • /
    • v.23 no.4
    • /
    • pp.1265-1272
    • /
    • 2019
  • We analyze the robustness of the existing predictor feedback controller for discrete-time linear systems with constant input delays against the structured model uncertainty. By modeling the constant input delay with a first-order PdE (Partial difference Equation), we replace the input delay with the PdE states. By applying a backstepping transformation, we build a target system that enables to construct an explicit Lyapunov function. Constructing the explicit Lyapunov function that covers the entire state variables, we prove the existence of an allowable maximum size of the structured model uncertainty to maintain stability and establish the robustness of the predictor feedback controller. The numerical example demonstrates that the stability of closed-loop system is maintained in the presence of the structured model uncertainty, and verifies the robustness of the predictor feedback controller.

On the Mechanism of Smooth Blasting on the Rock Containing Discontinuties (불연속면이 존재하는 암반에서의 Smooth Blasting의 기구)

  • 박홍민;이상은
    • Explosives and Blasting
    • /
    • v.14 no.4
    • /
    • pp.13-19
    • /
    • 1996
  • Lately, the improtance of smooth blasting is increasing on every construction fields, suchas underground caves, tunnels, and roadconstruction, etc. The main purpose of smooth blasting is to prevent unnecessary cracks from the base rockwhich preserved permanently and is to gain the smooth fracture plane. So, in smooth blashing, explosives with low detonating velocity are generally used. But it is difficult to discuss general theory on the smooth blashing because the mechanical properties of pertienent rocks are difficult regionally. Accordingly basic reserches on the smooth blasting are demended. In this paper, the mechanisms of the smooth blasting on the rocks containing discontinuities were discussd. Firstly, the writer predicted the formation of fracture plane and unevenness using mathematical methodology, the next the model blast tests were conducted in order to simulate the crack propagation modes from the blast holes. Through the research, the following conclusions were obtained l)The blast test results were in reasonally good agreement with the theoretical prediction. 2)The degree of discontinuity has an influence on the fracture morphology.

  • PDF

Efficient Congestion Control Technique of Random Access and Grouping for M2M according to User Type on 3GPP LTE-A s (3GPP LTE-A 시스템 기반 사용자 특성에 따른 효율적 Random Access 과부하 제어 기술 및 M2M 그룹화)

  • Kim, Junghyun;Ji, Soonbae;You, Cheolwoo
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.52 no.3
    • /
    • pp.48-55
    • /
    • 2015
  • This paper studies how to solve a problem caused by M2M terminals sending a few data based on $3^{rd}$ Generation Partnership Project(3GPP) Long Term Evolution-Advanced(LTE-A) system and then it is analyzed, proposed, and introduced into the techniques. Especially, it is introduced solution for the lack of Random Access Channel and an increasing number of latency caused by countless M2M devices. It is proposed the technology for M2M grouping as well as allowable access probability according to user type. As it decreases the number of terminal by grouping M2M devices to try random access at PRACH, it can be reduced collision between Cellular users and M2M devices. So, it is proved that the proposed mechanism can solve the increasing average latency of random access on system coexisting Cellular users and M2M devices through simulations.

Activation method of inquiry activity for students playing a leading role in teaching and learning by applying the van Hiele's learning process by stages in undergraduate pre-service teachers' mathematics class (van Hiele의 단계적 교수법에 근거한 예비교사들의 수학 수업에서 탐구 활동의 활성화 방안 탐색)

  • Hwang, Seok-Yoon;Kim, Ik-Pyo
    • Journal of the Korean School Mathematics Society
    • /
    • v.18 no.1
    • /
    • pp.39-60
    • /
    • 2015
  • It is one of the fundamental issues that students in teaching and learning process should take a proactive role in school mathematics. Inquiry or discovery learning in school mathematics is the specific method for students to participate in lessons on their own initiative, which is supported by many scholars in mathematics education. In this paper, we investigate pre-service teachers' perspectives of Inquiry or discovery learning by intensively analyzing information and guided orientation in teaching practice. From this, we find the direction of the pre-service teacher training program for carrying out pre-service teachers' role to help students to take a proactive role in school mathematics.

Effects of the Instability of International Financial Market on Port Import from China in Korea (국제금융시장의 불안정성이 한국의 대중국 항만 수입에 미치는 영향)

  • Kim, Chang-Beom;Lee, Min-Hui
    • Journal of Korea Port Economic Association
    • /
    • v.26 no.2
    • /
    • pp.49-57
    • /
    • 2010
  • This paper examines the relationship between port import from China and macroeconomic variables such as international financial crisis, exchange rate, and industrial production during the period 2000-2009. I employ GPH cointegration methodology since the model must be stationary to avoid the spurious results. The empirical results show that our model is stationary as well as mean-reverting. This paper also applies impulse-response functions to get additional information regarding the responses of the port import to the shocks economic variables such as financial crisis, exchange rate, and industrial production. The results show that the response of port import to exchange rate and financial crisis declines at the first and dies out slowly.

On Cn-Semistratifiable over $\alpha$

  • Han, Song-Ho
    • The Mathematical Education
    • /
    • v.26 no.2
    • /
    • pp.55-61
    • /
    • 1988
  • 이 논문에서는 CS-Semistratifiable 공간보다 더 일반화된 공간 Cn-Semistratifiable을 정의 하며 그에 따른 여러가지 성질들을 조사하였다. 위상 공간(X, $\tau$)에 대하여 $\alpha$$\times$$\tau$에서 X의 폐집합족으로의 함수 S가 존재하여 다음 조건들을 만족할 때 공간X는 Cn-Semistratifiable over $\alpha$라 정의한다. a) 임의의 개집합 U에 대하여 U=U{S($\beta$, U) : $\beta$<$\alpha$} b) U, V가 X의 개집합이고 U⊂CV이면 모든 $\beta$<$\alpha$에 대하여 S($\beta$, V)⊂S($\beta$, V)이다. c) 만약 ${\gamma}$<$\beta$<$\alpha$ 이라면 임의의 개집합 U에 대하여 S(${\gamma}$, U)⊂S($\beta$, U)이다. d) X의 수렴하는 net $X_{\beta}$$\longrightarrow$X와 X를 품는 임의의 개집합 U에 대하여 적당한 $\beta$<$\alpha$가 존재하여 X$\in$S($\beta$. U)이고 { $X_{\beta}$}는 S($\beta$, U)안에 eventual하게 들어간다. 위의 정의에 의하여 다음과 같은 성질들이 증명되었다. 1 . Strstifiable over $\alpha$$\longrightarrow$cn-semistratifiable over$\longrightarrow$semistratifiable over $\alpha$ 2, 어떤 공간이 cn-Semistratifiable over $\alpha$이기 위한 필요충분 조건은 그것이 linearly cushioned cn-pairnet를 갖는 것이다. 3. cn-semistratifiable over $\alpha$의 부분공간 역시 cn-semistratifiabie over $\alpha$ 하다. 4. on-semistratifiable over $\alpha$의 유한개의 적공간 역시 cn-semistratifiabie over $\alpha$한다. 5. 폐 cn-semistratifiable over $\alpha$ 부분공간들의 합공간 역시 on-semistrbtifiable over $\alpha$ 하다. 6. 폐연속 net-cevering 함수에 의하여 cn-semistratifiable over $\alpha$ 성질이 보존된다.

  • PDF

Regional Impacts on the Adaptation of Foreign Professional Migrants to the Korean Society (외국인 국내 적응의 지역적 차이에 대한 연구: 전문직 종사 외국인들을 대상으로)

  • Park, Bae-Gyoon
    • Journal of the Economic Geographical Society of Korea
    • /
    • v.13 no.1
    • /
    • pp.89-110
    • /
    • 2010
  • Relying on the concept of "multicultural space", this paper aims to examine the ways in which the adaptation of foreign professional migrants to the Korean society has been geographically differentiated. Due to the limits of spatial perspectives, existing studies on the adaptation of foreign migrants to the Korean society tend to ignore the geographical variations in the ways in, and the degrees at, which foreign migrants have been adapted into the Korean society. There are, however, significant regional variations in the living conditions, physical and cultural environments, and economic opportunities that are given to the foreign migrants in Korea, so that the adaptation of foreign migrants to the Korean society is regionally differentiated. In order to prove this, this paper explores whether and how the ways in which foreign professional migrants have adapted to the Korean society have been regionally differentiated on the basis of questionnaire surveys and statistical analyses.

  • PDF

Similarity Analysis and API Mapping with HLA and DDS for L-V-C Realization (L-V-C 실현을 위한 HLA와 DDS간 유사성 분석 및 API 매핑)

  • Cho, Kunryun;No, Giseop;Kim, Chongkwon
    • Journal of KIISE
    • /
    • v.42 no.5
    • /
    • pp.621-628
    • /
    • 2015
  • The rapid growth of network technology makes the high-tech weapon. Thus, in the modern war, the ability to immediately use of the high-tech weapon is important. To realize this ability, continuous trainning is necessary but, this trainning spends many money. To improve the budget efficiency, Modeling and Simulation(M&S) are used. However, they seriously decrease the reality. Recently, the system which can support the combination of Live with Virtual simulation is on the rise. The typical example is L-V-C Environment and many kind of middleware which can support the L-V-C Envrionment are already proposed. Previous middleware can support the interoperability between different simulations but, it cannot completely interoperate three(Live, Virtual, Constructive) simulation environments. In this paper, to solve this problem, we propose the scheme which is combination between different middlewares. And we conduct the API mapping between HLA and DDS which are typical middleware and verify the scheme.

Animal Liberation and Respect for Man (II) : P. Singer's Concept on Man and its weak Point (동물해방과 인간에 대한 존중(II) : 피터 싱어의 인간 개념과 문제점)

  • Moon, Sung-hak
    • Journal of Korean Philosophical Society
    • /
    • v.143
    • /
    • pp.87-118
    • /
    • 2017
  • In this paper, I will show several theoretical nonconformities which can be found in P. Singer's concept of human beings. As we know, P. Singer is a well-known animal liberalist. On the one hand, Singer regards man as a subordinate being to nature and on the other, as a transcendent being. This is the first inconsistency of Singer's concept of man. His second inconsistency is related to his position on the power of reason. He believes that it is the product of evolution, and at the same time that it is a power to resist the blindness of evolution. Thirdly, he also exposes the contradictory attitude in evaluation on man's moral ability. Considering these three contradictions, it becomes clear that Singer has failed to prove his claim that there is no qualitative difference between human beings and animals. Despite the popularity of his theory, I believe the theoretical foundation of Singer's animal liberation theory is rather weak. The reason for revealing the weakness of Singer's theory is not to return to the practice of mercilessly handling animals but to show that it is wrong to undermine human dignity under the guise of animal welfare.

Film Talk About 'Zainichi(Koreans in Japan)' (영화<60만번의 트라이>, '자이니치'를 말하다)

  • Jang, Seung-Hyun;Lee, Keun-Mo
    • 한국체육학회지인문사회과학편
    • /
    • v.56 no.1
    • /
    • pp.99-110
    • /
    • 2017
  • The purpose of this study was to focus on the social influence of the movie , to review the meaning and symbolism of Koreans living in Japan (ざいにち) and rugby in the movie, and to eventually reveal the messages from the movie. The research method was text analysis. As a result, Koreans living in Japan were represented in 2 ways. Koreans living in Japan were represented as Homo Sacer, the contradictory being, located inside society by Japan's sovereignty but considered as outsiders. Meanwhile, the identity of Koreans living in Japan were represented clearly as Korean and they were acknowledged in Japan as proud and capable. The rugby in the movie has 2 symbolic meanings. First, it was the most important and effective way to prove Korean existence in Japan by representing the struggle for recognition, additionally it also carried an important message about their ideal society.