Search NASA⌕ Search

SEARCH · Search NASA

Results for “Formal 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 685 records · Page 38

Steps toward determination of the size and structure of the broad-line region in active galactic nuclei. 5: Variability of the ultraviolet continuum and emission lines of NGC 3783

We report on the results of intensive ultraviolet spectral monitoring of the Seyfert 1 galaxy NGC 3783. The nucleus of NGC 3783 was observed with the International Ultraviolet Explorer satellite on a regular basis for a total of 7 months, once every 4 days for the first 172 days and once every other day for the final 50 days. Significant variability was observed in both continuum and emission-line fluxes. The light curves for the continuum fluxes exhibited two well-defined local minima or 'dips,' the first lasting is less than or approximately 20 days and the second is less than or approximately 4 days, with additional episodes of relatively rapid flickering of approximately the same amplitude. As in the case of NGC 5548 (the only other Seyfert galaxy that has been the subject of such an intensive, sustained monitoring effort), the largest continuum variations were seen at the shortest wavelengths, so that the continuum became 'harder' when brighter. The variations in the continuum occurred simultaneously at all wavelengths (delta(t) is less than 2 days). Generally, the amplitude of variability of the emission lines was lower than (or comparable to) that of the continuum. Apart from Mg II (which varied little) and N V (which is relatively weak and badly blended with Ly(alpha), the light curves of the emission lines are very similar to the continuum light curves, in each case with a small systematic delay or 'lag.' As for NGC 5548, the highest ionization lines seem to respond with shorter lags than the lower ionization lines. The lags found for NGC 3783 are considerably shorter than those obtained for NGC 5548, with values of (formally) approximately 0 days for He II + O III), and approximately 4 days for Ly(alpha) and C IV. The data further suggest lags of approximately 4 days for Si IV + O IV) and 8-30 days for Si III + C III). Mg II lagged the 1460 A continuum by approximately 9 days, although this result depends on the method of measuring the line flux and may in fact be due to variability of the underlying Fe II lines. Correlation analysis further shows that the power density spectrum contains substantial unresolved power over timescales of is less than or approximately 2 days, and that the character of the continuum variability may change with time.

Reichert, G. A.↗

The Sizing and Optimization Language (SOL): A computer language to improve the user/optimizer interface

The nonlinear mathematical programming method (formal optimization) has had many applications in engineering design. A figure illustrates the use of optimization techniques in the design process. The design process begins with the design problem, such as the classic example of the two-bar truss designed for minimum weight as seen in the leftmost part of the figure. If formal optimization is to be applied, the design problem must be recast in the form of an optimization problem consisting of an objective function, design variables, and constraint function relations. The middle part of the figure shows the two-bar truss design posed as an optimization problem. The total truss weight is the objective function, the tube diameter and truss height are design variables, with stress and Euler buckling considered as constraint function relations. Lastly, the designer develops or obtains analysis software containing a mathematical model of the object being optimized, and then interfaces the analysis routine with existing optimization software such as CONMIN, ADS, or NPSOL. This final state of software development can be both tedious and error-prone. The Sizing and Optimization Language (SOL), a special-purpose computer language whose goal is to make the software implementation phase of optimum design easier and less error-prone, is presented.

Lucas, S. H.↗

Probabilistic structural analysis methods of hot engine structures

Development of probabilistic structural analysis methods for hot engine structures at Lewis Research Center is presented. Three elements of the research program are: (1) composite load spectra methodology; (2) probabilistic structural analysis methodology; and (3) probabilistic structural analysis application. Recent progress includes: (1) quantification of the effects of uncertainties for several variables on high pressure fuel turbopump (HPFT) turbine blade temperature, pressure, and torque of the space shuttle main engine (SSME); (2) the evaluation of the cumulative distribution function for various structural response variables based on assumed uncertainties in primitive structural variables; and (3) evaluation of the failure probability. Collectively, the results demonstrate that the structural durability of hot engine structural components can be effectively evaluated in a formal probabilistic/reliability framework.

Chamis, C. C.↗

RXTE Observation of Cygnus X-1: Spectral Analysis - 1

