Search NASA⌕ Search

SEARCH · Search NASA

Results for “Bounding Analysis”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 271 records · Page 15

Queueing in networks of computers

The designers of networks of computers must assess the capacity of the network to complete work within reasonable times. The utilization law, Little's law, forced-flow law, and response time formula are simple tools that can be used to calculate throughput and response times of networks. Bottleneck analysis can be used to calculate simple lower bounds on response time in terms of individual server parameters and the load on network as a whole. These simple results are important tools for all users of scientific networks - back of the envelope calculations can quickly reveal the effects of distant servers on local throughput and response time.

Denning, Peter J.↗

An expert system shell for inferring vegetation characteristics: Changes to the historical cover type database (Task F)

All the options in the NASA VEGetation Workbench (VEG) make use of a database of historical cover types. This database contains results from experiments by scientists on a wide variety of different cover types. The learning system uses the database to provide positive and negative training examples of classes that enable it to learn distinguishing features between classes of vegetation. All the other VEG options use the database to estimate the error bounds involved in the results obtained when various analysis techniques are applied to the sample of cover type data that is being studied. In the previous version of VEG, the historical cover type database was stored as part of the VEG knowledge base. This database was removed from the knowledge base. It is now stored as a series of flat files that are external to VEG. An interface between VEG and these files was provided. The interface allows the user to select which files of historical data to use. The files are then read, and the data are stored in Knowledge Engineering Environment (KEE) units using the same organization of units as in the previous version of VEG. The interface also allows the user to delete some or all of the historical database units from VEG and load new historical data from a file. This report summarizes the use of the historical cover type database in VEG. It then describes the new interface to the files containing the historical data. It describes minor changes that were made to VEG to enable the externally stored database to be used. Test runs to test the operation of the new interface and also to test the operation of VEG using historical data loaded from external files are described. Task F was completed. A Sun cartridge tape containing the KEE and Common Lisp code for the new interface and the modified version of the VEG knowledge base was delivered to the NASA GSFC technical representative.

Source record↗

Method bacterial endospore quantification using lanthanide dipicolinate luminescence

A lanthanide is combined with a medium to be tested for endospores. The dipicolinic acid released from the endospores binds the lanthanides, which have distinctive emission (i.e., luminescence) spectra, and are detected using photoluminescence. The concentration of spores is determined by preparing a calibration curve generated from photoluminescence spectra of lanthanide complex mixed with spores of a known concentration. A lanthanide complex is used as the analysis reagent, and is comprised of lanthanide ions bound to multidentate ligands that increase the dipicolinic acid binding constant through a cooperative binding effect with respect to lanthanide chloride. The resulting combined effect of increasing the binding constant and eliminating coordinated water and multiple equilibria increase the sensitivity of the endospore assay by an estimated three to four orders of magnitude over prior art of endospore detection based on lanthanide luminescence.

Ponce, Adrian↗

Ammonia Vent of the External Active Thermal Control System (EATCS) Radiator #3 Flow Path #2 on the International Space Station (ISS)

The External Active Thermal Control System (EATCS) provides cooling for all pressurized modules and the main Power Distribution Electronics (PDE) on the International Space Station (ISS). There are 2 EATCS loops (Loop A and Loop B) which includes 3 deployable radiators. Each deployable radiator contains 2 flow paths to provide heat rejection.Telemetry monitoring identified a coolant (liquid ammonia) leak in EATCS Loop B. Robotic External Leak Locator (RELL) scans found higher concentrations of vaporous ammonia near the EATCS Loop B Radiator #3 Flow Path #2. On May 3, 2017, the EATCS Loop B Radiator #3 Flow Path #2 was isolated and vented. As of the data to date, the ammonia leak has ceased. The purpose of this presentation is to discuss the analysis for venting the EATCS Loop B Radiator #3 Flow Path #2. Venting analysis is performed to determine the worst case time to empty the flow path and maximum thrusts imposed on the ISS. Flight controllers and engineers in the Mission Control Center (MCC) uses this data to develop operational procedures and perform the vent safely. It was predicted that the worst case time to empty the EATCS Loop B Radiator #3 Flow Path #2 was ~ 60 minutes. The predicted maximum thrusts were ~ 11 lbf (49 N) at the start of the vent and ~10 lbf (45 N) after the system reaches saturation.The vent was successfully performed and took ~ 20 minutes to empty the EATCS Loop B Radiator #3 Flow Path #2. Using telemetry from the day of the vent, analysis determined the time to empty the EATCS Loop B Radiator #3 Flow Path #2 would be ~13 minutes. The predictive analysis used worst case inputs and assumptions which bounded the actual results. Telemetry is not available to correlate actual thrust with the predicted maximum thrusts. However, by using Russian Thrusters for ISS attitude control, attitude control telemetry indicated the flight attitude was maintained.

