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
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Symmetry and geometric partial differential equations. This project aims to develop tools to assist the study of partial differential equations, which are fundamental to our understanding of the physical world. Symmetries of the Laplace equation are fundamental in both finding and interpreting its solutions and can be traced to the conformal symmetries of the underlying space. Only for the most symmetric of spaces, Euclidean space and the sphere, is this correspondence well understood. Using pow ....Symmetry and geometric partial differential equations. This project aims to develop tools to assist the study of partial differential equations, which are fundamental to our understanding of the physical world. Symmetries of the Laplace equation are fundamental in both finding and interpreting its solutions and can be traced to the conformal symmetries of the underlying space. Only for the most symmetric of spaces, Euclidean space and the sphere, is this correspondence well understood. Using powerful geometric tools from conformal geometry, the project will extend this to less symmetric spaces. The knowledge generated from this project will extend to more general geometric contexts providing a concrete setting for the study of the associated natural equations in curved spaces.Read moreRead less
Bio-inspired Computing for Problems with Dynamically Changing Constraints. The aim of this project is to design bio-inspired computing methods for dynamically changing environments. Dynamic problems arise frequently in the areas of engineering, logistics, and manufacturing. Such problems are usually subject to a large set of constraints that change over time due to changes in resources. Algorithms that can deal with such dynamic changes would benefit decision-makers. The project aims to provide ....Bio-inspired Computing for Problems with Dynamically Changing Constraints. The aim of this project is to design bio-inspired computing methods for dynamically changing environments. Dynamic problems arise frequently in the areas of engineering, logistics, and manufacturing. Such problems are usually subject to a large set of constraints that change over time due to changes in resources. Algorithms that can deal with such dynamic changes would benefit decision-makers. The project aims to provide a foundational theory as the basis for the design of bio-inspired algorithms dealing with dynamically changing constraints and provide approaches for dealing with important industrial problems.Read moreRead less
New perspectives on computing methods for mathematical signal processing. This project determines how best to design computing methods for challenging demands in signal processing. The expected conceptual & algorithmic advances will have significant repercussions in a number of fields including optimal filtering theory and will contribute to applications ranging from bio-informatics to electrical engineering. The new techniques will allow development of software that will benefit Australian in ....New perspectives on computing methods for mathematical signal processing. This project determines how best to design computing methods for challenging demands in signal processing. The expected conceptual & algorithmic advances will have significant repercussions in a number of fields including optimal filtering theory and will contribute to applications ranging from bio-informatics to electrical engineering. The new techniques will allow development of software that will benefit Australian industries and technologies. The formation of a strong research team across four universities in Australia, USA and Japan will enhance our scientific standing in the international community and will place Australian researchers at the forefront of world-class research methods. Read moreRead less
Evolutionary diversity optimisation. This project aims to build up and establish the area of evolutionary diversity optimisation. The project will cover the design and application of evolutionary diversity optimisation methods to complex problems of significance and high national economic benefit and build up the theoretical foundations of these methods. The project is expected benefit decision makers by providing them a diverse set of high quality alternatives to choose from. This project will ....Evolutionary diversity optimisation. This project aims to build up and establish the area of evolutionary diversity optimisation. The project will cover the design and application of evolutionary diversity optimisation methods to complex problems of significance and high national economic benefit and build up the theoretical foundations of these methods. The project is expected benefit decision makers by providing them a diverse set of high quality alternatives to choose from. This project will allow them to make highly informed decisions and lead to more reliable solutions for optimisation problems, in areas of high economic impact such as manufacturing and supply chain management.Read moreRead less
Ubiquity of K-theory and T-duality. An abstract mathematical tool, called K-theory, has recently found application in two, not obviously related, areas of physics: the classification of D-branes in String Theory, and topological phases in Condensed Matter Theory. This project aims to advance the development of K-theory using ideas from physics. In particular, the project aims to generalise previous constructions, such as T-duality, to loop spaces, and to develop the K-theory relevant to the clas ....Ubiquity of K-theory and T-duality. An abstract mathematical tool, called K-theory, has recently found application in two, not obviously related, areas of physics: the classification of D-branes in String Theory, and topological phases in Condensed Matter Theory. This project aims to advance the development of K-theory using ideas from physics. In particular, the project aims to generalise previous constructions, such as T-duality, to loop spaces, and to develop the K-theory relevant to the classification of topological phases in strongly interacting systems. This project involves postgraduate training as a crucial tool in achieving its aims and enhances Australia's position at the forefront of international research.Read moreRead less
Applications of generalised geometry to duality in quantum theory. This project will undertake research into mathematics at the forefront of modern physics. The aim of the project is to develop a mathematical theory of T-duality, a phenomenon in quantum physics, using generalised geometry.
A large aperture Sodium lidar for investigating the middle atmosphere (10-100 km). We will create a world-leading sodium lidar for remote sensing of the mesosphere and lower thermosphere (MLT) regions of the atmosphere, by developing a novel solid-state sodium light source and using the Cangaroo-1 telescope. It will provide the most accurate measurements ever of the temperature profile and wind velocities in the MLT for much needed input into models of the atmosphere. The addition of this capabi ....A large aperture Sodium lidar for investigating the middle atmosphere (10-100 km). We will create a world-leading sodium lidar for remote sensing of the mesosphere and lower thermosphere (MLT) regions of the atmosphere, by developing a novel solid-state sodium light source and using the Cangaroo-1 telescope. It will provide the most accurate measurements ever of the temperature profile and wind velocities in the MLT for much needed input into models of the atmosphere. The addition of this capability to the suite of atmospheric monitoring instruments at the Buckland Park field station will create a major international research facility, unrivalled in the world.Read moreRead less
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