김영식 교수

A comprehensive treatment of the classical decay rates for a molecule in the vicinity of a spherical surface is presented through the application of the work of van der Pol and Bremmer and that of Fock. This theory takes full advantage of the Hertz vector formalism, which is mathematically simpler than the widely-adapted Lorenz-Mie approach which uses the complicated vector harmonic expansions. Results are obtained for both radiative and nonradiative transfer when the molecule is located outside

A series of anthracene derivatives with a triphenylsilane end-capping group, (9,9-dimethyl-2-(10-phenylanthracen-9-yl)-9H-fluoren-7-yl)triphenylsilane (PAFTPS), 9,10-bis(9,9-dimethyl-2-(triphenylsilyl)-9H-fluoren-7-yl)anthracene (BFPSA), (9,9-dimethyl-2-(9,10-diphenylanthracen-2-yl)-9H-fluoren-7-yl)triphenylsilane (DPA-2FTPS), and (9,10-eiphenylanthracen-2-yl)triphenylsilane (DPA-2TPS), have been designed, synthesized, and characterized. A device incorporating PAFTPS as the emissive layer exhibi

In this paper, for an odd prime p, new quaternary sequences of even period 2p with ideal autocorrelation property are constructed using the Legendre sequences of period p. The distribution of autocorrelation function of the proposed quaternary sequences is also derived.

In this paper, we present several construction methods for low-correlation zone (LCZ) sequence sets. First, we propose a design scheme for binary LCZ sequence sets with parameters (2 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n+1</sup> -2,M,L,2). In this scheme, we can freely set the LCZ length L and the resulting LCZ sequence sets have the size M, which is almost optimal with respect to Tang, Fan, and Matsufuji bound. Second, given a q-ary LCZ

This paper presents a methodology for the formal veri-fication of scheduling during High-Level Synthesis(HLS). A notion of functional equivalence between two Finite State Machines with Datapath (FSMDs) is defined, on the basis of which we propose a methodology to verify scheduling. The functional equivalence between the behavioral specifi-cation and the scheduled Control-Data Flow Graph (CDFG)- that is the result of scheduling- is established using their FSMD models. The equivalence conditions a

In this correspondence, for a positive integer <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">M</i> and a prime p such that M|p <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n</sup> - 1, three families of M-ary sequences using the <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">M</i> -ary Sidel'nikov sequences with period p <sup xmlns:mml="http://www.w3.org/

본 연구는 학자금 대출의 취업 효과 및 임금 효과를 분석하는 것을 목적으로 한다. 연구대상은 한국직업능력개발원에서 제공하는 한국교육고용패널의 1차 및 7차년도 자료를 활용하여 전문대와 4년제 대학교 졸업생 805명을 선정하였다. 수집된 자료는 관찰 가능한 변수들을 통하여 집단 간 동등성을 확보할 수 있는 경향점수매칭(Propensity Score Matching)기법을 적용하여 학자금 대출이 대졸자의 취업 및 임금에 미치는 영향력의 크기를 분석하였다. 분석 결과, 학자금 대출은 대졸자의 취업 및 임금에 통계적으로 유의미한 영향을 미치지 못하는 것으로 나타났다. 즉, 학자금 대출을 받은 대졸자들은 그렇지 않은 집단에 비해 취업 확률과 임금 면에서 유의미한 차이를 드러내지 않았다. 이러한 연구 결과는 학자금 대출을 받는 학생들이 사회경제적 배경에 있어 상대적으로 열악한 위치에 있는 학생들임을 감안할 때, 현재 고등교육의 일반화와 보편화로 인해 발생하는 고등교육기관의 과도한 재정부담 문제