Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “error correction.”

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 937 records · Page 52

Quantum computing hardware for HEP algorithms and sensing

Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several institutions (including Fermilab) of quantum hardware capable of demonstrating quantum advantage in multiple domains, from quantum computing to communications, to sensing. The Superconducting Quantum Materials and Systems (SQMS) Center, led by Fermilab, is dedicated to providing breakthroughs in quantum computing and sensing, mediating quantum engineering and HEP based material science. The main goal of the Center is to deploy quantum systems with superior performance tailored to the algorithms used in high energy physics. In this Snowmass paper, we discuss the two most promising superconducting quantum architectures for HEP algorithms, i.e. three-level systems (qutrits) supported by transmon devices coupled to planar devices and multi-level systems (qudits with arbitrary N energy levels) supported by superconducting 3D cavities. For each architecture, we demonstrate exemplary HEP algorithms and identify the current challenges, ongoing work and future opportunities. Furthermore, we discuss the prospects and complexities of interconnecting the different architectures and individual computational nodes. Finally, we review several different strategies of error protection and correction and discuss their potential to improve the performance of the two architectures. This whitepaper seeks to reach out to the HEP community and drive progress in both HEP research and QIS hardware.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Quantum Networks for High Energy Physics

Quantum networks of quantum objects promise to be exponentially more powerful than the objects considered independently. To live up to this promise will require the development of error mitigation and correction strategies to preserve quantum information as it is initialized, stored, transported, utilized, and measured. The quantum information could be encoded in discrete variables such as qubits, in continuous variables, or anything in-between. Quantum computational networks promise to enable simulation of physical phenomena of interest to the HEP community. Quantum sensor networks promise new measurement capability to test for new physics and improve upon existing measurements of fundamental constants. Such networks could exist at multiple scales from the nano-scale to a global-scale quantum network.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Beamline Instrumentation for Future Parity-Violation Experiments

The parity-violating electron scattering community has made tremendous progress over the last twenty five years in their ability to measure tiny asymmetries of order 100 parts per billion (ppb) with beam-related corrections and systematic errors of a few ppb. Future experiments are planned for about an order of magnitude smaller asymmetries and with higher rates in the detectors. These new experiments pose new challenges for the beam instrumentation and for the strategy for setting up the beam. In this contribution to PAVI14 I discuss several of these challenges and demands, with a focus on developments at Jefferson Lab.

Michaels, Robert↗

A novel application of cosmic rays for spent nuclear fuel monitoring - 15738

Monitoring nuclear waste and controlling spent nuclear fuel at its source is one of the main strategies to minimize the risks of nuclear proliferation and reduce potential homeland threats. Storage of high level waste from a fission reactor typically involves placing spent fuel in sealed dry casks. After the spent nuclear fuel has been placed inside the dry cask, the cask is welded, not allowing for visual inspection. Conventional methods for examining the interior of materials e.g., X-rays, are limited by the fact that they cannot penetrate very dense well-shielded objects. Instead, cosmic ray muons have the potential to allow for assessment of spent nuclear fuel stored within sealed dense dry casks. Objectives: 1.Exploit the ability of cosmic ray muons to penetrate high density materials allowing the distribution of materials within the object to be inferred from the muon tracks. 2. Develop a monitoring system that tracks the path of cosmic ray muons, including their deflection and attenuation, to identify the contents of a closed dry cask. Methods: - Monte-Carlo simulations using Geant4; - Bayesian decision theory for signal classification; - Wavelet analysis for noise cancellation; - Chaotic Neural Networks for signal encryption. Results: 1. Preliminary statistical analysis proved that the method is feasible and has the ability to identify the presence of spent nuclear fuel in a dry cask. 2. Using monoenergetic muons, a dry cask with one fuel assembly missing can be correctly identified with error rate <1%. Broader merit: Once completed, the proposed project for cosmic ray muon transport will enable a new and potentially transformative approach towards efficient, inexpensive and remote cosmic ray muon applications in archaeology, medicine and safeguarding of nuclear materials.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

A Point Kinetics Model for Estimating Neutron Multiplication of Bare Uranium Metal in Tagged Neutron Measurements

