The feasibility of general task systems with precedence constraints on multiprocessor platforms

Feasibility analysis determines (prior to system execution-time) whether a specified collection of hard-real-time jobs executed on a processing platform can meet all deadlines. In this paper, we derive near-optimal sufficient tests for determining whether a given collection of jobs can feasibly meet all deadlines upon a specified multiprocessor platform assuming job migration is permitted. The collection of jobs may contain precedence constraints upon the order of execution of these jobs. The derived tests are general enough to be applied even when the collection of jobs is incompletely specified. We discuss the applicability of these tests to the scheduling of collections of jobs that are generated by systems of recurrent real-time tasks. We also show that our feasibility conditions may be used to obtain global-EDF schedulability conditions.

Understanding the outsourcing learning curve: A longitudinal analysis of a large Australian company

Outsourcing continues to capture the attention of researchers as more companies move to outsourcing models as part of their business practice. Two areas frequently researched and reported in the literature are the reasons why a company decides to outsource, and outsourcing success factors. This paper describes an in-depth, longitudinal case study that explores both the reasons why the company decided to outsource and factors that impact on success. The paper describes how Alpha, a very large Australian communications company, approached outsourcing and how its approach matured over a period of 9 years. The paper concludes that although a number of reasons are proposed for a company's decision to outsource, lowering costs was the predominant driver in this case. We also describe other factors identified as important for outsourcing success such as how contracts are implemented, the type of outsourcing partner arrangement, and outsourcing vendor capabilities.

Wear and biological activity of highly crosslinked polyethylene in the hip under low serum protein concentrations

Crosslinked ultra-high molecular weight polyethylene (UHMWPE) has been developed and introduced into clinical practice in order to reduce wear in the hip. Zero wear of highly crosslinked UHMWPE in vitro has been reported by some groups using lubricants with high concentrations of serum proteins in hip simulators. In contrast, some clinical studies have reported finite wear rates. The aim of this study was to compare the wear rates, wear surfaces, and wear debris produced by UHMWPE with different levels of crosslinking in a hip joint simulator, with lower, more physiologically relevant concentrations of protein in the lubricant. The UHMWPEs were tested in the Leeds ProSim hip joint simulator against cobalt-chromium (CoCr) femoral heads. The wear particles were isolated and imaged using a field emission gun scanning electron microscope (FEGSEM) at high resolution. The highly crosslinked UHMWPEs had significantly lower wear volumes than the non-crosslinked UHMWPEs. No significant difference was found in the percentage number and percentage volume of the particles in different size ranges from any of the materials. They had similar values of specific biological activity. The functional biological activity (FBA), which takes into account the wear volume and specific biological activity, showed that the highly crosslinked UHMWPEs had lower FBAs due to their lower wear volume.     

Healthcare data warehousing and quality assurance

Healthcare data warehousing presents unique challenges. The industry is rife with often incompatible medical standards and coding schemes that require careful translation. Healthcare data comes from many sources and is delivered in many forms, including published books, individual spreadsheets, and several tape or data formats. Results derived from a healthcare data warehouse must be delivered in accessible form to diverse stakeholders, including healthcare regulators, physicians, hospital administrators, consumers, community activists, and members of the popular press. The industry's widely decentralized and largely autonomous data collection efforts make data quality a significant challenge. Finally, the sensitivity of healthcare data makes privacy and security issues paramount. Healthcare data warehousing will make rigorous, quantitative information available to healthcare decision makers. The authors describe a fully functional healthcare data warehouse used to produce several reports for communities throughout Florida. Building on this work, they're actively pursuing a research agenda to enhance technical data warehousing capabilities while investigating innovative community and clinical healthcare applications     

Development of clinical indicators for performance measurement and improvement: an HMO/purchaser collaborative effort

This article describes a collaborative effort between a major health care purchaser, three area health maintenance organizations, and a state Medicaid agency to develop clinical indicators as the basis for a comparison database. Some of the difficulties in developing a "common yardstick" of quality and value are candidly discussed.     

