• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.133-135
• /
• 2006

실시간 프로그램은 다양한 분야에서 사용되고 있으며, 그 개발자는 논리적, 시간적 정확성을 고려해야 한다. 시간적 정확성은 실시간 프로그램에서 가장 중요한 부분이며, 이를 위한 데드라인은 개발자에 의해 정의된다. 따라서 개발자는 데드라인의 정의를 위하여 기준점을 제시할 수 있는 정적 실행시간 분석이 필요하다. 정적 실행시간 분석에서 프로그램의 반복횟수 분석은 큰 비중을 차지한다. 현재 이러한 반복횟수 분석을 자동화하는 연구가 진행 중이다. 하지만 반복횟수 분석은 반복횟수에 영향을 주는 제어변수의 결정정책에 따라 결과가 달라지고, 자동화를 위한 반복횟수 계산 수식의 적용 범위가 제한되어 있다. 본 논문에서는 이러한 제어변수를 결정 및 탐색하고, 수집된 정보를 개선된 수식을 사용하여 반복횟수 분석을 수행할 수 있도록 PS-Block 구조를 기반으로 반복횟수 분석기를 설계 및 구현하였다. 반복횟수 분석기는 제어변수의 탐색 및 결정 분석 과정을 자동화하고, 수식의 개선으로 자동화 범위를 확대하며, 개별 반복 문 단위의 정밀한 반복횟수 분석을 통해 정확도를 높이고, 신뢰성을 향상시킬 수 있다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.22 no.5
• /
• pp.93-101
• /
• 1985

A two-dimensional numerical analysis progranl, called SOMOS ( simulation of MO5 transistors), has been developed for the simulation of MOSFET's with various channel lengths and bias conditions. The finite difference approximation of the fundamental equa-tions are formulated using Newton's method for Poisson's equation and the divergence theorem for the continuity equation. For the solution of the lincariBed equations, SOR (successive over relaxation) method and Gummel's algorithm have been employed, The total simulation time for oar operating point is varying between 30 sec. and 4 min. on VAX 11/780 depending on bias conditions, The nonuniform mesh was generated and refined automatically to account for various bias values and the potential distributions.

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.265-271
• /
• 1999

이 논문은 한국어 관계관형절(relative adnominal clause)의 전산처리에 적합한 통사 의미 표상 모형을 제시하고, 그 결과를 전산적 구현을 통해서 검증하는 것이 목적이다. 이를 위해 이 논문에서는 다음의 두 가지 문제를 중심으로 관계관형절의 통사 의미 표상과 전산적 구현 문제를 다룬다. 첫째, 관계관형절의 수식을 받는 머리 명사(head noun)는 관계관형절과 모문(matrix sentence)에서 각각 다른 의미역할을 하는 논항이다. 즉, 하나의 논항이 두 개의 의미역을 표상한다. 이 논문의 첫째 과제는 이러한 관계관형절 구문에서 머리 명사의 이중의미역을 표상하는 방법을 모색하는 것이다. 둘째, 관계관형절이 일항술어로 구성될 때, 서술어 단독으로 머리 명사를 수식할 수 있을 뿐만 아니라, 주격중출 구문을 관계화하여 미리 명사를 수식할 수도 있다. 그러나 모든 일항술어가 주격중출 구문을 구성할 수 있는 것은 아니기 때문에 주격중출 구문의 관계화가 가능한 경우와 그렇지 않은 경우를 구별할 필요가 있다. 이 논문의 둘째 과제는 이러한 주격중출 구문의 관계화와 그 표상의 문제를 다루는 것이다. 이 논문에서는 이러한 문제들을 단순히 기술하는 데 그치지 않고 전산 구현을 통해 문제해결을 제시한다. 이를 위해 구현 도구로 C-언어를 보강하여 개발한 문법개발 도구언어인 말라가(Malaga)를 사용하며, 분석결과를 자질구조(feature structure)로 명시하여 그 타당성을 검토한다.

• Annual Conference on Human and Language Technology
• /
• 2008.10a
• /
• pp.35-41
• /
• 2008

