607 research outputs found
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
Recommended from our members
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
Recommended from our members
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
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.
Characterisation of the muon beams for the Muon Ionisation Cooling Experiment
A novel single-particle technique to measure emittance has been developed and used to characterise seventeen different muon beams for the Muon Ionisation Cooling Experiment (MICE). The muon beams, whose mean momenta vary from 171 to 281 MeV/c, have emittances of approximately 1.2–2.3 π mm-rad horizontally and 0.6–1.0 π mm-rad vertically, a horizontal dispersion of 90–190 mm and momentum spreads of about 25 MeV/c. There is reasonable agreement between the measured parameters of the beams and the results of simulations. The beams are found to meet the requirements of MICE
The relationship between the preoperative systemic inflammatory response and cancer-specific survival in patients undergoing potentially curative resection for renal clear cell cancer
The relationship between tumour stage, grade (Fuhrman), performance status (ECOG), a combined score (UCLA Integrated Staging System, UISS), systemic inflammatory response (elevated C-reactive protein concentration), and cancer-specific survival was examined in patients undergoing potentially curative resection for renal clear cell cancer (n=100). On univariate survival analysis, sex (P=0.050), tumour stage (P=0.001), Fuhrman grade (P<0.001), UISS (P<0.001), C-reactive protein (P=0.002) were significant predictors of survival. On multivariate analysis with sex, UISS and C-reactive protein entered as covariates, only UISS (HR 2.70, 95% CI 1.00–7.30, P=0.050) and C-reactive protein (HR 4.00, 95% CI 1.21–13.31, P=0.024) were significant independent predictors of survival. The presence of a preoperative systemic inflammatory response predicts poor cancer-specific survival in patients who have undergone potentially curative resection for renal clear cell cancer
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
- …