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.

SourceResearch connectionFrom yearThrough year

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

At least 577 records · Page 32

All sources NASA NTRS DOE OSTI

NASA NTRS1975

Dispersion forces at arbitrary distances

The formalism of Boehm and Yaris is used to evaluate explicitly the leading term of the London dispersion force between closed-shell atoms. Instead of using the usual multipole expansion, which breaks down at intermediate internuclear distances, an analytic representation of the Born amplitude together with a general angular momentum analysis is used. As a result, expressions are obtained which reduce to the usual dispersion forces at large distances and are finite at all distances.

Jacobi, N.↗

NASA NTRS1975

Interpretation of an urban scene using multi-channel radar imagery

Four channel, SLAR imagery was studied by a group of individuals having no previous experience with either SLAR imagery or the urban area under scrutiny. This tactic was used because it was desired to define the nature of training needed when introducing people to radar imagery of urban scenes. Responses resulting from interpretations based on standard photointerpretation methods were subjected to a Chi-square analysis to determine the level of significance of the interpretations. For the urban scene studied, and for the two wavelengths (X /3.0 cm/ and L /23.0 cm/ Band) and polarizations (HH and HV) used, several types of urban land use were easily and accurately identified. It is shown that little formal training is required for obtaining quite high interpretation accuracies from multi-channel radar images of some urban scenes.

Bryan, M. L.↗

NASA NTRS1991

Guaranteed properties of gain scheduled control for linear parameter-varying plants

Gain scheduling has proven to be a successful design methodology in many engineering applications. However, in the absence of a sound theoretical analysis, these designs come with no guarantees on the robustness, performance, or even nominal stability of the overall gain scheduled design. This paper presents such an analysis for one type of gain scheduled system, namely, a linear parameter-varying plant scheduling on its exogenous parameters. Conditions are given which guarantee that the stability, robustness, and performance properties of the fixed operating point designs carry over to the global gain scheduled design. These conditions confirm and formalize popular notions regarding gain scheduled design, such as the scheduling variable should 'vary slowly'.

Shamma, Jeff S.↗

NASA NTRS1993

Software Formal Inspections Standard

This Software Formal Inspections Standard (hereinafter referred to as Standard) is applicable to NASA software. This Standard defines the requirements that shall be fulfilled by the software formal inspections process whenever this process is specified for NASA software. The objective of this Standard is to define the requirements for a process that inspects software products to detect and eliminate defects as early as possible in the software life cycle. The process also provides for the collection and analysis of inspection data to improve the inspection process as well as the quality of the software.

Source record↗

NASA NTRS2013

A Statistical Theory of Bidirectionality

Original concepts related to the quantification and assessment of bidirectionality in strain-gage balances were introduced by Ulbrich in 2012. These concepts are extended here in three ways: 1) the metric originally proposed by Ulbrich is normalized, 2) a categorical variable is introduced in the regression analysis to account for load polarity, and 3) the uncertainty in both normalized and non-normalized bidirectionality metrics is quantified. These extensions are applied to four representative balances to assess the bidirectionality characteristics of each. The paper is tutorial in nature, featuring reviews of certain elements of regression and formal inference. Principal findings are that bidirectionality appears to be a common characteristic of most balance outputs and that unless it is taken into account, it is likely to consume the entire error budget of a typical balance calibration experiment. Data volume and correlation among calibration loads are shown to have a significant impact on the precision with which bidirectionality metrics can be assessed.

DeLoach, Richard↗

NASA NTRS1972

The Public Health Service guidelines. Governing research involving human subjects: An analysis of the policy-making process

The policy making process which led to development of the Public Health Service Guidelines governing research involving human subjects is outlined. Part 1 examines the evolution of PHS Guidelines, tracing (1) evolution of thought and legal interpretation regarding research using human subjects; (2) initial involvement of the Federal government; (3) development of the government's research program; (4) the social-political environment in which formal government policy was developed; and (5) various policy statements issued by the government. Part 2 analyzes the process by which PHS Guidelines were developed and examines the values and other underlying factors which contributed to their development. It was concluded that the evolution of the Guidelines is best understood within the context of a mixed-scanning strategy. In such a strategy, policy makers make fundamental decisions regarding the basic direction of policy and subsequent decisions are made incrementally and within the contexts set by the original fundamental decisions.

Frankel, M. S.↗

NASA NTRS2019

Statistical Hypothesis Testing in Wavelet Analysis: Theoretical Developments and Applications to Indian Rainfall

