• 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.

• 제어로봇시스템학회논문지
• /
• 제10권8호
• /
• pp.748-754
• /
• 2004

In this paper, we propose the Triple Modular Redundancy (TMR) control system equipped with a checkpoint strategy. In this system, faults in a single processor are masked and faults in two or more processors are detected at each checkpoint time. When faults are detected, the rollback recovery is activated to recover from faults. The conventional TMR control system cannot overcome faults in two or more processors. The proposed system can effectively cope with correlated and independent faults in two or more processors. We develop a reliability model for this TMR control system under correlated and independent transient faults, and derive the reliability equation. Then we investigate the number of checkpoints that maximizes the reliability.

• 한국대기환경학회지
• /
• 제24권1호
• /
• pp.122-127
• /
• 2008

The purpose of this study is to calculate atmospheric environmental capacity for $PM_{10}$, $NO_2$ and $SO_2$ using a rollback model in Chungju. From the results of this study, the source contributions for $PM_{10}$ and $NO_2$ was the following order: line source > area source > point source. However, the source contributions for $SO_2$ was the following: point source > area source > line source. While the atmospheric environmental capacity of $NO_2$ and $SO_2$ was enough to meet the regional air quality target, $PM_{10}$ emission needs to be reduced by 5%.

• ETRI Journal
• /
• 제11권2호
• /
• pp.120-136
• /
• 1989

최근의 데이터 베이스 응용분야에 있어서 시간에 따른 정보의 변화를 유지관리할 필요성이 대두되고 대용량의 기억장치 가격의 급속한 감소와 함께 이의 이용 기술이 향상되면서 시간주기에 따라 실세계의 상태에 대한 변경과정을 표현하는 시간 즉, 데이터의 변경이력을 지원하는 데이터베이스(Terporal Database)에 관심이 집중되고 있으며, 이러한 요구를 만족시키기 위한 여러 방법들이 연구되고 있다. 일반적으로 시간 지원 데이터베이스 모델은 지원되는 시간의 형태에 따라 Static, Static Rollback, Historical, Temporal, Revision 데이터베이스 모델로 나뉘어진다. 본 논문에서는 시간 및 변경이력을 지원하기 위한 데이터베이스 모델과 이를 위한 데이터베이스 시스템의 주요 설계 Issue들에 관하여 조사분석한 다음, Static Rollback 데이터베이스 모델을 기본으로 하는 "$SR^2DBS$: 시간 지원 데이터베이스 시스팀"의 설계 및 구현에 관하여 기술하였다. $SR^2DBS$은 기존의 관계형 데이터 베이스 시스팀"의 모델을 시간 애트리뷰트를 추가시킴으로서 데이터 베이스의 변경이력관리를 가능케 한 Direct Manipulation Database Processing System으로 데이터베이스의 현상태 뿐만 아니라 시간에 따른 변경이력에 대해서 Screenoriented Relation Browsing & Editing 기능을 제공하며, 다음과 같은 특징을 갖는다. - Screen oriented Processing - Directi-Manipulation of Objects - Object & Revision History of Interest Visibility - Rapid Reversible Actions - Transaction Time & Revision Number Supporting - Roll-back Query Supporting - Han-gul Data Supporting - Two level Storage Structure(Current Version & History Versions)

• ETRI Journal
• /
• 제46권1호
• /
• pp.59-70
• /
• 2024

We introduce a high-performance named entity recognition (NER) model for written and spoken language. To overcome challenges related to labeled data scarcity and domain shifts, we use transfer learning to leverage our previously developed KorBERT as the base model. We also adopt a meta-pseudo-label method using a teacher/student framework with labeled and unlabeled data. Our model presents two modifications. First, the student model is updated with an average loss from both human- and pseudo-labeled data. Second, the influence of noisy pseudo-labeled data is mitigated by considering feedback scores and updating the teacher model only when below a threshold (0.0005). We achieve the target NER performance in the spoken language domain and improve that in the written language domain by proposing a straightforward rollback method that reverts to the best model based on scarce human-labeled data. Further improvement is achieved by adjusting the label vector weights in the named entity dictionary.

• Journal of the Korean Data and Information Science Society
• /
• 제22권1호
• /
• pp.125-136
• /
• 2011

