711 research outputs found
Gate protective device for insulated gate field-effect transistors
Device, which protects insulated gate field-effect transistors, improves reliability through utilization of layers of conductive material on top of each alternating semiconductor material region. Separation of layers is necessary to prevent shorting out junctions between alternating regions
Orbital Configurations and Magnetic Properties of Double-Layered Antiferromagnet CsCuClBr
We report the single-crystal X-ray analysis and magnetic properties of a new
double-layered perovskite antiferromagnet, CsCuClBr. This
structure is composed of CuClBr double layers with elongated
CuClBr octahedra and is closely related to the SrTiO
structure. An as-grown crystal has a singlet ground state with a large
excitation gap of K, due to the strong
antiferromagnetic interaction between the two layers. CsCuClBr
undergoes a structural phase transition at K accompanied
by changes in the orbital configurations of Cu ions. Once a
CsCuClBr crystal is heated above , its magnetic
susceptibility obeys the Curie-Weiss law with decreasing temperature even below
and does not exhibit anomalies at . This implies that in
the heated crystal, the orbital state of the high-temperature phase remains
unchanged below , and thus, this orbital state is the metastable
state. The structural phase transition at is characterized as an
order-disorder transition of Cu orbitals.Comment: 6pages. 6figures, to appear in J. Phys. Soc. Jpn. Vol.76 No.
Predicate Abstraction for Linked Data Structures
We present Alias Refinement Types (ART), a new approach to the verification
of correctness properties of linked data structures. While there are many
techniques for checking that a heap-manipulating program adheres to its
specification, they often require that the programmer annotate the behavior of
each procedure, for example, in the form of loop invariants and pre- and
post-conditions. Predicate abstraction would be an attractive abstract domain
for performing invariant inference, existing techniques are not able to reason
about the heap with enough precision to verify functional properties of data
structure manipulating programs. In this paper, we propose a technique that
lifts predicate abstraction to the heap by factoring the analysis of data
structures into two orthogonal components: (1) Alias Types, which reason about
the physical shape of heap structures, and (2) Refinement Types, which use
simple predicates from an SMT decidable theory to capture the logical or
semantic properties of the structures. We prove ART sound by translating types
into separation logic assertions, thus translating typing derivations in ART
into separation logic proofs. We evaluate ART by implementing a tool that
performs type inference for an imperative language, and empirically show, using
a suite of data-structure benchmarks, that ART requires only 21% of the
annotations needed by other state-of-the-art verification techniques
Superconductivity and Stoichiometry in the BSCCO-family Materials
We report on magnetization, c-axis and ab-plane resistivity, critical
current, electronic band structure and superconducting gap properties. Bulk
measurements and photoemission data were taken on similar samples.Comment: 4 pages, latex, to be published in Journal of Superconductivity. two
figures available from Jian Ma at [email protected]
Origin of the photoemission final-state effects in Bi2Sr2CaCu2O8 by very-low-energy electron diffraction
Very-low-energy electron diffraction with a support of full-potential band
calculations is used to achieve the energy positions, K// dispersions,
lifetimes and Fourier compositions of the photoemission final states in
Bi2Sr2CaCu2O8 at low excitation energies. Highly structured final states
explain the dramatic matrix element effects in photoemission. Intense c(2x2)
diffraction reveals a significant extrinsic contribution to the shadow Fermi
surface. The final-state diffraction effects can be utilized to tune the
photoemission experiment on specific valence states or Fermi surface replicas.Comment: 4 pages, 3 Postscript figures, submitted to Phys. Rev. Lett; major
revision
Lunar impact basins: New data for the nearside northern high latitudes and eastern limb from the second Galileo flyby
During the December 1992 Galileo Earth/Moon encounter the northern half of the nearside, the eastern limb, and parts of the western farside of the Moon were illuminated and in view, a geometry that was complementary to the first lunar encounter in December, 1990, which obtained images of the western limb and eastern farside. The Galileo Solid State Imaging System (SSI) obtained multispectral images for these regions during the second encounter and color ratio composite images were compiled using combinations of band ratios chosen on the basis of telescopic spectra and laboratory spectra of lunar samples. Ratios of images taken at 0.41 and 0.76 micron are sensitive to changes in the slope in the visible portion of the spectrum, and ratios of 0.99 and 0.76 micron relate to the strength of near-infrared absorptions due to iron-rich mafic minerals (0.76/0.99 ratio) such as olivine and pyroxene. Results of the analyses of the compositional diversity of the crust, maria, and Copernican craters are presented elsewhere. Primary objectives for lunar basin analysis for the second encounter include analysis of: the north polar region and the Humboldtianum basin; the characteristics of the Imbrium basin along its northern border and the symmetry of associated deposits; the origin of light plains north of Mare Frigoris and associated with several other basins; the nature and significance of pre-basin substrate; the utilization of the stereo capability to assess subtle basis structure; the identification of previously unrecognized ancient basins; basin deposits and structure for limb and farside basins; and assessment of evidence for proposed ancient basins. These data and results will be applied to addressing general problems of evaluation of the nature and origin of basin deposits, investigation of mode of ejecta emplacement and ejecta mixing, analysis of the origin of light plains deposits, analysis of basin deposit symmetry/asymmetry, investigation of basin depth of excavation and crustal stratigraphy, and assessment of models for basin formation and evolution. Here we discuss some preliminary results concerning lunar impact basins, their deposits, and prebasin substrates, using the same approaches that we employed for the Orientale and South Pole-Aitken basins using the data from the first encounter
A randomised controlled trial to assess the effectiveness of a single session of nurse administered massage for short term relief of chronic non-malignant pain
Background: Massage is increasingly used to manage chronic pain but its benefit has not been clearly established. The aim of the study is to determine the effectiveness of a single session of nurse-administered massage for the short term relief of chronic non-malignant pain and anxiety.
Methods: A randomised controlled trial design was used, in which the patients were assigned to a massage or control group. The massage group received a 15 minute manual massage and the control group a 15 minute visit to talk about their pain. Adult patients attending a pain relief unit with a diagnosis of chronic pain whose pain was described as moderate or severe were eligible for
the study. An observer blind to the patients' treatment group carried out assessments immediately before (baseline), after treatment and 1, 2, 3 and 4 hours later. Pain was assessed using 100 mm visual analogue scale and the McGill Pain Questionnaire. Pain Relief was assessed using a five point verbal rating scale. Anxiety was assessed with the Spielberger short form State-Trait Anxiety
Inventory.
Results: 101 patients were randomised and evaluated, 50 in the massage and 51 in the control group. There were no statistically significant differences between the groups at baseline interview. Patients in the massage but not the control group had significantly less pain compared to baseline immediately after and one hour post treatment. 95% confidence interval for the difference in mean pain reduction at one hour post treatment between the massage and control groups is 5.47 mm to 24.70 mm. Patients in the massage but not the control group had a statistically significant reduction in anxiety compared to baseline immediately after and at 1 hour post treatment.
Conclusion: Massage is effective in the short term for chronic pain of moderate to severe intensity
Structure optimization effects on the electronic properties of BiSrCaCuO
We present detailed first-principles calculations for the normal state
electronic properties of the high T superconductor
BiSrCaCuO, by means of the linearized augmented plane wave
(LAPW) method within the framework of density functional theory (DFT). As a
first step, the body centered tetragonal (BCT) cell has been adopted, and
optimized regarding its volume, ratio and internal atomic positions by
total energy and force minimizations. The full optimization of the BCT cell
leads to small but visible changes in the topology of the Fermi surface,
rounding the shape of CuO barrels, and causing both the BiO bands,
responsible for the pockets near the \textit{\=M} 2D symmetry point, to dip
below the Fermi level. We have then studied the influence of the distortions in
the BiO plane observed in nature by means of a
orthorhombic cell (AD-ORTH) with space group. Contrary to what has been
observed for the Bi-2201 compound, we find that for Bi-2212 the distortion does
not sensibly shift the BiO bands which retain their metallic character. As a
severe test for the considered structures we present Raman-active phonon
frequencies () and eigenvectors calculated within the frozen-phonon
approximation. Focussing on the totally symmetric A modes, we observe
that for a reliable attribution of the peaks observed in Raman experiments,
both - and a-axis vibrations must be taken into account, the latter being
activated by the in-plane orthorhombic distortion.Comment: 22 pages, 4 figure
Mapping Vesta: First Results from Dawn’s Survey Orbit
The geologic objectives of the Dawn Mission [1] are
to derive Vesta’s shape, map the surface geology,
understand the geological context and contribute to
the determination of the asteroids’ origin and
evolution.Geomorphology and distribution of surface features
will provide evidence for impact cratering, tectonic activity, volcanism, and regolith processes. Spectral
measurements of the surface will provide evidence of
the compositional characteristics of geological units.
Age information, as derived from crater sizefrequency
distributions, provides the stratigraphic
context for the structural and compositional mapping
results, thus revealing the geologic history of Vesta.
We present here the first results of the Dawn mission
from data collected during the approach to Vesta, and
its first discrete orbit phase – the Survey Orbit, which
lasts 21 days after the spacecraft had established a
circular polar orbit at a radius of ~3000 km with a
beta angle of 10°-15°
- …