Applications of Bayesian methods in Genomics and Comparative Genomics. Bayesian statistics provides a unified and versatile approach to problems of data analysis, inference and hypothesis testing. This project will involve the application of Bayesian methods to four topics of commercial and scientific importance in the fields of Genomics and Comparative Genomics. The four topics are: data analysis for a novel DNA sequencing technology, investigating genomic structure using multiple change-point ....Applications of Bayesian methods in Genomics and Comparative Genomics. Bayesian statistics provides a unified and versatile approach to problems of data analysis, inference and hypothesis testing. This project will involve the application of Bayesian methods to four topics of commercial and scientific importance in the fields of Genomics and Comparative Genomics. The four topics are: data analysis for a novel DNA sequencing technology, investigating genomic structure using multiple change-point analysis, phlogenetic inference with multiple genes and detection of incongruent phylogenies. The overall goal of the project is to advance understanding of the structure, function and evolution of genomes.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
Adaptiveness of self-organised decision making. Complex systems are an important international research focus in many disciplines, and their engineering applications are plentiful. The new mathematical approach developed by this project will enable different disciplines for the first time to communicate using a common formal framework. This will open the path to a generalized understanding of self-organized systems in dynamic environments. Creating the tools for a unified interdisciplinary a ....Adaptiveness of self-organised decision making. Complex systems are an important international research focus in many disciplines, and their engineering applications are plentiful. The new mathematical approach developed by this project will enable different disciplines for the first time to communicate using a common formal framework. This will open the path to a generalized understanding of self-organized systems in dynamic environments. Creating the tools for a unified interdisciplinary approach will allow Australia to gain a stronger position in biomimetic engineering and to take a lead in international research on collective behavior.
Read moreRead less
Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by s ....Refinement of Temporal and Epistemic Specifications in Asynchronous Systems. Designing distributed systems is a complex activity requiring rigorous mathematical models of designs and specifications. It is desirable for the mathematical notations to be as close as possible to intuitive notions used by designers. One such notion is the idea that components in a distributed system have states of knowledge. Previous work has developed a calculus enabling derivation of systems with global clock by series of correctness-preserving transformations from a knowledge-based specification. This project will generalize this work to a calculus for systems that lack a global clock, and implement a tool providing automated support for use of the calculus.Read moreRead less
Modelling the stability and efficiency of ring spinning. This research will benefit the animal fibre industry, particularly the multi-billion dollar wool industry. Low spinning efficiency adds a significant cost to the conversion of animal fibres into textile products, which reduces the competitive position of these natural fibres. The proposed research will lead to improvement in the efficiency of ring spinning. It has been estimated that a 1% improvement in spinning efficiency will add about $ ....Modelling the stability and efficiency of ring spinning. This research will benefit the animal fibre industry, particularly the multi-billion dollar wool industry. Low spinning efficiency adds a significant cost to the conversion of animal fibres into textile products, which reduces the competitive position of these natural fibres. The proposed research will lead to improvement in the efficiency of ring spinning. It has been estimated that a 1% improvement in spinning efficiency will add about $16 million to the wool industry alone. Read moreRead less
Modelling and minimising energy consumption in ring spinning. Australia's 4-billion dollar natural fibre production is spun into yarns via ring spinning mainly. A major drawback of this spinning system is its high energy consumption. This project will examine, theoretically and experimentally, the key factors contributing to energy consumption in ring spinning. It will generate new knowledge on the relationship between yarn hairiness and the air drag on a rapidly rotating yarn package and on a b ....Modelling and minimising energy consumption in ring spinning. Australia's 4-billion dollar natural fibre production is spun into yarns via ring spinning mainly. A major drawback of this spinning system is its high energy consumption. This project will examine, theoretically and experimentally, the key factors contributing to energy consumption in ring spinning. It will generate new knowledge on the relationship between yarn hairiness and the air drag on a rapidly rotating yarn package and on a ballooning yarn, and predict how this air drag affects the energy consumption during package build-up in ring spinning. This will lead to ways of minimising energy consumption in this most important spinning process.Read moreRead less
Real time optimisation by extremum seeking control and learning control. Optimal control technology provides the systematic design of systems that exhibit optimal behaviour, such as maximal productivity, best efficiency, minimal cost and best quality. Real time optimisation finds the solution of the optimal control in real time, relaxing requirements on the system knowledge. The proposed research will build on Australia's well-established strength in control and optimisation, and aim to establis ....Real time optimisation by extremum seeking control and learning control. Optimal control technology provides the systematic design of systems that exhibit optimal behaviour, such as maximal productivity, best efficiency, minimal cost and best quality. Real time optimisation finds the solution of the optimal control in real time, relaxing requirements on the system knowledge. The proposed research will build on Australia's well-established strength in control and optimisation, and aim to establish within Australia world-leading expertise in real time optimisation theories and applications. This will have direct benefits to the Australian economy through various engineering applications ranging from vehicle dynamics to emissions reduction to manufacturing process to efficiency improvement of power generation systems.Read moreRead less
Extremum seeking control: analysis, design and applications. Optimal control is one of the central pillars in the field of automatic control, but is prevented from use in many engineering applications due to the computational complexity and system knowledge requirements typically associated with the technique. Extremum seeking promises the performance of an optimal approach, but with the benefit of real time implementation and very relaxed requirements on the system knowledge. Through improved u ....Extremum seeking control: analysis, design and applications. Optimal control is one of the central pillars in the field of automatic control, but is prevented from use in many engineering applications due to the computational complexity and system knowledge requirements typically associated with the technique. Extremum seeking promises the performance of an optimal approach, but with the benefit of real time implementation and very relaxed requirements on the system knowledge. Through improved understanding of extremum seeking algorithms, applications from vehicle dynamics to emissions reduction to manufacturing processes will benefit with greater levels of performance and robustness.Read moreRead less
Making the most of remotely sensed data: Bayesian spatio-temporal models for enhanced natural resource management and design. This research will provide methods for cost-efficient spatio-temporal data collection and analysis, with increased capacity for better decision-making about managing Australia’s natural resources. Through the Linkage partners’ networks, these benefits will be disseminated throughout regional bodies, government agencies and research groups across and outside Australia. The ....Making the most of remotely sensed data: Bayesian spatio-temporal models for enhanced natural resource management and design. This research will provide methods for cost-efficient spatio-temporal data collection and analysis, with increased capacity for better decision-making about managing Australia’s natural resources. Through the Linkage partners’ networks, these benefits will be disseminated throughout regional bodies, government agencies and research groups across and outside Australia. The statistical techniques derived in this project will enhance Australia’s capability in the national priority area of mathematical sciences, and will contribute to knowledge in a wide range of disciplines including natural resources, medicine and genetics. Read moreRead less
New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to pr ....New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to propose, develop, analyse and test new data transmission techniques including joint coding, modulation and equalisation. The research will include theoretical analysis and hardware implementation. The overall aim is to dramatically improve reliability and throughput of data communication systems.Read moreRead less