309,224 research outputs found

    Application of Statistically Derived CPAS Parachute Parameters

    Get PDF
    The Capsule Parachute Assembly System (CPAS) Analysis Team is responsible for determining parachute inflation parameters and dispersions that are ultimately used in verifying system requirements. A model memo is internally released semi-annually documenting parachute inflation and other key parameters reconstructed from flight test data. Dispersion probability distributions published in previous versions of the model memo were uniform because insufficient data were available for determination of statistical based distributions. Uniform distributions do not accurately represent the expected distributions since extreme parameter values are just as likely to occur as the nominal value. CPAS has taken incremental steps to move away from uniform distributions. Model Memo version 9 (MMv9) made the first use of non-uniform dispersions, but only for the reefing cutter timing, for which a large number of sample was available. In order to maximize the utility of the available flight test data, clusters of parachutes were reconstructed individually starting with Model Memo version 10. This allowed for statistical assessment for steady-state drag area (CDS) and parachute inflation parameters such as the canopy fill distance (n), profile shape exponent (expopen), over-inflation factor (C(sub k)), and ramp-down time (t(sub k)) distributions. Built-in MATLAB distributions were applied to the histograms, and parameters such as scale (sigma) and location (mu) were output. Engineering judgment was used to determine the "best fit" distribution based on the test data. Results include normal, log normal, and uniform (where available data remains insufficient) fits of nominal and failure (loss of parachute and skipped stage) cases for all CPAS parachutes. This paper discusses the uniform methodology that was previously used, the process and result of the statistical assessment, how the dispersions were incorporated into Monte Carlo analyses, and the application of the distributions in trajectory benchmark testing assessments with parachute inflation parameters, drag area, and reefing cutter timing used by CPAS

    Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

    Get PDF
    This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability (i.e. has a very low failure rate), while the other, B, employs various forms of static analysis to sustain an argument that it is perfect (i.e. it will never miss a deadline). The first channel is fully functional, the second contains a more restricted computational model and contains only the critical computations. Potential dependencies between the channels (and their verification) are evaluated in terms of aleatory and epistemic uncertainty. At the aleatory level the events ''A fails" and ''B is imperfect" are independent. Moreover, unlike the general case, independence at the epistemic level is also proposed for common forms of implementation and analysis for real-time systems and their temporal requirements (deadlines). As a result, a systematic approach is advocated that can be applied in a real engineering context to produce highly reliable real-time systems, and to support numerical claims about the level of reliability achieved

    Analysis of reaction and timing attacks against cryptosystems based on sparse parity-check codes

    Full text link
    In this paper we study reaction and timing attacks against cryptosystems based on sparse parity-check codes, which encompass low-density parity-check (LDPC) codes and moderate-density parity-check (MDPC) codes. We show that the feasibility of these attacks is not strictly associated to the quasi-cyclic (QC) structure of the code but is related to the intrinsically probabilistic decoding of any sparse parity-check code. So, these attacks not only work against QC codes, but can be generalized to broader classes of codes. We provide a novel algorithm that, in the case of a QC code, allows recovering a larger amount of information than that retrievable through existing attacks and we use this algorithm to characterize new side-channel information leakages. We devise a theoretical model for the decoder that describes and justifies our results. Numerical simulations are provided that confirm the effectiveness of our approach

    Preconditioning and triggering of offshore slope failures and turbidity currents revealed by most detailed monitoring yet at a fjord-head delta

    Get PDF
    Rivers and turbidity currents are the two most important sediment transport processes by volume on Earth. Various hypotheses have been proposed for triggering of turbidity currents offshore from river mouths, including direct plunging of river discharge, delta mouth bar flushing or slope failure caused by low tides and gas expansion, earthquakes and rapid sedimentation. During 2011, 106 turbidity currents were monitored at Squamish Delta, British Columbia. This enables statistical analysis of timing, frequency and triggers. The largest peaks in river discharge did not create hyperpycnal flows. Instead, delayed delta-lip failures occurred 8–11 h after flood peaks, due to cumulative delta top sedimentation and tidally-induced pore pressure changes. Elevated river discharge is thus a significant control on the timing and rate of turbidity currents but not directly due to plunging river water. Elevated river discharge and focusing of river discharge at low tides cause increased sediment transport across the delta-lip, which is the most significant of all controls on flow timing in this setting

    A simple model of EMI-induced timing jitter in digital circuits, its statistical distribution and its effect on circuit performance

    Get PDF
    A simple model has been developed to characterize electromagnetic interference induced timing variations (jitter) in digital circuits. The model is based on measurable switching parameters of logic gates, and requires no knowledge of the internal workings of a device. It correctly predicts not only the dependence of jitter on the amplitude, modulation depth and frequency of the interfering signal, but also its statistical distribution. The model has been used to calculate the immunity level and bit error rate of a synchronous digital circuit subjected to radio frequency interference, and to compare the electromagnetic compatibility performance of fast and slow logic devices in such a circuit

    Software timing analysis for complex hardware with survivability and risk analysis

    Get PDF
    The increasing automation of safety-critical real-time systems, such as those in cars and planes, leads, to more complex and performance-demanding on-board software and the subsequent adoption of multicores and accelerators. This causes software's execution time dispersion to increase due to variable-latency resources such as caches, NoCs, advanced memory controllers and the like. Statistical analysis has been proposed to model the Worst-Case Execution Time (WCET) of software running such complex systems by providing reliable probabilistic WCET (pWCET) estimates. However, statistical models used so far, which are based on risk analysis, are overly pessimistic by construction. In this paper we prove that statistical survivability and risk analyses are equivalent in terms of tail analysis and, building upon survivability analysis theory, we show that Weibull tail models can be used to estimate pWCET distributions reliably and tightly. In particular, our methodology proves the correctness-by-construction of the approach, and our evaluation provides evidence about the tightness of the pWCET estimates obtained, which allow decreasing them reliably by 40% for a railway case study w.r.t. state-of-the-art exponential tails.This work is a collaboration between Argonne National Laboratory and the Barcelona Supercomputing Center within the Joint Laboratory for Extreme-Scale Computing. This research is supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, under contract number DE-AC02- 06CH11357, program manager Laura Biven, and by the Spanish Government (SEV2015-0493), by the Spanish Ministry of Science and Innovation (contract TIN2015-65316-P), by Generalitat de Catalunya (contract 2014-SGR-1051).Peer ReviewedPostprint (author's final draft

    Timing Measurement Platform for Arbitrary Black-Box Circuits Based on Transition Probability

    No full text

    Self-organization in the olfactory system: one shot odor recognition in insects

    Get PDF
    We show in a model of spiking neurons that synaptic plasticity in the mushroom bodies in combination with the general fan-in, fan-out properties of the early processing layers of the olfactory system might be sufficient to account for its efficient recognition of odors. For a large variety of initial conditions the model system consistently finds a working solution without any fine-tuning, and is, therefore, inherently robust. We demonstrate that gain control through the known feedforward inhibition of lateral horn interneurons increases the capacity of the system but is not essential for its general function. We also predict an upper limit for the number of odor classes Drosophila can discriminate based on the number and connectivity of its olfactory neurons

    Renal function, uraemia and early arteriovenous fistula failure

    Get PDF
    Background Guidance varies regarding the optimal timing of arteriovenous fistula (AVF) creation. The aim of this study was to evaluate the association between uraemia, haemodialysis and early AVF failure. Methods Immunoblotting and cell proliferation assays were performed on vascular smooth muscle cells (VSM) cells isolated from long saphenous vein samples to evaluate the cells’ ability to proliferate when stimulated with uraemic (post-dialysis) and hyperuraemic (pre-dialysis) serum. Clinical data was collected prospectively for 569 consecutive radiocephalic (RCF) and brachiocephalic (BCF) fistulae. The primary outcome was AVF failure at 6 weeks. Dialysis status (haemodialysis (HD); pre-dialysis (Pre-D)), eGFR and serum urea were evaluated to determine if they affected early AVF failure. Results Human VSM cells demonstrated increased capacity to proliferate when stimulated with hyperuraemic serum. There was no significant difference in early failure rate of either RCF or BCF depending on dialysis status (pre-D RCF 31.4% (n = 188); pre-D BCF 22.4% (n = 165); HD RCF 29.3% (n = 99); HD BCF 25.9% (n = 116); p = 0.34). There was no difference in mean eGFR between those patients with early AVF failure and those without (11.2+/-0.2 ml/min/1.73 m2 vs. 11.6+/-0.4 ml/min/1.73 m2; p = 0.47). Uraemia was associated with early AVF failure (serum urea: 35.0+/-0.7 mg/dl vs. 26.6+/-0.3 mg/dl (p &lt; 0.001)). Conclusions We present the first in vivo evidence of an association between adverse early AVF outcomes and uraemia. This is supported mechanistically by in vitro work demonstrating a pro-mitogenic effect of hyperuraemic serum. We hypothesise that uraemia-driven upregulation of VSM cell proliferation at the site of surgical insult in contributes to higher early AVF failure rates.</p
    corecore