Search NASA⌕ Search

SEARCH · Search NASA

Results for “model checking”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS1994

LDEF satellite radiation study

Some early results are summarized from a program under way to utilize LDEF satellite data for evaluating and improving current models of the space radiation environment in low earth orbit. Reported here are predictions and comparisons with some of the LDEF dose and induced radioactivity data, which are used to check the accuracy of current models describing the magnitude and directionality of the trapped proton environment. Preliminary findings are that the environment models underestimate both dose and activation from trapped protons by a factor of about two, and the observed anisotropy is higher than predicted.

Armstrong, T. W.↗
NASA NTRS1994

Comparison of model predictions with LDEF satellite radiation measurements

Some early results are summarized from a program under way to utilize Long Duration Exposure Facility (LDEF) satellite data for evaluating and improving current models of the space radiation environment in low Earth orbit. Reported here are predictions and comparisons with some of the LDEF dose and induced radioactivity data, which are used to check the accuracy of current models describing the magnitude and directionality of the trapped proton environment. Preliminary findings are that the environment models underestimate both dose and activation from trapped protons by a factor of about two, and the observed anisotropy is higher than predicted.

Armstrong, T. W.↗
NASA NTRS2009

Towards Behavioral Reflexion Models

Software architecture has become essential in the struggle to manage today s increasingly large and complex systems. Software architecture views are created to capture important system characteristics on an abstract and, thus, comprehensible level. As the system is implemented and later maintained, it often deviates from the original design specification. Such deviations can have implication for the quality of the system, such as reliability, security, and maintainability. Software architecture compliance checking approaches, such as the reflexion model technique, have been proposed to address this issue by comparing the implementation to a model of the systems architecture design. However, architecture compliance checking approaches focus solely on structural characteristics and ignore behavioral conformance. This is especially an issue in Systems-of- Systems. Systems-of-Systems (SoS) are decompositions of large systems, into smaller systems for the sake of flexibility. Deviations of the implementation to its behavioral design often reduce the reliability of the entire SoS. An approach is needed that supports the reasoning about behavioral conformance on architecture level. In order to address this issue, we have developed an approach for comparing the implementation of a SoS to an architecture model of its behavioral design. The approach follows the idea of reflexion models and adopts it to support the compliance checking of behaviors. In this paper, we focus on sequencing properties as they play an important role in many SoS. Sequencing deviations potentially have a severe impact on the SoS correctness and qualities. The desired behavioral specification is defined in UML sequence diagram notation and behaviors are extracted from the SoS implementation. The behaviors are then mapped to the model of the desired behavior and the two are compared. Finally, a reflexion model is constructed that shows the deviations between behavioral design and implementation. This paper discusses the approach and shows how it can be applied to investigate reliability issues in SoS.

Ackermann, Christopher↗
NASA NTRS1975

A linear feedback guidance law for an Aeromaneuvering Orbit-to-Orbit Shuttle

The sensitivity of the trajectory of an Aeromaneuvering Orbit-to-Orbit Shuttle (AMOOS) to unpredictable variations in atmospheric density is shown and a compensating guidance law is developed. The sensitivity was determined using a varying atmosphere model whose statistical properties matched those of actual atmosphere data. This study showed that a compensating guidance law is crucial to the feasibility of AMOOS. Using an optimal regulator approach, a linear feedback law for bank angle was developed and checked out with the atmosphere model. This law uses the altitude profile of the trajectory to control the amount of energy dissipated within the atmosphere.

Rehder, J. J.↗
NASA NTRS1986

The necessity for a new parameterization of an empirical model for wind/ocean scatterometry

Difficulties related to the paucity of weather observation data regarding oceans were potentially alleviated for three summer months in 1978 when NASA's Seasat telemetered data from three wind-measuring instruments. The present study is concerned with one of these instruments, the Seasat A Scatterometer System (SASS). Attention is given to an internal consistency check of the SASS 1 model, comparisons of SASS 1 and other model-predicted winds with in situ winds, and a brief summary of the principal findings. It is found that a new wind retrieval system is required if SASS wind data are to be globally applicable and, at the same time, are to meet the required performance specifications. The sum-of-squares (SOS) technique for inverting SASS NRCS (normalized radar cross section) measurements results in the discarding of valuable data in low-speed areas and for higher incidence angles.

Woiceshyn, P. M.↗
NASA NTRS2008

The Solid Rocket Motor Slag Population: Results of a Radar-based Regressive Statistical Evaluation

