Using XML to build consistency rules for distributed specifications

The work presented is part of a large programme of research aimed at supporting consistency management of distributed documents on the World Wide Web. We describe an approach for specifying consistency rules for distributed partial specifications with overlapping contents. The approach is based on expressing consistency rules using XML and XPointer. We present a classification for different types of consistency rules, related to various types of inconsistencies and show how to express these consistency rules using our approach. We also briefly describe a rule editor to support the specification of the consistency rules

Generating Secure Service Compositions

Ensuring that the compositions of services that constitute service-based systems satisfy given security properties is a key prerequisite for the adoption of the service oriented computing paradigm. In this paper, we address this issue using a novel approach that guarantees service composition security by virtue of the generation of compositions. Our approach generates service compositions that are guaranteed to satisfy security properties based on secure service orchestration (SESO) patterns. These patterns express primitive (e.g., sequential, parallel) service orchestrations, which are proven to have certain global security properties if the individual services participating in them have themselves other security properties. The paper shows how SESO patterns can be constructed and gives examples of proofs for such patterns. It also presents the process of using SESO patterns to generate secure service compositions and presents the results of an initial experimental evaluation of the approach

Effect of Particle Size on Droplet Infiltration into Hydrophobic Porous Media As a Model of Water Repellent Soil

The wettability of soil is of great importance for plants and soil biota, and in determining the risk for preferential flow, surface runoff, flooding,and soil erosion. The molarity of ethanol droplet (MED) test is widely used for quantifying the severity of water repellency in soils that show reduced wettability and is assumed to be independent of soil particle size. The minimum ethanol concentration at which droplet penetration occurs within a short time (≤10 s) provides an estimate of the initial advancing contact angle at which spontaneous wetting is expected. In this study, we test the assumption of particle size independence using a simple model of soil, represented by layers of small (0.2–2 mm) diameter beads that predict the effect of changing bead radius in the top layer on capillary driven imbibition. Experimental results using a three-layer bead system show broad agreement with the model and demonstrate a dependence of the MED test on particle size. The results show that the critical initial advancing contact angle for penetration can be considerably less than 90° and varies with particle size, demonstrating that a key assumption currently used in the MED testing of soil is not necessarily valid

MULTIPLE HIGH CURRENT BUNCHES IN PEP-II

Operation with colliding beams at PEP-II has progressed remarkably well with over half the design specific luminosity and 5:2 10 32 cm,2s,1 in multiple bunches demonstrated during the last commissioning period before installation of the BABAR detector. Further luminosity increases are anticipated as the vertical beam size is reduced and beam currents are raised towards design values. At high currents interesting multibunch dynamics, which depend strongly on current distribution, have been observed during single-beam commissioning studies. Transverse beam instabilities nominally controlled using bunch-by-bunch feedback were observed to be significantly suppressed, in the absence of feedback, with beams in collision.

Liquid Cryogen Absorber for MICE

The Muon Ionization Cooling Experiment (MICE) will test ionization cooling of muons. In order to have effective ionization cooling, one must use an absorber that is made from a low-z material. The most effective low z materials for ionization cooling are hydrogen, helium, lithium hydride, lithium and beryllium, in that order. In order to measure the effect of material on cooling, several absorber materials must be used. This report describes a liquid-hydrogen absorber that is within a pair of superconducting focusing solenoids. The absorber must also be suitable for use with liquid helium. The following absorber components are discussed in this report; the absorber body, its heat exchanger, the hydrogen system, and the hydrogen safety. Absorber cooling and the thin windows are not discussed here

Surface free energy of polyurethane coatings with improved hydrophobicity

The polarity of polyurethane coats was studied on the basis of the goniometric method for determination of wetting angle values, on the basis of calculated surface free energy (SFE) values by the van Oss–Good and Owens–Wendt methods, and on the basis of polarity measurements with the use of the 1H NMR spectra. Test polyurethanes were synthesised in the reaction of methylene diphenyl 4,4′-diisocyanate (MDI) or 3-izocyanatomethyl –3,5,5- trimethylcyclohexyl isocyanate (IPDI) and polyoxyethylene glycols or polyesters poly(ε-caprolactone) diols and poly(ethyleneadipate) diol with different molecular weights, and some diols as chain extenders, in dioxane. The type of raw material was found to significantly affect the phase structure of the obtained polyurethane elastomers and to control physical interactions within those structures, thus influencing the SFE values. Fundamental reduction in the SFE value of a coating below 28 mJ/m2 was achieved by the use of 2,2,3,3-tetrafluoro-1,4-butanediol as the urethane prepolymer chain extender

Synthesis and characterisation of coating polyurethane cationomers containing fluorine built-in hard urethane segments

Polyurethane cationomers were synthesised in the reaction of 4,4’-methylenebis(phenyl isocyanate) with polyoxyethylene glycol (M = 2,000) or poly(tetrafluoroethyleneoxide-co-difluoromethylene oxide) α,ω-diisocyanate and N-methyl diethanolamine. Amine segments were built-in to the urethane-isocyanate prepolymer in the reaction with 1-bromobutane or formic acid, and then they were converted to alkylammonium cations. The obtained isocyanate prepolymers were then extended in the aqueous medium that yielded stable aqueous dispersions which were applied on the surfaces of test poly(tetrafluoroethylene) plates. After evaporation of water, the dispersions formed thin polymer coatings. 1H, 13C NMR and IR spectral methods were employed to confirm chemical structures of synthesised cationomers. Based on 1H NMR and IR spectra, the factors κ and α were calculated, which represented the polarity level of the obtained cationomers. The DSC, wide angle X-ray scattering and atom force microscopy methods were employed for the microstructural assessment of the obtained materials. Changes were discussed in the surface free energy and its components, as calculated independently according to the method suggested by van Oss–Good, in relation to chemical and physical structures of cationomers as well as morphology of coating surfaces obtained from those cationomers. Fluorine incorporated into cationomers (about 30%) contributed to lower surface free energy values, down to about 15 mJ/m2. That was caused by gradual weakening of long-range interactions within which the highest share is taken by dispersion interactions

MICE: The muon ionization cooling experiment. Step I: First measurement of emittance with particle physics detectors

Copyright @ 2011 APSThe Muon Ionization Cooling Experiment (MICE) is a strategic R&D project intended to demonstrate the only practical solution to providing high brilliance beams necessary for a neutrino factory or muon collider. MICE is under development at the Rutherford Appleton Laboratory (RAL) in the United Kingdom. It comprises a dedicated beamline to generate a range of input muon emittances and momenta, with time-of-flight and Cherenkov detectors to ensure a pure muon beam. The emittance of the incoming beam will be measured in the upstream magnetic spectrometer with a scintillating fiber tracker. A cooling cell will then follow, alternating energy loss in Liquid Hydrogen (LH2) absorbers to RF cavity acceleration. A second spectrometer, identical to the first, and a second muon identification system will measure the outgoing emittance. In the 2010 run at RAL the muon beamline and most detectors were fully commissioned and a first measurement of the emittance of the muon beam with particle physics (time-of-flight) detectors was performed. The analysis of these data was recently completed and is discussed in this paper. Future steps for MICE, where beam emittance and emittance reduction (cooling) are to be measured with greater accuracy, are also presented.This work was supported by NSF grant PHY-0842798