Search NASA⌕ Search

SEARCH · Search NASA

Results for “verification tracking”

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 37 records · Page 2

Energy consumption analysis of the Venus Deep Space Station (DSS-13)

This report continues the energy consumption analysis and verification study of the tracking stations of the Goldstone Deep Space Communications Complex, and presents an audit of the Venus Deep Space Station (DSS 13). Due to the non-continuous radioastronomy research and development operations at the station, estimations of energy usage were employed in the energy consumption simulation of both the 9-meter and 26-meter antenna buildings. A 17.9% decrease in station energy consumption was experienced over the 1979-1981 years under study. A comparison of the ECP computer simulations and the station's main watt-hour meter readings showed good agreement.

Hayes, N. V.↗

NASA-GSFC ionospheric corrections to satellite tracking data

An overview is presented of the development, verification, and recent implementation of the NASA-GSFC ionospheric model for satellite tracking data corrections. This model was incorporated into the Goddard Trajectory Determination System which is providing continuous trajectory computation support for the lunar orbiting Radio Astronomy Explorer-B launched on 10 June 1973.

Schmid, P. E.↗

Lean Model-Based Systems Engineering on the NASA High-Density Vertiplex Subproject

The High Density Vertiplex (HDV) subproject of NASA’s Advanced Air Mobility (AAM) project adopted Model-Based Systems Engineering (MBSE)in July of 2020, prior to subproject formulation. A small and lean team of HDV Systems Engineers(SE) are utilizing MagicDraw to execute NASA SE processes via MBSE. The SEs learned how to use MagicDraw from scratch and HDV is the first project for which the SEs have utilized MagicDraw. This paper will demonstrate project technical execution via MBSE, utilizing the digital elements built into the SysML (Systems Modeling Language). SysML provides a model-centric means of carrying out the NASA SE common technical processes by providing tools for complete system modeling, including requirements and interface management and design capture. The authors also leverage and extend SysML to perform other SE tasks, such as Verification and Validation (V&V)tracking. MBSE has two main purposes for HDV: 1) documenting the subproject’s logical architecture for distribution outside of the subproject, 2) capturing the subproject’s physical architecture in a single-source-of-truth for use by the subproject’s members. This paper details the challenges, lessons learned, and solutions that were encountered in implementing MBSE in the first iteration on a multi-iteration, full-lifecycle design, build, fly project.

Demetrios Katsaduros↗

Lean Model-Based Systems Engineering on the NASA High-Density Vertiplex Subproject

The High Density Vertiplex (HDV) subproject of NASA’s Advanced Air Mobility (AAM) project adopted Model-Based Systems Engineering (MBSE) in July of 2020, prior to subproject formulation. A small and lean team of HDV Systems Engineers (SE) are utilizing MagicDraw to execute NASA SE processes via MBSE. The SEs learned how to use MagicDraw from scratch and HDV is the first project for which the SEs have utilized MagicDraw. This presentation will demonstrate project technical execution via MBSE, utilizing the digital elements built into the SysML (Systems Modeling Language). SysML provides a model-centric means of carrying out the NASA SE common technical processes by providing tools for complete system modeling, including requirements and interface management and design capture. The authors also leverage and extend SysML to perform other SE tasks, such as Verification and Validation (V&V) tracking. MBSE has two main purposes for HDV: 1) documenting the subproject’s logical architecture for distribution outside of the subproject, 2) capturing the subproject’s physical architecture in a single-source-of-truth for use by the subproject’s members. This presentation details the challenges, lessons learned, and solutions that were encountered in implementing MBSE in the first iteration on a multi-iteration, full-lifecycle design, build, fly project.

systems engineering↗

The application of periodic orbits to TOPEX mission design

This report develops analytic techniques for the application of periodic earth orbits to the design of the Ocean Topography Experiment (TOPEX) mission. The TOPEX orbit design space is described in terms of altitude and inclination. Periodic orbits that lie within that space are determined. Specific inclinations are determined that place a ground track grid node over a point on the earth at which a radar altimeter verification site is located. The number of orbit revolutions between the two ground tracks that cross at this grid node are also calculated. Then, periodic orbits that place a ground track directly over two different verification sites are calculated and displayed in the TOPEX orbit design space. The results are used to decide on a specific orbit altitude and inclination set that satisfies TOPEX requirements.

Farless, D. L.↗

Center of mass estimation in closed vortices - A verification in principle and practice

