Search NASA⌕ Search

SEARCH · Search NASA

Results for “Embedded interface”

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 217 records · Page 12

Reaction Current Heterogeneity at the Interface between a Lithium Electrode and Polymer/Ceramic Composite Electrolytes

Although lithium metal anodes are expected to increase the energy density of next-generation batteries, dendrite growth during charge remains a major bottleneck preventing widespread implementation. Composite solid electrolytes with ceramic particles embedded in a polymer matrix have the potential to prevent dendrites owing to the higher mechanical stiffness while also possessing the flexibility to maintain contact with the electrode. However, microscopically, the different mechanical and electrochemical properties of the polymer and ceramic domains can cause inhomogeneous charge transfer at the Li/electrolyte interface, which can lead to nonuniform Li deposition and propagation of dendrites. Here, we computationally examine the coupled electrochemical, transport, and mechanical processes at the interface to determine the propensity for dendrite formation and possible approaches to mitigate this issue. Predictions of two possible microstructures at the interface, namely, (i) where both the polymer and ceramic come in contact with Li metal and (ii) when only the polymer comes in contact with Li metal, suggest that the former has a greater tendency for nonuniform plating. In addition, predictions suggest that minimizing the interfacial resistance between polymers and ceramics and incorporating interlayers between the electrode and electrolyte help mitigate current heterogeneity. In conclusion, these predictions provide guidance for experimental approaches to prevent dendrites in composite electrolytes.

25 ENERGY STORAGE↗

Embedding Thiols into Choline Phosphate Polymer Zwitterions

Abstract The compositional scope of polymer zwitterions has grown significantly in recent years and now offers designer synthetic materials that are broadly applicable across numerous areas, including supracolloidal structures, electronic materials interfaces, and macromolecular therapeutics. Among recent developments in polymer zwitterion syntheses are those that allow insertion of reactive functionality directly into the zwitterionic moiety, yielding new monomer and polymer structures that hold potential for maximizing the impact of zwitterions on the macromolecular materials chemistry field. This manuscript describes the preparation of zwitterionic choline phosphate (CP) methacrylates containing either aromatic or aliphatic thiols embedded directly into the zwitterionic moiety. The polymerization of these functional CP methacrylates by reversible addition‐fragmentation chain‐transfer methodology yields polymeric zwitterionic thiols containing protected thiol functionality in the zwitterionic units. After polymerization, the protected thiols are liberated to yield thiol‐rich polymer zwitterions which serve as precursors to subsequent reactions that produce polymer networks as well as polymer‐protein bioconjugates.

Polymer Science↗

Development and Validation of a High-Vacuum Thermal Conductivity Testbed for Aerospace Interface Materials

Thermal Interface Materials (TIMs) are critical components in spacecraft thermal management systems, where thermal performance is strongly influenced by vacuum conditions, interface contact resistance, and layered metallic joint behavior. However, manufacturer-reported thermal conductivity values are often derived under idealized conditions and may not accurately represent performance within operational aerospace applications. To address this limitation, the Testbed for Advanced Interface Materials in Vacuum (TAIMV) was developed as a modular vacuum-compatible thermal conductivity characterization platform capable of evaluating aerospace-relevant TIM configurations under both ambient and high-vacuum environments. The testbed was derived from the ASTM C1044-16 guarded hot plate methodology and incorporates interchangeable layers of stainless steel coupon geometries, independently controlled main and guard heaters, embedded resistance temperature detectors (RTDs), thermocouples, multi-layer insulation (MLI), and a temperature-controlled cold plate to characterize through-thickness thermal gradients across layered interfaces. In the current configuration, interface compression is limited to the nominal contact pressure generated by the experimental stack assembly. Initial experimental campaigns were conducted at ambient pressure and below 1×10-5 torr for vacuum cases using multiple interface materials including Braycote 601EF and Krytox-based greases across a range of thermal operating conditions. In parallel, a coupled numerical Python thermal model was developed to predict temperature distribution throughout the stack while accounting for conduction, radiation, and parasitic heat transfer pathways and effective interface resistance effects. Experimental measurements and numerical predictions showed consistent thermal trends across multiple operating conditions and environmental states. Results also revealed measurable differences between ambient and vacuum thermal behavior, demonstrating the importance of interface resistance, parasitic heat transfer mechanisms, and stack geometry in determining effective thermal performance within layered thermal interfaces. The presented work establishes a foundation for future thermal model correlation efforts and expanded characterization of aerospace thermal interface materials under representative environmental conditions. Future work will focus on the integration of a load cell system to enable controlled pressure-dependent characterization of thermal interface materials under compressive loading. This capability will allow investigation of the influence of contact pressure on effective thermal conductivity, interface resistance, and thermal performance within layered aerospace thermal interfaces under representative operational conditions.

