Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Compiler techniques”

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 541 records · Page 30

The Burst and Transient Source Experiment (BATSE) Earth Occultation Catalog of Low-Energy Gamma-Ray Sources

The Burst and Transient Source Experiment (BATSE), aboard the Compton Gamma Ray Observatory (CGRO), provided a record of the low-energy gamma-ray sky (approx. 20-1000 keV) between 1991 April and 2000 May (9.1 yr). BATSE monitored the high-energy sky using the Earth occultation technique (EOT) for point sources whose emission extended for times on the order of the CGRO orbital period (approx. 92 min) or greater. Using the EOT to extract flux information, a catalog of sources using data from the BATSE Large Area Detectors has been prepared. The first part of the catalog consists of results from the all-sky monitoring of 58 sources, mostly Galactic, with intrinsic variability on timescales of hours to years. For these sources, we have included tables of flux and spectral data, and outburst times for transients. Light curves (or flux histories) have been placed on the World Wide Web. We then performed a deep sampling of these 58 objects, plus a selection of 121 more objects, combining data from the entire 9.1 yr BATSE data set. Source types considered were primarily accreting binaries, but a small number of representative active galaxies, X-ray-emitting stars, and supernova remnants were also included. The sample represents a compilation of sources monitored and/or discovered with BATSE and other high-energy instruments between 1991 and 2000, known sources taken from the HEAO 1 A-4 and Macomb & Gehrels catalogs. The deep sample results include definite detections of 83 objects and possible detections of 36 additional objects. The definite detections spanned three classes of sources: accreting black hole and neutron star binaries, active galaxies, and Supernova remnants. The average fluxes measured for the fourth class, the X-ray emitting stars, were below the confidence limit for definite detection.

Harmon, B. A.↗

A time-parallel multiple-shooting method for large-scale quantum optimal control

Quantum optimal control plays a crucial role in quantum computing by providing the interface between compiler and hardware. Solving the optimal control problem is particularly challenging for multi-qubit gates, due to the exponential growth in computational complexity with the system's dimensionality and the deterioration of optimization convergence. To ameliorate the computational complexity of time-integration, this paper introduces a multiple-shooting approach in which the time domain is divided into multiple windows and the intermediate states at window boundaries are treated as additional optimization variables. Further, this enables parallel computation of state evolution across time-windows, significantly accelerating objective function and gradient evaluations. Since the initial state matrix in each window is only guaranteed to be unitary upon convergence of the optimization algorithm, the conventional gate trace infidelity is replaced by a generalized infidelity that is convex for non-unitary state matrices. Continuity of the state across window boundaries is enforced by equality constraints. A quadratic penalty optimization method is used to solve the constrained optimal control problem, and an efficient adjoint technique is employed to calculate the gradients in each iteration. We demonstrate the effectiveness of the proposed method through numerical experiments on quantum Fourier transform gates in systems with 2, 3, and 4 qubits, noting a speedup of 80x for evaluating the gradient in the 4-qubit case, highlighting the method's potential for optimizing control pulses in multi-qubit quantum systems.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

The Burst and Transient Source Experiment(BATSE)Earth Occultation Catalog of Low-Energy Gamma-Ray Sources. Short title: BATSE Earth Occultation Catalog v2.0

