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
Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analy ....Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analysis and asymptotic optimisation of singularly perturbed control systems and Markov decision processes. In particular, we plan to establish links between general nonlinear optimal control problems with time average criteria and linear programming problems in the space of limit occupational measures generated by the underlying control system.Read moreRead less
Advances in Nonperturbative Studies of Subatomic Physics. Fundamental research into physics always leads to unpredictable technological breakthroughs. Fundamental physics research has led to the development of transistors, world wide web, carbon dating, cancer treatments, Magnetic Resonance Imaging (MRI) scans, satellites and many applications too numerous to mention. The collaboration will allow Australia access to technologies, research infrastructure, expertise and intellectual knowledge that ....Advances in Nonperturbative Studies of Subatomic Physics. Fundamental research into physics always leads to unpredictable technological breakthroughs. Fundamental physics research has led to the development of transistors, world wide web, carbon dating, cancer treatments, Magnetic Resonance Imaging (MRI) scans, satellites and many applications too numerous to mention. The collaboration will allow Australia access to technologies, research infrastructure, expertise and intellectual knowledge that wouldn't be available otherwise. This will enable Australian institutions to pursue breakthrough science, to develop frontier technologies and to have a great impact in the international scientific community. It will also provide advance training in simulation and high-performance computing to postgraduates and research associates.Read moreRead less
Diagnosis of Reference Flow Control Alerts for the Identification of Malicious Event Sequences (DiagRF). There are a reported two billion computer attacks worldwide per year. Many of these attacks require a skilled human to decipher them and to develop the "signatures" by which they can be detected. The main outcome of this project will be fundamental knowledge regarding how information flows can be tracked and then forensically analysed in a distributed computer system or network in order to ....Diagnosis of Reference Flow Control Alerts for the Identification of Malicious Event Sequences (DiagRF). There are a reported two billion computer attacks worldwide per year. Many of these attacks require a skilled human to decipher them and to develop the "signatures" by which they can be detected. The main outcome of this project will be fundamental knowledge regarding how information flows can be tracked and then forensically analysed in a distributed computer system or network in order to enable the automatic characterization of certain classes of attacks. This new approach will enable the automatic development of attack signatures and thus the detection of such attacks. The project will lead to the development of a prototype which implements the automatic analysis and characterization of such attacks to provide proof of concept.Read moreRead less
Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.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
Propagation of singularities for the Schrodinger equation. The time-dependent Schrodinger equation governs the evolution of quantum particles. In this project we aim to use new techniques from mathematical scattering theory to analyse solutions of the Schrodinger equation and obtain sharp bounds on their singularities. Controlling such singularities will allow us to deduce quantitative bounds on the number of eigenvalues in certain situations, and provide new techniques for studying nonlinear Sc ....Propagation of singularities for the Schrodinger equation. The time-dependent Schrodinger equation governs the evolution of quantum particles. In this project we aim to use new techniques from mathematical scattering theory to analyse solutions of the Schrodinger equation and obtain sharp bounds on their singularities. Controlling such singularities will allow us to deduce quantitative bounds on the number of eigenvalues in certain situations, and provide new techniques for studying nonlinear Schrodinger equations. Read moreRead less
Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace de ....Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace determination to characterise their computational efficiency, accuracy and effectiveness in various data scenarios. The analysis will lead to improved designs for eigenvalue/eigenspace algorithms, as well as design tools to engineer algorithms to specific situations.Read moreRead less