Search NASA⌕ Search

SEARCH · Search NASA

Results for “Electronic Design Automation”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

Automated Theorem Proving in High-Quality Software Design

The amount and complexity of software developed during the last few years has increased tremendously. In particular, programs are being used more and more in embedded systems (from car-brakes to plant-control). Many of these applications are safety-relevant, i.e. a malfunction of hardware or software can cause severe damage or loss. Tremendous risks are typically present in the area of aviation, (nuclear) power plants or (chemical) plant control. Here, even small problems can lead to thousands of casualties and huge financial losses. Large financial risks also exist when computer systems are used in the area of telecommunication (telephone, electronic commerce) or space exploration. Computer applications in this area are not only subject to safety considerations, but also security issues are important. All these systems must be designed and developed to guarantee high quality with respect to safety and security. Even in an industrial setting which is (or at least should be) aware of the high requirements in Software Engineering, many incidents occur. For example, the Warshaw Airbus crash, was caused by an incomplete requirements specification. Uncontrolled reuse of an Ariane 4 software module was the reason for the Ariane 5 disaster. Some recent incidents in the telecommunication area, like illegal "cloning" of smart-cards of D2GSM handies, or the extraction of (secret) passwords from German T-online users show that also in this area serious flaws can happen. Due to the inherent complexity of computer systems, most authors claim that only a rigorous application of formal methods in all stages of the software life cycle can ensure high quality of the software and lead to real safe and secure systems. In this paper, we will have a look, in how far automated theorem proving can contribute to a more widespread application of formal methods and their tools, and what automated theorem provers (ATPs) must provide in order to be useful.

Schumann, Johann↗
NASA NTRS1996

Support of Helicopter 'Free Flight' Operations in the 1996 Olympics

The microcosm of activity surrounding the 1996 Olympic Games provided researchers an opportunity for demonstrating state-of-the art technology in the first large-scale deployment of a prototype digital communication/navigation/surveillance system in a confined environment. At the same time it provided an ideal opportunity for transportation officials to showcase the merits of an integrated transportation system in meeting the operational needs to transport time sensitive goods and provide public safety services under real-world conditions. Five aeronautical CNS functions using a digital datalink system were chosen for operational flight testing onboard 91 aircraft, most of them helicopters, participating in the Atlanta Short-Haul Transportation System. These included: GPS-based Automatic Dependent Surveillance, Cockpit Display of Traffic Information, Controller-Pilot Communications, Graphical Weather Information (uplink), and Automated Electronic Pilot Reporting (downlink). Atlanta provided the first opportunity to demonstrate, in an actual operating environment, key datalink functions which would enhance flight safety and situational awareness for the pilot and supplement conventional air traffic control. The knowledge gained from such a large-scale deployment will help system designers in development of a national infrastructure where aircraft would have the ability to navigate autonomously.

Branstetter, James R.↗
NASA NTRS1994

Cell Libraries

A NASA contract led to the development of faster and more energy efficient semiconductor materials for digital integrated circuits. Gallium arsenide (GaAs) conducts electrons 4-6 times faster than silicon and uses less power at frequencies above 100-150 megahertz. However, the material is expensive, brittle, fragile and has lacked computer automated engineering tools to solve this problem. Systems & Processes Engineering Corporation (SPEC) developed a series of GaAs cell libraries for cell layout, design rule checking, logic synthesis, placement and routing, simulation and chip assembly. The system is marketed by Compare Design Automation.

Source record↗
DOE OSTI2025

Automated design of an additive manufactured compact broadband antenna for plasma reflectometry

Broadband antennas operating in the gigahertz frequency range are regularly used for plasma reflectometry diagnostics. Due to a lack of space and unique diagnostic constraints, these antennas are often custom in design and frequency range. Recent advances in additive manufacturing of high temperature copper alloys allow for expanded freedom in design of these diagnostic antennas. In this work, a heuristic simulated annealing algorithm is used alongside 3-D finite element simulation to automate the design of a double ridged rectangular horn antenna for a reflectometry diagnostic on the DIII-D tokamak. Optimization of antenna performance given the design constraints results in a compact broadband (6-20+ GHz) antenna design. Measured transmission from the additively manufactured antenna matches simulation within reasonable error, and experimental plasma electron density profiles from the DIII-D high-field side scrape-off layer are shown.

Additive manufacturing↗
DOE OSTI2023

Quantum defects in silicon

