• 제목/요약/키워드: 기하 증명

검색결과 926건 처리시간 0.033초

비대칭 피스텔 네트웍을 이용하는 순열 생성기의 유사 랜덤 증명 (Proof of the Pseudorandomness of Permutation Generators that use Unbalanced Feistel Network)

  • 이광수;신준범;이광형
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제27권12호
    • /
    • pp.974-980
    • /
    • 2000
  • Luby-Rackoff의 논문 이후로 유사 랜덤 순열 생성기에 관한 많은 연구가 있었다. 하지만 대부분의 연구는 대칭 피스텔 네트웍 구조를 이용한 유사 랜덤 순열 생성기에 관한 것이었다. 이 논문에서는 비대칭 피스텔 네트웍 구조를 사용하는 순열 생성기가 유사 랜덤 순열 생성기가 되기 위한 조건을 분석한다. 비대칭 피스텔 네트웍 순열 생성기의 입출력의 크기가 (k+1)n 비트인 경우 논문의 결과는 다음과 같다. 비대칭 피스텔 네트웍이 입력 크기가 kn 비트이고 출력 크기가 n 비트인 유사 랜덤 함수 생성기를 사용하는 경우, 전체 라운드 수가 k+2 이상이면 유사 랜덤 순열 생성기이다. 비대칭 피스텔 네트웍이 입력 크기가 n 비트이고 출력 크기가 kn 비트인 유사 랜덤 함수 생성기를 사용하는 경우, 전체 라운드 수가 k+2 이상이면 유사 랜덤 순열 생성기이다.

  • PDF

액체 추진제 로켓엔지의 혼합비 안정기 (Mixture Ratio Stabilizer for Liquid Propellant Rocket Engine)

  • 정태규;권세진
    • 한국항공우주학회지
    • /
    • 제36권7호
    • /
    • pp.703-711
    • /
    • 2008
  • 본 논문에서는 액체로켓엔진 가스발생기의 추진제 혼합비를 일정하게 유지시켜 주는 혼합비 안정기를 소개하였다. 혼합비 안정기의 최적 설계 조건을 제시하였으며 안정기의 수학적 모델과 가스발생기 시스템 분석을 통하여 안정기의 혼합비 유지 성능을 좌우하는 설계 인자를 파악하였다. 또한 가스발생기 시스템의 수치해석 결과와 실험 결과가 잘 일치함을 보임으로써 안정기의 수학적 모델에 대한 타당성을 증명하였다.

배전계통의 활선상태 피뢰기 진단 및 현상적용 (Lightning Arrester On Power Diagnosis of Distribution System and Field Application)

  • 이만규;류혁;최윤종;정재기
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 춘계학술대회 논문집 전기설비전문위원
    • /
    • pp.192-197
    • /
    • 2004
  • 전국적인 분포를 갖고 있는 배전망에 유일한 과전압 보호 및 절연보호장치인 피뢰기는 배전계통에서의 사고율을 감소시키는 중요한 역할을 수행한다. 이러한 피뢰기의 수명은 동작횟수의 증가에 의해서 서서히 열화되게 된다. 이러한 열화의 과정은 피뢰기의 저항성 전류가 증가하는 현상과 일치한다. 그러나 배전계통에서 저항성 전류를 검출하기 위한 전압요소에 대한 정보를 얻기가 쉽지않다. 본 논문에서는 이러한 피뢰기의 열화현상을 파악하기 위하여 이론적으로 피뢰기의 열화정도가 고조파의 분석만으로 가능하다는 점을 증명하고 특히 3고조파의 증가와 저항성 전류의 증가가 비례함을 현장에서 수집한 피뢰기의 실증을 통해 입증하였다. 이러한 연구결과를 현장에 적용하여 현장의 가혹한 조건의 전자계영향에도 불구하고 정밀한 피뢰기 진단이 가능하다는 결론에 도달하였다. 결론적으로 본 연구의 결과로 현장의 피뢰기 진단이 간편해지고 효율적으로 이루어 질 수 있음을 실증하였고, 앞으로 배전계통에서의 안정적인 전력공급에 기여할 것으로 기대하고 있다.

  • PDF

70W CDM 램프용 전자식 안정기 설계 (Design of the Electric Ballast for 70W CDM Lamp)

  • 최현희;최왕섭;박종연
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2009년도 제40회 하계학술대회
    • /
    • pp.940_941
    • /
    • 2009
  • Dual Buck Inverter구조를 가지는 70W CDM 램프용 전자식 안정기의 제어기를 설계하였다. 전자식 안정기는 EMI filter, Active PFC, Dual Buck Inverter, Igniter, SMPS로 구성 된다. 제어기는 크게 2개로 구분 할 수 있다. MC33262를 이용하여 Inverter의 전압, 전류를 센싱 받아 70kHz의 Zero Voltage Switching을 위한 제어기와 시간의 경과에 따라 PFC의 출력 전압 제어, Ignition Pulse 제어 및 무부하 보호를 위한 제어기로 구성되어 있다. 본 논문은 ATmega8을 이용하여 제어기를 설계하였고 실험으로 시간의 경광 따른 안정기의 제어가 안정적인 동작을 하고 있음을 증명하였다.

  • PDF

