Search NASA⌕ Search

SEARCH · Search NASA

Results for “Multiple program”

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 613 records · Page 34

Evolutionary Design and Simulation of a Tube Crawling Inspection Robot

The Space Robotics Assembly Team Simulation (SpaceRATS) is an expansive concept that will hopefully lead to a space flight demonstration of a robotic team cooperatively assembling a system from its constitutive parts. A primary objective of the SpaceRATS project is to develop a generalized evolutionary design approach for multiple classes of robots. The portion of the overall SpaceRats program associated with the evolutionary design and simulation of an inspection robot's morphology is the subject of this paper. The vast majority of this effort has concentrated on the use and modification of Darwin2K, a robotic design and simulation software package, to analyze the design of a tube crawling robot. This robot is designed for carrying out inspection duties in relatively inaccessible locations within a liquid rocket engine similar to the SSME. A preliminary design of the tube crawler robot was completed, and the mechanical dynamics of the system were simulated. An evolutionary approach to optimizing a few parameters of the system was utilized, resulting in a more optimum design.

Craft, Michael↗

CERES: The Next Generation of Earth Radiation Budget Measurements

NASA's Earth Observing System (EOS) is part of an international program for studying the Earth from space using a multiple-instrument, multiple-satellite approach. The Clouds and the Earth's Radiant Energy System (CERES) experiment is designed to monitor changes in the Earth s radiant energy system and cloud systems and to provide these data with sufficient simultaneity and accuracy to examine critical cloud/climate feedback mechanisms which may play a major role in determining future changes in the climate system. The first EOS satellite (Terra), scheduled for launch this year, and the EOS-PM satellite, to be launched in late 2000, will each carry two CERES instruments. The first CERES instrument was launched in 1997 on the Tropical Rainfall Measuring Mission (TRMM) satellite. The CERES TRMM data show excellent instrument stability and a factor of 2 to 3 less error than previous Earth radiation budget missions. The first CERES data products have been validated and archived. The data consist of instantaneous longwave and shortwave broadband radiances, top-of-atmosphere fluxes, scene types, and time and space averaged fluxes and albedo. A later data product will combine CERES radiances and high- resolution imager data to produce cloud properties and fluxes throughout the atmosphere and at the surface.

Gibson, Gary G.↗

Architecting Ourselves: Schema to Facilitate Growth of the International Space Architecture Community

This paper develops a conceptual model, adapted from the way research and development non-profits and universities tend to be organized, that could help amplify the reach and effectiveness of the international space architecture community. The model accommodates current activities and published positions, and increases involvement by allocating accountability for necessary professional and administrative activities. It coordinates messaging and other outreach functions to improve brand management. It increases sustainability by balancing volunteer workload. And it provides an open-ended structure that can be modified gracefully as needs, focus, and context evolve. Over the past 20 years, Space Architecture has attained some early signs of legitimacy as a discipline: an active, global community of practicing and publishing professionals; university degree programs; a draft undergraduate curriculum; and formal committee establishment within multiple professional organizations. However, the nascent field has few outlets for expression in built architecture, which exacerbates other challenges the field is experiencing in adolescence: obtaining recognition and inclusion as a unique contributor by the established aerospace profession; organizing and managing outreach by volunteers; striking a balance between setting admittance or performance credentials and attaining a critical mass of members; and knowing what to do, beyond sharing common interests, to actually increase the market demand for space architecture. This paper develops a conceptual model, adapted from the way research-anddevelopment non-profits and universities tend to be organized, that could help amplify the reach and effectiveness of the international space architecture community. The model accommodates current activities and published positions, and increases involvement by allocating accountability for necessary professional and administrative activities. It coordinates messaging and other outreach functions to improve brand management. It increases sustainability by balancing volunteer workload. And it provides an open-ended structure that can be modified gracefully as needs, focus, and context evolve. This organizational model is offered up for consideration, debate, and toughening by the space architecture community at large.