Thermal Development Testing↗

Polarimetric backscattering from sea ice

Polarimetric backscattering from sea ice is presented. Theoretical models for backscattering are first presented for various ice types. Then, theoretical results are compared with experimental data for new thin ice, first-year ice, and multi-year ice. Sea ice is modeled as a layer medium containing random scatterers and rough interfaces. For multi-year sea ice with snow cover, the sea ice layer is modeled as an ice background with embedded spheroidal air bubbles and the snow layer as air with ice grains. The hummocky topography on multi-year ice is characterized by a Gaussian distribution which has an averaging effect on backscattering coefficients. First-year sea ice is described by an ice medium hosting ellipsoidal brine inclusions. These inclusions are oriented preferentially in the vertical direction due to the columnar structure of first-year sea ice. Azimuthally, the orientation of the brine pockets are random corresponding to the random c-axes in sea ice, unless the axes are oriented by sea currents. For thin ice in newly opened leads, it has been observed that there exists a thin brine layer with very high salinity on the top surface of the new ice. This brine layer is depicted as a medium with high permittivity which can significantly affect electromagnetic scattering signatures from the lower thin ice layer, with a higher fractional volume of brine inclusions due to higher salinity as compared to thick first-year sea ice. The rough medium interfaces are described as Gaussian rough surfaces characterized by root-mean-square heights and surface correlation lengths. The contribution from rough surface, calculated under the Kirchhoff approximation or small perturbation method, is assumed to be independent from volume scattering. The total loss including absorption and scattering losses in the scattering media is represented by the imaginary part of effective permittivity obtained from the strong fluctuation theory. The polarimetric scattering coefficients for different ice types are then derived under the distorted Born approximation.

Nghiem, S. V.↗

Localizing Clinical Patterns of Blast Traumatic Brain Injury Through Computational Modeling and Simulation

Blast traumatic brain injury is ubiquitous in modern military conflict with significant morbidity and mortality. Yet the mechanism by which blast overpressure waves cause specific intracranial injury in humans remains unclear. Reviewing of both the clinical experience of neurointensivists and neurosurgeons who treated service members exposed to blast have revealed a pattern of injury to cerebral blood vessels, manifested as subarachnoid hemorrhage, pseudoaneurysm, and early diffuse cerebral edema. Additionally, a seminal neuropathologic case series of victims of blast traumatic brain injury (TBI) showed unique astroglial scarring patterns at the following tissue interfaces: subpial glial plate, perivascular, periventricular, and cerebral gray-white interface. The uniting feature of both the clinical and neuropathologic findings in blast TBI is the co-location of injury to material interfaces, be it solid-fluid or solid-solid interface. This motivates the hypothesis that blast TBI is an injury at the intracranial mechanical interfaces. In order to investigate the intracranial interface dynamics, we performed a novel set of computational simulations using a model human head simplified but containing models of gyri, sulci, cerebrospinal fluid (CSF), ventricles, and vasculature with high spatial resolution of the mechanical interfaces. Simulations were performed within a hybrid Eulerian—Lagrangian simulation suite (CTH coupled via Zapotec to Sierra Mechanics). Because of the large computational meshes, simulations required high performance computing resources. Twenty simulations were performed across multiple exposure scenarios—overpressures of 150, 250, and 500 kPa with 1 ms overpressure durations—for multiple blast exposures (front blast, side blast, and wall blast) across large variations in material model parameters (brain shear properties, skull elastic moduli). All simulations predict fluid cavitation within CSF (where intracerebral vasculature reside) with cavitation occurring deep and diffusely into cerebral sulci. These cavitation events are adjacent to high interface strain rates at the subpial glial plate. Larger overpressure simulations (250 and 500kPa) demonstrated intraventricular cavitation—also associated with adjacent high periventricular strain rates. Additionally, models of embedded intraparenchymal vascular structures—with diameters as small as 0.6 mm—predicted intravascular cavitation with adjacent high perivascular strain rates. The co-location of local maxima of strain rates near several of the regions that appear to be preferentially damaged in blast TBI (vascular structures, subpial glial plate, perivascular regions, and periventricular regions) suggest that intracranial interface dynamics may be important in understanding how blast overpressures leads to intracranial injury.

