24,248 research outputs found

    Nicral ternary alloy having improved cyclic oxidation resistance

    Get PDF
    NiCrAl alloys are improved by the addition of zirconium. These alloys are in the Beta or gamma/gamma' + Beta region of the ternary system. Zirconium is added in a very low amount between 0.06 and 0.20 weight percent. There is a narrow optimum zirconium level at the low value of 0.13 weight percent. Maximum resistance to cyclic oxidation is achieved when the zirconium addition is at the optimum value

    Population inversion of driven two-level systems in a structureless bath

    Get PDF
    We derive a master equation for a driven double-dot damped by an unstructured phonon bath, and calculate the spectral density. We find that bath mediated photon absorption is important at relatively strong driving, and may even dominate the dynamics, inducing population inversion of the double dot system. This phenomenon is consistent with recent experimental observations.Comment: 4 Pages, Added Reference [30] to Dykman, 1979, available at http://www.pa.msu.edu/people/dykman/pub/Sov.J.LowTemp.Phys_5.pd

    The Vampire and the FOOL

    Full text link
    This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency

    Building Blocks in the Economics of Mandates

    Get PDF
    The paper constructs an asymmetric information model to investigate the efficiency and equity cases for government mandated benefits. A mandate can improve workers' insurance, and may also redistribute in favour of more "deserving" workers. The risk is that it may also reduce output. The more diverse are free market contracts – separating the various worker types – the more likely it is that such output effects will on balance serve to reduce welfare. It is shown that adverse effects can be reduced by restricting mandates to larger firms. An alternative to a mandate is direct government provision. We demonstrate that direct government provision has the advantage over mandates of preserving separations.asymmetric information, labour mandates, compensation packages

    Perturbative Effective Theory in an Oscillator Basis?

    Full text link
    The effective interaction/operator problem in nuclear physics is believed to be highly nonperturbative, requiring extended high-momentum spaces for accurate solution. We trace this to difficulties that arise at both short and long distances when the included space is defined in terms of a basis of harmonic oscillator Slater determinants. We show, in the simplest case of the deuteron, that both difficulties can be circumvented, yielding highly perturbative results in the potential even for modest (~6hw) included spaces.Comment: 10 pages, 4 figure

    X-Ray Stress Measurement in Graphite/Epoxy Composites

    Get PDF
    Small amounts (\u3c 2 mg/cm2) of Al and Nb filler powders were incorporated between the first and second plies of 6-ply unidirectional graphite/epoxy laminates. Cu Kα1 X-rays were diffracted from specific crystallographic planes in these fillers: 333 + 511 for Al and 411 + 330 for Nb, giving peaks in the back reflection region. The peak positions shifted linearly with stress applied to the laminates in the fiber direction and had stress sensitivities of 8.52 and 3.92 x 10-4 deg 2Ξ/MPa for Al and Nb respectively. Elastic strains in the filler particles measured by X-rays were found to be proportional to the corresponding composite strains measured by strain gages, in agreement with the model of H. T. Hahn. Residual strains and stresses in filler particles were also measured

    No Signalling and Quantum Key Distribution

    Full text link
    Standard quantum key distribution protocols are provably secure against eavesdropping attacks, if quantum theory is correct. It is theoretically interesting to know if we need to assume the validity of quantum theory to prove the security of quantum key distribution, or whether its security can be based on other physical principles. The question would also be of practical interest if quantum mechanics were ever to fail in some regime, because a scientifically and technologically advanced eavesdropper could perhaps use post-quantum physics to extract information from quantum communications without necessarily causing the quantum state disturbances on which existing security proofs rely. Here we describe a key distribution scheme provably secure against general attacks by a post-quantum eavesdropper who is limited only by the impossibility of superluminal signalling. The security of the scheme stems from violation of a Bell inequality.Comment: Clarifications and minor revisions in response to comments. Final version; to appear in Phys. Rev. Let

    New results on rewrite-based satisfiability procedures

    Full text link
    Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page
    • 

    corecore