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 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

On the stability of a time dependent boundary layer

The aim of this article is to determine the stability characteristics of a Rayleigh layer, which is known to occur when the fluid above a flat plate has a velocity imparted to it (parallel to the plate). This situation is intrinsically unsteady, however, as a first approximation we consider the instantaneous stability of the flow. The Orr-Sommerfeld equation is found to govern fixed downstream wavelength linear perturbations to the basic flow profile. By the solution of this equation, we can determine the Reynolds numbers at which the flow is neutrally stable; this quasisteady approach is only formally applicable for infinite Reynolds numbers. We shall consider the large Reynolds number limit of the original problem and use a three deck mentality to determine the form of the modes. The results of the two calculations are compared, and the linear large Reynolds number analysis is extended to consider the effect of weak nonlinearity in order to determine whether the system is subcritical or supercritical.

Otto, S. R.↗
NASA NTRS1995

T/BEST: Technology Benefit Estimator Select Features and Applications

A Technology Benefit Estimator (T/BEST) system has been developed to provide a formal method to assess advanced aerospace technologies and quantify the benefit contributions for prioritization. An open-ended, modular approach is used to allow for upgrade and insertion of advanced technology modules. T/BEST's software framework, beginner-to-expert operation, interface architecture, and key analysis modules are discussed. In this paper, selected features and applications of T/BEST are demonstrated. Sample cases pertaining to structural analysis of titanium and composite blades are presented. The performance of hot and cold composite fan blades is also discussed. The cost required to manufacture titanium and composite fan blades is estimated.

Generazio, Edward R.↗
NASA NTRS2010

How to Boost Engineering Support Via Web 2.0 - Seeds for the Ares Project...and/or Yours?

The Mission Operations Laboratory (MOL) at Marshall Space Flight Center (MSFC) is responsible for Engineering Support capability for NASA s Ares launch system development. In pursuit of this, MOL is building the Ares Engineering and Operations Network (AEON), a web-based portal intended to provide a seamless interface to support and simplify two critical activities: a) Access and analyze Ares manufacturing, test, and flight performance data, with access to Shuttle data for comparison. b) Provide archive storage for engineering instrumentation data to support engineering design, development, and test. A mix of NASA-written and COTS software provides engineering analysis tools. A by-product of using a data portal to access and display data is access to collaborative tools inherent in a Web 2.0 environment. This paper discusses how Web 2.0 techniques, particularly social media, might be applied to the traditionally conservative and formal engineering support arena. A related paper by the author [1] considers use

Scott, David W.↗
NASA NTRS2011

Comparison of Four Mixed Layer Mesoscale Parameterizations and the Equation for an Arbitrary Tracer

In this paper we discuss two issues, the inter-comparison of four mixed layer mesoscale parameterizations and the search for the eddy induced velocity for an arbitrary tracer. It must be stressed that our analysis is limited to mixed layer mesoscales since we do not treat sub-mesoscales and small turbulent mixing. As for the first item, since three of the four parameterizations are expressed in terms of a stream function and a residual flux of the RMT formalism (residual mean theory), while the fourth is expressed in terms of vertical and horizontal fluxes, we needed a formalism to connect the two formulations. The standard RMT representation developed for the deep ocean cannot be extended to the mixed layer since its stream function does not vanish at the ocean's surface. We develop a new RMT representation that satisfies the surface boundary condition. As for the general form of the eddy induced velocity for an arbitrary tracer, thus far, it has been assumed that there is only the one that originates from the curl of the stream function. This is because it was assumed that the tracer residual flux is purely diffusive. On the other hand, we show that in the case of an arbitrary tracer, the residual flux has also a skew component that gives rise to an additional bolus velocity. Therefore, instead of only one bolus velocity, there are now two, one coming from the curl of the stream function and other from the skew part of the residual flux. In the buoyancy case, only one bolus velocity contributes to the mean buoyancy equation since the residual flux is indeed only diffusive.

