Superplastic forming of Al-Li alloys for lightweight, low-cost structures

Superplastic forming of advanced aluminum alloys is being evaluated as an approach for fabricating low-cost, light-weight, cryogenic propellant tanks. Built-up structure concepts (with inherent reduced scrap rate) are under investigation to offset the additional raw material expenses incurred by using aluminum lithium alloys. This approach to fabrication offers the potential for significant improvements in both structural efficiency and overall manufacturing costs. Superplasticity is the ability of specially processed material to sustain very large forming strains without failure at elevated temperatures under controlled deformation conditions. It was demonstrated that superplastic forming technology can be used to fabricate complex structural components in a single operation and increase structural efficiency by as much as 60 percent compared to conventional configurations in skin-stiffened structures. Details involved in the application of this technology to commercial grade superplastic aluminum lithium material are presented. Included are identification of optimum forming parameters, development of forming procedures, and assessment of final part quality in terms of cavitation volume and thickness variation

Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations

We present a formal tool for verification of multivariate nonlinear inequalities. Our verification method is based on interval arithmetic with Taylor approximations. Our tool is implemented in the HOL Light proof assistant and it is capable to verify multivariate nonlinear polynomial and non-polynomial inequalities on rectangular domains. One of the main features of our work is an efficient implementation of the verification procedure which can prove non-trivial high-dimensional inequalities in several seconds. We developed the verification tool as a part of the Flyspeck project (a formal proof of the Kepler conjecture). The Flyspeck project includes about 1000 nonlinear inequalities. We successfully tested our method on more than 100 Flyspeck inequalities and estimated that the formal verification procedure is about 3000 times slower than an informal verification method implemented in C++. We also describe future work and prospective optimizations for our method.Comment: 15 page

Array-based iterative measurements of SmKS travel times and their constraints on outermost core structure

Vigorous convection in Earth's outer core led to the suggestion that it is chemically homogeneous. However, there is increasing seismic evidence for structural complexities close to the outer core's upper and lower boundaries. Both body waves and normal mode data have been used to estimate a P wave velocity, V_p, at the top of the outer core (the E’ layer), which is lower than that in the Preliminary Reference Earth Model. However, these low V_p models do not agree on the form of this velocity anomaly. One reason for this is the difficulty in retrieving and measuring SmKS arrival times. To address this issue, we propose a novel approach using data from seismic arrays to iteratively measure SmKS-SKKS-differential travel times. This approach extracts individual SmKS signal from mixed waveforms of the SmKS series, allowing us to reliably measure differential travel times. We successfully use this method to measure SmKS time delays from earthquakes in the Fiji‐Tonga and Vanuatu subduction zones. SmKS time delays are measured by waveform cross correlation between SmKS and SKKS, and the cross‐correlation coefficient allows us to access measurement quality. We also apply this iterative scheme to synthetic SmKS seismograms to investigate the 3‐D mantle structure's effects. The mantle structure corrections are not negligible for our data, and neglecting them could bias the V_p estimation of uppermost outer core. After mantle structure corrections, we can still see substantial time delays of S3KS, S4KS, and S5KS, supporting a low V_p at the top of Earth's outer core

Synthesis, Characterizations, And Evaluation Of New Reactive Two-photon Absorbing Dyes For Two-photon Excited Fluorescence Imaging Applications