space architecure↗

Presentation Extensions of the SOAP

A set of extensions of the Satellite Orbit Analysis Program (SOAP) enables simultaneous and/or sequential presentation of information from multiple sources. SOAP is used in the aerospace community as a means of collaborative visualization and analysis of data on planned spacecraft missions. The following definitions of terms also describe the display modalities of SOAP as now extended: In SOAP terminology, View signifies an animated three-dimensional (3D) scene, two-dimensional still image, plot of numerical data, or any other visible display derived from a computational simulation or other data source; a) "Viewport" signifies a rectangular portion of a computer-display window containing a view; b) "Palette" signifies a collection of one or more viewports configured for simultaneous (split-screen) display in the same window; c) "Slide" signifies a palette with a beginning and ending time and an animation time step; and d) "Presentation" signifies a prescribed sequence of slides. For example, multiple 3D views from different locations can be crafted for simultaneous display and combined with numerical plots and other representations of data for both qualitative and quantitative analysis. The resulting sets of views can be temporally sequenced to convey visual impressions of a sequence of events for a planned mission.

Carnright, Robert↗

Software for Probabilistic Risk Reduction

A computer program implements a methodology, denoted probabilistic risk reduction, that is intended to aid in planning the development of complex software and/or hardware systems. This methodology integrates two complementary prior methodologies: (1) that of probabilistic risk assessment and (2) a risk-based planning methodology, implemented in a prior computer program known as Defect Detection and Prevention (DDP), in which multiple requirements and the beneficial effects of risk-mitigation actions are taken into account. The present methodology and the software are able to accommodate both process knowledge (notably of the efficacy of development practices) and product knowledge (notably of the logical structure of a system, the development of which one seeks to plan). Estimates of the costs and benefits of a planned development can be derived. Functional and non-functional aspects of software can be taken into account, and trades made among them. It becomes possible to optimize the planning process in the sense that it becomes possible to select the best suite of process steps and design choices to maximize the expectation of success while remaining within budget.

Hensley, Scott↗

Software for Sharing and Management of Information

DIAMS is a set of computer programs that implements a system of collaborative agents that serve multiple, geographically distributed users communicating via the Internet. DIAMS provides a user interface as a Java applet that runs on each user s computer and that works within the context of the user s Internet-browser software. DIAMS helps all its users to manage, gain access to, share, and exchange information in databases that they maintain on their computers. One of the DIAMS agents is a personal agent that helps its owner find information most relevant to current needs. It provides software tools and utilities for users to manage their information repositories with dynamic organization and virtual views. Capabilities for generating flexible hierarchical displays are integrated with capabilities for indexed- query searching to support effective access to information. Automatic indexing methods are employed to support users queries and communication between agents. The catalog of a repository is kept in object-oriented storage to facilitate sharing of information. Collaboration between users is aided by matchmaker agents and by automated exchange of information. The matchmaker agents are designed to establish connections between users who have similar interests and expertise.

Chen, James R.↗

A 40 Year Time Series of SBUV Observations: the Version 8.6 Processing

