Overseeing the internet: new paradigms of network measurement. Like the electricity network, the internet is a core infrastructure, and so must be reliable and efficient. A gap in bandwidth supply is like a blackout in terms of lost business and productivity. This project will provide the measurement breakthroughs to ensure that network behaviour can be accurately and comprehensively monitored.
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and ra ....Novel time-frequency techniques for analysing and modeling non-stationary physical and engineering data. This project addresses an issue of fundamental importance in science and technology, where non-stationary data (which have time-varying statistics) are ubiquitous. Therefore, the development of time-frequency tools to model and analyse non-stationary data has great potential for impact in a wide range of areas reaching from seismic data analysis to biomedical signal processing to sonar and radar. Employing techniques to be developed in this proposal, we expect to be able to classify and detect features of non-stationary data that were unrecognisable using hitherto known methods.Read moreRead less
Sound and Shape Synthesis Using Tensegrity Particle Systems. Pixar's Toy Story amazed audiences with its computer-generated images, yet the sound was still composed and ?tuned? almost wholly by human hand. In industry, virtual reality systems are increasingly applied to simulation and visualisation but, in general, 'sound? is poorly handled. In this project, we seek to research complex systems that will simulate an object's sound, shape and interaction characteristics in a unified approach. Our ....Sound and Shape Synthesis Using Tensegrity Particle Systems. Pixar's Toy Story amazed audiences with its computer-generated images, yet the sound was still composed and ?tuned? almost wholly by human hand. In industry, virtual reality systems are increasingly applied to simulation and visualisation but, in general, 'sound? is poorly handled. In this project, we seek to research complex systems that will simulate an object's sound, shape and interaction characteristics in a unified approach. Our proposed Tensegrity particle systems generate minimal, stable and robust descriptions of objects in interacting situations. This represents a new and unique approach to the unified representation of multimedia objects with applications in manufacturing and entertainment.Read moreRead less
Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theore ....Formalising and automating the elicitation and reconciliation of requirements from multiple stakeholders. It is well recognised that requirements specifications are often error-prone and that it is much cheaper to detect and fix these errors early in the software development life cycle than later. A major problem with requirements determination is that each and every stakeholder has his/her own representation of the enterprise reality. This project seeks to take these views and use set-theoretical techniques from Formal Concept Analysis (FCA) to automatically generate and compare the underlying conceptual models. A process model based on FCA has been proposed which we will extend and empirically evaluate in this project. The result will be a more rigorous and yet pragmatic approach to requirements engineering which offers the greatest economic leverage.Read moreRead less
System Identification of Complex System Models. This project lies within an ARC Research Priority Area. Namely, "Frontier Technologies". It involves the development of new technologies and fundamental theory that take data records from physical or abstract systems and generate mathematical models for use in prediction, control and diagnosis of the underlying system. In light of this, the project also lies within the ARC Research Priority Area of "Smart Information Use",
Multi-Group Stochastic Modelling of Population Balance for Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, nuclear, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and ....Multi-Group Stochastic Modelling of Population Balance for Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, nuclear, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of predicting a wide range of industrial bubbly flow problems. The resultant improved computer codes will provide industries with significant benefits and, in particular, reduce times and costs in their design and production. Read moreRead less
A Framework for Supporting Consistent and Reliable Collaborative Business Transactions. Business integration and enterprise computing is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business transacti ....A Framework for Supporting Consistent and Reliable Collaborative Business Transactions. Business integration and enterprise computing is at the heart of ICT objectives and initiatives global wide. The project aims to be of unique value to Australian industry and provide a means to achieve excellence in the field of research that promises to shape the future of e-business technology. The research conducted within this project will position Australia as one of the leaders in the business transaction area. The project outcomes in the form of specifications and formal models will provide generic solutions that are applicable to many Australian and international companies involved in distributed computing and e-business technologies. Read moreRead less
Federated Cloud Services Configuration and Orchestration. Cloud computing allows organisations to expand or contract their computing footprint based on existing demand. However, existing cloud delivery models support individual segregated and heterogeneous functionalities, which prevent effective coordinated combination of on-premise and off-premise applications, services, and resources. This project aims to significantly contribute to the scientific foundations for the model-driven and elastic ....Federated Cloud Services Configuration and Orchestration. Cloud computing allows organisations to expand or contract their computing footprint based on existing demand. However, existing cloud delivery models support individual segregated and heterogeneous functionalities, which prevent effective coordinated combination of on-premise and off-premise applications, services, and resources. This project aims to significantly contribute to the scientific foundations for the model-driven and elastic configuration and orchestration of resources over heterogeneous cloud services. The outcomes of the project aim to contribute to lifting productivity and economic growth through interoperable and elastic cloud service technologies as well as delivering appropriate skills for the new digital economy.Read moreRead less
New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of doll ....New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of dollars. This project will develop design tools allowing for more sophisticated, high performance control to be more widely employed. This will deliver the potential for economic and environmental benefits and energy savings to be achieved across a range of industries.Read moreRead less