SEARCH · Engineering Papers
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.
This presentation illustratively communicates how to SPICE model silicon carbide (SiC) SiC junction field effect transistors (JFETs) for designing circuits for NASA GRC's upcoming prototype fabrication of SiC JFET IC Version 12.
This presentation illustratively communicates how to SPICE model integrated silicon carbide (SiC) SiC resistors for designing circuits for NASA GRC's upcoming prototype fabrication of SiC JFET IC Version 12.
In January 1997, the Students’ Cloud Observations On-Line (S’COOL; http://scool.larc.nasa.gov) Project began with NASA scientists visiting rural Gloucester, Virginia to observe clouds with middle school students. In the 19 years since, this educational outreach component of NASA’s Clouds and the Earth’s Radiant Energy System (CERES) mission has collected ~141,000 observations from every continent and ocean basin around the world. Thousands of students and teachers have directly engaged in S’COOL. Beginning in 2008 we invited citizen scientists to participate as well. Over time S’COOL has added more components that engage participants directly with science data analysis, continuing direct ties to CERES research. Whenever possible, the S’COOL team extracts corresponding subsets of CERES data, which are sent to the participant to analyze. Observations can now be matched to images and cloud retrievals from MODIS and measurements from CALIPSO. To date, more than half of S'COOL observation reports correspond to one (or more) CERES overpasses. Comparisons with CERES geostationary satellite cloud retrievals were recently added, making cloud observations at almost any time of day over non-polar regions useful for validation. A thorough analysis of co-located S’COOL and satellite data was conducted during summer 2015. Results show that the S’COOL community provides high quality observations offering useful insights on the strengths and shortcomings of passive cloud remote sensing from space. This reconfirmed the utility of S’COOL observations to the scientific community and provides observers with deeper insight into the challenges associated with validation of space-based cloud property retrievals.
This presentation provides an overview of a recently completed human-in-the-loop simulation, conducted as part of the Unmanned Aircraft Systems (UAS) Integration in the National Airspace System (NAS) Project. This study examined how to present resolution advisories (RAs) issued by Airborne Collision Avoidance System (ACAS) Xu, which can be in the vertical dimension, the horizontal dimension, or both (i.e., "blended"). The study varied the location of the ACAS Xu traffic information - it was either presented within an 'integrated' display or a 'standalone' display, where the traffic information was separated from the vehicle control interfaces and navigational information. Results revealed generally positive feedback on the visual and aural presentation of RAs, with special considerations and performance implications noted throughout.
No abstract available
This presentation provides an overview of a recently completed human-in-the-loop simulation, conducted as part of the Unmanned Aircraft Systems (UAS) Integration in the National Airspace System (NAS) Project. This study examined how to present resolution advisories (RAs) issued by Airborne Collision Avoidance System (ACAS) Xu, which can be in the vertical dimension, the horizontal dimension, or both (i.e., “blendedâ€). The study varied the location of the ACAS Xu traffic information - it was either presented within an 'integrated' display or a 'standalone' display, where the traffic information was separated from the vehicle control interfaces and navigational information. Results revealed generally positive feedback on the visual and aural presentation of RAs, with special considerations and performance implications noted throughout.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Runtime verification (RV) of first-order temporal logic must handle a potentially large amount of data, accumulated during the monitoring of an execution. The DEJAVU RV system represents data elements and relations using BDDs. This achieves a compact representation, which allows monitoring long executions. However, the potentially unbounded, and frequently very large amounts of data value scan,ultimately, limit the executions that can be monitored. We present an automatic method for “forgetting” data values when they no longer affect the RV verdict on an observed execution.We describe the algorithm and illustrate its operation through an example.
Explore the source record for details and available documents.
Goal: Enable anyone to SPICE-model and design 500 °C durable integrated circuits for their intended application.
Goal: Enable anyone to SPICE-model and design 500 °C durable integrated circuits for their intended application.
We search for gravitational-wave signals produced by cosmic strings in the Advanced LIGO and Virgo full O3 dataset. Search results are presented for gravitational waves produced by cosmic string loop features such as cusps, kinks, and, for the first time, kink-kink collisions. A template-based search for short-duration transient signals does not yield a detection. We also use the stochastic gravitational-wave background energy density upper limits derived from the O3 data to constrain the cosmic string tension Gμ as a function of the number of kinks, or the number of cusps, for two cosmic string loop distribution models. Additionally, we develop and test a third model that interpolates between these two models. Our results improve upon the previous LIGO–Virgo constraints on Gμ by 1 to 2 orders of magnitude depending on the model that is tested. In particular, for the one-loop distribution model, we set the most competitive constraints to date: Gμ ≲ 4×10−15. In the case of cosmic strings formed at the end of inflation in the context of grand unified theories, these results challenge simple inflationary models.
Most dataset discovery tools for Earth Observation data rely on descriptions and other metadata of the datasets, using keyword searches or attribute filtering to determine relevance. However, these descriptions often do not include the potential uses of the data. Thus, a user working on floods will rarely see few if any rainfall datasets show up in such a search. The Usage Based Discovery tool, on the other hand, offers usage instances to the user, either research articles or applications, along with the datasets that those usage instances used. This allows a user, particularly one new to the world of Earth Observation data, to investigate which datasets are used in similar cases. The information that powers Usage-Based Discovery is a graph database of relationships of usage to dataset and usage to topic, allowing the user to narrow their search for similar cases. In order to scale out to a graph database rich enough to provide a satisfactory user experience, we combine manual and automated processes to populate the graph. The initial content of the graph has been seeded primarily via human-aided data curation methods, using sites like Google Scholar. To scale up this effort, we’ve employed crowdsourcing. It is easy for anyone to contribute to our graph using their Open Researcher and Contributor Identifier for authorization. We’re now experimenting with Machine Learning and Natural Language Processing to help automate population of the graph, starting with the classification of research articles by topic. Finding adequate training data in the absence of a comprehensive and open research article API continues to be a significant challenge.