• 한국정보과학회논문지:데이타베이스
• /
• 제27권4호
• /
• pp.549-561
• /
• 2000

데이터베이스 관리 시스템(DBMS)에서의 부분 철회는 수행 중인 트랜잭션 전체를 철회하지 않고 일부분만을 철회할 수 있는 유용한 기능으로 많은 관계형 DBMS(RDBMS)에서 지원되고 있다. 그러나, RDBMS와는 달리 객체지향 DBMS(OODBMS)에서는 객체 버퍼와 페이지 버퍼로 구성되는 이중의 버퍼구조를 유지하므로 페이지 버퍼만을 유지하는 RDBMS에서 사용하던 기존의 부분 철회 방식을 그대로 이용할 수 없다. 따라서, 이러한 이중 버퍼 내의 데이터를 효과적으로 부분 철회할 수 있는 새로운 회복 방법이 필요하다. 본 논문에서는 이중 버퍼구조를 사용하는 OODBMS를 위한 네가지 부분 철회 방식들을 제안한다. 제안된 부분 철회 방식들은 부분 철회의 주요 대상인 버퍼의 구조에 따라 단일 버퍼 기반 부분 철회, 소프트 로그를 이용한 이중 버퍼 기반 부분 철회, 그리고 섀도우를 이용한 이중 버퍼기반 부분 철회 방식으로 세분화한다. 수학적 분석 및 실험을 통한 성능 평가에 의하면 이중 버퍼 기반 부분 철회 방식의 성능이 가장 우수한 것으로 나타났다.

• 정보처리학회논문지A
• /
• 제13A권5호
• /
• pp.421-428
• /
• 2006

본 논문에서는 복잡해져 가는 제어 컴퓨터의 높은 신뢰성 확보를 위해 시간 여분(time redundancy)의 일종인 재실행과 rollback 기법을 TMR 구조에 적절하게 혼용하는 방법을 제안한다 재실행과 rollback 기법은 약간의 추가 시간만으로 재구성(reconfiguration) 없이도 일시적인 결함(fault)에 의해 발생한 TMR 고장(failure)의 회복을 위해 상호 보완적으로 사용될 수 있다. 이를 위해 고장 검출시 가능한 모든 시스템의 고장상태 확률을 추정하였으며, 이를 바탕으로 전체 작업의 평균 실행시간이 최소가 되는 최적의 재실행과 rollback 횟수를 유도하였다. 또한 제안된 방법과 다른 고장회복 기법을 적용했을 때의 평균 실행 시간을 정량적으로 비교하여 그 우수성을 검증하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권2호
• /
• pp.197-208
• /
• 2003

데이타를 공유하며 협력적인 공동 작업을 필요로 하는 기업들간의 중요한 일을 수행하는 업무 연계와 같은 분야에서는 네트워크 인프라의 부족과 기업간의 정보 교환을 위한 표준의 부재, 서로 다른 업무들이 데이타베이스 관리 시스템에 전근하여 공유 데이타를 충돌 모드로 이용하는 경우의 데이터 일관성 유지 문제 등 많은 제약 요소에 의해 워크플로우를 적용하지 못하고 있다. 특히, 공유 데이타를 사용하고 있는 상황에서 발생될 누 있는 문제틀에 대해서는 언급되어지지 않고 있다. 논문에서는 업무 연계 관점에서 나타나는 공유 데이타를 사용하며 병행 수행되는 협력 트랜잭셔널 워크플로우들 사이에서 임의의 워크플로우와 나른 워크플로우들의 단계들 사이에서 발생될 수 있는 철회 종속성을 하나의 워크플로우에서의 암시적 철회 종속성, 협력 워크플로우 사이에서의 암시적 철회 종속성, 협력 워크플로우 사이에서의 명시적 철회 종속성 이렇게 세 가지로 분류하고, 데이타 일관성을 고려한 세 가지 철회 종속성을 워크플로우 스키마에 명시적으로 표현하는 자동 생성 알고리즘을 제안한다. 알고리즘을 실행하여 생성된 워크플로우 스키마는 데이타 공유와 관련하여 발생되는 런타임 철회 종속성을 데이터 일관성을 유지하며 런타임에 해결할 수 있도록 함으로써 워크플로우의 정확성을 향상시키게 된다.