We present the results of the analysis of the broad-band spectrum of Cygnus X-1 from 3.0 to 200 keV, using data from a 10 ksec observation by the Rossi X-ray Timing Explorer. The spectrum can be well described phenomenologically by an exponentially cut-off power law with a photon index Gamma = 1.45(+0.01 -0.02) (a value considerably harder 0.02 than typically found), e-folding energy E(sub f) = 162(+9 -8) keV, plus a deviation from a power law that formally can be modeled as a thermal blackbody with temperature kT(sub bb) = 1.2(+0.0 -0.1) keV. Although the 3-30 keV portion of the spectrum can be fit with a reflected power law with Gamma = 1.81 + or - 0.01 and covering fraction f = 0.35 + or - 0.02, the quality of the fit is significantly reduced when the HEXTE data in the 30-100 keV range is included, as there is no observed hardening in the power law within this energy range. As a physical description of this system, we apply the accretion disc corona models of Dove, Wilms & Begelman (1997a) - where the temperature of the corona is determined self-consistently. A spherical corona with a total optical depth pi = 1.6 + or - 0.1 and an average temperature kT(sub c) = 87 + or - 5 keV, surrounded by an exterior cold disc, does provide a good description of the data (X(exp 2 sub red) = 1.55). These models deviate from red the data by up to 7% in the 5 - 10 keV range, and we discuss possible reasons for these discrepancies. However, considering bow successfully the spherical corona reproduces the 10 - 200 keV data, such "pboton-starved" coronal geometries seem very promising for explaining the accretion processes of Cygnus X-1.

Dove, James B.↗

[NASA/DOD Aerospace Knowledge Diffusion Research Project. Paper 4:] Technical communications in aerospace: An analysis of the practices reported by US and European aerospace engineers and scientists

Results are reported from pilot surveys on the use of scientific and technical information (STI) by U.S. and NATO-nation aerospace scientists and engineers, undertaken as part of the NASA/DOD Aerospace Knowledge Diffusion Research Project. The survey procedures and the demographic characteristics of the 67 scientists and engineers who responded to the survey are summarized, and the results are presented in a series of tables and discussed in detail. Findings emphasized include: (1) both U.S. and NATO respondents spend around 60 percent of their work week producing or using STI products; (2) NATO respondents are more likely than their U.S. counterparts to use 'formal' STI products (like technical reports and papers) and the services of librarians and online data bases; (3) most of the respondents use computers and information technology in preparing STI products; and (4) respondents who had taken courses in technical communication agreed on the value and ideal subject matter of such courses.

Pinelli, Thomas E.↗

Property-Based Software Engineering Measurement

Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature. As a consequence, there is little guidance provided to the analyst attempting to define proper measures for specific problems. Many controversies in the literature are simply misunderstandings and stem from the fact that some people talk about different measurement concepts under the same label (complexity is the most common case). There is a need to define unambiguously the most important measurement concepts used in the measurement of software products. One way of doing so is to define precisely what mathematical properties characterize these concepts regardless of the specific software artifacts to which these concepts are applied. Such a mathematical framework could generate a consensus in the software engineering community and provide a means for better communication among researchers, better guidelines for analysis, and better evaluation methods for commercial static analyzers for practitioners. In this paper, we propose a mathematical framework which is generic, because it is not specific to any particular software artifact, and rigorous, because it is based on precise mathematical concepts. This framework defines several important measurement concepts (size, length, complexity, cohesion, coupling). It is not intended to be complete or fully objective; other frameworks could have been proposed and different choices could have been made. However, we believe that the formalism and properties we introduce are convenient and intuitive. In addition, we have reviewed the literature on this subject and compared it with our work. This framework contributes constructively to a firmer theoretical ground of software measurement.

Briand, Lionel↗

A validation methodology for fault-tolerant clock synchronization

A validation method for the synchronization subsystem of a fault-tolerant computer system is presented. The high reliability requirement of flight crucial systems precludes the use of most traditional validation methods. The method presented utilizes formal design proof to uncover design and coding errors and experimentation to validate the assumptions of the design proof. The experimental method is described and illustrated by validating an experimental implementation of the Software Implemented Fault Tolerance (SIFT) clock synchronization algorithm. The design proof of the algorithm defines the maximum skew between any two nonfaulty clocks in the system in terms of theoretical upper bounds on certain system parameters. The quantile to which each parameter must be estimated is determined by a combinatorial analysis of the system reliability. The parameters are measured by direct and indirect means, and upper bounds are estimated. A nonparametric method based on an asymptotic property of the tail of a distribution is used to estimate the upper bound of a critical system parameter. Although the proof process is very costly, it is extremely valuable when validating the crucial synchronization subsystem.

Johnson, S. C.↗

Multiagent Work Practice Simulation: Progress and Challenges

