• 한국수학사학회지
• /
• 제24권3호
• /
• pp.37-58
• /
• 2011

수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

• 정보저장시스템학회논문집
• /
• 제1권2호
• /
• pp.150-154
• /
• 2005

The effects of track format on the inter-track crosstalk of holographic ROM system are investigated. To quantify the effect of inter-track crosstalk for various track width and pitch, we defined Signal to Crosstalk noise Ratio(SCR) as a criterion. A numerical simulation is used to obtain the SCR as a function of track widths and pitches. We compared different 4 track widths having 0.3, 0.4, 0.5, and 0.6 ${\mu}m$ considering resolving power of lens and recording density. The simulation results show that the SCRs for each track width are maximized at the track pitch which has the value of 0.72, 0.72, 0.74, and 0.5 ${\mu}m$ respectively. Next, for the three sets with track width-pitch(0.4-0.72, 0.5-0.74, 0.6-0.8 ${\mu}m$) which showed the maximum SCR, we set a minimum pit length so that all sets have a DVD equivalent data density and compared RF signals passed from the slit. The simulation results show that when the track width, pitch, and minimum pit length have 0.5, 0.74, and 0.4 ${\mu}m$ respectively, the difference between the maximum and minimum value of the RF signal showed the greatest value. Also, we investigated RF signal in case of using an amplitude inversion mask, which transmitted regions are inversed against the conventional mask. The simulation results show that the better RF signal may be obtained by using an amplitude inversion mask.

• 대한조선학회논문집
• /
• 제53권3호
• /
• pp.228-236
• /
• 2016

Extraordinarily the establishment of towing tank has been initiated after the allocation of space at the basement floor of existing building through remodeling procedure. Therefore the asymmetric tank should be unavoidably determined by compromising with the allowable space and existing building structure. Consequently the shape of towing carriage ought to be selected as a cantilever type to match with the given environmental conditions. Finally the major role of the towing tank has been configured on the fundamental research work for the high speed marine vehicles. Due to the limited length of towing tank, it is appeared that the carriage should accelerated with 1.2m/sec² which is equivalent to twice of the maximum acceleration in ordinary practices on design application of carriage. In such a condition the exerted total power of motor could not be converted to traction force of the carriage without slip for the acceleration. To overcome these difficulties the contact pressure of a horizontal traction wheel to rail has been reinforced by the elastic recovery force of springs on supporting rollers. It is believed that the design experience of the high speed towing carriage under unusual circumferential condition and acceleration barrier could be utilized not only on the design of high speed towing carriage but also on the improvement of existing facilities.

• 한국가스학회지
• /
• 제11권4호
• /
• pp.54-58
• /
• 2007

본 연구에서는 13L급 전자제어식 디젤 엔진을 혼소 엔진으로 개조하여 얻은 결과를 다루고 있다. 혼소 엔진 개조 후 차량의 출력, 연료경제성, 운전성 등을 파악하기 위하여 일정한 경로의 고속도로를 주행하였다. 개조된 차량은 최대 85%의 대체율을 가지며 500 km의 거리를 혼소 모드로 주행하였다. 차량의 주행성능은 디젤 모드의 경우와 거의 동일하였으나, 추월 가속성능이 약간 떨어지는 경향이 있었다. 엔진의 최대출력, 열효율, 배기가스 측정을 위하여 차량 시험과는 별도로 엔진 시험도 동시에 수행하였다. ND-13모드에서 배출가스 배출량 측정 실험을 수행한 결과, 산화촉매를 장착한 혼소모드에서의 배출가스 배출량은 디젤모드에서와 출력은 동일하게 유지하면서 K2006 규제를 만족함을 알 수 있었다.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2005년도 학술대회 논문집
• /
• pp.387-390
• /
• 2005

A This paper presents a novel three-phase current-fed Pulse Width Modulation converter with switched- capacitor type resonant DC link commutation circuit operating PWM pattern strategy under a design consideration of low-pass filter, which can operate on the basis of the principle of zero current soft-switching commutation. In the first place, the steady-state operating principle of this converter with a new resonant DC link snubber circuit is described in connection with the equivalent operation circuit, together with the practical design procedure of the switched-capacitor type resonant DC link circuit is discussed from a theoretical viewpoint on the basis of a design example for high-power applications. The actively delayed time correction method to compensate distorted currents due to a relatively long resonant commutation time is newly implemented in the open loop control scheme so as to acquire the new optimum PWM pattern. Finally, the experiment or set-up in laboratory system or this converter is concretely demonstrated herein to confirm a zero current soft-switching commutation of this converter. The comparative evaluations between current-fed hard switching PWM and soft-switching PWM converters are carried out from a viewpoint of their PWM converter characteristics.

• 한국정보통신학회논문지
• /
• 제4권4호
• /
• pp.817-824
• /
• 2000

본 논문은 절연변압기를 사용하지 않는 하이브리드 멀티레벨 PWM 정류기(특히 5-레벨)의 회로 DQ 모델링 및 동작특성 해석에 대한 연구이다. 회로 DQ 변환은 동기속도로 회전하는 변환 행렬을 사용함으로써 3상 시변 회로를 정지된 등가회로로 변환한다. 이러한 회로 DQ 변환을 통해 얻은 등가회로를 사용하여 시스템의 동작 특성 및 유용한 설계식들을 보다 쉽게 얻을 수 있다. 즉, 각 DC 커패시터 전압 및 전원이 공급하는 유효전력, 무효전력과 제어변수의 해석적인 식들을 보이고, 나아가 멀티레벨 출력을 얻기 위한 각 DC 전압들을 AC 전원으로부터 직접 build-up 할 수 있음을 제시한다. 또한 5-레벨 출력전압을 보장하기 위한 제어식을 유도한다. 끝으로, 이러한 모델링 및 해석의 타당성을 검증하기 위하여 MATLAB을 사용한 모의 실험을 행하고, 해석적인 예측과 모의실험으로 얻어진 파형의 일치성을 확인하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제28권11호
• /
• pp.561-572
• /
• 2001

