Search NASA⌕ Search

SEARCH · Search NASA

Results for “Realizability checking”

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 37 records · Page 2

Document analysis with neural net circuits

Document analysis is one of the main applications of machine vision today and offers great opportunities for neural net circuits. Despite more and more data processing with computers, the number of paper documents is still increasing rapidly. A fast translation of data from paper into electronic format is needed almost everywhere, and when done manually, this is a time consuming process. Markets range from small scanners for personal use to high-volume document analysis systems, such as address readers for the postal service or check processing systems for banks. A major concern with present systems is the accuracy of the automatic interpretation. Today's algorithms fail miserably when noise is present, when print quality is poor, or when the layout is complex. A common approach to circumvent these problems is to restrict the variations of the documents handled by a system. In our laboratory, we had the best luck with circuits implementing basic functions, such as convolutions, that can be used in many different algorithms. To illustrate the flexibility of this approach, three applications of the NET32K circuit are described in this short viewgraph presentation: locating address blocks, cleaning document images by removing noise, and locating areas of interest in personal checks to improve image compression. Several of the ideas realized in this circuit that were inspired by neural nets, such as analog computation with a low resolution, resulted in a chip that is well suited for real-world document analysis applications and that compares favorably with alternative, 'conventional' circuits.

Graf, Hans Peter↗

Integrating automated support for a software management cycle into the TAME system

Software managers are interested in the quantitative management of software quality, cost and progress. An integrated software management methodology, which can be applied throughout the software life cycle for any number purposes, is required. The TAME (Tailoring A Measurement Environment) methodology is based on the improvement paradigm and the goal/question/metric (GQM) paradigm. This methodology helps generate a software engineering process and measurement environment based on the project characteristics. The SQMAR (software quality measurement and assurance technology) is a software quality metric system and methodology applied to the development processes. It is based on the feed forward control principle. Quality target setting is carried out before the plan-do-check-action activities are performed. These methodologies are integrated to realize goal oriented measurement, process control and visual management. A metric setting procedure based on the GQM paradigm, a management system called the software management cycle (SMC), and its application to a case study based on NASA/SEL data are discussed. The expected effects of SMC are quality improvement, managerial cost reduction, accumulation and reuse of experience, and a highly visual management reporting system.

Sunazuka, Toshihiko↗

SU-D-BRE-02: Development and Commissioning of A Gated Spot Scanning Proton Beam Therapy System with Real-Time Tumor-Tracking

Purpose: A novel Proton Beam Therapy system has been developed by integrating Real-Time Tumor-Tracking (RTRT) and discrete spot scanning techniques. The system dedicated for spot scanning delivers significant advantages for both clinical and economical points of view. The system has the ability to control dose distribution with spot scanning beams and to gate the beams from the synchrotron to irradiate moving tumors only when the actual positions of them are within the planned position. Methods: The newly designed system consists of a synchrotron, beam transport systems, a compact and rotating gantry system with robotic couch and two orthogonal sets of X-ray fluoroscopes. The fully compact design of the system has been realized by reducing the maximum energy of the beam to 220MeV, corresponding to 30g/cm2 range and the number of circulating protons per synchrotron operation cycle, due to higher beam utilization efficiency in spot scanning. To improve the irradiation efficiency in the integration of RTRT and spot scanning, a new control system has been developed to enable multiple gated irradiation per operation cycle according to the gating signals. After the completion of the equipment installation, beam tests and commissioning has been successfully performed. Results: The basic performances and beam characteristics through the synchrotron accelerator to iso-center have been confirmed and the performance test of the irradiation nozzle and whole system has been appropriately completed. CBCT image has been checked and sufficient quality was obtained. RTRT system has been demonstrated and realized accurate dose distributions for moving targets. Conclusion: The gated spot scanning Proton Beam Therapy system with Real-Time Tumor-Tracking has been developed, successfully installed and tested. The new system enables us to deliver higher dose to the moving target tumors while sparing surrounding normal tissues and to realize the compact design of the system and facility by maximizing the efficiency of proton beam utilization. This research is granted by the Japan Society for the Promotion of Science(JSPS) through the “Funding Program for World-Leading Innovative R and D on Science and Technology(FIRST Program)”, initiated by the Council for Science and Technology Policy(CSTP)

