Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applica ....Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applications. With a strong research program across different areas such as knowledge system update, model checking and software development, and a collaborative research training environment, this project will strengthen Australia's international reputation as a leader in computing and IT research.Read moreRead less
Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizatio ....Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizations as Australia business and institutions are moving towards a more electronically oriented future. With a strong research team and collaborative research training environment, this project will further promote Australia's international reputation as a leader in Computing and IT research.Read moreRead less
THE DEVELOPMENT OF MECHANISTIC MODELS FOR BUBBLY FLOWS WITH HEAT AND MASS TRANSFER. Commercially available CFD computer codes are currently widely used in many Australian industrial sectors. It is clearly recognised that the state-of-the-art models for dealing with complex bubbly flows with/without heat and mass transfer in these computer codes require further developments and improvements. This research project will address the prevalent deficiency in many of these computer codes. It is antici ....THE DEVELOPMENT OF MECHANISTIC MODELS FOR BUBBLY FLOWS WITH HEAT AND MASS TRANSFER. Commercially available CFD computer codes are currently widely used in many Australian industrial sectors. It is clearly recognised that the state-of-the-art models for dealing with complex bubbly flows with/without heat and mass transfer in these computer codes require further developments and improvements. This research project will address the prevalent deficiency in many of these computer codes. It is anticipated that through this major development of new models capable of predicting a wide range of industrial bubbly flow problems and implementation thereafter in these computer codes, industries will experience significant benefits especially reduce time and costs in their design and production.Read moreRead less
Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of ....Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of predicting a wide range of industrial bubbly flow problems. The resultant improved computer codes will provide industries with significant benefits - especially reduced times and costs in their design and production.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
Synchrotrons, wavelet analysis and novel imaging techniques - applying physics tools to the war against breast cancer. Breast cancer leads to the second highest number of person-years of life lost due to cancer in Australia, with little known about its transport around the body. Current screening methods for breast cancer are neither 100% sensitive or specific and are heavily dependent upon expert training. This project will contribute by yielding valuable information on the transport of breast ....Synchrotrons, wavelet analysis and novel imaging techniques - applying physics tools to the war against breast cancer. Breast cancer leads to the second highest number of person-years of life lost due to cancer in Australia, with little known about its transport around the body. Current screening methods for breast cancer are neither 100% sensitive or specific and are heavily dependent upon expert training. This project will contribute by yielding valuable information on the transport of breast cancer and contribute to the development of an automated diagnostic method, with the possibility of its application to other diseases. The project will also involve members of the regional community, train regional scientists and provide synchrotron experience for Australian scientists in time for Australia's first synchrotron.Read moreRead less
Bayesian inference for complex regression models using mixtures. The project will use mixtures to flexibly model complex regression functions and will develop Bayesian methods for carrying out statistical inference on these models. The models will deal with both Gaussian and non-Gaussian data. Multiple explanatory variables are dealt with by mixing simple additives to produce flexible high dimensional function estimates. Variable selection and model averaging will be used to identify important v ....Bayesian inference for complex regression models using mixtures. The project will use mixtures to flexibly model complex regression functions and will develop Bayesian methods for carrying out statistical inference on these models. The models will deal with both Gaussian and non-Gaussian data. Multiple explanatory variables are dealt with by mixing simple additives to produce flexible high dimensional function estimates. Variable selection and model averaging will be used to identify important variables and thus make the estimation more efficient. The methods will be extended to multivariate responses where account will taken be taken of the structure of the dependence between responses.Read moreRead less
Uncertain Systems Theory applied to Nonlinear Robust Control and Filtering. Feedback control systems are becoming increasingly important in manufacturing industry, the automotive industry, defence applications as well as in many non-industrial applications such as the management of the environment or the economy. By developing new techniques for the design of high performance robust nonlinear controllers and filters which are widely applicable in industrial applications, this project will help m ....Uncertain Systems Theory applied to Nonlinear Robust Control and Filtering. Feedback control systems are becoming increasingly important in manufacturing industry, the automotive industry, defence applications as well as in many non-industrial applications such as the management of the environment or the economy. By developing new techniques for the design of high performance robust nonlinear controllers and filters which are widely applicable in industrial applications, this project will help make existing industrial technologies more efficient and make new industrial technologies feasible. Moreover, the research training carried out in the project will add to available a pool of experts in the areas of robust nonlinear control and filtering. Read moreRead less
Nonlinear Dynamics of Pulse Coupled Oscillators. A mathematical model of the heart pacemaker system will be created, based on simple interacting units. These units have been shown to be good models of physiological information e.g. the discrimination of different influences on heart rate. We will firstly look at the interaction of the units in simple combinations and then tune the model to mimic the behaviour of the cardiac pacemaker.
Potential benefits may arise from elucidating the mechanis ....Nonlinear Dynamics of Pulse Coupled Oscillators. A mathematical model of the heart pacemaker system will be created, based on simple interacting units. These units have been shown to be good models of physiological information e.g. the discrimination of different influences on heart rate. We will firstly look at the interaction of the units in simple combinations and then tune the model to mimic the behaviour of the cardiac pacemaker.
Potential benefits may arise from elucidating the mechanisms underlying arrhythmias which contribute to ?sudden cardiac death? in young men, and suggesting strategies for artificial pacemakers to effectively arrest abnormal rhythms before they convert to potentially fatal fibrillation.Read moreRead less
RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
Read moreRead less