An extension of the point kinetics model is developed in this paper to describe the neutron multiplicity response of a bare uranium object under interrogation by an associated particle imaging deuterium-tritium (D-T) measurement system. This extended model is used to estimate the total neutron multiplication of the uranium. Both MCNPX-PoliMi simulations and data from active interrogation measurements of highly enriched and depleted uranium geometries are used to evaluate the potential of this method and to identify the sources of systematic error. The detection efficiency correction for measured coincidence response is identified as a large source of systematic error. If the detection process is not considered, results suggest that the method can estimate total multiplication to within 13% of the simulated value. Values for multiplicity constants in the point kinetics equations are sensitive to enrichment due to (n, xn) interactions by D-T neutrons and can introduce another significant source of systematic bias. This can theoretically be corrected if isotopic composition is known a priori. Finally, the spatial dependence of multiplication is also suspected of introducing further systematic bias for high multiplication uranium objects.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Quantitative cone-beam CT imaging in radiation therapy using planning CT as a prior: First patient studies

Purpose: Quantitative cone-beam CT (CBCT) imaging is on increasing demand for high-performance image guided radiation therapy (IGRT). However, the current CBCT has poor image qualities mainly due to scatter contamination. Its current clinical application is therefore limited to patient setup based on only bony structures. To improve CBCT imaging for quantitative use, we recently proposed a correction method using planning CT (pCT) as the prior knowledge. Promising phantom results have been obtained on a tabletop CBCT system, using a correction scheme with rigid registration and without iterations. More challenges arise in clinical implementations of our method, especially because patients have large organ deformation in different scans. In this paper, we propose an improved framework to extend our method from bench to bedside by including several new components. Methods: The basic principle of our correction algorithm is to estimate the primary signals of CBCT projections via forward projection on the pCT image, and then to obtain the low-frequency errors in CBCT raw projections by subtracting the estimated primary signals and low-pass filtering. We improve the algorithm by using deformable registration to minimize the geometry difference between the pCT and the CBCT images. Since the registration performance relies on the accuracy of the CBCT image, we design an optional iterative scheme to update the CBCT image used in the registration. Large correction errors result from the mismatched objects in the pCT and the CBCT scans. Another optional step of gas pocket and couch matching is added into the framework to reduce these effects. Results: The proposed method is evaluated on four prostate patients, of which two cases are presented in detail to investigate the method performance for a large variety of patient geometry in clinical practice. The first patient has small anatomical changes from the planning to the treatment room. Our algorithm works well even without the optional iterations and the gas pocket and couch matching. The image correction on the second patient is more challenging due to the effects of gas pockets and attenuating couch. The improved framework with all new components is used to fully evaluate the correction performance. The enhanced image quality has been evaluated using mean CT number and spatial nonuniformity (SNU) error as well as contrast improvement factor. If the pCT image is considered as the ground truth, on the four patients, the overall mean CT number error is reduced from over 300 HU to below 16 HU in the selected regions of interest (ROIs), and the SNU error is suppressed from over 18% to below 2%. The average soft-tissue contrast is improved by an average factor of 2.6. Conclusions: We further improve our pCT-based CBCT correction algorithm for clinical use. Superior correction performance has been demonstrated on four patient studies. By providing quantitative CBCT images, our approach significantly increases the accuracy of advanced CBCT-based clinical applications for IGRT.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

Implementation of Perdew–Zunger self-interaction correction in real space using Fermi–Löwdin orbitals

Most widely used density functional approximations suffer from self-interaction error, which can be corrected using the Perdew–Zunger (PZ) self-interaction correction (SIC). We implement the recently proposed size-extensive formulation of PZ-SIC using Fermi–Löwdin Orbitals (FLOs) in real space, which is amenable to systematic convergence and large-scale parallelization. Here, we verify the new formulation within the generalized Slater scheme by computing atomization energies and ionization potentials of selected molecules and comparing to those obtained by existing FLOSIC implementations in Gaussian based codes. The results show good agreement between the two formulations, with new real-space results somewhat closer to experiment on average for the systems considered. We also obtain the ionization potentials and atomization energies by scaling down the Slater statistical average of SIC potentials. The results show that scaling down the average SIC potential improves both atomization energies and ionization potentials, bringing them closer to experiment. Finally, we verify the present formulation by calculating the barrier heights of chemical reactions in the BH6 dataset, where significant improvements are obtained relative to Gaussian based FLOSIC results.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

MO-G-BRE-08: Taxonomy of Corrective Actions in Radiotherapy

