Theory of ion mobility in liquid3He

An ion interacting with quasiparticles in liquid³He is treated theoretically by summing most divergent terms in perturbation series of the self-energy of the ion and the vertex part. The ion Green's function is renormalized by a factorZ(T), and the vertex part byZ(T) ^?1, where \({\text{Z(T)}} = {\text{(T/T}}_F {\text{)}}^{{\text{2V}}_{{\text{0}}^{\rho ^{\text{2}} } }^{\text{2}} } \) , forT ₀?T?T _F. Here,T ₀=(m/M)T _F, withm the³He mass andM the ion mass, and \({\text{V}}_{0^\rho } \) is the strength of the interaction. The factor explains the weak temperature dependence of the mobility around the minimum atT ₀; we also discuss its effect on the behavior of the mobility in³He-B nearT _c.     

Long-term availability prediction for groups of volunteer resources

Volunteer computing uses the free resources in Internet and Intranet environments for large-scale computation and storage. Currently, 70 applications use over 12 PetaFLOPS of computing power from such platforms. However, these platforms are currently limited to embarrassingly parallel applications. In an effort to broaden the set of applications that can leverage volunteer computing, we focus on the problem of predicting if a group of resources will be continuously available for a relatively long time period. Ensuring the collective availability of volunteer resources is challenging due to their inherent volatility and autonomy. Collective availability is important for enabling parallel applications and workflows on volunteer computing platforms. We evaluate our predictive methods using real availability traces gathered from hundreds of thousands of hosts from the SETI@home volunteer computing project. We show our prediction methods can guarantee reliably the availability of collections of volunteer resources. We show that this is particularly useful for service deployments over volunteer computing environments.     

Magnetic Correlation in BETS2(Cl2TCNQ)

We carried out⁷⁷Se NMR measurements on BETS₂(Cl₂TCNQ) under pressure in order to investigate the magnetic properties of the insulating state which appears above 0.6 GPa. The relaxation rate 1/T₁ at 0.7 GPa shows small peak-like anomaly at 20 K, indicating a spin density wave transition as observed in BETS₂(Br₂TCNQ).     

Structural Refinement of Systems Specified in Object-Z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.     

Frequency range extension of actively mode-locked lasers integratedwith electroabsorption modulators using chirped gratings

We have fabricated actively mode-locked lasers integrated with electroabsorption modulators and chirped gratings. A chirped grating with a large chirp rate of 1.45 Å/μm can be realized by using multiphase-shifted patterns. Short pulses of 4-6 ps were generated over a wide frequency range from 18.9-19.8 GHz. We observed jumps in the wavelength during detuning. These jumps arise from multiple lobes in the reflectivity spectrum. It is found that the wavelength jumps cause increases in the intensity noise. We showed that by reducing the grating length from 150 to 100 μm the sidelobes were suppressed and the detuning frequency range of over 1% could be realized. A smaller pulsewidth was obtained for the negatively-chirped gratings when compared to the positively chirped gratings     

Navigation of an AUV for investigation of underwater structures

There is a great demand for autonomous underwater vehicles (AUVs) to investigate artificial underwater structures such as piles and caissons in harbours, and risers and jackets of deep-sea oilfields. This paper proposes an autonomous investigation method of underwater structures using AUVs that is implemented by initially detecting the target objects, localizing them, then approaching them by taking video images while closely tracing their shape. A laser ranging system and a navigation method based on the relative position with respect to the target objects are introduced to realize this behaviour.     

Leak-tightness characteristics concerning the containment structures of the HTTR

