Twilight Intensity Variation of the Infrared Hydroxyl Airglow

The vibration rotation bands of the hydroxyl radical are the strongest features in the night airglow and are exceeded in intensity in the dayglow only by the infrared atmospheric bands of oxygen. The variation of intensity during evening twilight is discussed. Using a ground-based Fourier Transform Spectrometer (FTS), hydroxyl intensity measurements as early as 3 deg solar depression were made. Models of the twilight behavior show that this should be sufficient to provide measurement of the main portion of the twilight intensity change. The instrument was equipped with a liquid nitrogen-cooled germanium detector whose high sensitivity combined with the efficiency of the FTS technique permits spectra of the region 1.1 to 1.6 microns at high signal-to-noise to be obtained in two minutes. The use of a polarizer at the entrance aperture of the instrument reduces the intensity of scattered sunlight by a factor of at least ten for zenith observations

Solar cell radiation response near the interface of different atomic number materials

The response of cobalt 60 irradiated N/P silicon solar cells was measured as a function of the atomic number of the medium adjacent to the cell and the direction of the gamma ray beam. The interpositioning of various thicknesses of aluminum between the adjacent material and the cell had the effect of moving the cell to various locations in an approximate monatomic numbered medium. Using this technique the solar cell response was determined at various distances from the interface for gold and beryllium. The results were compared with predictions based upon ionization chamber measurements of dose perturbations in aluminum and found to agree within five percent. Ionization chamber data was then used to estimate the influence of various base contact materials

A ship-based methodology for high precision atmospheric oxygen measurements and its application in the Southern Ocean region