The dataset used in the publication titled “High-throughput identification of spin-photon interfaces in silicon. Using an automated first-principles computational workflow, we construct a dataset that details simple charged defects in silicon that are relevant for spin-photon interface applications. It encompasses properties vital for quantum defect design, including charged defect stability, excitation energy (determined using the single-shot hybrid functional approach), emission brightness, electronic structures, and more. The dataset encompasses all charged defects stable within the energy gap. We emphasized the importance of defect-bound excitons as telecom band emitters and proposed promising candidates for spin-photon interfaces.

36 MATERIALS SCIENCE↗
NASA NTRS1985

Accelerated and real-time geosynchronous life cycling test performance of nickel-hydrogen batteries

RCA Astro-Electronics currently has four nickel-hydrogen storage battery modules (11 cells each) on test in simulated geosynchronous life cycle regimes. These battery modules are of identical design to those used on the GSTAR (GTE Satellite Corp.) and Spacenet (GTE Spacenet Corp.) communications satellites. The batteries are being tested using an automated test station equipped with computer-controlled environmental chambers and recording equipment. The two battery types, 30 ampere-hours and 40 ampere-hours (GSTAR and Spacenet, respectively), are being electrically cycled using identical 44-day eclipse sequences at 5 C and vary with respect to depth of discharge, recharge ratio, duration of accumulated suntime, and the use of a reconditioning sequence. The test parameters are outlined and the preliminary test data and results are presented.

Green, R. S.↗
DOE OSTI2024

Oscilloscope Data Push Program

This paper details the development of a Python program designed to automate the data acquisition and conversion for an oscilloscope for the purposes of a one-off/temporary data acquisition system for users that readily need data, and do not have the option of obtaining a Data Acquisition (DAQ) solution. Creating DAQ systems for analyzing a system requires expensive electronics and a dedicated team of engineers for support. Traditionally, manual data collection and processing are time consuming and prone to error. By automating these processes, the cost, efficiency and accuracy of data handling are improved upon. This project involves the creation of a program that interacts with the oscilloscope. During this interaction, there are various functions being performed such as the acquisition of waveform data via floating points, generating plots with the acquired wave points, and storing of floating points in a CSV file format for future reference and plotting purposes. While the initial aim of the project included continuous logging to a cloud database, this was deferred due to time constraints. The results portrayed an almost-instant rate of data collection with a buffer time, showcasing the potential for further integration and real-time data processing.

Osei-Tutu, Jason↗
NASA NTRS2007

Mobile Collection and Automated Interpretation of EEG Data

A system that would comprise mobile and stationary electronic hardware and software subsystems has been proposed for collection and automated interpretation of electroencephalographic (EEG) data from subjects in everyday activities in a variety of environments. By enabling collection of EEG data from mobile subjects engaged in ordinary activities (in contradistinction to collection from immobilized subjects in clinical settings), the system would expand the range of options and capabilities for performing diagnoses. Each subject would be equipped with one of the mobile subsystems, which would include a helmet that would hold floating electrodes (see figure) in those positions on the patient s head that are required in classical EEG data-collection techniques. A bundle of wires would couple the EEG signals from the electrodes to a multi-channel transmitter also located in the helmet. Electronic circuitry in the helmet transmitter would digitize the EEG signals and transmit the resulting data via a multidirectional RF patch antenna to a remote location. At the remote location, the subject s EEG data would be processed and stored in a database that would be auto-administered by a newly designed relational database management system (RDBMS). In this RDBMS, in nearly real time, the newly stored data would be subjected to automated interpretation that would involve comparison with other EEG data and concomitant peer-reviewed diagnoses stored in international brain data bases administered by other similar RDBMSs.

Mintz, Frederick↗
NASA NTRS1986

Automation of review/approval cycle of MCAUTO CAD/CAM generated drawings and documents

The review/approval of MCAUTO/UNIGRAPHICS CAD/CAM generated drawings and documents is done through routing of hard copies of drawings and memos via mail, a process both time consuming and expensive. It is proposed that a set of procedures and the required software tools be designed for transmission, revision, and signing-off of such documents via electronic data transfer, while maintaining a sufficient degree of data integrity and individual security. A main resistance to such a technique will be the limited size of the display screen (19 inch class) and infrequent layer switching with the attendant time delay during the process of reviewing the drawing. Such opposition should diminish as the users become familiar with the hardwares and its operation. It is suggested that user profiles be set so that the protection class list of the originator of the drawing include at least one common class with each of the individuals who will be involved in the Revision/Approval cycle. In this way the originator will be able to tranfer a file for their review and also be able to copy back the file to make the necessary permanent changes. Individual security is maintained by restricted access to signature files and by restricting the list of individuals who will be authorized to sign off. This is accomplished through two software tools:LAYCOPY and SIGN. It is felt that these proposed procedures and techniques will adequately maintain both the file integrity and individual security during Review/Approval Cycle of MCAUTO generated drawings without the need for hardcopy routing.

