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
Mathematics of Cryptography. The Australian economy and society requires fast, reliable, and secure communication. Current first-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is an important and urgent tasks. In addition, t ....Mathematics of Cryptography. The Australian economy and society requires fast, reliable, and secure communication. Current first-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is an important and urgent tasks. In addition, the intended work advances our knowledge of the theory and the quality of our culture. As such, it will promote the Australian science and will also have many practical applications in Cryptography, Computer Security and E-Commerce.Read moreRead less
Mathematics of Cryptography. The Australian society and economy requires fast, reliable, and secure communication. First-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is one of the most important and urgent tasks. Besides, ....Mathematics of Cryptography. The Australian society and economy requires fast, reliable, and secure communication. First-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is one of the most important and urgent tasks. Besides, the intended work advances our knowledge of the theory and the quality of our culture. As such, it will promote the Australian science and will also have many practical applications in Cryptography, Computer Security and E-Commerce.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
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this projec ....Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming. As such, it will significantly contribute towards Australia's leading role in the cutting edge research of intelligent systems development. The new nonmonotonic logic programming can be used as an effecive platform by many Australian computer companies for building complex knowledge systems in real world domains. Hence this project has potential economic and social benefits for Australia. With a very strong research team across different universities and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing & IT research.Read moreRead less
Group orbits in garmonic analysis and ergodic theory. Researchers from many areas need a type of mathematical analysis which involves the behaviour of a system - which may be a set of data points - under repeated application of some operation or group of operations. The structures arising from this kind of process are known as group orbits. The project gives information about their nature. Two major types of orbits are considered, coming from actions of discrete groups on measure spaces, and fro ....Group orbits in garmonic analysis and ergodic theory. Researchers from many areas need a type of mathematical analysis which involves the behaviour of a system - which may be a set of data points - under repeated application of some operation or group of operations. The structures arising from this kind of process are known as group orbits. The project gives information about their nature. Two major types of orbits are considered, coming from actions of discrete groups on measure spaces, and from smooth actions of Lie groups on manifolds, where powerful geometric methods are available. The project will yield new understandings of entropy, and new approaches to Fourier analysis.Read moreRead less
Ergodic theory and number theory. Recent advances in the theory of measured dynamical systems investigated by the proponents include new versions of entropy, and the study of spectral theory for non-singular systems. These will be further developed in this joint project with the French CNRS. The results are expected to have interesting applications in physics and number theory.
Entropy and maximal entropy in Markov systems. Entropy is a measure of how well-ordered a system is: chaotic systems have high entropy. Two approaches to entropy are available, via the limiting behaviour of the orbits of points, which yields topological entropy, and via the behaviour of the distributions of measures of partitions, yielding measure-theoretic entropy. The topological entropy is the least upper bound of entropies of all possible measures. We study when there is a measure which real ....Entropy and maximal entropy in Markov systems. Entropy is a measure of how well-ordered a system is: chaotic systems have high entropy. Two approaches to entropy are available, via the limiting behaviour of the orbits of points, which yields topological entropy, and via the behaviour of the distributions of measures of partitions, yielding measure-theoretic entropy. The topological entropy is the least upper bound of entropies of all possible measures. We study when there is a measure which realises this bound, describing the structure of such systems via Markov and Bratteli diagrams. Our methods will be applied to new versions of entropy for non-singular systems. This will assist in the description of chaotic behaviour.Read moreRead less
Symmetries in analysis. Technical research is like an iceberg. The 10% you see in applications is supported by 90% hidden, long-term, sometimes abstruse or theoretical-sounding work. The area of mathematical analysis has, for over 200 years, proved its worth as part of the unseen 90%, giving us such important tools as Fourier analysis, statistical mechanics and quantum mechanics. Australia is known as a world leader in mathematical analysis, and it is important for the country to maintain that e ....Symmetries in analysis. Technical research is like an iceberg. The 10% you see in applications is supported by 90% hidden, long-term, sometimes abstruse or theoretical-sounding work. The area of mathematical analysis has, for over 200 years, proved its worth as part of the unseen 90%, giving us such important tools as Fourier analysis, statistical mechanics and quantum mechanics. Australia is known as a world leader in mathematical analysis, and it is important for the country to maintain that edge in a number of key disciplines, so we can continue to participate in global technological advance. The project has an international focus which will enable that to happen. It will also provide training for the next generation of mathematicians. Read moreRead less