• 대한수학회보
• /
• 제56권6호
• /
• pp.1435-1445
• /
• 2019

We consider a checkpointing model for silent errors, where a checkpoint is taken every fixed number of verifications. Assuming generally distributed i.i.d. inter-occurrence times of errors, we derive the reliability of the model as a function of the number of verifications between two checkpoints and the duration of work interval between two verifications.

• 정보처리학회논문지A
• /
• 제13A권7호
• /
• pp.607-614
• /
• 2006

검사점 저장 기법을 사용하여 주기적으로 클러스터 노드들의 프로세스 수행 정보를 전역 저장 장치에 저장하는 분산 클러스터 시스템에서 결함 허용 성능을 유지하는 데 드는 비용을 줄이고 전체 프로세스의 수행 성능을 증가시키기 위해서는 검사점 정보를 저장할 때에 네트워크로 전달되는 부하를 각 노드에 최대한 적절하게 분산하여 데이터 저장 시간을 줄임으로써 검사점 정보를 저장하는 동안 전체 클러스터 시스템의 프로세스가 지연되는 시간을 줄이도록 하여야 한다. 이를 위하여 분산 RAID 기반의 단일 입출력 공간을 사용하는. 클러스터 시스템에서는 여러가지 검사점 저장 기법을 사용하며, 검사점 정보의 저장 기법에 따라서 저장 성능과 결함 회복 성능이 달라진다. 본 연구에서는 분할된 검사점 저장 기법을 개선하여 검사점 데이터를 분산 RAID 기반의 단일 입출력 공간에 저장할 때에 그룹별로 분할되는 분할 그룹 크기를 검사점 정보가 저장될 때의 네트워크의 트래픽에 따라서 동적으로 결정하여 네트워크를 통한 분산 RAID에 저장함으로써 네트워크 병목현상을 최소화하는 다중 분할된 검사점 저장 구조를 제안하였다. 제안된 구조의 성능을 분석하기 위하여 최대 512개의 가상 노드로 구성된 클러스터 시스템을 대상으로 하여 MPI 와 Linpack HPC 벤치마크를 통한 성능 평가를 수행하였으며, 성능 평가 결과는 검사점 정보의 크기와 클러스터의 크기가 증가할수록 제안된 기법이 검사점 정보의 저장과 결함 회복 능력에 대하여 기존의 검사점 저장 기법에 비하여 우수한 성능을 보인다.

• 정보처리학회논문지A
• /
• 제15A권2호
• /
• pp.111-118
• /
• 2008

이동 통신 시스템의 발전과 함께 여러 대의 이동 기기에서 동작하는 분산 응용의 필요성이 점차 커지고 있다. 모바일 기기의 고장이나 통신망 단절이 기존 고정 통신망에 비해 자주 발생하는 환경을 고려할 때 모바일 응용을 위한 복구 기법이 매우 중요하며, 중단된 응용의 재시작을위해 체크포인팅이 널리 사용되고 있다. 본 논문에서도 이런 분산 응용의 복구를 위한 효율적 체크포인팅 기법을 제안한다. 제안된 기법에서는 MSS(Mobile Support Station)에서 동작하는 체크포인팅 에이전트라는 소프트웨어 에이전트를 사용한다. 이 에이전트는 R-distance(rollback-distance) 개념을 지원하며, 이를 통해 복귀되는 지역 체크포인트의 최대 개수를 한정할 수 있다. 제안된 방식은 기존의 문제점이었던 도미노 현상이나 체크포인트 유지에 필요한 추가 비용을 크게 줄이면서도 매우 유연한 방식의 체크포인트 생성을 지원할 수 있다.

• 정보보호학회논문지
• /
• 제13권6호
• /
• pp.77-84
• /
• 2003

이동 에이전트는 네트워크에서 사용자를 대신하여 특정 작업을 수행하면서, 자율적으로 한 노드에서 다른 노드로 이주할 수 있는 프로그램이다. 본 연구에서는 이동 에이전트가 여러 노드들을 이주하면서 실행하다가 비정상적인 종료 상황이 발생했을 때 이전 사이트에 저장한 이동 에이전트의 체크포인트를 이용해서 이동 에이전트를 안전하게 복원하고 실행을 재개할 수 있는 기법을 제안한다. 체크포인트의 보안을 위해 이동 에이전트의 공개키를 이용하여 체크 포인트를 암호화하여 저장하고, 복원 시에는 홈 플랫폼에서 이동 에이전트의 비밀키를 이용해서 이동 에이전트를 복원한다. 홈 플랫폼이 이동 에이전트를 복원하기 위해서 체크포인트를 수신하였을 때 이 체크포인트가 올바른 체크포인트인지 확인하기 위해서 메시지 다이제스트를 이용하며, 이동 에이전트가 체크포인트를 만들 때 생성한 메시지 다이제스트와 복원 시에 만든 메시지 다이제스트를 비교함으로써 홈 플랫폼은 수신한 이동 에이전트의 체크포인트의 정확성을 확인할 수 있게 된다.

• 한국측량학회:학술대회논문집
• /
• 한국측량학회 2007년도 춘계학술발표회 논문집
• /
• pp.157-160
• /
• 2007