The Burst and Transient Source Experiment (BATSE), aboard the Compton Gamma Ray Observatory (CGRO), provided a record of the low-energy gamma-ray sky (approx. 20-1000 keV) between 1991 April and 2000 May (9.1y). BATSE monitored the high energy sky using the Earth occultation technique (EOT) for point sources whose emission extended for times on the order of the CGRO orbital period (approx. 92m) or greater. Using the EOT to extract flux - 2 - information, a catalog of sources using data from the BATSE large area detectors has been prepared. The first part of the catalog consists of results from the all-sky monitoring of 58 sources, mostly Galactic, with intrinsic variability on timescales of hours to years. For these sources, we have included tables of flux and spectral data, and outburst times for transients. Light curves (or flux histories) covering the entire nine mission are being placed on the world wide web. We then performed a deep-sampling of these 58 objects, plus a selection of 121 more objects, combining data from the entire 9.ly BATSE dataset. Source types considered were primarily accreting binaries, but a small number of representative active galaxies, X-ray-emitting stars, and supernova remnants were also included. The sample represents a compilation of sources monitored and/or discovered with BATSE and other high energy instruments between 1991 and 2000, known sources taken from the HEAO 1 A-4 (Levine et al. 1984) and Macomb and Gehrels (1999) catalogs. The deep sample results include definite detections of 82 objects and possible detections of 36 additional objects. The definite detections spanned three classes of sources: accreting black hole and neutron star binaries, active galaxies and supernova remnants. The average fluxes measured for the fourth class, the X-ray emitting stars, were below the confidence limit for definite detection. Flux data for the deep sample are presented in four energy bands: 20-40, 40-70, 70-160, and 160-430 keV. The limiting average flux level (9.1 y) for the sample varies from 3.5 to 20 mCrab (5delta) between 20 and 430 keV, depending on systematic error, which in turn is primarily dependent on the sky location. To strengthen the credibility of detection of weaker sources (approx.5-25 mCrab), we generated Earth occultation images, searched for periodic behavior using FFT and epoch folding methods, and critically evaluated the energy-dependent emission in the four flux bands. The deep sample results are intended for guidance in performing future all-sky surveys or pointed observations in the hard X-ray and low-energy gamma-ray band, as well as more detailed studies with the BATSE EOT.

Harmon, B. A.↗

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗

An object-oriented approach to nested data parallelism

This paper describes an implementation technique for integrating nested data parallelism into an object-oriented language. Data-parallel programming employs sets of data called 'collections' and expresses parallelism as operations performed over the elements of a collection. When the elements of a collection are also collections, then there is the possibility for 'nested data parallelism.' Few current programming languages support nested data parallelism however. In an object-oriented framework, a collection is a single object. Its type defines the parallel operations that may be applied to it. Our goal is to design and build an object-oriented data-parallel programming environment supporting nested data parallelism. Our initial approach is built upon three fundamental additions to C++. We add new parallel base types by implementing them as classes, and add a new parallel collection type called a 'vector' that is implemented as a template. Only one new language feature is introduced: the 'foreach' construct, which is the basis for exploiting elementwise parallelism over collections. The strength of the method lies in the compilation strategy, which translates nested data-parallel C++ into ordinary C++. Extracting the potential parallelism in nested 'foreach' constructs is called 'flattening' nested parallelism. We show how to flatten 'foreach' constructs using a simple program transformation. Our prototype system produces vector code which has been successfully run on workstations, a CM-2, and a CM-5.

Sheffler, Thomas J.↗

Ballistocardiography, a Bibliography <1877 - 1964<

The publication of this bibliography on Ballistocardiography, NASA SP-7021 (FAA AM 65-15) fulfills a long-standing requirement for a comprehensive and retrospective collection of references on a subject that is of particular interest to medical investigators and cardiovascular physiologists engaged in aerospace studies. Ballistocardiography is a technique for producing a graphical representation of repetitive motions of the human body arising from the sudden ejection of blood into the great vessels with each heart beat. Standard ballistocardiographic techniques are emphasized in the references included in the bibliography, but attention is also given to several related methods that are used to record these phenomena and to the equipment and instrumentation employed in such investigations. The format of the citations in NASA SP-7021 (FAA AM 65-15) was chosen to resemble, as closely as possible, the format that is now being used in the Index Medicwl published by the National Library of Medicine, except that English titles of foreign language articles appear in parentheses instead of in brackets as they do in Index Medicus. In each case, an attempt was made to identify the language of the article, or the place of publication of the foreign language journal. Since the citations were gathered over a period of years and occasionally from sources which do not appear in standard indexes, complete information was not always available. Citations are arranged alphabetically by personal author. In a large measure, the comprehensivenes of this collection of references is due to information obtained from card files compiled and maintained by Dr. William R. Scarborough of the Georgetown Clinical Research Institute, Office of Aviation Medicine, FAA, supplemented by the private collections of Drs. Isaac Starr, Abraham Noordergraaf, and John L. Nickerson. Selection and preparation of individual references and general editing of the material was done by Dr. Scarborough, who received valuable assistance from Mrs. Claire Tedesco of the Medical Library Branch of the FAA Library. Final compilation and printing were completed under the supervision of NASA.