A method for achieving continuous high precision measurements of atmospheric O-2 is presented based on a commercially available fuel-cell instrument, (Sable Systems, Oxzilla FC-II) with a precision of 7 per meg (approximately equivalent to 1.2 ppm) for a 6-min measurement. The Oxzilla was deployed on two voyages in the Western Pacific sector of the Southern Ocean, in February 2003 and in April 2004, making these the second set of continuous O-2 measurements ever made from a ship. The results show significant temporal variation in O-2, in the order of +/- 10 per meg over 6-hourly time intervals, and substantial spatial variation. Data from both voyages show an O-2 maximum centred on 50 degrees S, which is most likely to be the result of biologically driven O-2 outgassing in the region of subtropical convergence around New Zealand, and a decreasing O-2 trend towards Antarctica. O-2 from the ship-based measurements is elevated compared with measurements from the Scripps Institution of Oceanography flask-sampling network, and the O-2 maximum is also not captured in the network observations. This preliminary study shows that ship-based continuous measurements are a valuable addition to current fixed site sampling programmes for the understanding of ocean-atmosphere O-2 exchange processes. [References: 39

New Analysis Indicates No Thermal Inversion in the Atmosphere of HD 209458b

An important focus of exoplanet research is the determination of the atmospheric temperature structure of strongly irradiated gas giant planets, or hot Jupiters. HD 209458b is the prototypical exoplanet for atmospheric thermal inversions, but this assertion does not take into account recently obtained data or newer data reduction techniques. We re-examine this claim by investigating all publicly available Spitzer Space Telescope secondary-eclipse photometric data of HD 209458b and performing a self-consistent analysis. We employ data reduction techniques that minimize stellar centroid variations, apply sophisticated models to known Spitzer systematics, and account for time-correlated noise in the data. We derive new secondary-eclipse depths of 0.119 +/- 0.007%, 0.123 +/- 0.006%, 0.134 +/- 0.035%, and 0.215 +/- 0.008% in the 3.6, 4.5, 5.8, and 8.0 micron bandpasses, respectively. We feed these results into a Bayesian atmospheric retrieval analysis and determine that it is unnecessary to invoke a thermal inversion to explain our secondary-eclipse depths. The data are well-fitted by a temperature model that decreases monotonically between pressure levels of 1 and 0.01 bars. We conclude that there is no evidence for a thermal inversion in the atmosphere of HD 209458b.Comment: 8 pages, 5 figures; accepted for publication in Ap

Feature-Guided Black-Box Safety Testing of Deep Neural Networks

Despite the improved accuracy of deep neural networks, the discovery of adversarial examples has raised serious safety concerns. Most existing approaches for crafting adversarial examples necessitate some knowledge (architecture, parameters, etc.) of the network at hand. In this paper, we focus on image classifiers and propose a feature-guided black-box approach to test the safety of deep neural networks that requires no such knowledge. Our algorithm employs object detection techniques such as SIFT (Scale Invariant Feature Transform) to extract features from an image. These features are converted into a mutable saliency distribution, where high probability is assigned to pixels that affect the composition of the image with respect to the human visual system. We formulate the crafting of adversarial examples as a two-player turn-based stochastic game, where the first player's objective is to minimise the distance to an adversarial example by manipulating the features, and the second player can be cooperative, adversarial, or random. We show that, theoretically, the two-player game can con- verge to the optimal strategy, and that the optimal strategy represents a globally minimal adversarial image. For Lipschitz networks, we also identify conditions that provide safety guarantees that no adversarial examples exist. Using Monte Carlo tree search we gradually explore the game state space to search for adversarial examples. Our experiments show that, despite the black-box setting, manipulations guided by a perception-based saliency distribution are competitive with state-of-the-art methods that rely on white-box saliency matrices or sophisticated optimization procedures. Finally, we show how our method can be used to evaluate robustness of neural networks in safety-critical applications such as traffic sign recognition in self-driving cars.Comment: 35 pages, 5 tables, 23 figure

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

AdS/CFT and the Information Paradox

The information paradox in the quantum evolution of black holes is studied within the framework of the AdS/CFT correspondence. The unitarity of the CFT strongly suggests that all information about an initial state that forms a black hole is returned in the Hawking radiation. The CFT dynamics implies an information retention time of order the black hole lifetime. This fact determines many qualitative properties of the non-local effects that must show up in a semi-classical effective theory in the bulk. We argue that no violations of causality are apparent to local observers, but the semi-classical theory in the bulk duplicates degrees of freedom inside and outside the event horizon. Non-local quantum effects are required to eliminate this redundancy. This leads to a breakdown of the usual classical-quantum correspondence principle in Lorentzian black hole spacetimes.Comment: 16 pages, harvmac, reference added, minor correction

Deduction with XOR Constraints in Security API Modelling

We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols

Instrumentation for hydrogen slush storage containers

Hydrogen liquid and slush tank continuous inventory during ground storag

Mopra CO Observations of the Bubble HII Region RCW120

We use the Mopra radio telescope to test for expansion of the molecular gas associated with the bubble HII region RCW120. A ring, or bubble, morphology is common for Galactic HII regions, but the three-dimensional geometry of such objects is still unclear. Detected near- and far-side expansion of the associated molecular material would be consistent with a three-dimensional spherical object. We map the $J = 1\rightarrow 0$ transitions of $^{12}$CO, $^{13}$CO, C$^{18}$O, and C$^{17}$O, and detect emission from all isotopologues. We do not detect the $0_0\rightarrow 1_{-1} E$ masing lines of CH$_3$OH at 108.8939 GHz. The strongest CO emission is from the photodissociation region (PDR), and there is a deficit of emission toward the bubble interior. We find no evidence for expansion of the molecular material associated with RCW120 and therefore can make no claims about its geometry. The lack of detected expansion is roughly in agreement with models for the time-evolution of an HII region like RCW120, and is consistent with an expansion speed of $< 1.5\, {\rm km\, s^{-1}}$. Single-position CO spectra show signatures of expansion, which underscores the importance of mapped spectra for such work. Dust temperature enhancements outside the PDR of RCW120 coincide with a deficit of emission in CO, confirming that these temperature enhancements are due to holes in the RCW120 PDR. H$\alpha$ emission shows that RCW120 is leaking $\sim5\%$ of the ionizing photons into the interstellar medium (ISM) through PDR holes at the locations of the temperature enhancements. H-alpha emission also shows a diffuse "halo" from leaked photons not associated with discrete holes in the PDR. Overall $25\pm10\%$ of all ionizing photons are leaking into the nearby ISM.Comment: 35 pages, 14 figures. Accepted to Ap