Modeling piecewise-linear systems by topological techniques.
Piecewise linear system modeling via topological techniques, using flowgraph method for network synthesis
NETWORK SYNTHESIS↗
SEARCH · Search NASA
Results for “graph model”
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.
Explanation of the computer listings of Faraday factors for INTASAT users
Using a simplified form of the Appleton-Hartree formula for the phase refractive index, a relationship was obtained between the Faraday rotation angle along the angular path and the total electron content along the vertical path, intersecting the angular at the height of maximum electron density. Using the second mean value theorem of integration, the function B cosine theta second chi was removed from under the integral sign and replaced by a 'mean' value. The mean value factors were printed on the computer listing for 39 stations receiving signals from the INTASAT satellite during the specified time period. The data is presented by station and date. Graphs are included to demonstrate the variation of the Faraday factor with local time and season, with magnetic latitude, elevation and azimuth angles. Other topics discussed include a description of the bent ionospheric model, the earth's magnetic field model, and the sample computer listing.
Nesterczuk, G.↗
General Tool for Evaluating High-Contrast Coronagraphic Telescope Performance Error Budgets
The Coronagraph Performance Error Budget (CPEB) tool automates many of the key steps required to evaluate the scattered starlight contrast in the dark hole of a space-based coronagraph. The tool uses a Code V prescription of the optical train, and uses MATLAB programs to call ray-trace code that generates linear beam-walk and aberration sensitivity matrices for motions of the optical elements and line-of-sight pointing, with and without controlled fine-steering mirrors (FSMs). The sensitivity matrices are imported by macros into Excel 2007, where the error budget is evaluated. The user specifies the particular optics of interest, and chooses the quality of each optic from a predefined set of PSDs. The spreadsheet creates a nominal set of thermal and jitter motions, and combines that with the sensitivity matrices to generate an error budget for the system. CPEB also contains a combination of form and ActiveX controls with Visual Basic for Applications code to allow for user interaction in which the user can perform trade studies such as changing engineering requirements, and identifying and isolating stringent requirements. It contains summary tables and graphics that can be instantly used for reporting results in view graphs. The entire process to obtain a coronagraphic telescope performance error budget has been automated into three stages: conversion of optical prescription from Zemax or Code V to MACOS (in-house optical modeling and analysis tool), a linear models process, and an error budget tool process. The first process was improved by developing a MATLAB package based on the Class Constructor Method with a number of user-defined functions that allow the user to modify the MACOS optical prescription. The second process was modified by creating a MATLAB package that contains user-defined functions that automate the process. The user interfaces with the process by utilizing an initialization file where the user defines the parameters of the linear model computations. Other than this, the process is fully automated. The third process was developed based on the Terrestrial Planet Finder coronagraph Error Budget Tool, but was fully automated by using VBA code, form, and ActiveX controls.
Marchen, Luis F.↗
Software Development for SonicSonde Instrumentation Suite
The SonicSonde is an innovative weather instrumentation suite for boundary layer sampling. Software development included creating a graphical user interface (GUI) to receive, process, archive, and display data in real-time. Targeted at the Windows operating system but with multi-platform extensibility in mind, the GUI was developed using Qt 5.14 in C++. A key design consideration was to allow for tailored displays and analysis while also permitting additional sensors to be added to the platform. As such, the application relies heavily on flexible interfaces and multithreading processing for capturing, modelling, and plotting data. The object-oriented nature of Qt made it ideal for this purpose. The application supports input through live serial streams and static .csv or .dat files, custom meteorological graphs, and user-dictated panel views and output intervals. Additionally, the GUI displays real-time information about the state of the instrument. The versatility of the SonicSonde will allow meteorologists and researchers to perform or better support a variety of aeronautic and atmospheric missions.
meterology↗
Requirement Discovery Using Embedded Knowledge Graph With ChatGPT Video Demo
An overview of the UAM chatbot application.
Machine Learning↗
Analytical study to define a helicoper stability derivative extraction method, volume 2
The data generated during tests to determine helicopter stability derivatives are presented in the form of graphs. The data are based on CH-53A helicopters and CH-54B helicopters with various digital filters operating at various airspeeds. Curves are plotted for a time history comparison of identified derivative models against flight data for the helicopters at specific airspeeds and maneuvers.
Molusis, J. A.↗
On dendritic growth in undercooled melts
The role of gravity-dependent convection in the steady-state growth of dendrites in undercooled melts is investigated theoretically. The model described by Huang and Glicksman (1981) is extended and refined, using the concept of a thermal diffusion boundary layer (Burton et al., 1987) to characterize the dendritic interface. Theoretical predictions are presented in graphs and shown to be in good general agreement with published experimental data on succinonitrile. The need for careful space experiments to clarify the role of nongravity-dependent convection is indicated.
Ohsaka, K.↗
Hawai'i Water Resources: Utilizing NASA Earth Observations to Assess Ocean Conditions Leading to the Spread of the Nuisance Red Algae (Chondria tumulosa) in Papahānaumokuākea Marine National Monument, Hawai’i
Chondria tumulosa, a newly discovered red alga, was observed in low abundance in 2016 but has since proliferated and is now smothering and decimating vast expanse of coral reefs in Manawai, located in Papahānaumokuākea Marine National Monument (PMNM). If the spread persists, the outbreak of this cryptogenic species could potentially cause region-wide ecosystem degradation. In coordination with the U.S. Fish and Wildlife Service, Marine National Monuments of the Pacific and the National Oceanographic and Atmospheric Administration (NOAA) Office of National Marine Sanctuaries’ Papahānaumokuākea Marine National Monument, this project created a tool to analyze oceanographic conditions (sea surface temperature (SST), chlorophyll-a, water velocity, salinity, turbidity) across the Monument that could potentially be driving the algal spread. The Google Earth Engine tool enabled the partners to visualize oceanographic conditions and gather time-series graphs utilizing Aqua and Terra Moderate Resolution Imaging Spectroradiometer (MODIS), Suomi National Polar-orbiting Partnership (NPP) Visible Infrared Imaging Radiometer Suite (VIIRS), Sentinel-3 Ocean and Land Colour Instrument (OLCI), Hybrid Coordinate Ocean Model (HYCOM) and NOAA's Climate Data Record in a user-friendly interface. The team used in situ SST data from subsurface temperature recorders provided by the partners to validate the tool's accuracy. Preliminary statistical analysis of MODIS data found warming trends in SST in Manawai as well as increased chlorophyll-a levels during the summer months in contrast to the control (non-infected) Lalo atoll. The tool did not aim to classify algal presence due to limited availability of higher resolution satellite imagery but instead enabled PMNM managers to monitor conditions that may be conducive to algal growth around the monument to make informed decisions and mitigation practices.
DEVELOP Project Summary↗
Reconnection at the earth's magnetopause - Magnetic field observations and flux transfer events
Theoretical models of plasma acceleration by magnetic-field-line reconnection at the earth magnetopause and the high-resolution three-dimensional plasma measurements obtained with the ISEE satellites are compared and illustrated with diagrams, graphs, drawings, and histograms. The history of reconnection theory and the results of early satellite observations are summarized; the thickness of the magnetopause current layer is discussed; problems in analyzing the polarization of current-layer rotation are considered; and the flux-transfer events responsible for periods of patchy reconnection are characterized in detail. The need for further observations and refinements of the theory to explain the initiation of reconnection and identify the mechanism determining whether it is patchy or steady-state is indicated.
Russell, C. T.↗
The importance of aerodynamics on dynamics
The effects of aerodynamic phenomena on helicopter structural dynamics are examined, reviewing the results of recent theoretical and experimental investigations. A schematic diagram of a dynamic analysis is presented and discussed, noting the numerous aerodynamic inputs, and numerical data are presented in graphs. Consideration is given to forcing functions, aerodynamic damping, aeroelastic coupling, negative damping, apparent coriolis coupling, periodic coefficients, inverse damping, additional degrees of freedom, flap-lag stability, and dynamic inflow. The need for theoretical models which account for the dynamic loop between blade lift and induced flow (permitting blade motion to dynamically alter the flowfield during transients) is indicated.
Peters, David A.↗
Node assignment in heterogeneous computing
A number of node assignment schemes, both static and dynamic, are explored for the Algorithm to Architecture Mapping Model (ATAMM). The architecture under consideration consists of heterogeneous processors and implements dataflow models of real-time applications. Terminology is developed for heterogeneous computing. New definitions are added to the ATAMM for token and assignment classifications. It is proved that a periodic execution is possible for dataflow graphs. Assignment algorithms are developed and proved. A design procedure is described for satisfying an objective function in an heterogeneous architecture. Several examples are provided for illustration.
Som, Sukhamoy↗
Advanced Technology Lifecycle Analysis System (ATLAS)
Developing credible mass and cost estimates for space exploration and development architectures require multidisciplinary analysis based on physics calculations, and parametric estimates derived from historical systems. Within the National Aeronautics and Space Administration (NASA), concurrent engineering environment (CEE) activities integrate discipline oriented analysis tools through a computer network and accumulate the results of a multidisciplinary analysis team via a centralized database or spreadsheet Each minute of a design and analysis study within a concurrent engineering environment is expensive due the size of the team and supporting equipment The Advanced Technology Lifecycle Analysis System (ATLAS) reduces the cost of architecture analysis by capturing the knowledge of discipline experts into system oriented spreadsheet models. A framework with a user interface presents a library of system models to an architecture analyst. The analyst selects models of launchers, in-space transportation systems, and excursion vehicles, as well as space and surface infrastructure such as propellant depots, habitats, and solar power satellites. After assembling the architecture from the selected models, the analyst can create a campaign comprised of missions spanning several years. The ATLAS controller passes analyst specified parameters to the models and data among the models. An integrator workbook calls a history based parametric analysis cost model to determine the costs. Also, the integrator estimates the flight rates, launched masses, and architecture benefits over the years of the campaign. An accumulator workbook presents the analytical results in a series of bar graphs. In no way does ATLAS compete with a CEE; instead, ATLAS complements a CEE by ensuring that the time of the experts is well spent Using ATLAS, an architecture analyst can perform technology sensitivity analysis, study many scenarios, and see the impact of design decisions. When the analyst is satisfied with the system configurations, technology portfolios, and deployment strategies, he or she can present the concepts to a team, which will conduct a detailed, discipline-oriented analysis within a CEE. An analog to this approach is the music industry where a songwriter creates the lyrics and music before entering a recording studio.
O'Neil, Daniel A.↗
Analysis of ETMS Data Quality for Traffic Flow Management Decisions
The data needed for air traffic flow management decision support tools is provided by the Enhanced Traffic Management System (ETMS). This includes both the tools that are in current use and the ones being developed for future deployment. Since the quality of decision support provided by all these tools will be influenced by the quality of the input ETMS data, an assessment of ETMS data quality is needed. Motivated by this desire, ETMS data quality is examined in this paper in terms of the unavailability of flight plans, deviation from the filed flight plans, departure delays, altitude errors and track data drops. Although many of these data quality issues are not new, little is known about their extent. A goal of this paper is to document the magnitude of data quality issues supported by numerical analysis of ETMS data. Guided by this goal, ETMS data for a 24-hour period were processed to determine the number of aircraft with missing flight plan messages at any given instant of time. Results are presented for aircraft above 18,000 feet altitude and also at all altitudes. Since deviation from filed flight plan is also a major cause of trajectory-modeling errors, statistics of deviations are presented. Errors in proposed departure times and ETMS-generated vertical profiles are also shown. A method for conditioning the vertical profiles for improving demand prediction accuracy is described. Graphs of actual sector counts obtained using these vertical profiles are compared with those obtained using the Host data for sectors in the Fort Worth Center to demonstrate the benefit of preprocessing. Finally, results are presented to quantify the extent of data drops. A method for propagating track positions during ETMS data drops is also described.
Chatterji, Gano B.↗
Experimental methodologies to support aircraft icing analysis
The experimental methodologies are illustrated by graphs, charts and line drawings. Typical ultrasonic echo signals for dry and wet ice growth, ice accretion rates for various tunnel configurations, the experimental configuration for flight tests of the ultrasonic measuring system and heat balance models used to predict ice growth are among the topics that are illustrated and briefly discussed.
Hansman, R. John, Jr.↗
Pre-main sequence stars
Observations of premain-sequence (PMS) stars obtained with the IUE satellite since its launch in 1978 are reviewed. The major types of PMS stars are listed and briefly characterized: T Tau stars, Herbig Ae stars, FU Ori objects, weak-emission PMS stars, and Herbig-Haro objects. The IUE data for a catalog of PMS objects are then presented in a table, graphs, and sample spectra and described in detail. Topics addressed include general spectral profiles, the Mg II h and k lines, the FUV emission lines, the UV continuum, and the impact of the IUE on astrophysical models of PMS stars. The need for observations with higher spectral resolution and much greater sensitivity is indicated, and the ability of the Hubble Space Telescope High-Resolution Spectrograph and the proposed NASA/ESA Lyman FUV Spectroscopic Explorer to meet these requirements is considered.
Imhoff, Catherine L.↗
Exploring Network-Related Optimization Problems Using Quantum Heuristics
Network-related connectivity optimization problems are underlying a wide range of applications and are also of high computational complexity. We consider studying network optimization problems using two types of quantum heuristics.One is quantum annealing, and the other Quantum Alternating Operator Ansatz, an extension of the Quantum Approximate Optimization Algorithms for gate-model quantum computation, in which a cost-function based unitary and a non-commuting mixing unitary are applied alternately. We present problem mappings for problems of finding the spanning-tree or spanning-graph of a graph that optimizes certain costs, and a variant that further requires the spanning-tree be degree-bounded. With quantum annealing, all constraints are cast into penalty terms in the cost Hamiltonian, and the solution is encoded as the ground state of the Hamiltonian. We provide three mappings to the quadratic unconstrained binary optimization (QUBO) form, compare the resource requirements, and analyze the tradeoffs. For QAOA, we give special focus on the design of mixers based on the constraints presented in the problem, such that the system evolution remains in a subspace of the full Hilbert space where all constraints are satisfied. In the spanning-tree problem, one such hard constraint is that a mixer applied to a spanning-tree needs also be a spanning tree. This involves checking the connectivity of a subgraph, which is a global condition common for most network-related problems. We show how this feature can be efficiently represented in the mixer in a quantum coherent way, based on manipulation of a descendant-matrix and an adjacent matrix. We further develop a mixer for the spanning-graphs based on the spanning-tree mixer.
Wang, Zhihui↗
Study network-related optimization problems using quantum alternating optimization ansatz
Network-related connectivity optimization problems are underlying a wide range of applications and are also of high computational complexity. We consider studying network optimization problems using two types of quantum heuristics. One is quantum annealing, and the other Quantum Alternating Operator Ansatz, an extension of the Quantum Approximate Optimization Algorithms for gate-model quantum computation, in which a cost-function based unitary and a non-commuting mixing unitary are applied alternately. We present problem mappings for problems of finding the spanning-tree or spanning-graph of a graph that optimizes certain costs, and a variant that further requires the spanning-tree be degree-bounded. With quantum annealing, all constraints are cast into penalty terms in the cost Hamiltonian, and the solution is encoded as the ground state of the Hamiltonian. We provide three mappings to the quadratic unconstrained binary optimization (QUBO) form, compare the resource requirements, and analyze the tradeoffs. For QAOA, we give special focus on the design of mixers based on the constraints presented in the problem, such that the system evolution remains in a subspace of the full Hilbert space where all constraints are satisfied. In the spanning-tree problem, one such hard constraint is that a mixer applied to a spanning-tree needs also be a spanning tree. This involves checking the connectivity of a subgraph, which is a global condition common for most network-related problems. We show how this feature can be efficiently represented in the mixer in a quantum coherent way, based on manipulation of a descendant-matrix and an adjacent matrix. We further develop a mixer for the spanning-graphs based on the spanning-tree mixer.
Zhihui Wang↗
Formalization of the Bellman-Ford Algorithm for Airspace Applications
This paper describes the formal verification of one of the most well-known algorithms for finding the shortest path between all vertices in a directed graph, namely the Bellman-Ford algorithm. This formal verification, performed in the Prototype Verification System (PVS), is motivated by two applications in the aerospace domain which use the algorithm for path planning. The first is a pre-flight calculation that uses an adapted version of Bellman-Ford to find a route intended to maximize GNSS availability throughout the flight. The second is a more traditional application intended to find the shortest path between an autonomous aircraft's current position and a goal waypoint, while avoiding regions of space specified by geofences. A novel aspect of this formal verification effort is the inclusion of two distinct models of computation for the algorithm, one being a traditional serial computation, and the other being an explicitly parallel computation. The ability to use parallel computation in the Bellman-Ford algorithm is in fact why it was chosen over other traditionally more performant algorithms, especially for the GNSS application, where the size of the graph makes a purely serial computation infeasible.
formal verification↗