Under a NASA program to produce long term data records from instruments on multiple satellites (MEaSUREs), data from a series of eight SBUV and SBUV 12 instruments have been reprocessed to create a 40 year long ozone time series. Data from the Nimbus 4 BUV, Nimbus 7 SBUV, and SBUV/2 instruments on NOAA 9, 11, 14, 16, 17, and 18 were used covering the period 1970 to 1972 and 1979 to the present. In past analyses an ozone time series was created from these instruments by adjusting ozone itself, instrument by instrument, for consistency during overlap periods. In the version 8.6 processing adjustments were made to the radiance calibration of each instrument to maintain a consistent calibration over the entire time series. Data for all eight instruments were then reprocessed using the adjusted radiances. Reprocessing is necessary to produce an accurate latitude dependence. Other improvements incorporated in version 8.6 included the use of the ozone cross sections of Brion, Daumont, and Malicet, and the use of a cloud height climatology derived from Aura OMI measurements. The new cross sections have a more accurate temperature dependence than the cross sections previously used. The OMI-based cloud heights account for the penetration of UV into the upper layers of clouds. The consistency of the version 8.6 time series was evaluated by intra-instrument comparisons during overlap periods, comparisons with ground-based instruments, and comparisons with measurements made by instruments on other satellites such as SAGE II and UARS MLS. These comparisons show that for the instruments on NOAA 16, 17 and 18, the instrument calibrations were remarkably stable and consistent from instrument to instrument. The data record from the Nimbus 7 SBUV was also very stable, and SAGE and ground-based comparisons show that the' calibration was consistent with measurements made years laterby the NOAA 16 instrument. The calibrations of the SBUV/2 instruments on NOAA 9, 11, and 14 were more of a problem. The rapidly drifting orbits of these satellites resulted in relative time and altitude dependent differences that are significant. Despite these problems, total column ozone appears to be consistent to better than 1% over the entire time series, while the ozone vertical distribution is consistent to approximately 5%.

McPeters, Richard↗

Monitoring and Acquisition Real-time System (MARS)

MARS is a graphical user interface (GUI) written in MATLAB and Java, allowing the user to configure and control the Scalable Parallel Architecture for Real-Time Acquisition and Analysis (SPARTAA) data acquisition system. SPARTAA not only acquires data, but also allows for complex algorithms to be applied to the acquired data in real time. The MARS client allows the user to set up and configure all settings regarding the data channels attached to the system, as well as have complete control over starting and stopping data acquisition. It provides a unique "Test" programming environment, allowing the user to create tests consisting of a series of alarms, each of which contains any number of data channels. Each alarm is configured with a particular algorithm, determining the type of processing that will be applied on each data channel and tested against a defined threshold. Tests can be uploaded to SPARTAA, thereby teaching it how to process the data. The uniqueness of MARS is in its capability to be adaptable easily to many test configurations. MARS sends and receives protocols via TCP/IP, which allows for quick integration into almost any test environment. The use of MATLAB and Java as the programming languages allows for developers to integrate the software across multiple operating platforms.

Holland, Corbin↗

CALIPSO-Inferred Aerosol Direct Radiative Effects: Bias Estimates Using Ground-Based Raman Lidars

Observational constraints on the change in the radiative energy budget caused by the presence of aerosols, i.e. the aerosol direct radiative effect (DRE), have recently been made using observations from the Cloud- Aerosol Lidar and Infrared Pathfinder Satellite (CALIPSO). CALIPSO observations have the potential to provide improved global estimates of aerosol DRE compared to passive sensor-derived estimates due to CALIPSO's ability to perform vertically-resolved aerosol retrievals over all surface types and over cloud. In this study we estimate the uncertainties in CALIPSO-inferred aerosol DRE using multiple years of observations from the Atmospheric Radiation Measurement (ARM) program's Raman lidars (RL) at mid-latitude and tropical sites. Examined are assumptions about the ratio of extinction-to-backscatter (i.e. the lidar ratio) made by the CALIPSO retrievals, which are needed to retrieve the aerosol extinction profile. The lidar ratio is shown to introduce minimal error in the mean aerosol DRE at the top-of-atmosphere and surface. It is also shown that CALIPSO is unable to detect all radiatively-significant aerosol, resulting in an underestimate in the magnitude of the aerosol DRE by 30â€"50%. Therefore, global estimates of the aerosol DRE inferred from CALIPSO observations are likely too weak.

Thorsen, Tyler↗

CALIPSO-Inferred Aerosol Direct Radiative Effects: Bias Estimates Using Ground-Based Raman Lidars