60 APPLIED LIFE SCIENCES↗

Toward a 2D Local Implementation of Quantum Low-Density Parity-Check Codes

Geometric locality is an important theoretical and practical factor for quantum low-density parity-check (qLDPC) codes that affects code performance and ease of physical realization. For device architectures restricted to two-dimensional (2D) local gates, naively implementing the high-rate codes suitable for low-overhead fault-tolerant quantum computing incurs prohibitive overhead. In this work, we present an error-correction protocol built on a bilayer architecture that aims to reduce operational overheads when restricted to 2D local gates by measuring some generators less frequently than others. We investigate the family of bivariate-bicycle qLDPC codes and show that they are well suited for a parallel syndrome-measurement scheme using fast routing with local operations and classical communication (LOCC). Through circuit-level simulations, we find that in some parameter regimes, bivariate-bicycle codes implemented with this protocol have logical error rates comparable to the surface code while using fewer physical qubits. Published by the American Physical Society 2025

Berthusen, Noah (ORCID:0000000275862786)↗

SMART: The Future of Spaceflight Avionics

A novel avionics approach is necessary to meet the future needs of low cost space and lunar missions that require low mass and low power electronics. The current state of the art for avionics systems are centralized electronic units that perform the required spacecraft functions. These electronic units are usually custom-designed for each application and the approach compels avionics designers to have in-depth system knowledge before design can commence. The overall design, development, test and evaluation (DDT&E) cycle for this conventional approach requires long delivery times for space flight electronics and is very expensive. The Small Multi-purpose Advanced Reconfigurable Technology (SMART) concept is currently being developed to overcome the limitations of traditional avionics design. The SMART concept is based upon two multi-functional modules that can be reconfigured to drive and sense a variety of mechanical and electrical components. The SMART units are key to a distributed avionics architecture whereby the modules are located close to or right at the desired application point. The drive module, SMART-D, receives commands from the main computer and controls the spacecraft mechanisms and devices with localized feedback. The sensor module, SMART-S, is used to sense the environmental sensors and offload local limit checking from the main computer. There are numerous benefits that are realized by implementing the SMART system. Localized sensor signal conditioning electronics reduces signal loss and overall wiring mass. Localized drive electronics increase control bandwidth and minimize time lags for critical functions. These benefits in-turn reduce the main processor overhead functions. Since SMART units are standard flight qualified units, DDT&E is reduced and system design can commence much earlier in the design cycle. Increased production scale lowers individual piece part cost and using standard modules also reduces non-recurring costs. The benefit list continues, but the overall message is already evident: the SMART concept is an evolution in spacecraft avionics. SMART devices have the potential to change the design paradigm for future satellites, spacecraft and even commercial applications.

Alhorn, Dean C.↗

Cache directory look-up re-use as conflict check mechanism for speculative memory requests

In a cache memory, energy and other efficiencies can be realized by saving a result of a cache directory lookup for sequential accesses to a same memory address. Where the cache is a point of coherence for speculative execution in a multiprocessor system, with directory lookups serving as the point of conflict detection, such saving becomes particularly advantageous.

97 MATHEMATICS AND COMPUTING↗

Orbit-on-demand vehicles - Mission possible, but one-day turnaround?