Solid rocket motor (SRM) slag has been identified as a significant source of man-made orbital debris. The propensity of SRMs to generate particles of 100 m and larger has caused concern regarding their contribution to the debris environment. Radar observation, rather than in-situ gathered evidence, is currently the only measurable source for the NASA/ODPO model of the on-orbit slag population. This simulated model includes the time evolution of the resultant orbital populations using a historical database of SRM launches, propellant masses, and estimated locations and times of tail-off. However, due to the small amount of observational evidence, there can be no direct comparison to check the validity of this model. Rather than using the assumed population developed from purely historical and physical assumptions, a regressional approach was used which utilized the populations observed by the Haystack radar from 1996 to present. The estimated trajectories from the historical model of slag sources, and the corresponding plausible detections by the Haystack radar, were identified. Comparisons with observational data from the ensuing years were made, and the SRM model was altered with respect to size and mass production of slag particles to reflect the historical data obtained. The result is a model SRM population that fits within the bounds of the observed environment.

Horstman, Matthew F.↗
NASA NTRS1992

Reanalysis of x ray emission from M87 II: Multiphase models

In a previous paper by the authors (hereafter TB), it was shown that the hot intracluster gas around M87 could not be adequately explained in terms of a spherically symmetric, single phase model. It was found that although data from the Einstein satellite High Resolution Imager (HRI), Imaging Proportional Counter (IPC), and Focal Point Crystal Spectrometer (FPCS) could indeed be simultaneously explained by a single phase model, data from the Solid State Spectrometer (SSS) and optically determined mass estimates could not be similarly explained. A qualitative discussion was then given to indicate how the adoption of a specific multiphase model could plausibly improve upon the single phase model, but a detailed discussion was delayed until now. The x ray data is reanalyzed for the gas around M87 in the same spirit as the work in TB. That is, by assuming several cooling flow models, the shortcomings are improved upon. The procedure of TB was adopted and the data reanalyzed in the following manner: a multiphase model is assumed which can compute the surface brightness as seen by HRI and IPC. Also, the line fluxes can be computed of the lines seen by the FPCS and the mass profile after assuming hydrostatic equilibrium. The parameters of the model are then adjusted to fit the data. A check is then made to see whether the resulting model is consistent with the SSS spectrum and the equivalent width of the 7 keV complex of Fe lines as seen by large field of view instruments.

Tsai, John C.↗
NASA NTRS2010

IT Research Services: Powerful Tools to Track a Fast Moving Industry

Research services change and evolve over time, sometimes suddenly, in their focus, topics, formats, service model, etc. You have to check in often. Some offer products that you can customize to your environment, others not so much. You will find a variation in customer management practices (e.g., when and how they share information) ...can sometimes be annoying. Assess your needs carefully. Each research service has a very different service model. Explore ways to share or lower the cost. Someone out there may share the expense when that is an option. Make sure you read the small print. It can work for you as well as against you. When in doubt, ask your Vendor's POC. Set up Research Service "gurus or SME's." Not to violate the copyright agreement of course, just have someone who knows what's there. After you subscribe, reassess.Get the most out of your investment. Some early enthusiasts will fade, and there will be others who don't know it's there and can use it.

Hunter, Paul↗
NASA NTRS1990

Dynamic Analysis and Control of Lightweight Manipulators with Flexible Parallel Link Mechanisms

The objective is the theoretical analysis and the experimental verification of dynamics and control of a two link flexible manipulator with a flexible parallel link mechanism. Nonlinear equations of motion of the lightweight manipulator are derived by the Lagrangian method in symbolic form to better understand the structure of the dynamic model. The resulting equation of motion have a structure which is useful to reduce the number of terms calculated, to check correctness, or to extend the model to higher order. A manipulator with a flexible parallel link mechanism is a constrained dynamic system whose equations are sensitive to numerical integration error. This constrained system is solved using singular value decomposition of the constraint Jacobian matrix. Elastic motion is expressed by the assumed mode method. Mode shape functions of each link are chosen using the load interfaced component mode synthesis. The discrepancies between the analytical model and the experiment are explained using a simplified and a detailed finite element model.

Lee, Jeh Won↗
NASA NTRS1990

Plan, formulate, and discuss a NASTRAN finite element model of the UH-60A helicopter airframe

Under a rotorcraft structural dynamics program sponsored by the NASA Langley Research Center, Sikorsky Aircraft, together with the other major helicopter airframe manufacturers, is engaged in a study to improve the use of finite element analysis to predict the dynamic behavior of helicopter airframes. This program, which was designated DAMVIBS (Design Analysis Methods for VIBrationS), includes activities in the areas of: planning, creating, and documenting finite element models of helicopter airframes; the performance of ground vibration tests; and the correlation of test and analysis. The work performed at Sikorsky Aircraft for planning, creating, and documenting a finite element model of the UH-60A BLACK HAWK helicopter airframe is summarized. A complete description of the components of the helicopter which are to be represented in the model is presented and includes: the structural arrangement, the identification of primary and secondary structure, the components of the drive and power trains, and the attachment of large weight items to the structure. Also presented are the techniques which were used to formulate the structural finite element model for static analysis, for forming the mass and vibration models for dynamic analysis, and the procedures which were used to check out and verify the integrity of the model. Initial predictions for the vibration modes for the helicopter are included.