Observational constraints on the change in the radiative energy budget caused by the presence of aerosols, i.e. the aerosol direct radiative effect (DRE), have recently been made using observations from the Cloud- Aerosol Lidar and Infrared Pathfinder Satellite (CALIPSO). CALIPSO observations have the potential to provide improved global estimates of aerosol DRE compared to passive sensor-derived estimates due to CALIPSO's ability to perform vertically-resolved aerosol retrievals over all surface types and over cloud. In this study we estimate the uncertainties in CALIPSO-inferred aerosol DRE using multiple years of observations from the Atmospheric Radiation Measurement (ARM) program's Raman lidars (RL) at midlatitude and tropical sites. Examined are assumptions about the ratio of extinction-to-backscatter (i.e. the lidar ratio) made by the CALIPSO retrievals, which are needed to retrieve the aerosol extinction profile. The lidar ratio is shown to introduce minimal error in the mean aerosol DRE at the top-of-atmosphere and surface. It is also shown that CALIPSO is unable to detect all radiatively-significant aerosol, resulting in an underestimate in the magnitude of the aerosol DRE by 30-50%. Therefore, global estimates of the aerosol DRE inferred from CALIPSO observations are likely too weak.

Thorsen, Tyler↗

Probabilistic Modeling of a Three-Stage Human Landing System Architecture