Modeling and simulating complex human-system interactions requires going beyond formal procedures and information flows to analyze how people interact with each other. Such work practices include conversations, modes of communication, informal assistance, impromptu meetings, workarounds, and so on. To make these social processes visible, we have developed a multiagent simulation tool, called Brahms, for modeling the activities of people belonging to multiple groups, situated in a physical environment (geographic regions, buildings, transport vehicles, etc.) consisting of tools, documents, and computer systems. We are finding many useful applications of Brahms for system requirements analysis, instruction, implementing software agents, and as a workbench for relating cognitive and social theories of human behavior. Many challenges remain for representing work practices, including modeling: memory over multiple days, scheduled activities combining physical objects, groups, and locations on a timeline (such as a Space Shuttle mission), habitat vehicles with trajectories (such as the Shuttle), agent movement in 3d space (e.g., inside the International Space Station), agent posture and line of sight, coupled movements (such as carrying objects), and learning (mimicry, forming habits, detecting repetition, etc.).

Clancey, William J.↗

Improved Analysis of GW150914 Using a Fully Spin-Precessing Waveform Model

This paper presents updated estimates of source parameters for GW150914, a binary black-hole coalescence event detected by the Laser Interferometer Gravitational-wave Observatory (LIGO) in 2015 [Abbott et al. Phys. Rev. Lett. 116, 061102 (2016).]. Abbott et al. [Phys. Rev. Lett. 116, 241102 (2016).] presented parameter estimation of the source using a 13-dimensional, phenomenological precessing-spin model (precessing IMRPhenom) and an 11-dimensional nonprecessing effective-one-body (EOB) model calibrated to numerical-relativity simulations, which forces spin alignment (nonprecessing EOBNR). Here, we present new results that include a 15-dimensional precessing-spin waveform model (precessing EOBNR) developed within the EOB formalism. We find good agreement with the parameters estimated previously [Abbott et al. Phys. Rev. Lett. 116, 241102 (2016).], and we quote updated component masses of 35(+5)(-3) solar M; and 30(+3)(-4) solar M; (where errors correspond to 90 symmetric credible intervals). We also present slightly tighter constraints on the dimensionless spin magnitudes of the two black holes, with a primary spin estimate is less than 0.65 and a secondary spin estimate is less than 0.75 at 90% probability. Abbott et al. [Phys. Rev. Lett. 116, 241102 (2016).] estimated the systematic parameter-extraction errors due to waveform-model uncertainty by combining the posterior probability densities of precessing IMRPhenom and nonprecessing EOBNR. Here, we find that the two precessing-spin models are in closer agreement, suggesting that these systematic errors are smaller than previously quoted.

Abbott, B. P.↗

Focusing anisotropy of solar cosmic rays

Analysis of 50-MeV particle data from ICE and 1-GeV data from eight high-latitude neutron monitors of the February 16, 1984 solar cosmic ray event indicates that an exponential with scattering mean free path of greater than 2 AU and with index in the 1.3-1.7 range provides a better description of particle anisotropies than the first-order form, confirming the prediction from cosmic ray transport theories which incorporate the effect of adiabatic focusing into the usual pitch angle scattering formalism. The time profile of the event is largely a reflection of coronal transport processes, with good fits provided by a coronal diffusion coefficient of about 10 to the 18th sq cm/s and with velocity-dependent escape. The simple method of predicting the interplanetary scattering parameters has application where particle injection is nearly continuous, but where previously accelerated particles have filled the heliosphere with a large omnidirectional background.

Bieber, J. W.↗

Multiagent Work Practice Simulation: Progress and Challenges

Modeling and simulating complex human-system interactions requires going beyond formal procedures and information flows to analyze how people interact with each other. Such work practices include conversations, modes of communication, informal assistance, impromptu meetings, workarounds, and so on. To make these social processes visible, we have developed a multiagent simulation tool, called Brahms, for modeling the activities of people belonging to multiple groups, situated in a physical environment (geographic regions, buildings, transport vehicles, etc.) consisting of tools, documents, and a computer system. We are finding many useful applications of Brahms for system requirements analysis, instruction, implementing software agents, and as a workbench for relating cognitive and social theories of human behavior. Many challenges remain for representing work practices, including modeling: memory over multiple days, scheduled activities combining physical objects, groups, and locations on a timeline (such as a Space Shuttle mission), habitat vehicles with trajectories (such as the Shuttle), agent movement in 3D space (e.g., inside the International Space Station), agent posture and line of sight, coupled movements (such as carrying objects), and learning (mimicry, forming habits, detecting repetition, etc.).

