• 제목/요약/키워드: the method of infinite descent

검색결과 3건 처리시간 0.018초

무한강하법을 이용한 증명지도의 연구 (A Study on the Teaching of Proofs using the Method of Infinite Descent)

  • 이동원;김부윤;정영우
    • East Asian mathematical journal
    • /
    • 제32권2호
    • /
    • pp.193-215
    • /
    • 2016
  • There are three subjects in the study. First, after investigating the development process of the method of infinite descent and the reduction to absurdity, we prove them to be equivalent each other. Second, we apply the method of infinite descent to some problems in textbook and compare it with the reduction to absurdity. Finally, we discuss on teaching proofs with the method of infinite descent.

강제진동시험자료를 사용한 지반의 강성계수 추정 (Identification of Soil Stiffness Using Forced Vibration Test Data)

  • 최준성;이종세;김동수;이진선
    • 한국지진공학회:학술대회논문집
    • /
    • 한국지진공학회 2002년도 춘계 학술발표회 논문집
    • /
    • pp.101-108
    • /
    • 2002
  • This paper presents an input and system identification technique for a free-field system using forced vibration data. Identification is carried out on geotechnical experiment site at Yong-jong Island where Inchon International Airport being constructed. The identified quantities are the input load as well as the shear moduli of the free-field soil regions. The dynamic response analysis on the free-field system is carried out using the finite element method incorporating the infinite element formulation fur the unbounded layered soil medium. The criterion function for the parameter estimation is constructed using the frequency response amplitude ratios of the dynamic responses measured at several points of the free-field, so that the information on the input loading may be excluded. The constrained steepest descent method is employed to obtain the revised parameters. The simulated dynamic responses using the identified parameters and input load show excellent agreements with the measured responses.

  • PDF

궤도민감도 분석에 기반하여 복입력 전력시스템 안정화 장치(Dual-Input PSS)의 비선형 파라미터 최적화 기법 (Optimal Tuning of Nonlinear Parameters of a Dual-Input Power System Stabilizer Based on Analysis of Trajectory Sensitivities)

  • 백승묵;박정욱
    • 전기학회논문지
    • /
    • 제57권6호
    • /
    • pp.915-923
    • /
    • 2008
  • This paper focuses on optimal tuning of nonlinear parameters of a dual-input power system stabilizer(dual-input PSS), which can improve the system damping performance immediately following a large disturbance. Until recently, various PSS models have developed to bring stability and reliability to power systems, and some of these models are used in industry applications. However, due to non-smooth nonlinearities from the interaction between linear parameters(gains and time constants of linear controllers) and nonlinear parameters(saturation output limits), the output limit parameters cannot be determined by the conventional tuning methods based on linear analysis. Only ad hoc tuning procedures('trial and error' approach) have been used. Therefore, the steepest descent method is applied to implement the optimal tuning of the nonlinear parameters of the dual-input PSS. The gradient required in this optimization technique can be computed from trajectory sensitivities in hybrid system modeling with the differential-algebraic-impulsive-switched(DAIS) structure. The optimal output limits of the dual-input PSS are evaluated by time-domain simulation in both a single machine infinite bus(SMIB) system and a multi-machine power system in comparison with those of a single-input PSS.