Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing ....Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing the test error signal generated (the difference between the outputs of the two models). This is possible because one of the two versions is implemented in such a way that the test error carries an easily identifiable feature. This project could revolutionize the area of model verification.Read moreRead less
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Bayesian Inference for Multivariate Hierarchical Regression Models. This project will develop Bayesian methodology for analysing multivariate regression models. The distribution of each measurement can be discrete or continuous, with the dependence between measurements obtained through the correlation matrix of a Gaussian copula. Model parsimony is obtained by identifying zero elements in the correlation matrix or its inverse and by variable selection on the regression parameters. The results wi ....Bayesian Inference for Multivariate Hierarchical Regression Models. This project will develop Bayesian methodology for analysing multivariate regression models. The distribution of each measurement can be discrete or continuous, with the dependence between measurements obtained through the correlation matrix of a Gaussian copula. Model parsimony is obtained by identifying zero elements in the correlation matrix or its inverse and by variable selection on the regression parameters. The results will be applied to solve problems in finance, health management and marketing. In all these fields multiple observations are often taken per individual or time period and the models need to incorporate measures of dependence and uncertainty.Read moreRead less
ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit ne ....ARC Centre in Bioinformatics. The Australian Centre for Genome-Phenome Bioinformatics will examine how the genome comes to life in the mammalian cell during differentiation and development. We will model, visualise and experimentally validate the complex cellular systems and regulatory networks that control the transformation of genomic information into biological structure and function. We will develop novel approaches and tools to improve health, optimise agricultural production and exploit new cell technologies. The Centre will build critical mass and national focus in bioinformatics to generate the human capital and intellectual property that Australia needs to compete in advanced bioscience and biotechnology.Read moreRead less
Patient-specific Computational Tools for Diagnosing and Treating Gait Disorders in Children with Cerebral Palsy. This proposal addresses one of the most fundamental and difficult questions related to the treatment of children with cerebral palsy: Why do these children walk in a crouched position, with excessively bent hips and knees? High-fidelity, patient-specific computer simulations of walking can help to answer this question and, in so doing, can improve the outcomes of orthopaedic surgeries ....Patient-specific Computational Tools for Diagnosing and Treating Gait Disorders in Children with Cerebral Palsy. This proposal addresses one of the most fundamental and difficult questions related to the treatment of children with cerebral palsy: Why do these children walk in a crouched position, with excessively bent hips and knees? High-fidelity, patient-specific computer simulations of walking can help to answer this question and, in so doing, can improve the outcomes of orthopaedic surgeries designed to correct movement abnormalities in these patients. Realistic computer simulations of human movement can play a pivotal role in healthcare through patient rehabilitation; in sports, through the development of personalized training programs for elite athletes; and in entertainment, through the creation of video games and animated films.Read moreRead less
Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this p ....Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this project aims to build agent-based frameworks for the support of selected within-business and business-to-business activities in supply chain management, implement an agent-based workflow system based around document management, and provide research training in this key area of technology through joint university-industry supervision of two research students. This will enhance Australia's competitiveness in the provision of leading edge technologies to support e-commerce.Read moreRead less
Large-scale three dimensional deformation of the lithosphere by subduction and mantle flow. We will be modelling of the dynamics of the Earth's crust and shallow lithosphere in response to the huge stresses created by plate motions. For Australia these stresses are transmitted from the distant plate boundaries, but they have a direct controlling influence on the evolution of the petroleum rich basins of Australia. These basins have reached maturity; further exploration will be in deep water wher ....Large-scale three dimensional deformation of the lithosphere by subduction and mantle flow. We will be modelling of the dynamics of the Earth's crust and shallow lithosphere in response to the huge stresses created by plate motions. For Australia these stresses are transmitted from the distant plate boundaries, but they have a direct controlling influence on the evolution of the petroleum rich basins of Australia. These basins have reached maturity; further exploration will be in deep water where geophysical prospecting methods are unreliable. Model-driven "exploration geodynamics" methods such as those we are developing will be needed to support traditional exploration techniques in these areas.Read moreRead less
Rare Event Simulation with Heavy Tails. The project provides a rigorous way to enhance our understanding of the mechanisms that bring about catastrophic rare events such as urban flooding, electricity shortages and financial bankrupcy. Australia is at the forefront of exciting recent developments in rare event simulation. The advancement of the knowledge in this area will generate a competitive advantage for various sections of the Australian industry, including the areas of industrial reliabili ....Rare Event Simulation with Heavy Tails. The project provides a rigorous way to enhance our understanding of the mechanisms that bring about catastrophic rare events such as urban flooding, electricity shortages and financial bankrupcy. Australia is at the forefront of exciting recent developments in rare event simulation. The advancement of the knowledge in this area will generate a competitive advantage for various sections of the Australian industry, including the areas of industrial reliability, finance and insurance, were accurate simulation techniques are becoming increasingly important.Read moreRead less
A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. T ....A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. The use of meta-modelling will improve control of processes on the shop floor. Combining process meta-models with hybrid discrete event-based agent optimisation will result in increased shop floor efficiency, assisting Australian industry to be competitive in the world market.Read moreRead less