30,514 research outputs found
Thermal treatment of superconductor thin film of the BSCCO system using domestic microwave oven
In this work, we report the preparation of a superconductor thin film of the
BSCCO system using a good quality powder with nominal composition
Bi_{1.8}Pb_{0.4}Sr_2CaCu_2O_x which was thermally treated using a domestic
microwave oven (2.45 GHz, 800 W). This film was grew on a single crystal of
LaAlO_3(100) substrate and exhibited a crystalline structure with the c-axis
perpendicular to the plane of the substrate. An onset superconducting
transition temperature was measured at 80 K.Comment: 4 pages, 5 figure
Physical parameters in the hot spots and jets of Compact Symmetric Objects
We present a model to determine the physical parameters of jets and hot spots
of a sample of CSOs under very basic assumptions like synchrotron emission and
minimum energy conditions. Based on this model we propose a simple evolutionary
scenario for these sources assuming that they evolve in ram pressure
equilibrium with the external medium and constant jet power. The parameters of
our model are constrained from fits of observational data (radio luminosity,
hot spot radius and hot spot advance speed) versus projected linear size. From
these plots we conclude that CSOs evolve self-similarly and that their radio
luminosity increases with linear size along the first kiloparsec. Assuming that
the jets feeding CSOs are relativistic from both kinematical and
thermodynamical points of view, we use the values of the pressure and particle
number density within the hot spots to estimate the fluxes of momentum
(thrust), energy, and particles of these relativistic jets. The mean jet power
obtained in this way is within an order of magnitude that inferred for FRII
sources, which is consistent with CSOs being the possible precursors of large
doubles. The inferred flux of particles corresponds to, for a barionic jet,
about a 10% of the mass accreted by a black hole of at
the Eddington limit, pointing towards a very efficient conversion of accretion
flow into ejection, or to a leptonic composition of jets.Comment: 11 pages, 2 figures. Accepted for publication in Astrophysical
Journa
Fast gates for ion traps by splitting laser pulses
We present a fast phase gate scheme that is experimentally achievable and has an operation time more than two orders of magnitude faster than current experimental schemes for low numbers of pulses. The gate time improves with the number of pulses following an inverse power law. Unlike
implemented schemes which excite precise motional sidebands, thus limiting
the gate timescale, our scheme excites multiple motional states using discrete
ultra-fast pulses.We use beam-splitters to divide pulses into smaller components
to overcome limitations due to the finite laser pulse repetition rate. This provides
gate times faster than proposed theoretical schemes when we optimize a practical
setup
Deductive Verification of Unmodified Linux Kernel Library Functions
This paper presents results from the development and evaluation of a
deductive verification benchmark consisting of 26 unmodified Linux kernel
library functions implementing conventional memory and string operations. The
formal contract of the functions was extracted from their source code and was
represented in the form of preconditions and postconditions. The correctness of
23 functions was completely proved using AstraVer toolset, although success for
11 functions was achieved using 2 new specification language constructs.
Another 2 functions were proved after a minor modification of their source
code, while the final one cannot be completely proved using the existing memory
model. The benchmark can be used for the testing and evaluation of deductive
verification tools and as a starting point for verifying other parts of the
Linux kernel.Comment: 18 pages, 2 tables, 6 listings. Accepted to ISoLA 2018 conference.
Evaluating Tools for Software Verification trac
Polarimetry of Compact Symmetric Objects
We present multi-frequency VLBA observations of two polarized Compact
Symmetric Objects (CSOs), J0000+4054 and J1826+1831, and a polarized CSO
candidate, J1915+6548. Using the wavelength-squared dependence of Faraday
rotation, we obtained rotation measures (RMs) of -180 \pm 10 rad m^-2 and 1540
\pm 7 rad m^-2 for the latter two sources. These are lower than what is
expected of CSOs (several 1000 rad m^-2) and, depending on the path length of
the Faraday screens, require magnetic fields from 0.03 to 6 \mu G. These CSOs
may be more heavily affected by Doppler boosting than their unpolarized
counterparts, suggesting that a jet-axis orientation more inclined towards the
line of sight is necessary to detect any polarization. This allows for low RMs
if the polarized components are oriented away from the depolarizing
circumnuclear torus. These observations also add a fourth epoch to the proper
motion studies of J0000+4054 and J1826+1831, constraining their kinematic age
estimates to >610 yrs and 2600 \pm 490 yrs, respectively. The morphology,
spectrum, and component motions of J1915+6548 are discussed in light of its new
classification as a CSO candidate, and its angle to the line of sight (~50\deg)
is determined from relativistic beaming arguments.Comment: 29 pages, including 9 figures; Accepted by Astrophysical Journal, 16
Feb 0
Improving the Knowledge on Seismogenic Sources in the Lower Tagus Valley for Seismic Hazard Purposes
The Lower Tagus Valley, that includes the metropolitan area of Lisbon, has been struck by several earthquakes which produced significant material damage and loss of lives. Their exact location remains unknown. Our goal is to shed some light into the seismogenic sources in the area using seismic reflection and geological data. In areas with no seismic coverage, potential-field data interpretation was carried out. Seismicity was overlaid to the potential seismogenic structures and high-resolution data was acquired in order to confirm which structures have been active into the Quaternary. Three major fault-zones affecting the Neogene were identified: V. F. Xira, Samora-Alcochete and Pinhal Novo. For the first fault, strong evidences suggest it is active. The other two fault-zones and other structures previously unknown can be correlated with several epicentres. Empirical relationships between maximum moment magnitude and fault area indicate that MW > 6.5 earthquakes can be expected for the larger structures
- …