Dinyovszky, P.↗
NASA NTRS1992

The production and escape of nitrogen atoms on Mars

The lack of agreement between our previously computed values and those measured by Viking of the N-15:N-14 isotope enhancement ratio has led us to reevaluate our model of the Martian ionosphere. In previous models, we were unable to reproduce the ion profiles measured by the RPA on Viking using electron temperatures that were higher that the ion temperatures. When we increased the electron temperatures to 2500-3000 K and with a zero flux upper boundary condition, the ion densities at high altitudes exceeded the measured values by a large factor. We found that we can better fit the observed profiles if we impose a loss process at the upper boundary of our model. If the horizontal fluxes of ions do not constitute a net loss of ions, then the escape of N due to dissociative recombination is also inhibited and better agreement with the measured isotope ratio is found. The production of escaping nitrogen atoms is closely related to the production of thermospheric odd nitrogen; therefore, the densities of NO measured by Viking provide a convenient check on our nitrogen escape model. Our standard model NO densities are less that the measured values by a factor of 2-3, as are those of previous models. We find that reasonable agreement can be obtained by assuming that the rate coefficient for loss of odd nitrogen in the reaction of N with NO is smaller at temperatures that prevail in the lower Martian thermosphere than the standard value, which applies to temperatures of 200-400 K. Other aspects of this investigation are presented.

Fox, J. L.↗
NASA NTRS2002

ISS SGANT Group Level Offloading Test Mechanism

The International Space Station (ISS) Space-to-Ground Antenna (SGANT) is used for ISS communication with earth through the Tracking and Data Relay Satellite (TDRSS). Due to the different speeds of travel between earth, ISS and TDRSS, a steerable SGANT was required on the ISS. The mechanical design of SGANT is an unbalanced mechanism with insufficient strength and driving torque to support and drive itself in a 1G environment. For ground testing, a specially designed offloading mechanism is required. Basically, the test mechanism must offload the SGANT in a two-axis operation, allowing the SGANT to move within a specific range, speed and acceleration; therefore the SGANT can move from elevation 0 to 90 deg and be tested at both the 0 and 90 deg positions. The load introduced by the test equipment should be less than 10.17 N-m (7.5 ft-lbf). The on-ground group level tracking test is quite challenging due to the unbalanced antenna mechanical design and tough specification requirements. This paper describes the detailed design, fabrication, and calibration of the test mechanism, and how the above requirements are met. The overall antenna is simplified to a mass model in order to facilitate the offloading mechanism design and analysis. An actual SGANT mass dummy was made to calibrate the system. This paper brings together the theoretical analysis and the industrial experience that were relied upon to meet the above-mentioned requirements for the ground test. The lessons learned during the calibration phase are extremely important for future double or multiple offloading system designs. The ISS SGANT QM and FM units passed their ground test and the SGANT/Boom fit check successfully, and the Flight Model (FM) was delivered to SSPF in April 1998. It is now installed on ISS and functioning well.

Zhang, Xi-Lin↗
NASA NTRS1984

A Model for the Effectiveness of Aircraft Alerting and Warning Systems

The effectiveness of an alerting system with a single alert was analyzed. The pilot's decision behavior is modeled by the theory of signal detection and therefore accounts for different strengths of cross check information and different pilot criteria. The model includes the effects of the alerting and warning system (CAWS) error rate; the pilot's past experience with the CAWS accuracy; his reliance on the CAWS rather than independent monitoring; missed alerts; and adoption of a minimum error or Neyman-Pearson objective rather than minimum cost objective. It is showwn that for rare events: (1) the expected cost is greatly increased if the pilot ignores the a posteriori information in the existence of an alert; (2) the expected cost is insensitive to CAWS Type 1 errors; and (3) the expected cost is sensitive to CAWS type 2 errors only when the cross check information is ambiguous.

Curry, R. E.↗
NASA NTRS2009

Formal Methods for Automated Diagnosis of Autosub 6000

