Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms tha ....Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms that will make possible practical analysis of operator-analytic models.Read moreRead less
Mechanism design for next generation random access wireless protocols. Australia is well placed to take the lead in replacing carbon-intensive travel by teleconferencing, because of its isolation and geographic dispersion. Because these large distances introduce inevitable delays, it is important that the network itself add as little delay as possible for such real-time services. Our novel and practical resource allocation scheme will enable Australians (including Australian industries and rural ....Mechanism design for next generation random access wireless protocols. Australia is well placed to take the lead in replacing carbon-intensive travel by teleconferencing, because of its isolation and geographic dispersion. Because these large distances introduce inevitable delays, it is important that the network itself add as little delay as possible for such real-time services. Our novel and practical resource allocation scheme will enable Australians (including Australian industries and rural communities) to receive better service at lower cost. This project will put Australia on the international stage as a leading contributor to wireless Internet technology. We will provide training for PhD students and postdoctoral fellows in this important area.Read moreRead less
Characterisation of Internet Traffic Matrices. The benefits to the community of characterisation of Internet traffic matrices arise because this information is used in the design of efficient and reliable networks. This is a genuine example of using the data we have more cleverly, rather than throwing money at a problem. Better information will result in the Internet becoming more efficient, and therefore cheaper, and at the same time more reliable.
Next-Generation OFDM Communication Systems: Analysis and Design for the Physical Layer. Next-generation orthogonal frequency-division multiplexed (OFDM) systems represent the future of broadband wireless access technology. Such systems are vital to Australia's future infrastructure and growing economy by providing more bandwidth with greater flexibility for new broadband applications. The research outcomes from this project will help enable future OFDM systems, and thus directly benefit Austra ....Next-Generation OFDM Communication Systems: Analysis and Design for the Physical Layer. Next-generation orthogonal frequency-division multiplexed (OFDM) systems represent the future of broadband wireless access technology. Such systems are vital to Australia's future infrastructure and growing economy by providing more bandwidth with greater flexibility for new broadband applications. The research outcomes from this project will help enable future OFDM systems, and thus directly benefit Australia. Development of cutting-edge information technology know-how will enhance Australia's international ICT reputation. Valuable research training of highly-skilled Australian students is another important benefit.Read moreRead less
Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Int ....Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Internet for Australia, international exposure in an area of general interest, the potential for patents, and the development of commercially valuable expertise and measurement infrastructure.Read moreRead less
The use of stochastic fluid models for the evaluation of applications-driven sample path integrals. The major technical goal of this project is the production of novel methodologies which can be used to model and solve real-world problems of considerable engineering and/or environmental significance. The research for this project will serve to enhance further Australia's reputation as a country which makes major contributions, both theoretical and practical, to this field. The activities of the ....The use of stochastic fluid models for the evaluation of applications-driven sample path integrals. The major technical goal of this project is the production of novel methodologies which can be used to model and solve real-world problems of considerable engineering and/or environmental significance. The research for this project will serve to enhance further Australia's reputation as a country which makes major contributions, both theoretical and practical, to this field. The activities of the Stochastic Modelling, Analysis and Optimisation group at the University of Adelaide and the School of Mathematics at the University of Tasmania will receive further impetus, consequently maintaining a dynamic research environment for staff and students at both universities. Links between the two groups will be strengthened.Read moreRead less
Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarante ....Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarantees will enable the development and deployment of entirely new services on the Internet. This project will give Australian industry the opportunity to create the next generation Internet. Therefore this project represents a Frontier Technology.Read moreRead less
Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and ana ....Centre for Mathematical and Statistical Modelling of Complex Systems. This Centre, formed by a group of high-profile researchers, brings expertise from linked but hitherto disparate areas together. It will place Australia at the forefront of research into complex systems.
The mission of the Centre is to stimulate research in mathematical and statistical modelling of complex systems and to encourage cross-fertilisation of ideas and techniques. The specific objectives are
- to formulate and analyse mathematical and statistical models for natural and artificial complex systems,
- to use these models to develop an understanding of the behaviour of these systems
- to incorporate this understanding into strategies for management and control.Read moreRead less
Queueing systems and their application to telecommunication systems and dams. The aim of this project is to investigate the behaviour of large queueing systems under critical load conditions and solve problems related to large telecommunication systems, information technologies and dams. The project will have significant economic and social benefits. It will lead to the solution of high priority problems of optimal control of water resources, as well as problems in design technology of high spee ....Queueing systems and their application to telecommunication systems and dams. The aim of this project is to investigate the behaviour of large queueing systems under critical load conditions and solve problems related to large telecommunication systems, information technologies and dams. The project will have significant economic and social benefits. It will lead to the solution of high priority problems of optimal control of water resources, as well as problems in design technology of high speed telecommunication networks. It will suggest new more profitable approaches to known problems such as effective bandwidth problem, analysis and design of computer networks, optimal control of dams, and anticipate not ordinary results and solutions. It will contribute to the mathematical culture in Australia and worldwide. Read moreRead less