• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.1104-1105
• /
• 2007

본 논문은 고압방전램프용 안정기의 점화기 4종류를 ESR(Equivalent Series Resistance)를 고려하여 등가모델링 하였다. 전자식 안정기의 구동식에 따른 풀 브리지 방식의 점화기 2종류와 하프 브리지 방식의 1종류 마지막으로 자기식 안정기의 점화기를 모델링하고 타당성을 증명하기 위해 실험을 통하여 입증하였다.

• East Asian mathematical journal
• /
• 제30권2호
• /
• pp.223-248
• /
• 2014

Although a figure expression has a role of mediator in the geometry proof, it is not admitted to prove based on a vision-dependent feature. This study starts from the problem that although a figure expression has an important role in the geometry proof, a lot of students don't understand the limit of vision-dependent feature in the figure expression. We will investigate this problem to understand cognitive characteristic of students. Moreover, we try to get the didactical implications. To do this, we investigate the cognitive ability for a limit of vision-dependent feature, targeting a class of middle school seniors And we will have a personal interview with four students who show a lack of sense of limit of vision-dependent feature in the figure expression and two students for who it is difficult to judge that they don't understand the limit of vision-dependent feature in the figure expression. We will observe and analyzed the cognitive characteristic of six students. Based on the analysis, we will finally discuss on the didactical implications to help students understand the limit of vision-dependent feature in the figure expression.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 하계종합학술대회 논문집 V
• /
• pp.2811-2814
• /
• 2003

본 논문에서는 Sub-nano 수준의 위치정밀도와 분해능을 갖는 Piezo actuator 의 제어기 설계를 목적으로 하였다. 이산 시간 상태 공간에서의 Piezo actuator를 이용한 1 축 스테이지 드라이브 시스템 SISO 제어기를 설계하였다. Piezo actuator 의 소재 자체의 특성으로는 Hysteresis 가 있으며, 이는 정상상태에서 Piezo actuator 의 위치 오차를 발생하는 주요 원인이 된다. 제어기의 설계는 극점 배치 방법을 기본으로 하여 Hysteresis 에 대한 보상을 목적으로 적분제어방식과 외란 추정기를 각각 적용하였다. 모의실험을 통하여 제어기의 설계 및 시뮬레이션 하였으며, Hysteresis 에 대한 보상이 이루어짐을 보았고, 실험을 통하여 이를 증명하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.843-846
• /
• 1998

산술연산을 수행하는 가산기는 ALU(arithmetic logic unit)의 성능을 좌우하는데 매우 중요한 역할을 하며, 어떠한 캐리 생성 방식을 사용하는냐에 따라 그 성능이 결정될 수 있다. RCA(Ripple carry adder)는 간단하고, 쉬운 설게로 널리 사용되자만, 캐리의 전파지연 문제로 인해 고속의 가산기 응용에의 부적합하다. 또한, CLA(carry lookahead adder)방식의 가산기는 캐리의 지연시간이 가산기의 단수와 무관하므로, 연산속도를 높일 수 있는 장점이 있지만 더하고자 하는 bit의 수가 클수록 회로가 매우 복잡해지는 큰 단점을 가지고 있다. 따라서, 본 논문에서는 간단하면서도 성능이 우수한 64bit 가산기를 설계하고 시뮬레이션을 통하여 설계된 회로의 우수성을 증명하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2006년도 전력전자학술대회 논문집
• /
• pp.331-332
• /
• 2006

교류 전동기는 전류의 측정오차와 데드타임 등의 영향으로 전기각 주파수에 동기된 주기적인 토크 리플이 발생한다. 본 논문에서는 주기적인 토크리플 보상 알고리즘을 제안한다. 보상기는 속도리플 관측기와 토크리플 보상기로 나누어진다. 본 논문에서는 토크리플 보상기의 해석을 통해 정상상태에서 속도 리플이 제거됨을 증명하였고 속도리플 관측기는 속도의 리플을 검출하여 토크리플 보상기를 통해 토크리플 성분이 보상됨을 시뮬레이션과 실험을 통해 검증하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2193-2196
• /
• 2003

