Continuous action system refinement

Action systems are a framework for reasoning about discrete reactive systems. Back, Petre and Porres have extended these action systems to continuous action systems, which can be. used to model hybrid systems. In this paper we define a refinement relation, and develop practical data refinement rules for continuous action systems. The meaning of continuous action systems is expressed in terms of a mapping from continuous action systems to action systems. First, we present a new mapping from continuous act ion systems to action systems, such that Back's definition of trace refinement is correct with respect to it. Second, we present a stream semantics that is compatible with the trace semantics, but is preferable to it because it is more general. Although action system trace refinement rules are applicable to continuous action systems with a stream semantics, they are not complete. Finally, we introduce a new data refinement rule that is valid with respect to the stream semantics and can be used to prove refinements that are not possible in the trace semantics, and we analyse the completeness of our new rule in conjunction with the existing trace refinement rules.

Coherent analysis of quantum optical sideband modes

We demonstrate a device that allows for the coherent analysis of a pair of optical frequency sidebands in an arbitrary basis. We show that our device is quantum noise limited, and hence applications for this scheme may be found in discrete and continuous variable optical quantum information experiments. (c) 2005 Optical Society of America.

Coherent-state quantum key distribution without random basis switching

The random switching of measurement bases is commonly assumed to be a necessary step of quantum key distribution protocols. In this paper we present a no-switching protocol and show that switching is not required for coherent-state continuous-variable quantum key distribution. Further, this protocol achieves higher information rates and a simpler experimental setup compared to previous protocols that rely on switching. We propose an optimal eavesdropping attack against this protocol, assuming individual Gaussian attacks. Finally, we investigate and compare the no-switching protocol applied to the original Bennett-Brassard 1984 scheme.

Illusions in advanced cancer: The effect of belief systems and attitudes on quality of life

Patients with advanced cancer frequently express positive attitudes and can be unduly optimistic about the potential benefits of treatment. In order to evaluate an illusory domain in the context of advanced cancer, we developed a scale of will to live and characterized the beliefs that patients held about the curability of their cancer, and how committed they were to using alternative treatments. A measure of quality of life was used as the dependent variable in order to assess the association between these attributes. After a preliminary exploration confirmed the presence of an illusory domain, these concepts were prospectively tested in 149 ambulant patients with advanced cancer who attended for palliative systemic treatment, radiation treatment or supportive care. The scale of global quality of life was reliable (Cronbach's alpha coefficient 0.72). The distribution of the scores of will to live was skewed, with no respondent scoring poorly, and the scale was reliable (Cronbach's alpha coefficient 0.82). The scale of belief in curability showed diverse beliefs. In some cases, there was a discrepancy between respondents' beliefs in curability and what they believed to be the report by their doctors. There was also an association between a committed use of alternative treatments and a belief in the curability of the cancer (p

Stability of benzylpenicillin during continuous home intravenous therapy

Objectives: The aim of this study was to investigate the temperature profile of home intravenous (iv) antibiotic reservoirs and the stability of 16 megaunits of benzylpenicillin sodium in 120 mL of sodium chloride 0.9% at constant and variable temperatures. Methods: A Tinytag computerized thermometer recorded temperatures every minute in the home iv antibiotic reservoir pouches of nine patients over a 24 h period. Similar bags containing benzylpenicillin sodium (16 megaunits) were maintained either at a constant 36degreesC, 26degreesC or 21-22degreesC or were worn in a pouch by five healthy volunteers for a 24 h period. Other bags were stored at 3-5degreesC for 10 days. The bags were sampled at timed intervals and benzylpenicillin concentrations assayed by HPLC. Results: Median temperatures recorded in the infusion bags worn by the nine patients were in the range 16.7-34.1degreesC. For infusion bags maintained at 36degreesC, 26degreesC and 21-22degreesC, the concentrations of benzylpenicillin dropped below 90% of the initial concentration at a mean time of 5 h 18 min, 12 h 54 min and 13 h 20 min, respectively, whereas for bags worn by the healthy volunteers the mean time for 10% loss of benzylpenicillin was 9 h 20 min. In contrast, at 3-5degreesC, concentrations of benzylpenicillin only dropped below 90% of the initial concentration at 8 days. Conclusions: Significant temperature-dependent degradation of benzylpenicillin occurs during continuous home iv antibiotic programme infusions, which could result in loss of efficacy.

