• Title/Summary/Keyword: 증명이론

Search Result 623, Processing Time 0.027 seconds

A Study on The Adaptive Robust Servocontroller (견실한 서보적응제어기에 관한 연구)

  • 김종원
    • Transactions of the Korean Society of Mechanical Engineers
    • /
    • v.14 no.3
    • /
    • pp.513-525
    • /
    • 1990
  • This paper presents Adaptive Robust Servocontrol(ARSC) scheme, which is an explicit(or indirect) pole-assignment adaptive algorithm with the property of "robustness". It guarantees asymptotic regulation and tracking in the presence of finite parameter perturbations of the unknown plant(or process) model. The controller structure is obtained by transforming a robust control theory into an adaptive control version. This controller structure is combined with the model estimation algorithm which includes a dead-zone for bounded noise. It is proved theoretically that this combination of control and identification is globally convergent and stable. It is also shown, through a real-time simulation study, that the desired closed-loop poles of the augmented system can be assigned directly, and that the adjustment mechanism of the scheme tunes the controller parameters according to the assigned closed-loop poles.oop poles.

Structural Safety Assessment of Independent Spherical LNG Tank(2nd report) - Fatigue Crack Propagation Analysis Based on the LBF Theory - (독립구형 LNG 탱크의 구조안전성 평가(제2보) - LBF 이론에 의한 피로균열 진전해석 -)

  • In-Sik Nho;Yong-Yun Nam;Ho-Sup Lee
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.30 no.4
    • /
    • pp.74-82
    • /
    • 1993
  • The present paper deals with the structural safety assessment techniques for independent type B spherical LNG tank against fatique crack initiation and propagation, which contains fellowing 3 steps. 1) Prediction of long term distribution of wave induced stresses and fatique crack intiation life using cumulative damage theory which were described at the 1st report. 2) Surface crack propagation analysis to verify that initial defects cannot penetrate tank plate. 3) Passing-through fatigue crack propagation analysis was performed based on LBF(Leak Before Failure ) theory.

  • PDF

새로운 데이지 월드를 통한 생태계 변화에 관한 연구

  • Jo, Byeong-Gil;Gang, Sun-Yeong
    • 한국지구과학회:학술대회논문집
    • /
    • 2010.04a
    • /
    • pp.81-87
    • /
    • 2010
  • This research aimed to find out the homeostatic temperature when there are various organisms. Also, this studies on the impacts the variety of organisms would make on the ecosystem when a species or a number of the species drastically decreases. For this, a new 'Daisyworld' was made. It had a greater variety of plants; and animals and microorganisms were added. This model had a circular ecosystem. It showed the temperature is well maintained when there are various organisms and that the restoration is faster when there are changes in the ecosystem.

  • PDF

Controller Design of Takagi-Sugeno Fuzzy Model-Based Multi-Agent Systems for State Consensus (타카기-수게노 퍼지모델 기반 다개체 시스템의 상태일치를 위한 제어기 설계)

  • Moon, Ji Hyun;Lee, Ho Jae;Kim, Do Wan
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.23 no.2
    • /
    • pp.133-138
    • /
    • 2013
  • This paper addresses a state consensus controller design technique of Takagi-Sugeno fuzzy model-based multi-agent systems in a continuous-time domain. We express the interconnection topology among the agents through graph theory. The design condition is represented in terms of linear matrix inequalities. Numerical example is provided to demonstrate the effectiveness of the proposed method.

Quasi-Analytical Method of C/SiC Material Properties Characterization (C/SiC 재료의 물성 측정을 위한 준 해석적 방법)

  • Kim, Yeong-K.
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2010.05a
    • /
    • pp.437-440
    • /
    • 2010
  • This paper represents a simple and effective calculation method to predict the orthotropic engineering constants for C/SiC woven fabric composite. The method, a quasi-analytical method using the modified equivalent laminated model, idealizes the woven fabric structure as a symmetric three-ply laminate to utilize a classical laminated plate theory. The required initial parameters are in-plane modulus from experiments and crimp ratio of the woven fabric. This study shows its feasibility by demonstrating example to calculate the engineering constants to thickness direction needed for three dimensional thermo-mechanical stress calculations.

  • PDF