AEROSPACE MEDICINE↗

Microscopic and Metallurgical Aspects of the Space Shuttle Columbia Accident Investigation and Reconstruction

The Space Shuttle Columbia was descending for a landing at the Kennedy Space Center (KSC) on February 1, 2003. Approximately 20 minutes prior to touchdown, the Columbia began disintegrating over the western United States; the majority of debris eventually impacted in eastern Texas and western Louisiana. A monumental effort eventually recovered approximately 84,000 pieces of debris, approximately 38% of the Orbiter's original dry weight. The debris was transported to KSC, where the items were catalogued and evaluated. Critical areas of interest, such as the left and right leading edge surfaces and the underside of the ship, were placed upon a grid to aid in the reconstruction. Items of interest included metallic structures, reinforced carbon-carbon composites, and ceramic heat insulation tiles. Many of the leading edge elements had re-solidified metallic deposits spattered on them. These deposits became known as slag and were one of the main focuses of the investigation. In order to help determine the sequence of events inside the left wing during the accident, the slag's composition, layering order, and directionality of deposition were studied. A myriad of analytical tests were performed in an attempt to ascertain the compositional and depositional characteristics of selected slag deposits, including the ordering of deposited layers within each individual slag deposit harvested. Initially, Scanning Electron Microscopy and Energy Dispersive X-Ray Spectroscopy (SEM/EDX) were performed to quickly characterize the overall composition of individual slag deposits: SEM utilizes a narrowlyfocused high-energy electron beam impinging upon a specimen. The incident beam excites and liberates lower energy secondary electrons, which are detected and analyzed, providing a visual representation of the sample's surface topography. EDX also relies on an incident electron beam, except an EDX unit measures X-ray energies generated by the impinging beam. Each element generates a unique X-ray signature; the EDX detector measures these discreet energies. EDX actually penetrates approximately 2 microns into the bulk of the sample. However, random examination of various portions of slag, coupled with the semiquantitative nature of the SEM/EDX analysis, did not yield convincingly pertinent data. Therefore, X-ray dot mapping was conducted, which provided more understandable data, both in terms of slag layering and composition. An X-ray dot map is generated by performing numerous EDX scans for individual elements, then compiling the scans in a visual representation. Eventually, specimens consisting of not only the slag, but of the adjacent RCC substrate as well were cross-sectioned. X-Ray dot mapping of the materialographicallymounted and -polished cross- sections provided a visual representation of both the layering sequence and compositional characteristics of the slag. Contemporaneously, Electron Spectroscopy for Chemical Analysis/X-Ray Photoelectron Spectroscopy (ESCA/XPS) and powdered X-Ray Diffraction (XRD) were performed to further characterize the deposits and to attempt to identify what, if any, compounds were present. The ESCA/XPS analysis allowed the analyst to "sputter" into the sample with an electron gun, aiding in the identification of the layering sequence. XPS uses photons, rather than electrons, which impinge upon the surface of the sample. XPS measures the electrons emitted from within the first 5 nm of the sample's surface. The XRD measures the scatter angles of incident X-rays; the angle and intensity of scatter depend upon the crystalline structure of the pulverized sample. XRD is considered a qualitative rather than quantitative technique. ESCA/XPS revealed that the final layer to deposit was predominantly carbonaceous. XRD was successful in identifying specific compounds, such as Al 2O3, Al and/or Al3 21SiO47, mullite (3(Al2)O3 -SiO2), and nickel-aluminides. Eventually, Electron MicroProbe Analysis (EMPA) was conducted on the marialographically-prepared cross- sections of selected slag deposits. Microprobe combines SEM and Wavelength Dispersive X-Ray Spectroscopy (WDS), and, like EDX, uses a narrowly-focused high-energy electron beam impinging upon a specimen to elicit, in the case of EPMA, characteristic X-rays with specific wavelengths. This quantitative, analytical tool proved the most useful in determining depositional layering and composition of the slag deposits. This information was utilized in verifying the location of the breach in the left leading edge of the wing of the Columbia.

