• Journal of IKEEE
• /
• v.17 no.3
• /
• pp.346-351
• /
• 2013

Low-cost and low-power are important requirements in mobile systems. Thus, when a floating-point arithmetic unit is needed, 24-bit floating-point format can be more useful than 32-bit floating-point format. However, a 24-bit floating-point arithmetic unit can be risky because it usually has lower accuracy than a 32-bit floating-point arithmetic unit. Consecutive floating-point operations are performed in 3D graphic processors. In this case, the verification of the floating-point operation accuracy is important. Among 3D graphic arithmetic operations, the floating-point division is one of the most difficult operations to satisfy the accuracy of $10^{-5}$ which is the required accuracy in OpenGL ES 3.0. No 24-bit floating-point divider, whose accuracy is algebraically verified, has been reported. In this paper, a 24-bit floating-point divider is analyzed and it is algebraically verified that its accuracy satisfies the OpenGL requirement.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.325-327
• /
• 2003

본 논문에서는 인쇄체 한글을 실용적으로 인식할 수 있는 계층적으로 구성한 신경망을 제안하고, 이를 이용해서 주민등록증의 성명을 인식하는데 적용하였다. 문자영상을 신경망을 이용하여 한글의 6가지 유형으로 먼저 분류한 후, 분류된 문자영상을 각 형식에 따라 자소단위로 분할해서 각 형식에 따른 신경망으로 인식하는 구조로 만들었다. 훈련용 데이터는 각 형식 별로 자소를 분리해서 얻은 영상들을 자소별 평균이미지로 만들어서 이를 조합하여 만든 글자로 사용하였다. 그래서 같은 형식의 같은 자음이라도 글자의 모양과 위치가 조금 다른것에 대해서 강인한 훈련을 할 수 있었다. 또한 입력단에서의 잡음을 줄이기 위해 히스토그램의 국부 평균을 적용하였다. 100명의 주민등록증을 컴퓨터 카메라를 이용하여 입력받아서 테스트한 결과 98.1%의 높은 인식률을 얻을 수 있었다.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.289-291
• /
• 2002

본 논문에서는 객체지향 패러다임의 구조적 특성을 적용하여 만든 시소러스를 이용하여 웹 자원의 의미적 연관성을 RDF 형식으로 표현할 수 있는 RDF 문서 자동 생성기를 소개한다. 객체지향 시소러스를 RDF 형식으로 나타내기 위해 시소러스에 사용된 객체와 관계의 내용을 명세한 네임 스페이스를 정의하여 시맨틱 웹에서 메타데이타를 기술하는 표준이 되는 RDF와 RDF Schema 형식으로 매핑할 수 있다. 이러한 연구를 통해 객체지향 시소러스의 내용을 RDF 형식으로 표현함으로써 지식베이스(KnowledgeBase)라 불리는 온톨로지를 생성할 수 있으며, 구축된 온톨로지는 시맨틱 웹 상의 에이전트나 다른 어플리케이션에 응용될 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.685-688
• /
• 2004

자바 클래스 파일은 플랫폼 독립성을 보장하면서 다양한 애플리케이션의 실행 파일 포맷으로 사용되고 있으며 실행 효율성을 높이기 위해 파일 형식의 변환 연구, 압축 기법 연구 등이 진행되고 있다. 본 연구에서는 임베디드 시스템에 적합한 가상기계(EVM)을 개발하기 위해 기존의 자바 클래스 파일형식을 간결한 형태로 재구성한 실행 파일 포맷($^{\ast}.evm$)에 대한 실행 환경 모델을 구축하기 위해 본 논문에서 자바 클래스 파일을 $^{\ast}.evm$ 형식으로 변환하는 변환기를 설계하고 구현하였다. 자바 클래스 파일로부터 변환된 $^{\ast}.evm$ 형식에 대한 검증은 현재 구현중인 로더/링커 및 실행 시간 엔진 등을 통한 실험 결과의 정확성을 통해 증명하였다.

• The Korean Journal of Applied Statistics
• /
• v.29 no.4
• /
• pp.571-579
• /
• 2016

Most of studies related to the distributions of quadratic forms are conducted under the assumption of multivariate normal distribution. In this paper, we suggested an approximation to the distribution of quadratic forms based on multivariate skew-normal distribution as alternatives for multivariate normal distribution. Saddlepoint approximations are considered and the accuracy of the approximations are verified through simulation studies.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.418-421
• /
• 2023

