Search NASA⌕ Search

SEARCH · Search NASA

Results for “Task complexity”

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 1,549 records · Page 86

Fast inversion, preconditioned quantum linear system solvers, fast Green's-function computation, and fast evaluation of matrix functions

Preconditioning is the most widely used and effective way for treating ill-conditioned linear systems in the context of classical iterative linear system solvers. We introduce a quantum primitive called fast inversion, which can be used as a preconditioner for solving quantum linear systems. The key idea of fast inversion is to directly block encode a matrix inverse through a quantum circuit implementing the inversion of eigenvalues via classical arithmetics. We demonstrate the application of preconditioned linear system solvers for computing single-particle Green's functions of quantum many-body systems, which are widely used in quantum physics, chemistry, and materials science. We analyze the complexities in three scenarios: the Hubbard model, the quantum many-body Hamiltonian in the plane-wave-dual basis, and the Schwinger model. We also provide a method for performing Green's function calculation in second quantization within a fixed-particle manifold and note that this approach may be valuable for simulation more broadly. Aside from solving linear systems, fast inversion also allows us to develop fast algorithms for computing matrix functions, such as the efficient preparation of Gibbs states. Furthermore, we introduce two efficient approaches for such a task, based on the contour-integral formulation and the inverse transform, respectively.

97 MATHEMATICS AND COMPUTING↗

Enabling rapid X-ray CT characterisation for additive manufacturing using CAD models and deep learning-based reconstruction

Metal additive manufacturing (AM) offers flexibility and cost-effectiveness for printing complex parts but is limited to few alloys. Qualifying new alloys requires process parameter optimisation to produce consistent, high-quality components. High-resolution X-ray computed tomography (XCT) has not been effective for this task due to artifacts, slow scan speed, and costs. We propose a deep learning-based approach for rapid XCT acquisition and reconstruction of metal AM parts, leveraging computer-aided design models and physics-based simulations of nonlinear interactions between X-ray radiation and metals. This significantly reduces beam hardening and common XCT artifacts. We demonstrate high-throughput characterisation of over a hundred AlCe alloy components, quantifying improvements in characterisation time and quality compared to high-resolution microscopy and pycnometry. Our approach facilitates investigating the impact of process parameters and their geometry dependence in metal AM.

36 MATERIALS SCIENCE↗

Neural networks to learn protein sequence–function relationships from deep mutational scanning data

Understanding the relationship between protein sequence and function is necessary to design new and useful proteins with applications in bioenergy, medicine, and agriculture. The mapping from sequence to function is tremendously complex because it involves thousands of molecular interactions that are coupled over multiple lengths and timescales. We show that neural networks can learn the sequence–function mapping from large protein datasets. Neural networks are appealing for this task because they can learn complicated relationships from data, make few assumptions about the nature of the sequence–function relationship, and can learn general rules that apply across the length of the protein sequence. We demonstrate that learned models can be applied to design new proteins with properties that exceed natural sequences.

59 BASIC BIOLOGICAL SCIENCES↗

Exploration of Novel Neuromorphic Methodologies for Materials Applications

Many of today's most interesting questions involve understanding and interpreting complex relationships within graph-based structures. For instance, in materials science, predicting material properties often relies on analyzing the intricate network of atomic interactions. Graph neural networks (GNNs) have emerged as a popular approach for these tasks; however, they suffer from limitations such as inefficient hardware utilization and over-smoothing. Recent advancements in neuromorphic computing offer promising solutions to these challenges. In this work, we evaluate two such neuromorphic strategies known as reservoir computing and hyperdimensional computing. We compare the performance of both approaches for bandgap classification and regression using a subset of the Materials Project dataset. Our results indicate recent advances in hyperdimensional computing can be applied effectively to better represent molecular graphs.

Gobin, Derek [George Mason University, Virginia]↗

Advanced Shuttle Strategies for Parallel QCCD Architectures