Purpose: Various causal taxonomies have been developed for healthcare incidents and for radiation therapy in particular. The causal analysis of incidents leads to corrective actions which can also be organized into a taxonomy. Such a corrective action classification system would provide information about the situational context, the action type, and the leverage of the action in order to detect patterns in the corrective actions frequently employed in radiation therapy. It would also provide practical guidance to the radiation therapy community for determining the appropriateness and potential effectiveness of proposed corrective actions. Materials: A review of causal analysis reports and corrective action plans was conducted using the following sources: US NRC medical event reports, IAEA reports, ROSIS submissions, US Veterans Health Administration reports, and singleincident report sources. The corrective actions presented in the published sources were then mapped onto four corrective action taxonomy prototypes: role-based, safety-context-based, responsibility-based, and hierarchy of hazard control. The resulting corrective action taxonomy was then validated through use of the published sources. Results: The responsibility-based taxonomy and hierarchy of hazard taxonomy provided more intuitive and sensible categories than the role-based taxonomy or the safety-context taxonomy. The most frequent corrective actions were added safety barriers, training, process standardization, and development of a quality improvement program where one was lacking. Conclusion: Published corrective action statements in radiation therapy emphasize what to do more so than whom the recipient is or which process step is affected. The hierarchy of hazard taxonomy provides a suitable framework for radiation therapy and has the advantage of providing insight into the likelihood that a particular corrective action will mitigate the recurrence of the error it was meant to correct. This information would be useful to medical center administration, safety personnel, and regulators who must assess the projected efficacy of corrective actions. Derek Brown is a director of TreatSafely, LLC.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Scenario Development During Commissioning Operations on the National Spherical Torus Experiment Upgrade

The National Spherical Torus Experiment Upgrade (NSTX-U) will advance the physics basis required for achieving steady-state, high-beta, and high-confinement conditions in a tokamak by accessing high toroidal field (1 T) and plasma current (1.0 - 2.0 MA) in a low aspect ratio geometry (A = 1.6 - 1.8) with flexible auxiliary heating systems (12 MW NBI, 6 MW HHFW). This paper describes progress in the development of L- and H-mode discharge scenarios and the commissioning of operational tools in the first ten weeks of operation that enable the scientific mission of NSTX-U. Vacuum field calculations completed prior to operations supported the rapid development and optimization of inductive breakdown at different values of ohmic solenoid current. The toroidal magnetic field (B_T0 = 0.65 T) exceeded the maximum values achieved on NSTX and novel long-pulse L-mode discharges with regular sawtooth activity exceeded the longest pulses produced on NSTX (tpulse > 1.8s). The increased flux of the central solenoid facilitated the development of stationary L-mode discharges over a range of density and plasma current (Ip). H-mode discharges achieved similar levels of stored energy, confinement (H98y,2 > 1) and stability (beta_N/beta_N-nowall > 1) compared to NSTX discharges for Ip < 1 MA. High-performance H-mode scenarios require an L-H transition early in the Ip ramp-up phase in order to obtain low internal inductance (li) throughout the discharge, which is conducive to maintaining vertical stability at high elongation (kappa > 2.2) and achieving long periods of MHD quiescent operations. The rapid progress in developing L- and H-mode scenarios in support of the scientific program was enabled by advances in real-time plasma control, efficient error field identification and correction, effective conditioning of the graphite wall and excellent diagnostic availability.

Error field correction↗

Scenario development during commissioning operations on the National Spherical Torus Experiment Upgrade

The National Spherical Torus Experiment Upgrade (NSTX-U) will advance the physics basis required for achieving steady-state, high-beta, and high-confinement conditions in a tokamak by accessing high toroidal field (1 T) and plasma current (1.0 - 2.0 MA) in a low aspect ratio geometry (A = 1.6 - 1.8) with flexible auxiliary heating systems (12 MW NBI, 6 MW HHFW). This paper describes progress in the development of L- and Hmode discharge scenarios and the commissioning of operational tools in the first ten weeks of operation that enable the scientific mission of NSTX-U. Vacuum field calculations completed prior to operations supported the rapid development and optimization of inductive breakdown at different values of ohmic solenoid current. The toroidal magnetic field (BT0 = 0.65 T) exceeded the maximum values achieved on NSTX and novel long-pulse L-mode discharges with regular sawtooth activity exceeded the longest pulses produced on NSTX (tpulse > 1.8s). The increased flux of the central solenoid facilitated the development of stationary L-mode discharges over a range of density and plasma current (Ip). H-mode discharges achieved similar levels of stored energy, confinement (H98y,2 > 1) and stability (βN/βN-nowall > 1) compared to NSTX discharges for Ip ≤ 1 MA. High-performance H-mode scenarios require an L-H transition early in the Ip ramp-up phase in order to obtain low internal inductance (li) throughout the discharge, which is conducive to maintaining vertical stability at high elongation (κ > 2.2) and achieving long periods of MHD quiescent operations. The rapid progress in developing L- and H-mode scenarios in support of the scientific program was enabled by advances in real-time plasma control, efficient error field identification and correction, effective conditioning of the graphite wall and excellent diagnostic availability.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