Statistical hypothesis tests in wavelet analysis are methods that assess the degree to which a wavelet quantity(e.g., power and coherence) exceeds background noise. Commonly, a point-wise approach is adopted in which a wavelet quantity at every point in a wavelet spectrum is individually compared to the critical level of the point-wise test. However, because adjacent wavelet coefficients are correlated and wavelet spectra often contain many wavelet quantities, the point-wise test can produce many false positive results that occur in clusters or patches. To circumvent the point-wise test drawbacks, it is necessary to implement the recently developed area-wise, geometric, cumulative area-wise, and topological significance tests, which are reviewed and developed in this paper. To improve the computational efficiency of the cumulative area-wise test, a simplified version of the testing procedure is created based on the idea that its output is the mean of individual estimates of statistical significance calculated from the geometric test applied at a set of point-wise significance levels. Ideal examples are used to show that the geometric and cumulative area-wise tests are unable to differentiate wavelet spectral features arising from singularity-like structures from those associated with periodicities. A cumulative arc-wise test is therefore developed to strictly test for periodicities by using normalized arc length, which is defined as the number of points composing a cross section of a patch divided by the wavelet scale in question. A previously proposed topological significance test is formalized using persistent homology profiles (PHPs) measuring the number of patches and holes corresponding to the set of all point-wise significance values. Ideal examples show that the PHPs can be used to distinguish time series containing signal components from those that are purely noise. To demonstrate the practical uses of the existing and newly developed statistical methodologies, a first comprehensive wavelet analysis of Indian rainfall is also provided. An R software package has been written by the author to implement the various testing procedures.

Wind speed↗

NASA NTRS1988

Optimal placement of tuning masses for vibration reduction in helicopter rotor blades

Methods are presented for the reduction of helicopter rotor blade vibration through a formal mathematical optimization technique determination of optimum tuning mass sizes and locations; these are used as design variables that are systematically changed to achieve low values of shear without large mass penalty. Matrix expressions are obtained for the modal shaping parameter and modal shear amplitude that are required for FEM structural analysis of the blade as well as the optimization formulation. Sensitivity derivatives are also obtained. Three different optimization strategies are developed and tested.

Pritchard, Jocelyn I.↗

NASA NTRS1989

Probability of Failure and Risk Assessment of Propulsion Structural Components

Due to increasing need to account for the uncertainties in material properties, loading conditions, or geometries, a methodology was developed to determine structural reliability and the assess the risk associated with it. The methodology consists of a probabilistic structural analysis by a probabilistic finite element computer code Nonlinear Evaluation of Stochastic Structures Under Stress (NESSUS) and a generic probabilistic material properties model. The methodology is versatile and is equally applicable to high and cryogenic temperature structures. Results obtained demonstrate that the whole issue of structural reliability and risk can be formally evaluated using the methodology developed which is inclusive of uncertainties in material properties, structural parameters and loading conditions. The methodology is described in some detail with illustrative examples.

Shiao, Michael C.↗

NASA NTRS1994

A quantitative analysis of IRAS maps of molecular clouds

We present an analysis of IRAS maps of five molecular clouds: Orion, Ophiuchus, Perseus, Taurus, and Lupus. For the classification and description of these astrophysical maps, we use a newly developed technique which considers all maps of a given type to be elements of a pseudometric space. For each physical characteristic of interest, this formal system assigns a distance function (a pseudometric) to the space of all maps: this procedure allows us to measure quantitatively the difference between any two maps and to order the space of all maps. We thus obtain a quantitative classification scheme for molecular clouds. In this present study we use the IRAS continuum maps at 100 and 60 micrometer(s) to produce column density (or optical depth) maps for the five molecular cloud regions given above. For this sample of clouds, we compute the 'output' functions which measure the distribution of density, the distribution of topological components, the self-gravity, and the filamentary nature of the clouds. The results of this work provide a quantitative description of the structure in these molecular cloud regions. We then order the clouds according to the overall environmental 'complexity' of these star-forming regions. Finally, we compare our results with the observed populations of young stellar objects in these clouds and discuss the possible environmental effects on the star-formation process. Our results are consistent with the recently stated conjecture that more massive stars tend to form in more 'complex' environments.

Wiseman, Jennifer J.↗

NASA NTRS2005

Calculated X-ray Intensities Using Monte Carlo Algorithms: A Comparison to Experimental EPMA Data

Monte Carlo (MC) modeling has been used extensively to simulate electron scattering and x-ray emission from complex geometries. Here are presented comparisons between MC results and experimental electron-probe microanalysis (EPMA) measurements as well as phi(rhoz) correction algorithms. Experimental EPMA measurements made on NIST SRM 481 (AgAu) and 482 (CuAu) alloys, at a range of accelerating potential and instrument take-off angles, represent a formal microanalysis data set that has been widely used to develop phi(rhoz) correction algorithms. X-ray intensity data produced by MC simulations represents an independent test of both experimental and phi(rhoz) correction algorithms. The alpha-factor method has previously been used to evaluate systematic errors in the analysis of semiconductor and silicate minerals, and is used here to compare the accuracy of experimental and MC-calculated x-ray data. X-ray intensities calculated by MC are used to generate a-factors using the certificated compositions in the CuAu binary relative to pure Cu and Au standards. MC simulations are obtained using the NIST, WinCasino, and WinXray algorithms; derived x-ray intensities have a built-in atomic number correction, and are further corrected for absorption and characteristic fluorescence using the PAP phi(rhoz) correction algorithm. The Penelope code additionally simulates both characteristic and continuum x-ray fluorescence and thus requires no further correction for use in calculating alpha-factors.

