• Korean Journal of Logic
• /
• v.19 no.3
• /
• pp.401-435
• /
• 2016

Can a proposition that a sentence like "It is raining" represents be sometimes itself? or is it always ? This is known as the debate between Eternalism and Temporalism and belongs to the sub-category of the wider debate between Classical Propositionalism and Non-classical Propositionalism. Regarding this matter, Cappelen and Hawthorne(2009), supporting Eternalism[Classical Propositionalism], raise interesting objection to anaphoric 'that' argument that is one of the famous arguments supporting Temporalism. In this paper, I try to show how difficult it is to advocate Classical Propositionalism by refuting what Cappelen and Hawthorne claim.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.3
• /
• pp.77-86
• /
• 2002

위성은 일단 한 번 발사하고 나면 운용궤도상에서 수리 및 회수가 거의 불가능하기 때문에 위성에 들어가는 모든 개발 부품들은 완벽한 설계, 충분한 해석, 고 작업도의 제작, 그리고 다양한 시험이 반드시 수반되어야 한다. 위성시스템에서 전자 소자의 신뢰성에 영향을 주는 인자는 다양하다. 과도한 열은 전자소자의 실패를 유발해서 결과적으로는 전체 위성의 실패를 유도할 수 있다. 이 논문에서는 다목적 실용위성 2호의 고전력 소산 전장품의 열부하 완화를 위한 방안을 경우별로 연구 비교하였다. 고전력 소산 전장품의 열부하를 완화하기 위해서는 하우징 두께의 증가가 필요하며, 전력조절기의 다이오드나 트랜지스터처럼 전력소산이 큰 소자에 대해서는 장착위치를 변경하거나 장착 부분의 열전도율을 증가시키는 방법이 필요하다. 또한 전력조절기처럼 장착면이 좁은 경우에는 복사의 영향이 크며, 이러한 전장품의 열부하를 완화하기 위해서는 주위 벽면의 온도를 낮추거나 하우징 표면 방사율을 증가시키는 방법이 효과적임이 알 수 있다.

• Journal of the Korean Society of Radiology
• /
• v.4 no.4
• /
• pp.11-16
• /
• 2010

In this paper, including the X-ray high voltage resonant inverter generators and high frequency high voltage transformer operating systems is proposed. X-ray generator removes the noise and was smaller, 50[kHz] to work more with the driving frequencies, and that occurred when the normal power supply available due to noise, survey the conditions and solve the problems of the poor was a problem. In addition, X-ray tube voltage, frequency controllers and tube current controller filament heating voltage transformer for high frequency transformer design and manufacture of doing X-ray devices were to become more efficient operation.

• Journal of Korea Water Resources Association
• /
• v.30 no.3
• /
• pp.195-199
• /
• 1997

Classical theory of hydrodynamic pressure on dams during earthquakes is revisited and examined with linear transient theory. Because the ground motion during earthquakes is not only transient but also consists of random horizontal and vertical motions, it is proper to treat hydrodynamic pressure on dams with transient theory for random, transient earthquake motions. The present study fines that surface waves are negligible and that the present theory agrees well with the classical theory if the ground motion is horizontal and harmonic with a high frequency.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.19 no.7
• /
• pp.107-112
• /
• 2005

RThis paper presents a high voltage capacitor charging power supply(CCPS) using a series resonant inverter. The CCPS adopted a 45[kHz] IGBT series resonant inverter using PLL control and a high-efficiency, high-voltage transformer. The performance test of the CCPS was carried out with a 14 nF load capacitor at 100[kV] output voltage and 200[Hz] repetition rate. Peak power rate of 18.75[kJ/sec] and charging time of 4.5[mS].

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.19 no.9
• /
• pp.992-999
• /
• 2008

This paper describes the design of SPST PIN diode switch which has a 2 kW high power handling capability within $50{\mu}s$ switching speed in $20{\sim}100$ MHz VHF-band. Design factors were investigated and it was confirmed by simulation that the characteristics of insertion loss, VSWR, and isolation met design goal. Also, the capability to handle 2 kW high power with maximum fast switching speed less than $20{\mu}s$ was confirmed and insertion loss less than 0.2 dB, VSWR less than 1.17:1, and isolation higher than 40 dB were obtained by experiments.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.14 no.2
• /
• pp.128-133
• /
• 2009

This paper describes the development of a miniature high voltage power supply for driving an image intensifier tube (IIT). The IIT is used for portable night vision devices to observe an object in the dark. A small-sized high voltage power supply generating thousands volts from the battery power source is needed to drive the IIT. This paper presents the design and implementation of the high voltage power supply for the IIT. The experimental results are provided to verify the operation of the developed power supply.

• Proceedings of the KIEE Conference
• /
• 2001.07c
• /
• pp.1612-1615
• /
• 2001