McDaniels, Steven J.↗

MRCI Task 3: Facilitating Data Collection, Sharing, and Analysis Final Technical Summary Report

The Midwest Regional Carbon Initiative (MRCI) Task 3.0 was defined to facilitate development of carbon capture, utilization, and storage (CCUS) in the region by collection and sharing of existing and new technical data from CCUS projects and research. The task also included support for further analysis and assessment of tools by the project team and by researchers working on programs such as National Risk Assessment Partnership (NRAP), machine learning (ML) techniques, and assessment and improvement of CCUS site assessment, operations, and monitoring aspects. Work under Task 3.0 addressed key issues related to CCUS deployment and provided foundational research and datasets to help establish CCUS projects in the MRCI. Report Authors and Principal Technical Contributors: Joel Sminchak, Laura Keister, Mackenzie Scharenberg, Priya Ravi-Ganesh, Autumn Haagsma, Srikanta Mishra, Jared Hawkins, Jared Schuetter, Amy Lang, Jaelen Lewis, Derrick James, Jorge Barrios, Stuart Skopec, and Sanjay Mawalkar (Battelle). Chris Korose, Carl Carmen, Nate Grigsby, Nathan Webb (Illinois State Geological Survey). Principal Investigators: Dr Neeraj Gupta, Dr. Chris Korose.

MRCI,NRAP,data collection,data compilation,legacy ↗

The Role of Ontologies in Schema-based Program Synthesis

Program synthesis is the process of automatically deriving executable code from (non-executable) high-level specifications. It is more flexible and powerful than conventional code generation techniques that simply translate algorithmic specifications into lower-level code or only create code skeletons from structural specifications (such as UML class diagrams). Key to building a successful synthesis system is specializing to an appropriate application domain. The AUTOBAYES and AUTOFILTER systems, under development at NASA Ames, operate in the two domains of data analysis and state estimation, respectively. The central concept of both systems is the schema, a representation of reusable computational knowledge. This can take various forms, including high-level algorithm templates, code optimizations, datatype refinements, or architectural information. A schema also contains applicability conditions that are used to determine when it can be applied safely. These conditions can refer to the initial specification, to intermediate results, or to elements of the partially-instantiated code. Schema-based synthesis uses AI technology to recursively apply schemas to gradually refine a specification into executable code. This process proceeds in two main phases. A front-end gradually transforms the problem specification into a program represented in an abstract intermediate code. A backend then compiles this further down into a concrete target programming language of choice. A core engine applies schemas on the initial problem specification, then uses the output of those schemas as the input for other schemas, until the full implementation is generated. Since there might be different schemas that implement different solutions to the same problem this process can generate an entire solution tree. AUTOBAYES and AUTOFILTER have reached the level of maturity where they enable users to solve interesting application problems, e.g., the analysis of Hubble Space Telescope images. They are large (in total around 100kLoC Prolog), knowledge intensive systems that employ complex symbolic reasoning to generate a wide range of non-trivial programs for complex application do- mains. Their schemas can have complex interactions, which make it hard to change them in isolation or even understand what an existing schema actually does. Adding more capabilities by increasing the number of schemas will only worsen this situation, ultimately leading to the entropy death of the synthesis system. The root came of this problem is that the domain knowledge is scattered throughout the entire system and only represented implicitly in the schema implementations. In our current work, we are addressing this problem by making explicit the knowledge from Merent parts of the synthesis system. Here; we discuss how Gruber's definition of an ontology as an explicit specification of a conceptualization matches our efforts in identifying and explicating the domain-specific concepts. We outline the dual role ontologies play in schema-based synthesis and argue that they address different audiences and serve different purposes. Their first role is descriptive: they serve as explicit documentation, and help to understand the internal structure of the system. Their second role is prescriptive: they provide the formal basis against which the other parts of the system (e.g., schemas) can be checked. Their final role is referential: ontologies also provide semantically meaningful "hooks" which allow schemas and tools to access the internal state of the program derivation process (e.g., fragments of the generated code) in domain-specific rather than language-specific terms, and thus to modify it in a controlled fashion. For discussion purposes we use AUTOLINEAR, a small synthesis system we are currently experimenting with, which can generate code for solving a system of linear equations, Az = b.