This is a progress report on applying formal methods in the context of building an automated diagnosis and recovery system for Autosub 6000, an Autonomous Underwater Vehicle (AUV). The diagnosis task involves building abstract models of the control system of the AUV. The diagnosis engine is based on Livingstone 2, a model-based diagnoser originally built for aerospace applications. Large parts of the diagnosis model can be built without concrete knowledge about each mission, but actual mission scripts and configuration parameters that carry important information for diagnosis are changed for every mission. Thus we use formal methods for generating the mission control part of the diagnosis model automatically from the mission script and perform a number of invariant checks to validate the configuration. After the diagnosis model is augmented with the generated mission control component model, it needs to be validated using verification techniques.

Ernits, Juhan↗
NASA NTRS1995

The JPL Field Emission Spectrometer

The Jet Propulsion Laboratory (JPL) Field Emission Spectrometer (FES) was built by Designs and Prototypes based on a set of functional requirements supplied by JPL. The instrument has a spectral resolution of 6 wavenumbers (wn) and can acquire spectra from either the Mid Infrared (3-5 mu m) or the Thermal Infrared (8-12 pm) depending on whether the InSb or HgCdTe detector is installed respectively. The instrument consists of an optical head system unit and battery. The optical head which is tripod mounted includes the interferometer and detector dewar assembly. Wavelength calibration of the interferometer is achieved using a Helium-Neon laser diode. The dewar needs replenishing with liquid Nitrogen approximately every four hours. The system unit includes the controls for operation and the computer used for acquiring viewing and processing spectra. Radiometric calibration is achieved with an external temperature-controlled blackbody that mounts on the fore-optics of the instrument. The blackbody can be set at 5 C increments between 10 and 55 C. The instrument is compact and weighs about 33 kg. Both the wavelength calibration and radiometric calibration of the instrument have been evaluated. The wavelength calibration was checked by comparison of the position of water features in a spectrum of the sky with their position in the output from a high resolution atmospheric model. The results indicatethat the features in the sky spectrum are within 6-8 wn of their position ill the model spectrum. The radiometric calibration was checked by first calibrating the instrument using the external blackbody supplied with the instrument and then measuring the radiance from another external blackbody at a series of temperatures. The temperatures of these radiance spectra were then recovered by inventing Planck's law and the recovered temperatures compared lo the measured blackbody temperature. These results indicate that radiometric calibration is good to 0.5 C over the range of temperatures 10 to 55 C. The results also indicate that the instrument drifts slowly over time and should be recalibrated every 20 to 30 minutes in the field to ensure good radiometric fidelity. The instrument has now been extensively tested in the field in the United States and Australia. These in situ field measurements are being used to validate emissivity spectra recovered from the Thermal Infrared Multispectral Scanner (TIMS) and also the Australian CO2 Laser. The availability of in situ measurements is proving crucial to validation of the spectra derived from the airborne instruments since many natural surfaces cannot be easily transported back to the laboratory.

Hook, Simon J.↗
NASA NTRS1963

On the use of dynamic models for studying launch vehicle buffet and ground-wind loads

The complex nature of the random aerodynamic input forces associated with transonic buffet and ground winds leads to difficulty in analytical treatment of the response of launch vehicles to these important loading conditions. The application of aeroelastically scaled models in the wind tunnel as a mechanical analog of the matharnatically complex problem requiring solution is described. Scaling relationships involved in this approach are developed and some checks on their validity are presented. Model design and support techniques are discussed, and some typical results given. Some problems arising from the increased size of launch vehicles are discussed.

Perry W. Hanson↗
NASA NTRS1982

Turbulent transport modeling of shear flows around an aerodynamic wing. Development of turbulent near-wall model and its application to recirculating flows

Progress in implementing and refining two near-wall turbulence models in which the near-wall region is divided into either two or three zones is outlined. These models were successfully applied to the computation of recirculating flows. The research was further extended to obtaining experimental results of two different recirculating flow conditions in order to check the validity of the present models. Two different experimental apparatuses were set up: axisymmetric turbulent impinging jets on a flat plate, and turbulent flows in a circular pipe with a abrupt pipe expansion. It is shown that generally better results are obtained by using the present near-wall models, and among the models the three-zone model is superior to the two-zone model.

Amano, R. S.↗
NASA NTRS1974

Geophysical subsurface probing with radio-frequency interferometry

The radio-frequency interferometry method can be used to probe interiors of celestial bodies and terrestrial areas with low conductivity. In order to interpret the interference patterns, a theoretical study is made of the electromagnetic fields due to a dipole antenna on the surface of a horizontally stratified n-layered medium. Three approaches are used to calculate the interference patterns: direct numerical integration, asymptotic evaluation by the saddle point method, and a residue series approach. The asymptotic approach leads to the geometrical-optics interpretation. The residue approach leads to modal analysis. The validity of the formulation is checked by comparisons with analog model tank experiments and actual field data obtained from glaciers.

Kong, J. A.↗