Space Policy Directive-1 has led to NASA partnerships with commercial entities on procurement which includes the development of the Human Landing System (HLS) [1]. With the goal of delivering human crew to the lunar surface by 2024, system uncertainties become an important obstacle to the maturation of multiple new, driving technologies and mission concepts of the HLS program. As unmitigated uncertainties have previously led to failed development programs, these risks and their impacts must be understood and handled to ensure program success [2]. Sources of uncertainty include novel engine designs and configurations, increased reliance on cryogenic fluid management(CFM), and refueling technologies—which propagate as high-level performance metrics such as overall propellant mass and engine performance. Also, the occurrence of operational uncertainties—e.g. launch conditions or need to abort during the mission—can cause cascading effects on the rest of the mission that are difficult to definitively quantify, and are outside the scope of control. These concrete examples and other occurrences can be categorized as either epistemic or aleatory uncertainties.Epistemic uncertainty arises due to a lack of knowledge and can be alleviated with design and program maturation. Aleatory uncertainty is due to the inherent randomness of the system and cannot be directly reduced, unlike epistemic uncertainty. Robust design and probabilistic methods can compensate for aleatory effects. A taxonomy of uncertainty is referred to for this work [3]. In this paper, a probabilistic methodology to handle uncertainties has been demonstrated on a three-element HLS concept [1, 4], which allows tracking of current best estimates of the concept and assessment of concept design robustness against uncertainties. A sample case has been completed for this abstract, and an expansion on the methodology will be included in the final paper. This methodology has two key parts: first, the creation of a dynamic architecture model of a three-element HLS concept; and second, its use with surrogate modeling and range estimating techniques to capture and propagate uncertainties. This abstract will cover the basics of the approach used, and further details and justifications will be in the final paper.The mission profile associated with this three-element concept (Fig 1) was modeled as a set of mission events that facilitated mass changes, idles, or spacecraft maneuvers. The mission profile scope starts with each element’s NRHO orbit insertion and aggregation and ends at post-sortie rendezvous with Orion. More detail on the mission profile will be in the final paper. The DYnamic Rocket EQuation Tool (DYREQT), a space systems synthesis and sizing framework used by NASA, was used as the physics framework to model the HLS architecture for applying the probabilistic methodology [5, 6]. Specifically, a parametric representation of the lander, ascent, and transfer elements and the mission profile of each element was established, with vehicle and mission parameters available as inputs to allow for a dynamic model. Each vehicle stage was modeled with high-level performance metrics, using Isp and propellant mass fraction (PMF) to remain parametric. For the probabilistic analysis, uncertainties of interest within the HLS concept were enumerated and represented as parameters within the DYREQT model as inputs for vehicle stages or mission profile events. These parameters were frozen at their nominal values for the purposes of baselining architecture performance and sizing the vehicle appropriately based on reference documentation [1]. Range estimating—a probabilistic method that combines Monte Carlo sampling, focus on critical parameters, and heuristics to assess risk and opportunities—is traditionally used with Mass Equipment Lists (MELs), but has been adapted with operational parameters as well as vehicle parameters in theDYREQT model to capture mission uncertainty alongside vehicle uncertainty [7, 3]. This method was selected due to its application and insight on a system from a bottom-up perspective, independence from historical rules of thumb, and ability to generate sensitivities based on design decisions and uncertainties. As a sample case for the abstract, the boiloff rates of the vehicle elements and the loiter times during the mission (simulating launch time variations and changing window of opportunities) were used with range estimating to provide preliminary results. To perform the range estimation portion of this methodology (depicted in Fig. 3, further details in final paper), the DYREQT model was sampled using a Design of Experiments (DoE) to efficiently explore the architecture design space with respect to the sample set of uncertainty parameters; 5,000 cases via Latin Hypercube Sampling were computed on the DYREQT architecture model. Then, the results were used to create surrogate models, multivariate regressions that can visualize hypercube trends in the design space, of the architecture with respect to the uncertainty parameters. Range estimating was applied to the surrogates instead of the actual models, which saves computational expense due to the bulk of cases needed for the Monte Carlo simulation as part of range estimating. Uncertainty parameters were sampled independently from triangular distributions using the DoE ranges as ‘min’ and ‘max’, and the nominal value as ‘most likely’. Based engineering intuition, some uncertainty parameters are correlated—e.g. if the main propellant has a high boil-off rate, the oxidizer should follow suit as both are related to CFM technology.While a Monte Carlo simulation samples all inputs as independent, the results would show model correlations; thus, it is efficient to sample the inputs as correlated. Using a correlation matrix constructed for the uncertainty parameters, previously independent samples were transformed to perform a Correlated Monte Carlo. A table for the DoE ranges and probability distribution parameters is shown in Table 1, and more details on Correlated Monte Carlo Simulations will be discussed in the final paper. The model’s resulting DoE showed that multivariate polynomial equations fit via least squares method captured its behavior accurately for the sample case. For the Correlated Monte Carlo Simulation, a positive correlation between fuel and oxidizer boiloff rates was used as a demonstration. 10,000 cases were computed with the surrogates and the launched masses for each vehicle element was collated. The results can be displayed in a probability density function (PDF), showing the impact of the uncertainty parameters chosen. Integrating the PDFs will yield a cumulative distribution function (CDF) that shows the cumulative probability of a given value on the x-axis. For the sample case, the elements’ launch mass margin was calculated and represented in as CDFs, as a demonstrated representation of figures of merit for the HLS concept. For the lander and ascent elements, the NRHO mass insertion limit is 16t; the transfer element has a limit of 30t [1]. It can be seen with Figure 2 that this probabilistic methodology can provide insight into mass margin with respect to the uncertainties being modeled. Currently, the results show that the lander (descent) vehicle element has the most restrictive design space; it is the only element to show a 10% probability of negative margin. Further analysis on the Monte Carlo results will show sensitivities for driving constraints and parameters for architecture feasibility, which can lead to establishing potential mission rules.The combination of range estimating with a parametric architecture model for HLS demonstrated the capability of this probabilistic methodology in a sample case. As the HLS development progresses, this methodology has the potential for keeping current best estimates of architecture performance for awarded concepts due to the flexibility in DYREQT’s modeling framework and its parametric nature. Concept maturation and increased epistemic knowledge can be injected into the model probabilistic modeling, and thus continue to track probability of mission success.

Stephanie Y Zhu↗

HelioSwarm: The Swarm is the Observatory