Clancey, William J.↗

Rotorcraft airframe structural optimization for combined vibration and fatigue constraints

This paper addresses the application of a formal optimization technique in rotorcraft airframe structural design studies to reduce the structural weight, to lower airframe vibrations, and to enhance fatigue life of the structure. Vibration and fatigue considerations in airframe design are described. An optimization methodology based on the use of a nonlinear programming technique to size airframe structural members subjected to constraints on weight, vibration response and fatigue stresses under dynamic loads, are described. The paper focuses on the development of necessary computational tools for airframe structural optimization and describes the sensitivity analysis procedure for these types of design constraints. Further, the paper describes the optimization procedure as implemented in a computer code called DYNOPT which is a unique operational combination of several newly developed Fortran codes as well as modification of existing codes consisting of the direct matrix abstraction modules of the MSC/NASTRAN Program and CONMIN optimizer. The application of the optimization procedure is demonstrated using an elastic-line model of the Bell AH-1G helicopter airframe structure and computational results are discussed.

Sareen, Ashish K.↗

Exploration of Habitability Factors Influencing Short Duration Spaceflight: Structured Postflight Interviews of Shuttle Crewmembers

Astronauts report significant difficulties with sleep during Space missions. Psychological, physiological, and habitability factors are all thought to play a role in spaceflight insomnia. Crewmembers gain experience with the spaceflight sleep environment as their missions progress, but this knowledge is not formally collected and communicated to subsequent crews. This lack of information transfer prevents crews from optimizing their capability to sleep during mission, which leads to fatigue and its potentially deleterious effects. The goal of this project is astronauts with recent spaceflight experience to gather their knowledge of and insights into sleep in Space. Structured interviews consisting of standardized closed and open-ended questionnaires are administered to astronauts who have flown on the Space Shuttle since the Columbia disaster. It is hoped that review and analysis of the pooled responses to the interview questions will lead to greater understanding of the sleep environment during short duration spaceflight, with attention placed on problem aspects and their potential solutions.

Locke, James↗

Measuring quality progress

The study by the American Productivity & Quality Center (APQC) was commissioned by Loral Space Information Systems, Inc. and the National Aeronautics and Space Administration (NASA) to evaluate internal assessment systems. APQC benchmarked approaches to the internal assessment of quality management systems in three phases. The first phase included work conducted for the International Benchmarking Clearinghouse (IBC) and consisted of an in-depth analysis of the 1991 Malcolm Baldrige National Quality Award criteria. The second phase was also performed for the IBC and compared the 1991 award criteria among the following quality awards: Deming Prize, Malcolm Baldrige National Quality Award, The President's Award for Quality and Productivity Improvement, The NASA Excellence Award (The George M. Lowe Trophy) for Quality and Productivity Improvement and the Shigeo Shingo Award for Excellence in Manufacturing. The third phase compared the internal implementation approaches of 23 companies selected from American industry for their recognized, formal assessment systems.

Lambert, Larry D.↗

Technology Benefit Estimator (T/BEST): User's Manual

