Interconnection Network Routing and Graph Symmetry. Efficient routing schemes are of fundamental importance to both
traditional and optical interconnection networks. To achieve high
performance it is recommended that the graph modelling the network be vertex-transitive, meaning that it looks the same viewed from any vertex. In this project we will conduct a systematic study of the routing problem for such networks. We will focus on the effect of vertex-transitivity and some other symmetry pro ....Interconnection Network Routing and Graph Symmetry. Efficient routing schemes are of fundamental importance to both
traditional and optical interconnection networks. To achieve high
performance it is recommended that the graph modelling the network be vertex-transitive, meaning that it looks the same viewed from any vertex. In this project we will conduct a systematic study of the routing problem for such networks. We will focus on the effect of vertex-transitivity and some other symmetry properties on the efficiency of routing schemes measured by the vertex- and edge-congestions, and the minimum number of wavelengths needed in optical networks.Read moreRead less
Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential app ....Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential applications in computer and telecommunication industries, and advance significantly our knowledge on relevant subjects of mathematics and operations research. Read moreRead less
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
New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to pr ....New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to propose, develop, analyse and test new data transmission techniques including joint coding, modulation and equalisation. The research will include theoretical analysis and hardware implementation. The overall aim is to dramatically improve reliability and throughput of data communication systems.Read moreRead less
Practical Identity-Based Cryptography: Efficient and Secure Elliptic Curve Pairings. Bilinear pairings on elliptic curves are a new cryptographic tool and allow novel and improved applications in information security. For example, they have been proposed as a substitute of existing public key infrastructures, an essential element in electronic commerce and a secure Internet. The research will lead to an increase in fundamental knowledge in the area of practical implementation and secure applic ....Practical Identity-Based Cryptography: Efficient and Secure Elliptic Curve Pairings. Bilinear pairings on elliptic curves are a new cryptographic tool and allow novel and improved applications in information security. For example, they have been proposed as a substitute of existing public key infrastructures, an essential element in electronic commerce and a secure Internet. The research will lead to an increase in fundamental knowledge in the area of practical implementation and secure applications of pairings. The results will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users. It will also support many new product opportunities aligned with Motorola's business markets.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
ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and c ....ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and cutting edge applied research outcomes. These outcomes will be of specific benefit to partner organizations including minerals, process, metal forming, and automotive industries.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