Cowan, Darnell T.↗

Coherent Mode Decomposition for Kolmogorov Optical Turbulence in a Finite Aperture

An analysis of the coherent mode decomposition of an optical field after propagation through atmospheric turbulence is presented. The coherent modes represent an ideal basis by which to decompose the field for design of mode-limited optical systems. Using the rotational symmetry of the Fredholm integral operator for Kolmogorov optical turbulence, it is shown that the coherent modes exhibit separable solutions classified by radial and azimuthal quantum numbers. The study of the coherent modes is then reduced that of the radial functions determined by the aperture-coherence diameter ratio and obscuration ratio. Analysis of the spectrum of eigenvalues yields sharp bounds on the efficiency of receivers using incoherent or coherent combining with mode-limited photonic devices in the presence of Kolmogorov turbulence. The effective number of modes needed to represent Kolmogorov optical turbulence is studied via the von Neumann entropy, purity, and largest eigenvalue, and the differences in the different definitions is discussed. The similarity of the coherent modes to linearly polarized (LP) fiber modes is quantified yielding a precise characterization of the maximum gain that can be achieved in mode-limited systems via mode shaping techniques. As a final application, a mode sorting technique is presented for optimally splitting power from atmospherically degraded light into a finite number of modes simultaneously maximizing total coupling efficiency and minimizing the average and instantaneous power ratio between channels.

free-space optical communication↗

Coherent Mode Decomposition for Kolmogorov Optical Turbulence in a Finite Aperture

An analysis of the coherent mode decomposition of an optical field after propagation through atmospheric turbulence is presented. The coherent modes represent an ideal basis by which to decompose the field for design of mode-limited optical systems. Due to rotational symmetry of the Fredholm integral operator for Kolmogorov optical turbulence, the coherent modes exhibit separable solutions classified by a radial and azimuthal mode index. The study of the coherent modes is then reduced to that of the radial functions determined by the coherence ratio and obscuration ratio. Analysis of the spectrum of eigenvalues yields sharp bounds on the efficiency of receivers using incoherent or coherent combining with mode-limited photonic devices in the presence of Kolmogorov turbulence. The effective number of modes needed to represent Kolmogorov optical turbulence is studied via the von Neumann entropy, purity, and largest eigenvalue, and the differences in the different definitions is discussed. The similarity of the coherent modes to linearly polarized (LP) fiber modes is quantified yielding a precise characterization of the maximum gain that can be achieved in mode-limited systems via mode shaping techniques. As a final application, a mode sorting technique is presented for optimally splitting power from atmospherically degraded light into a finite number of modes simultaneously maximizing total coupling efficiency and minimizing the difference in average power between channels.

free-space optical communication↗

Summary of Expedited Results from Samples Supporting Tank Closure Cesium Removal (TCCR) Batch 3