포항 방사광 가속기 2.5 GeV의 전자선형 가속기는 마이크로웨이브 발생원으로써 80 MW 클라이스트론(klystron) 11대와 입사부에 65 MW 클라이스 트론 1대를 사용한다. 전자빔 에너지의 효율적인 제어를 위하여 고출력 클라이스트론의 RF 전력과 입력 빔의 전력을 정확하게 측정해야 하며 응답특성이 양호한 측정장치와 정밀한 측정이 요구된다. 클라이스트론에 공급되는 전력은 캐소드에 인가되는 전압과 전류의 측정치로 계산된다. 비록 빔 전압측정에서의 작은 오차일지라도 클라이스트론 RF 출력 전력의 결과값에 큰 영향을 미친다. 따라서, 빔 전압의 측정시에 정확한 측정을 위하여 특별한 주의가 요구된다. 고전압 펄스전원장치 인 모듈레이터 (modulator)에서 발생되는 수백 kV(350-400 kV)의 전압을 측정하기 위하여 커패시터의 용량비로 입력전압을 분압하는 용량성 분압기(capacitive voltage divider, CVD)가 사용된다. 고압측 분압용 표준 콘덴서의 정전용량을 결정하는 주요인자는 고전압 절연유의 유전율(dielectric constant)이다. 그러므로, 측정범위 내의 전압, 주파수, 온도에 대하여 정전용량의 변화율이 작도록 설계하여야 한다. 본 논문에서는 펄스형 고전압 신호 측정을 위한 용량성 전압 분배기의 측정원리, 설계분석, 교정시험, 절연유의 온도변화에 따른 정전용량 변화 특성에 대한 실험 결과를 고찰하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2000.07e
• /
• pp.71-73
• /
• 2000

최근 고 에너지 저장 및 발생장치의 개발은 군사용에서 산업용으로 응용되면서 각종 첨단 설비가 개발되고 있다. 본 논문에서는 전자빔 발생기로 쓰이는 Gyroklystron용 대전력, 고전압, 전류 펄스 전원장치로 입력부, 특고압 발생부, 고압 정류부 및 IGBT 펄스 스위치 구성하고 그 설계 및 개발 자료에 대하여 기술하였다. 대전력 고전압 전류펄스 전원장치를 위한 각 구성 부분의 제어 및 설계 특징은 다음과 같다. 입력부인 IGBT Inverter는 펄스 전원장치의 제어를 위하여 출력 고전압을 Feedbark System에 의해 펄스 설정 전압을 유지하도록 제어하며, 또한 펄스 출력중에 직류 고전압부의 전압강하, 즉 펄스 진압의 Drop이 커지는 것을 방지하기 위하여 Fast Dynamics를 갖도록 Feedback System을 구성하였다. 단상 특고압 승압용 변압기 3대를 직렬접속한 특고압 발생부는 PWM 제어된 전압을 입력받아 특고압으로 승압시키며 고압 펄스성 전압과 매우 높은 dV/dt 전압이 인가되므로 Stray Capacitance가 최소가 되어야 하며 절연파괴로부터 보호될 수 있어야 한다. 고압 정류부는 Inverter와 특고압 변압기에 의하여 전원이 공급되므로 교류전압의 교번 순간에 매우 높은 전압변동률을 가지는 Fast Recovery High Voltage Rectifier로 설계 제작되어졌다. 펄스 스위치인 IGBT 스위치는 Gate Driver에 의해 구동되어 지며 주어진 펄스 사양을 만족시키게 된다. 특히 소자의 전압특성을 고려하여 120KV의 전압 값을 갖도록 설계, 제작하였다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.363-366
• /
• 1999

본 논문은 움직이는 물체의 거리와 속도측정을 위한 고전력 쏘나(SONAR)시스템 개발에 목적을 두었다. 고전력 딘나 시스템은 이동하는 물체에 주파수가 190kHz이고, 1.6ms 만큼의 시간차를 가지는 두 개의 정현 구동신호를 보내, 되돌아오는 초음파의 시간차를 이용했다. 초음파 센서의 송신부에는 고전력 엠프를 사용하여 ${\pm}60V$의 정현 구동 신호가 송신 초음파 센서에 전달 되도록 하였다. 초음파 센서의 신호 발진 및 수신된 신호의 저장을 위하여 IM RAM을 활용하였다. 150-250kHr 대역의 아날로그 BP필터를 거쳐 RAM에 저장된 수신신호는 송신신호와 함께 Cross-correlation을 행하여 시간지 연값을 계산하였고, 이로부터 거리 및 속도를 측정했다. 이 실험에서 설계 제작된 쓰나 시스템으로부터 측정된 값은 오실로스코프와 광 센서를 이용하여 직접 측정한 값들과 비교했다. 그 결과 $2\%$의 오차로 근접함을 확인하였다.