The problem of tracking closed mesoscale vortices using center of mass estimation techniques is studied. Three estimators are evaluated using data from a warm core Gulf Stream ring. The comparisons show that a method based on the intersection of perpendicular bisectors and one using a least-squares fit of a conic section perform comparably. The perpendicular bisector algorithm is used in conjunction with a Gaussian ring model and a star-shaped survey pattern to produce an expected error curve as a function of vortex translation, survey speed and vortex size. For typical ring parameters, center estimation is usually possible to within + or - 5 km. The feasibility of using differing data sets to construct a history of ring motion based on a coordinate system moving with the ring is also investigated. In this way, the validity of using satellite-derived data and drifter trajectories to estimate the center of mass of a mesoscale feature is assessed. The results of the analysis demonstrate that the location of the deeper structure of the ring and the surface expression are sufficiently well correlated to permit dynamically relevant calculations based on surface measurements. It is shown that satellite-derived data can be used to approximate the center of mass trajectory to within the error in the individual center estimates for the period analyzed. The Lagrangian-drifter-derived centers are offset from the center of mass trajectory in a manner consistent with kinematic arguments.

Hooker, S. B.↗

IEEE/NASA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation

This volume contains the Preliminary Proceedings of the 2005 IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, with a special track on the theme of Formal Methods in Human and Robotic Space Exploration. The workshop was held on 23-24 September 2005 at the Loyola College Graduate Center, Columbia, MD, USA. The idea behind the Workshop arose from the experience and feedback of ISoLA 2004, the 1st International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) last October-November. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

Margaria, Tiziana↗

TDRSS performance evaluation for Shuttle services using analytical simulation

A recently developed analytical simulation package makes it possible to obtain an analytical verification of data transmission performance through Tracking and Data Relay Satellite System (TDRSS) satellites. The development of this simulation package has required performing an analytical evaluation of several key communication features of the TDRSS services in order to ensure the consistency of TDRSS and Shuttle user spacecraft transponder performance specifications. Analytical models of the Shuttle transponder, TDRS, TDRSS ground terminal, and link dynamics have been developed for the forward and return links. The models used for the signals and the transmission path are discussed, giving attention to the general set-up of the program and the analytical approach used. Some of the results obtained by using the program are also considered.

Lindsey, W. C.↗

COBE navigation with one-way return-link Doppler in the post-helium-venting phase

The results of a navigation experiment with one way return link Doppler tracking measurements for operational orbit determination of the Cosmic Background Explorer (COBE) spacecraft are presented. The frequency of the tracking signal for the one way measurements was stabilized with an Ultrastable Oscillator (USO), and the signal was relayed by the Tracking and Data Relay Satellite System (TDRSS). The study achieved three objectives: space qualification of TDRSS noncoherent one way return link Doppler tracking; determination of flight performance of the USO coupled to the second generation TDRSS compatible user transponder; and verification of algorithms for navigation using actual one way tracking data. Orbit determination and the inflight USO performance evaluation results are presented.

Dunham, Joan↗

Hayabusa: Navigation Challenges for Earth Return

Hayabusa was a JAXA sample-return mission to Itokawa navigated, in part, by JPL personnel. Hayabusa survived several near mission-ending failures at Itokawa yet returned to Earth with an asteroid regolith sample on June 13, 2010. This paper describes NASA/JPL's participation in the Hayabusa mission during the last 100 days of its mission, wherein JPL provided tracking data and orbit determination, plus verification of maneuver design and entry, descent and landing.

Itokawa↗

Tropical Rainfall Measuring Mission (TRMM)

Contents include the following: 1. Hurricane Isabel. TRMM composite images of Hurricane Isabel. TRMM application to monitoring potential floods. 2.TRMM Orbit and Instruments. TRMM Ground Track for 35" Orbit With Ground Truth Verification Sites. 3. TRMM Science Data Products at the GES DAAC. 4. TRMM Data Access and Services at GES DAAC. TRMM Online Visualization and Analysis System. Selected Recent TRMM Data Applications From Around the World.

Rui, Hualan↗

Tagging Components in the Test Complex Area

Why tag components differently? - Various methods are in place to tag different components, but not every component is tracked; - Variance in method can make it difficult to obtain component information and identify discrepancies; -Time and resources are spent on component localization and verification. Previous work of RA10 interns: - Researching more efficient asset tracking methods; - Investigating cost effective ways to localize components; - Past interns identified using QR (Quick Response) codes as a potential solution. Link QR codes to Windchill (PLM - Product Lifecycle Management system) DDMS (Design and Data Management System) after QR code is printed/etched and physically tagging it as quickly as possible

Gomez, Sarah↗

NASA Tech Briefs, June 2014