Savannah River Remediation (SRR) is currently operating the Tank Closure Cesium Removal (TCCR) process to remove 137 Cs from tank waste supernate using an ion exchange process. As part of that process, Savannah River National Laboratory (SRNL) receives and analyzes samples in support of the qualification of each batch to be processed. SRNL recently received supernate samples retrieved from Tank 10H as well as in-tank batch contact samples for characterization in support of qualifying Batch 3 for processing through the TCCR unit. SRNL received and characterized a set of dip samples collected from Tank 10H (one surface and one variable depth sample). No solids were observed in either sample and therefore the samples were combined, and a suite of analyses were performed on the composite sample. The density of the combined sample was 1.174 g/mL (0.18 %RSD), which was consistent with the measured sodium concentration of 3.54 M (0.08 %RSD). The 137Cs activity in the sample was 4.75E+07 dpm/mL (4.28 %RSD) and the total Cs concentration was calculated to be 1.54 mg/L (1.16E-05 M). The in-tank batch contact samples consist of 0.1 g of crystalline silicotitanate (CST) contained within a teabag device. Duplicate samples were submerged in Tank 10H supernate for a period of about 13 days, after which time they were retrieved and transferred to SRNL for analysis. At SRNL the CST was rinsed to remove excess salt solution and the CST was then air dried before being digested for analysis. Results of the analysis indicated a 137 Cs loading of 3.66E+10 ± 1.40E+09 dpm/g or 16.5 ± 0.63 Ci/kg CST . This value represents a bounding upper limit as it includes the addition of two sigma uncertainty from replicate analysis of the individual teabag samples as well as the addition of the small amount of 137 Cs activity measured in the rinse solutions. The above values are based on the air-dried mass of CST. Correcting to the true dry mass using a F-factor of 0.8191 results in a maximum loading of 20.2 ± 0.77 Ci/kg CST .

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Safe Upper-Bounds Inference of Energy Consumption for Java Bytecode Applications

Many space applications such as sensor networks, on-board satellite-based platforms, on-board vehicle monitoring systems, etc. handle large amounts of data and analysis of such data is often critical for the scientific mission. Transmitting such large amounts of data to the remote control station for analysis is usually too expensive for time-critical applications. Instead, modern space applications are increasingly relying on autonomous on-board data analysis. All these applications face many resource constraints. A key requirement is to minimize energy consumption. Several approaches have been developed for estimating the energy consumption of such applications (e.g. [3, 1]) based on measuring actual consumption at run-time for large sets of random inputs. However, this approach has the limitation that it is in general not possible to cover all possible inputs. Using formal techniques offers the potential for inferring safe energy consumption bounds, thus being specially interesting for space exploration and safety-critical systems. We have proposed and implemented a general frame- work for resource usage analysis of Java bytecode [2]. The user defines a set of resource(s) of interest to be tracked and some annotations that describe the cost of some elementary elements of the program for those resources. These values can be constants or, more generally, functions of the input data sizes. The analysis then statically derives an upper bound on the amount of those resources that the program as a whole will consume or provide, also as functions of the input data sizes. This article develops a novel application of the analysis of [2] to inferring safe upper bounds on the energy consumption of Java bytecode applications. We first use a resource model that describes the cost of each bytecode instruction in terms of the joules it consumes. With this resource model, we then generate energy consumption cost relations, which are then used to infer safe upper bounds. How energy consumption for each bytecode instruction is measured is beyond the scope of this paper. Instead, this paper is about how to infer safe energy consumption estimations assuming that those energy consumption costs are provided. For concreteness, we use a simplified version of an existing resource model [1] in which an energy consumption cost for individual Java opcodes is defined.

Navas, Jorge↗

Region-adaptive, Error-controlled Scientific Data Compression using Multilevel Decomposition

