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

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

IPMSM 토크 제어를 위한 곡면 적합을 이용한 Look Up Table 생성 및 분할 방법 (Surface Fitted Look Up Table and Division Method for IPMSM Torque Control)

  • 허홍준;김장목;박귀열;안태규;신덕웅
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2014년도 전력전자학술대회 논문집
    • /
    • pp.126-127
    • /
    • 2014
  • 기존 IPMSM (Interior Permanent Magnet Synchronous Motor) 제어를 위한 LUT (Look Up Table)방식은 입력한 일정 간격의 데이터를 이용한 선형 보간 방법이 주로 사용되었다. 하지만, 이러한 방식은 LUT 구성을 위해 많은 데이터를 요구하므로, DSP 메모리 용량에 LUT 구성의 한계가 존재한다. 또한, 많은 양의 데이터를 관리해야하는 단점을 가지고 있다. 본 논문에서는 이러한 단점을 보완하기 위하여 영역 분할을 이용한 다항식 곡면 적합 LUT 구성을 제안하였다. 다항식 곡면 적합을 이용한 LUT 구성 방법은, 관리해야하는 데이터양을 비약적으로 줄일 수 있는 장점을 가지고 있다. 제안한 방법의 효용성은 실험을 통하여 증명하였다.

  • PDF

H-브릿지 멀티레벨 인버터의 Level Shifted PWM 적용에 관한 연구 (A Study on an Application of Level Shifted PWM for H-bridge Multilevel Inverter)

  • 이광환;박영민
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2014년도 전력전자학술대회 논문집
    • /
    • pp.397-398
    • /
    • 2014
  • Phase Shifted PWM은 각각의 셀이 동일한 스위칭 주파수로 PWM을 수행하므로 전압지령의 크기와 관계없이 셀 간의 전력은 동일하나, 각 셀 출력 전압의 위상이 다르므로 무부하 운전이나 부하의 급변동 시 발생하는 회생이 특정 셀에 집중되고 전압지령과 실제 출력전압 사이의 위상 차이가 존재하는 단점을 가지고 있다. 반면 기존 Level Shifted PWM은 전압지령의 크기에 따라 각 셀 간의 스위칭 조건이 다르고 동일 전력 분배가 되지 않는 문제를 가지고 있어 이를 개선하는 Level Shifted PWM 방법에 대해서는 이미 연구가 진행된 상태이다. 본 논문에서는 제어기가 분산화된 H-브릿지 멀티레벨 인버터에 각 셀의 스위칭 조건을 동일하게 유지하는 Level Shifted PWM을 적용하기 위해서 전압지령을 보정하는 방법을 사용하였고 시뮬레이션과 시험을 통해 제어기가 분산화된 H-브릿지 멀티레벨 인버터에 적용 가능함을 증명하였다.

  • PDF

다중 작업환경의 AGV 경로 선정과 충돌 회피에 관한 연구 (A study on the AGV path determination and collision avoidance for multiple environment)

  • 김종선;유영선;김세진;주영훈
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 제38회 하계학술대회
    • /
    • pp.1773-1774
    • /
    • 2007
  • 본 논문은 AGVS(Automated Guide Vehicle System)가 여러 작업환경 및 변경 시 좀더 유연하게 대응할 수 있도록 작업환경 내에서 AGVS에 필요한 작업공간요소로 분류하고 이들을 모델링하는 방법을 제안하였다. 또한, 최단경로 생성 시 $A^*$ 알고리즘에서의 평가함수 선정 방법과 최단경로 상에 존재하는 경로의 충돌 모델을 제안하였으며 시뮬레이션을 통해 제안한 방법을 증명하였다.

  • PDF