HelioSwarm will transform our understanding of space plasma turbulence by being the first-of-its-kind simultaneous, multiscale observatory comprising multiple spacecraft. HelioSwarm was competitively selected under the Heliophysics Explorers Program 2019 Medium-Class Explorer (MIDEX) Announcement of Opportunity. The central powered-ESPA hub spacecraft is co-orbited by eight SmallSat Node spacecraft, together moving through a High Earth Orbit to obtain data in various solar wind regimes. The mission architecture is that of hub-and-spoke, with the larger hub serving as a communications relay between the nodes and DSN. Mission operations, management, and technical oversight are provided by NASA Ames Research Center; the spacecraft are provided by Northrop Grumman and BCT. The instrument suite includes foreign-contributed instruments and U.S. ones, all under the oversight of University of New Hampshire (which is also the Principal Investigator’s home institution and Science Operations Center). The mission timeline from launch through conclusion of the one-year science mission is provided along with a summarized concept of operations, with particular emphasis on placing the nodes in their proper relative orbit loops to form the geometry needed for science collection at apogee. A brief discussion of how a combination of legacy tools and custom-created swarm analysis tools are used to design the swarm and sort and visualize the collected science data and telemetry in context is provided. Finally, an exploration of the pathfinding nature of HelioSwarm and some implications for future large scientific swarms is offered.

Heliophysics↗

HelioSwarm: The Swarm is the Observatory

The HelioSwarm Mission will transform our understanding of space plasma turbulence by being the first-of-its-kind simultaneous, multiscale observatory comprising multiple spacecraft. HelioSwarm was competitively selected under the Heliophysics Explorers Program 2019 Medium-Class Explorer (MIDEX) Announcement of Opportunity. The central powered-ESPA Hub spacecraft is co-orbited by eight SmallSat Node spacecraft, together moving through a High Earth Orbit to obtain data in various solar wind regimes. The mission architecture is that of hub-and-spoke, with the larger hub serving as a communications relay between the Nodes and DSN. Mission operations, management, and technical oversight are provided by NASA Ames Research Center; the spacecraft are provided by Northrop Grumman and BCT. The instrument suite includes foreign-contributed instruments and U.S. ones, all under the oversight of University of New Hampshire (which is also the Principal Investigator’s home institution and Science Operations Center). The mission timeline from launch through conclusion of the one-year science mission is provided along with a summarized concept of operations, with particular emphasis on placing the Nodes in their proper relative orbit loops to form the geometry needed for science collection at apogee. A brief discussion of how a combination of legacy tools and custom-created swarm analysis tools are used to design the swarm and sort and visualize the collected science data and telemetry in context is provided. Finally, an exploration of the pathfinding nature of HelioSwarm and some implications for future large scientific swarms is offered.

Heliophysics↗

Use NASA Earthdata in the Cloud

With the impending arrival of new, high-data-volume Earth observation missions, NASA’s ability to effectively ingest, process, and archive large amounts of data requires the most cost-effective, flexible, and scalable data-management architectures and technologies. To meet these demands, NASA's Earth Science Data Systems (ESDS) Program is implementing a strategic vision to develop and operate multiple components of NASA's Earth Observing System Data and Information System (EOSDIS) in a commercial cloud environment. As more earth observing data is moved into the cloud, NASA EOSDIS wants to share our reasoning for moving data into the commercial cloud, as well as demonstrate how end-users can take advantage of both data in the cloud and cloud-deployed services. This presentation explains the enterprise reasons for moving data into the cloud, specifically the scalability of cloud systems, the flexibility to pivot to the most optimal language/system/architecture, and the reduced redundancy of a common architecture. Then we primarily focus on the user-driven reasons for moving to the cloud. Equal access to high performance computing helps all parties, especially users that don't have access to their own on-premise computing infrastructure. Rapid deployment allows users to spin up their own systems without needing the extensive platform previously required for large scale development. Cost effectiveness allows users a wide breadth of computing options, from super computer ability to small scale development, which can help underserved communities. Finally we link to internal resources that users can utilize to begin their cloud based development journey without having to be an expert in the field.

