8,504 research outputs found
Automating Security Analysis: Symbolic Equivalence of Constraint Systems
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity or strong secrecy). Infinite sets of possible traces are symbolically represented using deducibility constraints. We give a new algorithm that decides the trace equivalence for the traces that are represented using such constraints, in the case of signatures, symmetric and asymmetric encryptions. Our algorithm is implemented and performs well on typical benchmarks. This is the first implemented algorithm, deciding symbolic trace equivalence
VPLanet: The Virtual Planet Simulator
We describe a software package called VPLanet that simulates fundamental
aspects of planetary system evolution over Gyr timescales, with a focus on
investigating habitable worlds. In this initial release, eleven physics modules
are included that model internal, atmospheric, rotational, orbital, stellar,
and galactic processes. Many of these modules can be coupled simultaneously to
simulate the evolution of terrestrial planets, gaseous planets, and stars. The
code is validated by reproducing a selection of observations and past results.
VPLanet is written in C and designed so that the user can choose the physics
modules to apply to an individual object at runtime without recompiling, i.e.,
a single executable can simulate the diverse phenomena that are relevant to a
wide range of planetary and stellar systems. This feature is enabled by
matrices and vectors of function pointers that are dynamically allocated and
populated based on user input. The speed and modularity of VPLanet enables
large parameter sweeps and the versatility to add/remove physical phenomena to
assess their importance. VPLanet is publicly available from a repository that
contains extensive documentation, numerous examples, Python scripts for
plotting and data management, and infrastructure for community input and future
development.Comment: 75 pages, 34 figures, 10 tables, accepted to the Proceedings of the
Astronomical Society of the Pacific. Source code, documentation, and examples
available at https://github.com/VirtualPlanetaryLaboratory/vplane
Kaneohe, Hawaii Wind Resource Assessment Report
The Department of Energy (DOE) has an interagency agreement to assist the Department of Defense (DOD) in evaluating the potential to use wind energy for power at residential properties at DOD bases in Hawaii. DOE assigned the National Renewable Energy Laboratory (NREL) to facilitate this process by installing a 50-meter (m) meteorological (Met) tower on residential property associated with the Marine Corps Base Housing (MCBH) Kaneohe Bay in Hawaii
The nuclear spectrum of the radio galaxy NGC 5128 (Centaurus A)
We present near-infrared spectra of the nuclear disk in the nearby radio
galaxy NGC 5128 (Centaurus A). On the basis of the observed strengths of the [S
III] 0.9532um and [Fe II] 1.2567um lines, we classify NGC 5128 as a LINER.
Modeling of the strengths of these and additional lines suggests that the
nuclear region is powered by shocks rather than photoionization.Comment: 12 pages including 2 figures, accepted by ApJ Letter
Models of the SL9 Impacts II. Radiative-hydrodynamic Modeling of the Plume Splashback
We model the plume "splashback" phase of the SL9 collisions with Jupiter
using the ZEUS-3D hydrodynamic code. We modified the Zeus code to include gray
radiative transport, and we present validation tests. We couple the infalling
mass and momentum fluxes of SL9 plume material (from paper I) to a jovian
atmospheric model. A strong and complex shock structure results. The modeled
shock temperatures agree well with observations, and the structure and
evolution of the modeled shocks account for the appearance of high excitation
molecular line emission after the peak of the continuum light curve. The
splashback region cools by radial expansion as well as by radiation. The
morphology of our synthetic continuum light curves agree with observations over
a broad wavelength range (0.9 to 12 microns). A feature of our ballistic plume
is a shell of mass at the highest velocities, which we term the "vanguard".
Portions of the vanguard ejected on shallow trajectories produce a lateral
shock front, whose initial expansion accounts for the "third precursors" seen
in the 2-micron light curves of the larger impacts, and for hot methane
emission at early times. Continued propagation of this lateral shock
approximately reproduces the radii, propagation speed, and centroid positions
of the large rings observed at 3-4 microns by McGregor et al. The portion of
the vanguard ejected closer to the vertical falls back with high z-component
velocities just after maximum light, producing CO emission and the "flare" seen
at 0.9 microns. The model also produces secondary maxima ("bounces") whose
amplitudes and periods are in agreement with observations.Comment: 13 pages, 9 figures (figs 3 and 4 in color), accepted for Ap.J.
latex, version including full figures at:
http://oobleck.tn.cornell.edu/jh/ast/papers/slplume2-20.ps.g
Surface Transitions for Confined Associating Mixtures
Thin films of binary mixtures that interact through isotropic forces and
directionally specific "hydrogen bonding" are considered through Monte Carlo
simulations. We show, in good agreement with experiment, that the single phase
of these mixtures can be stabilized or destabilized on confinement. These
results resolve a long standing controversy, since previous theories suggest
that confinement only stabilizes the single phase of fluid mixtures.Comment: LaTeX document, documentstyle[aps,preprint]{revtex}, psfig.sty,
bibtex, 13 pages, 4 figure
Affordances, constraints and information flows as ‘leverage points’ in design for sustainable behaviour
Copyright @ 2012 Social Science Electronic PublishingTwo of Donella Meadows' 'leverage points' for intervening in systems (1999) seem particularly pertinent to design for sustainable behaviour, in the sense that designers may have the scope to implement them in (re-)designing everyday products and services. The 'rules of the system' -- interpreted here to refer to affordances and constraints -- and the structure of information flows both offer a range of opportunities for design interventions to in fluence behaviour change, and in this paper, some of the implications and possibilities are discussed with reference to parallel concepts from within design, HCI and relevant areas of psychology
Proton acceleration by irradiation of isolated spheres with an intense laser pulse
We report on experiments irradiating isolated plastic spheres with a peak laser intensity of 2-3 x 10(20) W cm(-2). With a laser focal spot size of 10 mu m full width half maximum (FWHM) the sphere diameter was varied between 520 nm and 19.3 mu m. Maximum proton energies of similar to 25 MeV are achieved for targets matching the focal spot size of 10 mu m in diameter or being slightly smaller. For smaller spheres the kinetic energy distributions of protons become nonmonotonic, indicating a change in the accelerating mechanism from ambipolar expansion towards a regime dominated by effects caused by Coulomb repulsion of ions. The energy conversion efficiency from laser energy to proton kinetic energy is optimized when the target diameter matches the laser focal spot size with efficiencies reaching the percent level. The change of proton acceleration efficiency with target size can be attributed to the reduced cross-sectional overlap of subfocus targets with the laser. Reported experimental observations are in line with 3D3V particle in cell simulations. They make use of well-defined targets and point out pathways for future applications and experiments.DFG via the Cluster of Excellence Munich-Centre for Advanced Photonics (MAP) Transregio SFB TR18NNSA DE-NA0002008Super-MUC pr48meIvo CermakCGC Instruments in design and realization of the Paul trap systemIMPRS-APSLMUexcellent Junior Research FundDAAD|ToIFEEuropean Union's Horizon research and innovation programme 633053Physic
- …