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
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
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
Problems of identification and inference for 'non-standard' models in complex systems with special reference to finance and teletraffic. The project is concerned with 'non-standard' models needed to deal with complex systems, such as those exhibiting scaling and fractal properties. There is a focus on methods for dealing with heavy tailed distributions and long range dependent observations, for which most standard statistical methods break down, and on applications in finance and telecommunicati ....Problems of identification and inference for 'non-standard' models in complex systems with special reference to finance and teletraffic. The project is concerned with 'non-standard' models needed to deal with complex systems, such as those exhibiting scaling and fractal properties. There is a focus on methods for dealing with heavy tailed distributions and long range dependent observations, for which most standard statistical methods break down, and on applications in finance and telecommunications. An important part of the project concerns model validation for Heyde's fractal activity time geometric Brownian motion model, a candidate minimal description risky asset model to replace the geometric Brownian motion paradigm.Read moreRead less
Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and ....Increasing internet energy and cost efficiency by improving higher-layer protocols. Australians rely heavily on our telecommunications infrastructure due to our geographic dispersion. We are also very susceptible to climate change, given our reliance on agriculture. Information technology is consuming a rapidly increasing fraction of our power and our budget. This research will help to reverse both those trends, by finding novel and practical ways to use our infrastructure more efficiently, and to minimise its energy use. This will enable the Australian telecommunications industry to provide better service (including to Australian industries and rural communities) at lower economic and environmental cost. This project will put Australia on the international stage as a leading contributor to energy-efficient internet technology.Read moreRead less