Bures, Tomas↗

A Tool for Automatic Data Distribution for CFD Applications on Structured Grids

Development of HPF versions of NPB and ARC3D has shown that HPF provides an efficient, concise way to express parallelism and to organize data traffic. The use of HPF, as noted in the papers, requires an intimate knowledge of the applications and a detailed analysis of data affinity, data movement, and data granularity. To simplify and accelerate the task of developing HPF versions of existing CFD applications we have designed and implemented ADAPT (Automatic Data Alignment and Placement Tool). ADAPT analyzes a CFD application working on a single structured grid and generates HPF TEMPLATE, (RE)DISTRIBUTION, ALIGNMENT, and INDEPENDENT directives. The directives can be generated on the nest level, subroutine level, application level, or on the application interface level. ADAPT annotates an existing CFD FORTRAN application, performing computations on single or multiple grids. On each grid the application is considered as a sequence of operators, each applied to a set of variables defined in a particular grid domain. ADAPT automatically detects implicit operators (i.e., having data dependences) and explicit operators (without data dependences). For parallelization of an explicit operator ADAPT creates a template for the operator domain, aligns arrays used in the operator with the template, distributes the template, and declares the loops over the distributed dimensions as INDEPENDENT. For parallelization of an implicit operator, the distribution of the operator's domain should be consistent with the operator's dependences. Any dependence between sections distributed on different processors would preclude parallelization if the compiler does not have an ability to pipeline computations. If a data distribution is "orthogonal" to the dependences of an implicit operator, then the loop which implements the operator can be declared as INDEPENDENT. ADAPT starts with an analysis of array index expressions of the loop nests. For each pair of arrays referenced in an assignment statement, it generates an arc in the alignment graph and annotates it with an affinity relation. The template, alignment, and distribution directives for a particular loop nest are then derived from a transitive closure of the affinity relation. A compromise of data distributions in different nests and subroutines is achieved by merging annotated alignment graphs for adjacent nests/stibroutine calls in the nest/call graph of the application in the process called distribution lifting. ADAPT has been implemented as a C++ program running in conjunction with a parallelization tool called CAPTools. ADAPT uses the parse tree, interprocedural analysis and application database generated by CAPTools. It also uses the Directed Graph class, initially implemented in p2d2 (parallel debugger oi distributed programs), and some other classes supporting symbolic computations. ADAPT uses data distribution techniques described. ADAPT was tested with ARC3D and the FT benchmark and has demonstrated a code performance within a factor of 1.5 of handwritten versions.

Frumkin, Michael↗

Cross sections for the formation of Rb84m,g, Rb83, and Rb82m in Sr86(d,x) reactions up to deuteron energies of 49 MeV: Competition between α-particle and multinucleon emission processes

Cross sections of Sr86(d,x) reactions leading to the products Rb84m,g, Rb83, and Rb82m were measured by the stacked-sample activation technique up to deuteron energies of 49 MeV. Nuclear model calculations were performed using the codes talys and empire, which combine the statistical, precompound, and direct interaction components. In all cases, the empire results were much higher than the talys calculation. Fairly good agreement was obtained between measured data and the talys calculation after some optimization of the input model parameters. Insight into competition between α-particle and multinucleon emission in the Y88 compound-nucleus system was also gained.

59 ≤ A ≤ 89↗

ASpect: A new spectrum and line analysis package for IRAF

We examined several publicly available spectral analysis software packages looking for one with enough functionality and versatility to meet the analysis needs of astronomers during the next decade. None of those examined can satisfactorily support the wide variety of panchromatic science programs that are now becoming possible. Furthermore, we concluded that none of these packages can be simply modified to include critical functions because of their original (limited) designs. During the next two years we will write a new spectral analysis package, ASpect, that will incorporate the latest analysis techniques for astronomical spectra in all wavelength domains. The ASpect package has several functional requirements. It must operate on spectra from a wide variety of ground-based and space-based instruments spanning wavelengths from radio to gamma rays. It must accommodate non-linear dispersion relations. It must provide a variety of functions, individually or in combination, with which to fit spectral features and the continuum. It is vitally important that known bad data be masked and that, uncertainties be propagated throughout the calculations in order for astronomers to evaluate the reliability of results. Finally, this new package must provide a powerful, intuitive graphical user interface to handle the burden of data input/output (I/O), on-line 'help,' selection of relevant features for analysis, plotting and graphical interaction, and data base management--all in a comprehensible environment. We anticipate that ASpect will take the form of an external package in IRAF (such as the NOAO and STSDAS packages) and will be layered upon the IRAF virtual Operating System to make it available on as many platforms as possible, while making it resistant to changes in operating systems and compilers. Our choice of IRAF is motivated by its portability, its wide use within the astronomical community, and its rich set of existing user applications.