59 BASIC BIOLOGICAL SCIENCES↗

Active-noise-induced dynamic clustering of passive colloidal particles

Active fluids generate spontaneous, often chaotic mesoscale flows. Harnessing these flows to drive soft materials embedded within an active fluid into structures with controlled length scales and lifetimes is a key challenge at the interface between the fields of active matter and nonequilibrium self-assembly. Here, we present a simple and efficient computational approach to model soft materials advected by active fluids, by simulating particles moving in a spatiotemporally correlated noise field. To illustrate our approach, we simulate the dynamical self-organization of repulsive colloids within such an active noise field. The colloids form structures whose sizes and dynamics can be tuned by the correlation time and length of the active fluid, and range from small rotating droplets to clusters with internal flows and system-spanning sizes that vastly exceed the active correlation length. Our results explain how the interplay between active fluid time and length scales and emergent driven assembly can be used to rationally design functional assemblies. More broadly, our approach can be used to efficiently simulate diverse active fluids and other systems with spatiotemporally correlated noise.

Brownian dynamics↗

A New Modeling Framework for Multi-Scale Simulation of Hydraulic Fracturing and Production from Unconventional Reservoirs

This paper describes a new modeling framework for microscopic to reservoir-scale simulations of hydraulic fracturing and production. The approach builds upon a fusion of two existing high-performance simulators for reservoir-scale behavior: the GEOS code for hydromechanical evolution during stimulation and the TOUGH+ code for multi-phase flow during production. The reservoir-scale simulations are informed by experimental and modeling studies at the laboratory scale to incorporate important micro-scale mechanical processes and chemical reactions occurring within the fractures, the shale matrix, and at the fracture-fluid interfaces. These processes include, among others, changes in stimulated fracture permeability as a result of proppant behavior rearrangement or embedment, or mineral scale precipitation within pores and microfractures, at µm to cm scales. In our new modeling framework, such micro-scale testing and modeling provides upscaled hydromechanical parameters for the reservoir scale models. We are currently testing the new modeling framework using field data and core samples from the Hydraulic Fracturing Field Test (HFTS), a recent field-based joint research experiment with intense monitoring of hydraulic fracturing and shale production in the Wolfcamp Formation in the Permian Basin (USA). Below, we present our approach coupling the reservoir simulators GEOS and TOUGH+ informed by upscaled parameters from micro-scale experiments and modeling. We provide a brief overview of the HFTS and the available field data, and then discuss the ongoing application of our new workflow to the HFTS data set.

58 GEOSCIENCES↗

Traction in smooth muscle cells varies with cell spreading

Changes in cell shape regulate cell growth, differentiation, and apoptosis. It has been suggested that the regulation of cell function by the cell shape is a result of the tension in the cytoskeleton and the distortion of the cell. Here we explore the association between cell-generated mechanical forces and the cell morphology. We hypothesized that the cell contractile force is associated with the degree of cell spreading, in particular with the cell length. We measured traction fields of single human airway smooth muscle cells plated on a polyacrylamide gel, in which fluorescent microbeads were embedded to serve as markers of gel deformation. The traction exerted by the cells at the cell-substrate interface was determined from the measured deformation of the gel. The traction was measured before and after treatment with the contractile agonist histamine, or the relaxing agonist isoproterenol. The relative increase in traction induced by histamine was negatively correlated with the baseline traction. On the contrary, the relative decrease in traction due to isoproterenol was independent of the baseline traction, but it was associated with cell shape: traction decreased more in elongated than in round cells. Maximum cell width, mean cell width, and projected area of the cell were the parameters most tightly coupled to both baseline and histamine-induced traction in this study. Wide and well-spread cells exerted larger traction than slim cells. These results suggest that cell contractility is controlled by cell spreading.

Non-NASA Center↗

Towards the formal specification of the requirements and design of a processor interface unit

Work to formally specify the requirements and design of a Processor Interface Unit (PIU), a single-chip subsystem providing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system, is described. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance free operation, or both. The approaches that were developed for modeling the PIU requirements and for composition of the PIU subcomponents at high levels of abstraction are described. These approaches were used to specify and verify a nontrivial subset of the PIU behavior. The PIU specification in Higher Order Logic (HOL) is documented in a companion NASA contractor report entitled 'Towards the Formal Specification of the Requirements and Design of a Processor Interfacs Unit - HOL Listings.' The subsequent verification approach and HOL listings are documented in NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit' and NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings.'

