• Title/Summary/Keyword: 유효성 증명

Search Result 207, Processing Time 0.05 seconds

Observer Design for Discrete-Time Nonlinear Systems with Output Delay (출력지연을 갖는 이산시간 비선형 시스템의 관측기 설계)

  • Lee, Sung-Ryul
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.49 no.3
    • /
    • pp.26-30
    • /
    • 2012
  • This paper presents the observer design method for discrete-time nonlinear systems with delayed output. It is shown that by considering a nonlinear term of error dynamics as an additional state variable, the discrete-time nonlinear error dynamics with time delay can be transformed into the discrete-time linear one with time delay. Sufficient conditions for existence of state observer are characterized by linear matrix inequalities. Finally, an illustrative example is given in order to show the effectiveness of our design method.

Design of Sliding Mode Controller with a SIIM Fuzzy Logic Boundary Layer (간편 간접추론 퍼지논리 경계층을 갖는 슬라이딩 모드 제어기의 설계)

  • 채창현
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.41 no.2
    • /
    • pp.45-52
    • /
    • 2004
  • The sliding mode controller with a boundary layer implemented by simplified indirect inference method (SIIM) fuzzy logic was proposed. The components of the sliding line function are used for the inputs of the SIIM fuzzy logic. The proposed control system is simple because there is no need to derive the sigmoid function and there are only four rules. The overall stability of the proposed system and the boundness of the tracking error are proved easily using the Lyapunov theory. We apply the proposed controller to control a nonlinear time-varying system. The computer simulation showed the validity of the proposed control system.

A Design and Implementation of Context-Adaptive Self-Configuration System in Ubiquitous Computing Environment (유비쿼터스 컴퓨팅 환경에서 상황적응형 자가구성 시스템의 설계와 구현)

  • 이승화;오제환;이은석
    • Proceedings of the Korea Inteligent Information System Society Conference
    • /
    • 2004.11a
    • /
    • pp.233-241
    • /
    • 2004
  • 본 논문에서는 분산된 관리대상의 시스템자원과 사용자정보, 사용패턴을 Context로 수집하여, 구성(Configuration)을 수행하는 적응형 자가관리시스템을 제안한다. 본 시스템은 기존에 수동으로 이루어지던 Configuration 작업들 (Install, Reconfiguration, Update)을 자율적으로 수행하여, 사용자의 시스템관리에 대한 부담을 줄여주게 되며, 많은 비용과 오류를 감소시켜준다. 본 시스템은 수집된 Context 정보를 기반으로 사용자의 환경에 맞는 구성요소를 선택하여 설치하게 되며, 사용자의 기존 애플리케이션의 환경설정과 사용패턴을 기반으로, 보다 개인화된 설정을 해준다. 설정 이후에는 사용자의 행동을 암시적 피드백으로 받아, 이를 학습하고 유사한 상황이 다시 발생할 경우, 이를 다음 행동에 반영한다. 그리고 기존에 중앙서버로부터 일률적으로 관련파일을 전송하고 관리하는 중앙집중배포방식의 여러 문제점에 대응하기 위해 Peer-to-Peer 방식으로 파일을 카피하고, 이를 통해 중앙서버의 과부하를 줄이는 동시에 빠른 파일의 배포가 가능하도록 하였다. 본 시스템의 평가를 위해 프로토타입을 구현하여, 기존 수동 Configuration작업, MS-IBM과 같은 관련시스템과의 비교를 수행하였으며, 기능적 측면과 작업에 소요되는 시간에 대한 비교결과를 통해 본 시스템의 유효성을 증명하였다.

  • PDF