The Technology Benefit Estimator (T/BEST) system is a formal method to assess advanced technologies and quantify the benefit contributions for prioritization. T/BEST may be used to provide guidelines to identify and prioritize high payoff research areas, help manage research and limited resources, show the link between advanced concepts and the bottom line, i.e., accrued benefit and value, and to communicate credibly the benefits of research. The T/BEST software computer program is specifically designed to estimating benefits, and benefit sensitivities, of introducing new technologies into existing propulsion systems. Key engine cycle, structural, fluid, mission and cost analysis modules are used to provide a framework for interfacing with advanced technologies. An open-ended, modular approach is used to allow for modification and addition of both key and advanced technology modules. T/BEST has a hierarchical framework that yields varying levels of benefit estimation accuracy that are dependent on the degree of input detail available. This hierarchical feature permits rapid estimation of technology benefits even when the technology is at the conceptual stage. As knowledge of the technology details increases the accuracy of the benefit analysis increases. Included in T/BEST's framework are correlations developed from a statistical data base that is relied upon if there is insufficient information given in a particular area, e.g., fuel capacity or aircraft landing weight. Statistical predictions are not required if these data are specified in the mission requirements. The engine cycle, structural fluid, cost, noise, and emissions analyses interact with the default or user material and component libraries to yield estimates of specific global benefits: range, speed, thrust, capacity, component life, noise, emissions, specific fuel consumption, component and engine weights, pre-certification test, mission performance engine cost, direct operating cost, life cycle cost, manufacturing cost, development cost, risk, and development time. Currently, T/BEST operates on stand-alone or networked workstations, and uses a UNIX shell or script to control the operation of interfaced FORTRAN based analyses. T/BEST's interface structure works equally well with non-FORTRAN or mixed software analysis. This interface structure is designed to maintain the integrity of the expert's analyses by interfacing with expert's existing input and output files. Parameter input and output data (e.g., number of blades, hub diameters, etc.) are passed via T/BEST's neutral file, while copious data (e.g., finite element models, profiles, etc.) are passed via file pointers that point to the expert's analyses output files. In order to make the communications between the T/BEST's neutral file and attached analyses codes simple, only two software commands, PUT and GET, are required. This simplicity permits easy access to all input and output variables contained within the neutral file. Both public domain and proprietary analyses codes may be attached with a minimal amount of effort, while maintaining full data and analysis integrity, and security. T/BESt's sotware framework, status, beginner-to-expert operation, interface architecture, analysis module addition, and key analysis modules are discussed. Representative examples of T/BEST benefit analyses are shown.

Generazio, Edward R.↗

Sense and Avoid Characterization of the Independent Configurable Architecture for Reliable Operations of Unmanned Systems

Abstract—Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a distributed software architecture developed by NASA Langley Research Center to enable safe autonomous UAS operations. ICAROUS consists of a collection formally verified core algorithms for path planning, traffic avoidance, geofence handling, and decision making that interface with an autopilot system through a publisher-subscriber middleware. The ICAROUS Sense and Avoid Characterization (ISAAC) test was designed to evaluate the performance of the onboard Sense and Avoid (SAA) capability to detect potential conflicts with other aircraft and autonomously maneuver to avoid collisions, while remaining within the airspace boundaries of the mission. The ISAAC tests evaluated the impact of separation distances and alerting times on SAA performance. A preliminary analysis of the effects of each parameter on key measures of performance is conducted, informing the choice of appropriate parameter values for different small Unmanned Aircraft Systems (sUAS) applications. Furthermore, low-power Automatic Dependent Surveillance – Broadcast (ADS-B) is evaluated for potential use to enable autonomous sUAS to sUAS deconflictions as well as to provide usable warnings for manned aircraft without saturating the frequency spectrum.

Consiglio, Maria↗

The masses of Uranus and its major satellites from Voyager tracking data and earth-based Uranian satellite data

Improved values for the masses of the Uranian system and the satellites Ariel, Umbriel, Titania, Oberon, and Miranda are obtained on the basis of an analysis of the Doppler-tracking data and star-satellite imaging from the Voyager 2 spacecraft combined with earth-based astrometric satellite observations. Masses are expressed as the product, the universal gravitational constant times the mass of the body, in units of (cu km/sq s). The satellite masses are (4.4 +/- 0.5) for Miranda, (90.3 +/- 8.0) for Ariel, (78.2 +/- 9.0) for Umbriel, (235.3 +/- 6.0) for Titania, and (201.1 +/- 5.0) for Oberon. Quoted errors are standard errors and are the present assessment of the true rather than the formal errors. The Uranus rotational pole orientation angles and gravity harmonic coefficients were fixed at the values determined by French et al. (1988) from stellar occultations of the Uranian rings observed from both the earth and Voyager 2 and from the occultation of the spacecraft radio signal.

Jacobson, R. A.↗

NASA Systems Engineering Handbook

This handbook brings the fundamental concepts and techniques of systems engineering to NASA personnel in a way that recognizes the nature of NASA systems and environment. It is intended to accompany formal NASA training courses on systems engineering and project management when appropriate, and is designed to be a top-level overview. The concepts were drawn from NASA field center handbooks, NMI's/NHB's, the work of the NASA-wide Systems Engineering Working Group and the Systems Engineering Process Improvement Task team, several non-NASA textbooks and guides, and material from independent systems engineering courses taught to NASA personnel. Five core chapters cover systems engineering fundamentals, the NASA Project Cycle, management issues in systems engineering, systems analysis and modeling, and specialty engineering integration. It is not intended as a directive. Superseded by: NASA/SP-2007-6105 Rev 1 (20080008301).

Shishko, Robert↗