Hulbert, S. J.↗

Postdoctoral insights on mentoring excellence: a framework for best practices at Sandia National labs

The Sandia National Laboratories Strategic Plan FY24-FY27, updated for FY25, outlines Sandia’s two Big Labs-wide Goals, Accelerate Innovation and Lead in Modern Engineering. The goal of Accelerate Innovation is that “by FY27, Sandia will be a leader in scientific, engineering and operational innovation and an employer of choice for highly innovative and creative talent.” Sandia’s postdocs are leaders in innovation, well-versed in emerging techniques and cutting-edge methods, and capable of acting as a highly agile technical force across domains at the lab. As a federally funded research and development center (FFRDC), Sandia National Laboratories attracts top doctoral talent by offering a unique opportunity for postdoctoral researchers to develop at the crossroads of government, academia, and industry, working in multi-disciplinary teams and performing cutting-edge, mission-specific research that responds to immediate needs of national interest. However, this creates unique opportunities and demands of both postdoctoral appointees and the Sandia staff who act as their mentors, making mentorship key to attract talent. Since 2007 the Sandia Postdoctoral Development (SPD) Board, originally Postdoc To Professional (PD2P), a networking group at Sandia composed of a voluntary board of current postdocs and two staff liaisons, has advocated for postdoctoral development within Sandia National Labs. In this white paper, SPD board members and the Sandia Postdoctoral Development Office, organized in 2019, have come together to develop a comprehensive overview of the postdoctoral mentoring landscape at Sandia National Labs as we currently know it. By scouring various forms of data from efforts since 2018, we’ve compiled a community-derived perspective on what makes postdoctoral mentorship at Sandia unique. First, we analyze working sessions held between mentors and mentees to develop a comprehensive map of who is involved in postdoctoral mentorship at the lab and how the responsibilities are divided amongst mentors and mentees. We then combine multiple forms of data, including exit surveys, annual surveys, and community workshops, to identify the specific challenges that mentors and mentees encounter at the national lab. Finally, we use text mining and sentiment analysis to analyze mentoring award data to develop an idea of what postdocs are self-identifying as excellent mentorship within the lab. It is our goal that this white paper act as an ongoing resource to the postdoc and postdoc mentoring communities and provide a firm foundation for further conversations on the future of postdoctoral mentorship at Sandia National Labs.

99 GENERAL AND MISCELLANEOUS↗

A Study of Cirrus Clouds and Aerosols in the Upper Troposphere using Models and Satellite Data

This report is the final report for the Cooperative Agreement NCC2-1213. It is a compilation of publications produced under this Cooperative Agreement and conference presentations. The tasks for the Aerosol Physical Chemistry Model for the Upper Troposphere include: Task 1: To compare APCM predictions against the SUCCESS data and other aircraft campaigns and to investigate the role of aerosol composition on cirrus cloud nucleation; Task 2: To study the seasonal evolution and spatial distribution of upper-tropospheric tropical and polar cirrus; Task 3: To investigate CLAES cirrus data with other complementary (TOGA-COARE and CEPEX) data. Tasks for Upper Tropospheric Cirrus Clouds include: Task 1: Assemble 3-hourly (or more frequent) meteorological satellite data fiom geostationary satellites to obtain a global, or nearly global, dataset of infiared brightness temperatures as a function of time for airborne experimental periods; Task 2: Explore methods to improve the cloud top altitude distributions calculated fiom meteorological satellite data. This will focus on linlung the 6.5 micron channel geostationary brightness temperatures and the 10.5 micron brightness temperatures; Task 3: Explore methods to differentiate convective fiom stratiform cloudiness; Task 4: Perform trajectory analyses using an existing trajectory modeling package that links the cloud data with air mass histories; Task 5: Apply techniques from tasks 1 through 4 to provide meteorological support to the CRYSTAL-FACE mission, both in its preparation and deployment phases. The report include four published articles and two slide presentations.