The next generation launch-on-demand manned orbital vehicles will ideally be able to perform plane change maneuvers for rendezvous. Plane-changes of, e.g., 11 deg, will require a 3000 fps on-orbit maneuver velocity. Any plane-change capabilities beyond 800 fps rapidly increase the necessary vehicle weight. Sensitivity studies of the payload weight/vehicle weight, the presence or absence of air-breathing engines, high acceleration, etc., indicated that advances are required in the payload stowage pallet, thermal protection system, fault detection electronics, line-replaceable units, and accessibility to realize one-day turnaround. The spacecraft would also need autonomous systems checks and launch from minimum support sites reached by air ferry. A horizontal take-off, two-stage subsonic launch vehicle so far offers the lowest weight, maximum flexibility and minimum support combination of all configurations under consideration.

Talay, T. A.↗

On the symmetry TFT of Yang-Mills-Chern-Simons theory

Three-dimensional Yang-Mills-Chern-Simons theory has the peculiar property that its one-form symmetry defects have nontrivial braiding, namely they are charged under the same symmetry they generate, which is then anomalous. This poses a few puzzles in describing the corresponding Symmetry TFT in a four-dimensional bulk. First, the braiding between lines at the boundary seems to be ill-defined when such lines are pulled into the bulk. Second, the Symmetry TFT appears to be too trivial to allow for topological boundary conditions encoding all the different global variants. We show that both of these puzzles can be solved by including endable (tubular) surfaces in the class of bulk topological operators one has to consider. In this way, we are able to reproduce all global variants of the theory, with their symmetries and their anomalies. We check the validity of our proposal also against a top-down holographic realization of the same class of theories.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Modeling Transverse Space Charge effects in IOTA with pyORBIT

The role and mitigation of space charge effects are important aspects of the beam physics research to be performed at the Integrable Optics Test Accelerator (IOTA) at Fermilab. The impact of nonlinear integrability (partial and complete) on space charge driven incoherent and coherent resonances will be a new feature of this accelerator and has the potential to influence the design of future low energy proton synchrotrons. In this report we model transverse space charge effects using the PIC code pyORBIT. First we benchmark the single particle tracking results against MADX with checks on symplecticity, tune footprints, and dynamic aperture in a partially integrable lattice realized with a special octupole string insert. Our space charge calculations begin with an examination of the 4D symplecticity. Short term tracking is done first with the initial bare lattice and then with a matching of the rms values with space charge. Next, we explore slow initialization of charge as a technique to establish steady state and reduce emittance growth and beam loss following injection into a mismatched lattice. We establish values of space charge simulation parameters so as to ensure numerical convergence. Finally, we compare the simulated space charge induced tune shifts and footprints against theory.

43 PARTICLE ACCELERATORS↗

The use of curvilinear fiber format in composite structure design

This paper investigates the gains in structural efficiency that can be achieved by aligning the fibers in some or all of the layers in a laminate with the principal stress directions in those layers. The name curvilinear fiber format is given to this idea. The problem studied is a plate with a central circular hole subjected to a uniaxial tensile load. An iteration scheme is used to find the fiber directions at each point in the laminate. Two failure criteria are used to evaluate the tensile load capacity of the plates with a curvilinear format, and for comparison, counterpart plates with a conventional straightline fiber format. The curvilinear designs for improved tensile capacity are then checked for buckling resistance. It is concluded that gains in efficiency can be realized with the curvilinear format.

Hyer, M. W.↗

Innovative design of composite structures: The use of curvilinear fiber format in composite structure design

The gains in structural efficiency are investigated that can be achieved by aligning the fibers in some or all of the layers in a laminate with the principal stress directions in those layers. The name curvilinear fiber format is given to this idea. The problem studied is a plate with a central circular hole subjected to a uniaxial tensile load. An iteration scheme is used to find the fiber directions at each point in the laminate. Two failure criteria are used to evaluate the tensile load capacity of the plates with a curvilinear format, and for comparison, counterpart plates with a conventional straightline fiber format. The curvilinear designs for improved tensile capacity are then checked for buckling resistance. It is concluded that gains in efficiency can be realized with the curvilinear format.

Hyer, M. W.↗

Use Case Realization Report: UCR-03.02 Refines Event

