Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication i ....Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication industries. In addition to efficient solution methods
for these problems the project will produce computational tools for
a wide range of related network routing problems.Read moreRead less
A Study of Stabilisation and Optimal Control Computation of Impulsive Control Systems. Impulsive systems exhibit the phenomenon of jumps occurring at various time points along their trajectories. They arise from many applications, such as determining appropriate levels of drug administration in cancer and diabetes treatment, optimizing investment strategies in capacity expansion, and sustainable optimal forest management. This project will result in fundamental theory on stability and efficient ....A Study of Stabilisation and Optimal Control Computation of Impulsive Control Systems. Impulsive systems exhibit the phenomenon of jumps occurring at various time points along their trajectories. They arise from many applications, such as determining appropriate levels of drug administration in cancer and diabetes treatment, optimizing investment strategies in capacity expansion, and sustainable optimal forest management. This project will result in fundamental theory on stability and efficient computational algorithms and software packages for stabilizing controls and optimal controls of impulsive control problems. The outcomes will enhance Australia's reputation for leading edge research and facilitate opportunity for international collaboration. It will also provide an excellent opportunity for research training.Read moreRead less
Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient al ....Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient algorithmic approaches for difficult problems enable advances in all areas of computer applications such as medical diagnosis and health prediction, national security, communications efficiency, industrial productivity and all fields of science and engineering.Read moreRead less
HYBRID METHODS FOR SOLVING LARGE-SCALE OPTIMISATION PROBLEMS. Mathematical modelling and optimisation plays a crucial role in the advancement of modern business, science and technology. A significant benefit of this project is the development of a range of powerful computational tools for improving the productivity of Australian industry, including: agriculture; communications; defence; manufacturing; mining and petroleum; transport and logistics. These tools will be built upon advances in the f ....HYBRID METHODS FOR SOLVING LARGE-SCALE OPTIMISATION PROBLEMS. Mathematical modelling and optimisation plays a crucial role in the advancement of modern business, science and technology. A significant benefit of this project is the development of a range of powerful computational tools for improving the productivity of Australian industry, including: agriculture; communications; defence; manufacturing; mining and petroleum; transport and logistics. These tools will be built upon advances in the fundamental theory developed by the research team. The resulting high quality publications and associated algorithms will greatly enhance Australia's international scientific reputation and provide Australian industry with new cutting-edge optimisation technology.Read moreRead less
Robust methods for hard optimization problems. Highly advanced industrial and information-based societies depend on complex systems that underpin their infrastructure and technologies. Mathematical modelling and optimization techniques are most frequently deployed for the development and refinement of these systems. This project focuses on an important class of difficult optimization problems that arise in many applications. A significant benefit of this project is the development of a number of ....Robust methods for hard optimization problems. Highly advanced industrial and information-based societies depend on complex systems that underpin their infrastructure and technologies. Mathematical modelling and optimization techniques are most frequently deployed for the development and refinement of these systems. This project focuses on an important class of difficult optimization problems that arise in many applications. A significant benefit of this project is the development of a number of robust methods for these hard optimization problems. These methods will be built upon advances in the fundamental theory developed by the research team. The resulting high quality publications and associated algorithms will greatly enhance Australia's international scientific reputation.Read moreRead less
Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to i ....Algebraic Properties of Cryptographic Components and their Cryptanalysis. The outcomes will enhance information and communication security, which is absolutely crucial for the rapidly growing e-commerce and e-government services in Australia. International collaboration will be strengthened by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. Our project will help to maintain a high profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Application of Optimisation Techniques to the Truck/Loader Selection Problem in Mining. Australia has world class deposits of most major mineral commodities and is a major producer and exporter of coal and many metals. The mining industry has an annual turnover of around $40 billion. A significant component (up to 55%) of mining costs is material handling. This project aims to develop computational tools for determining the best selection of trucks and loaders for the mining operation. To da ....Application of Optimisation Techniques to the Truck/Loader Selection Problem in Mining. Australia has world class deposits of most major mineral commodities and is a major producer and exporter of coal and many metals. The mining industry has an annual turnover of around $40 billion. A significant component (up to 55%) of mining costs is material handling. This project aims to develop computational tools for determining the best selection of trucks and loaders for the mining operation. To date this important problem has not been addressed. Our strategy is to develop accurate mathematical models and cutting edge optimisation techniques for their solution. The research outcomes will have significant outcomes for the mining industry.Read moreRead less
Nanotribology of coating on silicon using multiscale atomic-continuum modelling. Nanotribology plays a vital role in the development of nanomaterials, nanotechnology and information technology. The current project aims to predict the mechanisms involved in the nanotribology of diamond coating on silicon. In addition, the project will integrate the tribological mechanisms involved on the atomic scale with mechanisms on the continuum scale using an innovative model combining molecular dynamics, ....Nanotribology of coating on silicon using multiscale atomic-continuum modelling. Nanotribology plays a vital role in the development of nanomaterials, nanotechnology and information technology. The current project aims to predict the mechanisms involved in the nanotribology of diamond coating on silicon. In addition, the project will integrate the tribological mechanisms involved on the atomic scale with mechanisms on the continuum scale using an innovative model combining molecular dynamics, discrete elements method and finite elements analysis. This will provide a holistic understanding of tribology.Read moreRead less
Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing resear ....Coarse Grained Parallel Algorithms. Various fields of research face barriers created by problems that are computationally hard and/or require processing of large amounts of data. For example, some computational biochemistry methods on protein or gene sequences can not be scaled up to data sets required for human health research because of performance problems. Parallel computing enables new research by increasing the size of solvable problems. In addition to fundamental parallel computing research, this project studies parallel algorithms for structure-based drug design and protein-protein interaction prediction that will enable new biochemistry research, as well as parallel algorithms for data cubes that will help enable the next generation of very large data warehouses.Read moreRead less