Bergstrom, Robert W.↗

Astronaut Preflight Cardiovascular Variables Associated with Vascular Compliance are Highly Correlated with Post-Flight Eye Outcome Measures in the Visual Impairment Intracranial Pressure (VIIP) Syndrome Following Long Duration Spaceflight

The detection of the first VIIP case occurred in 2005, and adequate eye outcome measures were available for 31 (67.4%) of the 46 long duration US crewmembers who had flown on the ISS since its first crewed mission in 2000. Therefore, this analysis is limited to a subgroup (22 males and 9 females). A "cardiovascular profile" for each astronaut was compiled by examining twelve individual parameters; eleven of these were preflight variables: systolic blood pressure, pulse pressure, body mass index, percentage body fat, LDL, HDL, triglycerides, use of anti‐lipid medication, fasting serum glucose, and maximal oxygen uptake in ml/kg. Each of these variables was averaged across three preflight annual physical exams. Astronaut age prior to the long duration mission, and inflight salt intake was also included in the analysis. The group of cardiovascular variables for each crew member was compared with seven VIIP eye outcome variables collected during the immediate post‐flight period: anterior-posterior axial length of the globe measured by ultrasound and optical biometry; optic nerve sheath diameter, optic nerve diameter, and optic nerve to sheath ratio‐ each measured by ultrasound and magnetic resonance imaging (MRI), intraocular pressure (IOP), change in manifest refraction, mean retinal nerve fiber layer (RNFL) on optical coherence tomography (OCT), and RNFL of the inferior and superior retinal quadrants. Since most of the VIIP eye outcome measures were added sequentially beginning in 2005, as knowledge of the syndrome improved, data were unavailable for 22.0% of the outcome measurements. To address the missing data, we employed multivariate multiple imputation techniques with predictive mean matching methods to accumulate 200 separate imputed datasets for analysis. We were able to impute data for the 22.0% of missing VIIP eye outcomes. We then applied Rubin's rules for collapsing the statistical results across our 200 multiply imputed data sets to assess the canonical correlation between the eye outcomes and the twelve astronaut cardiovascular variables available for all 31 subjects. Results: A highly significant canonical correlation was observed among the canonical solutions (p<.00001), with an average best canonical correlation of.97. The results suggest a strong association between astronauts' measures of cardiovascular health and the seven eye outcomes of the VIIP syndrome used in this analysis. Furthermore, the "joint test" revealed a significant difference in cardiovascular profile between male and female astronauts (Prob > F = 0.00001). Overall, female astronauts demonstrated a significantly healthier cardiovascular status. Individually, the female astronauts had significantly healthier profiles on seven of twelve cardiovascular variables than the men (p values ranging from <0.0001 to <0.05). Male astronauts did not demonstrate significantly healthier values on any of the twelve cardiovascular variables measured

Otto, Christian↗

Dust Reverberation Mapping in Distant Quasars from Optical and Mid-infrared Imaging Surveys

The size of the dust torus in active galactic nuclei (AGNs) and their high-luminosity counterparts, quasars, can be inferred from the time delay between UV/optical accretion disk continuum variability and the response in the mid-infrared (MIR) torus emission. This dust reverberation mapping (RM) technique has been successfully applied to ~70 z ≲ 0.3 AGNs and quasars. Here we present first results of our dust RM program for distant quasars covered in the Sloan Digital Sky Survey Stripe 82 region combining ~20 yr ground-based optical light curves with 10 yr MIR light curves from the WISE satellite. Here, we measure a high-fidelity lag between W1 band (3.4 μm) and g band for 587 quasars over 0.3 ≲ z ≲ 2 () and two orders of magnitude in quasar luminosity. They tightly follow (intrinsic scatter ~0.17 dex in lag) the IR lag–luminosity relation observed for z < 0.3 AGNs, revealing a remarkable size–luminosity relation for the dust torus over more than four decades in AGN luminosity, with little dependence on additional quasar properties such as Eddington ratio and variability amplitude. This study motivates further investigations in the utility of dust RM for cosmology and strongly endorses a compelling science case for the combined 10 yr Vera C. Rubin Observatory Legacy Survey of Space and Time (optical) and 5 yr Nancy Grace Roman Space Telescope 2 μm light curves in a deep survey for low-redshift AGN dust RM with much lower luminosities and shorter, measurable IR lags. The compiled optical and MIR light curves for 7384 quasars in our parent sample are made public with this work.

