• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.2
• /
• pp.289-294
• /
• 2004

The IPv6(Internet Protocol version 6), a next generation Internet protocol. was standardized to solve the problems of the IPv4(Internet Protocol version 4). However, the IPv4 could not be actually converted to the IPv6 at one time. Therefore, the transition mechanism is thought to be very much important to be compatible with the IPv4 naturally and convert to the IPv6 network gradually. Despite of the development of various kinds of the transition mechanism, the IPv6 network was not expanded. The research was mainly made not for current system environment but for technical purposes. This paper investigated the performances through the transition mechanism and examined proper ways being applicable to current environment.

• The Journal of Korean Association of Computer Education
• /
• v.21 no.4
• /
• pp.1-10
• /
• 2018

Block programming environment, which is represented by Scratch in elementary and middle school programming education, is suitable for learner's characteristics and cognitive level, and is recommended not only for beginners. Transference to the text programming environment after the block programming is essential for understanding the data processing process, understanding the accuracy and efficiency aspects of algorithms, and creating SW activity. In addition, it is presented step by step in the programming curriculum. In this study, developed WithBlock the online evaluation system for the purpose of transference from a block programming to a text programming environment. The developed system can solve the same algorithm problem in both block and text programming environment, and it can be used for elementary and secondary programming education by automatically scoring the written code and providing immediate feedback. In order to applicable to programming education in elementary and secondary surveyed the usability, learning possibility, interest and satisfaction of WithBlock. The results of the survey showed that it can be used for programming education.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.10
• /
• pp.41-44
• /
• 2014

In full-duplex wireless communication, spectral efficiency can be improved over half-duplex communication system. In this paper, we consider full-duplex multiple-user (MU) multiple-input multiple-output (MIMO) system in which inter-user interference may degrade the performance of the full-duplex system. We propose a downlink power allocation technique at base station that can maximize the spectral efficiency only with the statistical information about the inter-user interference channel.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.10a
• /
• pp.946-948
• /
• 2013

Several baculovirus vector systems recombined with coding genes of polyhedron promoter, vesicular stomatitis virus G (VSVG), polyA, cytomegalovirus (CMV) promoter, enhanced green fluorescent protein (EGFP), and protein transduction domain (PTD) were constructed. These recombinant baculovirus vector systems were applied into human foreskin fibroblast cells and compared the effects of gene transfer and gene expression of these recombinant baculovirus vector systems with control vector system. From this study, it showed that these novel recombinant baculovirus vector systems were superior efficacy to control vector system in view of gene transfer and gene expression.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.310-312
• /
• 2005

유한상태 기계는 신뢰성이 요구되는 내장형 시스템의 제어흐름을 표현하고 검증하는데 많이 사용되는 모델이다. 하지만 자체가 가지고 있는 단순함으로 인해 복잡한 시스템을 명세하기에는 부족하다. 이러한 유한상태 기계의 단점을 극복하기 위해 다양하게 확장시킨 유한상태 기계들이 나왔지만 이렇게 확장된 유한상태 기계들에 대한 정형 의미의 부재로 인해서 요구사항중 하나인 명세를 검증하는데 어려움이 따른다. 이에 우리는 확장된 유한상태 기계의 정형 단계 의미를 정의하고, 이를 사용하여 모델에 대한 정형검증을 수행하였다. 그 결과 레이스 조건(race condition)과 애매한 전이, 순환하는 전이 등의 버그들을 모델에서 정형적으로 검출 할 수 있었다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.294-299
• /
• 1999

CCSR은 CCS에 시간적인 개념이 추가된 실시간 명세 언어로 실시간 프로세스의 정적 분석에 이용되고 있다. CCSR은 프로세스 전이 규칙을 이용하여 프로세스 동작의 관심 부분만 하여 분석하기 때문에 전체 태스크(task)의 동작을 분석하는데 적용하기 어렵고, 전이규칙에 따른 상태 변화를 이해하기 어렵다. E-TCPN은 시간 요소가 첨가된 Petri Net의 변형된 형태로 실시간 시스템의 분석과 모델링을 위한 형식적(formal) 방법을 제공한다. 본 논문에서는 CCSR로 표현된 프로세스 동작을 E-TCPN 모델에 적용함으로써 실시간 시스템을 중요한 사건을 중심으로 전체 태스크의 동작 과정을 표현하고 프로세스의 수행 과정을 이해하기 쉽도록 CCSR을 변형하여, E-TCPN 명세 모델에 적용하고, 적용된 E-TCPN으로 스케줄링가능성 분석 알고리즘을 제안하고 구현하였다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.11a
• /
• pp.520-529
• /
• 2007