This architecturally significant use case describes how the Analyst refines an event hypothesis. The Analyst checks waveform quality (see 'Determines Waveform Data Quality' UC). For waveforms of sufficient quality, the Analyst enhances signals and suppresses noise on waveforms for relevant stations (see 'Enhances Signals' UC), adds and associates missing detections, and modifies or unassociates detections already associated with the event hypothesis (see 'Detects Signals' UC). The Analyst rejects event hypotheses that are invalid. For valid event hypotheses, the Analyst measures signal features associated with the detections (see 'Measures Signal Features' UC) and evaluates the moment tensor ('Evaluates Moment Tensor' UC). The Analyst uses these signal features to refine the location (see 'Refines Event Location' UC) and magnitude (see 'Refines Event Magnitude' UC) of the event hypothesis. The Analyst compares events to determine how similar events were constructed (see 'Compares Events' UC). The Analyst repeats these steps until satisfied with the results. Analysts may provide feedback for previous Analysts during any of these steps (see 'Provides Analyst Feedback' UC). This use case is architecturally significant because it captures the interplay between all of the Analyst activities.

97 MATHEMATICS AND COMPUTING↗

Three-dimensional computer model for the atmospheric general circulation experiment

An efficient, flexible, three-dimensional, hydrodynamic, computer code has been developed for a spherical cap geometry. The code will be used to simulate NASA's Atmospheric General Circulation Experiment (AGCE). The AGCE is a spherical, baroclinic experiment which will model the large-scale dynamics of our atmosphere; it has been proposed to NASA for future Spacelab flights. In the AGCE a radial dielectric body force will simulate gravity, with hot fluid tending to move outwards. In order that this force be dominant, the AGCE must be operated in a low gravity environment such as Spacelab. The full potential of the AGCE will only be realized by working in conjunction with an accurate computer model. Proposed experimental parameter settings will be checked first using model runs. Then actual experimental results will be compared with the model predictions. This interaction between experiment and theory will be very valuable in determining the nature of the AGCE flows and hence their relationship to analytical theories and actual atmospheric dynamics.

Roberts, G. O.↗

Reliable VLSI sequential controllers

A VLSI architecture for synchronous sequential controllers is presented that has attractive qualities for producing reliable circuits. In these circuits, one hardware implementation can realize any flow table with a maximum of 2(exp n) internal states and m inputs. Also all design equations are identical. A real time fault detection means is presented along with a strategy for verifying the correctness of the checking hardware. This self check feature can be employed with no increase in hardware. The architecture can be modified to achieve fail safe designs. With no increase in hardware, an adaptable circuit can be realized that allows replacement of faulty transitions with fault free transitions.

Whitaker, S.↗

Nonlocal hyperconcentration on entangled photons using photonic module system

Entanglement distribution will inevitably be affected by the channel and environment noise. Thus distillation of maximal entanglement nonlocally becomes a crucial goal in quantum information. Here we illustrate that maximal hyperentanglement on nonlocal photons could be distilled using the photonic module and cavity quantum electrodynamics, where the photons are simultaneously entangled in polarization and spatial-mode degrees of freedom. The construction of the photonic module in a photonic band-gap structure is presented, and the operation of the module is utilized to implement the photonic nondestructive parity checks on the two degrees of freedom. We first propose a hyperconcentration protocol using two identical partially hyperentangled initial states with unknown coefficients to distill a maximally hyperentangled state probabilistically, and further propose a protocol by the assistance of an ancillary single photon prepared according to the known coefficients of the initial state. In the two protocols, the total success probability can be improved greatly by introducing the iteration mechanism, and only one of the remote parties is required to perform the parity checks in each round of iteration. Estimates on the system requirements and recent experimental results indicate that our proposal is realizable with existing or near-further technologies.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Eigenstate thermalization in ( 2 + 1 )-dimensional SU(2) lattice gauge theory