이중 출력과 단위 역률을 갖는 새로운 단일 전력단 정류기 (A New AC/DC Rectifier Using One Power Circuit for Unity Power Factor and Dual Output Application)

  • 천세환;이동윤;박남주;현동석
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2003년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
    • /
    • pp.237-239
    • /
    • 2003
  • 이 논문은 이중 출력과 단일 역률 적용에 대한 하나의 전력단 회로를 사용한 새로운 정류기를 나타낸다. 제안된 정류기는 부스트와 플라이백 컨버터가 결합된 하나의 전력단 회로를 갖는 구조를 가지고 있고, PFC(power factor correction) 와 일정 출력 전압 제어를 동시에 수행한다. 따라서, 제안된 정류기는 전형적인 AC/DC 정류기들(멀티 권선을 갖는 플라이 백 정류기, 투 스테이지 방식을 사용한 부스트와 플라이백 컨버터가 결합된 정류기 등등)보다 낮은 비용과 작은 사이즈의 장점을 갖는다. 제안된 정류기 회로의 동자 원리는 본 논문에서 상세하게 기술 되어진다. 그리고 시뮬레이션을 통하여 제안된 정류기의 타당성을 증명하였다.

  • PDF

새로운 고장진단 기법을 이용한 불확실한 비선형 시스팀의 고장 허용 제어 (Fault Tolerant Control of Uncertain Nonlinear Systems Using New Fault Diagnosis method)

  • 황영호;송민철;양해원
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 하계학술대회 논문집 D
    • /
    • pp.2158-2160
    • /
    • 2004
  • 본 논문에서는 불확실한 비선형 시스템에 대하여 새로운 고장진단 방법을 이용한 고장 허용 제어기를 설계한다. 잔류 신호는 비선형 관측기 구조를 이용하여 얻을 수 있다. 고장 성분은 neuro-fuzzy 근사기로 추정한다. 제안된 고장 허용 제어기는 강인 제어기와 고장 성분을 보상할 수 있는 보상제어기로 구성된다. 여기서 제안된 고장진단 방법은 고장으로 인해 발생되는 보상제어기의 크기로 고장을 진단함으로써 고장 전후의 강인 제어기의 특성을 계속유지 할 수 있게 설계하였다. 본 논문에서 제안한 고장 허용 제어기의 성능은 컴퓨터 모의실험을 통하여 증명하였다.

  • PDF

동기발전기 디지털 여자 시스템 PSS 제어 (Synchronous Generator Digital Exciter System PSS Control)

  • 홍현문
    • 조명전기설비학회논문지
    • /
    • 제18권4호
    • /
    • pp.144-148
    • /
    • 2004
  • 본 논문에서는 디지털 PSS 제어기를 사용하여 동기발전기에 디지털 여자기 제어를 적용하는 것을 제안하였다. 실험결과는 디지털 제어 시스템은 아날로그 제어 시스템과 비교하여 우수한 제어 성능을 증명하였다. 현대제어 이론은 디지털 제어를 구현하기가 쉽게 확립되었다.

Tess를 이용한 교수${\cdot}$학습에서 변환지도에 대한 사례연구 -부진아를 대상으로-

  • 고상숙;홍석만
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제14권
    • /
    • pp.85-102
    • /
    • 2001
  • 칠판과 분필만을 이용한 증명 위주의 기하 수업을 탈피하여 현장에서 사용할 수 있는 능동적인 교수${\cdot}$학습에 한가지 방법을 제시하고자 수학에 자신감이 없는 고등학교 1학년 학습 부진아를 대상으로 컴퓨터 프로그램, Tess를 이용하여 학생의 변환 개념에 대한 이해도를 조사하였다. 또한, 테셀레이션을 직접 만들어 가는 과정을 통하여 타 교과와의 수학적 연결성을 이해하고, 수학의 실용성과 실생활과의 연관성, 도형의 아름다움을 학생이 스스로 찾고, 발견하는데 초점을 두었다. 우리의 전통 문양도 수학교육에 충분히 이용될 수 있다는 사실을 확인할 수 있었고, 학생의 수학에 대한 태도가 크게 향상됨을 알 수있었다.

  • PDF

교통부 형식 증명 획득을 위한 창공-91 비행 시험 수행에 관한 연구 (A Study on the Flight Test of Airplane Changgong-91 for Korea MOT Type Certification)

  • 최병철;이정모
    • 한국항공운항학회지
    • /
    • 제1권
    • /
    • pp.81-93
    • /
    • 1993
  • 창공-91의 비행 시험의 목적은 성능 측정과 비행 특성의 확인이며 교통부의 기준은 주로 비행기의 운항에 따르는 안정성에 주안점을 두고 있다. 비행 시험으로 실속 속도와 이착륙 성능 그리고 상승 성능을 측정하여 비행 교범에 수록하였고, 안정성과 조종성의 적절함을 판단하였다. 창공-91 A2기의 비행 시험에 소요된 비행 시간은 81. 5 시간이다. (창공-91 $A_1$기 : 52.8시간)

  • PDF

대수적 복호에 의한 Golay 부호의 고속 복호기 설계 (High-Speed Algebraic Decoding of the Golay Codes)

  • 김창규
    • 정보보호학회논문지
    • /
    • 제6권1호
    • /
    • pp.53-60
    • /
    • 1996
  • 오증 요소로부터 오류위치다항식의 계수를 계산함으로서 (23,12) Golay 부호를 복호할 수 있는 대수적 복호법이 최근 증명되었다. GF(2)상에서의 3중 오류정정 BCH부호의 복호법을 이 부호에 완벽하게 적용하여 해석하는 것을 소개한다. 그리고 GF(2)에 대한 최적의 정규기저를 구하여 이를 유한체 연산에 적용하며 단계별로 복호 회로의 구성을 제시한다. 이는 기존의 복호기보다 논리회로적으로 간단하며, 복호된 정보를 얻기까지 35번의 치환이 필요하다.