Uniqueness criteria for continuous-time Markov chains with general transition structures

We derive necessary and sufficient conditions for the existence of bounded or summable solutions to systems of linear equations associated with Markov chains. This substantially extends a famous result of G. E. H. Reuter, which provides a convenient means of checking various uniqueness criteria for birth-death processes. Our result allows chains with much more general transition structures to be accommodated. One application is to give a new proof of an important result of M. F. Chen concerning upwardly skip-free processes. We then use our generalization of Reuter's lemma to prove new results for downwardly skip-free chains, such as the Markov branching process and several of its many generalizations. This permits us to establish uniqueness criteria for several models, including the general birth, death, and catastrophe process, extended branching processes, and asymptotic birth-death processes, the latter being neither upwardly skip-free nor downwardly skip-free.

Identification of MIMO Hammerstein systems using cardinal spline functions

A new approach to identify multivariable Hammerstein systems is proposed in this paper. By using cardinal cubic spline functions to model the static nonlinearities, the proposed method is effective in modelling processes with hard and/or coupled nonlinearities. With an appropriate transformation, the nonlinear models are parameterized such that the nonlinear identification problem is converted into a linear one. The persistently exciting condition for the transformed input is derived to ensure the estimates are consistent with the true system. A simulation study is performed to demonstrate the effectiveness of the proposed method compared with the existing approaches based on polynomials. (C) 2006 Elsevier Ltd. All rights reserved.

A need for caution in the use of frontal analysis continuous capillary electrophoresis for the determination of ligand binding data

Attention is drawn to a need for caution in the determination of binding data for protein-polyelectrolyte interactions by frontal analysis continuous capillary electrophoresis (FACCE). Because the method is valid only for systems involving comigration of complex(es) and slower-migrating reactant, establishing conformity with that condition is clearly a prerequisite for its application. However, that requirement has not been tested in any published studies thus far. On the basis of calculated FACCE patterns, presented to illustrate features by which such comigration of complex(es) and slower-migrating reactant can be identified, the form of the published pattern for a P-lactoglobulin-poly(styrenesulfonate) mixture does not seem to signify the migration behavior required to justify its consideration in such terms. Additional experimental studies are therefore needed to ascertain the validity of FACCE as a means of determining binding data for the characterization of protein-polyelectrolyte interactions. (c) 2005 Elsevier Inc. All rights reserved.

Hypoxic/ischemic models in newborn piglet: Comparison of constant FiO(2) versus variable FiO(2) delivery

A comparison of a constant (continuous delivery of 4% FiO(2)) and a variable (initial 5% FiO(2) with adjustments to induce low amplitude EEG (LAEEG) and hypotension) hypoxic/ischemic insult was performed to determine which insult was more effective in producing a consistent degree of survivable neuropathological damage in a newborn piglet model of perinatal asphyxia. We also examined which physiological responses contributed to this outcome. Thirty-nine 1-day-old piglets were subjected to either a constant hypoxic/ischemic insult of 30- to 37-min duration or a variable hypoxic/ischemic insult of 30-min low peak amplitude EEG (LAEEG < 5 mu V) including 10 min of low mean arterial blood pressure (MABP < 70% of baseline). Control animals (n = 6) received 21% FiO(2) for the duration of the experiment. At 72 h, the piglets were euthanased, their brains removed and fixed in 4% paraformaldehyde and assessed for hypoxic/ischemic injury by histological analysis. Based on neuropathology scores, piglets were grouped as undamaged or damaged; piglets that did not survive to 72 h were grouped separately as dead. The variable insult resulted in a greater number of piglets with neuropathological damage (undamaged = 12.5%, damaged = 68.75%, dead = 18.75%) while the constant insult resulted in a large proportion of undamaged piglets (undamaged = 50%, damaged = 22.2%, dead = 27.8%). A hypoxic insult varied to maintain peak amplitude EEG < 5 mu V results in a greater number of survivors with a consistent degree of neuropathological damage than a constant hypoxic insult. Physiological variables MABP, LAEEG, pH and arterial base excess were found to be significantly associated with neuropathological outcome. (c) 2006 Elsevier B.V. All rights reserved.