Trapped ions (TIs) are at the forefront of quantum computing implementation, offering unparalleled coherence, fidelity, and connectivity. However, the scalability of TI systems is hampered by the limited capacity of individual ion traps, necessitating intricate ion shuttling for advanced computational tasks. The quantum charge-coupled device (QCCD) framework has emerged as a promising solution, facilitating ion mobility for universal quantum computation. Current QCCD architectures predominantly feature a linear topology, which is increasingly recognized as inefficient for complex quantum operations. Anticipating the shift toward more efficacious designs, this article introduces an innovative quantum scheduling strategy optimized for parallel QCCD topologies. Our strategy proposes a probabilistic formula for ion movement, alongside ingenious methods for local layer generation and layer compression, yielding a significant reduction in ion shuttle times. Through simulations, we demonstrate that our strategy not only substantially outstrips the linear model but also exhibits better performance over other parallel strategies that employ greedy algorithms. This is achieved through our nuanced resolution of complexities, such as traffic blocks and trap capacity limitations. The consequent reduction in shuttle operations leads to lower energy consumption and an enhancement in the quantum computer's fidelity, ultimately accelerating program execution times.

43 PARTICLE ACCELERATORS↗

Cognition at the Point of Sensing

Over the last 15 years, compressive sensing techniques have been developed which have the potential to greatly reduce the amount of data collected by systems while preserving the amount of information obtained. A cost of this efficiency is that a computationally-intensive optimization routine must be used to put the sensed data into a form that a person can interpret. At the same time, machine learning techniques have experienced tremendous growth as well. Machines have demonstrated the ability learn how to effectively perform tasks such as detection and classification at speeds much faster than humanly possible. Our goal in this project was to study the feasibility of using compressive sensing systems "at the edge." That is, how can compressive sensing sensors be deployed such that information is created at the remote sensor rather than sending raw data to a central processing location? Studies were performed to analyze whether machine learning could be done on the compressively sensed data in its raw form. If a machine is performing the task, is it possible to do so without putting the data into a human interpretable form? We show that this is possible for some systems, in particular a compressive sensing snapshot imaging spectrometer. Machine learning tasks were demonstrated to be more effective and more robust to noise when the machine learning algorithm worked on data in its raw form. This system is shown to outperform a traditional spectrometer. Techniques for reducing the complexity of the reconstruction routine were also analyzed. Techniques for such as data regularization, deep neural networks, and matrix completion were studied and shown to have benefits over traditional reconstruction techniques. In this project we showed that compressive sensing sensors are indeed feasible at the edge. As always, sensors and algorithms must be carefully tuned to work in the constrained environment. In this project we developed tools and techniques to enable those analyses.

47 OTHER INSTRUMENTATION↗

Basic Research Needs for Inverse Methods for Complex Systems under Uncertainty [Brochure]

The four priority research directions outlined in this brochure represent a cohesive vision for advancing the science of inverse problems for complex systems under uncertainty. Together, they address the critical challenges of: discovering, exploiting, and preserving physical and problem structure; overcoming model limitations; integrating disparate, multimodal, and/or dynamic data; and tailoring the solution of inverse problems to downstream tasks. While each PRD focuses on a distinct aspect of inverse-problem research, their interconnected nature highlights the importance of a holistic approach that leverages progress across all areas to achieve transformative solutions. This agenda calls for research across mathematics, statistics, and computer science disciplines, which are guided and complemented by rapid advances in artificial intelligence, high-performance computing, and experimental facilities, to unlock new capabilities, maximize scientific impact, and meet the growing demands of inverse problems that arise across applications that are critical to DOE's mission.

97 MATHEMATICS AND COMPUTING↗

Domain-specific functional software testing: A progress report

Software Engineering is a knowledge intensive activity that involves defining, designing, developing, and maintaining software systems. In order to build effective systems to support Software Engineering activities, Artificial Intelligence techniques are needed. The application of Artificial Intelligence technology to Software Engineering is called Knowledge-based Software Engineering (KBSE). The goal of KBSE is to change the software life cycle such that software maintenance and evolution occur by modifying the specifications and then rederiving the implementation rather than by directly modifying the implementation. The use of domain knowledge in developing KBSE systems is crucial. Our work is mainly related to one area of KBSE that is called automatic specification acquisition. One example is the WATSON prototype on which our current work is based. WATSON is an automatic programming system for formalizing specifications for telephone switching software mainly restricted to POTS, i.e., plain old telephone service. Our current approach differentiates itself from other approaches in two antagonistic ways. On the one hand, we address a large and complex real-world problem instead of a 'toy domain' as in many research prototypes. On the other hand, to allow such scaling, we had to relax the ambitious goal of complete automatic programming, to the easier task of automatic testing.

Nonnenmann, Uwe↗

