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
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.
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
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
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
Signal Concentration, Robust Signal Processing and Information Theory on the Unit Sphere. This project will assist Australia in maintaining and elevating its international research role in the development of breakthrough signal processing techniques applied to mobile communication, geodesy, astronomy, defence and surveillance, and acoustic modeling of human hearing. The project's high impact contributions will advance Australia's knowledge base and through its applications attract industry inte ....Signal Concentration, Robust Signal Processing and Information Theory on the Unit Sphere. This project will assist Australia in maintaining and elevating its international research role in the development of breakthrough signal processing techniques applied to mobile communication, geodesy, astronomy, defence and surveillance, and acoustic modeling of human hearing. The project's high impact contributions will advance Australia's knowledge base and through its applications attract industry interest particularly in the development of improved instrumentation. The publication of outcomes will elevate Australia's research reputation. The project provides high quality research training for gifted postgraduate students and postdoctoral researchers.Read moreRead less