• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.026 seconds

Proposal of Extendable Unbalanced Feistel Network and Proof of Pseudorandom Permutation (확장 가능한 비대칭 피스텔 네트웍의 제안 및 유사 랜덤 순열 증명)

  • Lee, Gwang-Su;Sin, Jun-Beom;Lee, Gwang-Hyeong
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.28 no.1_2
    • /
    • pp.45-51
    • /
    • 2001
  • 정보 처리량이 증가함에 따라 한번에 많은 양의 평문을 암호화 할 수 있는 입출력이 큰 블록 암호기의 필요성이 대두되고 있다. 하지만 입출력이 큰 블록 암호기를 직접 구현하는 것은 많은 비용이 든다. 따라서 이 논문에서는 기존에 존재하는 블록 암호기를 이용해서 입출력이 큰 블록 암호기를 구현할 수 있는 방법을 제안한다. 그런 뒤 새로 제안된 비대칭 피스텔 네트웍 구조가 안전한 블록 암호기가 되기 위한 조건을 분석한다. 논문의 결과는 다음과 같다. 확장 가능한 비대칭 피스텔 네트웍이 입력과 출력의 크기가 모두 n 비트인 유사 랜덤 함수 생성기를 사용하는 경우, k가 홀수이고 전체 라운드 수가 2k+1이상이면 유사 랜덤 순열 생성기이다.

  • PDF

Calculations of Shielding Failure Rates According To The Hillside Angles (대지경사각을 고려한 차례실패 사고율 검토)

  • Kang, Y.W.;Kwak, J.S.
    • Proceedings of the KIEE Conference
    • /
    • 2005.07a
    • /
    • pp.615-617
    • /
    • 2005
  • 대기중에 위치한 뇌운안에 전하가 떠다니는 상태에서는 구름안과 주변에 높은 전계의 전위가 발생한다. 이 전하가 축적되면 대지 방전이 발생하고 송전선로 등에 뇌격이 침입하게 된다. 뇌 방전은 수 km에 달하는 대기중에 발생하는 거대한 전기현상이지만 이 낙뢰가 전기의 흐름이라는 것은 벤자민 프랭클린의 현장 시험에 대해 최초로 증명되었다. 이러한 대기중에 발생하는 거대한 전기현상인 낙뢰가 송전선로에 침입하여 송선선로 애자련을 섬락시키는 과정은 대단히 복잡한 전자기적인 현상이다. 그것은 가스 방전 현상, 감속에 중요한 역할을 하는 전자계의 빠른 변화, 도체와 철탑에 나타나는 코로 나와 관련된 비선형 효과 및 주파수 및 전류와 관련된 대지의 임피던스 통 다양한 현상이 종합적으로 관련된다. 따라서 가공 송전선로의 낙뢰에 대한 동작특성의 평가시 낙뢰 현상의 불규칙한 특성 및 신뢰할만한 데이터의 부족에 따른 많은 불확실성이 존재한다. 이 때문에 가공 송전선로에서 낙뢰에 의한 트립(Trip) 사고수의 계산을 위해 단순화된 방법이 아주 유용하며 효과적일 수 있다. 본 논문에서는 EGM (Electrogeometric Model) 모델을 사용하여 대지경사자의 크기에 따른 차폐실패 트립 사고율의 영향을 검토하였다.

  • PDF

Phase Changeover a Method of the dual type multiphase independent BLDCM (이중구조 독립 다상 BLDC 전동기 상수 전환 기법)

  • Kim, Nam-Eon;Heo, Hong-Jun;Kim, Jang-Mok;Oh, Jin-Seok
    • Proceedings of the KIPE Conference
    • /
    • 2012.11a
    • /
    • pp.19-20
    • /
    • 2012
  • 본 논문은 독립 다상 대용량 전동기의 상수 전환 기법에 관한 것이다. 독립 다상 전동기는 DC단 전압 이용률이 높고 고장에 강한 특성을 가지는 장점이 있지만, 많은 스위치 개수로 인하여 높은 스위칭 손실이 발생한다는 단점 역시 존재한다. 그러므로 저속 영역에서 독립된 다상 중 일부를 직렬 연결하여 상의 수를 감소시켜 저출력 영역에서의 효율을 개선할수 있다. 제안된 방법은 전류가 비도통 되는 구간에서 독립다상 BLDC 전동기의 일부 상을 순차적으로 직렬 연결함으로써 상수전환으로 인한 토크 맥동을 야기시키지 않으며 스위치의 스트레스를 줄일수 있고, 수명을 연장할수 있다. 제안된 방법의 효용성은 시뮬레이션을 통해서 증명하였다.

  • PDF

