69,079 research outputs found
Verifying termination and error-freedom of logic programs with block declarations
We present verification methods for logic programs with delay declarations. The verified properties are termination and freedom from errors related to built-ins. Concerning termination, we present two approaches. The first approach tries to eliminate the well-known problem of speculative output bindings. The second approach is based on identifying the predicates for which the textual position of an atom using this predicate is irrelevant with respect to termination.
Three features are distinctive of this work: it allows for predicates to be used in several modes; it shows that block declarations, which are a very simple delay construct, are sufficient to ensure the desired properties; it takes the selection rule into account, assuming it to be as in most Prolog implementations. The methods can be used to verify existing programs and assist in writing new programs
Advanced thermoplastic resins, phase 2
High temperature structural resins are required for use on advanced aerospace vehicles as adhesives and composite matrices. NASA-Langley developed polyimide resins were evaluated as high temperature structural adhesives for metal to metal bonding and as composite matrices. Adhesive tapes were prepared on glass scrim fabric from solutions of polyamide acids of the semicrystalline polyimide LARC-CPI, developed at the NASA-Langley Research Center. Using 6Al-4V titanium adherends, high lap shear bond strengths were obtained at ambient temperature (45.2 MPa, 6550 psi) and acceptable strengths were obtained at elevated temperature (14.0 MPa, 2030 psi) using the Pasa-Jell 107 conversion coating on the titanium and a bonding pressure of 1.38 MPa (200 psi). Average zero degree composite tensile and compressive strengths of 1290 MPa (187 ksi) and 883 MPa (128 ksi) respectively were obtained at ambient temperature with unsized AS-4 carbon fiber reinforcement
The optical counterpart of SAX J1808.4-3658, the transient bursting millisecond X-ray pulsar
A set of CCD images have been obtained during the decline of the X-ray
transient SAX J1808.4-3658 during April-June 1998. The optical counterpart has
been confirmed by several pieces of evidence. The optical flux shows a
modulation on several nights which is consistent with the established X-ray
binary orbit period of 2 hours. This optical variability is roughly in
antiphase with the weak X-ray modulation. The source mean magnitude of V=16.7
on April 18 declined rapidly after April 22. From May 2 onwards the magnitude
was more constant at around V=18.45 but by June 27 was below our sensitivity
limit. The optical decline precedes the rapid second phase of the X-ray
decrease by 3 +/- 1 days. The source has been identified on a 1974 UK Schmidt
plate at an estimated magnitude of ~20. The nature of the optical companion is
discussed.Comment: 5 pages, 3 figures; published in MNRAS, March 15th 199
"Not an idle spectator": Geoffrey Hill as model reviewer
Geoffrey Hill’s prose has prompted longstanding critical controversy, much of which turns on the perceived difficulty, intransigence and anachronism of his oeuvre as a whole. This paper proposes that new ways to navigate this controversy can be found in Hill’s preoccupation with the exemplary dimensions of writing – that is, in his interest in the poet’s capacity to offer examples (positive and negative) to a community of readers. The discussion pays particular attention to the connections Hill’s reviews establish between style and ethical choice and between literary difficulty and democracy; connections which are intertwined with his ethics of exemplarity in fundamental ways. The paper also engages with those dimensions of literary exemple-use which emerge in new or unusual ways in his prose: his presentation of ‘models’ or ideals for the organisation of civil society; his treatment of certain literary works as exemplars or embodiments of philosophical ideas; and his procedural tic of ‘sampling’ regularly for the purpose of chastisement the ‘bad example’ set by some of the works he criticises
Dielectric function and plasmons in graphene
The electromagnetic response of graphene, expressed by the dielectric
function, and the spectrum of collective excitations are studied as a function
of wave vector and frequency. Our calculation is based on the full band
structure, calculated within the tight-binding approximation. As a result, we
find plasmons whose dispersion is similar to that obtained in the single-valley
approximation by Dirac fermions. In contrast to the latter, however, we find a
stronger damping of the plasmon modes due to inter-band absorption. Our
calculation also reveals effects due to deviations from the linear Dirac
spectrum as we increase the Fermi energy, indicating an anisotropic behavior
with respect to the wave vector of the external electromagnetic field
Length Scales of Acceleration for Locally Isotropic Turbulence
Length scales are determined that govern the behavior at small separations of
the correlations of fluid-particle acceleration, viscous force, and pressure
gradient. The length scales and an associated universal constant are quantified
on the basis of published data. The length scale governing pressure spectra at
high wave numbers is discussed. Fluid-particle acceleration correlation is
governed by two length scales; one arises from the pressure gradient, the other
from the viscous force.Comment: 2 figures, 4 pages. Physical Review Letters, accepted August 200
- …