Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
The fundamental equations for inversion of operator pencils. This project seeks to deepen understanding of how complex systems may be significantly changed by incremental changes to ambient conditions. Mathematical models of complex systems (climate change processes, optimal driving strategies, efficient distribution policies, effective search routines) often depend on key parameters. If small perturbations to the parameters cause large changes to the solution, then the perturbations are said to ....The fundamental equations for inversion of operator pencils. This project seeks to deepen understanding of how complex systems may be significantly changed by incremental changes to ambient conditions. Mathematical models of complex systems (climate change processes, optimal driving strategies, efficient distribution policies, effective search routines) often depend on key parameters. If small perturbations to the parameters cause large changes to the solution, then the perturbations are said to be singular. This project aims to reveal the underlying mathematical structures and develop new computational algorithms to analyse a general class of perturbed systems both locally near an isolated singularity and globally. It plans to use these algorithms to solve systems of equations, calculate generalised inverse operators, examine perturbed Markov processes, and estimate exit times from meta-stable states in stochastic population dynamics.Read moreRead less
Complex Multiscale Systems: Modeling, Analysis and Scientific Computation. This project aims to develop and implement a systematic approach, both analytic and computational, to extract compact, accurate, system level models of complex physical and engineering systems. The wide ranging methodology is to construct computationally efficient "wrappers" around fine scale, microscopic, detailed descriptions of dynamical systems (particle or molecular simulation, or partial differential equations or la ....Complex Multiscale Systems: Modeling, Analysis and Scientific Computation. This project aims to develop and implement a systematic approach, both analytic and computational, to extract compact, accurate, system level models of complex physical and engineering systems. The wide ranging methodology is to construct computationally efficient "wrappers" around fine scale, microscopic, detailed descriptions of dynamical systems (particle or molecular simulation, or partial differential equations or lattice equations). Comprehensively accounting for multiscale interactions between subgrid processes among macroscale variations ensures stability and accuracy. Based on dynamical systems theory and analysis, this approach is expected to empower systematic analysis and understanding for optimal macroscopic simulation for forthcoming exascale computing.Read moreRead less
Decomposition and Duality: New Approaches to Integer and Stochastic Integer Programming. Because of their rich modelling capabilities, integer programs are widely used in industry for decision making and planning. However their solution algorithms do not have the maturity of their cousins in convex optimisation, where the theory of strong duality is ubiquitous. Efficient methods for convex optimisation under uncertainty do not apply to the integer case, which is highly non-convex. Furthermore, i ....Decomposition and Duality: New Approaches to Integer and Stochastic Integer Programming. Because of their rich modelling capabilities, integer programs are widely used in industry for decision making and planning. However their solution algorithms do not have the maturity of their cousins in convex optimisation, where the theory of strong duality is ubiquitous. Efficient methods for convex optimisation under uncertainty do not apply to the integer case, which is highly non-convex. Furthermore, integer models usually assume the data is known with certainty, which is often not the case in the real world. This project will develop new theory and algorithms to enhance the analysis of integer models, including those that incorporating uncertainty, while also enabling the use of parallel computing paradigms. Read moreRead less
Accurate modelling of large multiscale dynamical systems for engineering and scientific simulation and analysis. In current modelling the underlying microscopic mechanisms are known, but the closures to translate microscale knowledge to a system level macroscopic description are rarely available. The project's computational methodologies will circumvent this stumbling block to radically change the modelling, exploration and understanding of complex systems.
New Theory and Algorithms for Nonsmooth Optimisation with Application to Integer Programming. Mathematical optimisation plays a key role in a wide variety of applications in business, industry, engineering and science. For example, airlines cannot fly and radiation treatment for cancer cannot be delivered without solving (a series of) optimisation problems. Some classes of optimisation problem are very well solved, with clear mathematical foundations, efficient algorithms, and reliable software ....New Theory and Algorithms for Nonsmooth Optimisation with Application to Integer Programming. Mathematical optimisation plays a key role in a wide variety of applications in business, industry, engineering and science. For example, airlines cannot fly and radiation treatment for cancer cannot be delivered without solving (a series of) optimisation problems. Some classes of optimisation problem are very well solved, with clear mathematical foundations, efficient algorithms, and reliable software implementations. Both nonsmooth and integer optimisation problems have a good mathematical basis, but there are "gaps"; existing methods cannot always solve real industrial problems. This project will deliver better methods, built on better theory, and so will yield better solutions for important applications.Read moreRead less
Advanced studies of QCD and the strong interaction. This project will significantly advance our knowledge of the subatomic structure of the universe. It will maintain excellence and strength in an area where Australia has built an outstanding international reputation over the past decade. It will place Australia at the cutting edge of fundamental and computational science research and it will maintain and grow strong international links. It will produce Australian graduates and research associa ....Advanced studies of QCD and the strong interaction. This project will significantly advance our knowledge of the subatomic structure of the universe. It will maintain excellence and strength in an area where Australia has built an outstanding international reputation over the past decade. It will place Australia at the cutting edge of fundamental and computational science research and it will maintain and grow strong international links. It will produce Australian graduates and research associates of high quality, who will benefit from participating in these state-of-the-art studies and from the advanced training in modelling, high-performance computer simulation and visualisation. This training will have major economic benefits for and provide strong links to Australian industry.Read moreRead less
Advanced Studies of Non-Perturbative Quantum Electrodynamics (QED) and Relation to the Standard Model. The project is a high-precision study of nonperturbative quantum electrodynamics (QED). It will finally allow a detailed look into the inner workings of the "best theory we have". It will provide valuable guidance in understanding and constructing the "holy grail" of theoretical physics the so-called "theory of everything". It will place Australia at the cutting edge of fundamental theoretical ....Advanced Studies of Non-Perturbative Quantum Electrodynamics (QED) and Relation to the Standard Model. The project is a high-precision study of nonperturbative quantum electrodynamics (QED). It will finally allow a detailed look into the inner workings of the "best theory we have". It will provide valuable guidance in understanding and constructing the "holy grail" of theoretical physics the so-called "theory of everything". It will place Australia at the cutting edge of fundamental theoretical research. Australian graduate and undergraduate students will benefit from participating in this work and the state-of-the-art expertise that they will develop has a clear social and economic benefit for Australia.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
Studies of nonperturbative quantum electrodynamics. In order to test fundamental quantum field theories, which underlie all physical phenomena from galaxy formation to the behaviour of biological system, it is necessary to be able to solve these theories in all regions of interest. In particular, solving theories in the nonperturbative regime has proven a difficult and challenging problem. The most successful theory that we have in physics is perturbative quantum electrodynamics, even though in ....Studies of nonperturbative quantum electrodynamics. In order to test fundamental quantum field theories, which underlie all physical phenomena from galaxy formation to the behaviour of biological system, it is necessary to be able to solve these theories in all regions of interest. In particular, solving theories in the nonperturbative regime has proven a difficult and challenging problem. The most successful theory that we have in physics is perturbative quantum electrodynamics, even though in the nonperturbative regime it is widely believed to be a trivial or pathological theory. We will build on exciting recent successes in this field and use advanced supercomputers to understand the detailed nonperturbative behaviour of quantum electrodynamics.Read moreRead less