We present preliminary numerical evidence for the hypothesis that the Hamiltonian SU(2) gauge theory discretized on a lattice obeys the eigenstate thermalization hypothesis (ETH). To do so we study three approximations: (a) a linear plaquette chain in a reduced Hilbert space limiting the electric field basis to j = 0 , 1 2 , (b) a two-dimensional honeycomb lattice with periodic or closed boundary condition and the same Hilbert space constraint, and (c) a chain of only three plaquettes but such a sufficiently large electric field Hilbert space ( j ≤ 7 2 ) that convergence of all energy eigenvalues in the analyzed energy window is observed. While an unconstrained Hilbert space is required to reach the continuum limit of SU(2) gauge theory, numerical resource constraints do not permit us to realize this requirement for all values of the coupling constant and large lattices. In each of the three studied cases we check first for random matrix theory (RMT) behavior in the eigenenergy spectrum and then analyze the diagonal as well as the off-diagonal matrix elements between energy eigenstates for a few operators. Within current uncertainties all results for (a), (b) and (c) agree with ETH predictions. Furthermore, we find the off-diagonal matrix elements of the electric energy operator exhibit RMT behavior in frequency windows that are small enough in (b) and (c). To unambiguously establish ETH behavior and determine for which class of operators it applies, an extension of our investigations is necessary. Published by the American Physical Society 2024

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

SU-F-P-35: A Multi-Institutional Plan Quality Checking Tool Built On Oncospace: A Shared Radiation Oncology Database System

Purpose: Late toxicity from radiation to critical structures limits the possible dose in Radiation Therapy. Perfectly conformal treatment of a target is not realizable, so the clinician must accept a certain level of collateral radiation to nearby OARs. But how much? General guidelines exist for healthy tissue sparing which guide RT treatment planning, but are these guidelines good enough to create the optimal plan given the individualized patient anatomy? We propose a means to evaluate the planned dose level to an OAR using a multi-institutional data-store of previously treated patients, so a clinician might reconsider planning objectives. Methods: The tool is built on Oncospace, a federated data-store system, which consists of planning data import, web based analysis tools, and a database containing:1) DVHs: dose by percent volume delivered to each ROI for each patient previously treated and included in the database.2) Overlap Volume Histograms (OVHs): Anatomical measure defined as the percent volume of an ROI within a given distance to target structures.Clinicians know what OARs are important to spare. For any ROI, Oncospace knows for which patients’ anatomy that ROI was harder to plan in the past (the OVH is less). The planned dose should be close to the least dose of previous patients. The tool displays the dose those OARs were subjected to, and the clinician can make a determination about the planning objectives used.Multiple institutions contribute to the Oncospace Consortium, and their DVH and OVH data are combined and color coded in the output. Results: The Oncospace website provides a plan quality display tool which identifies harder to treat patients, and graphically displays the dose delivered to them for comparison with the proposed plan. Conclusion: The Oncospace Consortium manages a data-store of previously treated patients which can be used for quality checking new plans. Grant funding by Elekta.

60 APPLIED LIFE SCIENCES↗

Handling handles. Part II. Stratification and data analysis

In a previous work, we proposed an integrability setup for computing nonplanar corrections to correlation functions in $\mathcal{N}=4$ super-Yang-Mills theory at any value of the coupling constant. The procedure consists of drawing all possible tree-level graphs on a Riemann surface of given genus, completing each graph to a triangulation, inserting a hexagon form factor into each face, and summing over a complete set of states on each edge of the triangulation. The summation over graphs can be interpreted as a quantization of the string moduli space integration. The quantization requires a careful treatment of the moduli space boundaries, which is realized by subtracting degenerate Riemann surfaces, this procedure is called stratification. In this work, we precisely formulate our proposal and perform several perturbative checks. These checks require hitherto unknown multi-particle mirror contributions at one loop, which we also compute.

Supersymmetric Gauge Theory↗