Interference between propagating changes and its effect on system failure

Computer-based, socio-technical systems projects are frequently failures. In particular, computer-based information systems often fail to live up to their promise. Part of the problem lies in the uncertainty of the effect of combining the subsystems that comprise the complete system; i.e. the system's emergent behaviour cannot be predicted from a knowledge of the subsystems. This paper suggests uncertainty management is a fundamental unifying concept in analysis and design of complex systems and goes on to indicate that this is due to the co-evolutionary nature of the requirements and implementation of socio-technical systems. The paper shows a model of the propagation of a system change that indicates that the introduction of two or more changes over time can cause chaotic emergent behaviour.

Addressing shortcomings in the Household Responsibility System - Empirical analysis of the Two-Farmland System in Shandong Province

Despite apparent overwhelming benefits, implementation of the Household Responsibility System (HRS) in China contained a number of flaws. The Two-Farmland System (TFS), which originated in Pingdu City in Shandong Province, sought to address the twin problems of land fragmentation and economies of size. A stochastic frontier production function analysis that isolates the impacts of land allocation reforms suggests that the TFS increased efficiency by around 7%. This article highlights the need for empirical analysis to assess objectively the merits or otherwise of particular reforms. (C) 2002 Elsevier Science Inc. All rights reserved.

Power system sensitivity analysis for probabilistic small signal stability assessment in a deregulated environment

Deregulations and market practices in power industry have brought great challenges to the system planning area. In particular, they introduce a variety of uncertainties to system planning. New techniques are required to cope with such uncertainties. As a promising approach, probabilistic methods are attracting more and more attentions by system planners. In small signal stability analysis, generation control parameters play an important role in determining the stability margin. The objective of this paper is to investigate power system state matrix sensitivity characteristics with respect to system parameter uncertainties with analytical and numerical approaches and to identify those parameters have great impact on system eigenvalues, therefore, the system stability properties. Those identified parameter variations need to be investigated with priority. The results can be used to help Regional Transmission Organizations (RTOs) and Independent System Operators (ISOs) perform planning studies under the open access environment.

An automated failure mode and effect analysis based on high-level design specificication with behavior trees

Formal methods have significant benefits for developing safety critical systems, in that they allow for correctness proofs, model checking safety and liveness properties, deadlock checking, etc. However, formal methods do not scale very well and demand specialist skills, when developing real-world systems. For these reasons, development and analysis of large-scale safety critical systems will require effective integration of formal and informal methods. In this paper, we use such an integrative approach to automate Failure Modes and Effects Analysis (FMEA), a widely used system safety analysis technique, using a high-level graphical modelling notation (Behavior Trees) and model checking. We inject component failure modes into the Behavior Trees and translate the resulting Behavior Trees to SAL code. This enables us to model check if the system in the presence of these faults satisfies its safety properties, specified by temporal logic formulas. The benefit of this process is tool support that automates the tedious and error-prone aspects of FMEA.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

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.

Microbial diversity within the water column of a larval rearing system for the ornate rock lobster (Panulirus ornatus)

The ornate tropical rock lobster, Panulirus ornatus has substantial potential as an aquaculture species though disease outbreaks during the animal's extended larval lifecycle are major constraints for success. In order to effectively address such disease-related issues, an improved understanding of the composition and dynamics of the microbial communities in the larval rearing tanks is required. This study used flow cytometry and molecular microbial techniques (clone libraries and denaturing gradient gel electrophoresis (DGGE)) to quantify and characterise the microbial community of the water column in the early stages (developmental stage I-II) of a P. ornatus larval rearing system. DGGE analysis of a 5000 L larval rearing trial demonstrated a dynamic microbial community with distinct changes in the community structure after initial stocking (day I to day 2) and from day 4 to day 5, after which the structure was relatively stable. Flow cytometry analysis of water samples taken over the duration of the trial demonstrated a major increase in bacterial load leading up to and peaking on the first day of the initial larval moult (day 7), before markedly decreasing prior to when > 50% of larvae moulted (day 9). A clone library of a day 10 water sample taken following a mass larval mortality event reflected high microbial diversity confirmed by statistical analysis indices. Sequences retrieved from both clone library and DGGE analyses were dominated by gamma- and alpha-Proteobacteria affiliated organisms with additional sequences affiliated with beta- and epsilon-Proteobacteria, Bacteroidetes, Cytophagales and Chlamydiales groups. Vibrio affiliated species were commonly retrieved in the clone library, though absent from DGGE analysis.

Experiences with redo aortic valve surgery

