• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.028초

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

  • 정진우;최영식;유동녕
    • 전력전자학회논문지
    • /
    • 제16권1호
    • /
    • pp.1-10
    • /
    • 2011
  • 본 논문에서는 영구자석 동기전동기(PMSM)의 강인한 속도 제어를 위하여 퍼지 부하 토크관측기와 퍼지 속도제어기를 제안한다. 또한, 퍼지 부하 토크관측기와 퍼지 속도제어기가 존재하기 위한 LMI 조건을 유도하고, 관측기 및 제어기의 이득을 계산한다. 제안된 제어시스템의 안정도가 보장됨을 해석적으로 증명한다. 본 연구에서 제안된 관측기 기반의 퍼지 속도제어기의 성능을 검증하기 위하여, 시뮬레이션 및 실험 결과가 주어졌다. 본 결과를 통하여 제안된 제어 알고리즘은 영구자석 동기전동기의 속도를 정확하게 제어할 수 있음을 검증하였다.

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

  • 김광식;김동윤;문종주;최경용;김형섭;김장목
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2014년도 전력전자학술대회 논문집
    • /
    • pp.512-513
    • /
    • 2014
  • 본 논문은 3상 인버터에서 직류단 션트 저항을 이용하여 전류를 복원하는 새로운 기법에 대하여 제안한다. 직류단 션트 저항을 이용하여 전류를 측정할 경우, 전동기의 구동에 따른 지령 전압 벡터의 변화에 따라 SVPWM 헥사곤 내부에는 전류의 측정이 불가능한 영역이 존재한다. 기존의 방법들은 지령 벡터가 전류 측정이 불가능한 영역에 위치할 때, 스위칭 패턴에 변화를 주는 방법들을 이용하였다. 그러나, 이 기법들은 스위칭 패턴을 바꾸기 때문에 소음 및 전류 왜곡의 원인이 된다. 본 논문에서는 스위칭 패턴의 변화 없이 전류를 추정할 수 있는 새로운 기법을 소개한다. 제안된 알고리즘의 효율성은 실험적 결과를 통해 증명한다.

  • PDF

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

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

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

  • 최성훈;김인동;노의철
    • 한국정보통신학회논문지
    • /
    • 제11권3호
    • /
    • pp.540-548
    • /
    • 2007
  • 본 논문에서는 기존의 역율 보상회로에 비해 성능이 좋은 역율 보상 고효율 PWM 단상 정류기를 제안하였다. 제안한 정류기의 설계를 용이하게 하기위한 설계 가이드라인을 상세히 제시하였으며, 제안한 정류기의 특성을 실험으로 증명하였다. 제안한 정류기는 주 전류가 흐르는 선로 구성에서 2개의 주스위치만 존재하므로 도통손을 상당히 감소 시켰으며, 또한 단일 ZVT 회로를 통해 스위칭 손실을 감소시켰다. 제안한 정류기는 부스트 컨버터형의 같은 IGBT 모듈을 사용하므로 주 회로 구성도 간단할 뿐만 아니라, 주 스위치와 보조스위치의 게이트 전원을 제어전원과 공유할 수 있어 단일 제어전원으로 전체 시스템을 제어하므로 시스템의 크기를 보다 콤팩트하게 할 수 있는 특성을 지니고 있다.

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

  • 송두희;이혜리;박광진
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제8권10호
    • /
    • pp.239-244
    • /
    • 2019
  • 최근 모바일 환경에서 사용자들이 대용량의 질의를 요청함에 따라 질의 처리 비용이 급격히 증가하고 있다. 서버는 대용량의 질의를 처리하기 위하여 서버의 성능이 향상되고 있지만 하드웨어 측면의 향상보다 작업 부하가 더욱 증가하고 있는 실정이다. 이러한 문제를 해결하기 위하여 우리는 무선 방송환경을 활용한다. 그러나 기존의 무선방송 환경에서 서버는 자신이 관리하는 객체들을 모두 클라이언트에게 전송하는 문제점이 존재한다. 따라서 우리는 요구기반 방식과 무선방송 방식의 장점을 취합한 새로운 R-Bcast를 제안한다. R-Bcast는 질의자의 정보를 보호하면서 질의처리 시간을 줄일 수 있는 기법이다. 실험을 통해 R-Bcast가 기존 기법보다 우수함을 증명했다.

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

  • 박장현
    • 전기전자학회논문지
    • /
    • 제23권2호
    • /
    • pp.716-721
    • /
    • 2019
  • 불확실한 순궤환 비선형 계통에 대한 스위칭 미분기 기반의 새로운 백스테핑 제어기를 제안한다. 제안된 제어기에서는 점근적 추종 특성을 갖는 스위칭 미분기를 사용하여 백스테핑 제어기의 매 설계 단계마다 가상 제어항이 직접 근사된다. 그 결과 제어식이 매우 단순화되고 계통에 내재된 파라미터 및 구조적 불확실성과 외란이 존재함에도 불구하고 계통의 출력이 원하는 출력을 점근적으로 추종함을 증명한다. 또한 신경망이나 퍼지시스템 같은 계통의 구조적인 불확실성에 적응적으로 실시간 보상하기 위한 범용 근사기가 불필요하다. 모의실험을 통해서 제안된 제어기의 성능과 간결함을 보인다.

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

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

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

  • 김규식;김태석
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제8권7호
    • /
    • pp.159-166
    • /
    • 2019
  • 상용화된 많은 SSD와 달리 DRAM-less SSD는 원가절감, 전력소모량 감소 등의 이유로 DRAM을 가지고 있지 않다. 따라서 DRAM의 부재로 인해 입출력 성능이 저하될 가능성이 존재하며, 이는 호스트의 메모리 일부를 SSD 컨트롤러가 사용할 수 있는 NVMe 인터페이스의 HMB 기능을 통해 개선할 여지가 있다. 본 논문에서는 현재 상용화된 여러 DRAM-less SSD가 DRAM을 가지고 있는 동급 SSD에 비해 실제로 입출력 성능이 떨어지지만 HMB 기능을 사용해 일부 개선하고 있으며, 이는 SSD 컨트롤러가 호스트의 메모리를 매핑테이블 캐시로 주로 사용하고 있기 때문이라는 점을 다양한 실험을 통해 증명한다.

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

  • 김지홍;김영훈;임헌정;이준호;정태명
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2010년도 추계학술발표대회
    • /
    • pp.1221-1224
    • /
    • 2010
  • 스마트폰 사용자의 폭발적 증가와 함께 모바일 애플리케이션 시장에 대한 관심도 크게 증가하고 있다. 더불어 애플리케이션의 보안 위협 역시 증가하고 있는데 각 모바일 애플리케이션 마켓에서는 이에 대한 대처방안 중 하나로 코드사이닝 기법을 활용하고 있다. 코드사이닝 기법을 이용하여 애플리케이션 및 개발자에 대해 인증을 받는 방식에는 각 모바일 마켓별로 다른 점이 존재한다. 그 종류로는 개발자가 생성한 공개키와 해당 애플리케이션을 애플에 전송하고 애플이 이에 대한 검증을 하여 마지막 서명을 부여하는 방식의 애플 앱스토어, 개발자가 키와 증명서를 이용해 스스로 애플리케이션에 대해 증명서를 발급하는 방식의 구글 안드로이드 마켓, RIM에 등록되어 있는 코드사이닝 키를 이용하여 애플리케이션을 제출하면 자동적으로 서명을 받을 수 있는 블랙베리 앱월드, 사전에 개발자가 자기 증명을 통해 아이디를 발급받고 애플리케이션을 테스트 하우스에 등록하여 검증 및 서명을 받는 노키아오비스토어 등이 있다. 이와 같이 개발자 및 애플리케이션을 인증 받는 방식이 각 마켓별로 차이가 있는데 이에 대한 자세한 분석과 그에 따른 보안 위협에 대한 안정성에 대해 분석해 보겠다.

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

  • 마상준
    • 항공우주시스템공학회지
    • /
    • 제17권4호
    • /
    • pp.118-125
    • /
    • 2023
  • 풍동시험은 유도무기체계 개발에 있어서 필수적인 과정 중 하나이며, 시험 조건 및 용도에 따라 다양한 풍동설비가 존재한다. Ludwieg Tube는 극초음속 유도무기 체계개발에서 매우 유용하며, 고 받음각 시험 및 풍동시험 결과의 반복성, 일관성이 필요한 가운데 풍동시험 설비의 능력보강이 필요하였다. 본 논문에서는 국방과학연구소 Ludwieg Tube가 가졌던 문제점과 노즐, 진공탱크 및 모형지지부 성능개량을 통한 문제해결 방안을 제시하고 풍동시험 간 압력 측정 결과를 바탕으로 해결 방안을 증명하였다.