Architectural Methodology Report

The establishment of conventions between two communicating entities in the end systems is essential for communications. Examples of the kind of decisions that need to be made in establishing a protocol convention include the nature of the data representation, the for-mat and the speed of the date representation over the communications path, and the sequence of control messages (if any) which are sent. One of the main functions of a protocol is to establish a standard path between the communicating entities. This is necessary to create a virtual communications medium with certain desirable characteristics. In essence, it is the function of the protocol to transform the characteristics of the physical communications environment into a more useful virtual communications model. The final function of a protocol is to establish standard data elements for communications over the path; that is, the protocol serves to create a virtual data element for exchange. Other systems may be constructed in which the transferred element is a program or a job. Finally, there are special purpose applications in which the element to be transferred may be a complex structure such as all or part of a graphic display. NASA's Glenn Research Center (GRC) defines and develops advanced technology for high priority national needs in communications technologies for application to aeronautics and space. GRC tasked Computer Networks and Software Inc. (CNS) to describe the methodologies used in developing a protocol architecture for an in-space Internet node. The node would support NASA:s four mission areas: Earth Science; Space Science; Human Exploration and Development of Space (HEDS); Aerospace Technology. This report presents the methodology for developing the protocol architecture. The methodology addresses the architecture for a computer communications environment. It does not address an analog voice architecture.

Dhas, Chris↗

Maximally Expressive Modeling of Operations Tasks

Planning and scheduling systems organize "tasks" into a timeline or schedule. The tasks are defined within the scheduling system in logical containers called models. The dictionary might define a model of this type as "a system of things and relations satisfying a set of rules that, when applied to the things and relations, produce certainty about the tasks that are being modeled." One challenging domain for a planning and scheduling system is the operation of on-board experiments for the International Space Station. In these experiments, the equipment used is among the most complex hardware ever developed, the information sought is at the cutting edge of scientific endeavor, and the procedures are intricate and exacting. Scheduling is made more difficult by a scarcity of station resources. The models to be fed into the scheduler must describe both the complexity of the experiments and procedures (to ensure a valid schedule) and the flexibilities of the procedures and the equipment (to effectively utilize available resources). Clearly, scheduling International Space Station experiment operations calls for a "maximally expressive" modeling schema.

Jaap, John↗

MiniSODAR(TradeMark) Evaluation

This report describes results of the AMU's Instrumentation and Measurement task for evaluation of the Doppler miniSODAR(TradeMark) System (DmSS). The DmSS is an acoustic wind profiler providing high resolution data to a height of approx. 410 ft. The Boeing Company installed a DmSS near Space Launch Complex 37 in mid-2002 as a substitute for a tall wind tower and plans to use DmSS data for the analysis and forecasting of winds during ground and launch operations. Peak wind speed data are of particular importance to Launch Weather Officers of the 45th Weather Squadron for evaluating user Launch Commit Criteria. The AMU performed a comparative analysis of wind data between the DmSS and nearby wind towers from August 2002 to July 2003. The DmSS vertical profile of average wind speed showed good agreement with the wind towers. However, the DMSS peak wind speeds were higher, on average, than the wind tower peak wind speeds by about 25%. A statistical model of an idealized Doppler profiler was developed and it predicted that average wind speeds would be well determined but peak wind speeds would be over-estimated due to an under-specification of vertical velocity variations in the atmosphere over the Profiler.

Short, David A.↗

X-Windows Information Sharing Protocol Widget Class

The X-Windows Information Sharing Protocol (ISP) Widget Class ("Class") is used here in the object-oriented-programming sense of the word) was devised to simplify the task of implementing ISP graphical-user-interface (GUI) computer programs. ISP programming tasks require many method calls to identify, query, and interpret the connections and messages exchanged between a client and an ISP server. Most X-Windows GUI programs use widget sets or toolkits to facilitate management of complex objects. The widget standards facilitate construction of toolkits and application programs. The X-Windows Information Sharing Protocol (ISP) Widget Class encapsulates the client side of the ISP programming libraries within the framework of an X-Windows widget. Using the widget framework, X-Windows GUI programs can interact with ISP services in an abstract way and in the same manner as that of other graphical widgets, making it easier to write ISP GUI client programs. Wrapping ISP client services inside a widget framework enables a programmer to treat an ISP server interface as though it were a GUI. Moreover, an alternate subclass could implement another communication protocol in the same sort of widget.