79 ASTRONOMY AND ASTROPHYSICS↗

Typical and Unusual Properties of Magnetic Clouds during the WIND Era

A list of 33 magnetic clouds as identified in WIND magnetic field and plasma data has been compiled. The intervals for these events are provided as part of NASA/GSFC, WIND-MFI's Website under the URL http://lepmfi.qsfc.nasa.gov/mfi/mag_cloud publ.html#table The period covered in this study is from early 1995 to November 1998 which primarily occurs in the quiet part of the solar cycle. A force free, cylindrically symmetric, magnetic field model has been applied to the field data in 1-hour averaged form for all of these events (except one small event where 10 min avg's were used) and the resulting fit-parameters examined. Each event was provided a semi-quantitatively determined quality factor (excellent, good or poor). A set of 28 good or better cases, spanning a surprisingly large range of values for its various properties, was used for further analysis. These properties are, for example, durations, attitudes, sizes, asymmetries, axial field strengths, speeds, and relative impact parameters. They will be displayed and analyzed, along with some related derived quantities, with emphasis on typical vs unusual properties and on the magnetic fields magnetic clouds' relationships to the Sun and to upstream interplanetary shocks, where possible. For example, it is remarkable how narrowly distributed the speeds of these clouds are, and the overall average speed (390 techniques km/s) is less than that normally quoted for the average solar wind speed (420 km/s) despite the fact that many of these clouds are d"drivers" of interplanetary shocks. On average, a cloud appears to be a little less symmetric when the spacecraft is able to pass close to the cloud's axis as compared to a farther out passage. The average longitude and latitude (in GSE) of the axes of the clouds are 85 degrees and 8 degrees, respectively, with standard deviations near 40 degrees. Also, the half=yearly averaged axial magnetic flux has approximately tripled. almost monotonically, from about 6 to 17 X 10(exp 29) Mx over the first 3.5 years of consideration, but with a large uncertainty on each of the half-year estimates, because of small sampling. If true,this finding implies an approximate tripling of the events' solar fluxes over this period as it goes into solar maximum.

Lepping, R. P.↗

Cross-Feature Transfer Learning for Efficient Tensor Program Generation

Tuning tensor program generation involves navigating a vast search space to find optimal program transformations and measurements for a program on the target hardware. The complexity of this process is further amplified by the exponential combinations of transformations, especially in heterogeneous environments. This research addresses these challenges by introducing a novel approach that learns the joint neural network and hardware features space, facilitating knowledge transfer to new, unseen target hardware. A comprehensive analysis is conducted on the existing state-of-the-art dataset, TenSet, including a thorough examination of test split strategies and the proposal of methodologies for dataset pruning. Leveraging an attention-inspired technique, we tailor the tuning of tensor programs to embed both neural network and hardware-specific features. Notably, our approach substantially reduces the dataset size by up to 53% compared to the baseline without compromising Pairwise Comparison Accuracy (PCA). Furthermore, our proposed methodology demonstrates competitive or improved mean inference times with only 25–40% of the baseline tuning time across various networks and target hardware. The attention-based tuner can effectively utilize schedules learned from previous hardware program measurements to optimize tensor program tuning on previously unseen hardware, achieving a top-5 accuracy exceeding 90%. This research introduces a significant advancement in autotuning tensor program generation, addressing the complexities associated with heterogeneous environments and showcasing promising results regarding efficiency and accuracy.

97 MATHEMATICS AND COMPUTING↗