Analysis of Coupling Windows of the Dielectric Resonator Filter (유전체 공진기 필터의 결합창 특성해석)

  • 김병욱;윤두일;윤상원
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.13 no.1
    • /
    • pp.101-105
    • /
    • 2002
  • In this paper, the coupling windows of the dielectric resonator filter have been analyzed. The coupling factor which has been used to characterize the coupling window is represented by closed form expressions. The deviation of the coupling factor as the size of coupling window has been compared between calculated by presented method and measured ones. There are very closed agreements. The presented method can be applied not only to design dielectric resonator but also to design varactor tuned dielectric resonator filter so as that the passband bandwidth is constant within tuned ranges.

The User's Requirement Analysis of SMS(SecureDocument Management System) using Use Case (쓰임새(Use Case)를 이용한 보안업무 관리 시스템의 사용자 요구사항 분석)

  • Kim, See-Jeong;Lee, Sang-Hoon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2001.10a
    • /
    • pp.409-412
    • /
    • 2001
  • 보안업무는 모든 군 업무를 최상위 수준에서 관할하는 업무이다. 하지만 지금까지 전산화를 이루지 못한 문제점을 갖고 있었다. 본 논문은 군 보안업무 전산화를 위해 개발 중인 보안업무 관리 시스템의 사용자 요구사항 분석과정을 다룬 것이다. 보안업무 관리 시스템의 요구사항 분석을 위해 객체 모델링의 쓰임새를 이용한 분석방법론을 적용하여, 사용자 요구사항 정의에서 시나리오 작성까지의 과정을 통해 적절히 요구사항을 분석함으로써, SMS의 시스템 모델을 제시하고 요구사항 분석에서 쓰임새 중심의 유효성을 증명하였다.

  • PDF

A Study on Ultra Sonic based Map Building for Mobile Robot (이동 로봇을 위한 초음파 센서 기반의 지도 생성에 관한 연구)

  • Seo, Nam-Il;Hong, Hyun-Ju;Kwen, Seok-Geon;Lee, Yong-Joong;Ro, Young-Shick
    • Proceedings of the KIEE Conference
    • /
    • 1999.07g
    • /
    • pp.3080-3082
    • /
    • 1999
  • 본 논문에서는 실내환경에서 얻어진 격자 지도(grid map)상의 장애물 정보의 표현을 간략화 시키는 방법에 대하여 논하였다. 여기서 기본이 되는 격자 지도의 장애물 정보는 초음파 센서를 이용하여 얻어졌다고 가정하였다. 그리고 생성된 장애물 정보를 직선 성분으로 간단히 표현하여 저장될 정보의 양을 줄이는 변환 방법들인 체인 코드(chain code)와 호프 변환(Hough transform)에 대하여 논하였다. 그리고, 논의된 방법의 유효성을 증명하기 위하여 컴퓨터 시뮬레이션에 의한 결과를 제시하였으며, 단점들에 대한 앞으로의 연구 방향을 제시 하였다.

  • PDF

Application of Digital Polymerase Chain Reaction for Human Gene Detection in Heterologous Tissues (이종 조직에서 사람 유전자 검출을 위한 디지털 중합효소연쇄반응의 적용)

  • Kim, Jin-Hee
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2018.05a
    • /
    • pp.561-562
    • /
    • 2018
  • 디지털 중합효소연쇄반응(Digital PCR)은 3세대 PCR로 명명하며, 1세대인 일반 PCR과 2세대인 정량 PCR(Real-time PCR)의 단점을 보완하여 개발된 방법이다. Digital PCR System은 소량의 PCR 반응을 10만개 이상의 반응통(wall)에 적재하는 방식의 나노유체칩에서 쪼개어 증폭시킨 후, target DNA를 계수한다. Target DNA의 증폭 여부에 따라 positive(1)와 negative(0)로 digital signal처럼 받아들여 계수하고, 포아송 분포를 통해 target DNA의 copy를 계산해 최종적으로 샘플 microlitr당 Copy수로 결과 값을 확인할 수 있다. 본 연구에서는 종(種)이 다른 동물의 조직이 서로 섞여있을 때 사람의 조직을 탐색하는 방법으로 유전자 증폭을 할 경우, digital PCR의 유효성에 대해 증명하였다.

  • PDF