Output Feedback Control for Nonlinear System with Time Delay (시간지연을 갖는 비선형 시스템의 출력 피드백 제어)

  • Lee, Sungryul
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.50 no.7
    • /
    • pp.239-243
    • /
    • 2013
  • This paper presents the output feedback control design for triangular nonlinear systems with input delay. The proposed controller is composed of a high gain observer and a linear controller. It is shown that by using Lyapunov-Krasovskii theorem, the proposed controller ensures an asymptotic stability for sufficiently small input delay. Finally, an illustrative example is given in order to show the effectiveness of our design method.

PHARMACEUTICAL COMPOSITION OF VELVET ANTLER (녹용의 약리학적 성분)

  • 전길자
    • Korean Deer Journal
    • /
    • v.7 no.10 s.48
    • /
    • pp.60-64
    • /
    • 2002
  • 알려진 녹용의 효능을 과학적으로 증명하고 활성성분을 이용하여 신의약품 개발에 기여하고자 한다. 본 연구실에서는 녹용의 가장 대표적인 효능인 조혈작용을 하는 성분을 구조 분석하여 MADG임을 밝히었다. MADG는 조혈촉진기능뿐만 아니라 대식세포 증식기능 그리고 비장세포성장을 촉진하는 등 면역활성 조절제로써의 기능도 나타내었다. 그리고 녹용에 존재하는 인지질 중에서 포화지방산을 가지고 있는 phophatidylcholine도 면역활성을 촉진시키었다. 항진균작용을 하는 성분을 구조 분석한 결과 lysophophatidylcholine임을 밝히었으며 그 유도체인 CHJ-ester가 숙주세포에는 해를 주지 않으면서 항진균작용을 하는 것을 관찰하였다. 그리고 골다공증치료효과를 검색하기 위해 녹용 정제성분으로 연구한 결과 파골세포로의 분화를 100$\%$ 저해함을 밝히므로 녹용이 골다공증 치료효과가 있음을 증면하였다. 녹용성분의 유도체인 SCOH가 파골세포분화를 억제함을 밝혀 현재 골다공증치료제로써의 가능성을 조사하고 있다. 본 연구실에서는 1999년부터 녹용연구를 시작하여 현재까지 10여 개의 활성성분을 분석한 바 있다. 현재 조혈세포촉진작용, 면역증진작용, 골다공증치료작용, 대식세포 증식작용, 항진균작용, 항간질작용에 대한 성분 분석 및 그 약리 기전을 연구하고 있다.

  • PDF

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 New Sliding Surfaces for Fast Tracking Control (빠른 추적제어를 위한 새로운 슬라이딩 서피스 설계)

  • Choe, Seung-Bok;Park, Dong-Won;Lee, Yong-Bok
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.9 no.3
    • /
    • pp.42-52
    • /
    • 1992
  • 가변구조 제어시스템(variable structure control system)을 위해 제안된 기존의 대부분 슬라이딩 서피스 (sliding surface)는 주어진 초기조건과 무관하게 설계되었으며, 서피스 계수 또는 임의로 설정되었다. 이러한 서피스를 갖는 제어시스템은 슬라이딩 운동이 일어나기 전까지 외란등에 매우 민감하며 또한 느린 추적시간 (tracking time)을 초래한다. 이러한 단점을 극복하기 위해 본 연구에서는 임의로 주어진 초기조건을 항상지나 며 시간에 따라 기울기 및 절편이 변하는 새로운 슬라이딩 서피스를 설계하였다. 이 서피스와 연계된 제어시스 템의 슬라이딩 모드(sliding mode) 존재성을 증명하였고, 서피스의 움직임 절차를 상세히 기술하였다. 2차 선형 시스템과 2자유도계 로봇의 추적제어를 통해 제안된 방법의 효율성과 우수성을 입증하였다.

  • PDF