CMOS 회로의 전력 소모는 공급 전압의 제곱에 비례하기 때문에 공급 전압을 낮추는 것이 전력 소모를 줄이는 데 매우 효과적이다. 본 논문에서는 저전력 경성 실시간 응용프로그램을 위한 태스크내 전압 스케줄링 알고리즘을 제안한다. 정적 시간 분석 기법을 바탕으로 제안된 이 알고리즘은 각각의 태스크 내부에서 프로세서의 공급 전압을 조정한다. 제안된 알고리즘에 의해 전압 스케줄링된 프로그램은 모든 유휴 시간을 완전히 이용함으로써 항상 프로그램의 수행을 마감 시간에 근접하여 끝나도록 하여 많은 전력 감소 효과를 얻을 수 있다. 제안된 알고리즘의 효과를 검증하기 위해 일반적인 프로그램을 동적 전압을 사용하는 같은 기능의 프로그램으로 자동으로 변환하는 소프트웨어 도구도 개발되었다. 실험 결과, 자동화 소프트웨어 도구에 의해 변환된 MPEG-4 부호기와 복호기의 저전력 버전이 전원 차단 기능을 가진 고정 전압 시스템에서 실행된 원래 프로그램에 비하여 전력 소모가 7~25%에 불과함을 알 수 있었다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제3권11호
• /
• pp.419-426
• /
• 2014

최근 스마트 모바일 기기에서의 고성능화 추세는 더 많은 소비 전력을 요구하게 되어 배터리 사용 시간의 감소로 이어지고 있다. 이에 배터리 관리의 중요성과 그 연구에 필요한 정확한 배터리 모델링 방법이 중요해지고 있다. 배터리 모델은 크게 수학적 모델, 전기화학적 모델, 전기적 모델로 구분된다. 그중 전기적 모델에서 전기적 소자를 사용한 테브닌 등가회로와 SOC의 비선형 함수 모델을 사용하는 것이 일반적이나, 온도나 사용연한에 따른 특성 변화, 전기적 소자로 표현할 수 없는 비정형적 저항성분 등의 존재로 OCV 결과 출력의 정확성에 한계가 존재한다. 본 논문에서는 기존의 모델의 정확성을 향상시키기 위하여 배터리의 SOC 특성을 나타내는 수학적 함수 모델을 개선하고 온도, 수명, 그리고 전기적 특성의 비선형성을 포함하는 새로운 배터리 모델을 제안한다. 또한 제안한 모델을 구현한 시뮬레이터를 사용하여 정적 전류 상태와 동적 전류 상태에서의 배터리의 방전 결과를 예측한 결과, 기존 방법 대비 실측값과의 MSE가 개선된 결과를 보였다.

• 한국기계가공학회지
• /
• 제20권12호
• /
• pp.44-53
• /
• 2021

As environmental issues have emerged worldwide, emission gas regulations have been strengthened. In the construction machinery sector, studies have been actively conducted to utilize the power source of electric motors owing to the increasing demand for zero emissions. In this study, the gear specifications of an electric axle for construction machinery were selected by considering the specifications of the motor, gear tooth contact pattern, and face load factor. The gear strength evaluation was performed at the system level using the simulation model. The bending and contact strength of the spiral bevel gears and the bending strength of the planetary gear set showed a safety factor of 1 or more. However, the contact strength of the planetary gear set showed a safety factor of 0.92. Conservative results were derived by performing the analysis under the rated load condition of the motor. However, the ratio of the equivalent torque to the rated torque of the motor was 45% or less, hence, it was determined that no difficulties should arise regarding the durability of the axle.

• Journal of Microbiology and Biotechnology
• /
• 제31권7호
• /
• pp.990-998
• /
• 2021

Melanin is a natural skin pigment produced by specialized cells called melanocytes via a multistage biochemical pathway known as melanogenesis, involving the oxidation and polymerization of tyrosine. Melanogenesis is initiated upon exposure to ultraviolet (UV) radiation, causing the skin to darken, which protects skin cells from UVB radiation damage. However, the abnormal accumulation of melanin may lead to the development of certain skin diseases, including skin cancer. In this study, the antioxidant and antimelanogenic activities of the cell-free supernatant (CFS) of twenty strains were evaluated. Based on the results of 60% 2,2-diphenyl-1-picrylhydrazyl scavenging activity, 21% 2,2'-azino-bis (3-ethylbenzthiazoline-6-sulfonic acid) scavenging capacity, and a 50% ascorbic acid equivalent ferric reducing antioxidant power value, Limosilactobacillus fermentum JNU532 was selected as the strain with the highest antioxidant potential. No cytotoxicity was observed in cells treated with the CFS of L. fermentum JNU532. Tyrosinase activity was reduced by 16.7% in CFS-treated B16F10 cells (but not in the cell-free system), with >23.2% reduction in melanin content upon treatment with the L. fermentum JNU532-derived CFS. The inhibitory effect of the L. fermentum JNU532-derived CFS on B16F10 cell melanogenesis pathways was investigated using quantitative reverse transcription polymerase chain reaction and western blotting. The inhibitory effects of the L. fermentum JNU532-derived CFS were mediated by inhibiting the transcription of TYR, TRP-1, TRP-2, and MITF and the protein expression of TYR, TRP-1, TRP-2, and MITF. Therefore, L. fermentum JNU532 may be considered a potentially useful, natural depigmentation agent.