• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.999-1010
• /
• 2003

Program slicing is s method to extract the statements from the program which have an influence on the value of a variable at a paricular point of the program. Program slicing is applied for many applications, such as program degugging, program testing, program integration, parallel program execution, software metrics, reverse engineering, and software maintenance, etc. This paper is the study to create the exact slice in the presence of Object Reference State Graph to generate more exactly static analysis information of objects in the program of the presence of complicated data structure.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.3
• /
• pp.173-186
• /
• 2006

In this paper, we suggest a process that transforms non-component Java programs into EJB component programs. We approach following methods to increase reusability of existing Java-based programs. We extract proper factors from existing non-component Java programs to construct for component model, and we suggest a transformation technique using extracted factors. Extracted factors are transformed into EJB components. With consideration for reusability of existing programs and EJB's characteristic, we suggest a process that mixes class clustering and method oriented class restructuring.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• Journal of Broadcast Engineering
• /
• v.14 no.5
• /
• pp.625-637
• /
• 2009

With advent of TV environment and increasing of variety of program contents, users are able to experience more various and complex environment for watching TV contents. According to the change of content watching environment, users have to make more efforts to choose his/her interested TV program contents or TV channels than before. Also, the users usually watch the TV program contents with their own regular way. So, in this paper, we suggests personalized TV program schedule recommendation system based on the analyzing users' TV watching history data. And we extract the users' watched program patterns using the sequential pattern mining method. Also, we proposed a new sequential pattern mining which is suitable for TV watching environment and verify our proposed method have better performance than existing sequential pattern mining method in our application area. In the future, we will consider a VoD characteristic for extending to IPTV program schedule recommendation system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.283-288
• /
• 2010

본 논문은 VTK를 이용한 3차원 무릎 MRI 가시화에 대한 프로그램 기술을 제안한다. 기존의 많은 연구에서는 VTK를 사용하여 의료영상에 대한 3차원 가시화 프로그램을 제안하였으나 골관절염 진단을 목표로 한 무릎 3차원 가시화 방법은 아직 많이 제안되지 않고 있다. 본 논문에서는 볼륨렌더링(Volume redering) 기술과 다각형렌더링(Polygonal rendering)기술을 융합하여 무릎 및 연골을 효과적으로 가시화 할 수 있는 방법을 제안한다. 프로그램은 사용자 상호작용이 가능하고 VTK를 이용한 GPU기반의 프로세싱을 기반으로 하기 때문에 실시간 렌더링이 가능하다. 실험결과로부터 제안한 3차원 가시화 기술은 연골과 무릎의 관계를 직관적으로 표현할 수 있어 골관절염 조기진단에 유용하게 사용될 것으로 기대한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2016.05a
• /
• pp.273-275
• /
• 2016

해사안전기본계획 등 해사분야에서 시행되고 있는 해상교통안전제도와 항공분야에서 시스템 안전 개념에 기반하여 개발 시행중인 국가항공안전프로그램(SSP)과의 비교를 통해 국가해상교통안전프로그램의 개발 및 도입을 제안하고자 한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.4
• /
• pp.982-992
• /
• 1997

Almost all the software develpoment cost is especially spwnede in the test phase of kifecycle.Backtracking method and program slicing methed are often used for debugging.But these have need of abundant experience on debuggers or can't apply for large scale programs.In this paper, I used informations of design documents which is generally used, and proposed a new determination method of error positions combining backtracking method and program slcing method.I described several fundamental concepts, error classes, standard design documents and determination method of error positions to porpose a debugging method, and I explained the process of proposed method using an example program with errors.Finally, I compared and analysed the proposed method with usual slicing methods.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2016.06a
• /
• pp.60-62
• /
• 2016

디지털 방송이 대중화면서 방송 프로그램의 음량은 프로그램의 효과, 방송사간의 경쟁 등으로 인해 점점 더 커지고, 채널 간 및 프로그램 간의 음량 불균형이 심해지고 있다. 이를 해결하기 위해 ITU-R 에서는 음량 측정 방법 및 기준 음량에 대한 연구하여, 그 결과로 BS.1770 표준을 권고하였다. 이 국제 기준을 바탕으로 미국, EU, 일본 등 주요 선진국 뿐만 아니라 우리나라에서는 자국 내 기준을 제정하고, 디지털 방송 프로그램의 음량에 대한 규제를 시행하고 있다. 본 논문에서는 우리나라에서 음량 측정 방법으로 적용한 ITU-R BS.1770-3 방송 프로그램의 음량 측정 기법에 대해서 기술하고, 음량 측정 기법의 고속화 구현을 위한 방법을 제안한다. 제안된 방법은 BS.1770-3 의 음량 측정 기법에 적용된 필터와 True Peak 측정을 위한 필터의 병렬 고속화 방법으로 일반적인 필터 구현에 비해 4 배의 고속화를 달성하였으며, 제안된 방법을 EBU R128 및 Tech 3341 의 컨퍼먼스 스트림으로 실험하여 표준 규격을 만족하였다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.342-356
• /
• 2000

We present a static analysis method to automatically generate test data that raise exceptions in input programs. Using the test data from our analysis, a programmer can check whether the raised exceptions are correctly handled with respect to the program's specification. For a given program, starting from the initial constraint that a particular raise expression should be executed, our analysis derives necessary constraints for its input variable. Correctness of our analysis assures that any value that satisfies the derived constraints for the input variable will activate the designated raise expression. In this paper, we formally present such an analysis for a first-order language with the ML-style exception handling constructs and algebraic data values, prove its correctness, and show a set of examples.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2004.11a
• /
• pp.147-150
• /
• 2004

기존의 방송환경은 시청자에게 단 방향의 서비스를 제공하며, 시청자 각자의 취향에 상관없이 소극적인 자세를 요구한다. 이러한 일방적인 사용자 시청환경에서는 대개의 프로그램들은 방송사에 의해 다수 사용자의 대표적인 시간대에 적절하게 배치되고, 적절하게 배분된 프로그램의 인기도 혹은 시청률, 시청 연령, 시간대에 따른 광고가 그 프로그램을 지원하게 된다. 시청자의 적극적 선별 노력에 의해 선택된 프로그램과 달리 방송 프로그램 콘텐츠와 같이 전송되는 광고는 사용자가 원하는 대개의 프로그램을 지원하는 중요한 수단이지만, 정작 시청자의 관심과는 상관없이 제공된다. 또한, 디지털 방송의 시작과 함께 양방향 서비스 환경에서도 사용자를 고려한 광고의 적절한 분배가 이루어지지 않고 있다. 이러한 일률적인 광고 콘텐츠의 제공은 시청자의 무관심을 초래할 수 있으며, 이러한 경향이 높을수록 효율적인 정보 제공에 많은 제한을 받을 수 있다. 본 논문에서는, 제한적 정보 제공의 해소와 새로운 시청 환경 제안을 위한, 시청자의 성별 및 연령 대를 추론하는 알고리즘을 제안하고 이를 맞춤형 광고, 즉 표적 광고 서비스(Target Advertisement Service) 기법을 제안한다.