Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

An overview of APSIM, a model designed for farming systems simulation

The Agricultural Production Systems Simulator (APSIM) is a modular modelling framework that has been developed by the Agricultural Production Systems Research Unit in Australia. APSIM was developed to simulate biophysical process in farming systems, in particular where there is interest in the economic and ecological outcomes of management practice in the face of climatic risk. The paper outlines APSIM's structure and provides details of the concepts behind the different plant, soil and management modules. These modules include a diverse range of crops, pastures and trees, soil processes including water balance, N and P transformations, soil pH, erosion and a full range of management controls. Reports of APSIM testing in a diverse range of systems and environments are summarised. An example of model performance in a long-term cropping systems trial is provided. APSIM has been used in a broad range of applications, including support for on-farm decision making, farming systems design for production or resource management objectives, assessment of the value of seasonal climate forecasting, analysis of supply chain issues in agribusiness activities, development of waste management guidelines, risk assessment for government policy making and as a guide to research and education activity. An extensive citation list for these model testing and application studies is provided. Crown Copyright (C) 2002 Published by Elsevier Science B.V. All rights reserved.

The case for a new system for oversight of research on human subjects

The increasing emphasis on evidence-based clinical practice has thrown into sharp focus multiple deficiencies in current systems of ethical review. This paper argues that a complete overhaul of systems for ethical oversight of studies involving human subjects is now required as developments in medical, epidemiological and genetic research have outstripped existing structures for ethical supervision. It shows that many problems are now evident and concludes that sequential and piecemeal amendments to present arrangements an inadequate to address these. Ar their core present systems of ethical review still rely on the integrity and judgement of individual investigators. One possible alternative is to train and license research investigators, make explicit their responsibilities and have ethics committees devote much more of their time to monitoring research activity in order to detect those infringing the rules.

Bioactivation of Phenytoin by Human Cytochrome P450: Characterization of the Mechanism and Targets of Covalent Adduct Formation

