• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.027 seconds

Design and Stability Analysis of a Fuzzy Observer-based Fuzzy Speed Controller for a PM Synchronous Motor (영구자석 동기전동기를 위한 퍼지 관측기 기반의 퍼지 제어기의 설계 및 안정도 해석)

  • Jung,, Jin-Woo;Choi, Young-Sik;Yu, Dong-Young
    • The Transactions of the Korean Institute of Power Electronics
    • /
    • v.16 no.1
    • /
    • pp.1-10
    • /
    • 2011
  • This paper proposes a new fuzzy load torque observer and a fuzzy speed regulator to guarantee a robust speed control of a permanent magnet synchronous motor (PMSM). Also, the LMI conditions are given for the existence of the fuzzy load torque observer and fuzzy speed controller, and the gains of the observer and controller are calculated. The stability of the proposed control system is analytically proven. To validate the effectiveness of the proposed observer-based fuzzy speed controller, the simulation and experimental results are presented. Finally, it is definitely demonstrated that the proposed control algorithm can be used to accurately control the speed of a PM synchronous motor.

A Current Estimation method using dc-link shunt resistor in unmeasurable region of SVPWM (직류단 션트 저항을 이용한 SVPWM의 전류 측정 불가능 영역에서의 추정 기법)

  • Kim, Kwang Sik;Kim, Dong Youn;Moon, Jong Joo;Choe, Gyeong Yong;Kim, Hyung Seop;Kim, Jang Mok
    • Proceedings of the KIPE Conference
    • /
    • 2014.07a
    • /
    • pp.512-513
    • /
    • 2014
  • 본 논문은 3상 인버터에서 직류단 션트 저항을 이용하여 전류를 복원하는 새로운 기법에 대하여 제안한다. 직류단 션트 저항을 이용하여 전류를 측정할 경우, 전동기의 구동에 따른 지령 전압 벡터의 변화에 따라 SVPWM 헥사곤 내부에는 전류의 측정이 불가능한 영역이 존재한다. 기존의 방법들은 지령 벡터가 전류 측정이 불가능한 영역에 위치할 때, 스위칭 패턴에 변화를 주는 방법들을 이용하였다. 그러나, 이 기법들은 스위칭 패턴을 바꾸기 때문에 소음 및 전류 왜곡의 원인이 된다. 본 논문에서는 스위칭 패턴의 변화 없이 전류를 추정할 수 있는 새로운 기법을 소개한다. 제안된 알고리즘의 효율성은 실험적 결과를 통해 증명한다.

  • PDF

IoT(Internet of Things)'s Reliable Services Organization using Directed Service-Object Graph Deployment Scheme (단방향 서비스 객체 그래프 배치 기법을 이용한 신뢰할 수 있는 사물인터넷 서비스 구성)

  • Park, Jun-Ha;Li, Quan Zhe;Kim, Shin-Dug
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2015.10a
    • /
    • pp.471-474
    • /
    • 2015
  • 최근 사물인터넷이 빠른 속도로 발전할 것으로 예측됨에 따라서, 서비스들은 사용자들에게 제공되기 위해서 작은 디바이스부터 거대한 디바이스들간의 임베디드 디바이스의 발전과 센서 허브와 같은 보조 프로세서의 발전을 통해, 서로 연결되고 있으며, 사용자들을 위해 지금보다 더 정확하고 신뢰할 수 있는 맞춤형 사물인터넷 서비스를 제공하기 위한 개발의 필요성이 대두되고 있다. 효과적인 서비스 구축을 위한 기법들로 하위 디바이스 계층의 수준과 상위 어플리케이션 계층의 수준을 서로 구분 지을 수 있도록 서비스 지향형 컴퓨팅 방식을 사용하는 여러 계층 구성의 계층적 추상화 접근 방법이 소개되고 있지만, 사용자들에게 더 정확하고 신뢰할 수 있는 서비스를 구축하는 것은 여전히 다양한 이슈가 존재한다. 본 논문에서는 서비스 객체의 단방향 그래프 구성 기법을 적용하여, 효과적이고 신뢰할 수 있는 사물인터넷 서비스 구성을 위하여 서비스 오브젝트를 단방향 그래프 자료구조로 구성한 새로운 형태의 IoT 미들웨어 구조를 제안한다. 또한, 새로 제안된 미들웨어 구조상에서의 사용자의 사용 시나리오 및 시스템 성능상의 이점을 분산 시뮬레이션을 통하여 증명한다.