Carpenter, P. K.↗

NASA NTRS2015

The Tracking Meteogram, an AWIPS II Tool for Time-Series Analysis

A new tool has been developed for the National Weather Service (NWS) Advanced Weather Interactive Processing System (AWIPS) II through collaboration between NASA's Short‐term Prediction Research and Transition (SPoRT) and the NWS Meteorological Development Laboratory (MDL). Referred to as the "Tracking Meteogram", the tool aids NWS forecasters in assessing meteorological parameters associated with moving phenomena. The tool aids forecasters in severe weather situations by providing valuable satellite and radar derived trends such as cloud top cooling rates, radial velocity couplets, reflectivity, and information from ground‐based lightning networks. The Tracking Meteogram tool also aids in synoptic and mesoscale analysis by tracking parameters such as the deepening of surface low pressure systems, changes in surface or upper air temperature, and other properties. The tool provides a valuable new functionality and demonstrates the flexibility and extensibility of the NWS AWIPS II architecture. In 2014, the operational impact of the tool was formally evaluated through participation in the NOAA/NWS Operations Proving Ground (OPG), a risk reduction activity to assess performance and operational impact of new forecasting concepts, tools, and applications. Performance of the Tracking Meteogram Tool during the OPG assessment confirmed that it will be a valuable asset to the operational forecasters. This presentation reviews development of the Tracking Meteogram tool, performance and feedback acquired during the OPG activity, and future goals for continued support and extension to other application areas.

Burks, Jason Eric↗

NASA NTRS2015

Combined Global Navigation Satellite Systems in the Space Service Volume

Besides providing position, navigation, and timing (PNT) services to traditional terrestrial and airborne users, GPS is also being increasingly used as a tool to enable precision orbit determination, precise time synchronization, real-time spacecraft navigation, and three-axis attitude control of Earth orbiting satellites. With additional Global Navigation Satellite System (GNSS) constellations being replenished and coming into service (GLONASS, Beidou, and Galileo), it will become possible to benefit from greater signal availability and robustness by using evolving multi-constellation receivers. The paper, "GPS in the Space Service Volume," presented at the ION GNSS 19th International Technical Meeting in 2006 (Ref. 1), defined the Space Service Volume, and analyzed the performance of GPS out to seventy thousand kilometers. This paper will report a similar analysis of the signal coverage of GPS in the space domain; however, the analyses will also consider signal coverage from each of the additional GNSS constellations noted earlier to specifically demonstrate the expected benefits to be derived from using GPS in conjunction with other foreign systems. The Space Service Volume is formally defined as the volume of space between three thousand kilometers altitude and geosynchronous altitude circa 36,000 km, as compared with the Terrestrial Service Volume between 3,000 km and the surface of the Earth. In the Terrestrial Service Volume, GNSS performance is the same as on or near the Earth's surface due to satellite vehicle availability and geometry similarities. The core GPS system has thereby established signal requirements for the Space Service Volume as part of technical Capability Development Documentation (CDD) that specifies system performance. Besides the technical discussion, we also present diplomatic efforts to extend the GPS Space Service Volume concept to other PNT service providers in an effort to assure that all space users will benefit from the enhanced interoperability of GNSS services in the space domain. A separate paper presented at the conference covers the individual GNSS performance parameters for respective Space Service Volumes.

navigation satellites↗

NASA NTRS2011

Automated Verification of Specifications with Typestates and Access Permissions

We propose an approach to formally verify Plural specifications based on access permissions and typestates, by model-checking automatically generated abstract state-machines. Our exhaustive approach captures all the possible behaviors of abstract concurrent programs implementing the specification. We describe the formal methodology employed by our technique and provide an example as proof of concept for the state-machine construction rules. The implementation of a fully automated algorithm to generate and verify models, currently underway, provides model checking support for the Plural tool, which currently supports only program verification via data flow analysis (DFA).

Siminiceanu, Radu I.↗

NASA NTRS2017

Immersive Simulations and Engineering Environment (iSEE)

