Integrated power scheme simulator for human-system integration studies

We present a simulator of a hydropower company’s view of its scheme, and its broader market and network context, which has been developed to evaluate advanced displays for control room operations. Although simplified, the simulator captures all the main aspects of scheme operations. The simulator allows controlled studies to be performed that test the effectiveness of current vs advanced display concepts under normal vs unexpected operating conditions that can be scripted into the simulator.

Formal considerations of rule-based messaging for Business Process Integration

In the last decade, with the expansion of organizational scope and the tendency for outsourcing, there has been an increasing need for Business Process Integration (BPI), understood as the sharing of data and applications among business processes. The research efforts and development paths in BPI pursued by many academic groups and system vendors, targeting heterogeneous system integration, continue to face several conceptual and technological challenges. This article begins with a brief review of major approaches and emerging standards to address BPI. Further, we introduce a rule-driven messaging approach to BPI, which is based on the harmonization of messages in order to compose a new, often cross-organizational process. We will then introduce the design of a temporal first order language (Harmonized Messaging Calculus) that provides the formal foundation for general rules governing the business process execution. Definitions of the language terms, formulae, safety, and expressiveness are introduced and considered in detail.

Advanced Asia's health systems in comparison

There is growing interest in comparing patterns of social and health service development in advanced Asian economies. Most publications concentrate broadly on a range of core social services such as education, housing, social security and health care. In terms of those solely focused on health, most discuss arrangements in specific countries and territories. Some take a comparative approach, but are focused on presentation and discussion of expenditure, resourcing and service utilization data. This article extends the comparative analysis of advanced Asian health systems, considering the cases of Japan, South Korea, Taiwan, Hong Kong and Singapore. The article provides basic background information, and delves into common concerns among the world's health systems today including primary care organization, rationing and cost containment, service quality, and system integration. Conclusions include that problems exist in 'classifying' the five diverse systems; that the systems face common pressures; and that there are considerable opportunities to enhance primary care, service quality and system integration. (c) 2006 Elsevier Ireland Ltd. All rights reserved.

Tuberculosis and health sector reform: experience of integrating tuberculosis services into the district health system in rural South Africa

