• Journal of the Korea Society of Computer and Information
• /
• v.6 no.2
• /
• pp.27-33
• /
• 2001

In this thesis, we present a simple and efficient recovery method, called ARIES/SR(ARIES/Selective Redo) which is based on ARIES(Algorithm for Recovery and Isolation Exploiting Semantics) ARIES performs redo for all updates done by either nonloser transaction or loser transaction, and thus significant overhead appears during restart after a system failure. To reduce this overhead, we propose ARIES/SR recovery algorithm. In this algorithm, to reduce the redo operations, redo is performed, using log record for updates done by only nonloser transaction. Also selective undo is performed. using log record for update done by only loser transaction for reducing recovery operation.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1993.10a
• /
• pp.675-680
• /
• 1993

컴퓨터를 이용한 제품의 설계시 개념설계부터 최종설계에 이르는 동안 설계모델은 많은 수정을 요하게 된다. 이 과정에서 개념설계 단계부터 솔리드 모델을 채용하는 것은 불편하므로, 와이어프레임 모델이나 곡면 모델을 이용하여 설계를 진행하다가, 최종설계 단계에서 솔리드 모델로 전환하는 것이 바람직하다. 이 경우 이 3가지 모델을 모두 지원하는 모델러가 요구되는데 '복합다양체'를 지원하는 모델러가 이 요건을 만족시킨다. 또한 경계표현(B-rep)방식으로 모델링시 불리안 작업자를 많이 이용하는데, 모델링 도중에 불리한 작업으로 생성된 모델의 Undo작업은 용이하지 않은 일이다. 따라서 불리안 작업으로 생성된 모델의 수정작업을 위한 알고리즘이 요구된다, 일한 수정작업을 위해선 복합다양체를 지원하는 자료구조가 필요하다. 본 논문에선 이러한 복합다양체 자료구조를 갖는 형상모델러의 기본적 자료구조와 기본물체 모델링시 오일러 작업자를 구현하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.7
• /
• pp.2008-2019
• /
• 2000

In this paper, we propose a recovery method for high dimensional index structures. It recovers efficiently transactions including reinsert operations that needs undo or rollback due to system failures or transaction failures. It is based on WAL(Write Ahead Logging) protocol. We apply the method to the FCIR-Tree and implement it based on MiDAS-III which is the storage system of a multimedia DBMS, called BADA-III. We also show through performance evaluation that the recovery method with our algorithm recovers reinsert operations efficiently over that without our algorithm.

• Journal of the Korea Society for Simulation
• /
• v.4 no.2
• /
• pp.31-40
• /
• 1995

A hybrid simulation model consists of real physical entities as well as simulated ones. It also contains logical processes for decision making for each operation units, a group of the entities. During the execution of such simulations, the physical and the logical processes consume real clock time while the activity durations of the simulated ones are generated. Due to the inherent chracteristics of the subjects of the communication channels. Since one can not undo an real event already taken place, the traditional central clock approach is used for the synchronization of the events(Kim[6]). However, there are still chances of causality errors due to the randomness in the communication delays. This error is not found in the distributed pure simulations. This paper explains the error in details and proposes a prevention scheme that is simple to implement.

• Journal of applied mathematics & informatics
• /
• v.13 no.1_2
• /
• pp.201-215
• /
• 2003

A map is a connected topological graph $\Gamma$ cellularly embedded in a surface. For any connected graph $\Gamma$, by introducing the concertion of semi-arc automorphism group Aut$\_$$\frac{1}{2}$/$\Gamma$ and classifying all embedding of $\Gamma$ undo. the action of this group, the numbers r$\^$O/ ($\Gamma$) and r$\^$N/($\Gamma$) of rooted maps on orientable and non-orientable surfaces with underlying graph $\Gamma$ are found. Many closed formulas without sum ∑ for the number of rooted maps on surfaces (orientable or non-orientable) with given underlying graphs, such as, complete graph K$\_$n/, complete bipartite graph K$\_$m, n/ bouquets B$\_$n/, dipole Dp$\_$n/ and generalized dipole (equation omitted) are refound in this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.234-236
• /
• 1998

본 논문은 GUI(Graphical User interface) 환경에서 MPGE-1 영상 편집을 위한 시스템 도구(Tool)를 기술한다. 기존에 출시된 제품은 일반적으로 AVI 나 MOV 포맷(format)을 사용하는데 비하여 본 논문에서는 MPGE-1을 압축 영역 상태에서 편집함으로써 영상의 품질과 저장의 효율성 및 처리속도에 많은 이점을 두었다. 편집 작업은 Random Access 의 기본 단위가 되는 GOP(Group of Picture) 단위의 경계 편집을 사용하여 영상 편집 기능인 Copy, Paste, Cut, Undo등을 기술하였다. 또한 효율적인 편집 환경을 위해 편집 윈도우 형태를 클립 청, 클립 정보 창, 편집 창, 재생 창, 미리 보기 창으로 구분하였다. 편집된 영상은 효율적 재생을 위하여 DirectDraw을 사용하였다. 본 논문에서 소개한 편집 시스템은 GUI 기반으로 사용자에게 익숙한 사용자 인터페이스 환경을 기술하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.128-130
• /
• 2000

