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
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
Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and ....Asynchronous Continuous Time Conditioning. Methodology for reasoning about Asynchronous Temporal Conditional Events (ATCE) obtains, complete with logical calculus for causal relations, reasoning about continuous time belief change, and markov chain algorithms calculating joint distributions of ATCE's.
Current techniques, including bayesian nets, are oblivious to temporal aspects; within our model they can be enhanced to recognize dynamic time changes. Ours is the first such unified model and first to link conditional objects with continuous time constraints.
Need for structures we propose arises in diagnostic reasoning, bayesian learning, temporal databases, and time-dependent data mining. Several commercial products (like Microsoft Office Assistant)could apply them forthwith.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
Investment Approaches and Applications in Financial Markets: Evolutionary Kernel Based Subset Time-Series Using Semi-Parametric Approaches. The project will develop new investment assessments based on subset time-series modeling. Innovative evolutionary kernel smoothing algorithms using semi-parametric approaches will be introduced. The project will make three important applications of this modeling in financial markets: a) benchmarking and evaluation of inflation-indexed bonds; b) evaluation of ....Investment Approaches and Applications in Financial Markets: Evolutionary Kernel Based Subset Time-Series Using Semi-Parametric Approaches. The project will develop new investment assessments based on subset time-series modeling. Innovative evolutionary kernel smoothing algorithms using semi-parametric approaches will be introduced. The project will make three important applications of this modeling in financial markets: a) benchmarking and evaluation of inflation-indexed bonds; b) evaluation of the performance of global diversified investment funds; and c) prediction to provide early warning of the emergence of destabilising deflation or inflation. These three applications will lead to improved risk management practices and investment performance. Recursive algorithms will provide new statistical methods to study investment asset price movements and market volatility.
Read moreRead less
Investment approaches and opportunities in renewable energy and financial resource markets, using semi-parametric approaches to evolutionary subset time-series lattice-ladder modelling. The project findings will help Australian exporters and importers understand and manage energy and resource price risks more effectively. The investment community will benefit through selecting optimal asset allocations and enhancing value to investors. It will also benefit many other agencies, particularly in th ....Investment approaches and opportunities in renewable energy and financial resource markets, using semi-parametric approaches to evolutionary subset time-series lattice-ladder modelling. The project findings will help Australian exporters and importers understand and manage energy and resource price risks more effectively. The investment community will benefit through selecting optimal asset allocations and enhancing value to investors. It will also benefit many other agencies, particularly in the service industries. It is not well recognised that in developed countries, including Australia, the financial service and related sectors account for more than 60 percent of economic activity and employment, so it is critical that more sophisticated statistical methods be established, and practical applications conducted, in order to advance the understanding of complexity management in the financial service and related sectors.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