In January 2017, the Immersive Simulations and Engineering Environment (iSEE), formally known as the Human Factor Tool (HFT), was brought back online. Since August, the lab had been operating at a nominal status, but with dated hardware. An evaluation was done on the present system so that the improvements and capabilities brought about by the upgrades can be quantified. Immediately following the analysis, evaluations with human factor engineers were performed and some upgrades were implemented. Due to a malfunction with a crucial piece of hardware, the lab was reconfigured temporarily. This allowed easy analysis and integration of various other components which improved the laboratories overall performance. Soon after, work began on creating a video to showcase the capabilities of the lab. This video not only served to show the actual functions of the lab, but also show the expanded capabilities the new hardware and software made available. Skills were acquired throughout the renovation process in various fields, all of which were crucial to not only implementing the updates to the lab, but understanding how they will improve it.

Motion Capture↗

NASA NTRS2016

Nonlinear Wakes Behind a Row of Elongated Roughness Elements

This paper is concerned with the high Reynolds number flow over a spanwise periodic array of roughness elements with inter-element spacing of the order of the local boundary-layer thickness. While earlier work by Goldstein, Sescu, Duck and Choudhari (2010) and Goldstein, Sescu, Duck and Choudhari (2011) was mainly concerned with smaller roughness heights that produced relatively weak distortions of the downstream flow, the focus here is on extending the analysis to larger roughness heights and streamwise elongated planform shapes that together produce a qualitatively different, nonlinear behavior of the downstream wakes. The roughness scale flow now has a novel triple-deck structure that is somewhat different from related studies that have previously appeared in the literature. The resulting flow is formally nonlinear in the intermediate wake region, where the streamwise distance is large compared to the roughness dimensions but small compared to the downstream distance from the leading edge, as well as in the far wake region where the streamwise length scale is of the order of the downstream distance from the leading edge. In contrast, the flow perturbations in both of these wake regions were strictly linear in the earlier work by Goldstein et al (2010, 2011). This is an important difference because the nonlinear wake flow in the present case provides an appropriate basic state for studying the secondary instability and eventual breakdown into turbulence.

Boundary layer control↗

NASA NTRS2006

Managing Analysis Models in the Design Process

Design of large, complex space systems depends on significant model-based support for exploration of the design space. Integrated models predict system performance in mission-relevant terms given design descriptions and multiple physics-based numerical models. Both the design activities and the modeling activities warrant explicit process definitions and active process management to protect the project from excessive risk. Software and systems engineering processes have been formalized and similar formal process activities are under development for design engineering and integrated modeling. JPL is establishing a modeling process to define development and application of such system-level models.

design↗

NASA NTRS2010

U.S. Spacesuit Knowledge Capture

The ability to learn from both the mistakes and successes of the past is vital to assuring success in the future. Due to the close physical interaction between spacesuit systems and human beings as users, spacesuit technology and usage lends itself rather uniquely to the benefits realized from the skillful organization of historical information; its dissemination; the collection and identification of artifacts; and the education of individuals and groups working in the field. The National Aeronautics and Space Administration (NASA), other organizations and individuals have been performing United States (U.S.) spacesuit knowledge capture since the beginning of space exploration. Avenues used to capture the knowledge have included publication of reports; conference presentations; specialized seminars; and classes usually given by veterans in the field. Recently, the effort has been more concentrated and formalized whereby a new avenue of spacesuit knowledge capture has been added to the archives through which videotaping occurs, engaging both current and retired specialists in the field presenting technical scope specifically for education and preservation of knowledge. Now with video archiving, all these avenues of learning can be brought to life with the real experts presenting their wealth of knowledge on screen for future learners to enjoy. U.S. spacesuit knowledge capture topics have included lessons learned in spacesuit technology, experience from the Gemini, Apollo, Skylab and Shuttle programs, hardware certification, design, development and other program components, spacesuit evolution and experience, failure analysis and resolution, and aspects of program management. Concurrently, U.S. spacesuit knowledge capture activities have progressed to a level where NASA, the National Air and Space Museum (NASM), Hamilton Sundstrand (HS) and the spacesuit community are now working together to provide a rather closed-looped spacesuit knowledge capture system which includes specific attention to spacesuit system artifacts as well. A NASM report has recently been created that allows the cross reference of history to the artifacts and the artifacts to the history including spacesuit manufacturing details with current condition and location. NASA has examined spacesuits in the NASM collection for evidence of wear during their operational life. NASA s formal spacesuit knowledge capture efforts now make use of both the NASM spacesuit preservation collection and report to enhance its efforts to educate NASA personnel and contribute to spacesuit history. Be it archiving of human knowledge or archiving of the actual spacesuit legacy hardware with its rich history, the joining together of spacesuit system artifact history with that of development and use during past programs will provide a wealth of knowledge which will greatly enhance the chances for the success of future and more ambitious spacesuit system programs.

Chullen, Cinda↗