A nonlinear lag correction algorithm for a-Si flat-panel x-ray detectors

Purpose: Detector lag, or residual signal, in a-Si flat-panel (FP) detectors can cause significant shading artifacts in cone-beam computed tomography reconstructions. To date, most correction models have assumed a linear, time-invariant (LTI) model and correct lag by deconvolution with an impulse response function (IRF). However, the lag correction is sensitive to both the exposure intensity and the technique used for determining the IRF. Even when the LTI correction that produces the minimum error is found, residual artifact remains. A new non-LTI method was developed to take into account the IRF measurement technique and exposure dependencies. Methods: First, a multiexponential (N = 4) LTI model was implemented for lag correction. Next, a non-LTI lag correction, known as the nonlinear consistent stored charge (NLCSC) method, was developed based on the LTI multiexponential method. It differs from other nonlinear lag correction algorithms in that it maintains a consistent estimate of the amount of charge stored in the FP and it does not require intimate knowledge of the semiconductor parameters specific to the FP. For the NLCSC method, all coefficients of the IRF are functions of exposure intensity. Another nonlinear lag correction method that only used an intensity weighting of the IRF was also compared. The correction algorithms were applied to step-response projection data and CT acquisitions of a large pelvic phantom and an acrylic head phantom. The authors collected rising and falling edge step-response data on a Varian 4030CB a-Si FP detector operating in dynamic gain mode at 15 fps at nine incident exposures (2.0%-92% of the detector saturation exposure). For projection data, 1st and 50th frame lag were measured before and after correction. For the CT reconstructions, five pairs of ROIs were defined and the maximum and mean signal differences within a pair were calculated for the different exposures and step-response edge techniques. Results: The LTI corrections left residual 1st and 50th frame lag up to 1.4% and 0.48%, while the NLCSC lag correction reduced 1st and 50th frame residual lags to less than 0.29% and 0.0052%. For CT reconstructions, the NLCSC lag correction gave an average error of 11 HU for the pelvic phantom and 3 HU for the head phantom, compared to 14-19 HU and 2-11 HU for the LTI corrections and 15 HU and 9 HU for the intensity weighted non-LTI algorithm. The maximum ROI error was always smallest for the NLCSC correction. The NLCSC correction was also superior to the intensity weighting algorithm. Conclusions: The NLCSC lag algorithm corrected for the exposure dependence of lag, provided superior image improvement for the pelvic phantom reconstruction, and gave similar results to the best case LTI results for the head phantom. The blurred ring artifact that is left over in the LTI corrections was better removed by the NLCSC correction in all cases.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Study of Self-Interaction Errors in Density Functional Calculations of Magnetic Exchange Coupling Constants Using Three Self-Interaction Correction Methods

We examine the role of self-interaction errors (SIE) removal on the evaluation of magnetic exchange coupling constants. In particular we analyze the effect of scaling down the self-interaction-correction (SIC) for three non-empirical density functional approximations (DFAs) namely, the local spin density approximation, the Perdew-Burke-Ernzerhof generalized gradient approximation, and recent SCAN family of meta-GGA functionals. To this end, we employ three one-electron SIC methods: Perdew-Zunger [Perdew, J. P.; Zunger, A. Phys. Rev. B, 1981, 23, 5048] SIC, the orbitalwise scaled SIC method [Vydrov, O. A. et al., J. Chem. Phys. 2006, 124, 094108], and the recent local scaling method [Zope, R. R. et al., J. Chem. Phys. 2019, 151, 214108]. We compute the magnetic exchange coupling constants using the spin projection and non projection approaches for sets of molecules composed of dinuclear and polynuclear H-He models, organic radical molecules, and chlorocuprate, and compare these results against accurate theories and experiment. Our results show that for the systems that mainly consist of single electron regions, PZSIC performs well but for more complex organic systems and the chlorcuprates, an overcorrecting tendency of PZSIC combined with the DFAs utilized in this work is more pronounced, and in such cases LSIC with kinetic energy density ratio performs better than PZSIC. Furthermore, analysis of the results in terms of SIC corrections to the density and to the total energy shows that both density and energy correction are required to obtain an improved prediction of magnetic exchange couplings.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Impact of numerical choices on water conservation in the E3SM Atmosphere Model version 1 (EAMv1)

