28,847 research outputs found
Optimal design and use of retry in fault tolerant real-time computer systems
A new method to determin an optimal retry policy and for use in retry of fault characterization is presented. An optimal retry policy for a given fault characteristic, which determines the maximum allowable retry durations to minimize the total task completion time was derived. The combined fault characterization and retry decision, in which the characteristics of fault are estimated simultaneously with the determination of the optimal retry policy were carried out. Two solution approaches were developed, one based on the point estimation and the other on the Bayes sequential decision. The maximum likelihood estimators are used for the first approach, and the backward induction for testing hypotheses in the second approach. Numerical examples in which all the durations associated with faults have monotone hazard functions, e.g., exponential, Weibull and gamma distributions are presented. These are standard distributions commonly used for modeling analysis and faults
Integrated analysis of error detection and recovery
An integrated modeling and analysis of error detection and recovery is presented. When fault latency and/or error latency exist, the system may suffer from multiple faults or error propagations which seriously deteriorate the fault-tolerant capability. Several detection models that enable analysis of the effect of detection mechanisms on the subsequent error handling operations and the overall system reliability were developed. Following detection of the faulty unit and reconfiguration of the system, the contaminated processes or tasks have to be recovered. The strategies of error recovery employed depend on the detection mechanisms and the available redundancy. Several recovery methods including the rollback recovery are considered. The recovery overhead is evaluated as an index of the capabilities of the detection and reconfiguration mechanisms
Analysis of backward error recovery for concurrent processes with recovery blocks
Three different methods of implementing recovery blocks (RB's). These are the asynchronous, synchronous, and the pseudo recovery point implementations. Pseudo recovery points so that unbounded rollback may be avoided while maintaining process autonomy are proposed. Probabilistic models for analyzing these three methods under standard assumptions in computer performance analysis, i.e., exponential distributions for related random variables were developed. The interval between two successive recovery lines for asynchronous RB's mean loss in computation power for the synchronized method, and additional overhead and rollback distance in case PRP's are used were estimated
Performance analysis of low-flux least-squares single-pixel imaging
A single-pixel camera is able to computationally form spatially resolved images using one photodetector and a spatial light modulator. The images it produces in low-light-level operation are imperfect, even when the number of measurements exceeds the number of pixels, because its photodetection measurements are corrupted by Poisson noise. Conventional performance analysis for single-pixel imaging generates estimates of mean-square error (MSE) from Monte Carlo simulations, which require long computational times. In this letter, we use random matrix theory to develop a closed-form approximation to the MSE of the widely used least-squares inversion method for Poisson noise-limited single-pixel imaging. We present numerical experiments that validate our approximation and a motivating example showing how our framework can be used to answer practical optical design questions for a single-pixel camera.This work was supported in part by the Samsung Scholarship and in part by the US National Science Foundation under Grant 1422034. (Samsung Scholarship; 1422034 - US National Science Foundation)Accepted manuscrip
Vertical variation of optical properties of mixed Asian dust/pollution plumes according to pathway of air mass transport over East Asia
© Author(s) 2015. This is an Open Access article made available under the terms of the Creative Commons Attribution License 3.0 https://creativecommons.org/licenses/by/3.0/We use five years (2009-2013) of multiwavelength Raman lidar measurements at Gwangju, South Korea (35.10° N, 126.53° E) for the identification of changes of optical properties of East Asian dust depending on its transport path over China. Profiles of backscatter and extinction coefficients, lidar ratios, and backscatter-related Ångström exponents (wavelength pair 355/532 nm) were measured at Gwangju. Linear particle depolarization ratios were used to identify East Asian dust layers. We used backward trajectory modeling to identify the pathway and the vertical position of dust-laden air masses over China during long-range transport. Most cases of Asian dust events can be described by the emission of dust in desert areas and subsequent transport over highly polluted regions of China. The Asian dust plumes could be categorized into two classes according to the height above ground at which these plumes were transported: (case I) the dust layers passed over China at high altitude levels (> 3 km) until arrival over Gwangju, and (case II) the Asian dust layers were transported near the surface and within the lower troposphere (< 3 km) over industrialized areas before they arrived over Gwangju. We find that the optical characteristics of these mixed Asian dust layers over Gwangju differ depending on their vertical position above ground over China and the change of height above ground during transport. The mean linear particle depolarization ratio was 0.21 ± 0.06 (at 532 nm), the mean lidar ratios were 52 ± 7 sr at 355 nm and 53 ± 8 sr at 532 nm, and the mean Ångström exponent was 0.74 ± 0.31 for case I. In contrast, plumes transported at lower altitudes (case II) showed low depolarization ratios (0.13 ± 0.04 at 532 nm), and higher lidar ratio (63 ± 9 sr at 355 nm and 62 ± 8 sr at 532 nm) and Ångström exponents (0.98 ± 0.51). These numbers show that the optical characteristics of mixed Asian plumes are more similar to optical characteristics of urban pollution. We find a decrease of the linear depolarization ratio of the mixed dust/pollution plume depending on transport time if the pollution layer traveled over China at low heights, i.e., below approximately 3 km above ground. In contrast, we do not find such a trend if the dust plumes traveled at heights above 3 km over China. We need a longer time series of lidar measurements in order to determine in a quantitative way the change of optical properties of dust with transport time.Peer reviewedFinal Published versio
Modeling and measurement of fault-tolerant multiprocessors
The workload effects on computer performance are addressed first for a highly reliable unibus multiprocessor used in real-time control. As an approach to studing these effects, a modified Stochastic Petri Net (SPN) is used to describe the synchronous operation of the multiprocessor system. From this model the vital components affecting performance can be determined. However, because of the complexity in solving the modified SPN, a simpler model, i.e., a closed priority queuing network, is constructed that represents the same critical aspects. The use of this model for a specific application requires the partitioning of the workload into job classes. It is shown that the steady state solution of the queuing model directly produces useful results. The use of this model in evaluating an existing system, the Fault Tolerant Multiprocessor (FTMP) at the NASA AIRLAB, is outlined with some experimental results. Also addressed is the technique of measuring fault latency, an important microscopic system parameter. Most related works have assumed no or a negligible fault latency and then performed approximate analyses. To eliminate this deficiency, a new methodology for indirectly measuring fault latency is presented
Sine-Gordon Soliton on a Cnoidal Wave Background
The method of Darboux transformation, which is applied on cnoidal wave
solutions of the sine-Gordon equation, gives solitons moving on a cnoidal wave
background. Interesting characteristics of the solution, i.e., the velocity of
solitons and the shift of crests of cnoidal waves along a soliton, are
calculated. Solutions are classified into three types (Type-1A, Type-1B,
Type-2) according to their apparent distinct properties.Comment: 11 pages, 5 figures, Contents change
- …