TRACTABLE DATA-FLOW ANALYSIS FOR DISTRIBUTED SYSTEMS

Automated behavior analysis is a valuable technique in the development and maintainence of distributed systems. In this paper, we present a tractable dataflow analysis technique for the detection of unreachable states and actions in distributed systems. The technique follows an approximate approach described by Reif and Smolka, but delivers a more accurate result in assessing unreachable states and actions. The higher accuracy is achieved by the use of two concepts: action dependency and history sets. Although the technique, does not exhaustively detect all possible errors, it detects nontrivial errors with a worst-case complexity quadratic to the system size. It can be automated and applied to systems with arbitrary loops and nondeterministic structures. The technique thus provides practical and tractable behavior analysis for preliminary designs of distributed systems. This makes it an ideal candidate for an interactive checker in software development tools. The technique is illustrated with case studies of a pump control system and an erroneous distributed program. Results from a prototype implementation are presented

Probing Contact Interactions at High Energy Lepton Colliders

Fermion compositeness and other new physics can be signalled by the presence of a strong four-fermion contact interaction. Here we present a study of $\ell\ell qq$ and $\ell\ell\ell'\ell'$ contact interactions using the reactions: $\ell^+ \ell^- \to \ell'^+\ell'^-,b\bar b, c\bar c$ at future $e^+e^-$ linear colliders with $\sqrt s=0.5-5$ TeV and $\mu^+\mu^-$ colliders with $\sqrt s=0.5,4$ TeV. We find that very large compositeness scales can be probed at these machines and that the use of polarized beams can unravel their underlying helicity structure.Comment: 12 pg, to appear in the {\it Proceedings of the 1996 DPF/DPB Summer Study on New Directions for High Energy Physics - Snowmass96}, Snowmass, CO, 25 June - 12 July, 199

Seesaw Spectroscopy at Colliders

A low-scale neutrino seesaw may be probed or even reconstructed at colliders provided that supersymmetry is at the weak scale and the LSP is a sterile sneutrino. Because the neutrino Yukawa couplings are small, the NLSP is typically long-lived and thus a significant fraction of colored or charged NLSPs may stop in the detector material before decaying to the LSP and a charged lepton, gauge boson, or Higgs. For two-body NLSP decays, the energy spectrum of the visible decay product exhibits a monochromatic line for each sterile sneutrino which can be used to extract the sterile sneutrino masses and some or all entries of the neutrino Yukawa matrix modulo phases. Similar methods can be used to extract these parameters from the Dalitz plot in the case of three-body NLSP decays. Assuming that the sterile sneutrino and neutrino are roughly degenerate, one can confirm the existence of a neutrino seesaw by comparing these measured parameters to the observed active neutrino masses and mixing angles. Seesaw spectroscopy can also provide genuinely new information such as the value of $\theta_{13}$, the nature of the neutrino mass hierarchy, and the presence of CP conservation in the neutrino sector. We introduce a weak-scale theory of leptogenesis that can be directly tested by these techniques.Comment: 7 pages, 4 figure

Strange-Beauty Meson Production at ppˉp\bar p Colliders

The production rates and transverse momentum distributions of the strange-beauty mesons $B_s$ and $B_s^*$ at $p\bar p$ colliders are calculated assuming fragmentation is the dominant process. Results are given for the Tevatron in the large transverse momentum region, where fragmentation is expected to be most important.Comment: Minor changes in the discussion section. Also available at http://www.ph.utexas.edu/~cheung/paper.htm

The prevalence of metabolic syndrome amongst patients with severe mental illness in the community in Hong Kong--a cross sectional study

Background: Patients with severe mental illness are at increased risk of developing metabolic disorders. The risk of metabolic syndrome in the Hong Kong general population is lower than that observed in western countries; however the prevalence of metabolic syndrome in patients with severe mental illness in Hong Kong is unknown. Method: This cross-sectional study aimed to estimate the prevalence of metabolic syndrome in patients with severe mental illness in Hong Kong and to identify the relationships between metabolic syndrome and socio-demographic, clinical and lifestyle factors. Results: A total of 139 patients with a diagnosis of severe mental illness participated in the study. The unadjusted prevalence of metabolic syndrome was 35%. The relative risk of metabolic syndrome in comparison with the general Hong Kong population was 2.008 (95% CI 1.59-2.53, p < 0.001). In a logistic regression model sleep disruption and being prescribed first generation antipsychotics were significantly associated with the syndrome, whilst eating less than 3 portions of fruit/vegetables per day and being married were weakly associated. Conclusion The results demonstrate that metabolic syndrome is highly prevalent and that physical health inequalities in patients with severe mental illness in Hong Kong are similar to those observed in western countries. The results provide sufficient evidence to support the need for intervention studies in this setting and reinforce the requirement to conduct regular physical health checks for all patients with severe mental illness

Cutout reinforcements for shear loaded laminate and sandwich composite panels

This paper presents the numerical and experimental studies of shear loaded laminated and sandwich carbon/epoxy composite panels with cutouts and reinforcements aiming at reducing the cutout stress concentration and increasing the buckling stability of the panels. The effect of different cutout sizes and the design and materials of cutout reinforcements on the stress and buckling behaviour of the panels are evaluated. For the sandwich panels with a range of cutout size and a constant weight, an optimal ratio of the core to the face thickness has been studied for the maximum buckling stability. The finite element method and an analytical method are employed to perform parametric studies. In both constant stress and constant displacement shear loading conditions, the results are in very good agreement with those obtained from experiment for selected cutout reinforcement cases. Conclusions are drawn on the cutout reinforcement design and improvement of stress concentration and buckling behaviour of shear loaded laminated and sandwich composite panels with cutouts

Deep optical imaging of AGB circumstellar envelopes

We report results of a program to image the extended circumstellar envelopes of asymptotic giant branch (AGB) stars in dust-scattered Galactic light. The goal is to characterize the shapes of the envelopes to probe the mass-loss geometry and the presence of hidden binary companions. The observations consist of deep optical imaging of 22 AGB stars with high mass loss rates: 16 with the ESO 3.5 m NTT telescope, and the remainder with other telescopes. The circumstellar envelopes are detected in 15 objects, with mass loss rates > 2E-6 Msun/year. The surface brightness of the envelopes shows a strong decrease with Galactic radius, which indicates a steep radial gradient in the interstellar radiation field. The envelopes range from circular to elliptical in shape, and we characterize them by the ellipticity (E = major/minor axis) of iso-intensity contours. We find that about 50 percent of the envelopes are close to circular with E 1.2. We interpret the shapes in terms of populations of single stars and binaries whose envelopes are flattened by a companion. The distribution of E is qualitatively consistent with expectations based on population synthesis models of binary AGB stars. We also find that about 50 percent of the sample exhibit small-scale, elongated features in the central regions. We interpret these as the escape of light from the central star through polar holes, which are also likely produced by companions. Our observations of envelope flattening and polar holes point to a hidden population of companions within the circumstellar envelopes of AGB stars. These companions are expected to play an important role in the transition to post-AGB stars and the formation of planetary nebulae.Comment: 19 pages, 13 figures, color pictures in Appendix, accepted by A&