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

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

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

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

  • PDF

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

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

  • PDF

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

  • 김남언;허홍준;김장목;오진석
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2012년도 추계학술대회 논문집
    • /
    • pp.19-20
    • /
    • 2012
  • 본 논문은 독립 다상 대용량 전동기의 상수 전환 기법에 관한 것이다. 독립 다상 전동기는 DC단 전압 이용률이 높고 고장에 강한 특성을 가지는 장점이 있지만, 많은 스위치 개수로 인하여 높은 스위칭 손실이 발생한다는 단점 역시 존재한다. 그러므로 저속 영역에서 독립된 다상 중 일부를 직렬 연결하여 상의 수를 감소시켜 저출력 영역에서의 효율을 개선할수 있다. 제안된 방법은 전류가 비도통 되는 구간에서 독립다상 BLDC 전동기의 일부 상을 순차적으로 직렬 연결함으로써 상수전환으로 인한 토크 맥동을 야기시키지 않으며 스위치의 스트레스를 줄일수 있고, 수명을 연장할수 있다. 제안된 방법의 효용성은 시뮬레이션을 통해서 증명하였다.

  • PDF

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

  • 이성렬
    • 전자공학회논문지
    • /
    • 제50권7호
    • /
    • pp.239-243
    • /
    • 2013
  • 본 논문에서는 입력에 시간 지연이 존재하는 삼각구조의 비선형시스템에 대한 출력 피드백 제어방법을 제안한다. 제안한 제어기는 고이득 관측기와 선형제어기로 구성한다. Lyapunov-Krasovskii 정리를 이용하여 점근적 안정도를 보장하는 입력지연의 크기를 유도한다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 모의실험 예제를 제공한다.

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

  • 전길자
    • 월간한국양록
    • /
    • 제7권10호통권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)

  • 이성렬
    • 전자공학회논문지SC
    • /
    • 제49권3호
    • /
    • pp.26-30
    • /
    • 2012
  • 본 논문에서는 출력에 시간지연이 존재하는 이산 시간 비선형 시스템에 대한 상태관측기 설계방법을 제안한다. 비선형항에 대한 Lipschitz 조건을 가정하고 비선형항을 하나의 상태변수처럼 고려함으로써 비선형 이산시간 오차동역학방정식의 안정도 문제가 시간지연을 갖는 선형방정식의 안정도 문제로 변환될 수 있음을 보인다. 또한, 시간 지연 값에 의존적인 충분조건을 선형행렬 부등식을 이용하여 제시한다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 모의실험 예제를 제공한다.

빠른 추적제어를 위한 새로운 슬라이딩 서피스 설계 (Design of New Sliding Surfaces for Fast Tracking Control)

  • 최승복;박동원;이용복
    • 한국정밀공학회지
    • /
    • 제9권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)

  • 김성도;박지헌;박준상
    • 한국ITS학회 논문지
    • /
    • 제10권3호
    • /
    • pp.64-73
    • /
    • 2011
  • 본 논문에서는 모서리 검출을 이용하여 추출된 모서리를 추적함으로써 차선을 검출하고 추적하는 알고리즘을 제안한다. 제안하는 알고리즘은 양 차선이 연속되지 않고 끊긴 형태로 존재하거나 교차되는 등의 다양한 차선의 형태에도 높은 추출률을 보이는 장점을 가지고 있다. 이는 이러한 형태의 차선의 비율이 높은 시내도로 와 국도에서의 차선 추출에 보다 유리하다. 이러한 점을 증명하기 위해 테스트는 주로 불연속적이고 교차되는 형태의 차선이 많은 도로에서 실시하였고 평균 87% 이상의 추출률을 보여주었다.

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

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

  • PDF

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

  • 이성렬
    • 전자공학회논문지SC
    • /
    • 제45권5호
    • /
    • pp.8-12
    • /
    • 2008
  • 본 논문에서는 미지의 외란이 존재하는 불확실한 비선형 시스템에 대한 강인 상태 관측기 설계 방법을 제안한다. 제안한 관측기는 추정 오차에 대한 외란의 영향을 원하는 수준까지 감소시킬 수 있다. 또한, 제안한 관측기의 이득행렬은 선형 행렬 부등식을 이용하여 얻을 수 있다. 제안한 설계 방법은 기존의 적응관측기에서 다룬 파라미터 불확실성 보다 더 넓은 범위의 외란을 다룰 수 있다는 장점을 가진다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 모의실험 예제를 제공한다.