Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing ....Coding Error Isolation in Computerised Simulation Models with Application to Wastewater Treatment Systems. Simulation code verification through program testing and debugging is crucially important, but is tedious and often difficult. A novel approach will be studied in this project. The approach involves detecting coding errors through back-to-back testing using two independently implemented versions of a given mathematical model, and isolating the coding errors through systematically analysing the test error signal generated (the difference between the outputs of the two models). This is possible because one of the two versions is implemented in such a way that the test error carries an easily identifiable feature. This project could revolutionize the area of model verification.Read moreRead less
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
Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this p ....Agent-Based Frameworks for Coordinated Activities in E-Business: Supply Chain Management and Workflow Applications. As e-commerce over the Internet expands, the level of integration of businesses and consumers will increase, necessitating innovative approaches to decision-support and information management to facilitate within-business, business-to-consumer and business-to-business transactions. In conjunction with a local designer of business solutions, Agent Oriented Software Pty. Ltd., this project aims to build agent-based frameworks for the support of selected within-business and business-to-business activities in supply chain management, implement an agent-based workflow system based around document management, and provide research training in this key area of technology through joint university-industry supervision of two research students. This will enhance Australia's competitiveness in the provision of leading edge technologies to support e-commerce.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
Assessing Oceanic and Tidal Forecast Data For Search and Rescue Purposes. Locating people lost and adrift at sea requires costly resources (aircraft, ships and rescuers) and accurate planning. Rescuers also require estimates of where currents will take them. Australian marine Search and Rescue (SAR) planning uses infrequent (typically once a week) satellite measurements of ocean currents to estimate drift patterns of people at sea. Recently developed ocean forecast models will potentially help ....Assessing Oceanic and Tidal Forecast Data For Search and Rescue Purposes. Locating people lost and adrift at sea requires costly resources (aircraft, ships and rescuers) and accurate planning. Rescuers also require estimates of where currents will take them. Australian marine Search and Rescue (SAR) planning uses infrequent (typically once a week) satellite measurements of ocean currents to estimate drift patterns of people at sea. Recently developed ocean forecast models will potentially help forecast currents between the satellite observations, but are unproven for SAR use at this time and do not include tidal influences. This research project will develop measures of reliability and accuracy of using Ocean Forecasts that include tide forecasts for improving SAR planning outcomes in Australian waters.Read moreRead less
A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. T ....A hybrid multi-agent technique for shop floor control. The new knowledge and techniques, as a result of this research project, will have direct relevance to many Australian industries. In particular, they provide opportunities to improve Australia's competitiveness through innovations for the manufacturing sector. The project will enable the development of the state-of-the-art simulation software readily accessible to a larger section of industry, including small to medium sized manufacturers. The use of meta-modelling will improve control of processes on the shop floor. Combining process meta-models with hybrid discrete event-based agent optimisation will result in increased shop floor efficiency, assisting Australian industry to be competitive in the world market.Read moreRead less
Implicit transmission of embodied culture. Is a culturally diverse, yet socially integrated community possible? In multicultural societies such as Australia, this is a pressing and significant question. To form and maintain a vibrant and prosperous community in the face of globalization, it is essential to understand the fundamental processes by which cultures are formed and transformed in everyday social activities. This project examines one such process, implicit cultural transmission, propose ....Implicit transmission of embodied culture. Is a culturally diverse, yet socially integrated community possible? In multicultural societies such as Australia, this is a pressing and significant question. To form and maintain a vibrant and prosperous community in the face of globalization, it is essential to understand the fundamental processes by which cultures are formed and transformed in everyday social activities. This project examines one such process, implicit cultural transmission, proposed to function in the nonconscious transmission of cultural information. Understanding the dynamics of this subtle, yet pervasive, mode of cultural influence is central to a full appreciation of how one's own culture and those of others' integrate and flourish.Read moreRead less
Modelling Virtual Transport Channel for Future Multimedia Heterogeneous Networks. Recent advances in network bandwidth and processing power have led to the emergence of real time multimedia streaming applications and it is expected that such applications will become an even more dominant source of traffic in future computer networks. Quality of service studies for real-time applications in high-speed networks, point to the importance of the transport layer functionality in admission control, mon ....Modelling Virtual Transport Channel for Future Multimedia Heterogeneous Networks. Recent advances in network bandwidth and processing power have led to the emergence of real time multimedia streaming applications and it is expected that such applications will become an even more dominant source of traffic in future computer networks. Quality of service studies for real-time applications in high-speed networks, point to the importance of the transport layer functionality in admission control, monitoring end-to-end delays, and network bandwidth adaptability. The project will study, design, develop and analyse a comprehensive model for the virtual transport layer to satisfy the necessary quality of service requirements for the next generation of multimedia-based applications.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",