In this study, the method of extracting DEM is presented using RC Helicopter Photogrammetry System. From the result of reference points and checkpoints using Total Station which is conventional type of survey, the errors turned out to $-0.194{\sim}0.224m$ on the X-axis, $-0.088{\sim}0.180m$ on the Y-axis and $-0.286{\sim}0.283m$ on the Z-axis when RC Helicopter Photogrammetry System utilized. Through this RC Helicopter Photogrammetry System, they can provide efficient update of digital map on toparchy area or access is not easy area.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권8호
• /
• pp.3689-3700
• /
• 2016

It is not practically feasible to apply hardware-based fault-tolerant schemes, such as hardware replication, in mobile devices. Therefore, software-based fault-tolerance techniques, such as checkpoint and rollback schemes, are required. In checkpoint and rollback schemes, the optimal checkpoint interval should be applied to obtain the best performance. Most previous studies focused on minimizing the expected execution time or response time for completing a given task. Currently, most mobile applications run in real-time environments. Therefore, it is extremely essential for mobile devices to employ optimal checkpoint intervals as determined by the real-time constraints of tasks. In this study, we tackle the problem of determining the optimal inter-checkpoint interval of checkpoint and rollback schemes to maximize the deadline meet ratio in real-time systems and to build a probabilistic cost model. From this cost model, we can numerically find the optimal checkpoint interval using mathematical tools. The performance of the proposed solution is evaluated using analytical estimates.

• 한국디지털정책학회:학술대회논문집
• /
• 한국디지털정책학회 2004년도 International Conference on Digital Policy & Management
• /
• pp.343-358
• /
• 2004

Many IT specialists say that ERP (Enterprise Resource Planning) is the best way to manage resources in enterprise effectively. Actually lots of companies are using ERP solutions in the hope of getting competitiveness and employing global standard business practice. Wishing to take advantage of ERP S/W, companies have a preference for purchasing it and outsourcing ERP project. This paper is focusing on ERP Package assessment model in business firms. This paper finds out what differences there are in purchasing ERP S/W for organization characteristics and building characteristics, and suggests some guidelines of S/W development to venders. The results would be strong implications for ERP vendors. Especially this paper identify what the reasons and the checkpoints are when firms introduce ERP S/W. To do this, this paper used empirical data obtained from companies in South Korea and analyzed it using statistical software.

• 전기학회논문지
• /
• 제56권6호
• /
• pp.1122-1129
• /
• 2007

For a system with multiple real-time tasks of different deadlines, it is very difficult to find the optimal checkpoint interval because of the complexity in considering the scheduling of tasks. In this paper, we determine the optimal checkpoint interval for multiple real-time tasks that are scheduled by RM(Rate Monotonic) algorithm. Faults are assumed to occur with Poisson distribution. Checkpoints are inserted in the execution of task with equal distance in the same task, but different distances in other tasks. When faults occur, rollback to the latest checkpoint and re-execute task after the checkpoint. We derive the equation of maximum slack time for each task, and determine the number of re-executable checkpoint intervals for fault recovery. The equation to check the schedulibility of tasks is also derived. Based on these equations, we find the probability of all tasks executed within their deadlines successfully. Checkpoint intervals which make the probability maximum is the optimal.

• IMMUNE NETWORK
• /
• 제13권5호
• /
• pp.184-193
• /
• 2013

Co-signaling molecules are surface glycoproteins that positively or negatively regulate the T cell response to antigen. Co-signaling ligands and receptors crosstalk between the surfaces of antigen-presenting cells (APCs) and T cells, and modulate the ultimate magnitude and quality of T cell receptor (TCR) signaling. In the past 10 years, the field of co-signaling research has been advanced by the understanding of underlying mechanisms of the immune modulation led by newly identified co-signaling molecules and the successful preclinical and clinical trials targeting co-inhibitory molecules called immune checkpoints in the treatment of autoimmune diseases and cancers. In this review, we briefly describe the characteristics of well-known B7 co-signaling family members regarding the expression, functions and therapeutic implications and to introduce newly identified B7 members such as B7-H5, B7-H6, and B7-H7.

• BMB Reports
• /
• 제36권1호
• /
• pp.60-65
• /
• 2003

Cancer is frequently considered to be a disease of the cell cycle. As such, it is not surprising that the deregulation of the cell cycle is one of the most frequent alterations during tumor development. Cell cycle progression is a highly-ordered and tightly-regulated process that involves multiple checkpoints that assess extracellular growth signals, cell size, and DNA integrity. Cyclin-dependent kinases (CDKs) and their cyclin partners are positive regulators of accelerators that induce cell cycle progression; whereas, cyclin-dependent kinase inhibitors (CKIs) that act as brakes to stop cell cycle progression in response to regulatory signals are important negative regulators. Cancer originates from the abnormal expression of activation of positive regulators and functional suppression of negative regulators. Therefore, understanding the molecular mechanisms of the deregulation of cell cycle progression in cancer can provide important insights into how normal cells become tumorigenic, as well as how cancer treatment strategies can be designed.