Abstract. The conservation of total water is an important numerical feature for global Earth system models. Even small conservation problems in the water budget can lead to systematic errors in century-long simulations. This study quantifies and reduces various sources of water conservation error in the atmosphere component of the Energy Exascale Earth System Model. Several sources of water conservation error have been identified during the development of the version 1 (V1) model. The largest errors result from the numerical coupling between the resolved dynamics and the parameterized sub-grid physics. A hybrid coupling using different methods for fluid dynamics and tracer transport provides a reduction of water conservation error by a factor of 50 at 1∘ horizontal resolution as well as consistent improvements at other resolutions. The second largest error source is the use of an overly simplified relationship between the surface moisture flux and latent heat flux at the interface between the host model and the turbulence parameterization. This error can be prevented by applying the same (correct) relationship throughout the entire model. Two additional types of conservation error that result from correcting the surface moisture flux and clipping negative water concentrations can be avoided by using mass-conserving fixers. With all four error sources addressed, the water conservation error in the V1 model becomes negligible and insensitive to the horizontal resolution. The associated changes in the long-term statistics of the main atmospheric features are small. A sensitivity analysis is carried out to show that the magnitudes of the conservation errors in early V1 versions decrease strongly with temporal resolution but increase with horizontal resolution. The increased vertical resolution in V1 results in a very thin model layer at the Earth's surface, which amplifies the conservation error associated with the surface moisture flux correction. We note that for some of the identified error sources, the proposed fixers are remedies rather than solutions to the problems at their roots. Future improvements in time integration would be beneficial for V1.

54 ENVIRONMENTAL SCIENCES↗

Impact of numerical choices on water conservation in the E3SM Atmosphere Model Version 1 (EAM V1)

The conservation of total water is an important numerical feature for global Earth system models. Even small conservation problems in the water budget can lead to systematic errors in century-long simulations for sea level rise projection. This study quantifies and reduces various sources of water conservation error in the atmosphere component of the Energy Exascale Earth System Model. Several sources of water conservation error have been identified during the development of the version 1 (V1) model. The largest errors result from the numerical coupling between the resolved dynamics and the parameterized sub-grid physics. A hybrid coupling using different methods for fluid dynamics and tracer transport provides a reduction of water conservation error by a factor of 50 at 1&deg; horizontal resolution as well as consistent improvements at other resolutions. The second largest error source is the use of an overly simplified relationship between the surface moisture flux and latent heat flux at the interface between the host model and the turbulence parameterization. This error can be prevented by applying the same (correct) relationship throughout the entire model. Two additional types of conservation error that result from correcting the surface moisture flux and clipping negative water concentrations can be avoided by using mass-conserving fixers. With all four error sources addressed, the water conservation error in the V1 model is negligible and insensitive to the horizontal resolution. The associated changes in the long-term statistics of the main atmospheric features are small. A sensitivity analysis is carried out to show that the magnitudes of the conservation errors decrease strongly with temporal resolution but increase with horizontal resolution. The increased vertical resolution in the new model results in a very thin model layer at the Earth’s surface, which amplifies the conservation error associated with the surface moisture flux correction. We note that for some of the identified error sources, the proposed fixers are remedies rather than solutions to the problems at their roots. Future improvements in time integration would be beneficial for this model.

Zhang, Kai↗

Enhancing atlas based segmentation with multiclass linear classifiers

