14,222 research outputs found
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
Instrumentation for hydrogen slush storage containers
Hydrogen liquid and slush tank continuous inventory during ground storag
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
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 transitions of CO,
CO, CO, and CO, and detect emission from all
isotopologues. We do not detect the masing lines of
CHOH 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 . 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 emission shows that
RCW120 is leaking 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 of all
ionizing photons are leaking into the nearby ISM.Comment: 35 pages, 14 figures. Accepted to Ap
- …