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
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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0221428
Funder
Australian Research Council
Funding Amount
$530,000.00
Summary
A Transportable Optical Frequency Counter, Synthesizer and Super-Continuum Generator (OFCSSG). The generation of ultra-short light pulses of just a few femtoseconds (one thousand-trillionth of a second) in duration has enabled applications in a wide range of fields, but complexity and cost has limited availability. This project will employ recently developed optical fibre and solid-state laser technology to create a cost-effective compact transportable facility of highly coherent, ultra-broadba ....A Transportable Optical Frequency Counter, Synthesizer and Super-Continuum Generator (OFCSSG). The generation of ultra-short light pulses of just a few femtoseconds (one thousand-trillionth of a second) in duration has enabled applications in a wide range of fields, but complexity and cost has limited availability. This project will employ recently developed optical fibre and solid-state laser technology to create a cost-effective compact transportable facility of highly coherent, ultra-broadband radiation. The source will enable new research and substantially enrich existing research in optical time standards and metrology, in-vivo biological imaging, and ultrafast spectroscopy. No such facility is presently available in AustraliaRead moreRead less
High precision material processing using ultrashort laser pulses at MHz repetition rates. The continual miniaturisation of mechanical and electronic components for biomedical, aerospace and industrial products is driving the demand for advanced fabrication techniques. Femtosecond laser micromachining in particular is emerging as a critical manufacturing process for these components and other new and unprecedented applications.
The project will build up strong links between the Photonics Institu ....High precision material processing using ultrashort laser pulses at MHz repetition rates. The continual miniaturisation of mechanical and electronic components for biomedical, aerospace and industrial products is driving the demand for advanced fabrication techniques. Femtosecond laser micromachining in particular is emerging as a critical manufacturing process for these components and other new and unprecedented applications.
The project will build up strong links between the Photonics Institute in Vienna, Austria, which is noted for their achievements in the development of femtosecond light sources, and the CLA, which has an excellent reputation for its expert knowledge in laser material processing. It is therefore believed to be beneficial for research in both countries.
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
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
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
Quantum Photonics with continuous laser beams - travel award. Quantum information and communication is a new paradigm in information technology which utilises quantum physics to improve current limitations in speed, security and fidelity of information transmission and processing, extending the present Electronics and Photonics devices. Future applications will include teleportation, cryptography and ultimately quantum computation. We propose to investigate these applications using continuous (C ....Quantum Photonics with continuous laser beams - travel award. Quantum information and communication is a new paradigm in information technology which utilises quantum physics to improve current limitations in speed, security and fidelity of information transmission and processing, extending the present Electronics and Photonics devices. Future applications will include teleportation, cryptography and ultimately quantum computation. We propose to investigate these applications using continuous (CW) laser beams and the Einstein-Podolsky-Rosen (EPR) quantum entanglement, which is generated via a pair of optical parametric oscillators. The advantage of CW over the established single photon technology is better detection efficiency, wider data bandwidth and a compatibility with existing photonics technology.Read moreRead less
Multi-Soliton Complexes. This project aims to investigate phenomena related to multi-soliton complexes in optics. Solitons have the potential of high speed data transmission across the world. Their use in telecommunications requires various component and extensive knowledge of their properties. Multisoliton complexes are essential in future devices for high speed information processing and transmission. We expect that our proposed study would provide essential information regarding the propertie ....Multi-Soliton Complexes. This project aims to investigate phenomena related to multi-soliton complexes in optics. Solitons have the potential of high speed data transmission across the world. Their use in telecommunications requires various component and extensive knowledge of their properties. Multisoliton complexes are essential in future devices for high speed information processing and transmission. We expect that our proposed study would provide essential information regarding the properties of multisoliton complexes and their application in practice.Read moreRead less