Minimal-order functional observer-based residual generators for fault detection and isolation of dynamical systems

This paper examines the design of minimal-order residual generators for the purpose of detecting and isolating actuator and/or component faults in dynamical systems. We first derive existence conditions and design residual generators using only first-order observers to detect and identify the faults. When the first-order functional observers do not exist, then based on a parametric approach to the solution of a generalized Sylvester matrix equation, we develop systematic procedures for designing residual generators utilizing minimal-order functional observers. Our design approach gives lower-order residual generators than existing results in the literature. The advantages for having such lower-order residual generators are obvious from the economical and practical points of view as cost saving and simplicity in implementation can be achieved, particularly when dealing with high-order complex systems. Numerical examples are given to illustrate the proposed fault detection and isolation schemes. In all of the numerical examples, we design minimum-order residual generators to effectively detect and isolate actuator and/or component faults in the system.

Contesting ‘sustainability’ in infrastructure planning : The debate of the public interest in Brisbane’s Boggo Road Busway development

Sustainable infrastructure demands that declared principles of sustainability are enacted in the processes of its implementation. However, a problem arises if the concept of sustainability is not thoroughly scrutinised in the planning process. The public interest could be undermined when the rhetoric of sustainability is used to substantiate a proposed plan. This chapter analyses the manifestation of sustainable development in the Boggo Road Busway Plan in Brisbane, Australia against the sustainability agenda set in the South East Queensland Regional and Transport Plans. Although the construction of the Busway was intended to improve public transport access in the region, its implementation drew significant environmental concerns. Local community groups contested the ‘sustainability’ concept deployed in Queensland’s infrastructure planning. Their challenges resulted in important concessions in the delivery of the Busway plan. This case demonstrates that principles of sustainable infrastructure should be measurable and that local communities be better informed in order to fulfil the public interest in regional planning.

Automating computational proofs for public-key-based key exchange