The increase of computer processing speed is significantly outpacing improvements in network and storage bandwidth, leading to the big data challenge in modern science, where scientific applications can quickly generate much more data than that can be transferred and stored. As a result, big scientific data must be reduced by a few orders of magnitude while the accuracy of the reduced data needs to be guaranteed for further scientific explorations. Moreover, scientists are often interested in some specific spatial/temporal regions in their data, where higher accuracy is required. The locations of the regions requiring high accuracy can sometimes be prescribed based on application knowledge, while other times they must be estimated based on general spatial/temporal variation. In this paper, we develop a novel multilevel approach which allows users to impose region-wise compression error bounds. Our method utilizes the byproduct of a multilevel compressor to detect regions where details are rich and we provide the theoretical underpinning for region-wise error control. With spatially varying precision preservation, our approach can achieve significantly higher compression ratios than single-error bounded compression approaches and control errors in the regions of interest.We conduct the evaluations on two climate use cases – one targeting small-scale, node features and the other focusing on long, areal features. For both use cases, the locations of the features were unknown ahead of the compression. By selecting approximately 16% of the data based on multi-scale spatial variations and compressing those regions with smaller error tolerances than the rest, our approach improves the accuracy of post-analysis by approximately 2 × compared to single-error-bounded compression at the same compression ratio. Using the same error bound for the region of interest, our approach can achieve an increase of more than 50% in overall compression ratio.

Gong, Qian↗

Evidence against the involvement of ionically bound cell wall proteins in pea epicotyl growth

Ionically bound cell wall proteins were extracted from 7 day old etiolated pea (Pisum sativum L. cv Alaska) epicotyls with 3 molar LiCl. Polyclonal antiserum was raised in rabbits against the cell wall proteins. Growth assays showed that treatment of growing region segments (5-7 millimeters) of peas with either dialyzed serum, serum globulin fraction, affinity purified immunoglobulin, or papain-cleaved antibody fragments had no effect on growth. Immunofluorescence microscopy confirmed antibody binding to cell walls and penetration of the antibodies into the tissues. Western blot analysis, immunoassay results, and affinity chromatography utilizing Sepharose-bound antibodies confirmed recognition of the protein preparation by the antibodies. Experiments employing in vitro extension as a screening measure indicated no effect upon extension by antibodies, by 50 millimolar LiCl perfusion of the apoplast or by 3 molar LiCl extraction. Addition of cell wall protein to protease pretreated segments did not restore extension nor did addition of cell wall protein to untreated segments increase extension. It is concluded that, although evidence suggests that protein is responsible for the process of extension, the class(es) of proteins which are extracted from pea cell walls with 3 molar LiCl are probably not involved in this process.

NASA Program Space Biology↗

Unusual modifications of protein biomarkers expressed by plasmid, prophage, and bacterial host of pathogenic Escherichia coli identified using top‐down proteomic analysis

Rationale Pathogenic bacteria often carry prophage (bacterial viruses) and plasmids (small circular pieces of DNA) that may harbor toxin, antibacterial, and antibiotic resistance genes. Proteomic characterization of pathogenic bacteria should include the identification of host proteins and proteins produced by prophage and plasmid genomes. Methods Protein biomarkers of two strains of Shiga toxin–producingEscherichia coli(STEC) were identified using antibiotic induction, matrix‐assisted laser desorption/ionization tandem time‐of‐flight (MALDI‐TOF‐TOF) tandem mass spectrometry (MS/MS) with post‐source decay (PSD), top‐down proteomic (TDP) analysis, and plasmid sequencing. Alphafold2 was also used to compare predicted in silico structures of the identified proteins to prominent fragment ions generated using MS/MS‐PSD. Strain samples were also analyzed with and without chemical reduction treatment to detect the attachment of pendant groups bound by thioester or disulfide bonds. Results Shiga toxin was detected and/or identified in both STEC strains. For the first time, we also identified the osmotically inducible protein (OsmY) whose sequence unexpectedly had two forms: a full and a truncated sequence. The truncated OsmY terminates in the middle of an α‐helix as determined by Alphafold2. A plasmid‐encoded colicin immunity protein was also identified with and without attachment of an unidentified cysteine‐bound pendant group (~307 Da). Plasmid sequencing confirmed top‐down analysis and the identification of a promoter upstream of the immunity gene that is activated by antibiotic induction, that is, SOS box. Conclusions TDP analysis, coupled with other techniques (e.g., antibiotic induction, chemical reduction, plasmid sequencing, and in silico protein modeling), is a powerful tool to identify proteins (and their modifications), including prophage‐ and plasmid‐encoded proteins, produced by pathogenic microorganisms.