• 소성∙가공
• /
• 제8권5호
• /
• pp.454-464
• /
• 1999

A new blank design method is proposed to predict the optimum initial blank shape in the sheet metal forming process. The rollback method for blank shape design takes the difference between the deformed blank contour and the target contour shape into account. the minimization object function R is proposed. Based on the method, a computer program composed of blank design module, FE-analysis module and mesh generation module is developed. The rollback method is applied to square cup, reentrant cross section, L-shaped cup drawing process with the flange of uniform size around its periphery to confirm its validity. The optimum initial blank shape is obtained from an arbitrary blank shape after several modifications. Good agreements are recognized between the numerical results and the published experimental results for initial blank shape and thickness strain distribution. It is concluded that the rollback method is an effective and convenient method for an optimum blank shape design.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2015년도 제52차 하계학술대회논문집 23권2호
• /
• pp.73-74
• /
• 2015

본 논문에서는 SSL/TLS에서 발생할 수 있는 cipher suite rollback 공격 탐지를 위해 선택된 알고리즘을 리스트로 검증하는 방법을 제안한다. 제안 기법은 SSL/TLS의 핸드셰이크 단계에서 이루어진다. 클라이언트 기기가 암호화 알고리즘의 순위를 리스트로 만들고 핸드셰이크가 끝난 후에 선택된 알고리즘의 순위를 비교해서 해당 기기에 대한 공격을 의심하도록 한다. 그러므로 우리의 제안 기법은 cipher suite rollback 공격 탐지를 향상시키고 안전한 메시지 통신을 한다.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.216-224
• /
• 1999

날로 더욱 복잡해지는 제어 컴퓨터의 고 신뢰성 확보를 위해 시간여분(time redundancy)의 일종인 rollback과 roll-forward 기법 등을 TMR 구종에 적절하게 혼용하는 두 가지 방법을 제안한다. Rollback과 roll-forward 기법은 약간의 추가시간만을 사용하여 재구성(reconfiguration) 없이도 일시적인 결함(fault)에 의해 발생한 TMR 고장(failure)의 회복을 위해 상호보완적으로 사용될 수 있다. 본 논문은 시스템의 고장상태확률의 유도를 통해 전체 작업의 평균실행시간이 최소가 되는 최적의 checkpoint 간격벡터를 유도한다. 수치예제를 통해 제안된 방법들이 다른 고장회복 기법을 적용했을 때와 비교하여 매우 효과적임을 보이고, 다양한 환경 하에서 여러 가지 최적의 checkpoint 간격벡터를 유도하였으며, 시뮬레이션을 통한 정량적 결과로써 그 우수성을 비교하고 검증하였다

• 컴퓨터교육학회논문지
• /
• 제5권2호
• /
• pp.21-28
• /
• 2002

본 논문에서는 기존의 분산 컴퓨팅 시스템의 결합 포용 기법에 멀티 에이전트의 개념을 도입하여 운영체제에 독립적인 에이전트를 이용한 회복기법을 제안한다. 기존의 복귀회복기법들은 운영체제의 관리하에서 결함 발생 시 회복에 관련된 동기화를 수행하는데, 이는 전체 분산 컴퓨팅 시스템의 성능을 저하시키는 원인이 되었다, 이러한 문제점을 해결하기 위해 본 논문에서는 프로세스의 회복을 담당할 회복 에이전트, 결함 포용 규칙과 정보를 유지 관리하는 정보 에이전트, 전체 에이전트간의 통신 기능을 담당할 조정 에이전트를 정의 및 설계하고 회복 에이전트를 이용한 회복 알고리즘을 제안한다. 그리고 코바 환경에서 자바와 에이전트 통신 언어를 이용하여 제안한 회복 알고리즘을 실험하였다. 분산 컴퓨팅 시스템에서 회복 에이전트의 도입은 결함 발생 프로세스의 결함 회복 작업을 어플리케이션 계층과 독립적인 별도의 계층으로 계층화하여 결함 포용을 위한 메카니즘의 이식성 증대 및 확장성 증대를 가져온다.