B+-Tree는 데이트베이스 관리 시스템에서 대용량의 데이터를 관리하기 위해 가장 널리 사용되는 인덱스이다. 그런 기존의 B+-Tree는 데이터베이스의 초기 구성 및 재구성시 많은 비용이 들고, 또한 삭제 연산의 빈번한 발생시 색인 구조 변경연산의 발생빈도가 높아져 동시성이 떨어진다는 단점이 있다. 이러한 문제점을 해결하기 위해서 기존 대부분의 데이터베이스 관리시스템에서는 일괄구성과 지연삭제를 이용하고 있으나, 동시성 및 회복에 대한 처리가 미흡하여 실제 시스템에 적용하기에는 문제가 있다. 따라서 본 논문에서는 일괄구성과 지연삭제 방법을 적용한 B+-Tree에서의 동시성 및 회복기법을 제안한다. 제안된 기법은 일괄구성 시에 잠금의 부하와 연속적인 철회(Cascade Rollback)가 없고, 또한 지연 삭제기법을 확장함으로써 빈 페이지 리스트 관리에 대한 부하가 없으며, 삭제 연산에 대한 회복 시 논리적 복귀(Logical Undo)가 빨라지고 구현이 간단해진다는 장점이 있다.

• Journal of Biomedical Engineering Research
• /
• v.26 no.6
• /
• pp.407-412
• /
• 2005

Convenience is one of the most important factors in medical image segmentation. Convenience is defined by compiling opinions from radiologists, and can be described as controllable maximum automation on the condition of producing only accurate results. The components of convenience are inclusive automation and inclusive modification. Inclusive modification consists of verify-and-confirm, undo-redo, exchange of segmentation methods, and intelligent modification tools. Inclusive automation is composed of automatic selection of a method, automatic selection of a confident segment, and automated chores. The convenient segmentation tool has been developed to segment X-ray images for orthopedic surgery, and has received an excellent evaluation from radiologists.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.271-274
• /
• 2003

This paper presents a Built-in Current Sensor that detect defects in CMOS integrated circuits using the current testing technique. This scheme employs a cross-coupled connected PMOS transistors, it is used as a current comparator. Our proposed scheme is a negligible impart on the performance of the circuit undo. test (CUT). In addition, in the normal mode of the CUT not dissipation extra power, high speed detection time and applicable deep submicron process. The validity and effectiveness are verified through the HSPICE simulation on circuits with defects. The entire area of the test chip is $116{\times}65{\mu}m^2$. The BICS occupies only $41{\times}17{\mu}m^2$ of area in the test chip. The area overhead of a BICS versus the entire chip is about 9.2%. The chip was fabricated with Hynix $0.35{\mu}m$ 2-poly 4-metal N-well CMOS technology.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.235-237
• /
• 2002

무선 네트워킹 기술과 통신 기기의 발달로 이동 컴퓨팅 환경이 보편화됨에 따라 제한된 대역폭의 절감과 빠른 응답시간, 그리고 확장성을 위해 이동 호스트는 지역 캐쉬를 이용한다. 이때, 이동 호스트와 지역구국간에는 캐쉬의 일관성 유지가 필연적이며 이에 따라 많은 기법들이 제안되고 있다. 기종의 일관성 기법 중 탐지기반의 기법들은 간단하고 구현이 쉬운 반면 전송되는 메시지 횟수가 많고, 회피기반의 기법들은 빠른 처리가 가능하여 고정 네트워크에서 일반적으로 사용되고 있는 기법이다. 본 논문에서 제안한 기법은 페이지 요청 또는 완료시 갱신 연산이 일어난 객체에 대해 갱신 빈도를 고려함으로써 기존 기법에 비해 교환되는 메시지 횟수를 줄여 전송비용을 개선하였고, 또한 응답 시점을 옮겨 빠른 응답이 가능하게 하여 이동 컴퓨팅 환경에 적합하도록 하였다. 따라서, 본 논문에서 제안한 방법은 갱신 연산이 이루어지는 경우 비동기적으로 갱신 빈도에 따른 갱신의도 선언 또는 갱신을 선택적으로 수행하여 응답이 빠르고 철회 단계가 감소하는 장점을 갖는다.