Biochemistry & Molecular Biology↗

Three-dimensional atomic scale characterization of {11$\overline{2}$2} twin boundaries in titanium

The {11$\overline{2}$2}<11$\overline{23}$> compression twin can accommodate a considerable amount of strain under c-axis compression in Ti. However, unlike the tensile twin, the structure of the {10$\overline{1}$2}$\langle$$\overline{1}$011$\rangle$ compressive twins has not been completely characterized. In this study, we apply a combined technique of HR-TEM characterization, topological analysis, and atomistic simulations to explore the facets that bound the {11$\overline{2}$2}<11$\overline{23}$> twin in Ti. In addition to the currently known facets (CTB and B-Py), six new facets are observed and categorized for the first time from atomic-scale TEM observations along five crystallographic directions. The six new facets are (11$\overline{2}$0)//(11$\overline{2}$6), PrPr1, PyPy1, (2$\overline{11}$1)//($\overline{1}$2$\overline{1}$2), (1$\overline{1}$04)//(01$\overline{11}$), and (01$\overline{1}$0)//(2$\overline{11}$4). Results from the topological and computational analysis are in reasonable agreement with and support the HRTEM observations. Specifically, (1) the observed facets align with low-index interfaces in both twin and matrix domains, (2) the facets with lower surface energies are found to form extended interfaces, and (3) high-surface-energy facets are found at the twin tip region and explained by the fact that the energy of the combined facet and facet junction configuration is energetically preferred in the twin tip region. These results not only provide a comprehensive understanding of the 3D structure of the {11$\overline{2}$2}<11$\overline{23}$> compressive twins in Ti, but also validate the MD procedure and the Ti interatomic potential employed. This is extremely important for future study of the {11$\overline{2}$2} twin mobility and interactions with other defects, both features that remain extremely challenging to capture in experiments.

36 MATERIALS SCIENCE↗

Bounding uncertainty in functional data: A case study

Functional data are fast becoming a preeminent source of information across a wide range of industries. A particularly challenging aspect of functional data is bounding uncertainty. In this unique case study, we present our attempts at creating bounding functions for selected applications at Sandia National Laboratories (SNL). The first attempt involved a simple extension of functional principal component analysis (fPCA) to incorporate covariates. Though this method was straightforward, the extension was plagued by poor coverage accuracy for the bounding curve. This led to a second attempt utilizing elastic methodology which yielded more accurate coverage at the cost of more complexity.

97 MATHEMATICS AND COMPUTING↗

Fatigue response of perforated titanium for application in laminar flow control

The room temperature tensile and fatigue response of non-perforated and perforated titanium for laminar flow control application was investigated both experimentally and analytically. Results showed that multiple perforations did not affect the tensile response, but did reduce the fatigue life. A two dimensional finite element stress analysis was used to determine that the stress fields from adjacent perforations did not influence one another. The stress fields around the holes did not overlap one another, allowing the materials to be modeled as a plate with a center hole. Fatigue life was predicted using an equivalent MW flow size approach to relate the experimental results to microstructural features of the titanium. Predictions using flaw sizes ranging from 1 to 15 microns correlated within a factor of 2 with the experimental results by using a flow stress of 260 MPa. By using two different flow stresses in the crack closure model and correcting for plasticity, the experimental results were bounded by the predictions for high applied stresses. Further analysis of the complex geometry of the perforations and the local material chemistry is needed to further understand the fatigue behavior of the perforated titanium.

Johnson, W. Steven↗

Enantioselective catalysts based on metal-organic framework-supported nucleotides