The cytochrome P450-dependent covalent binding of radiolabel derived fi om phenytoin (DPH) and its phenol and catechol metabolites, 5-(4'-hydroxyphenyl)-5-phenylhydantoin (HPPH) and 5-(3',4'-dihydroxyphenyl)-5-phenylhydantoin (CAT), was examined in liver microsomes. Radiolabeled HPPH and CAT and unlabeled CAT were obtained from microsomal incubations and isolated by preparative HPLC. NADPH-dependent covalent binding was demonstrated in incubations of human liver microsomes with HPPH. When CAT was used as substrate, covalent adduct formation was independent of NADPH, was enhanced in the presence of systems generating reactive oxygen species, and was diminished under anaerobic conditions or in the presence of cytoprotective reducing agents. Fluorographic analysis showed that radiolabel derived from DPH and HPPH was selectively associated with proteins migrating with approximate relative molecular weights of 57-59 kDa and at the dye front (molecular weights < 23 kDa) on denaturing gels. Lower levels of radiolabel were distributed throughout the molecular weight range. In contrast, little selectivity was seen in covalent adducts formed from CAT. HPPH was shown to be a mechanism-based inactivator of P450, supporting the contention that a cytochrome P450 is one target of covalent binding. These results suggest that covalent binding of radiolabel derived from DPH in rat and human Liver microsomes occurs via initial P450-dependent catechol formation followed by spontaneous oxidation to quinone and semiquinone derivatives that ultimately react with microsomal protein. Targets for covalent binding may include P450s, though the catechol appears to be sufficiently stable to migrate out of the P450 active site to form adducts with other proteins. In conclusion, we have demonstrated that DPH can be bioactivated in human liver to metabolites capable of covalently binding to proteins. The relationship of adduct formation to DPH-induced hypersensitivity reactions remains to be clarified.

On the Hopf bifurcation in control systems with a bounded nonlinearity asymptotically homogeneous at infinity

The paper studies existence, uniqueness, and stability of large-amplitude periodic cycles arising in Hopf bifurcation at infinity of autonomous control systems with bounded nonlinear feedback. We consider systems with functional nonlinearities of Landesman-Lazer type and a class of systems with hysteresis nonlinearities. The method is based on the technique of parameter functionalization and methods of monotone concave and convex operators. (C) 2001 Academic Press.

Stimulation of protein kinase C-dependent and -independent signaling pathways by bistratene A in intestinal epithelial cells

The marine toxin bistratene A (BisA) potently induces cytostasis and differentiation in a variety of systems. Evidence that BisA is a selective activator of protein kinase C (PKC) delta implicates PKC delta signaling in the negative growth-regulatory effects of this agent. The current study further investigates the signaling pathways activated by BisA by comparing its effects with those of the PKC agonist phorbol 12-myristate 13-acetate (PMA) in the IEC-18 intestinal crypt cell line. Both BisA and PMA induced cell cycle arrest in these cells, albeit with different kinetics. While BisA produced sustained cell cycle arrest in G(o)/G(1) and G(2)/M, the effects of PMA were transient and involved mainly a G(o)/G(1), blockade. BisA also produced apoptosis in a proportion of the population, an effect not seen with PMA. Both agents induced membrane translocation/activation of PKC, with BisA translocating only PKC delta and PMA translocating PKC alpha, delta, and epsilon in these cells. Notably, while depletion of PKC alpha, delta, and epsilon abrogated the cell cycle-specific effects of PMA in IEC-18 cells, the absence of these PKC isozymes failed to inhibit BisA-induced G(o)/G(1), and G(2)/M arrest or apoptosis. The cell cycle inhibitory and apoptotic effects of BisA, therefore, appear to be PKC-independent in IEG-18 cells. On the other hand, BisA and PMA both promoted PKC-dependent activation of Erk 1 and 2 in this system. Thus, intestinal epithelial cells respond to BisA through activation of at least two signaling pathways: a PKC delta -dependent pathway, which leads to activation of mitogen-activated protein kinase and possibly cytostasis in the appropriate context, and a PKC-independent pathway, which induces both cell cycle arrest in G(o)/G(1) and G(2)/M and apoptosis through as yet unknown mechanisms. (C) 2001 Elsevier Science Inc. All rights reserved.

A model of factors affecting an information system's change in state

Management are keen to maximize the life span of an information system because of the high cost, organizational disruption, and risk of failure associated with the re-development or replacement of an information system. This research investigates the effects that various factors have on an information system's life span by understanding how the factors affect an information system's stability. The research builds on a previously developed two-stage model of information system change whereby an information system is either in a stable state of evolution in which the information system's functionality is evolving, or in a state of revolution, in which the information system is being replaced because it is not providing the functionality expected by its users. A case study surveyed a number of systems within one organization. The aim was to test whether a relationship existed between the base value of the volatility index (a measure of the stability of an information system) and certain system characteristics. Data relating to some 3000 user change requests covering 40 systems over a 10-year period were obtained. The following factors were hypothesized to have significant associations with the base value of the volatility index: language level (generation of language of construction), system size, system age, and the timing of changes applied to a system. Significant associations were found in the hypothesized directions except that the timing of user changes was not associated with any change in the value of the volatility index. Copyright (C) 2002 John Wiley Sons, Ltd.

A probabilistic analysis of Clostridium perfringens growth during food service operations

The purpose of this study was threefold: first, the study was designed to illustrate the use of data and information collected in food safety surveys in a quantitative risk assessment. In this case, the focus was on the food service industry; however, similar data from other parts of the food chain could be similarly incorporated. The second objective was to quantitatively describe and better understand the role that the food service industry plays in the safety of food. The third objective was to illustrate the additional decision-making information that is available when uncertainty and variability are incorporated into the modelling of systems. (C) 2002 Elsevier Science B.V. All rights reserved.

Applying ontologies to business and systems modelling techniques and perspectives: Lessons learned

For many years in the area of business systems analysis and design, practitioners and researchers alike have been searching for some comprehensive basis on which to evaluate, compare, and engineer techniques that are promoted for use in the modelling of systems' requirements. To date, while many frameworks, factors, and facets have been forthcoming, none appear to be based on a sound theory. In light of this dilemma, over the last 10 years, attention has been devoted by researchers to the use of ontology to provide some theoretical basis for the advancement of the business systems modelling discipline. This paper outlines how we have used a particular ontology for this purpose over the last five years. In particular we have learned that the understandability and the applicability of the selected ontology must be clear for IS professionals, the results of any ontological evaluation must be tempered by economic efficiency considerations of the stakeholders involved, and ontologies may have to be focused for the business purpose and type of user involved in the modelling situation.

Management effectiveness: Assessing management of protected areas?

To maximise the potential of protected areas, we need to understand the strengths and weaknesses in their management and the threats and stresses that they face. There is increasing pressure on governments and other bodies responsible for protected areas to monitor their effectiveness. The reasons for assessing management effectiveness include the desire by managers to adapt and improve their management strategies, improve planning and priority setting and the increasing demands for reporting and accountability being placed on managers, both nationally and internationally. Despite these differing purposes for assessment, some common themes and information needs can be identified, allowing assessment systems to meet multiple uses. Protected-area management evaluation has a relatively short history. Over the past 20 years a number of systems have been proposed but few have been adopted by management agencies. In response to a recognition of the need for a globally applicable approach to this issue, the IUCN World Commission on Protected Areas developed a framework for assessing management effectiveness of both protected areas and protected area systems. This framework was launched at the World Conservation Congress in Jordan in 2000. The framework provides guidance to managers to develop locally relevant assessment systems while helping to harmonise assessment approaches around the world. The framework is strongly linked to the protected area management process and is adaptable to different types and circumstances of protected areas around the world. Examples from Fraser Island in Australia and the Congo Basin illustrate the use of the framework.

Criminal offending in schizophrenia over a 25-year period marked by deinstitutionalization and increasing prevalence of comorbid substance use disorders

Objective: This study examined the pattern of criminal convictions in persons with schizophrenia over a 25-year period marked by both radical deinstitutionalization and increasing rates of substance abuse problems among persons with schizophrenia in the community. Method: The criminal records of 2,861 patients (1,689 of whom were male) who had a first admission for schizophrenia in the Australian state of Victoria in 1975, 1980, 1985, 1990, and 1995 were compared for the period from 1975 to 2000 with those of an equal number of community comparison subjects matched for age, gender, and neighborhood of residence. Results: Relative to the comparison subjects, the patients with schizophrenia accumulated a greater total number of criminal convictions (8,791 versus 1,119) and were significantly more likely to have been convicted of a criminal offense (21.6% versus 7.8%) and of an offense involving violence (8.2% versus 1.8%). The proportion of patients who had a conviction increased from 14.8% of the 1975 cohort to 25.0% of the 1995 cohort, but a proportionately similar increase from 5.1% to 9.6% occurred among the comparison subjects. Rates of known substance abuse problems among the schizophrenia patients increased from 8.3% in 1975 to 26.1% in 1995. Significantly higher rates of criminal conviction were found for patients with substances abuse problems than for those without substance abuse problems (68.1% versus 11.7%). Conclusions: A significant association was demonstrated between having schizophrenia and a higher rate of criminal convictions, particularly for violent offenses. However, the rate of increase in the frequency of convictions over the 25-year study period was similar among schizophrenia patients and comparison subjects, despite a change from predominantly institutional to community care and a dramatic escalation in the frequency of substance abuse problems among persons with schizophrenia. The results do not support theories that attempt to explain the mediation of offending behaviors in schizophrenia by single factors, such as substance abuse, active symptoms, or characteristics of systems of care, but suggest that offending reflects a range of factors that are operative before, during, and after periods of active illness.

Cognitive neuroimaging: Cognitive science out of the armchair

Cognitive scientists were not quick to embrace the functional neuroimaging technologies that emerged during the late 20th century. In this new century, cognitive scientists continue to question, not unreasonably, the relevance of functional neuroimaging investigations that fail to address questions of interest to cognitive science. However, some ultra-cognitive scientists assert that these experiments can never be of relevance to the Study of cognition. Their reasoning reflects an adherence to a functionalist philosophy that arbitrarily and purposefully distinguishes mental information-processing systems from brain or brain-like operations. This article addresses whether data from properly conducted functional neuroimaging studies can inform and Subsequently constrain the assumptions of theoretical cognitive models. The article commences with a focus upon the functionalist philosophy espoused by the ultra-cognitive scientists, contrasting it with the materialist philosophy that motivates both cognitive neuromiaging investigations and connectionist modelling of cognitive systems. Connectionism and cognitive neuroimaging share many features, including an emphasis on unified cognitive and neural models of systems that combine localist and distributed representations. The utility of designing cognitive neuroimaging studies to test (primarily) connectionist models of cognitive phenomena is illustrated using data from functional magnetic resonance imaging (fMRI) investigations of language production and episodic memory. (C) 2005 Elsevier Inc. All rights reserved.

Tourism crisis and disasters: Enhancing understanding of system effects

This paper examines the definitions and conceptual foundations of crises and distinguishes between crises and disasters. It takes a systems view of these concepts and uses the perspective of systems as organizational networks to examine implications for tourism managers. A tourism destination is perceived as consisting of a network of interacting organizations. This perspective questions the boundaries that should be used to study crisis and disasters. The paper also discusses the possibility of a crisis having a positive outcome for a destination.

Advanced computing for systems biology

Systems biology is based on computational modelling and simulation of large networks of interacting components. Models may be intended to capture processes, mechanisms, components and interactions at different levels of fidelity. Input data are often large and geographically disperse, and may require the computation to be moved to the data, not vice versa. In addition, complex system-level problems require collaboration across institutions and disciplines. Grid computing can offer robust, scaleable solutions for distributed data, compute and expertise. We illustrate some of the range of computational and data requirements in systems biology with three case studies: one requiring large computation but small data (orthologue mapping in comparative genomics), a second involving complex terabyte data (the Visible Cell project) and a third that is both computationally and data-intensive (simulations at multiple temporal and spatial scales). Authentication, authorisation and audit systems are currently not well scalable and may present bottlenecks for distributed collaboration particularly where outcomes may be commercialised. Challenges remain in providing lightweight standards to facilitate the penetration of robust, scalable grid-type computing into diverse user communities to meet the evolving demands of systems biology.

Robust algorithms for solving stochastic partial differential equations

A robust semi-implicit central partial difference algorithm for the numerical solution of coupled stochastic parabolic partial differential equations (PDEs) is described. This can be used for calculating correlation functions of systems of interacting stochastic fields. Such field equations can arise in the description of Hamiltonian and open systems in the physics of nonlinear processes, and may include multiplicative noise sources. The algorithm can be used for studying the properties of nonlinear quantum or classical field theories. The general approach is outlined and applied to a specific example, namely the quantum statistical fluctuations of ultra-short optical pulses in chi((2)) parametric waveguides. This example uses a non-diagonal coherent state representation, and correctly predicts the sub-shot noise level spectral fluctuations observed in homodyne detection measurements. It is expected that the methods used wilt be applicable for higher-order correlation functions and other physical problems as well. A stochastic differencing technique for reducing sampling errors is also introduced. This involves solving nonlinear stochastic parabolic PDEs in combination with a reference process, which uses the Wigner representation in the example presented here. A computer implementation on MIMD parallel architectures is discussed. (C) 1997 Academic Press.