기존의 멀티레이트 입력 (MRIC) 제어기는 제어 입력신호에 채터링 현상이 발생하여 추종응답에 리플이 발생하는 문제점이 있다. 이러한 리플현상을 해결하기 위해 피드포워드 보상기를 이용하여 이런 리플현상을 제거하는 방법이 제시되기도 하였다. 본 논문에서는 상태 공간에서 현재 추종기를 기반으로 리프팅 기법을 이용한 멀티레이트 입력제어기 설계를 소개한다. 본 제어기를 사용함으로써 제어입력 신호가 채터링이 생기지않음을 이산전달함수 관점에서 최종치 정리를 이용하여 증명한다.

• 정보처리학회논문지C
• /
• 제13C권7호
• /
• pp.865-872
• /
• 2006

최근 협력통신은 안테나의 물리적인 배치 없이 공간 다중화를 얻을 수 있는 효과적인 방법으로 많은 주목을 받고 있다. 따라서 협력적인 위치를 가진 다중 안테나 시스템에서 잘 알려진 시공간 블록 코드(STBC, Space Time Block Code)는 분산환경 하의 단일 안테나 사용자들에게도 이용될 수 있다. 본 논문에서는 3/4 시공간블록 코드를 사용한 협력적인 신호 구조를 제안하고, 수학적으로 증명한 전송 전력 제한과 네트워크 기하학을 이용하여 이론상의 BER (Bit Error Ratio) 표현을 유도한다. 다양한 환경에서의 시뮬레이션과 잘 증명된 수학적인 결과는 파트너가 적절한 위치에 있을 때, 직접 전송보다 매우 성능이 우수한 협력 통신을 증명하였다.

• 정보보호학회논문지
• /
• 제12권1호
• /
• pp.33-42
• /
• 2002

본 논문에서는 약한 키를 가지는 대화식 영지식 증명을 이용한 인증 프로토콜의 안전성을 강화하는 방법을 제시한다. 일반적으로 대화식 영지식 증명을 이용한 인증 프로토콜은 충분히 길고 랜덤한 비밀키를 가정하고 그 비밀키에 대한 영지식 증명을 수행하게 된다. 하지만 때에 따라서 충분히 길지 않거나 랜덤하지 않은 비밀키가 선택될 수 있다. 즉, 좋지 않은 난수 발생기를 써야 하는 경우, 또는 패스워드처럼 의도적으로 약한 키를 사용하는 경우가 생기며, 대화식 영지식 증명은 이에 적합하지 않다고 알려져 있다. 본 논문에서는 비밀 동전 던지기(Secret Coin Tossing)라는 개념을 제시해서, 일반적인 영지식 증명을 이용한 인증 프로토콜을 약한 키를 가지는 영지식 증명 기반 인증 프로토콜로 쉽게 변환할 수 있는 프레임웍을 제안한다. 또한, 이 프레임웍을 이용해서 설계된 인증 프로토롤이 ideal cipher mode에서 안전함을 보인다.

• 과학과기술
• /
• 제33권3호통권370호
• /
• pp.74-75
• /
• 2000

대구효성가톨릭대 양재호교수는 인체 피부가 다이옥신에 민감하다는 사실에 착안하여 인체 피부세포를 모델로 사용하여 인체에서도 암을 유발한다는 사실을 증명한 과학자이다. 양교수의 연구결과는 다이옥신이 인체 세포에서 암을 일으킬 수 있음을 증명한 최초의 보고서로 평가되고 있으며 97년 세계보건기구 산하의 암연구기구도 다이옥신을 인체발암물질로 분류하는데 중요한 자료로 활용하고 있다.

• 대한조선학회지
• /
• 제31권3호
• /
• pp.72-76
• /
• 1994

LNG선의 신뢰성이 향상되고 안전운항이 오래 지속되고 있다. 이것은 모든 관련자들의 노력 덕택 이며 매우 고무적인 일이다. 현재보다도 미래에 LNG선의 역할은 보다 더 중요하게 될 것이다. LNG선의 신뢰성 유지는 한층 더 요구되어 질 것이다. LNG선과 같은 고기술선에서는, 실증성에 의거한 증명된 신뢰성이 필수적인 것이다. 이 점에서 미실증 분야로 있는 LNG선 수명 연장에는, 극히 신중한 대처가 필수 불가결하다. 기술면의 증명이 부족한 대로 수명 연장을 통해 사고를 일으킨다면, 열심히 쌓아올린 LNG선의 안전에 대한 전통이 붕괴될 염려가 있다. 여러 가지 요 인으로 볼 때 수명연장 요인은 존재하나, 대형사고 유발에 대한 Risk가 워낙 큼으로써 신중을 기해야 할 것이라고 생각한다.