Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research 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 (Priority 3 - Frontier Technologies). Read moreRead less
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
Multicast in Single-Hop and Multi-Hop WDM Optical Networks. The emerging Wavelength-Division-Multiplexing (WDM) optical network is a promising candidate for next-generation Internet, which provides enormous bandwidth and fast connectivity. Multicast in WDM networks is a fundamental problem which has wide applications including teleconferencing, entertainment distribution, etc. In this project we investigate the multicast and constraint multicast problems in both single-hop and multi-hop WDM netw ....Multicast in Single-Hop and Multi-Hop WDM Optical Networks. The emerging Wavelength-Division-Multiplexing (WDM) optical network is a promising candidate for next-generation Internet, which provides enormous bandwidth and fast connectivity. Multicast in WDM networks is a fundamental problem which has wide applications including teleconferencing, entertainment distribution, etc. In this project we investigate the multicast and constraint multicast problems in both single-hop and multi-hop WDM networks by studying their computational complexities and devising scalable, high-quality approximation algorithms for them. The developed algorithms significantly improve the network performance and scalability, and the innovative approaches and algorithm techniques developed in this project are also applicable to other routing problems.Read moreRead less
The Time-Varying Eigenvalue Problem with Application to Signal Processing and Control. Linear models are ubiquitous in representing physical processes. Decomposing a linear model into its fundamental components is known as the eigenvalue problem. In applications as wide ranging as astronomy, aircraft control systems, Internet search engines and communication systems, it is necessary to perform this decomposition of a pertinent time varying linear model on the fly. This project aims to develop si ....The Time-Varying Eigenvalue Problem with Application to Signal Processing and Control. Linear models are ubiquitous in representing physical processes. Decomposing a linear model into its fundamental components is known as the eigenvalue problem. In applications as wide ranging as astronomy, aircraft control systems, Internet search engines and communication systems, it is necessary to perform this decomposition of a pertinent time varying linear model on the fly. This project aims to develop significantly faster and more accurate algorithms for this time varying eigenvalue problem than currently exist. Very modern techniques will be employed to achieve this aim, and the potential benefits to Australian hi-tech industries are great.
Read moreRead less
Numerically Robust Extruder Die Design for Fabricating High-Quality Preforms for Microstructured Polymer Optical Fibres. Microstructural polymer optical fibres (mPOFs) were pioneered in Australia, are now comparable in performance (but much more versatile) than conventional polymer fibre, and are a highly attractive commercial option. Potential industrial applications envisage cost-effective preform fabrication as a key issue, with extrusion as the favoured route. This interdisciplinary project ....Numerically Robust Extruder Die Design for Fabricating High-Quality Preforms for Microstructured Polymer Optical Fibres. Microstructural polymer optical fibres (mPOFs) were pioneered in Australia, are now comparable in performance (but much more versatile) than conventional polymer fibre, and are a highly attractive commercial option. Potential industrial applications envisage cost-effective preform fabrication as a key issue, with extrusion as the favoured route. This interdisciplinary project benefits Australia by (i) extending and exploiting our research advantages in advanced photonics and computational rheology, (ii) providing the 'missing link' for large-scale mPOF production and positioning us to reap the economic benefits of this innovative technology, and (iii) providing computational techniques for rheological modelling that are applicable in diverse Australian industry sectors.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
Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time. Many distributed computer system implementations fail to comply with their original informal requirement specification. These requirements typically refer to the migration of information through the system over time, but current specification languages are not rich enough to express such requirements on a sufficiently abstract level. This results in a huge error-provoking gap ....Building correct-by-construction distributed systems from specifications stating how agents' knowledge evolves over time. Many distributed computer system implementations fail to comply with their original informal requirement specification. These requirements typically refer to the migration of information through the system over time, but current specification languages are not rich enough to express such requirements on a sufficiently abstract level. This results in a huge error-provoking gap between the informal requirements and the starting point of formally verifiable development. To minimise this gap, we develop a particularly expressive specification language, a calculus for stepwise refinement from such specifications down to distributed systems, and an automated tool for checking and supporting refinement steps in the calculus.Read moreRead less
Design Efficient Routing Protocols For WDM Optical Networks. The optical network technique plays a key role to the next-generation networks. In particular, wavelength-division-multiplexing (WDM) optical networks have emerged as a promising candidate for next-generation networks in providing huge available bandwidth and connectivity.
Routing and wavelength assignment problem is one of the fundamental problems in WDM optical networks. In this project we primarily focus on devising and analyzing ....Design Efficient Routing Protocols For WDM Optical Networks. The optical network technique plays a key role to the next-generation networks. In particular, wavelength-division-multiplexing (WDM) optical networks have emerged as a promising candidate for next-generation networks in providing huge available bandwidth and connectivity.
Routing and wavelength assignment problem is one of the fundamental problems in WDM optical networks. In this project we primarily focus on devising and analyzing efficient routing algorithms for all-to-all routing and robust routing in the WDM networks. Incorporated with various known techniques, practical algorithms will be developed. The algorithms and techniques developed in this project will be through simulation, testing, and implementation.Read moreRead less