The containment structures of the HTTR consist of the reactor containment vessel, the service area, and the emergency air purification system, which minimise the release of fission products in postulated accidents, which lead to fission product release from the reactor facilities. The reactor containment vessel is designed to withstand the temperature and pressure transients and to be leak-tight in the case of a rupture of the primary concentric hot-gas duct, etc. The pressure inside the service area is maintained at a negative pressure by the emergency air purification system. The emergency air purification system will also remove airborne radioactivity and will maintain a correct pressure in the service area.The leak-tightness characteristics of the containment structures are described in this paper. The measured leakage rates of the reactor containment vessel were enough less than the specified leakage limit of 0.1%/d confirmed during the commissioning tests and annual inspections. The service area was kept in a way that the design pressure becomes well below its allowable limitation by the emergency air purification system, which filters efficiency of particle removal and iodine removal well over the limited values.The obtained data demonstrate that the reactor containment structures were fabricated to minimise the release of fission products in the postulated accidents with fission product release from the reactor facilities.     

Disclosure in 3D of slit-membrane as well as -strands, and en-face basal lamina in situ of renal glomerulus of normal rats in embedment-free section transmission electron microscopy

With higher contrast and transparency due to the absence of epon and stereo-viewing effect due to thicker sections than conventional electron microscopy as methodological advantages, the renal glomerular slits were re-examined in embedment-free section electron microscopy. In addition to clear demonstration of strands bridging the slits in forms of ladders with highly irregular intervals and various extension-directions and length, this study disclosed clearly for the first time in the "section" TEM thin sheets which partially spanned the slit together with the strand-ladders. No strands were found to align in forms of typical zippers in normal kidney. Furthermore, en-face ultrastructure of the basal lamina in situ was clearly demonstrated in superimposed sites of the endothelial fenestrae with the slits.     

Comparison of alteplase (tissue plasminogen activator) high‐dose vs. low‐dose protocol in restoring hemodialysis catheter function: The ALTE‐DOSE study

Hemodialysis catheter (HDC) dysfunction due to thrombosis is common, and dysfunction incidence can reach up to 50% within 1 year of use. Although administration of intraluminal alteplase (tissue plasminogen activator [tPA]) is the standard of practice to pharmacologically restore HDC function, there are no evidence‐based guidelines concerning the optimal tPA dose. The purpose of this study was to compare the efficacy of 1.0‐mg vs. 2.0‐mg tPA dwell protocols in restoring the HDC function in thrombotic dysfunctional catheters. A retrospective, single‐center study was conducted on two independent cohorts of patients; the first (n = 129) received 2.0 mg tPA/catheter lumen, while the second (n = 108) received 1.0 mg tPA/catheter lumen. Kaplan–Meier and Cox regression analyses were performed to compare the catheter survival time between patients who received 1.0 mg tPA and those who received 2.0 mg tPA. Catheter removal occurred in 25 (19.4%) of those catheters treated with 1.0 mg tPA compared with 11 (10.2%) of catheters treated with 2.0 mg tPA (P = 0.05). The hazard ratio (HR) for catheter removal was 2.75 (95% confidence interval [^95%CI] = 1.25–6.04) for the 1.0‐mg tPA cohort compared with the 2.0‐mg tPA cohort. Correction added on 3 December 2012, after first online publication: The tPA cohort values were changed. Female gender (HR = 2.51; ^95%CI = 1.20–5.27) and age (HR = 0.96; ^95%CI = 0.94–0.98) were also associated with catheter survival. Our findings suggest that treatment of dysfunctional HDC with 2.0‐mg tPA dwells is superior to 1.0‐mg tPA dwells.     

Inferring extended finite state machine models from software executions

The ability to reverse-engineer models of software behaviour is valuable for a wide range of software maintenance, validation and verification tasks. Current reverse-engineering techniques focus either on control-specific behaviour (e.g., in the form of Finite State Machines), or data-specific behaviour (e.g., as pre / post-conditions or invariants). However, typical software behaviour is usually a product of the two; models must combine both aspects to fully represent the software’s operation. Extended Finite State Machines (EFSMs) provide such a model. Although attempts have been made to infer EFSMs, these have been problematic. The models inferred by these techniques can be non-deterministic, the inference algorithms can be inflexible, and only applicable to traces with specific characteristics. This paper presents a novel EFSM inference technique that addresses the problems of inflexibility and non-determinism. It also adapts an experimental technique from the field of Machine Learning to evaluate EFSM inference techniques, and applies it to three diverse software systems.