이 논문은 각 문법 관계(grammatical relation)에서 선호되는 체언 어휘를 파악하고, 이 어휘들의 의미적 유형 및 그 위계를 파악하는 것이 목적이다. 이를 위해 80만 어절의 21세기 세종계획 구문분석 말뭉치에서 그 분포를 추출하고, 통계적 검증을 통해 각 문법 관계에서 선호되는 체언 어휘를 선별한다. 이 연구에서 관찰하는 문법 관계는 주어, 목적어, 용언수식어로 하며, 이들 문법 관계에서 선호되는 어휘 추출 대상 품사는 대명사, 고유명사, 일반명사로 한다. 한정성의 강도에 따라 주어 분포 경향이 나타나며, 이에 따라 대명사 > 고유명사 > 일반명사 순으로 주어 분포 경향이 나타난다. 그러나 일반적 예측과 다르게 한정성의 강도가 더 강한 것으로 알려진 대명사가 고유명사보다 목적어와 용언수식어에서 분포 경향이 더 강하여, 일반명사 > 대명사 > 고유명사의 순으로 분포 경향이 나타난다. 대명사, 고유명사, 일반명사는 공통적으로 주어에서는 사람 지시어, 목적어에서는 사물과 장소 지시어, 그리고 용언수식어에서는 시공간 표현이 선호되어 분포한다. 특히 대명사는 각 문법기능에서 인칭대명사의 경우 인칭에 따라, 그리고 지시대명사의 경우 원근칭에 따라 선호도의 차이를 보인다. 이러한 체언 어휘의 의미적 분포 특성은 문법 관계에 통사적 기능 외에도 의미적 경향이 반영된 것으로 고려될 수 있다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.37 no.8
• /
• pp.67-75
• /
• 2000

In this paper, we proposed a new method to find dive parameters of an ellipse from the optical Hough transform (HT) results. The method employs the HT for detection of a straight line and the one-dimensional analysis of the resultant parameter domain. Using this algorithm, we simulated about the ellipses with different positions, and obtained the information of the ellipse with 94% accuracy in the worst case. To compare the simulation results with the experimental ones, we performed optical experiments using a HT Computer Generated Hologram (CGH) filter. Through the experiments, we showed that our results were very similar to the simulation results.

• Journal of The Korean Association of Information Education
• /
• v.22 no.1
• /
• pp.159-167
• /
• 2018

In this study, we have developed an online learning community site using Humhub social network software and promote social constructive learning through the questions and answers in subject specific learning groups. By accumulating learning contents which consist of questions and answers about specific topics, learners can acquire knowledge by searching relevant topics and questions and can create and reconstruct knowledge as well as consuming knowledge by participating in self-regulated learning community. We have developed a mathematical editor feature which enables users to enter mathematical expression such as equations and greek characters. Online learning community sites can be used for inquiry based information education.

• Polymer(Korea)
• /
• v.33 no.6
• /
• pp.515-519
• /
• 2009

Biodegradable poly((R)-3-hydroxy butyrate) and poly(ethylene glycol) was conjugated to make amphiphilic di-block copolymer. Folate was conjugated at di-block copolymer to target the cancer cells. Copolymer was ready to form the self-assembled micelle whose size was 125~156 nm in aqueous solution. Griseofulvin as a hydrophobic drug was loaded in nanoparticles. Their loading efficiencies were 35~56%. Hydrophobic drug was continuously released for 24 h. Cell viability test showed that folate attached particles were 10% more efficient than the particles without targeting ligands.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39A no.5
• /
• pp.229-236
• /
• 2014

Quadrature Amplitude Modulation (QAM) is widely used in contemporary wired and wireless communications systems. In this paper, I propose a generalized triangular quadrature amplitude modulation (gTQAM) that includes the square quadrature amplitude modulation (SQAM), TQAM, and ${\Theta}$-QAM as special cases. Therefore, the proposed gTQAM forming a lattice of arbitrary triangles provides a versatile structure in signal constellations compared to other QAM schemes. For M-ary gTQAM, I derive an exact closed-form expression for the bit error rate (BER), and present the optimal signal constellations for given SNR values from the derived BER expression. Finally, I validate the derived BER results through computer simulations.

• Journal of Satellite, Information and Communications
• /
• v.6 no.2
• /
• pp.91-96
• /
• 2011

In this paper, we present measurement method of the unknown load impedance. Load impedance is continuously varied by external environment conditions. This arbitrarily varied load impedance can be calculated using 3-point voltage measurement on ${\lambda}/4$ sectioned transmission line. We derived several numerical formulas from 3-point voltage measurement results and drew load impedance selection algorithm from calculated load impedance results. These numerical formulas and load impedance selection algorithm are verified by ADS simulation. Simulation results showed that arbitrary load impedance can be correctly measured using above mentioned formulas and selection algorithm.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.8C
• /
• pp.697-708
• /
• 2010

In this paper, we compare the timing synchronization performance of the adaptive filter to that of the correlator in direct sequence spread spectrum (DS/SS) systems. The test variables used in the code synchronization are statistically analyzed for both schemes, and then the obtained results are used in calculating the detection and false alarm probabilities. Based on the derived probabilities, the synchronization performance is compared and the simulation is followed. Analysis and simulation results show that the correlator outperforms the adaptive filter under most synchronization environments.