Search NASA⌕ Search

SEARCH · Search NASA

Results for “C++ 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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

A three-node C deg element for analysis of laminated composite sandwich shells

A three-node flat shell element with C deg rotation fields has been developed for analysis of arbitrary composite shells. The element may consist of any number of orthotropic layers, each layer having different material properties and angular orientation. The formulation includes coupling between bending and extension, which is essential for analysis of unsymmetric laminates. Shearing deflections are included, since laminated and sandwich construction frequently results in shear stiffness much smaller than bending stiffness. Formulation of the element is straightforward, and calculation of its stiffness matrix is simple and fast. Convergence of solutions with mesh refinement is uniform for both thin and thick shells and is insensitive to element shape, although not as rapid as some other elements that lack one or more capabilities of the newly developed element. An experimental verification of the shall element is reported in the appendix.

Martin, C. Wayne↗
NASA NTRS2010

Hardware-Independent Proofs of Numerical Programs

On recent architectures, a numerical program may give different answers depending on the execution hardware and the compilation. Our goal is to formally prove properties about numerical programs that are true for multiple architectures and compilers. We propose an approach that states the rounding error of each floating-point computation whatever the environment. This approach is implemented in the Frama-C platform for static analysis of C code. Small case studies using this approach are entirely and automatically proved

Boldo, Sylvie↗
NASA NTRS1993

CDM analysis

The C Data Manager (CDM) is an advanced tool for creating an object-oriented database and for processing queries related to objects stored in that database. The CDM source code was purchased and will be modified over the course of the Arachnid project. In this report, the modified CDM is referred to as MCDM. Using MCDM, a detailed series of experiments was designed and conducted on a Sun Sparcstation. The primary results and analysis of the CDM experiment are provided in this report. The experiments involved creating the Long-form Faint Source Catalog (LFSC) database and then analyzing it with respect to following: (1) the relationships between the volume of data and the time required to create a database; (2) the storage requirements of the database files; and (3) the properties of query algorithms. The effort focused on defining, implementing, and analyzing seven experimental scenarios: (1) find all sources by right ascension--RA; (2) find all sources by declination--DEC; (3) find all sources in the right ascension interval--RA1, RA2; (4) find all sources in the declination interval--DEC1, DEC2; (5) find all sources in the rectangle defined by--RA1, RA2, DEC1, DEC2; (6) find all sources that meet certain compound conditions; and (7) analyze a variety of query algorithms. Throughout this document, the numerical results obtained from these scenarios are reported; conclusions are presented at the end of the document.

Larson, Robert E.↗
NASA NTRS1972

The development of an augmentor wing jet STOL research aircraft (modified C-8A). Volume 2: Analysis of contractor's flight test

The initial flight test phase of the modified C-8A airplane was conducted. The primary objective of the testing was to establish the basic airworthiness of the research vehicle. This included verification of the structural design and evaluation of the aircraft's systems. Only a minimum amount of performance testing was scheduled; this has been used to provide a preliminary indication of the airplane's performance and flight characteristics for future flight planning. The testing included flutter and loads investigations up to the maximum design speed. The operational characteristics of all systems were assessed including hydraulics, environmental control system, air ducts, the vectoring conical nozzles, and the stability augmentation system (SAS). Approaches to stall were made at three primary flap settings: up, 30 deg and 65 deg, but full stalls were not scheduled. Minimum control speeds and maneuver margins were checked. All takeoffs and landings were conventional, and STOL performance was not scheduled during this phase of the evaluation.

Skavdahl, H.↗
NASA NTRS1971

Gravity gradient preliminary investigations, part 2: Lunar tidal gravity gradients and stresses (exhibit C)

Preliminary analysis of the gravity gradients associated with gravity tides on the moon caused by the earth indicates that the relative changes in the gradients are very irregular, and large, and about 15 times greater than those experienced on earth. Thus gradients, in preference to gravity tides themselves, may well be an important key in correlating tide effects with lunar transient events and moonquakes, and also in determining triggering mechanisms for crustal movement and faulting. Preliminary analysis of lunar crustal stresses and strains caused by lunar gravity tides indicates that these factors may be more direct causative agents or triggering mechanisms. In particular, the cubic dilation undergoes relatively large changes and is about 11 times greater on the moon than on earth. Thus it should be correspondingly more important.

Houston, M. H.↗
NASA NTRS1988

Simulation of 2-dimensional viscous flow through cascades using a semi-elliptic analysis and hybrid C-H grids