본 논문은 Word2Vec를 이용하여 한국어 증상 기반 질병 예측 모델을 제시한다. 아산병원 질환 백과의 크롤링 데이터를 세 가지 형식으로 나누어, 모델에 알맞은 데이터 형식을 찾고 모델에 적용한다. 가장 모델에 맞는 데이터 형식은 증상별 질병과 질병별 증상을 합친 경우이다. 데이터의 양을 늘려 임베딩 스페이스를 넓혔고, 가장 중요한 증상과 질병의 유사도도 정확하게 출력되었다. 이는 유사도가 높은 질병과 증상들이 제대로 학습이 되었다는 것을 알 수 있다. 이렇게 만들어진 예측 모델에 positive 증상을 입력하면 유사도가 향상되고, negative에 입력하면 하락하는 결과를 확인했다. 따라서 환자의 증상을 positive에 넣으면, 그 증상을 가진 질병이 가까워지는 반면, 환자의 증상이 아닌 증상을 negative에 넣으면, 환자에게 맞지 않는 질병이 멀어진다. 그러므로 환자의 상태에 맞는 질병을 유추해, 의사나 환자가 증상에 대한 질병을 알고 싶을 때 또는 검색에 유용하게 사용할 수 있다. 더불어, 질병의 진료과 데이터를 추가하여, 환자에게 맞는 진료과를 찾는 데도 도움을 줄 수 있다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.19 no.4
• /
• pp.457-484
• /
• 2015

This study aims to investigate an approach to teach proportional reasoning in elementary mathematics class by analyzing the proportional strategies the students use to solve the proportional reasoning tasks and their percentages of correct answers. For this research 174 sixth graders are examined. The instrument test consists of various questions types in reference to the previous study; the proportional reasoning tasks are divided into algebraic-geometric, quantitative-qualitative and missing value-comparisons tasks. Comparing the percentages of correct answers according to the task types, the algebraic tasks are higher than the geometric tasks, quantitative tasks are higher than the qualitative tasks, and missing value tasks are higher than the comparisons tasks. As to the strategies that students employed, the percentage of using the informal strategy such as factor strategy and unit rate strategy is relatively higher than that of using the formal strategy, even after learning the cross product strategy. As an insightful approach for teaching proportional reasoning, based on the study results, it is suggested to teach the informal strategy explicitly instead of the informal strategy, reinforce the qualitative reasoning while combining the qualitative with the quantitative reasoning, and balance the various task types in the mathematics classroom.

• The Journal of the Korea Contents Association
• /
• v.13 no.2
• /
• pp.100-107
• /
• 2013

Agn$\grave{e}$s Varda is a French representative female film director. In particular, the method combining subjectivity and objectivity is the most outstanding characteristics. However, it can be said that the method to support this is not only theme of the film but also creation of structure including the exploration for the filmic form different from classical film form. Such an approach accords with No$\ddot{e}$l Burch's refined analysis of filmic form. Therefore, This study aims to aesthetical analysis of the form of producing the structure in modern movies through which is one of the representative work by Agn$\grave{e}$sVarda and won the Golden Lion award in 1985 Venice Film Festival. The theme of the film, the recovery of relationships among people and contacts through the tragic death of drifting life, created a new filmic structure by formative experiment of the film. The formative experiment is the fragmented and repetitive construction with the introductory voice-over, and consists of movement and editing of camera and specific use of flashback and sound through the representation of figures and situations, mixture of narrative and non-narrative style.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.14 no.11
• /
• pp.1184-1190
• /
• 2003

In this paper, we investigated the characteristics of compensation for distorted NRZ signal and RZ signal in 320 Gbps WDM system as a function of channel input power, fiber dispersion coefficient and transmission length, respectively. The considered WDM transmission system is based on mid-span spectral inversion(MSSI) compensation method having highly nonlinear dispersion shifted fiber(HNL-DSF) optical phase conjugator(OPC) in the mid-way of total transmission line. We confirmed that the signal input power range compensated by MSSI is broadened by using RZ as a signal format in WDM system with small fiber dispersion coefficient, The range of fiber dispersion coefficient compensating overall distorted WDM channels is limited, because degree of compensation for distorted channel with low conjugated-wave power becomes gradually degrade as fiber dispersion coefficient becomes gradually higher. It is showed that RZ format and NRZ format is suited for long-haul transmission in WDM system with small fiber dispersion coefficient and with large fiber dispersion coefficient, respectively.