Purpose: To present a method to enrich atlases for atlas based segmentation. Such enriched atlases can then be used as a single atlas or within a multiatlas framework. Methods: In this paper, machine learning techniques have been used to enhance the atlas based segmentation approach. The enhanced atlas defined in this work is a pair composed of a gray level image alongside an image of multiclass classifiers with one classifier per voxel. Each classifier embeds local information from the whole training dataset that allows for the correction of some systematic errors in the segmentation and accounts for the possible local registration errors. The authors also propose to use these images of classifiers within a multiatlas framework: results produced by a set of such local classifier atlases can be combined using a label fusion method. Results: Experiments have been made on the in vivo images of the IBSR dataset and a comparison has been made with several state-of-the-art methods such as FreeSurfer and the multiatlas nonlocal patch based method of Coupé or Rousseau. These experiments show that their method is competitive with state-of-the-art methods while having a low computational cost. Further enhancement has also been obtained with a multiatlas version of their method. It is also shown that, in this case, nonlocal fusion is unnecessary. The multiatlas fusion can therefore be done efficiently. Conclusions: The single atlas version has similar quality as state-of-the-arts multiatlas methods but with the computational cost of a naive single atlas segmentation. The multiatlas version offers a improvement in quality and can be done efficiently without a nonlocal strategy.

60 APPLIED LIFE SCIENCES↗

Adaptive error detection for HDR/PDR brachytherapy: Guidance for decision making during real-time in vivo point dosimetry

Purpose: This study presents an adaptive error detection algorithm (AEDA) for real-timein vivo point dosimetry during high dose rate (HDR) or pulsed dose rate (PDR) brachytherapy (BT) where the error identification, in contrast to existing approaches, does not depend on an a priori reconstruction of the dosimeter position. Instead, the treatment is judged based on dose rate comparisons between measurements and calculations of the most viable dosimeter position provided by the AEDA in a data driven approach. As a result, the AEDA compensates for false error cases related to systematic effects of the dosimeter position reconstruction. Given its nearly exclusive dependence on stable dosimeter positioning, the AEDA allows for a substantially simplified and time efficient real-time in vivo BT dosimetry implementation. Methods: In the event of a measured potential treatment error, the AEDA proposes the most viable dosimeter position out of alternatives to the original reconstruction by means of a data driven matching procedure between dose rate distributions. If measured dose rates do not differ significantly from the most viable alternative, the initial error indication may be attributed to a mispositioned or misreconstructed dosimeter (false error). However, if the error declaration persists, no viable dosimeter position can be found to explain the error, hence the discrepancy is more likely to originate from a misplaced or misreconstructed source applicator or from erroneously connected source guide tubes (true error). Results: The AEDA applied on twoin vivo dosimetry implementations for pulsed dose rate BT demonstrated that the AEDA correctly described effects responsible for initial error indications. The AEDA was able to correctly identify the major part of all permutations of simulated guide tube swap errors and simulated shifts of individual needles from the original reconstruction. Unidentified errors corresponded to scenarios where the dosimeter position was sufficiently symmetric with respect to error and no-error source position constellations. The AEDA was able to correctly identify all false errors represented by mispositioned dosimeters contrary to an error detection algorithm relying on the original reconstruction. Conclusions: The study demonstrates that the AEDA error identification during HDR/PDR BT relies on a stable dosimeter position rather than on an accurate dosimeter reconstruction, and the AEDA’s capacity to distinguish between true and false error scenarios. The study further shows that the AEDA can offer guidance in decision making in the event of potential errors detected with real-timein vivo point dosimetry.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

A formally certified end-to-end implementation of Shor’s factorization algorithm

Quantum computing technology may soon deliver revolutionary improvements in algorithmic performance, but it is useful only if computed answers are correct. While hardware-level decoherence errors have garnered significant attention, a less recognized obstacle to correctness is that of human programming errors—“bugs.” Techniques familiar to most programmers from the classical domain for avoiding, discovering, and diagnosing bugs do not easily transfer, at scale, to the quantum domain because of its unique characteristics. To address this problem, we have been working to adapt formal methods to quantum programming. With such methods, a programmer writes a mathematical specification alongside the program and semiautomatically proves the program correct with respect to it. The proof’s validity is automatically confirmed—certified—by a “proof assistant.” Formal methods have successfully yielded high-assurance classical software artifacts, and the underlying technology has produced certified proofs of major mathematical theorems. As a demonstration of the feasibility of applying formal methods to quantum programming, we present a formally certified end-to-end implementation of Shor’s prime factorization algorithm, developed as part of a framework for applying the certified approach to general applications. By leveraging our framework, one can significantly reduce the effects of human errors and obtain a high-assurance implementation of large-scale quantum applications in a principled way.

Science & Technology - Other Topics↗