Fura, David A.↗

SAM Plug-in Development (Phase I Final Report)

The DOE Office of Nuclear Energy (NE) has created an extensive set of advanced modeling and simulation tools for nuclear engineering analysis. The advanced capabilities of these newer analysis codes require more in-depth training, skills, and knowledge in order to effectively utilize them for the design, analysis, and licensing of advanced nuclear systems and experiments. A high learning curve for inexperienced users may deter organizations from incorporating these tools into their internal processes. This project involved development of a plug-in to the Symbolic Nuclear Analysis Package (SNAP) for the System Analysis Module (SAM) tool. SAM is an advanced system analysis tool for reactor transient analyses being developed at Argonne National Laboratory under the U.S. DOE Office of Nuclear Energy’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. SAM utilizes an object-oriented application framework (MOOSE), and its underlying meshing and finite-element library (libMesh) and linear and non-linear solvers (PETSc), to leverage modern advanced software environments and numerical methods. SNAP provides a highly flexible framework for creating, modifying and documenting input for engineering analysis codes such as SAM as well as extensive functionality for submitting, monitoring, and interacting with the codes through an intuitive graphical user interface (GUI). The common user interface provided by SNAP minimizes the learning curve for engineers starting with a new analysis code and provides an intuitive framework for transitioning between different analysis codes. SNAP provides a powerful but intuitive interface to facilitate access to advanced modeling and simulation tools for inexperienced users. Unlike many “form based” GUI’s, SNAP maps each engineering code’s component input to an internal database which manages all component input parameters along with component interconnections. This level of abstraction permits SNAP to support several advanced capabilities such as renodalization, model validation and consistency checks, embedded documentation, model notebook generation, data ownership and reviewer tracking, and variable assignment for inputs to name a few. SNAP includes a built-in Python interpreter and is interfaced to several commercial and open source packages including CPython, MATLAB/OCTAVE, Microsoft Office, Open Office, and SANDIA’s DAKOTA package which provides Uncertainty Quantification analysis through the SNAP plug-ins. Phase I of this project involved development a fully functional basic SAM plug-in to SNAP. This plug-in provides the ability to import existing models, graphically construct, edit and submit models using SNAP’s extensive functionality.

99 GENERAL AND MISCELLANEOUS↗

A direct-interface, fusible heat sink for astronaut cooling

Astronaut cooling during extravehicular activity is a critical design issue in developing a portable life support system that meets the requirements of a space station mission. Some of the requirements are that the cooling device can be easily regenerable and nonventing during operation. In response to this, a direct-interface, fusible heat sink prototype with freezable quick-disconnects was developed. A proof-of-concept prototype was constructed and tested that consists of an elastic container filled with normal tap water and having two quick-disconnects embedded in a wall. These quick-disconnects are designed so that they may be frozen with the ice and yet still be joined to the cooling system, allowing an immediate flow path. The inherent difficulties in a direct-interface heat sink have been overcome, i.e., (1) establishing an initial flow path; (2) avoiding low-flow freeze-up; and (3) achieving adequate heat-transfer rates at the end of the melting process. The requirements, design, fabrication, and testing are discussed.

Lomax, Curtis↗

A direct-interface fusible heat sink for astronaut cooling

Astronaut cooling during extravehicular activity is a critical design issue in developing a portable life support system that meets the requirements of a space station mission. Some the requirements are that the cooling device can be easily regenerable and nonventing during operation. In response to this, a direct-interface, fusible heat sink prototpye with freezable quick-disconnects was developed. A proof-of-concept prototype was constructed and tested that consists of an elastic container filled with normal tap water and having two quick-disconnects embedded in a wall. These quick-disconnects are designed so that they may be frozen with the ice and yet still be joined to the cooling system, allowing an immediate flow path. The inherent difficulties in a direct-interface heat sink have been overcome, i.e., (1) establishing an initial flow path; (2) avoiding low-flow freeze-up; and (3) achieving adequate heat-transfer rates at the end of the melting process. The requirements, design, fabrication, and testing are discussed.

Lomax, Curtis↗

Copper-Multiwall Carbon Nanotubes and Copper-Diamond Composites for Advanced Rocket Engines