Approximate processing of massive continuous quantile queries over high-speed data streams

Quantile computation has many applications including data mining and financial data analysis. It has been shown that an is an element of-approximate summary can be maintained so that, given a quantile query d (phi, is an element of), the data item at rank [phi N] may be approximately obtained within the rank error precision is an element of N over all N data items in a data stream or in a sliding window. However, scalable online processing of massive continuous quantile queries with different phi and is an element of poses a new challenge because the summary is continuously updated with new arrivals of data items. In this paper, first we aim to dramatically reduce the number of distinct query results by grouping a set of different queries into a cluster so that they can be processed virtually as a single query while the precision requirements from users can be retained. Second, we aim to minimize the total query processing costs. Efficient algorithms are developed to minimize the total number of times for reprocessing clusters and to produce the minimum number of clusters, respectively. The techniques are extended to maintain near-optimal clustering when queries are registered and removed in an arbitrary fashion against whole data streams or sliding windows. In addition to theoretical analysis, our performance study indicates that the proposed techniques are indeed scalable with respect to the number of input queries as well as the number of items and the item arrival rate in a data stream.

Modelling biological processes under anaerobic conditions through integrating titrimetric and off-gas measurements - applied to EBPR systems

An innovative method for modelling biological processes under anaerobic conditions is presented and discussed. The method is based on titrimetric and off-gas measurements. Titrimetric data is recorded as the addition rate of hydroxyl ions or protons that is required to maintain pH in a bioreactor at a constant level. An off-gas analysis arrangement measures, among other things, the transfer rate of carbon dioxide. The integration of these signals results in a continuous signal which is solely related to the biological reactions. When coupled with a mathematical model of the biological reactions, the signal allows a detailed characterisation of these reactions, which would otherwise be difficult to achieve. Two applications of the method to the enhanced biological phosphorus removal processes are presented and discussed to demonstrate the principle and effectiveness of the method.

Structural change in macroeconomic time series: A complex systems perspective

We demonstrate that the process of generating smooth transitions Call be viewed as a natural result of the filtering operations implied in the generation of discrete-time series observations from the sampling of data from an underlying continuous time process that has undergone a process of structural change. In order to focus discussion, we utilize the problem of estimating the location of abrupt shifts in some simple time series models. This approach will permit its to address salient issues relating to distortions induced by the inherent aggregation associated with discrete-time sampling of continuous time processes experiencing structural change, We also address the issue of how time irreversible structures may be generated within the smooth transition processes. (c) 2005 Elsevier Inc. All rights reserved.

Water rights for variable supplies

The relative merits of different systems of property rights to allocate water among different extractive uses are evaluated for the case where variability of supply is important. Three systems of property rights are considered. In the first, variable supply is dealt with through the use of water entitlements defined as shares of the total quantity available. In the second, there are two types of water entitlements, one for water with a high security of supply and the other a lower security right for the residual supply. The third is a system of entitlements specified as state-contingent claims. With zero transaction costs, all systems are efficient. In the realistic situation where transaction costs matter, the system based on state-contingent claims is globally optimal, and the system with high-security and lower security entitlements is preferable to the system with share entitlements.

Functional analysis of a real-time protocol for networked control systems

Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour.