• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.041 seconds

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

  • Heo, Hong-Jun;Kim, Jang-Mok;Park, Gui-Yeol;Ahn, Tae-Gyu;Shin, Duck-Woong
    • Proceedings of the KIPE Conference
    • /
    • 2014.07a
    • /
    • pp.126-127
    • /
    • 2014
  • 기존 IPMSM (Interior Permanent Magnet Synchronous Motor) 제어를 위한 LUT (Look Up Table)방식은 입력한 일정 간격의 데이터를 이용한 선형 보간 방법이 주로 사용되었다. 하지만, 이러한 방식은 LUT 구성을 위해 많은 데이터를 요구하므로, DSP 메모리 용량에 LUT 구성의 한계가 존재한다. 또한, 많은 양의 데이터를 관리해야하는 단점을 가지고 있다. 본 논문에서는 이러한 단점을 보완하기 위하여 영역 분할을 이용한 다항식 곡면 적합 LUT 구성을 제안하였다. 다항식 곡면 적합을 이용한 LUT 구성 방법은, 관리해야하는 데이터양을 비약적으로 줄일 수 있는 장점을 가지고 있다. 제안한 방법의 효용성은 실험을 통하여 증명하였다.

  • PDF

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

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

  • PDF

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

  • Kim, Jong-Seon;Yu, Yeong-Seon;Kim, Se-Jin;Joo, Young-Hoon
    • Proceedings of the KIEE Conference
    • /
    • 2007.07a
    • /
    • pp.1773-1774
    • /
    • 2007
  • 본 논문은 AGVS(Automated Guide Vehicle System)가 여러 작업환경 및 변경 시 좀더 유연하게 대응할 수 있도록 작업환경 내에서 AGVS에 필요한 작업공간요소로 분류하고 이들을 모델링하는 방법을 제안하였다. 또한, 최단경로 생성 시 $A^*$ 알고리즘에서의 평가함수 선정 방법과 최단경로 상에 존재하는 경로의 충돌 모델을 제안하였으며 시뮬레이션을 통해 제안한 방법을 증명하였다.

  • PDF

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

  • 윤재식;유상욱;성택영;김희정;권성근;이응주;권기룡
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2004.05a
    • /
    • 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 (역할 기반 에이전트를 활용한 교차로 안전지원 시스템)

  • Jo, Jiyoung;Lee, Eunyoung;Ryu, Kiyeol
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2014.04a
    • /
    • pp.615-618
    • /
    • 2014
  • 역할 기반 시스템(role-based system)은 역할을 수행할 수 있는 객체만 존재한다면 환경에 구애 받지 않고 시스템을 실행하는 것이 가능하므로, 적응성(adaptation) 및 상호작용(interaction) 측면에서 이점을 가진다. 이는 객체가 동적으로 이동하여 다른 환경에 속했을 때, 해당 객체가 역할을 수행할 수 있다면 새로운 환경에서 이질적으로 받아들이지 않고 적응할 수 있는 이동성(mobility)의 개념을 포함하므로 차량이 동적으로 이동하는 교차로 시스템에 적합하다고 할 수 있다. 따라서 본 연구에서는 역할 기반 에이전트를 교차로 안전지원 시스템에 적용하고 시뮬레이션을 통하여 역할 기반 시스템의 이점을 증명한다.

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

  • Lee, Gyu-Won;Yang, Seung-Jei;Chang, Taejoo;Yun, Young-Tae;Soh, Ki-Wook
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2012.04a
    • /
    • pp.62-65
    • /
    • 2012
  • iOS5 소프트웨어가 업데이트되면서 기존과 비교하여 많은 새로운 기능들이 추가되었다. 이 기능들 중에는 사용자로 하여금 메시지와 계정 정보 등 포렌식 관점에서 중요한 정보들이 저장될 수 있는 애플리케이션들이 존재한다. 포렌식 수사에서 애플리케이션에 저장된 정보들은 사건 해결을 위한 중요한 단서가 되기도 한다. 따라서 본 논문에서는 iOS5에 새롭게 추가된 기능들 중에서 포렌식 정보들이 저장될 수 있는 애플리케이션들을 선별하고 스키마 분석 및 질의를 통하여 그 정보들을 획득 할 수 있음을 증명한다.

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

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

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

  • 김광조
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.1 no.1
    • /
    • pp.85-90
    • /
    • 1991
  • After we introduce the properties of bent functions satisfying the SAC(Strict Avalanche Criterion), we made cldar the relationship between two functions, i.e., all Boolean functions satisfying the maximum order SAC. Bant function will be useful to implement cryptographic functions like S-boxes of block cipher, nonlinear combiners, etc. But due to thear 0/1 unbalance and their existence for only even number of input bits, bent functions have some restrictions to use as a building block for constructing bijective cryptographic functions.

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

  • Lee, Myung-Won;Kwak, Keun-Chang
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2010.11a
    • /
    • 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 (멀티미디어 시스템에서 콘텐츠를 보호하기 위한 방법)

  • Kim, Seong-Ki
    • Journal of the Korea Society of Computer and Information
    • /
    • v.14 no.7
    • /
    • pp.113-121
    • /
    • 2009
  • As a DRM is recently being removed from many sites, the content protection on a video server becomes important. However, many protection methods have their own limitations, or aren't used due to the deterioration of the streaming performance. This paper proposes a content protection method that uses both the eCryptFS and the SELinux at the same time, and measures the performance of the proposed method by using various benchmarks. Then, this paper verifies that the method doesn't significantly decrease the streaming performance although the proposed method decreases the other performances, so it can be used for the content protection in a multimedia system.