Minn, H. S.↗
DOE OSTI2024

Towards Cross-Facility Workflows Orchestration through Distributed Automation

Modern science relies on end-to-end workflows that incorporate experimental instruments and utilize edge, cloud, or high-performance computing and storage resources. These components are geographically dispersed across various user facilities and interconnected through high-speed networks. In this paper, we present Zambeze, an automated distributed framework designed to facilitate this new class of cross-facility workflows. Utilizing swarm intelligence principles, Zambeze orchestrates science campaigns by managing distributed autonomous agents. These agents can offer a suite of services, including computing, storage, and data management. We demonstrate the feasibility of Zambeze through a real-world application involving electron microscopy, enhanced with Artificial Intelligence capabilities.

Skluzacek, Tyler↗
DOE OSTI2023

Artificial Intelligence-Enhanced, Multi-Level, Modular System Design

As Moore’s Law and Dennard Scaling come to an end, it is becoming increasingly important to develop non-von Neumann computing architectures that can perform low-power computing in the domains of scientific computing, artificial intelligence, embedded systems, and edge computing. Next-generation computing technologies, such as neuromorphic computing and quantum computing, have the potential to revolutionize computing. However, in order to make progress in these fields, it is necessary to fundamentally change the current computing paradigm by codesigning systems across all system level, from materials to software. Because skilled labor is limited in the field of next-generation computing, we are developing artificial intelligence-enhanced tools to automate the codesign and co-discovery of next-generation computers. Here, we develop a method called Modular and Multi-level MAchine Learning (MAMMAL) which is able to perform analog codesign and co-discovery across multiple system levels, spanning devices to circuits. We prototype MAMMAL by using it to design simple passive analog low-pass filters. We also explore methods to incorporate uncertainty quantification into MAMMAL and to accelerate MAMMAL by using emerging technologies, such as crossbar arrays. Ultimately, we believe that MAMMAL will enable rapid progress in developing next-generation computers by automating the codesign and co-discovery of electronic systems.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1975

An automated program for reinforcement requirements for openings in cylindrical pressure vessels

An automated interactive program for calculating the reinforcement requirements for openings in cylindrical pressure vessels subjected to internal pressure is described. The program is written for an electronic desk top calculator. The program calculates the required area of reinforcement for a given opening and compares this value with the area of reinforcement provided by a proposed design. All program steps, operating instructions, and example problems with input and sample output are documented.

Wilson, J. F.↗
NASA NTRS1999

The Ionosphere and Ocean Altimetry

The accuracy of satellite-based single-frequency radar ocean altimeters benefits from calibration of the total electron content (TEC) of the ionosphere below the satellite. Data from the global network of Global Positioning System (GPS) receivers provides timely, continuous, and globally well-distributed measurements of ionospheric electron content. We have created a daily automated process called Daily Global Ionospheric Map (Daily-GIM) whose primary purpose is to use global GPS data to provide ionospheric calibration data for the Geosat Follow-On (GFO) ocean altimeter. This process also produces an hourly time-series of global maps of the electron content of the ionosphere. This system is designed to deliver "quick-look" ionospheric calibrations within 24 hours with 90+% reliability and with a root-mean-square accuracy of 2 cm at 13.6 GHz. In addition we produce a second product within 72 hours which takes advantage of additional GPS data which were not available in time for the first process. The diagram shows an example of a comparison between TEC data from the Topographic Experiment (TOPEX) ocean altimeter and Daily-GIM. TEC are displayed in TEC units, TECU, where 5 TECU is 1 cm at 13.6 GHz. Data from a single TOPEX track is shown. Also shown is the Bent climatological model TEC for the track. Although the GFO satellite is not yet in its operational mode, we have been running Daily-GIM reliably (much better than 90%) with better than 2-cm accuracy (based on comparisons against TOPEX) for several months. When timely ephemeris files for the European Remote Sensing Satellite 2 (ERS-2) are available, daily ERS-2 altimeter ionospheric calibration files are produced. When GFO ephemeris files are made available to us, we produce GFO ionosphere calibration files. Users of these GFO ionosphere calibration files find they are a great improvement over the alternative International Reference Ionosphere 1995 (IRI-95) climatological model. In addition, the TOPEX orbit determination team at JPL has been using the global ionospheric maps to calibrate the single frequency GPS data from the TOPEX receiver, and report highly significant improvements in the ephemeris. The global ionospheric maps are delivered daily to the International GPS Service (IGS), making them available to the scientific community. Additional information is contained in the original.

