Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilit ....Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilities, and released for community use. These developments underpin future ocean state forecasts, sea ice forecasts, wave forecasts, decadal climate prediction and climate process studies. The project will benefit search and rescue, Defence and shipping operations, and will enhance future climate projections.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
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
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.
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
A new perturbation method for solving singular operator equations with applications to complex systems. This project will develop new methods for analysis of web-based search routines such as Google PageRank, a new algorithm for optimal estimation of random signals, more accurate error analysis in the approximate solution of singular systems of equations and enhanced understanding of models for the simulated management of urban stormwater. The project will involve collaboration between two Aus ....A new perturbation method for solving singular operator equations with applications to complex systems. This project will develop new methods for analysis of web-based search routines such as Google PageRank, a new algorithm for optimal estimation of random signals, more accurate error analysis in the approximate solution of singular systems of equations and enhanced understanding of models for the simulated management of urban stormwater. The project will involve collaboration between two Australian universities and a leading European Research Institute. It will provide employment and vital training for two postdoctoral Research fellows and research projects for three postgraduate students and two honours students.Read moreRead less
The design and development of a novel high power-to-weight actuator. Powerful and compact actuators are becoming increasingly in demand due to the sophistication in a range of uses varying from aerospace to automotive accessories. The aim of this project is to develop an actuator with high performance and power-to-weight ratio, suitable for use in cutting-edge applications. In the first instance, the focus will be on developing an automotive mirror actuator in close collaboration with the indust ....The design and development of a novel high power-to-weight actuator. Powerful and compact actuators are becoming increasingly in demand due to the sophistication in a range of uses varying from aerospace to automotive accessories. The aim of this project is to develop an actuator with high performance and power-to-weight ratio, suitable for use in cutting-edge applications. In the first instance, the focus will be on developing an automotive mirror actuator in close collaboration with the industrial partner, but the generic research outcomes will be applicable to development of actuators for other purposes. The new generation actuators will contribute to Australian manufacturing exports to become internationally competitive.Read moreRead less
The Standard Model and beyond on supercomputers. Using the latest advances in supercomputing, the researcher will confront some of the most challenging problems facing nuclear and particle physicists.
Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.Read moreRead less
Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude an ....Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.Read moreRead less