A semi-elliptic formulation, termed the interacting parabolized Navier-Stokes (IPNS) formulation, is developed for the analysis of a class of subsonic viscous flows for which streamwise diffusion is neglible but which are significantly influenced by upstream interactions. The IPNS equations are obtained from the Navier-Stokes equations by dropping the streamwise viscous-diffusion terms but retaining upstream influence via the streamwise pressure-gradient. A two-step alternating-direction-explicit numerical scheme is developed to solve these equations. The quasi-linearization and discretization of the equations are carefully examined so that no artificial viscosity is added externally to the scheme. Also, solutions to compressible as well as nearly compressible flows are obtained without any modification either in the analysis or in the solution process. The procedure is applied to constricted channels and cascade passages formed by airfoils of various shapes. These geometries are represented using numerically generated curilinear boundary-oriented coordinates forming an H-grid. A hybrid C-H grid, more appropriate for cascade of airfoils with rounded leading edges, was also developed. Satisfactory results are obtained for flows through cascades of Joukowski airfoils.

Ramamurti, R.↗
NASA NTRS1984

Dynamics of solar filaments. III - Analysis of steady flows in H-alpha and C IV lines

A statistical analysis of intensities and radial velocities of several solar plage filaments (i.e. prominences seen on the solar disk) observed at disk center is presented. Intensity and radial (= vertical) velocity maps were derived from simultaneous 2D measurements of the H-alpha chromospheric line with the Multichannel Subtractive Double Pass spectrograph operating on the Meudon solar tower, and also obtained from 2D recordings of the C IV transition-zone line (1548 A) with the UV Spectrometer and Polarimeter aboard the Solar Maximum Mission satellite. A good correlation (around 0.5) is found between intensities in both lines, as well as between velocities. Persistent upflows are measured in both lines at the filament location. The mean vertical velocities are respectively 0.5 km/s in H-alpha and 5.6 km/s in C IV. The analysis of mass fluxes suggests that C IV upflows occur in the transition region around prominences rather than below, in the chromosphere-corona transition zone.

Schmieder, B.↗
DOE OSTI2026

Linear viscoelastic measurements of commerical therapy putties for design and intuition

This dataset complements the publication Mapping Linear Viscoelasticity for Design and Tactile Intuition (Corman & Ewoldt, 2019). It contains rigorous shear rheometry measurements for six commercial silicone putties, including creep recovery, SAOS, LAOS, and stress relaxation. Additional, unpublished data was generated as part of a graduate rheology course taught by Randy Ewoldt at University of Illinois Urbana-Champaign. Together, these datasets provide a comprehensive example of linear viscoelasticity of a commercial material. The collection is intended both as a pedagogical resource for developing physical intuition in linear viscoelasticity and as a reference dataset for data interpretation, model fitting, and comparative rheological analysis.

C. Marsh, Maxwell↗
NASA NTRS2013

Final Report - Regulatory Considerations for Adaptive Systems

This report documents the findings of a preliminary research study into new approaches to the software design assurance of adaptive systems. We suggest a methodology to overcome the software validation and verification difficulties posed by the underlying assumption of non-adaptive software in the requirementsbased- testing verification methods in RTCA/DO-178B and C. An analysis of the relevant RTCA/DO-178B and C objectives is presented showing the reasons for the difficulties that arise in showing satisfaction of the objectives and suggested additional means by which they could be satisfied. We suggest that the software design assurance problem for adaptive systems is principally one of developing correct and complete high level requirements and system level constraints that define the necessary system functional and safety properties to assure the safe use of adaptive systems. We show how analytical techniques such as model based design, mathematical modeling and formal or formal-like methods can be used to both validate the high level functional and safety requirements, establish necessary constraints and provide the verification evidence for the satisfaction of requirements and constraints that supplements conventional testing. Finally the report identifies the follow-on research topics needed to implement this methodology.

Wilkinson, Chris↗
NASA NTRS1979

Satellite Power Systems (SPS) concept definition study, exhibit C. Volume 4: Transportation analysis

This is Volume IV -Transportation Analyses, of the SPS Concept Definition Study final report as submitted by Rockwell International through the Satellite Systems Division. In addition to effort conducted in response to the NASA/MSFC Contract NAS8-32475, Exhibit C, dated March 28, 1978, company sponsored effort on a Horizontal Take-Off, Single-Stage-to-Orbit concept is included. The SPS final report will provide the NASA with additional information on the selection of a viable SPS concept and will furnish a basis for subsequent technology advancement and verification activities.