Topics include: Real-Time Minimization of Tracking Error for Aircraft Systems; Detecting an Extreme Minority Class in Hyperspectral Data Using Machine Learning; KSC Spaceport Weather Data Archive; Visualizing Acquisition, Processing, and Network Statistics Through Database Queries; Simulating Data Flow via Multiple Secure Connections; Systems and Services for Near-Real-Time Web Access to NPP Data; CCSDS Telemetry Decoder VHDL Core; Thermal Response of a High-Power Switch to Short Pulses; Solar Panel and System Design to Reduce Heating and Optimize Corridors for Lower-Risk Planetary Aerobraking; Low-Cost, Very Large Diamond-Turned Metal Mirror; Very-High-Load-Capacity Air Bearing Spindle for Large Diamond Turning Machines; Elevated-Temperature, Highly Emissive Coating for Energy Dissipation of Large Surfaces; Catalyst for Treatment and Control of Post-Combustion Emissions; Thermally Activated Crack Healing Mechanism for Metallic Materials; Subsurface Imaging of Nanocomposites; Self-Healing Glass Sealants for Solid Oxide Fuel Cells and Electrolyzer Cells; Micromachined Thermopile Arrays with Novel Thermo - electric Materials; Low-Cost, High-Performance MMOD Shielding; Head-Mounted Display Latency Measurement Rig; Workspace-Safe Operation of a Force- or Impedance-Controlled Robot; Cryogenic Mixing Pump with No Moving Parts; Seal Design Feature for Redundancy Verification; Dexterous Humanoid Robot; Tethered Vehicle Control and Tracking System; Lunar Organic Waste Reformer; Digital Laser Frequency Stabilization via Cavity Locking Employing Low-Frequency Direct Modulation; Deep UV Discharge Lamps in Capillary Quartz Tubes with Light Output Coupled to an Optical Fiber; Speech Acquisition and Automatic Speech Recognition for Integrated Spacesuit Audio Systems, Version II; Advanced Sensor Technology for Algal Biotechnology; High-Speed Spectral Mapper; "Ascent - Commemorating Shuttle" - A NASA Film and Multimedia Project DVD; High-Pressure, Reduced-Kinetics Mechanism for N-Hexadecane Oxidation; Method of Error Floor Mitigation in Low-Density Parity-Check Codes; X-Ray Flaw Size Parameter for POD Studies; Large Eddy Simulation Composition Equations for Two-Phase Fully Multicomponent Turbulent Flows; Scheduling Targeted and Mapping Observations with State, Resource, and Timing Constraints;

Source record↗

Software risk management through independent verification and validation

Software project managers need tools to estimate and track project goals in a continuous fashion before, during, and after development of a system. In addition, they need an ability to compare the current project status with past project profiles to validate management intuition, identify problems, and then direct appropriate resources to the sources of problems. This paper describes a measurement-based approach to calculating the risk inherent in meeting project goals that leverages past project metrics and existing estimation and tracking models. We introduce the IV&V Goal/Questions/Metrics model, explain its use in the software development life cycle, and describe our attempts to validate the model through the reverse engineering of existing projects.

Callahan, John R.↗

Establishing an evoked-potential vision-tracking system

This paper presents experimental evidence to support the feasibility of an evoked-potential vision-tracking system. The topics discussed are stimulator construction, verification of the photic driving response in the electroencephalogram, a method for performing frequency separation, and a transient-analysis example. The final issue considered is that of object multiplicity (concurrent visual stimuli with different flashing rates). The paper concludes by discussing several applications currently under investigation.

Skidmore, Trent A.↗

Programming - What is Next?

The paper provides an introduction to the track: “Program- ming - What is Next?”, organized by the authors as part of ISoLA 2021: the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. A total of 14 papers were pre- sented in the track, with responses to the question: what are the trends in current more recent programming languages, and what can be expected of future languages?. The track covers such topics as general-purpose programming languages, domain-specific languages, formal methods and modeling languages, textual versus graphical languages, and application programming versus embedded programming.

Steffen, Bernhard↗

Picture of the global field of quasi-monochromatic gravity waves observed by stratospheric balloons and MST radars

In MAP observations, it was found that: (1) gravity waves in selected or filtered portions of data are fit for monochromatic structures, whereas (2) those in fully continuous and resolved observations take universal continuous spectra. It is possible to explain (2) by dispersion of quasi-monochromatic (or slowly varying) wave packets observed locally as (1), since the medium atmosphere is unsteady and nonuniform. Complete verification of the wave-mean flow interactions by tracking individual wave packets seems hopeless, because the wave induced flow cannot be distinguished from the basic flow independent of the waves. Instead, the primitive picture is looked at before MAP, that is, the atmosphere is just like an entertainment stage illuminated by cocktail lights of quasi-monochromatic gravity waves. The wave parameters are regarded as functions of time and spatial coordinates. The observational evidences (1) and (2) suggest that the wave parameter field is rather homogeneous, which can be explained by interference of quasi-monochromatic wave packets.

Yamanaka, M. D.↗