• 베이커리
• /
• no.8 s.373
• /
• pp.94-95
• /
• 1999

• Journal of KIISE:Software and Applications
• /
• v.29 no.8
• /
• pp.529-542
• /
• 2002

More precise program slices could be obtained by considering the semantic relations between variables of interest, compared to the existing slicing techniques considering only the syntactic relations. In this paper, we present specification-based slicing that allows a better decomposition of the program by taking a specification as its slicing criterion. A specification-based slice consists of a subset of program statements which preserve the behavior and the correctness of the original Program with respect to a specification given by a pre-postcondition pair. Because specification-based slicing enables one to focus attention on only those program statements which realize the functional abstraction specified by the given specification, it can be widely used in many software engineering areas. Of its possible applications, we show how specification-based slicing can improve the Process for extracting reusable parts from existing programs and restructuring complex programs for better maintainability.

• Korean journal of food and cookery science
• /
• v.13 no.4
• /
• pp.390-395
• /
• 1997

The inhibitory effects of cereal extracts and concentrates from barley, waxy rice flours and malt on enzymatic browning were measured using apple polyphenol oxidase (PPO). Malt concentrate showed the largest inhibitory effect on PPO among all. The relationship between the properties of malt concentrate such as browning intensity and reducing power and their inhibitory effect on PPO was also studied. As the heating time increased, the browning intensity and the reducing power of malt concentrates were increased, while PPO activities were decreased. Inhibitory effect of malt concentrates on PPO increased with heating time and their concentration. L-value and compression force of the apple slices dipped in malt concentrate decreased by 6.9% and 14.3%, respectively, showing the smallest changes compared with raw and water-dipped apple slices during cold storage for 9 days. These results suggest that malt concentrate can be a potential source for the control of enzymatic browning.

• The KIPS Transactions:PartD
• /
• v.8D no.3
• /
• pp.257-264
• /
• 2001

We developed a SIFG (Slice-based Information Graph), which modelled the information flow on program on the basis of the information flow of data tokens on data slices. Then we defied a SCM (Slice-based complexity measure), which measured the program complexity by measuring the complexity of information flow on SIFG. SCM satisfied the necessary properties for complexity measure proposed by Briand et al. SCM could measure not only the control and data flow on program but also the physical size of program unlike the existing measures.

• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.1221-1224
• /
• 2004

In this study, we developed a method classifying slice shot during golf practice using backpropagation algorithm. The 144 data based on the backpropagation model(11 inputs, 2 outputs) was used as a learning set and the model was verified based on the extra 50 data in the process to predict a slice shot in golf swing. The results showed 100％ separating rate of learning set and 91.5％ separating rate of verified set. The developed method can be potentially beneficial for the predicting of slice shot in an indoor golf excercise setting without applying any additional equipment.

• Proceedings of the IEEK Conference
• /
• 2003.07e
• /
• pp.2048-2051
• /
• 2003

MPEG-2로 부호화된 비트열은 가변길이 부호화(variable length coding)방식을 사용하기 때문에 에러에 매우 민감하다. 망(network)을 통해 발생된 에러는 시간적, 공간적으로 전파되는 현상이 발생하기 때문에 고품질의 영상을 추구하는 MPEG-2 에서는 심각한 화질열화를 일으키게 한다. 이에 따른 에러 정정 및 은닉 기법이 MPEG-2 복호기 측에서 연구되어야 하는데, 기존의 제안된 에러은닉 기법들은 셀손실이나 비트에러를 기반으로 매크로 블록 주위의 데이터를 이용하였으나 MPEG-2 비트열의 구조상 슬라이스 단위에러에 대한 발생빈도가 더 자주 일어나고 에러에 대한 영향도 심각하다. 본 논문에서는 기존에 나와있는 에러은닉 기법과 달리 슬라이스 단위 에러발생 시 BMA(boundaruy matching algorithm)방식과 중간 값(median), 평균값(average)방식으로 구현한 에러은닉 기법을 통해 주관적 화질측면이나 수치적인 PSNR 실험 데이터로 좀 더 향상된 성능을 나타낼 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.763-766
• /
• 2002

오늘날 CT나 MR 등을 통한 의학 영상 기술과 컴퓨터 성능의 향상으로 인체 내부 장기의 영상을 비교적 용이하게 얻을 수 있으며 얻어진 영상 정보는 컴퓨터로 수치화되므로 데이터의 조작 및 가공 또한 용이하다. 그러나, 이 데이터는 2D 슬라이스(slice)들의 연속으로 표현되므로 이것을 보다 가시화, 조작, 분석이 용이한 상태로 바꾸기 위해서는 3 차원 구조로의 재구성이 필요하게 된다. 이것을 위하여 무엇보다도 먼저 CT 나 MR 을 통하여 얻어진 영상을 분석하여 특정장기(organ)의 영상 부분을 다른 조직의 영상부분으로부터 분리(segmentation)할 필요가 있다. 이러한 Segmentation방법에는 여러가지가 있는데, 수작업의 결합 등으로 인해서 비효율적일 수 밖에 없는 문제점을 가지고 있다. 이에 본 논문은 보다 효율적인 segmentation 의 처리를 위하여 구역확장(region-growing) 기법을 응용한 새로운 segmentation 방법을 개발하였다. 그리하여, 본 논문이 제안한 알고리즘을 슬라이스 간격이 큰 2 차원 복부 CT 영상에 적용시켜 간(liver)의 추출을 시도하였고 3차원 표현 결과를 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.560-562
• /
• 1999

프로그램 슬라이싱은 프로그램의 특정 위치에서 변수들의 값에 영향을 주는 문장을 추출하는 방법이다. 프로그램 슬라이싱의 유용성은 디버깅, 최적화, 프로그램 유지보수, 테스팅, 재사용 부품 추출 그리고 프로그램 이해를 포함하는 다른 응용 분야에 널리 알려져 있다. 본 논문은 C언어에서의 함수 호출이 존재하는 모듈간 프로그램 슬라이싱에 관한 연구이다. 기존의 모듈간 슬라이싱 알고리즘들은 함수의 호출 문맥 설명에 실패하거나 문장 기반 그래프를 사용함으로써 정확한 슬라이스 생성에 실패한다. 본 논문에서는 기존 방법들의 문제점을 지적하고, 시스템 정보 흐름 그래프 (System Information Flow Graph)를 이용하여 정확하고 수행 가능한 모듈간 슬라이스 생성 방법을 제안한다.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.48 no.3
• /
• pp.79-89
• /
• 2011

Recent development of embedded processors makes it possible to play back video contents in real-time on portable devices. Because of their limited battery capacity and low computational performance, however, portable devices still have significant problems in real-time decoding of high quality or high resolution compressed video. Although previous approaches are successful in achieving complexity-scalable decoder by controlling computational complexity of decoding elements, they cause significant objective quality loss coming from mismatch between encoder and decoder. In this paper, we propose a selective B slice skip-decoding method to implement a low complexity video decoder. The proposed method performs selective skip decoding process of B slice which satisfies the proposed conditions. The skipped slices are reconstructed by simple reconstruction method utilizing adjacent reconstructed pictures. Experimental result shows that proposed method not only reduces computational complexity but also maintains subjective visual quality.