Development of the Back Analysis Technique Using Incremental Displacements Measured in a Multistep Excavation (다단계 터널굴착시 계측된 증분변위를 이용한 역해석 기법의 개발)

  • 이연규;이정인
    • Geotechnical Engineering
    • /
    • v.13 no.1
    • /
    • pp.123-136
    • /
    • 1997
  • By applying the finite element theory which is capable of handling the geometrically altered structure in a successive manner, the linear relationship between incremental displacements and the magnitude of the initial stress field was derived. Based on this relationship, back analysis code having the capability of dealing multi-step excavation problem was built and verified With this back analysis code, the measurements of the incremental displacements in a particular excavation step make it possible to back-calculate the initial stress state. illustrative examples showed the applicability of this code to a practical problem.

  • PDF

A Study on Compensating Method of 2-way Power Splitter for CATV and/or MATV Systems (CATV 및 MATV 시스템용 2분배기의 보상방법에 관한 연구)

  • 민경식;김동일;정세모
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.18 no.4
    • /
    • pp.499-508
    • /
    • 1993
  • This paper has dealt with the design methods and the analysis of frequency characteristics for the power splitters with ferrite toroids, which are extensively used in CATV and/or MATV systems. The theoretical design methods and frequency characteristics of the prototype Wilkinson's 2-way power divider have been reviewed in lumped-element circuits form. On the basis of the design theory of the prototype Wilkinson's power divider, the method compensating of the prototype Wilkinson's power divider has been proposed by means of adding matching transformers. Thus, it has been shown that the theoretical frequency characteristics of the compensated power splitter are improved drastically in comparison with the prototype Wilkinson's power divider. Furthermore, the practical measurements of the frequency characteristics for the fabricated circuits show agreements with the theoretical results, and hence, the validity of the proposed design and analysis methods has been confirmed.

  • PDF

Digital Transmission and Isolation of Multichannel Analog Signals using a Single Optocoupler (옵토커플러의 절연을 이용한 멀티채널 아날로그 신호의 디지털 전송)

  • Nam, Jin Moon
    • The Journal of the Convergence on Culture Technology
    • /
    • v.4 no.4
    • /
    • pp.379-385
    • /
    • 2018
  • The transmission of analog signals through Galvanic isolators often results in signal distortion. Optocoupler gain is temperature dependent and also varies considerably, which would cause deformations of analog signals. Digital isolators have better noise immunity than analog, and digital transmission is a cost-effective noise rejection method for multichannel analog signals, which can solve temperature-induced signal distortion problems. Digital data, converted from multichannel analog signals, can be transmitted through a single optocoupler. We proposed advanced circuits and data frame for robust transmission of multichannel analog signals. Numerical experiments were performed to investigate distortion of multichannel analog signals during transmission.

A Study on Effects of International Capital Movement and Costly Trade in Goods on Industrial Structures (국제자본이동과 무역비용이 산업구조에 미치는 영향)

  • Park, Seok-gang
    • International Area Studies Review
    • /
    • v.20 no.4
    • /
    • pp.57-72
    • /
    • 2016
  • This Paper investigates the role of wealth distributions and Financial institutions of an economy on within-industry firm heterogeneity in productivity. If there is no Financial imperfection so that entrepreneurs are not constrained in borrowing all of them make the same, productivity-enhancing investment. International Trade industry average productivity also increases the avoidance of capital and international capital movements developing countries linked by lead industry cuts in global investing. International Trade of goods, on the other hand, amplifies this impact of capital mobility when capital structures the countries.

Precise Max-Pooling on Fully Homomorphic Encryption (완전 동형 암호에서의 정밀한 맥스 풀링 연산)

  • Eunsang Lee
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.3
    • /
    • pp.375-381
    • /
    • 2023
  • Fully homomorphic encryption enables algebraic operations on encrypted data, and recently, methods for approximating non-algebraic operations such as the maximum function have been studied. However, precise approximation of max-pooling operations for four or more numbers have not been researched yet. In this study, we propose a precise max-pooling approximation method using the composition of approximate polynomials of the maximum function and theoretically analyze its precision. Experimental results show that the proposed approximate max-pooling has a small amortized runtime of less than 1ms and high precision that matches the theoretical analysis.