Canuto, V. M.↗
NASA NTRS2023

NASA Standing Review Board Handbook

This handbook provides guidance based on best practices for the planning, preparation, review, reporting, and closeout of Standing Review Board (SRB) activities. Revision C updates the Revision B version of the SRB Handbook published in 2016 to incorporate updates to NASA Procedural Requirements (NPR) 7120.5F, NASA Space Flight Program and Project Management Requirements. These updates include: - Changing the Dissenting Opinion process to the Formal Dissent process, which retains the current process augmented with an expedited escalation path. - Updates to requirements for establishing an Agency Baseline Commitment (ABC) and for performing Joint Cost and Schedule Confidence Level (JCL) analyses for tightly coupled programs. - Additional requirements for performing a JCL analysis for single-project programs and projects over $1B Life-Cycle Cost (LCC). - Use of initial capability cost estimates instead of LCC estimates in specific, identified instances for single-project programs and projects that plan continuing operations and production, including integration of capability upgrades, with an unspecified Phase E end point. These single-project programs and projects define an initial capability during Phase A and develop an initial capability cost that establishes the ABC at Key Decision Point (KDP) C. Initial capability is the first operational mission flight (or as defined in the KDP B Review Plan) and is documented in the KDP B Decision Memorandum. Initial capability cost includes operations cost for the initial capability. The Phase E cost estimate for continuing operations and production is established separately as part of the Operational Readiness Review (ORR) and KDP E for the 5 years after initial capability and subsequently updated and documented annually for the next 5-year period. Upgrades during Phase E that meet the Agency criteria for a major project for external reporting are treated as projects for the purposes of establishing their own development ABC outside the Phase E cost estimate. The Phase E cost estimate is updated to include production and operations costs associated with these upgrades. Development, production, and operations costs of other (i.e., non-major) upgrades are included in the Phase E cost estimate. (See NPR 7120.5, Sections 2.4.1.5 and 2.4.1.6 and the NASA Space Flight Program and Project Management Handbook (PM Handbook), Section 5.5.4 for additional information.) The scope of the SRB’s assessment with respect to initial capability, Phase E cost estimate, and major upgrades for these single-project programs and projects is defined in the Terms of Reference (ToR).

Kevin Michael Gilligan↗
NASA NTRS2018

Software Formal Inspections Standard

The purpose of this Standard is to define the requirements for a software inspection process aimed at detecting and eliminating defects as early as possible in the software life cycle. This process can be used for any documented product; however, this Standard focuses on its use for software products - i.e., software code, plans, manuals, etc. The process provides for the collection and analysis of inspection data to improve the inspection process as well as the quality of the software.

Wetherholt, Martha S.↗
NASA NTRS1985

Observed and computed stellar line profiles - The roles played by partial redistribution, geometrical extent and expansion

Partial redistribution (PRD) radiative transfer is reviewed with emphasis on the complex interaction of observations and theoretical predictions of spectral line shapes. Although the physics of PRD was understood and formal solutions to the radiative transfer equation including PRD were published as early as 1962, more than a decade elapsed before the clear inconsistency between observed and theoretical profiles calculated with the restrictive assumption of complete redistribution stimulated the development and use of PRD semiempirical spectral analysis for the solar Lyman alpha, Ca II, and Mg II resonance lines. Work is summarized that led to 'realistic' plane parallel static chromospheric models for the sun and other late type stars, with emphasis on the determination of the temperature minimum at the base of the chromosphere and the physical basis for resonance line limb darkening, the brightness of the line wings, and the width of the emission features. Finally the various roles played by atmospheric extension and expansion (winds) in determining resonance line profile shapes are discussed, and the existing PRD calculations for late type stars are summarized.

Linsky, J. L.↗
NASA NTRS1990

Analysis of gain scheduled control for nonlinear plants