Model checking agent programming languages

In this paper we describe a verification system for multi-agent programs. This is the first comprehensive approach to the verification of programs developed using programming languages based on the BDI (belief-desire-intention) model of agency. In particular, we have developed a specific layer of abstraction, sitting between the underlying verification system and the agent programming language, that maps the semantics of agent programs into the relevant model-checking framework. Crucially, this abstraction layer is both flexible and extensible; not only can a variety of different agent programming languages be implemented and verified, but even heterogeneous multi-agent programs can be captured semantically. In addition to describing this layer, and the semantic mapping inherent within it, we describe how the underlying model-checker is driven and how agent properties are checked. We also present several examples showing how the system can be used. As this is the first system of its kind, it is relatively slow, so we also indicate further work that needs to be tackled to improve performance.     

Transmission microscopy of the corrosion scale formed on a stainless steel exposed to liquid sodium

The scale, formed on 304 stainless steel during exposure to sodium for 85 days, was removed electrolytically, examined in transmission in the Hitachi high voltage microscope and found to consist of hexagonal close packed crystallites, typically 0.3 to 1 m in diameter. Approximately 90% of the crystallites were of basal (0001) orientation and the others either of {4, ¯1, ¯3, 15} or {¯2110} orientations. Lattice parametersa=2.96 Å andc=13.89 Å were determined by analysing electron diffraction patterns derived from the scale. Confirmatory evidence was obtained by examining the scale formed after a shorter exposure of 29 days, in the Philips EM 200 microscope. Previous studies [1, 2] have indicated that the scale may be sodium chromite (with lattice parametersa=2.96 Å andc=15.95 Å). The results of the present study are in apparent conflict with this suggestion unless a contraction parallel to thec-axis 13% is assumed.     

Haemoglobins of the shark, Heterodontus portusjacksoni II. Amino acid sequence of the alpha-chain

The amino acid sequence of the alpha-chain of the principal haemoglobin from the shark, H. portusjacksoni has been determined. The chain has 148 residues and is acetylated at the amino terminal. The soluble peptides obtained by tryptic and chymotryptic digestion of the protein or its cyanogen bromide fragments were isolated by gel filtration, paper ionophoresis and paper chromatography. The amino acid sequences were determined by the dansyl-Edman procedure. The insoluble "core" peptide from the tryptic digestion contained 34 residues and required cleavage by several prosteases before the sequence was established. Compared with human alpha-chain there are 88 amino acid differences including the additional seven residues which appear on the amino terminal of the shark chain. There is also one deletion and one insertion. The chain contains no tryptophan but has four cysteinyl residues which is the highest number of such residues recorded for a vertebrate globin. In the alpha1beta1 contact sites there are four changes in the oxyhaemoglobin form and six deoxy form. Nine of the 16, alpha1beta1 contact sites show variation while three of the haem contact sites have changed in comparison to the residues known to be involved in these interactions in horse haemoglobin alpha-chain. Use of the sequence data to estimate a time of divergence of the shark from the main vertebrate line yielded the value of 410 +/- 46 million years. The data, in general, support the palaeontological view that bony fishes arose before the elasmobranchs.     

Turbulence generated by vibrating wire resonators in superfluid 4He at low temperatures

No Heading We have measured responses of vibrating wire resonators in superfluid ⁴He at millikelvin temperatures. We find evidence for turbulence generation above a critical velocity on the order of a few cm/s. At the critical velocity for the onset of turbulence, the resonator velocity abruptly decreases and shows hysteretic behavior. Surprisingly we find that the resonant frequencies of the resonators increase in the turbulent regime. We also find that the critical velocity may be reduced by the presence of turbulence generated by a neighboring vibrating wire resonator, allowing the detection of existing turbulence in the low temperature regime.PACS numbers: 67.40 Vs, 67.40 Pm