This paper reports on the research effort to improve the thermal conductivity of the copper-based alloy NARloy-Z (Cu-3 wt.%Ag-0.5 wt.% Zr), the state-of-the-art alloy used to make combustion chamber liners in regeneratively-cooled liquid rocket engines, using nanotechnology. The approach was to embed high thermal conductivity multiwall carbon nanotubes (MWCNTs) and diamond (D) particles in the NARloy-Z matrix using powder metallurgy techniques. The thermal conductivity of MWCNTs and D have been reported to be 5 to 10 times that of NARloy-Z. Hence, 10 to 20 vol. % MWCNT finely dispersed in NARloy-Z matrix could nearly double the thermal conductivity, provided there is a good thermal bond between MWCNTs and copper matrix. Quantum mechanics-based modeling showed that zirconium (Zr) in NARloy-Z should form ZrC at the MWCNT-Cu interface and provide a good thermal bond. In this study, NARloy-Z powder was blended with MWCNTs in a ball mill, and the resulting mixture was consolidated under high pressure and temperature using Field Assisted Sintering Technology (FAST). Microstructural analysis showed that the MWCNTs, which were provided as tangles of MWCNTs by the manufacturer, did not detangle well during blending and formed clumps at the prior particle boundaries. The composites made form these powders showed lower thermal conductivity than the base NARloy-Z. To eliminate the observed physical agglomeration, tangled multiwall MWCNTs were separated by acid treatment and electroless plated with a thin layer of chromium to keep them separated during further processing. Separately, the thermal conductivities of MWCNTs used in this work were measured, and the results showed very low values, a major factor in the low thermal conductivity of the composite. On the other hand, D particles embedded in NARloy-Z matrix showed much improved thermal conductivity. Elemental analysis showed migration of Zr to the NARloy-Z-D interface to form ZrC, which appeared to provide a low contact thermal resistance. These results are consistent with the quantum mechanics-based model predictions. NARloy-Z-D composites have relatively high thermal conductivities and are promising for further development.

Bhat, Biliyar N.↗

Copper Multiwall Carbon Nanotubes and Copper-Diamond Composites for Advanced Rocket Engines

This paper reports on the research effort to improve the thermal conductivity of the copper-based alloy NARloy-Z (Cu-3 wt.%Ag-0.5 wt.% Zr), the state-of-the-art alloy used to make combustion chamber liners in regeneratively-cooled liquid rocket engines, using nanotechnology. The approach was to embed high thermal conductivity multiwall carbon nanotubes (MWCNTs) and diamond (D) particles in the NARloy-Z matrix using powder metallurgy techniques. The thermal conductivity of MWCNTs and D have been reported to be 5 to 10 times that of NARloy-Z. Hence, 10 to 20 vol. % MWCNT finely dispersed in NARloy-Z matrix could nearly double the thermal conductivity, provided there is a good thermal bond between MWCNTs and copper matrix. Quantum mechanics-based modeling showed that zirconium (Zr) in NARloy-Z should form ZrC at the MWCNT-Cu interface and provide a good thermal bond. In this study, NARloy-Z powder was blended with MWCNTs in a ball mill, and the resulting mixture was consolidated under high pressure and temperature using Field Assisted Sintering Technology (FAST). Microstructural analysis showed that the MWCNTs, which were provided as tangles of MWCNTs by the manufacturer, did not detangle well during blending and formed clumps at the prior particle boundaries. The composites made form these powders showed lower thermal conductivity than the base NARloy-Z. To eliminate the observed physical agglomeration, tangled multiwall MWCNTs were separated by acid treatment and electroless plated with a thin layer of chromium to keep them separated during further processing. Separately, the thermal conductivities of MWCNTs used in this work were measured, and the results showed very low values, a major factor in the low thermal conductivity of the composite. On the other hand, D particles embedded in NARloy-Z matrix showed much improved thermal conductivity. Elemental analysis showed migration of Zr to the NARloy-Z-D interface to form ZrC, which appeared to provide a low contact thermal resistance. These results are consistent with the quantum mechanics-based model predictions. NARloy-Z-D composites have relatively high thermal conductivities and are promising for further development.

Bhat, Biliyar N.↗

A multiphysics coupling framework for exascale simulation of fracture evolution in subsurface energy applications