Gain scheduling has proven to be a successful design methodology in many engineering applications. In the absence of a sound theoretical analysis, these designs come with no guarantees of the robustness, performance, or even nominal stability of the overall gain-scheduled design. An analysis is presented for two types of nonlinear gain-scheduled control systems: (1) scheduling on a reference trajectory and (2) scheduling on the plant output. Conditions which guarantee stability, robustness, and performance properties of the global gain schedule designs are given. These conditions confirm and formalize popular notions regarding gain-scheduled designs, such as that the scheduling variable should vary slowly and capture the plant's nonlinearities.

Shamma, Jeff S.↗
NASA NTRS1993

Activities of the Center for Space Construction

The Center for Space Construction (CSC) at the University of Colorado at Boulder is one of eight University Space Engineering Research Centers established by NASA in 1988. The mission of the center is to conduct research into space technology and to directly contribute to space engineering education. The center reports to the Department of Aerospace Engineering Sciences and resides in the College of Engineering and Applied Science. The college has a long and successful track record of cultivating multi-disciplinary research and education programs. The Center for Space Construction is prominent evidence of this record. At the inception of CSC, the center was primarily founded on the need for research on in-space construction of large space systems like space stations and interplanetary space vehicles. The scope of CSC's research has now evolved to include the design and construction of all spacecraft, large and small. Within this broadened scope, our research projects seek to impact the underlying technological basis for such spacecraft as remote sensing satellites, communication satellites, and other special purpose spacecraft, as well as the technological basis for large space platforms. The center's research focuses on three areas: spacecraft structures, spacecraft operations and control, and regolith and surface systems. In the area of spacecraft structures, our current emphasis is on concepts and modeling of deployable structures, analysis of inflatable structures, structural damage detection algorithms, and composite materials for lightweight structures. In the area of spacecraft operations and control, we are continuing our previous efforts in process control of in-orbit structural assembly. In addition, we have begun two new efforts in formal approach to spacecraft flight software systems design and adaptive attitude control systems. In the area of regolith and surface systems, we are continuing the work of characterizing the physical properties of lunar regolith, and we are at work on a project on path planning for planetary surface rovers.

Source record↗
NASA NTRS2008

Precision Measurement of Black Hole Binary Dynamics: Analyzing the LISA Data Stream

One of the richest potential sources of insight into fundamental physics that LISA will be capable of observing is the inspiral of supermassive black hole binaries (BHBs). However, the data analysis challenge presented by the LISA data stream is quite unlike the situation for present day gravitational wave detectors. In order to make the precision measurements necessary to achieve LISA's science goals, the BHB signal must be distinguished from a data stream that not only contains instrumental noise, but potentially thousands of other signals as well, so that the "background" we wish to separate out to focus on the BHB signal is likely to be highly nonstationary and nongaussian, as well as being of scientific interest in its own right. In addition, whereas the theoretical templates that we calculate in order to ultimately estimate the parameters can afford to be somewhat inaccurate and still be effective for present day and near future detectors, this is not the case for LISA, and extremely high fidelity of the theoretical templates for high signal-to-noise signals will be required to prevent theoretical errors from dominating the parameter estimates. NVe, will describe efforts in the community of LISA data analysts to address the challenges regarding the specific issue of BHB signals. These efforts include using a Markov Chain Monte Carlo approach with the freedom to model the BHB and the other signals present in the data stream simultaneously, rather than trying to remove other signals and risk biasing the remaining data. The Mock LISA Data Challenge is a community of LISA scientists who generate rounds of simulated LISA noise with increasingly difficult signal content, and invite the LISA data analysis community to exercise their methods, or develop new methods, in an attempt to extract the parameters for the signals embedded in the mock data. In addition to practical approaches such ,is this to assess the level of parameter accuracy, one can apply the Fisher matrix formalism to assess both the statistical errors from noise and the theoretical errors

McWilliams, Sean T.↗
NASA NTRS2010

A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen

Distributed approaches for conflict resolution rely on analyzing the behavior of each aircraft to ensure that system-wide safety properties are maintained. This paper presents the criteria method, which increases the quality and efficiency of a safety assurance analysis for distributed air traffic concepts. The criteria standard is shown to provide two key safety properties: safe separation when only one aircraft maneuvers and safe separation when both aircraft maneuver at the same time. This approach is complemented with strong guarantees of correct operation through formal verification. To show that an algorithm is correct, i.e., that it always meets its specified safety property, one must only show that the algorithm satisfies the criteria. Once this is done, then the algorithm inherits the safety properties of the criteria. An important consequence of this approach is that there is no requirement that both aircraft execute the same conflict resolution algorithm. Therefore, the criteria approach allows different avionics manufacturers or even different airlines to use different algorithms, each optimized according to their own proprietary concerns.

Munoz, Cesar↗
NASA NTRS1972

Purfication kinetics of beryllium during vacuum induction melting

The kinetics of evaporation in binary alloys were quantitatively treated. The formalism so developed works well for several systems studied. The kinetics of purification of beryllium was studied through evaporation data actually acquired during vacuum induction melting. Normal evaporation equations are shown to be generally valid and useful for understanding the kinetics of beryllium purification. The normal evaporation analysis has been extended to cover cases of limited liquid diffusion. It was shown that under steady-state evaporation, the solute concentration near the surface may be up to six orders of magnitude different from the bulk concentration. Corrections for limited liquid diffusion are definitely needed for the highly evaporative solute elements, such as Zn, Mg, and Na, for which the computed evaporation times are improved by five orders of magnitude. The commonly observed logarithmic relation between evaporation time and final concentration further supports the validity of the normal evaporation equations.

Mukherjee, J. L.↗
NASA NTRS2003

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

We report on a study to determine the maturity of different verification and validation technologies (V&V) on a representative example of NASA flight software. The study consisted of a controlled experiment where three technologies (static analysis, runtime analysis and model checking) were compared to traditional testing with respect to their ability to find seeded errors in a prototype Mars Rover. What makes this study unique is that it is the first (to the best of our knowledge) to do a controlled experiment to compare formal methods based tools to testing on a realistic industrial-size example where the emphasis was on collecting as much data on the performance of the tools and the participants as possible. The paper includes a description of the Rover code that was analyzed, the tools used as well as a detailed description of the experimental setup and the results. Due to the complexity of setting up the experiment, our results can not be generalized, but we believe it can still serve as a valuable point of reference for future studies of this kind. It did confirm the belief we had that advanced tools can outperform testing when trying to locate concurrency errors. Furthermore the results of the experiment inspired a novel framework for testing the next generation of the Rover.

Brat, Guillaume↗
NASA NTRS1971

Workshop on dimensional analysis for design, development, and research executives

The proceedings of a conference of research and development executives are presented. The purpose of the meeting was to develop an understanding of the conditions which are appropriate for the use of certain general management tools and those conditions which render these tools inappropriate. The verbatim statements of the participants are included to show the direction taken initially by the conference. Formal presentations of management techniques for research and development are developed.

Goodman, R. A.↗
NASA NTRS1992

Renormalization group analysis of the Reynolds stress transport equation

The pressure velocity correlation and return to isotropy term in the Reynolds stress transport equation are analyzed using the Yakhot-Orszag renormalization group. The perturbation series for the relevant correlations, evaluated to lowest order in the epsilon-expansion of the Yakhot-Orszag theory, are infinite series in tensor product powers of the mean velocity gradient and its transpose. Formal lowest order Pade approximations to the sums of these series produce a fast pressure strain model of the form proposed by Launder, Reece, and Rodi, and a return to isotropy model of the form proposed by Rotta. In both cases, the model constant are computed theoretically. The predicted Reynolds stress ratios in simple shear flows are evaluated and compared with experimental data. The possibility is discussed of driving higher order nonlinear models by approximating the sums more accurately.

Rubinstein, R.↗
NASA NTRS2018

Investigations of Hail Damage Swaths Using Various Satellite Remote Sensing Platforms

Severe thunderstorms that bring damaging winds and large hail can cause significant damage to agricultural crops. Severe thunderstorms can cause upwards of several hundreds of millions of dollars in damage to agricultural areas. Formal ground surveys are not conducted on these areas of damage, like they are for suspected tornado damaged areas. IF ground surveys were conducted, they would likely be time and resources consuming due to their large spatial extent. Satellite remote sensing has been frequently used in identification and analysis of these hail damage swaths. Previous analysis have looked at the simple change in damaged vegetation to looking at the damage areas in satellite imagery with varying spatial resolutions. One study has even looked at the impacts that these damage swaths can have on the land surface, associated fluxes and how they affect numerical weather prediction. Previous studies have focused on using optical remote (VIS, NIR, SWIR) sensing instruments and derived indices, such as Normalized Difference Vegetation Index (NDVI) for analysis. NDVI is used to monitor the health (greenness) of the vegetation. Optical sensors however are limited by sky conditions over the areas they are imaging and certain bands are further limited by the diurnal cycle. These limitations can lead to sometimes upwards of 7 to 10 day gaps of the surface not being imaged, especially during the height of summer convection. One way to obtain more views of the surface, regardless of the sky conditions or time of day is through the use of synthetic aperture radar (SAR). SAR sensors are active instruments that transmit in the microwave portion of the EM spectrum. The surface and its characteristics will determine the amount of energy scattered back to the sensor. The SAR sensors then measure amplitude and phase of wavelength coming back from surface.

Bell, Jordan R.↗
NASA NTRS2004

Range Commanders Council Meteorology Group 88th Meeting: NASA Marshall Space Flight Center Task Report, 2004

Supported Return-to-Flight activities by providing surface climate data from Kennedy Space Center used primarily for ice and dew formation studies, and upper air wind analysis primarily used for ascent loads analyses. The MSFC Environments Group's Terrestrial and Planetary Environments Team documented Space Shuttle day-of-launch support activities by publishing a document in support of SSP Return-to-Flight activities entitled "Space Shuttle Program Flight Operations Support". The team also formalized the Shuttle Natural Environments Technical Panel and chaired the first special session of the SSP Natural Environments Panel meeting at KSC, November 4-7,2003.58 participants from NASA, DOD and other government agencies from across the country attended the meeting.

Roberts, Barry C.↗
NASA NTRS2011

Making Human Spaceflight Practical and Affordable: Spacecraft Designs and their Degree of Operability

As we push toward new and diverse space transportation capabilities, reduction in operations cost becomes increasingly important. Achieving affordable and safe human spaceflight capabilities will be the mark of success for new programs and new providers. The ability to perceive the operational implications of design decisions is crucial in developing safe yet cost competitive space transportation systems. Any human spaceflight program - government or commercial - must make countless decisions either to implement spacecraft system capabilities or adopt operational constraints or workarounds to account for the lack of such spacecraft capabilities. These decisions can benefit from the collective experience that NASA has accumulated in building and operating crewed spacecraft over the last five decades. This paper reviews NASA s history in developing and operating human rated spacecraft, reviewing the key aspects of spacecraft design and their resultant impacts on operations phase complexity and cost. Specific examples from current and past programs - including the Space Shuttle and International Space Station - are provided to illustrate design traits that either increase or increase cost and complexity associated with spacecraft operations. These examples address factors such as overall design performance margins, levels of redundancy, degree of automated failure response, type and quantity of command and telemetry interfaces, and the definition of reference scenarios for analysis and test. Each example - from early program requirements, design implementation and resulting real-time operations experience - to tell the end-to-end "story" Based on these experiences, specific techniques are recommended to enable earlier and more effective assessment of operations concerns during the design process. A formal method for the assessment of spacecraft operability is defined and results of such operability assessments for recent spacecraft designs are provided. Recent experience in applying these techniques to Orion spacecraft development is reviewed to highlight the direct benefits of early operational assessment and collaborative development efforts.

Crocker, Alan R.↗