• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2009년도 정보 및 제어 심포지움 논문집
• /
• pp.310-312
• /
• 2009

The heterodyne laser interferometer has been widely used in precise measurement field. However, the accuracy is limited by the nonlinearity error caused from incomplete laser sources and nonideal optical components. In this paper, we propose the Dual-EKF which estimates states and weights simultaneously to improve the resolution of heterodyne laser interferometer. As a proof, we demonstrate the effectiveness of our proposed method through experimental results.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.982-984
• /
• 1998

In this paper, a stability proof of the closed-loop stability for the nonlinear feedback linearization-$H_\infty$/sliding mode controller (NFL-$H_\infty$/SMC) is done by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 C
• /
• pp.994-996
• /
• 1998

In this paper, the standard Dole, Glover, Khargoneker, and Francis (abbr. : DGKF 1989) $H_{\infty}$ controller $(H_{\infty}C)$ is extended to the nonlinear feedback linearization-$H_\infty$-based sliding mode controller (NFL-$H_\infty$-based SMC). A stability proof of the closed-loop stability is done by a Lyapunov function candidate using an addition form of the sliding surface vector and the estimation error.

• 한국콘텐츠학회논문지
• /
• 제19권9호
• /
• pp.476-484
• /
• 2019

RFID 요킹증명은 한 쌍의 태그가 동시에 스캔 되었는지를 증명한다. 단일 리더에 의해 동시에 스캔 된 태그들은 서로 인접해 있기 때문에, 요킹증명은 태그가 부착된 객체들의 물리적 인접성을 검사해야 하는 응용에서 사용된다. 현재까지 제안된 대부분의 요킹증명 기법들은 인접한 태그에 관한 사전정보가 필수적이다. 만약 인접한 태그에 관한 정보를 수집하는 과정에서 오류가 발생하면, 이후의 증명들은 모두 검증에 실패하게 된다. 그러나 현재까지 인접한 태그에 관한 정보를 얻기 위한 구체적인 방법을 제시한 연구는 아직 없다. 이 연구에서 나는 요킹증명 기법을 위한 인접태그 정보 획득 기법인 TPIA을 제안한다. 제안기법은 스캐닝영역 결정과 스캐닝영역 검증의 두 단계로 구성된다. 스캐닝영역 결정 단계에서는 태그들의 위치와 전송범위를 고려하여 태그들을 스캔할 영역의 크기와 위치를 결정하며, 스캐닝영역 검증 단계에서는 고정된 위치의 참조태그를 사용하여 태그 스캐닝이 스캐닝영역 안에서 수행되었는지 여부를 검증한다. 나는 분석에서 제안하는 스캐닝영역이 정상적인 인접태그 정보의 획득을 보장하며, 스캐닝영역 검증이 스캐닝영역의 변형과 이탈을 감지하는 것을 보인다.

• 대한전기학회논문지
• /
• 제43권5호
• /
• pp.838-847
• /
• 1994

Although there is an analytical proof of modeling capability of the neural network, the convergency error in nonlinearity modeling is inevitable, since the steepest descent based practical larning algorithms do not guarantee the convergency of modeling error. Therefore, it is difficult to apply the neural network to control system in critical environments under an on-line learning scheme. Although the convergency of modeling error of a neural network is not guatranteed in the practical learning algorithms, the convergency, or boundedness of tracking error of the control system can be achieved if a proper feedback control law is combined with the neural network model to solve the problem of modeling error. In this paper, the neural network is introduced for compensating a system uncertainty to control a nonlinear dynamic system. And for suppressing inevitable modeling error of the neural network, an iterative neural network learning control algorithm is proposed as a virtual on-line realization of the Adaptive Variable Structure Controller. The efficiency of the proposed control scheme is verified from computer simulation on dynamics control of a 2 link robot manipulator.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.334-334
• /
• 2000

In this paper, sliding mode observer design principles based on the equivalent control approach are discussed for the systems which may not satisfy the matching conditions. We propose a new approach for designing a sliding observer and the proof of the stability of the state reconstruction error system for time-invariant systems using the Lyapunov method. The reaching time to the sliding surface, the sliding dynamics of the system, the stability of the reconstruction error system via Lyapunov method, sufficient conditions for the existence of the sliding mode are studied.

• 대한수학회논문집
• /
• 제32권3호
• /
• pp.565-566
• /
• 2017

An error in the proof of Theorem 1 of "On partition congruences for overcubic partition pairs" [Commun. Korean Math. Soc. 27 (2012), no. 3, 477-482] is corrected.

• Journal of applied mathematics & informatics
• /
• 제39권3_4호
• /
• pp.295-302
• /
• 2021

In this paper, we propose a new iterative algorithm to automatically prove the existence of solutions for a unilateral boundary value problems for second order equations.

• 대한안전경영과학회지
• /
• 제17권4호
• /
• pp.135-141
• /
• 2015

According to the statistics, occupational fatal injuries by mobile cranes were about 12 per year in whole industrial. Mobile cranes are widely used in various parts of industries to improve the efficiency of the work. However considerable number of fatal injuries happen each year during the operation of the machines. In this study, the current regulations to be adequate in industrial site have to be renew in order to prevent the fatal injuries by mobile cranes. Fatal injury analyses were conducted with several accident cases by the mobile cranes. For each accident, the causes of the injuries were examined and proper safety measures were proposed. In this study, the mobile crane showed a high fatality rate in industrial accidents and no detailed cause analysis of fatal accidents was conducted in terms of unsafe acts or conditions. This study proposed a revision of the standard guideline as an accident prevention measures through in-depth analysis of fatal accidents. First, among the mainly five machines caused the accidents, mobile crane was higher for the second showed 0.6% for number of fatalities compared to number of mobil cranes and for the third showed 11% for number of fatalities compared to number of injuries. Second, main cause of cognitive engineering agenda was visibility, responsibility, affordance. As the measures to prevent accidents before starting operation, alternative revision for the fool proof including visibility, responsibility, affordance etc. for the fool proof measures was proposed. Third, alternative revision as cognitive accident prevention for the fail safe measures was proposed.

• 대한기계학회논문집A
• /
• 제25권3호
• /
• pp.529-536
• /
• 2001

We investigate a surface-micromachined capacitive accelerometer with the grid-type electrodes surrounded by a perforated proof-mass frame. An electromechanical analysis of the microaccelerometer has been performed to obtain analytical formulae for natural frequency and output sensitivity response estimation. A set of prototype devices has been designed and fabricated based on a 4-mask surface-micromachining process. The resonant frequency of 5.8$\pm$0.17kHz and the detection sensitivity of 0.28$\pm$0.03mV/g have been measured from the fabricated devices. The parasitic capacitance of the detection circuit with a charge amplifier has been measured as 3.34$\pm$1.16pF. From the uncertainty analysis, we find that the major uncertainty in the natural frequency of the accelerometer comes from the micromachining error in the beam width patterning process. The major source of the sensitivity uncertainty includes uncertainty of the parasitic capacitance, the inter-electrode gap and the resonant frequency, contributing to the overall sensitivity uncertainty in the portions of 75%, 14% and 11%, respectively.