Demonstrating the Safety and Reliability of a New System or Spacecraft: Incorporating Analyses and Reviews of the Design and Processing in Determining the Number of Tests to be Conducted

Design Safety/Reliability is associated with the probability of no failure-causing faults existing in a design. Confidence in the non-existence of failure-causing faults is increased by performing tests with no failure. Reliability-Growth testing requirements are based on initial assurance and fault detection probability. Using binomial tables generally gives too many required tests compared to reliability-growth requirements. Reliability-Growth testing requirements are based on reliability principles and factors and should be used

A method for risk analysis of nuclear reactor accidents

Originally presented as the first author's thesis, (Ph. D.)--in the M.I.T. Dept. of Nuclear Engineering, 1976Includes bibliographical references (pages 207-208)Prepared for the U.S. Nuclear Regulatory Commission, Office of Nuclear Regulatory Research no. AT(49-24)-026

Synthesizing a New Launch Vehicle Failure Probability Based on Historical Flight Data

New launch vehicles have historically had significantly higher failure rates in early flights than what has been predicted using Probabilistic Risk Assessment - PRA. This is because PRAs typically model a mature vehicle where a significant portion of the early failure probability contributors have been eliminated due to testing and improvements after actual field operation. To capture a more accurate early flight failure probability estimate, this paper develops a method that estimates ascent failure probability starting with the first flight based on historical launch vehicle records. With new launch vehicles being developed, such as the Space Launch System - SLS, a PRA model must be extended to cover early flight failure probability contributions that are either not covered in the mature-vehicle PRA or are underestimated. These failure probability contributions include design errors, quality control deficiencies, installation errors, and environmental impacts. There are also failure dependencies due to systemic errors that still exist due to limited entire-system testing

Tailoring parameter distributions to specific germplasm : impact on crop model-based ideotyping

Crop models are increasingly used to identify promising ideotypes for given environmental and management conditions. However, uncertainty must be properly managed to maximize the in vivo realizability of ideotypes. We focused on the impact of adopting germplasm-specific distributions while exploring potential combinations of traits. A field experiment was conducted on 43 Italian rice varieties representative of the Italian rice germplasm, where the following traits were measured: light extinction coefficient, radiation use efficiency, specific leaf area at emergence and tillering. Data were used to derive germplasm-specific distributions, which were used to re-run a previous modelling experiment aimed at identifying optimal combinations of plant trait values. The analysis, performed using the rice model WARM and sensitivity analysis techniques, was conducted under current conditions and climate change scenarios. Results revealed that the adoption of germplasm-specific distributions may markedly affect ideotyping, especially for the identification of most promising traits. A re-ranking of some of the most relevant parameters was observed (radiation use efficiency shifted from 4th to 1st), without clear relationships between changes in rankings and differences in distributions for single traits. Ideotype profiles (i.e., values of the ideotype traits) were instead more consistent, although differences in trait values were found

FRANTIC 5 (a version of FRANTIC II) : a computer code for evaluating system aging effect

"November 1986."Includes bibliographical referencesThe FRANTIC 5 code is a modification of the FRANTIC II code for time dependent unavailability analysis. FRANTIC 5 is specially adapted for modeling the aging effects on system and component performance. The FRANTIC 5 code uses the linear aging model, i.e., based on the assumption that component failure rates increase linearly in time. The constant failure rate and the aging acceleration rate for a component can be changed during the plant life, which allows the creation of different time scales for components as a function of the replacement or any significant maintenance or repair action on the component. FRANTIC 5 preserves most of the unique features of FRANTIC II, for example the modeling of periodic testing. The output from FRANTIC 5 consists of the system mean unavailabilities, tables of the system unavailabilities at designated time points and the system mean unavailabilities between consecutive tests. The code is applied for evaluation of aging effects of the Auxiliary Feedwater System of Arkansas Nuclear Unit 1. The usefulness of the method will depend upon the availability of the component aging data needed to develop the model parameters.Prepared for EG&G Idaho, Inc. special research subcontract no. C86-10094

Time dependent unavailability analysis to standby safety systems

"Prepared for Brookhaven National Laboratory."Includes bibliographical references (p. 280-284)Contract no. BNL-54668

Determination of hydrogen permeability in uncoated and coated superalloys

Hydrogen permeability, diffusivity, and solubility data were obtained for eight wrought and cast high temperature alloys over the range 650 to 815 C. Data were obtained for both uncoated alloys and wrought alloys coated with four commercially available coatings. Activation energies for permeability, diffusivity and solubility were calculated

A standardized guide to develop an online grocery store for testing nutrition-related policies and interventions in an online setting

Simulated online grocery store platforms are innovative tools for studying nutrition-related policies and point-of-selection/point-of-purchase interventions in online retail settings, yet there is no clear guidance on how to develop these platforms for experimental research. Thus, we created a standardized guide for the development of an online grocery store, including a detailed description of (1) methods for acquiring and cleaning online grocery store data, and (2) how to design a two-dimensional online grocery store experimental platform. We provide guidance on how to address product categorization, product order/sorting and product details, including how to identify outliers and conflicting nutritional information and methods for standardizing prices. We also provide details regarding our process of “tagging” food items that can be leveraged by future studies examining policies and point-of-selection/point-of-purchase interventions targeting red and processed meat and fruits and vegetables. We experienced several challenges, including obtaining accurate and up-to-date product information and images, and accounting for the presence of store-brand products. Regardless, the methodology described herein will enable researchers to examine the effects of a wide array of nutrition-related policies and interventions on food purchasing behaviors in online retail settings, and can be used as a template for reporting procedures in future research

NA

http://archive.org/details/concurrencycontr00veseNAN

Plumo: An Ultralight Blockchain Client

Syncing the latest state of a blockchain can be a resource-intensive task, driving (especially mobile) end users towards centralized services offering instant access. To expand full decentralized access to anyone with a mobile phone, we introduce a consensus-agnostic compiler for constructing ultralight clients, providing secure and highly efficient blockchain syncing via a sequence of SNARK-based state transition proofs, and prove its security formally. Instantiating this, we present Plumo, an ultralight client for the Celo blockchain capable of syncing the latest network state summary in just a few seconds even on a low-end mobile phone. In Plumo, each transition proof covers four months of blockchain history and can be produced for just $25 USD of compute. Plumo achieves this level of efficiency thanks to two new SNARK-friendly constructions, which may also be of independent interest: a new BLS-based offline aggregate multisignature scheme in which signers do not have to know the members of their multisignature group in advance, and a new composite algebraic-symmetric cryptographic hash function