We present an approach to automating computationally sound proofs of key exchange protocols based on public-key encryption. We show that satisfying the property called occultness in the Dolev-Yao model guarantees the security of a related key exchange protocol in a simple computational model. Security in this simpler model has been shown to imply security in a Bellare {Rogaway-like model. Furthermore, the occultness in the Dolev-Yao model can be searched automatically by a mechanisable procedure. Thus automated proofs for key exchange protocols in the computational model can be achieved. We illustrate the method using the well-known Lowe-Needham-Schroeder protocol.

Going public : do risk and choice explain differences in caesarean birth rates between public and private places of birth in Australia?

Background: Women who birth in private facilities in Australia are more likely to have a caesarean birth than women who birth in public facilities and these differences remain after accounting for sector differences in the demographic and health risk profiles of women. However, the extent to which women’s preferences and/or freedom to choose their mode of birth further account for differences in the likelihood of caesarean birth between the sectors remains untested. Method: Women who birthed in Queensland, Australia during a two-week period in 2009 were mailed a self-report survey approximately three months after birth. Seven hundred and fifty-seven women provided cross-sectional retrospective data on where they birthed (public or private facility), mode of birth (vaginal or caesarean) and risk factors, along with their preferences and freedom to choose their mode of birth. A hierarchical logistic regression was conducted to determine the extent to which maternal risk and freedom to choose one’s mode of birth explain sector differences in the likelihood of having a caesarean birth. Findings: While there was no sector difference in women’s preference for mode of birth, women who birthed in private facilities had higher odds of feeling able to choose either a vaginal or caesarean birth, and feeling able to choose only a caesarean birth. Women had higher odds of having caesarean birth if they birthed in private facilities, even after accounting for significant risk factors such as age, body mass index, previous caesarean and use of assisted reproductive technology. However, there was no association between place of birth and odds of having a caesarean birth after also accounting for freedom to choose one’s mode of birth. Conclusions: These findings call into question suggestions that the higher caesarean birth rate in the private sector in Australia is attributable to increased levels of obstetric risk among women birthing in the private sector or maternal preferences alone. Instead, the determinants of sector differences in the likelihood of caesarean births are complex and are linked to differences in the perceived choices for mode of birth between women birthing in the private and public systems.

Addressing Public and Private Issues in a Virtual Ethnography Study of an Open Online Community: a Reflective Paper

This paper discusses the ethical consequences of employing virtual ethnography to observe human behaviour in open online communities. In this paper, we discuss the nature of the online community being studied as well as the lessons learned from both literature and also the ethical clearance application process undertaken by the research team. A key finding was that despite the community being open to the public, generally community members expected the research team to employ strategies similar to those required when dealing with a private community.

Developing Co-operating Legal Knowledge Based Systems

In attempting to build intelligent litigation support tools, we have moved beyond first generation, production rule legal expert systems. Our work supplements rule-based reasoning with case based reasoning and intelligent information retrieval. This research, specifies an approach to the case based retrieval problem which relies heavily on an extended object-oriented / rule-based system architecture that is supplemented with causal background information. Machine learning techniques and a distributed agent architecture are used to help simulate the reasoning process of lawyers. In this paper, we outline our implementation of the hybrid IKBALS II Rule Based Reasoning / Case Based Reasoning system. It makes extensive use of an automated case representation editor and background information.

The IKBALS project: multi-modal reasoning in legal knowledge based systems

In attempting to build intelligent litigation support tools, we have moved beyond first generation, production rule legal expert systems. Our work integrates rule based and case based reasoning with intelligent information retrieval. When using the case based reasoning methodology, or in our case the specialisation of case based retrieval, we need to be aware of how to retrieve relevant experience. Our research, in the legal domain, specifies an approach to the retrieval problem which relies heavily on an extended object oriented/rule based system architecture that is supplemented with causal background information. We use a distributed agent architecture to help support the reasoning process of lawyers. Our approach to integrating rule based reasoning, case based reasoning and case based retrieval is contrasted to the CABARET and PROLEXS architectures which rely on a centralised blackboard architecture. We discuss in detail how our various cooperating agents interact, and provide examples of the system at work. The IKBALS system uses a specialised induction algorithm to induce rules from cases. These rules are then used as indices during the case based retrieval process. Because we aim to build legal support tools which can be modified to suit various domains rather than single purpose legal expert systems, we focus on principles behind developing legal knowledge based systems. The original domain chosen was theAccident Compensation Act 1989 (Victoria, Australia), which relates to the provision of benefits for employees injured at work. For various reasons, which are indicated in the paper, we changed our domain to that ofCredit Act 1984 (Victoria, Australia). This Act regulates the provision of loans by financial institutions. The rule based part of our system which provides advice on the Credit Act has been commercially developed in conjunction with a legal firm. We indicate how this work has lead to the development of a methodology for constructing rule based legal knowledge based systems. We explain the process of integrating this existing commercial rule based system with the case base reasoning and retrieval architecture.

Mass Spectrometry-Based Systems Approach for Identification of Inhibitors of Plasmodium falciparum Fatty Acid Synthase{triangledown}

The emergence of strains of Plasmodium falciparum resistant to the commonly used antimalarials warrants the development of new antimalarial agents. The discovery of type II fatty acid synthase (FAS) in Plasmodium distinct from the FAS in its human host (type I FAS) opened up new avenues for the development of novel antimalarials. The process of fatty acid synthesis takes place by iterative elongation of butyryl-acyl carrier protein (butyryl-ACP) by two carbon units, with the successive action of four enzymes constituting the elongation module of FAS until the desired acyl length is obtained. The study of the fatty acid synthesis machinery of the parasite inside the red blood cell culture has always been a challenging task. Here, we report the in vitro reconstitution of the elongation module of the FAS of malaria parasite involving all four enzymes, FabB/F (β-ketoacyl-ACP synthase), FabG (β-ketoacyl-ACP reductase), FabZ (β-ketoacyl-ACP dehydratase), and FabI (enoyl-ACP reductase), and its analysis by matrix-assisted laser desorption-time of flight mass spectrometry (MALDI-TOF MS). That this in vitro systems approach completely mimics the in vivo machinery is confirmed by the distribution of acyl products. Using known inhibitors of the enzymes of the elongation module, cerulenin, triclosan, NAS-21/91, and (–)-catechin gallate, we demonstrate that accumulation of intermediates resulting from the inhibition of any of the enzymes can be unambiguously followed by MALDI-TOF MS. Thus, this work not only offers a powerful tool for easier and faster throughput screening of inhibitors but also allows for the study of the biochemical properties of the FAS pathway of the malaria parasite.

Mass Spectrometry-Based Systems Approach for Identification of Inhibitors of Plasmodium falciparum Fatty Acid Synthase{triangledown}

The emergence of strains of Plasmodium falciparum resistant to the commonly used antimalarials warrants the development of new antimalarial agents. The discovery of type II fatty acid synthase (FAS) in Plasmodium distinct from the FAS in its human host (type I FAS) opened up new avenues for the development of novel antimalarials. The process of fatty acid synthesis takes place by iterative elongation of butyryl-acyl carrier protein (butyryl-ACP) by two carbon units, with the successive action of four enzymes constituting the elongation module of FAS until the desired acyl length is obtained. The study of the fatty acid synthesis machinery of the parasite inside the red blood cell culture has always been a challenging task. Here, we report the in vitro reconstitution of the elongation module of the FAS of malaria parasite involving all four enzymes, FabB/F (β-ketoacyl-ACP synthase), FabG (β-ketoacyl-ACP reductase), FabZ (β-ketoacyl-ACP dehydratase), and FabI (enoyl-ACP reductase), and its analysis by matrix-assisted laser desorption-time of flight mass spectrometry (MALDI-TOF MS). That this in vitro systems approach completely mimics the in vivo machinery is confirmed by the distribution of acyl products. Using known inhibitors of the enzymes of the elongation module, cerulenin, triclosan, NAS-21/91, and (–)-catechin gallate, we demonstrate that accumulation of intermediates resulting from the inhibition of any of the enzymes can be unambiguously followed by MALDI-TOF MS. Thus, this work not only offers a powerful tool for easier and faster throughput screening of inhibitors but also allows for the study of the biochemical properties of the FAS pathway of the malaria parasite.

Representation of evidence: An approach to uncertainty handling in knowledge-based systems

Many knowledge based systems (KBS) transform a situation information into an appropriate decision using an in built knowledge base. As the knowledge in real world situation is often uncertain, the degree of truth of a proposition provides a measure of uncertainty in the underlying knowledge. This uncertainty can be evaluated by collecting `evidence' about the truth or falsehood of the proposition from multiple sources. In this paper we propose a simple framework for representing uncertainty in using the notion of an evidence space.

Content Based Integration of Construction Site Images in AEC/FM Model Based Systems

The Architecture, Engineering, Construction and Facilities Management (AEC/FM) industry is rapidly becoming a multidisciplinary, multinational and multi-billion dollar economy, involving large numbers of actors working concurrently at different locations and using heterogeneous software and hardware technologies. Since the beginning of the last decade, a great deal of effort has been spent within the field of construction IT in order to integrate data and information from most computer tools used to carry out engineering projects. For this purpose, a number of integration models have been developed, like web-centric systems and construction project modeling, a useful approach in representing construction projects and integrating data from various civil engineering applications. In the modern, distributed and dynamic construction environment it is important to retrieve and exchange information from different sources and in different data formats in order to improve the processes supported by these systems. Previous research demonstrated that a major hurdle in AEC/FM data integration in such systems is caused by its variety of data types and that a significant part of the data is stored in semi-structured or unstructured formats. Therefore, new integrative approaches are needed to handle non-structured data types like images and text files. This research is focused on the integration of construction site images. These images are a significant part of the construction documentation with thousands stored in site photographs logs of large scale projects. However, locating and identifying such data needed for the important decision making processes is a very hard and time-consuming task, while so far, there are no automated methods for associating them with other related objects. Therefore, automated methods for the integration of construction images are important for construction information management. During this research, processes for retrieval, classification, and integration of construction images in AEC/FM model based systems have been explored. Specifically, a combination of techniques from the areas of image and video processing, computer vision, information retrieval, statistics and content-based image and video retrieval have been deployed in order to develop a methodology for the retrieval of related construction site image data from components of a project model. This method has been tested on available construction site images from a variety of sources like past and current building construction and transportation projects and is able to automatically classify, store, integrate and retrieve image data files in inter-organizational systems so as to allow their usage in project management related tasks.