3차원 형상 인식 시스템에서의 에지 워터마킹 (Edge Watermarking of 3-Dimensional Shape Recognition System)

  • 윤재식;유상욱;성택영;김희정;권성근;이응주;권기룡
    • 한국멀티미디어학회:학술대회논문집
    • /
    • 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
    • /
    • pp.163-166
    • /
    • 2004
  • 본 논문은 3차원 형상 인식시스템으로부터 스캔 한 3차일 영상 데이터의 깊이정보에 3차원 에지를 추출하여 워터마크를 삽입하는 알고리즘을 제안한다. 제안한 알고리즘에서는 3차원 수직 평형 형상 인식기로 object scanning을 한 데이터 값들을 추출한다. 이 추출된 값들의 특성은 2차원 영상 즉 x, y축에 각각의 픽셀에 깊이정보를 가지는 3차원영상으로서 기존의 3차원영상과는 다른 차이를 가지며 영상의 품질이 우수하며 많은vertex 정보와 메쉬 정보를 가지고 있다. 따라서 획득된 데이터에서 x좌표와 y좌표는 영상에 있어서 위치를 나타내는 정보이고, T좌표는 3차원영상을 형성하는 깊이 정보들이다. 3차원 형상 인식시스템에서 스캔 한 3차원 얼굴영상으로부터 에지를 검출하여 에지가 존재하는 위치에 워터마크를 삽입하는 알고리즘을 제안하였다. 본 논문에서 제안한 워터마킹 알고리즘의 성능 평가를 위한 모의실험 한 결과 워터마크가 삽입된 모텔의 절단(cropping), 리메쉬(remesh) 및 메쉬간소화(mesh simplification) 공격에 대한 견고성이 우수함을 확인함으로써 3차원형상 인식 시스템에 직접적인 워터마크 삽입이 가능함을 증명하였다.

  • PDF

역할 기반 에이전트를 활용한 교차로 안전지원 시스템 (An Intersection Safety Support System Using Role-based Agents)

  • 조지영;이은영;류기열
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2014년도 춘계학술발표대회
    • /
    • pp.615-618
    • /
    • 2014
  • 역할 기반 시스템(role-based system)은 역할을 수행할 수 있는 객체만 존재한다면 환경에 구애 받지 않고 시스템을 실행하는 것이 가능하므로, 적응성(adaptation) 및 상호작용(interaction) 측면에서 이점을 가진다. 이는 객체가 동적으로 이동하여 다른 환경에 속했을 때, 해당 객체가 역할을 수행할 수 있다면 새로운 환경에서 이질적으로 받아들이지 않고 적응할 수 있는 이동성(mobility)의 개념을 포함하므로 차량이 동적으로 이동하는 교차로 시스템에 적합하다고 할 수 있다. 따라서 본 연구에서는 역할 기반 에이전트를 교차로 안전지원 시스템에 적용하고 시뮬레이션을 통하여 역할 기반 시스템의 이점을 증명한다.

iOS5 신규 애플리케이션의 스키마 분석을 통한 포렌식 정보 획득 연구 (A Study on Forensic Information Aquisition with Schema Analysis for Newly Added Applications in iOS5)

  • 이규원;양승제;장태주;윤영태;손기욱
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 춘계학술발표대회
    • /
    • pp.62-65
    • /
    • 2012
  • iOS5 소프트웨어가 업데이트되면서 기존과 비교하여 많은 새로운 기능들이 추가되었다. 이 기능들 중에는 사용자로 하여금 메시지와 계정 정보 등 포렌식 관점에서 중요한 정보들이 저장될 수 있는 애플리케이션들이 존재한다. 포렌식 수사에서 애플리케이션에 저장된 정보들은 사건 해결을 위한 중요한 단서가 되기도 한다. 따라서 본 논문에서는 iOS5에 새롭게 추가된 기능들 중에서 포렌식 정보들이 저장될 수 있는 애플리케이션들을 선별하고 스키마 분석 및 질의를 통하여 그 정보들을 획득 할 수 있음을 증명한다.