Ground-level ozone, an air pollutant that is monitored by the Environmental Protection Agency (EPA), damages human health by irritating the respiratory system, reducing lung function, damaging lung cells, and aggravating asthma and other chronic conditions. In March 2008, the EPA strengthened ozone standards by lowering acceptable limits from 84 parts per billion to 75 parts per billion. Here epidemiologic data is used to study the effects of ozone regulation on human health and assessed how various regulatory standards for ozone may affect nonaccidental mortality, including respiratory-related deaths during ozone season. The assessment uses statistical methods based on hierarchical Bayesian models to predict the potential effects of the different regulatory standards. It also analyzes the variability of the results and ho they are impacted by different modeling assumptions. We focused on the technical an statistical approach to assessing relationship between new ozone regulations and mortality while other researches have detailed the relationship between ozone and human mortality. We shows a statistical correlation between ozone regulations and mortality, with lower limits of acceptable ozone linked to a decrease in deaths, and projects that mortality is expected to decrease by reducing ozone regulatory standards.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.5-5
• /
• 1992

The DEVS(discrete event system specification) formalism describes a discrete event system in a hierarchical, modular form. DEVSIM++ is C++ based general purpose DEVS abstract simulator which can simulate systems to be modeled by the DEVS formalism in a sequential environment. We implement P-DEVSIM++ which is a parallel version of DEVSIM++. In P-DEVSIM++, the external and internal event of models can be processed in parallel. To process in parallel, we introduce a hierarchical distributed simulation technique and some optimistic distributed simulation techniques. But in our algorithm, the rollback of a model is localized itself in contrast to the Time Warp approach. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• 한국시뮬레이션학회논문지
• /
• 제1권1호
• /
• pp.64-76
• /
• 1992

The DEVS(discrete event system specificaition) formalism specifies a discrete event system in a hierarchical, modular form. DEVSIM++ is a C++based general purpose DEVS abstract simulator which can simulate systems modeled by the DEVS formalism in a sequential environment. This paper describes P-DEVSIM++which is a parallel version of DEVSIM++ . In P-DEVSIM++, the external and internal event of DEVS models can by processed in parallel. For such processing, we propose a parallel, distributed optimistic simulation algorithm based on the Time Warp approach. However, the proposed algorithm localizes the rollback of a model within itself, not possible in the standard Time Warp approach. An advantage of such localization is that the simulation time may be reduced. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• 한국지능시스템학회논문지
• /
• 제26권3호
• /
• pp.202-207
• /
• 2016

체크포인터를 삽입한 실시간 시스템에서는 고장이 발생하면 고장 직전의 체크포인터로 회귀하여 태스크를 재실행함으로써 과도 고장을 효과적으로 극복할 수 있다. 이번 논문에서는 체크포인터에서 실행되는 데이터 저장과 고장 탐지 과정을 분리한 새로운 체크포인터 방식을 제안한다. 하나의 체크포인터 구간 내에 여러 개의 고장 탐지 과정을 추가하면 고장 발생에서 탐지까지의 지연 시간을 줄일 수 있다. 본 논문에서는 태스크가 데드라인 이내에서 성공적으로 수행될 확률을 최대화하는 고장 탐지 과정의 삽입 방법을 제안한다. 고장 탐지 과정이 분리된 체크포인터 방식을 마코프 체인으로 모델링하고 실시간 태스크의 성공적 수행 확률을 계산하는 모의실험을 수행하여 최적의 해를 구하는 과정을 제시한다.

• 한국전자통신학회논문지
• /
• 제18권3호
• /
• pp.527-534
• /
• 2023

삼중구조 시스템에서는 하나의 프로세서에서 고장이 발생해도 여유도 때문에 주어진 임무를 계속 수행할 수 있다. 본 연구에서는 삼중구조 시스템에 체크포인터 기법을 도입한 후 고장 탐지와 체크포인터를 분리하는 새로운 고장 극복 방법을 제안한다. 먼저 한 개 프로세서에서 고장이 발생하면 고장 탐지와 동시에 모든 프로세서의 상태를 동기화함으로써 고장을 복구한다. 또한 두 개 이상의 프로세서에서 동시에 고장이 발생하면 직전의 체크포인터로 회귀하여 태스크를 재실행함으로써 고장을 복구한다. 본 논문에서는 태스크가 데드라인 이내에서 성공적으로 수행될 확률을 최대화하는 고장 탐지 구간과 체크포인터 구간의 선정 방법을 제안한다. 제안된 방식을 탑재한 삼중구조 시스템을 마코프 체인으로 모델링하고 실시간 태스크의 성공적 수행 확률을 도출하는 모의실험을 수행하여 최적의 해를 구하는 과정을 제시한다.