간암은 세계적으로 흔한 악성 종양에 속하지만 우리나라에서 간암은 위암, 폐암 다음으로 높은 사망률을 보이며 이러한 간암은 조기진단이 요구된다. 전문의는 간암의 진단을 위해 조영증강 CT영상을 이용하여 육안으로 간암을 판별하는데, 조영증강 CT영상을 이용한 진단은 주 종양의 진단에는 도움이 되지만 주 종양에서 주위 간 조직으로 전이된 간암들을 판별하는 것은 어려우며 실제로 시술 중에야 전이된 간암의 존재를 알 수 있다. 본 논문에서는 조영증강 CT영상을 이용하여 간과 주 종양을 자동으로 추출한 후, 미세하게 주 종양 주위로 전위된 간암들을 추출하는 방법을 제안하여 전문의를 보조할 수 있는 보조 전문가 시스템으로서의 유용성을 확인하고자한다. 조영증강 CT영상은 흉부에서 5mm간격으로 40 ${\sim}$ 50장정도로 촬영된다. 조영증강 CT영상을 이용하여 간 영역을 추출하기 위해서 간의 형태학적 정보 그리고 명암도와 명암의 분포도를 이용한 양자화 기법 등을 적용하여 추출하며 추출된 간 영역에서 간암의 후보 영역 추출은 간암의 명암도와 형태학적 특징 정보를 이용하여 추출한다. 본 논문에서는 간암의 추출을 위해 맵 상에 흩어져 분포되어 있는 유사 패턴들의 무게 중심을 찾아 하나의 패턴으로 그룹화 하는 개선된 SOM 알고리즘을 제안하여 간암 판별에 적용한 후, 기존의 SOM 알고리즘과 비교 분석한 결과. 본 논문에서 제안된 SOM 알고리즘을 적용한 간암 추출이 더 효율적임을 확인 할 수 있었으며, 전문의가 판별한 것과 비교 분석한 결과, 전문의를 보조할 수 있는 보조 전문가 시스템으로서의 가능성을 확인할 수 있었다.

• Proceedings of the KOR-KST Conference
• /
• 2007.02a
• /
• pp.429-436
• /
• 2007

• The Journal of the Convergence on Culture Technology
• /
• v.1 no.2
• /
• pp.21-36
• /
• 2015

This study is a descriptive study to examine how poem causes effects of literary treatment for the contemporary people and how to improve therapeutic effect with poem by illustrating the process of therapeutic effect by poem. Each poem in the poetry book has a well-organized flow. While those poems are mixed, it can be synapsed into the cognitive system of readers by their taste in the form of introduction, development, turn, and conclusion.' The poetry book is structured with the transition of literary treatment. Such transition structure is embodied in a circle. If poetic contents are positive and creative in such transitive structure, it gives more comfort and excitement to readers increasing therapeutic effect. Therefore, it is very important to progress literatherapy narrative with such creative works.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.8
• /
• pp.407-415
• /
• 2008

This paper presents novel segmentation and transition techniques for dancing motion synthesis. The segmentation method for dancing motions is based on Laban Movement Analysis (LMA). We assume a dance sequence as a set of small dancing motions. To segment a dancing motion is a subjective, psychological, and complex problem, so we extract the shape factor of LMA from a dance motion and observe shape's changes to find the boundaries of dance segments. We also introduce a transition method that meets constraints on the feet. This method that is based on a linear interpolation modifies the intermediate posture motion after analyzing footprint positions. The posture could be a key-frame between source motion and target motion on the transition. With the proposed techniques, it would be easy for multimedia applications to generate plausible dance motions.