Commutation Torque Ripple Reduction of BLDCM using Estimated B.E.M.F (역기전력 모델을 이용한 BLDCM의 전류구간 토크 리플 억제)

  • Park, Junhwi;Kwak, YunChang;Ahn, Jin-Woo;Lee, Dong-Hee
    • Proceedings of the KIPE Conference
    • /
    • 2015.07a
    • /
    • pp.217-218
    • /
    • 2015
  • 본 논문에선 BLDCM(Brushless DC Motor)의 전류(轉流)구간에서 발생하는 토크리플을 저감시키기 위해 BLDCM의 역기 전력 모델을 이용하여 상승하는 전류와 하강하는 전류의 기울기가 같아지도록 PWM의 턴-온 시간을 실시간으로 제어하는 방식을 제안한다. 제안된 방식에서는 상이 전환되는 구간에서 상전류의 변화량이 스위칭 시간에 따른 인가전압과 전동기 모델방정식 및 예측되는 역기전력 모델에 의해 예측되어지며, 인가하는 전압의 크기는 PWM의 턴-온 시간에 따라 변하게 되므로, 두 전류의 변화량이 같아지도록 하는 스위칭 시간을 계산하여 적용하는 방식이다. 제안된 방식의 유효성은 실제 BLDCM에 대한 시뮬레이션을 통하여 증명하였다.

  • PDF

Public Key Authentication using Newton Interpolation Polynomials and Secret Sharing Scheme in Tactical Ad-hoc Network (전술 Ad-hoc 네트워크에서 Newton의 보간 다항식과 비밀분산기법을 이용한 공개키 인증)

  • So, Jin-Seok;Lee, Soo-Jin
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06c
    • /
    • pp.236-238
    • /
    • 2012
  • Ad-hoc 네트워크에서 각 노드는 분산 및 협동을 통해 자체적으로 이웃노드와 무선네트워크를 구축하고 주고받게 된다. 그러나 Ad-hoc 네트워크에서 하위노드의 제한적인 저장/통신/계산 능력, 상호인증의 어려움 등으로 기존의 보안대책을 그대로 적용할 수 없어 Ad-hoc 네트워크 특성에 맞는 새로운 보안대책이 필요하다. 이를 위해 비밀분산기법 중의 일종인 (t,n) 임계치 기법을 통해 노드를 인증하는 방식이 제안되기도 하였으나, 이는 고정된 t개 노드의 분산정보가 모여야만 원래의 비밀을 복원할 수 있는 것으로 주로 적대적 환경에 배치되어야 하는 전술 Ad-hoc 네트워크의 요구사항과는 부합하지 않는다. 따라서, 본 논문에서는 기존의 (t,n) 임계치 기법에 Newton의 보간 다항식을 최초로 적용하여 임계값 t를 동적으로 변경할 수 있는 공개키 인증방식을 제안하고, 그 유효성을 증명하고자 한다.

Certificate Management Platform using Hyperledger (하이퍼레저를 이용한 자격증 관리 플랫폼)

  • Lee, Ju-hyun;Yang, Hee-tae;Jeong, Ye-rim;Jeon, Dae-sik
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2019.10a
    • /
    • pp.73-76
    • /
    • 2019
  • 현재의 채용 시스템은 이력서에 구직자가 직접 자격증 정보를 입력하고 기업 이를 검증하기 위한 절차를 별도로 수행한다. 자격증 정보 관리와 검증의 불편함을 줄이기 위해 하이퍼레저 기반 블록체인 기술을 이용하여 자격증 관리 플랫폼을 구축하고자 한다. 구직자는 한 번의 인증으로 자신의 모든 자격증을 관리하고 기업에서는 이력서에 포함된 키를 이용하여 블록체인에 자격증 정보를 조회함으로써 별도로 원본을 제출할 필요없이 자격증의 유효성을 증명할 수 있다.