Adenosine triphosphate (ATP) and other nucleotides can be irreversibly bound to the metal-organic framework (MOF) MIL-101(Cr). Analysis of X-ray diffraction data suggests that the location of the adsorbed ATP molecule is in proximity of the Cr 3 clusters. Solid-state NMR and DFT calculations indicate that ATP is bound to MIL-101(Cr) through linkages of the terminal phosphate group with Cr(III) of the framework. In the presence of Cu(II) ions, the MOF-supported nucleotides can function as stable and reusable enantioselective heterogeneous catalysts for reactions like Diels-Alder and Michael addition. In conclusion, compared to the corresponding homogeneous nucleotide-based artificial metalloenzymes (ArMs), the MOF-supported nucleotide-based ArMs exhibit significantly enhanced activity and selectivity in certain cases, demonstrating their potential as a new class of enantioselective heterogeneous catalysts.

36 MATERIALS SCIENCE↗

Global analysis of $μ → e$ interactions in the SMEFT

We study current experimental bounds on charged lepton flavor violating (CLFV) μ – e interactions in the model-independent framework of the Standard Model Effective Field Theory (SMEFT). Assuming a generic flavor structure in the quark sector, we consider the contributions of CLFV operators to low-energy observables, including μ → eγ and μ → e conversion for quark-flavor conserving operators and CLFV meson decays for quark-flavor violating operators. At high energy, we consider limits on CLFV decays of the Higgs and Z bosons and of the top quark, and obtain bounds on operators with light quarks by recasting searches for production of eμ pairs in pp collisions at the Large Hadron Collider (LHC). We connect observables at low- and high-energy by taking into account renormalization group running and matching between CLFV operators. We also discuss the sensitivity of the future Electron-Ion Collider, where the prospective bounds are derived by imposing simple cuts on final state particles. We find that, in a single operator scenario, bounds on purely leptonic operators are dominated by μ → eγ and μ → e conversion. Semileptonic operators with down-type quarks are also dominantly constrained by low-energy observables, while LHC searches lead the bounds on up-type quark-flavor violating operators. Taking simplified multiple-coupling scenarios, we show that it is easy to evade the strongest low-energy bounds from spin-independent μ → e conversion, and that collider searches are competitive and complementary to constraints from spin-dependent μ → e conversion and other low-energy probes.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA System Safety Handbook: System Safety Framework and Concepts for Implementation - Volume 1