공공 클라우드 환경에 적합한 안전한 데이터 관리 기법 연구 (A Study on Secure Data Management Scheme in Cloud Environment in the Public Sector)

  • 위유경;곽진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2013년도 춘계학술발표대회
    • /
    • pp.580-583
    • /
    • 2013
  • 하드웨어, 소프트웨어 등 각종 IT 자원을 필요한 만큼 빌려서 사용하고 사용한 정도에 따라 과금이 되는 클라우드 컴퓨팅이 대중적으로 보급됨에 따라 공공 서비스에서의 클라우드 컴퓨팅 활용방안에 대해서 관심이 증가하고 있다. 따라서 다수의 사용자가 하나의 공공 클라우드 스토리지를 사용하는 환경에 적합한 안전하고 효율적인 데이터 관리의 중요성이 요구되고 있다. 그러나 신원이 불분명한 사용자의 공공 클라우드 스토리지 무단접근과 악의적인 목적으로 공공 클라우드에 악성코드가 추가된 데이터의 업로드 및 데이터 위변조 등의 다양한 위협이 존재한다. 따라서 본 논문에서는 공공 클라우드 환경에 적합한 안전한 데이터 관리 기법에 대해 제안한다. 제안하는 기법은 공공 클라우드 서버로부터 인증정보를 전송받아 구성원임을 증명받고, 전송받은 서버 인증정보를 바탕으로 사용자 인증값을 생성하여 데이터와 함께 저장하여 데이터를 보호한다. 따라서 신원이 불분명한 사용자의 접근을 막고, 악의적인 데이터의 클라우드 스토리지 저장을 방지하고, 추가적으로 데이터의 출처를 명확하게 하여 공공 클라우드 스토리지의 신뢰성을 높일 수 있다.

Bent 함수의 암호학적 성질에 관한 고찰 (On the Cryptogeaphic Signigicance of Bent Functions)

  • 김광조
    • 정보보호학회논문지
    • /
    • 제1권1호
    • /
    • pp.85-90
    • /
    • 1991
  • 본 논문에서는 Bent 함수와 SAC(Strict Avalanche Criterion)조건을 만족하는 함수를 정의하고 상호관계를 증명하였다. 즉, 최대차 SAC 조건을 만족한다. 그러나, Bent 함수는 블럭 암호의 s-box나 스트림 암호의 비선형 혼합기들으로 사용할 수 있느나, 함수 자체의 0/1 분균형성과 입력이 짝수인 경우에만 존재하므로 전단사 함수를 필요로 하는 암호 함수로 사용할 때는 이용할 수 없는 단점이 있다.

선형회귀와 국부적인 RBFN에 의한 점진적인 모델의 설계 (Design of Incremental Model by Linear Regression and Local RBFNs)

  • 이명원;곽근창
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2010년도 추계학술발표대회
    • /
    • pp.471-473
    • /
    • 2010
  • 본 논문은 선형회귀(LR: Linear Regression)와 국부적인 방사기저함수 네트워크(RBFN: Radial Basis Function Networks)를 결합한 점진적인 모델(incremental model)의 설계와 관련되어진다. 전형적인 RBFN에 의한 모델링과는 달리, 제안된 방법의 근본적인 원리는 두 단계에 의해 고려되어진다. 첫째, 전체 모델의 설계과정에서 전역적인 모델로써 선형회귀에 의해 데이터의 선형부분을 구축한다. 다음으로, 모델링 오차는 오차가 존재하는 국부적인 공간에서 RBFN에 의해 보상되어진다. 여기서, 오차의 분포로부터 RBFN을 설계하기 위해 컨텍스트 기반 퍼지 클러스터링(CFC: Context-based Fuzzy Clustering)를 통해 정보입자의 형태로 구축되어진다. 실험은 자동차 mpg 연료소비량 예측과 부동산 가격예측문제를 통해 제안된 방법의 우수성을 증명한다.

멀티미디어 시스템에서 콘텐츠를 보호하기 위한 방법 (The method for protecting contents on a multimedia system)

  • 김성기
    • 한국컴퓨터정보학회논문지
    • /
    • 제14권7호
    • /
    • pp.113-121
    • /
    • 2009
  • DRM이 최근에 많은 사이트에서 제거되어짐에 따라 비디오 서버 상에서 콘텐츠 보호는 중요해졌다. 그러나 기존에 존재하는 보호 방법들은 한계 들을 가지거나 스트리밍 성능을 저하시키므로 사용되어지지 않는다. 본 논문은 eCryptFS와 SELinux를 사용하는 콘텐츠 보호 방법을 제안하고 다양한 벤치마크들을 사용하여 제안한 방법의 성능을 측정한다. 그런 후 본 논문은 제안한 방버이 다른 성능 들은 저하시키지만 스트리밍 성능은 저하시키지 않아서 콘텐츠 보호를 위하여 사용할 수 있다는 것을 증명한다.