Nicholas Doty↗

Synthetic Biology to Support Human Exploration of Deep Space

The International Space Station (ISS) has enabled a continuous human presence in space since November 2000. The ISS is in low Earth orbit, facilitating regular resupply missions to deliver air, water, food, spare parts, and science experiments. NASA’s Moon to Mars campaign seeks to return humans to the Moon and prepare for crewed missions to Mars. Increased distance from Earth poses logistical challenges to provide all resources needed by humans for deep space missions. NASA Ames Research Center is conducting a series of synthetic biology projects to test the use of microbes for on-demand biosynthesis of human micronutrients. The BioNutrients spaceflight experiments test an implementation concept to produce fermented food products in which microbe growth enhances micronutrient content. On-demand production of carotenoids was engineered into two yeast (Saccharomyces cerevisiae) strains that have been tested in nearly 5 years of storage. One of the BioNutrients strains will be incorporated into the Lunar Explorer Instrument for Space Biology Applications (LEIA) project. LEIA is developing an instrument suite to be delivered to the lunar south pole region by the Commercial Lunar Payload Services (CLPS) program. The LEIA instrument suite will be used to measure multiple yeast strains for growth, metabolic activity, and synthetic biology-enabled production of carotenoids, while taking real time measurements of biologically relevant radiation exposure on the lunar surface. LEIA data will be used to assess the impact of lunar surface radiation and reduced gravity on the production of engineered traits.

Synthetic Biology↗

The HRS GTO program to study the neutral hydrogen column density and D/H ratio in the local interstellar medium

Theoretical line profiles are presented that demonstrate why 100,000 spectral resolution and high S/N are needed to derive accurate column densities from spectral lines that lie close to the flat part of the curve of growth and may contain multiple velocity components. The aim of the Space Telescope high-resolution-spectrograph observing program is to obtain column densities in the hydrogen and deuterium Lyman alpha lines along a variety of lines of sight within and extending beyond the local cloudlet, in which the sun is located near an edge. The broad chromospheric Lyman alpha emission lines of late-type stars are used as background sources against which to measure the interstellar absorption features. Profiles of interstellar absorption features in Mg II and Fe II lines will be obtained to derive the broadening parameter and/or identify possible multiple velocity components in the lines of sight.

Linsky, J. L.↗

Proving Program Termination With Matrix Weighted Digraphs

Program termination analysis is an important task in logic and computer science. While determining if a program terminates is known to be undecidable in general, there has been a significant amount of attention given to finding sufficient and computationally practical conditions to prove termination. One such method takes a program and builds from it a matrix weighted digraph. These are directed graphs whose edges are labeled by square matrices with entries in {-1,0,1}, equipped with a nonstandard matrix multiplication. Certain properties of this digraph are known to imply the termination of the related program. In particular, termination of the program can be determined from the weights of the circuits in the digraph. In this talk, the motivation for addressing termination and how matrix weighted digraphs arise will be briefly discussed. The remainder of the talk will describe an efficient method for bounding the weights of a finite set of the circuits in a matrix weighted digraph, which allows termination of the related program to be deduced.

Dutle, Aaron↗

Telemetry and Communication IP Video Player

Aegis Video Player is the name of the video over IP system for the Telemetry and Communications group of the Launch Services Program. Aegis' purpose is to display video streamed over a network connection to be viewed during launches. To accomplish this task, a VLC ActiveX plug-in was used in C# to provide the basic capabilities of video streaming. The program was then customized to be used during launches. The VLC plug-in can be configured programmatically to display a single stream, but for this project multiple streams needed to be accessed. To accomplish this, an easy to use, informative menu system was added to the program to enable users to quickly switch between videos. Other features were added to make the player more useful, such as watching multiple videos and watching a video in full screen.

OFarrell, Zachary L.↗