Design of Power Factor Correction High Efficiency PWM Single-Phase Rectifier (역률보상 고효율 PWM 단상 정류기의 설계)

  • Choi, Seong-Hun;Kim, In-Dong;Nho, Eui-Cheol
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.11 no.3
    • /
    • pp.540-548
    • /
    • 2007
  • The parer proposes a power factor correction high efficiency PWM single-phase rectifier. Its good characteristics such as simple PWM control, low switch stress, and low VAR rating of commutation circuits make the proposed rectifier very suitable for various unidirectional power applications. In addition, the proposed rectifier consists of three boost-converter-type IGBT modules with the switching devices located at the bottom leg of the rectifier scheme, which also enables the use of the same power supply in both control and gate driver, thus resulting in simple control and power circuit structure. The detailed principle of operation and experimental results are also included. In particular, the design guide line is also suggested to make the circuit design of the proposed rectifier easy and fast.

An Efficient Spatial Query Processing in Wireless Networks (무선 네트워크 환경에서 효율적인 공간 질의 처리)

  • Song, Doo Hee;Lee, Hye Ri;Park, Kwang Jin
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.8 no.10
    • /
    • pp.239-244
    • /
    • 2019
  • In recent mobile environments, query processing costs have been rapidly increasing as users request large amounts of queries. In addition, the server's performance is increasing for many users to handle high-capacity queries, but the workload is increasing continuously. To solve these problems, we use the wireless broadcasting environment. However, in a existing wireless broadcasting environment, servers have a problem sending all the objects they manage to their clients. Therefore, we propose a new R-Bcast combining the advantages of demand-based and wireless broadcasting. R-Bcast is a technique that protects query information and reduces query processing time. Experiments have proved that R-Bcast is superior to conventional techniques.

State-Feedback Backstepping Controller for Uncertain Pure-Feedback Nonlinear Systems Using Switching Differentiator (불확실한 순궤환 비선형 계통에 대한 스위칭 미분기를 이용한 상태궤환 백스테핑 제어기)

  • Park, Jang-Hyun
    • Journal of IKEEE
    • /
    • v.23 no.2
    • /
    • pp.716-721
    • /
    • 2019
  • A novel switching differentiator-based backstepping controller for uncertain pure-feedback nonlinear systems is proposed. Using asymptotically convergent switching differentiator, time-derivatives of the virtual controls are directly estimated in every backstepping design steps. As a result, the control law has an extremely simple form and asymptotical stability of the tracking error is guaranteed regardless of parametric or unstructured uncertainties and unmatched disturbances in the considered system. It is required no universal approximators such as neural networks or fuzzy logic systems that are adaptively tuned online to cope with system uncertainties. Simulation results show the simplicity and performance of the proposed controller.

장구성(張九成)의 성선(性善) 개념 연구: 호상학과의 차이를 중심으로

  • LEE, HAEIM
    • Journal of Korean Philosophical Society
    • /
    • no.86
    • /
    • pp.61-85
    • /
    • 2009
  • 이 논문의 목적은 장구성의 성선 개념이 호상학과 같이 선악을 초월해 있는 것이 아니라 선한 마음의 근거로서 내재되어있는 것임을 밝히는 데 있다. 기존연구자들에 의하면, 선악을 초월한 성의 의미는 도덕적 본성의 내재성을 부정하는 것이고, 이로 인해서 성이 외부조건에 따라서 선하게도 악하게도 될 수 있다는 것이다. 그리고 도덕적 본성의 실현은 성에 근거한 것이 아니라 심에 근거해서 이루어지는 것이다. 장구성은 고자의 성 개념을 비판함으로써 도덕적 본성의 내재성과 본성에 근거한 도덕적 실천을 논증해 나간다. 장구성의 성선 개념은 '성은 인의예지로서 내재된 도덕적 본성이다'라는 명제로 압축될 수 있다. 이 명제는 세 가지 조건을 내포하고 있다. 첫째, 성은 곧 인의예지이다. 둘째, 인의예지는 사단의 근거로서만 존재한다. 셋째, 사단은 그 근원인 도덕적 본성을 확인할 수 있는 단서이다. 첫 번째 조건은 '곧'이 '바로 그' 혹은 '나아가다' 중에 어떤 것으로 해석되느냐에 따라서 도덕적 본성의 내재성여부가 가려진다는 것이다. 전자의 의미라면, 성이 인의예지로서 내재된 도덕적 본성이다. 반면에 후자의 의미라면, 인의예지는 도덕적 실천이 이루어진 후에 명명되는 덕목이다. 두 번째 조건은 인의예지와 사단이 체용의 관계를 이루느냐의 여부를 묻는 것이다. 체용의 의미는 도덕적 본성[인의예지]에 근거해서만 드러나는 것이 선한 마음[사단]임을 나타내는 것이다. 세 번째 조건은 사단이 도덕적 본성을 확인하는 단서로 쓰였느냐의 여부를 묻는 것이다. 도덕적 본성이 내 마음에 내재되어있다면, 본성실현의 관건은 그 본성을 확인하는 데에 달려있다. 이때 선한 마음은 확충해서 완전하게 실현되어야 하는 것이 아니라 그 근원을 찾아가는 단서이다. 장구성은 이 세 가지 조건을 충족시킴으로써 맹자의 성선 개념이 도덕적 본성의 내재성임을 증명한다.