Predicting the evolution of fractured media is challenging due to coupled thermal, hydrological, chemical and mechanical processes that occur over a broad range of spatial scales, from the microscopic pore scale to field scale. We present a software framework and scientific workflow that couples the pore scale flow and reactive transport simulator Chombo-Crunch with the field scale geomechanics solver in GEOS to simulate fracture evolution in subsurface fluid-rock systems. This new multiphysics coupling capability comprises several novel features. An HDF5 data schema for coupling fracture positions between the two codes is employed and leverages the coarse resolution of the GEOS mechanics solver which limits the size of data coupled, and is, thus, not taxed by data resulting from the high resolution pore scale Chombo-Crunch solver. The coupling framework requires tracking of both before and after coarse nodal positions in GEOS as well as the resolved embedded boundary in Chombo-Crunch. We accomplished this by developing an approach to geometry generation that tracks the fracture interface between the two different methodologies. The GEOS quadrilateral mesh is converted to triangles which are organized into bins and an accessible tree structure; the nodes are then mapped to the Chombo representation using a continuous signed distance function that determines locations inside, on and outside of the fracture boundary. The GEOS positions are retained in memory on the Chombo-Crunch side of the coupling. The time stepping cadence for coupled multiphysics processes of flow, transport, reactions and mechanics is stable and demonstrates temporal reach to experimental time scales. The approach is validated by demonstration of 9 days of simulated time of a core flood experiment with fracture aperture evolution due to invasion of carbonated brine in wellbore-cement and sandstone. We also demonstrate usage of exascale computing resources by simulating a high resolution version of the validation problem on OLCF Frontier.

97 MATHEMATICS AND COMPUTING↗

Advanced development of the boundary element method for steady-state heat conduction

Considerable progress has been made in recent years toward advancing the state-of-the-art in solid mechanics boundary element technology. In the present work, much of this new technology is applied in the development of a general-purpose boundary element method (BEM) for steady-state heat conduction. In particular, the BEM implementation involves the use of higher-order conforming elements, self-adaptive integration and multi-region capability. Two- and three-dimensional, as well as axisymmetric analysis, are incorporated within a unified framework. In addition, techniques are introduced for the calculation of boundary flux, and for the inclusion of thermal resistance across interfaces. As a final extension, an efficient formulation is developed for the analysis of solid three-dimensional bodies with embedded holes. For this last class of problems, the new BEM formulation is particularly attractive, since use of the alternatives (i.e. finite element or finite difference methods) is not practical. A number of detailed examples illustrate the suitability and robustness of the present approach for steady-state heat conduction.

Dargush, G. F.↗

Towards the formal verification of the requirements and design of a processor interface unit: HOL listings

This technical report contains the Higher-Order Logic (HOL) listings of the partial verification of the requirements and design for a commercially developed processor interface unit (PIU). The PIU is an interface chip performing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault tolerant computer system. This system, the Fault Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance-free operation, or both. This report contains the actual HOL listings of the PIU verification as it currently exists. Section two of this report contains general-purpose HOL theories and definitions that support the PIU verification. These include arithmetic theories dealing with inequalities and associativity, and a collection of tactics used in the PIU proofs. Section three contains the HOL listings for the completed PIU design verification. Section 4 contains the HOL listings for the partial requirements verification of the P-Port.

Fura, David A.↗

Large Amplitude IMF Fluctuations in Corotating Interaction Regions: Ulysses at Midlatitudes

Corotating Interaction Regions (CIRs), formed by high-speed corotating streams interacting with slow speed streams, have been examined from -20 deg to -36 deg heliolatitudes. The high-speed streams emanate from a polar coronal hole that Ulysses eventually becomes fully embedded in as it travels towards the south pole. We find that the trailing portion of the CIR, from the interface surface (IF) to the reverse shock (RS), contains both large amplitude transverse fluctuations and magnitude fluctuations. Similar fluctuations have been previously noted to exist within CIRs detected in the ecliptic plane, but their existence has not been explained. The normalized magnetic field component variances within this portion of the CIR and in the trailing high-speed stream are approximately the same, indicating that the fluctuations in the CIR are compressed Alfven waves. Mirror mode structures with lower intensities are also observed in the trailing portion of the CIR, presumably generated from a local instability driven by free energy associated with compression of the high-speed solar wind plasma. The mixture of these two modes (compressed Alfven waves and mirror modes) plus other modes generated by three wave processes (wave-shock interactions) lead to a lower Alfvenicity within the trailing portion of the CfR than in the high-speed stream proper. The results presented in this paper suggest a mechanism for generation of large amplitude B(sub z) fluctuations within CIRS. Such phenomena have been noted to be responsible for the generation of moderate geomagnetic storms during the declining phase of the solar cycle.

Tsurutani, Bruce T.↗