Lane Detection and Tracking Algorithm based on Corner Detection and Tracking (모서리 검출과 추적을 이용한 차선 감지 및 추적 알고리즘)

  • Kim, Seong-Do;Park, Ji-Hun;Park, Joon-Sang
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.10 no.3
    • /
    • pp.64-73
    • /
    • 2011
  • This paper presents an algorithm for tracking lanes on the road based on corner detection techniques. The proposed algorithm shows high accuracy regardless of lane divider types, eg, solid line, dashed line, etc, and thus is of advantage to city streets and local roads where various types of lane dividers are used. A set of experiments was conducted on real roads with various types of lane dividers and results show an extract ratio over 87% in average.

현장질병가이드 - 아직도 가금티푸스 때문에 고생하시고 계십니까?

  • Son, Yeong-Ho
    • KOREAN POULTRY JOURNAL
    • /
    • v.41 no.10
    • /
    • pp.139-143
    • /
    • 2009
  • 세균성 질병에 대한 우려는 환절기에 접어들면서 경감되기 마련인데 왜 난 데 없는 가금티푸스를 거론하는가에 대한 의문이 있을지 모르겠다. 그러나 최근 양계농가들 중 가금티푸스로 인해 생산성에 많은 차질이 빚어지고 있다는 풍문(風聞)이 심심치 않게 돌고 있어 부득이하게 가금티푸스에 대한 원인 및 대책에 대해 기술하게 되었다. 가금티푸스의 일반적인 임상증상 등에 대해서는 이미 원고들을 통하여 거론된 바 있으므로 작금(昨今)의 현상들이 나타나게 된 이유들을 중심으로 본고를 전개하고자 한다. 실제로 최근 축산관련 신문에도’‘지난 겨울부터 전국적으로 가금티푸스가 만연, 양계농장에 가금티푸스 경계령이 떨어졌다.’라고 보도된 바 있다. 이처럼 가금티푸스에 대한 심각한 보도가 이루어지는 이유는 분명 피해를 봤거나 보고 있는 농장들이 다수 존재하기 때문일 것이다. 가금티푸스에 효과가 증명된 백신을 사용하고 있고, 최근에는 3~4개 백신회사의 제품을 농장들이 선택할 수 있는 상황이다. 1992년 국내에 가금티푸스가 최초 발생하여 수년간 전국적으로 심각한 피해를 겪고 있는데 그런 상황보다는 질병을 효과적으로 방어할 수 있는 방법이 있음에도 불구하고 가금티푸스가 전국적으로 큰 피해를 일으키고 있다는 소식이 들리는 것은 정말 안타까운 일이 아닐 수 없다. 가금티푸스는 근절하기 어려운 질병은 아니지만 결코 소홀히 여겨질 질병은 아니다. 근절이 될 것으로 생각되었던 가금티푸스가 다시 전국적으로 많든 적든 발병이 이어지는 원인과 대책에 대해 알아보기로 한다.

  • PDF

A State Observer for MINO Nonlinear Systems (다입력 다출력 비선형 시스템의 상태 관측기 설계)

  • Lee, Sung-Ryul
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.45 no.5
    • /
    • pp.8-12
    • /
    • 2008
  • In this paper, the robust state observer for nonlinear systems with unknown disturbance is proposed. The proposed method has an advantage in that it can reduce the effect of disturbance on estimation error of observer up to a specified level. Therefore, our design a roach can deal with a larger class of uncertain nonlinear system than the existing methods. The sufficient conditions on the existence of robust observer are characterized by well grown linear matrix inequality. Finally, an illustrative example is given to verify the proposed design scheme.