Objectives and Methods: Reoperations are an integral part of a cardiac surgeon's practice. We share our experience of 546 reoperations over the last 21 years to January 2000, with the focus directed towards the timing of reoperation, reducing the mortality and morbidity of reoperation and rereplacement aortic valve surgery, and understanding the important risk factors. In addition, the precise technical steps that facilitate careful successful explantation of various devices (allograft, stented and stentless xenografts, and mechanical valves) are detailed. Results: Optimal planned reoperation before deterioration to New York Heart Association Class III/IV levels and before unfavorable cardiac and comorbidity general system failure occurs has produced low mortality and morbidity as compared with first operation results. However, unfavorable delays and late rereferral result in mortality rates of up to 22% for emergency redo AVR for degenerated bioprostheses. Conclusion: Cardiac surgical units have the opportunity to establish a closer patient-surgeon relationship, which favors, when necessary, the optimal timing of reoperation. Knowledge of the more important risk factors and adherence to specific technical steps at explantation of various devices enhances satisfactory reoperation outcomes.

Stream-bank shade and larval distribution of the Philippine malaria vector Anopheles flavirostris

The principal malaria vector in the Philippines, Anopheles flavirostris (Ludlow) (Diptera: Culicidae), is regarded as 'shade-loving' for its breeding sites, i.e. larval habitats. This long-standing belief, based on circumstantial observations rather than ecological analysis, has guided larval control methods such as 'stream-clearing' or the removal of riparian vegetation, to reduce the local abundance of An. flavirostris . We measured the distribution and abundance of An. flavirostris larvae in relation to canopy vegetation cover along a stream in Quezon Province, the Philippines. Estimates of canopy openness and light measurements were obtained by an approximation method that used simplified assumptions about the sun, and by hemispherical photographs analysed using the program hemiphot(C) . The location of larvae, shade and other landscape features was incorporated into a geographical information system (GIS) analysis. Early larval instars of An. flavirostris were found to be clustered and more often present in shadier sites, whereas abundance was higher in sunnier sites. For later instars, distribution was more evenly dispersed and only weakly related to shade. The best predictor of late-instar larvae was the density of early instars. Distribution and abundance of larvae were related over time (24 days). This pattern indicates favoured areas for oviposition and adult emergence, and may be predictable. Canopy measurements by the approximation method correlated better with larval abundance than hemispherical photography, being economical and practical for field use. Whereas shade or shade-related factors apparently have effects on larval distribution of An. flavirostris , they do not explain it completely. Until more is known about the bionomics of this vector and the efficacy and environmental effects of stream-clearing, we recommend caution in the use of this larval control method.

Is mortality from heart failure increasing in Australia? An analysis of official data on mortality for 1997-2003

Objective To assess whether trends in mortality from heart failure(HF) in Australia are due to a change in awareness of the condition or real changes in its epidemiology. Methods We carried out a retrospective analysis of official data on national mortality data between 1997 and 2003. A death was attributed to HF if the death certificate mentioned HF as either the underlying cause of death (UCD) or among the contributory factors. Findings From a total of 907 242 deaths, heart failure was coded as the UCD for 29 341 (3.2%) and was mentioned anywhere on the death certificate in 135 268 (14.9%). Between 1997 and 2003, there were decreases in the absolute numbers of deaths and in the age-specific and age-standardized mortality rates for HF either as UCD or mentioned anywhere for both sexes. HF was mentioned for 24.6% and 17.8% of deaths attributed to ischaemic heart disease and circulatory disease, respectively, and these proportions remained unchanged over the period of study. In addition, HF as UCD accounted for 8.3% of deaths attributed to circulatory disease and this did not change materially from 1997 to 2003. Conclusion The decline in mortality from HF measured as either number of deaths or rate probably reflects a real change in the epidemiology of HF. Population-based studies are required to determine accurately the contributions of changes in incidence, survival and demographic factors to the evolving epidemiology of HF.

Comparison of BR and QR Eigenvalue Algorithms for Power System Small Signal Stability Analysis

The BR algorithm is a novel and efficient method to find all eigenvalues of upper Hessenberg matrices and has never been applied to eigenanalysis for power system small signal stability. This paper analyzes differences between the BR and the QR algorithms with performance comparison in terms of CPU time based on stopping criteria and storage requirement. The BR algorithm utilizes accelerating strategies to improve its performance when computing eigenvalues of narrowly banded, nearly tridiagonal upper Hessenberg matrices. These strategies significantly reduce the computation time at a reasonable level of precision. Compared with the QR algorithm, the BR algorithm requires fewer iteration steps and less storage space without depriving of appropriate precision in solving eigenvalue problems of large-scale power systems. Numerical examples demonstrate the efficiency of the BR algorithm in pursuing eigenanalysis tasks of 39-, 68-, 115-, 300-, and 600-bus systems. Experiment results suggest that the BR algorithm is a more efficient algorithm for large-scale power system small signal stability eigenanalysis.