G M Hanley↗
NASA NTRS1997

Cluster Method Analysis of K. S. C. Image

Information obtained from satellite-based systems has moved to the forefront as a method in the identification of many land cover types. Identification of different land features through remote sensing is an effective tool for regional and global assessment of geometric characteristics. Classification data acquired from remote sensing images have a wide variety of applications. In particular, analysis of remote sensing images have special applications in the classification of various types of vegetation. Results obtained from classification studies of a particular area or region serve towards a greater understanding of what parameters (ecological, temporal, etc.) affect the region being analyzed. In this paper, we make a distinction between both types of classification approaches although, focus is given to the unsupervised classification method using 1987 Thematic Mapped (TM) images of Kennedy Space Center.

Rodriguez, Joe, Jr.↗
NASA NTRSDate not supplied

Capturing and Analyzing Requirements with FRET

FRET is an open source tool, developed at NASA Ames, for writing, understanding, formalizing, and analyzing requirements. In practice, requirements are typically written in natural language, which is ambiguous and consequently not amenable to formal analysis. Since formal, mathematical notations are unintuitive, requirements in FRET are entered in a restricted, natural language, called FRETish with precise unambiguous meaning. FRET helps users write FRETish requirements both by providing grammar information and examples during editing, but also through English and diagrammatic explanations to clarify subtle semantic issues. For each requirement, FRET automatically produces formalizations and supports interactive simulation of produced formalizations to ensure that they capture user intentions. Through its analysis portal, FRET connects to analysis tools by exporting verification code. Currently FRET connects to (1) the CoCoSim automated analysis tool for the verification of Simulink and Stateflow models, and (2) the Copilot runtime monitoring tool for the analysis of C programs. FRET also supports the consistency/realizability analysis of requirements for identifying conflicting requirements. In this tutorial, we introduce FRET and learn to speak and analyze FRETish through several examples.

FRET↗
NASA NTRS1994

Measurement of n-type Dry Thermally Oxidized 6H-SiC Metal-oxide Semiconductor Diodes by Quasistatic and High-Frequency Capacitance Versus Voltage and Capacitance Transient Techniques

Dry-oxidized n-type 6H-SiC metal-oxide-semiconductor capacitors are investigated using quasistatic capacitance versus voltage (C-V), high-frequency C-V, and pulsed high-frequency capacitance transient (C-t) analysis over the temperature range from 297 to 573 K. The quasistatic C - V characteristics presented are the first reported for 6H-SiC MOS capacitors, and exhibit startling nonidealities due to nonequilibrium conditions that arise from the fact that the recombination/generation process in 6H-SiC is extraordinarily slow even at the highest measurement temperature employed. The high-frequency dark C-V characteristics all showed deep depletion with no observable hysteresis. The recovery of the high-frequency capacitance from deep depletion to inversion was used to characterize the minority-carrier generation process as a function of temperature. Zerbst analysis conducted on the resulting C-t transients, which were longer than 1000 s at 573 K, showed a generation lifetime thermal activation energy of 0.49 eV.

Neudeck, P.↗
DOE OSTI2025

Self-consistent analysis for the η c → γ γ process

The next-to-next-to-leading-order (NNLO) perturbative QCD (pQCD) predictions for both the decay width and the transition form factor in the η c → γ γ process, based on nonrelativistic QCD (NRQCD), deviate from precise experimental measurements. These significant discrepancies have cast doubt on the applicability of NRQCD to charmonium processes. In this paper, we analyze the η c → γ γ process by applying the principle of maximum conformality (PMC), a systematic method for eliminating renormalization scheme-and-scale ambiguities. The PMC renormalization scales are determined by absorbing the nonconformal β -terms that govern the behavior of the QCD running coupling via the renormalization group equation. We obtain the PMC scale Q ⋆ = 4.49 m c for the η c → γ γ decay width. Even after using the PMC method, the convergence of the pQCD series is still poor, which indicates the importance of uncalculated next-to-next-to-next-to-leading-order and higher-order terms. The resulting value for Γ η c → γ γ is in agreement with the Particle Data Group’s reported value of Γ η c → γ γ = 5.1 ± 0.4 keV within the bounds of uncertainties. Moreover, the transition form factor obtained using the PMC is also in good agreement with precise experimental measurements. The application of the PMC suggests a potential resolution to η c → γ γ puzzle and supports the applicability of NRQCD to charmonium processes. Published by the American Physical Society 2025

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