Application of a truncated normal failure distribution in reliability testing

Statistical truncated normal distribution function is applied as a time-to-failure distribution function in equipment reliability estimations. Age-dependent characteristics of the truncated function provide a basis for formulating a system of high-reliability testing that effectively merges statistical, engineering, and cost considerations

MRI changes in psoriatic dactylitisextent of pathology, relationship to tenderness and correlation with clinical indices

Objectives. To quantify the extent of inflammation in psoriatic dactylitis and to examine the relationship between clinical and magnetic resonance imaging (MRI) data in both tender and non-tender dactylitis. Methods. Seventeen patients with psoriatic dactylitis underwent clinical assessment for 6 months after change of treatment, usually to methotrexate. Measures of dactylitis included the Leeds Dactylitis Index, the assessment tool used in the Infliximab in Psoriatic Arthritis Clinical Trial (IMPACT), a simple count of tender dactlylitic digits and a count of all dactylitic digits, both tender and non-tender. MRI scans of the affected hand or foot were performed before and after treatment using a 1.5T Siemens scanner pre- and post-contrast. Results. All patients improved clinically, as did their respective dactylitis scores and MRI images. The findings on MRI in both dactylitic and non-dactylitic digits were profound and widespread. The difference between tender and non-tender dactylitis was quantitative rather than qualitative. Synovitis and soft-tissue oedema were the most frequent abnormalities being present in 69 of tender dactylitic digits but bone oedema and flexor tenosynovitis were also frequently seen. Soft-tissue oedema was circumferential and enhancing and not limited to association with the flexor or extensor tendons. None of the clinical indices of dactylitis showed a close relationship to the extent of MRI abnormalities. Conclusions. MRI images demonstrate widespread abnormalities in digits of people with psoriatic arthritis. Tender dactylitic digits have more abnormalities than other digits but the relationship between clinical and MRI scores is not strong

A dimension-breaking phenomenon for water waves with weak surface tension

It is well known that the water-wave problem with weak surface tension has small-amplitude line solitary-wave solutions which to leading order are described by the nonlinear Schr\"odinger equation. The present paper contains an existence theory for three-dimensional periodically modulated solitary-wave solutions which have a solitary-wave profile in the direction of propagation and are periodic in the transverse direction; they emanate from the line solitary waves in a dimension-breaking bifurcation. In addition, it is shown that the line solitary waves are linearly unstable to long-wavelength transverse perturbations. The key to these results is a formulation of the water wave problem as an evolutionary system in which the transverse horizontal variable plays the role of time, a careful study of the purely imaginary spectrum of the operator obtained by linearising the evolutionary system at a line solitary wave, and an application of an infinite-dimensional version of the classical Lyapunov centre theorem.Comment: The final publication is available at Springer via http://dx.doi.org/10.1007/s00205-015-0941-

Perceptions of time in relation to climate change

Time is at the heart of understanding climate change, from the perspective of both natural and social scientists. This article selectively reviews research on time perception and temporal aspects of decision making in sociology and psychology. First we briefly describe the temporal dimensions that characterize the issue of climate change. Second, we review relevant theoretical approaches and empirical findings. Then we propose an integration of these insights for the problem of climate change and discuss mismatches between the human mind, surrounding social dynamics, and climate change. Finally, we discuss the implications of this article for understanding and responding to climate change, and make suggestions on how we can use the strengths of the human mind and social dynamics to communicate climate change in its temporal context.This article is categorized under: Climate, History, Society, Culture &gt; Ideas and Knowledge Perceptions, Behavior, and Communication of Climate Change &gt; Perceptions of Climate Change </jats:p

Avalanche noise characteristics of single Al/sub x/Ga/sub 1-x/As(0.3

Avalanche multiplication and excess noise have been measured on a series of Al/sub x/Ga/sub 1-x/As-GaAs and GaAs-Al/sub x/Ga/sub 1-x/As (x=0.3,0.45, and 0.6) single heterojunction p/sup +/-i-n/sup +/ diodes. In some devices excess noise is lower than in equivalent homojunction devices with avalanche regions composed of either of the constituent materials, the heterojunction with x=0.3 showing the greatest improvement. Excess noise deteriorates with higher values of x because of the associated increase in hole ionization in the Al/sub x/Ga/sub 1-x/As layer. It also depends critically upon the carrier injection conditions and Monte Carlo simulations show that this dependence results from the variation in the degree of noisy feedback processes on the position of the injected carriers

Computer-aided verification in mechanism design

In mechanism design, the gold standard solution concepts are dominant strategy incentive compatibility and Bayesian incentive compatibility. These solution concepts relieve the (possibly unsophisticated) bidders from the need to engage in complicated strategizing. While incentive properties are simple to state, their proofs are specific to the mechanism and can be quite complex. This raises two concerns. From a practical perspective, checking a complex proof can be a tedious process, often requiring experts knowledgeable in mechanism design. Furthermore, from a modeling perspective, if unsophisticated agents are unconvinced of incentive properties, they may strategize in unpredictable ways. To address both concerns, we explore techniques from computer-aided verification to construct formal proofs of incentive properties. Because formal proofs can be automatically checked, agents do not need to manually check the properties, or even understand the proof. To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and Malekian. This mechanism presents new challenges for formal verification, including essential use of randomness from both the execution of the mechanism and from the prior type distributions. As an immediate consequence, our work also formalizes Bayesian incentive compatibility for the entire family of mechanisms derived via this reduction. Finally, as an intermediate step in our formalization, we provide the first formal verification of incentive compatibility for the celebrated Vickrey-Clarke-Groves mechanism

GNSS Shadow Matching: The Challenges Ahead

GNSS shadow matching is a new technique that uses 3D mapping to improve positioning accuracy in dense urban areas from tens of meters to within five meters, potentially less. This paper presents the first comprehensive review of shadow matching’s error sources and proposes a program of research and development to take the technology from proof of concept to a robust, reliable and accurate urban positioning product. A summary of the state of the art is also included. Error sources in shadow matching may be divided into six categories: initialization, modelling, propagation, environmental complexity, observation, and algorithm approximations. Performance is also affected by the environmental geometry and it is sometimes necessary to handle solution ambiguity. For each error source, the cause and how it impacts the position solution is explained. Examples are presented, where available, and improvements to the shadow-matching algorithms to mitigate each error are proposed. Methods of accommodating quality control within shadow matching are then proposed, including uncertainty determination, ambiguity detection, and outlier detection. This is followed by a discussion of how shadow matching could be integrated with conventional ranging-based GNSS and other navigation and positioning technologies. This includes a brief review of methods to enhance ranging-based GNSS using 3D mapping. Finally, the practical engineering challenges of shadow matching are assessed, including the system architecture, efficient GNSS signal prediction and the acquisition of 3D mapping data

K 3-22: a D-type symbiotic star

A goal of the IPHAS survey is to determine the frequency and nature of emission-line sources in the Galactic plane. According to our selection criteria, K 3-22 is a candidate symbiotic star, but it was previously classified as a planetary nebula. To determine its nature, we acquired a low-resolution optical spectrum of K 3-22. Our analysis of our spectroscopy demonstrates that K 3-22 is indeed a D-type symbiotic star, because of its high excitation nebular spectrum and the simultaneous presence of Raman-scattered O VI emission at 6825 and 7082 angstrom, which is detected primarily in symbiotic stars.Comment: 3 pages, 1 figure. Accepted for publication on Astronomy and Astrophysic