Barry, Matthew R.↗

General Pressurization Model in Simscape

System integration is an essential part of the engineering design process. The Ares I Upper Stage (US) is a complex system which is made up of thousands of components assembled into subsystems including a J2-X engine, liquid hydrogen (LH2) and liquid oxygen (LO2) tanks, avionics, thrust vector control, motors, etc. System integration is the task of connecting together all of the subsystems into one large system. To ensure that all the components will "fit together" as well as safety and, quality, integration analysis is required. Integration analysis verifies that, as an integrated system, the system will behave as designed. Models that represent the actual subsystems are built for more comprehensive analysis. Matlab has been an instrument widely use by engineers to construct mathematical models of systems. Simulink, one of the tools offered by Matlab, provides multi-domain graphical environment to simulate and design time-varying systems. Simulink is a powerful tool to analyze the dynamic behavior of systems over time. Furthermore, Simscape, a tool provided by Simulink, allows users to model physical (such as mechanical, thermal and hydraulic) systems using physical networks. Using Simscape, a model representing an inflow of gas to a pressurized tank was created where the temperature and pressure of the tank are measured over time to show the behavior of the gas. By further incorporation of Simscape into model building, the full potential of this software can be discovered and it hopefully can become a more utilized tool.

Servin, Mario↗

Advances and Challenges in Observations and Modeling of the Global-Sun Dynamics and Dynamo

Computational heliophysics has shed light on the fundamental physical processes inside the Sun, such as the differential rotation, meridional circulation, and dynamo-generation of magnetic fields. However, despite the substantial advances, the current results of 3D MHD simulations are still far from reproducing helioseismic inferences and surface observations. The reason is the multi-scale nature of the solar dynamics, covering a vast range of scales, which can-not be solved with the current computational resources. In such a situation, significant progress has been achieved by the mean-field approach, based on the separation of small-scale turbulence and large-scale dynamics. The mean-field simulations can reproduce solar observations, qualitatively and quantitatively, and uncover new phenomena. However, they do not reveal the complex physics of large-scale convection, solar magnetic cycles, and the magnetic self-organization that causes sunspots and solar eruptions. Thus, developing a synergy of these approaches seems to be a necessary but very challenging task.

SMD↗

Detecting hidden layers from spreading dynamics on complex networks

When dealing with spreading processes on networks it can be of the utmost importance to test the reliability of data and identify potential unobserved spreading paths. In this paper we address these problems and propose methods for hidden layer identification and reconstruction. We also explore the interplay between difficulty of the task and the structure of the multilayer network describing the whole system where the spreading process occurs. Our methods stem from an exact expression for the likelihood of a cascade in the susceptible-infected model on an arbitrary graph. We then show that by imploring statistical properties of unimodal distributions and simple heuristics describing joint likelihood of a series of cascades one can obtain an estimate of both existence of a hidden layer and its content with success rates far exceeding those of a null model. Furthermore, we conduct our analyses on both synthetic and real-world networks providing evidence for the viability of the approach presented.

97 MATHEMATICS AND COMPUTING↗

The Identification and Modeling of Visual Cue Usage in Manual Control Task Experiments

Many fields of endeavor require humans to conduct manual control tasks while viewing a perspective scene. Manual control refers to tasks in which continuous, or nearly continuous, control adjustments are required. Examples include flying an aircraft, driving a car, and riding a bicycle. Perspective scenes can arise through natural viewing of the world, simulation of a scene (as in flight simulators), or through imaging devices (such as the cameras on an unmanned aerospace vehicle). Designers frequently have some degree of control over the content and characteristics of a perspective scene; airport designers can choose runway markings, vehicle designers can influence the size and shape of windows, as well as the location of the pilot, and simulator database designers can choose scene complexity and content. Little theoretical framework exists to help designers determine the answers to questions related to perspective scene content. An empirical approach is most commonly used to determine optimum perspective scene configurations. The goal of the research effort described in this dissertation has been to provide a tool for modeling the characteristics of human operators conducting manual control tasks with perspective-scene viewing. This is done for the purpose of providing an algorithmic, as opposed to empirical, method for analyzing the effects of changing perspective scene content for closed-loop manual control tasks.

Sweet, Barbara Townsend↗