• 한국정보과학회논문지:데이타베이스
• /
• 제30권1호
• /
• pp.64-79
• /
• 2003

클라이언트-서버 환경에서 공간 데이터를 변경하는 트랜잭션은 사용자와 대화식으로 진행되는 트랜잭션으로 수정 시간이 길며, 미완료된 데이터 읽기(dirty read)를 허용하기 때문에 연쇄 철회(cascading rollback)가 발생할 수 있고, 공간 객체들은 서로 공간 관련성을 가지는 특징이 있다. 기존의 회복 기법은 이러한 공간 데이터의 변경 트랜잭션 철회에서 긴 트랜잭션을 단순히 철회(rollback)함으로써 고비용 문제가 발생하며, 철회된 트랜잭션에 의해 불필요한 다른 트랜잭션들이 순차적으로 철회되는 문제가 발생한다. 또한 공간 데이터가 가지는 새로운 일관성 제약 조건인 공간 관련성이 고려되지 않기 때문에 공간 데이터의 무결성(integrity) 보장에 문제가 있다. 이 논문은 이러한 문제점들을 보완하기 위하여 공간 데이터의 변경 트랜잭션을 위한 새로운 회복 기법을 제시한다. 먼저 회복에서의 공간 관련성을 위해 회복 종속성을 정의하고 이것을 연쇄 철회의 조건으로 처리함으로써 공간 데이터의 무결성을 보장한다. 둘째, 부분 철회(partial-rollback) 기법을 제시하여 긴 트랜잭션의 고비용 철회 문제를 해소한다. 셋째, 회복의 상태를 유형별로 분류하고 각 상태에 따라 undo-delta와 partial-redo 그리고 partial-undo의 연산을 실행하는 회복 제어 기법을 제시하여 불필요한 연쇄 철회를 줄인다. 마지막으로, 이 논문에서 제안한 기법들을 구현 실험하여 정확성을 보인다.

• 소성∙가공
• /
• 제7권3호
• /
• pp.260-273
• /
• 1998

A new blank design method is proposed to predict the optimum initial blank shape in the sheet metal forming process. The rollback method for blank shape design takes the difference between final deformed shaped and target contour shape into account. Based on the method a computer program composed of blank design module FE-analysis program and mesh generation module is developed. The rollback method is applied to square cup drawing process with the flange of unifiorm size around its periphery to confirm its validity. The optimum initial blank shape is obtained from an arbitrary square blank after three modification. Good agreements are recognized between the numerical results and the published results for initial blank shape and thickness strain distribution. The optimum blank shape for two parts of automobile sub-frame is designed, The thickness distribution and the level of punch load is improved. Also the method is applied to design the weld line in the tailor-welded blank. It is concluded that the rollback method is an effective and convenient method for an optimum blank shape design.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 1998년도 춘계학술대회논문집
• /
• pp.185-195
• /
• 1998

A new blank design method is proposed to predict the optimum initial blank shape in the sheet metal forming process. The rollback method for blank shape design takes the difference between final deformed shape and target contour shape into account. Based on the method, a computer program composed of blank design module, FE-analysis program and mesh generation module is developed. The rollback method is applied to square cup drawing process with the flange of unifiorm size around its periphery to confirm its validity. The optimum initial blank shape is obtained from an arbitrary square blank after three modifications. Good agreements are recognized between the numerical results and the published results for initial blank shape and thickness strain distribution. The optimum blank shape for two parts of automobile sub-frame is designed. The thickness distribution and the level of punch load is improved. Also, the method is applied to design the weld line in the tailor-welded blank. It is concluded that the rollback method is an effective and convenient method for an optimum blank shape design.