Performance Evaluation of HMB-Supported DRAM-Less NVMe SSDs (HMB를 지원하는 DRAM-Less NVMe SSD의 성능 평가)

  • Kim, Kyu Sik;Kim, Tae Seok
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.8 no.7
    • /
    • pp.159-166
    • /
    • 2019
  • Unlike modern Solid-State Drives with DRAM, DRAM-less SSDs do not have DRAM because they are cheap and consume less power. Obviously, they have performance degradation problem due to lack of DRAM in the controller and this problem can be alleviated by utilizing host memory buffer(HMB) feature of NVMe, which allows SSDs to utilize the DRAM of host. In this paper, we show that commercial DRAM-less SSDs surely exhibit lower I/O performance than other SSDs with DRAM, but they can be improved by utilizing the HMB feature. Through various experiments and analysis, we also show that DRAM-less SSDs mainly exploit the DRAM of host as mapping table cache rather than read cache or write buffer to improve I/O performance.

Analysis of each appstores' certification way by code signing and security (앱스토어별 코드사이닝 기법을 이용한 인증 방식과 보안성 분석)

  • Kim, Ji-Hong;Kim, Young-Hun;Lim, Hun-Jung;Lee, Jun-Ho;Chung, Tai-Myoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • pp.1221-1224
    • /
    • 2010
  • 스마트폰 사용자의 폭발적 증가와 함께 모바일 애플리케이션 시장에 대한 관심도 크게 증가하고 있다. 더불어 애플리케이션의 보안 위협 역시 증가하고 있는데 각 모바일 애플리케이션 마켓에서는 이에 대한 대처방안 중 하나로 코드사이닝 기법을 활용하고 있다. 코드사이닝 기법을 이용하여 애플리케이션 및 개발자에 대해 인증을 받는 방식에는 각 모바일 마켓별로 다른 점이 존재한다. 그 종류로는 개발자가 생성한 공개키와 해당 애플리케이션을 애플에 전송하고 애플이 이에 대한 검증을 하여 마지막 서명을 부여하는 방식의 애플 앱스토어, 개발자가 키와 증명서를 이용해 스스로 애플리케이션에 대해 증명서를 발급하는 방식의 구글 안드로이드 마켓, RIM에 등록되어 있는 코드사이닝 키를 이용하여 애플리케이션을 제출하면 자동적으로 서명을 받을 수 있는 블랙베리 앱월드, 사전에 개발자가 자기 증명을 통해 아이디를 발급받고 애플리케이션을 테스트 하우스에 등록하여 검증 및 서명을 받는 노키아오비스토어 등이 있다. 이와 같이 개발자 및 애플리케이션을 인증 받는 방식이 각 마켓별로 차이가 있는데 이에 대한 자세한 분석과 그에 따른 보안 위협에 대한 안정성에 대해 분석해 보겠다.

A Study on the Wind Tunnel Facility Performance Improvement of ADD Ludwieg Tube (국방과학연구소 Ludwieg Tube 풍동설비 성능개량 연구)

  • Sangjun Ma
    • Journal of Aerospace System Engineering
    • /
    • v.17 no.4
    • /
    • pp.118-125
    • /
    • 2023
  • The wind tunnel test is one of the essential processes in the development of guided missile systems, and various wind tunnel facilities exist depending on the test requirements, various conditions, and their purposes. The Ludwieg tube is very useful in the development of guided missile systems, and we have necessitated the upgrade of the Ludwieg tube in ADD to acquire various test requirements, such as high angle of attack, repeatability, and stability. In this paper, upgrading the nozzle, vacuum tank, and model support is suggested to improve the Ludwieg tube performance, and we demonstrate a result of the solution through pressure measurement.