Storage of non-classical light in a solid. A new scheme for storing and recalling coherent light pulses based on 'slow light' has been demonstrated. The aim of this project is to show how this can best be achieved in a solid to enable practical applications. A range of materials will be investigated. The novel feature of the storage is the maintenace of the coherence information and a noise analysis will be made to determine whether it is experimentally possible to store non-classical light.
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
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
Solid state optical quantum information technology. There is a significant effort in Australia and around the world to develop quantum information technologies. This project, by demonstrating a suite of critical building blocks for quantum information processing, will support Australia's strong position in this emerging technology.
A major motivation for the effort directed at quantum information technologies is the impact they will have on the security of data transmission, both in breakin ....Solid state optical quantum information technology. There is a significant effort in Australia and around the world to develop quantum information technologies. This project, by demonstrating a suite of critical building blocks for quantum information processing, will support Australia's strong position in this emerging technology.
A major motivation for the effort directed at quantum information technologies is the impact they will have on the security of data transmission, both in breaking existing encryptions and implementing new encryption systems. The successful completion of this project will provide the essential components for a secure long distance quantum communication network. Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
Passively switched mid-infrared fibre lasers using saturable absorbers placed internally or externally to the geometry of the fibre. This project will create new pulsed mid-infrared fibre lasers based on original and recently developed passive switching techniques. An original class of fibre laser systems will be shown that is based on the internal placement of saturable absorbers within the optical fibre itself. A configuration such as this will enable the production of very simple pulsed laser ....Passively switched mid-infrared fibre lasers using saturable absorbers placed internally or externally to the geometry of the fibre. This project will create new pulsed mid-infrared fibre lasers based on original and recently developed passive switching techniques. An original class of fibre laser systems will be shown that is based on the internal placement of saturable absorbers within the optical fibre itself. A configuration such as this will enable the production of very simple pulsed laser systems of high efficiency and potentially high power. This will lead into the development of practical pulsed oscillator systems the output of which can be used directly or optically amplified for applications requiring high power.Read moreRead less
Quantum technologies based on crystalline rare-earth ion doped optical waveguides and resonators. Quantum information processing is a powerful emerging technology that aims to fully exploit the properties of quantum mechanics to perform computations and securely transmit information. This project will develop an essential component for this technology that will enable for the first time the direct and reversible transfer of quantum information between solid-state quantum systems and light. Succ ....Quantum technologies based on crystalline rare-earth ion doped optical waveguides and resonators. Quantum information processing is a powerful emerging technology that aims to fully exploit the properties of quantum mechanics to perform computations and securely transmit information. This project will develop an essential component for this technology that will enable for the first time the direct and reversible transfer of quantum information between solid-state quantum systems and light. Successful completion of this project will provide a route to fully scalable quantum computing and long range quantum networks. This project will help secure Australia's leading role in this strategically important new generation technology.Read moreRead less
Development of a quantum computer based on solid-state optical impurity sites. The use of optical impurity sites in solid-state hosts as a basis for a quantum computer will be investigated. This project will experimentally demonstrate and characterize all the functions necessary for the operation of a scalable quantum computer. A significant advantage of the current approach is that all these functions can be performed optically, circumventing the need for the complex fabrication found in othe ....Development of a quantum computer based on solid-state optical impurity sites. The use of optical impurity sites in solid-state hosts as a basis for a quantum computer will be investigated. This project will experimentally demonstrate and characterize all the functions necessary for the operation of a scalable quantum computer. A significant advantage of the current approach is that all these functions can be performed optically, circumventing the need for the complex fabrication found in other solid-state quantum computing schemes.Read moreRead less
Develoment of a quantum repeater. Quantum information processing is a powerful emerging technology that aims to fully exploit the properties of quantum mechanics to perform computations and securely transmit information. This project will develop an essential component for this technology that will enable for the first time the direct and reversible transfer of quantum information between solid-state quantum systems and light. Successful completion of this project will provide a route to fully s ....Develoment of a quantum repeater. Quantum information processing is a powerful emerging technology that aims to fully exploit the properties of quantum mechanics to perform computations and securely transmit information. This project will develop an essential component for this technology that will enable for the first time the direct and reversible transfer of quantum information between solid-state quantum systems and light. Successful completion of this project will provide a route to fully scalable quantum computing and long range quantum networks. This project will help secure Australia's leading role in this strategically important new generation technology.Read moreRead less