SETTING: Hlabisa health district, South Africa. OBJECTIVE: To describe the integration of a vertical tuberculosis control programme into an emerging 'horizontal' district health system, within the context of health sector reform. DESIGN: Descriptive account of the process of integration of the programme into the health system. RESULTS: A highly 'vertical' system of delivering tuberculosis treatment (with poor programme outcomes) was converted into a (horizontal' team, integrated within the district health system, that used available resources such as village clinics and community health workers, with improved programme outcomes. CONCLUSIONS: In some settings at least, integration of tuberculosis 'programmes' into the district health system as tuberculosis 'teams' is feasible, and may produce highly cost-effective outcomes.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Integration of autonomic and local mechanisms in regulating cardiovascular responses to heating and cooling in a reptile (Crocodylus porosus)

Reptiles change heart rate and blood flow patterns in response to heating and cooling, thereby decreasing the behavioural cost of thermoregulation. We tested the hypothesis that locally produced vasoactive substances, nitric oxide and prostaglandins, mediate the cardiovascular response of reptiles to heat. Heart rate and blood pressure were measured in eight crocodiles (Crocodylus porosus) during heating and cooling and while sequentially inhibiting nitric-oxide synthase and cyclooxygenase enzymes. Heart rate and blood pressure were significantly higher during heating than during cooling in all treatments. Power spectral density of heart rate and blood pressure increased significantly during heating and cooling compared to the preceding period of thermal equilibrium. Spectral density of heart rate in the high frequency band (0.19-0.70 Hz) was significantly greater during cooling in the saline treatment compared to when nitric-oxide synthase and cyclooxygenase enzymes were inhibited. Cross spectral analysis showed that changes in blood pressure preceded heart rate changes at low frequencies (

Lessons from the National Mental Health Integration Program

Three projects were funded under the national Mental Health Integration Program (MHIP) in 1999, each of which employed a different model aimed at improving linkages between disparate parts of the mental health system. A national evaluation framework guided local evaluations of these projects, and this paper presents a synthesis of the findings. For providers, the projects improved working relationships, created learning opportunities and increased referral and shared care opportunities. For consumers and carers, the projects resulted in a greater range of options and increased continuity of care. For the wider system, the projects achieved significant structural and cultural change. Cost-wise, there were no increases in expenditure, and even some reductions. Many of the lessons from the projects (and their evaluations) may be generalised to other mental health settings and beyond.

Signal integration between IFN gamma and TLR signalling pathways in macrophages

Macrophages are major effector cells of the innate immune system, and appropriate regulation of macrophage function requires the integration of multiple signalling inputs derived from the recognition of host factors (e.g. interferon-gamma/IFN gamma) and pathogen products (e.g. toll-like receptor/TLR agonists). The profound effects of IFN gamma pre-treatment (priming) on TLR-induced macrophage activation have long been recognised, but many of the mechanisms underlying the priming phenotype have only recently been identified. This review summarises the known mechanisms of integration between the IFN gamma and TLR signalling pathways. Synergy occurs at multiple levels, ranging from signal recognition to convergence of signals at the promoters of target genes. In particular, the cross-talk between the IFN gamma and LPS and CpG DNA signalling pathways is discussed. (c) 2006 Elsevier GmbH. All rights reserved.

Integration of sulphate reduction, autotrophic denitrification and nitrification to achieve low-cost excess sludge minimisation for Hong Kong sewage

An integrated anaerobic-aerobic treatment system of sulphate-laden wastewater was proposed here to achieve low sludge production, low energy consumption and effective sulphide control. Before integrating the whole system, the feasibility of autotrophic denitrification utilising dissolved sulphide produced during anaerobic treatment of sulphate rich wastewater was studied here. An upflow anaerobic sludge blanket reactor was operated to treat sulphate-rich synthetic wastewater (TOC = 100 mg/L and sulphate = 500 mg/L) and its effluent with dissolved sulphide and external nitrate solution were fed into an anoxic biofilter. The anaerobic reactor was able to remove 77-85% of TOC at HRT of 3 h and produce 70-90 mg S/L sulphide in dissolved form for the subsequent denitrification. The performance of anoxic reactor was stable, and the anoxic reactor could remove 30 mg N/L nitrate at HRT of 2 h through autotrophic denitrification. Furthermore, sulphur balance for the anoxic filter showed that more than 90% of the removed sulphide was actually oxidised into sulphate, thereby there was no accumulation of sulphur particles in the filter bed. The net sludge productions were approximately 0.15 to 0.18 g VSS/g COD in the anaerobic reactor and 0.22 to 0.31 g VSS/g NO3--N in the anoxic reactor. The findings in this study will be helpful in developing the integrated treatment system to achieve low-cost excess sludge minimisation.

A synchronous multimedia annotation system for secure collaboratories

In this paper, we describe the Vannotea system - an application designed to enable collaborating groups to discuss and annotate collections of high quality images, video, audio or 3D objects. The system has been designed specifically to capture and share scholarly discourse and annotations about multimedia research data by teams of trusted colleagues within a research or academic environment. As such, it provides: authenticated access to a web browser search interface for discovering and retrieving media objects; a media replay window that can incorporate a variety of embedded plug-ins to render different scientific media formats; an annotation authoring, editing, searching and browsing tool; and session logging and replay capabilities. Annotations are personal remarks, interpretations, questions or references that can be attached to whole files, segments or regions. Vannotea enables annotations to be attached either synchronously (using jabber message passing and audio/video conferencing) or asynchronously and stand-alone. The annotations are stored on an Annotea server, extended for multimedia content. Their access, retrieval and re-use is controlled via Shibboleth identity management and XACML access policies.

Biomechanical consequences of impairment: A taxonomically valid basis for classification in a unified disability athletics system

Developing a unified classification system to replace four of the systems currently used in disability athletics (i.e., track and field) has been widely advocated. The diverse impairments to be included in a unified system require severed assessment methods, results of which cannot be meaningfully compared. Therefore, the taxonomic basis of current classification systems is invalid in a unified system. Biomechanical analysis establishes that force, a vector described in terms of magnitude and direction, is a key determinant of success in all athletic disciplines. It is posited that all impairments to be included in a unified system may be classified as either force magnitude impairments (FMI) or force control impairments (FCI). This framework would provide a valid taxonomic basis for a unified system, creating the opportunity to decrease the number of classes and enhance the viability of disability athletics.