Evaluating Sensory Augmentation as A Non-Pharmaceutical Tool to Mitigate Motion Sickness and Enhance Sensorimotor Task Performance: A Pilot Study Using Simulated Capsule Wave Motion

Wave motion during capsule recovery operations can result in motion sickness and performance decrements exacerbating reentry sickness following long duration spaceflight. The purpose of this pilot study was (1) to validate a capsule wave motion simulation as a platform to evaluate motion sickness countermeasures and (2) to evaluate a sensory augmentation belt providing vibrotactile feedback of gravitational upright. Ten healthy subjects ages 38.0 ± 10.1 (6M|4F) were exposed to complex wave motions on a six degree-of-freedom platform that included pitch, roll, and heave at provocative stimulus frequencies (0.1-0.25 Hz) while seated in an illuminated cabin deprived of external visual cues. Subjects reported acute symptoms for up to three consecutive 15 min trials or until they reached a motion sickness endpoint of 8 pts on the Pensacola Diagnostic Index (PDI). Five subjects were randomly assigned to the Sensory Augmentation (SA) group while the other five served as controls (CN group). Based on a Motion Sickness Susceptibility Questionnaire, the two groups had similar motion sickness histories (susceptibility percentile ranking of CN group = 27.5 ± 63.6 in the CN group versus 27.5 ± 37.0 in the SA group, median ± IQR). The vibrotactile feedback consisted of a single array of 8 electromechanical tactors positioned around the torso on an adjustable belt (Engineering Acoustics, Inc) that utilized an integrated inertial measurement unit (IMU) to indicate the direction of upright (e.g., subject’s back tactor on during forward tilt). During each wave motion trial subjects performed a battery of four different tasks: tracking Earth vertical using a joystick with and without a secondary task (Paced Auditory Serial Addition Test), an eye-hand target acquisition task on a cabin-fixed tablet, and the psychomotor vigilance test (PVT). All ten subjects reported varying levels of motion sickness with 6 of 10 reaching a symptom endpoint. Interestingly, subjects anecdotally reported that engagement in the joystick tracking task was less provocative than tasks involving the cabin-fixed tablet or periods of no activity. Sensory augmentation appeared to delay symptom onset, with 2 of 5 subjects reaching an endpoint within the first 15 min trial in the CN group versus none in the SA group (PDI after 15 min = 6.0 ± 2.5 in the CN group versus 3.4 ± 2.5 in the SA group, mean ±std). Sensory augmentation also improved performance on the joystick tracking task at lower stimulus frequencies (0.1 Hz in roll and 0.2 Hz in pitch). Both CN and SA groups maintained a consistent level of performance on the eye-hand target acquisition and PVT throughout the baseline (no motion) and wave motion periods. Our results validated that the simulated capsule wave motion paradigm provides an effective motion sickness stressor. This paradigm is currently being used to investigate the efficacy of intranasal scopolamine to mitigate motion sickness. Sensory augmentation using vibrotactile feedback appears to improve spatial awareness and delay symptom onset during complex passive motion. One advantage of this portable belt design is that it incorporates all tactor drive and IMU circuitry and therefore could continue to be worn by crewmembers and serve as a balance aid during egress and ambulation with recovery operations.

A M Bollinger↗

A Hybrid Deep Learning Architecture for Classification of Microscopic Damage on NIF Laser Optics

Accurately classifying microscopic damage helps automate the repair and recycling of National Ignition Facility optics and informs the study of damage initiation and growth. This complex 12-class problem previously required human experts to distinguish and label the various damage morphologies. Finding image analysis methods to extract and calculate distinguishing features would be time consuming and challenging, so we sought to automate this task by using convolutional neural networks (CNNs) pretrained on the ImageNet database to take advantage of its automated feature discovery and extraction. We compared three model architectures on this dataset and found the one with highest overall accuracy, 99.17%, was a novel hybrid architecture, one in which we removed the final decision-making layer of the deep learner and replaced it with an ensemble of decision trees (EDT). This combines the power of feature extraction by CNNs with the decision-making strength of EDT. The accuracy of the hybrid architecture over the deep learning alone is shown to be significantly improved. Furthermore, we applied this novel hybrid architecture to an entirely different dataset, one containing images of repaired damage sites, and improved on the previously published findings, also with a demonstrably significant increase in accuracy over using the deep learner alone.

47 OTHER INSTRUMENTATION↗