Lindqwister, Ulf J.↗
DOE OSTI2024

Development of a liquid-helium free cryogenic sample holder with mK temperature control for autonomous electron microscopy

The automated and autonomous cryogenic transmission electron microscopy (Cryo-EM) demands a sample holder capable of maintaining temperatures below 10 K with precise control, long holding times, and minimal helium use. Rising to this challenge, we initiated an ambitious project to develop a novel closed-cycle cryocooler-based cryogenic sample holder that operates without the use of liquid helium and the consumption of gaseous helium. Here, this article presents the design, construction, and experimental testing of the initial prototype, which achieves an ultimate temperature of 5.6 K with exceptional stability close to 1mK, while providing a wide temperature control range from 295 K to 5.6 K, marking a clear advancement in cryo-EM holder development. While the prototype was not designed for atomic resolution imaging and thus lacks a sturdy support system to mitigate mechanical vibrations from the cryocooler's pulsed tube, this innovative approach successfully demonstrates proof of concept. It offers unprecedented capabilities for state-of-the-art cryogenic microscopy and microanalysis in materials and biological sciences.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRS2000

The Design and Synthesis of Epoxy Matrix Composites Curable by Electron Beam Induced Cationic Polymerization

Several new series of novel, high reactivity epoxy resins are described which are designed specifically for the fabrication of high performance carbon fiber reinforced composites for commercial aircraft structural applications using cationic UV and e-beam curing. The objective of this investigation is to provide resin matrices which rapidly and efficiently cure under low e-beam doses which are suitable to high speed automated composite fabrication techniques such as automated tape and tow placement. It was further the objective of this work to provide resins with superior thermal, oxidative and atomic oxygen resistance.

Crivello, James V.↗
DOE OSTI2026

NanoPSD: A software for automatic detection of Nano-Particle Shape Distribution in electron microscopy images

Accurate quantification of the size and morphology of nanoparticles from electron microscopy (EM) images is essential to understand growth mechanisms, surface reactivity, and functional behavior in nanoscale materials. Manual analysis remains slow, subjective, and difficult to reproduce in large datasets. We introduce NanoPSD (Nano-Particle Shape Distribution), an open-source and fully automated framework for quantitative particle detection and morphology analysis from EM images. NanoPSD integrates adaptive contrast enhancement, polarity-agnostic scale-bar detection, Optical Character Recognition (OCR)-based calibration, and classical segmentation via Otsu thresholding with morphological refinement. Particle contours are used to extract geometric descriptors, including equivalent circular diameter, aspect ratio, circularity, and solidity, enabling automated classification into spherical, rod-like, and aggregate morphologies. The framework supports both single-image and batch processing, generating publication-quality visualizations, LaTeX-ready tables, and structured comma-separated values (CSV) datasets. As a demonstration, we applied NanoPSD to plasma-synthesized nanoparticle samples diagnosed via transmission electron microscopy (TEM). The code produced statistically robust size and morphology distributions spanning a few to tens of nanometers with minimal user supervision. The pipeline demonstrates high reproducibility and scalability, processing large image collections with consistent calibration and output formatting. Its modular design enables seamless integration of future deep-learning-based segmentation models, providing a pathway toward intelligent, data-driven electron microscopy analysis.

36 MATERIALS SCIENCE↗
NASA NTRS1977

Electronic and mechanical improvement of the receiving terminal of a free-space microwave power transmission system

Significant advancements were made in a number of areas: improved efficiency of basic receiving element at low power density levels, improved resolution and confidence in efficiency measurements mathematical modelling and computer simulation of the receiving element and the design, construction, and testing of an environmentally protected two-plane construction suitable for low cost, highly automated construction of large receiving arrays.

Brown, W. C.↗
NASA NTRS1986

Automated calibration of a flight particle spectrometer

An automatic calibration system was designed for use in the vacuum facility at the Space Science Laboratory of the Marshall Space Flight Center. That system was developed and used in the intervening winter to calibrate the ion spectrometer that eventually flew in May 1986 aboard the NASA project, CRIT 1. During this summer, it is planned to implement the calibration of both an ion and electron spectrometer of a new design whose basic elements were conceived during the winter of 1985 to 1986. This spectrometer was completed in the summer and successfully mounted in the vacuum tank for calibration. However, the source gate valve malfunctioned, and, at the end of the summer, it still needed a replacement. During the inevitable delays in the experimental research, the numerical model of the Critical Velocity effect was completed and these results were presented.

Torbert, Roy B.↗