System safety assessment is defined in NPR 8715.3C, NASA General Safety Program Requirements as a disciplined, systematic approach to the analysis of risks resulting from hazards that can affect humans, the environment, and mission assets. Achievement of the highest practicable degree of system safety is one of NASA's highest priorities. Traditionally, system safety assessment at NASA and elsewhere has focused on the application of a set of safety analysis tools to identify safety risks and formulate effective controls.1 Familiar tools used for this purpose include various forms of hazard analyses, failure modes and effects analyses, and probabilistic safety assessment (commonly also referred to as probabilistic risk assessment (PRA)). In the past, it has been assumed that to show that a system is safe, it is sufficient to provide assurance that the process for identifying the hazards has been as comprehensive as possible and that each identified hazard has one or more associated controls. The NASA Aerospace Safety Advisory Panel (ASAP) has made several statements in its annual reports supporting a more holistic approach. In 2006, it recommended that "... a comprehensive risk assessment, communication and acceptance process be implemented to ensure that overall launch risk is considered in an integrated and consistent manner." In 2009, it advocated for "... a process for using a risk-informed design approach to produce a design that is optimally and sufficiently safe." As a rationale for the latter advocacy, it stated that "... the ASAP applauds switching to a performance-based approach because it emphasizes early risk identification to guide designs, thus enabling creative design approaches that might be more efficient, safer, or both." For purposes of this preface, it is worth mentioning three areas where the handbook emphasizes a more holistic type of thinking. First, the handbook takes the position that it is important to not just focus on risk on an individual basis but to consider measures of aggregate safety risk and to ensure wherever possible that there be quantitative measures for evaluating how effective the controls are in reducing these aggregate risks. The term aggregate risk, when used in this handbook, refers to the accumulation of risks from individual scenarios that lead to a shortfall in safety performance at a high level: e.g., an excessively high probability of loss of crew, loss of mission, planetary contamination, etc. Without aggregated quantitative measures such as these, it is not reasonable to expect that safety has been optimized with respect to other technical and programmatic objectives. At the same time, it is fully recognized that not all sources of risk are amenable to precise quantitative analysis and that the use of qualitative approaches and bounding estimates may be appropriate for those risk sources. Second, the handbook stresses the necessity of developing confidence that the controls derived for the purpose of achieving system safety not only handle risks that have been identified and properly characterized but also provide a general, more holistic means for protecting against unidentified or uncharacterized risks. For example, while it is not possible to be assured that all credible causes of risk have been identified, there are defenses that can provide protection against broad categories of risks and thereby increase the chances that individual causes are contained. Third, the handbook strives at all times to treat uncertainties as an integral aspect of risk and as a part of making decisions. The term "uncertainty" here does not refer to an actuarial type of data analysis, but rather to a characterization of our state of knowledge regarding results from logical and physical models that approximate reality. Uncertainty analysis finds how the output parameters of the models are related to plausible variations in the input parameters and in the modeling assumptions. The evaluation of unrtainties represents a method of probabilistic thinking wherein the analyst and decision makers recognize possible outcomes other than the outcome perceived to be "most likely." Without this type of analysis, it is not possible to determine the worth of an analysis product as a basis for making decisions related to safety and mission success. In line with these considerations the handbook does not take a hazard-analysis-centric approach to system safety. Hazard analysis remains a useful tool to facilitate brainstorming but does not substitute for a more holistic approach geared to a comprehensive identification and understanding of individual risk issues and their contributions to aggregate safety risks. The handbook strives to emphasize the importance of identifying the most critical scenarios that contribute to the risk of not meeting the agreed-upon safety objectives and requirements using all appropriate tools (including but not limited to hazard analysis). Thereafter, emphasis shifts to identifying the risk drivers that cause these scenarios to be critical and ensuring that there are controls directed toward preventing or mitigating the risk drivers. To address these and other areas, the handbook advocates a proactive, analytic-deliberative, risk-informed approach to system safety, enabling the integration of system safety activities with systems engineering and risk management processes. It emphasizes how one can systematically provide the necessary evidence to substantiate the claim that a system is safe to within an acceptable risk tolerance, and that safety has been achieved in a cost-effective manner. The methodology discussed in this handbook is part of a systems engineering process and is intended to be integral to the system safety practices being conducted by the NASA safety and mission assurance and systems engineering organizations. The handbook posits that to conclude that a system is adequately safe, it is necessary to consider a set of safety claims that derive from the safety objectives of the organization. The safety claims are developed from a hierarchy of safety objectives and are therefore hierarchical themselves. Assurance that all the claims are true within acceptable risk tolerance limits implies that all of the safety objectives have been satisfied, and therefore that the system is safe. The acceptable risk tolerance limits are provided by the authority who must make the decision whether or not to proceed to the next step in the life cycle. These tolerances are therefore referred to as the decision maker's risk tolerances. In general, the safety claims address two fundamental facets of safety: 1) whether required safety thresholds or goals have been achieved, and 2) whether the safety risk is as low as possible within reasonable impacts on cost, schedule, and performance. The latter facet includes consideration of controls that are collective in nature (i.e., apply generically to broad categories of risks) and thereby provide protection against unidentified or uncharacterized risks.

Dezfuli, Homayoon↗

The estimation of masses of individual galaxies in clusters of galaxies.

Three different methods of estimating masses are discussed. The 'density method' is based on the analysis of the density distribution of galaxies around the object whose mass is to be found. The 'bound-galaxy method' gives estimates of the mass of a double, triple, or quadruple system from analysis of the orbital motion of the components. The 'virial method' utilizes the formulas derived for the second method to obtain estimates of the virial-theorem masses of whole clusters, and thus to obtain upper limits on the mass of an individual galaxy in a cluster. The analytic formulas are developed and compared with computer experiments, and some applications are given.

Wolf, R. A.↗