Recent, cooperative advances in chemistry, biology, computing, photophysics, optics, and microelectronics have resulted in extraordinary developments in the biological sciences, resulting in the emergence of a novel area termed \u27biophotonics\u27. The integrative and interdisciplinary nature of biophotonics cuts across virtually all disciplines, extending the frontiers of basic cellular, molecular, and biology research through the clinical and pharmaceutical industries. This holds true for the development and application of the novel imaging modality utilizing multiphoton absorption and its extraordinary contribution to recent advances in bioimaging. Intimately involved in the revolution of nonlinear bioimaging has been the development of optical probes for probing biological function and activity. The focus of this dissertation is in the area of probe development, particularly conjugated organic probes, optimized for efficient two-photon absorption followed by upconverted fluorescence for nonlinear, multiphoton bioimaging applications. Specifically, [pi]-conjugated fluorene molecules, with enhanced two-photon absorbing (2PA) properties and high photostability, were prepared and characterized. Contemporary synthetic methods were utilized to prepare target fluorene derivatives expected to be highly fluorescent for fluorescence imaging, and, in particular, exhibit high two-photon absorptivity suitable for two-photon excitation (2PE) fluorescence microscopy. The flexibility afforded through synthetic manipulation to integrate hydrophilic moieties into the fluorophore architecture to enhance compatibility with aqueous systems, more native to biological samples, was attempted. Incorporation of functional groups for direct covalent attachment onto target biomolecules was also pursued to prepare fluorene derivatives as efficient 2PA reactive probes. Linear and two-photon spectroscopic characterizations on these novel compounds reveal they exhibit high 2PA cross-sections on the order of ~100 GM units, nearly an order of magnitude greater than typical, commonly used fluorophores utilized in nonlinear, multiphoton microscopy imaging of biological samples. Photostability studies of representative fluorene derivatives investigated and quantified indicate these derivatives are photostable under one- and two-photon excitation conditions, with photodecomposition quantum yields on the order of 10[super-5]. Preliminary cytotoxicity studies indicate these fluorene derivatives exhibit minimal cytotoxic effects on proliferating cells. Finally, their ultimate utility as high-performance, 2PA fluorescent probes in 2PE fluorescence microscopy imaging of biological samples was demonstrated in both fixed and live cells. Due to the low cytotoxicity, high photostability, efficient 2PA, and high fluorescence quantum yield, the probes were found suitable for relatively long-term, two-photon fluorescence imaging of live cells, representing a significant advance in biophotonics

Atomic Gas in Debris Discs

We have conducted a search for optical circumstellar absorption lines in the spectra of 16 debris disc host stars. None of the stars in our sample showed signs of emission line activity in either H$_{\alpha}$, Ca II or Na I, confirming their more evolved nature. Four stars were found to exhibit narrow absorption features near the cores of the photospheric Ca II and Na I D lines (when Na I D data were available). We analyse the characteristics of these spectral features to determine whether they are of circumstellar or interstellar origins. The strongest evidence for circumstellar gas is seen in the spectrum of HD110058, which is known to host a debris disc observed close to edge-on. This is consistent with a recent ALMA detection of molecular gas in this debris disc, which shows many similarities to the $\beta$ Pictoris system.Comment: Accepted 13/12/2016. Received 2/12/2016; Deposited on 22/11/2016. - 13 Pages, 9 Figures - MNRAS Advance Access published December 15, 201

Hippocampal Infusion of Zeta Inhibitory Peptide Impairs Recent, but Not Remote, Recognition Memory in Rats.

Spatial memory in rodents can be erased following the infusion of zeta inhibitory peptide (ZIP) into the dorsal hippocampus via indwelling guide cannulas. It is believed that ZIP impairs spatial memory by reversing established late-phase long-term potentiation (LTP). However, it is unclear whether other forms of hippocampus-dependent memory, such as recognition memory, are also supported by hippocampal LTP. In the current study, we tested recognition memory in rats following hippocampal ZIP infusion. In order to combat the limited targeting of infusions via cannula, we implemented a stereotaxic approach for infusing ZIP throughout the dorsal, intermediate, and ventral hippocampus. Rats infused with ZIP 3-7 days after training on the novel object recognition task exhibited impaired object recognition memory compared to control rats (those infused with aCSF). In contrast, rats infused with ZIP 1 month after training performed similar to control rats. The ability to form new memories after ZIP infusions remained intact. We suggest that enhanced recognition memory for recent events is supported by hippocampal LTP, which can be reversed by hippocampal ZIP infusion

Some studies in carbocyclic chemistry

The work described in this thesis forms part of an attempt to understand some of the factors controlling the acid-catalysed rearrangements of 1-methoxybenzobarrelenes. A review is presented in chapter one of the important features of the rearrangement-chemistry of dibenzo- and benzo-barrelenes. The commonly observed interconversion of the bicyclo[2,2,2]octadien-2-yl and bicyclo[3,2,1]octadien-2-yl cations is discussed in detail and finally some of the extensive rearrangements of highly substituted benzobarrelenes are presented to illustrate the more subtle aspects of the rearrangements. [Continues.