Operator Decision Modelling in Autonomous Systems. The incorporation of humans as decision-makers into a complex system comprising of many autonomous agents is becoming increasingly important in areas such as defence, search-and-rescue, special emergency services, bush-fire and ecology management. This project will address how human decisions are made in such systems through the formulation and demonstration of innovative algorithms which model the operator decision making process. Generating so ....Operator Decision Modelling in Autonomous Systems. The incorporation of humans as decision-makers into a complex system comprising of many autonomous agents is becoming increasingly important in areas such as defence, search-and-rescue, special emergency services, bush-fire and ecology management. This project will address how human decisions are made in such systems through the formulation and demonstration of innovative algorithms which model the operator decision making process. Generating solutions to this increasingly important area will provide Australia's industry and community services the necessary knowledge for deploying such systems and thus improving service effectiveness, as well as the implementation of autonomous systems into new areas and thus increasing economic growth.Read moreRead less
How, What and Who in Human Communication: Movement of Face and Voice. The aim of this project is to identify the essential characteristics of tone, affect, and identity from face and voice using a combination of signal processing, biological, and behavioural techniques in order to develop a comprehensive model of auditory-visual speech processing and communication. This research will significantly improve understanding of the basis of auditory-visual perception and production in tonal languages ....How, What and Who in Human Communication: Movement of Face and Voice. The aim of this project is to identify the essential characteristics of tone, affect, and identity from face and voice using a combination of signal processing, biological, and behavioural techniques in order to develop a comprehensive model of auditory-visual speech processing and communication. This research will significantly improve understanding of the basis of auditory-visual perception and production in tonal languages and in affective communication, facilitate links between neurophysiological processes and auditory-visual speech processing; and contribute to applications in automatic person recognition, automatic speech recognition, text-to-speech systems, and talking head aids for the hearing impaired.Read moreRead less
Automated Interaction Technologies for Mobile Hand-held Devices. This project is concerned with developing intelligent technologies that support human interaction through handheld devices, connected to wireless digital networks. Intelligent software assistants running on these devices will interact with one another in order to coordinate the activities of multiple users. Such automated coordination may facilitate scheduling of meetings, collaboration among different members of a team, and negoti ....Automated Interaction Technologies for Mobile Hand-held Devices. This project is concerned with developing intelligent technologies that support human interaction through handheld devices, connected to wireless digital networks. Intelligent software assistants running on these devices will interact with one another in order to coordinate the activities of multiple users. Such automated coordination may facilitate scheduling of meetings, collaboration among different members of a team, and negotiating conflicts that may arise between the activities of different connected users. This will enable context-dependent task support and coordination of workers involved in industrial applications involving mobility and dynamism.Read moreRead less
An interactive drama engine in virtual reality. In computer games, the narrative is generally limited to a graph of possibilities predetermined by an author. In this project, our aim is to go beyond predetermined graphs and build an Interactive Drama Engine to provide the users of the system a fully immersive interactive dramatic experience in a virtual world. Integration of interactive narrative and virtual reality hardware and software is a novel approach to the current problems in digital med ....An interactive drama engine in virtual reality. In computer games, the narrative is generally limited to a graph of possibilities predetermined by an author. In this project, our aim is to go beyond predetermined graphs and build an Interactive Drama Engine to provide the users of the system a fully immersive interactive dramatic experience in a virtual world. Integration of interactive narrative and virtual reality hardware and software is a novel approach to the current problems in digital media. It is expected to lead to the development of new generation interactive films and computer games that benefit from the Interactive Drama engine in the context of narrative.Read moreRead less
Acoustic Filter Functions from Morphological Measurements. This project works toward enabling the broadcast of high-fidelity 3D audio. By developing an efficient technique for deriving personalised acoustic filter functions based on image data of the listener's head and ears, we hope to enable high-fidelity 3D audio decoding and rendering. Morphological parameterisation techniques and databases recently developed at the University of York will be combined with the statistical synthesis technique ....Acoustic Filter Functions from Morphological Measurements. This project works toward enabling the broadcast of high-fidelity 3D audio. By developing an efficient technique for deriving personalised acoustic filter functions based on image data of the listener's head and ears, we hope to enable high-fidelity 3D audio decoding and rendering. Morphological parameterisation techniques and databases recently developed at the University of York will be combined with the statistical synthesis techniques and databases developed at the University of Sydney to substantially reduce the development time required for either group alone. Psychoacoustic experiments carried out at the University of Sydney will demonstrate the fidelity of the delivered 3D audio.Read moreRead less
Diagnosis of Reference Flow Control Alerts for the Identification of Malicious Event Sequences (DiagRF). There are a reported two billion computer attacks worldwide per year. Many of these attacks require a skilled human to decipher them and to develop the "signatures" by which they can be detected. The main outcome of this project will be fundamental knowledge regarding how information flows can be tracked and then forensically analysed in a distributed computer system or network in order to ....Diagnosis of Reference Flow Control Alerts for the Identification of Malicious Event Sequences (DiagRF). There are a reported two billion computer attacks worldwide per year. Many of these attacks require a skilled human to decipher them and to develop the "signatures" by which they can be detected. The main outcome of this project will be fundamental knowledge regarding how information flows can be tracked and then forensically analysed in a distributed computer system or network in order to enable the automatic characterization of certain classes of attacks. This new approach will enable the automatic development of attack signatures and thus the detection of such attacks. The project will lead to the development of a prototype which implements the automatic analysis and characterization of such attacks to provide proof of concept.Read moreRead less
Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in ra ....Integration of Metamorphic Testing and Model Checking. This project proposes an innovative approach of integrating metamorphic testing and model checking. Its main outcome will be to deliver a comprehensive testing method that will help to reduce errors and costs in software development and consequently to improve the quality of software systems. Since software is pervasive and ubiquitous, our results will improve the nation's software productivity and quality. Thus, our results will help in raising our nation's competitive advantage towards the goal of becoming a leading nation in the software industry among Asia-Pacific countries. Furthermore, this collaboration will help young Australian researchers to link to the Chinese Academy of Sciences, a leading-edge international research institute.Read moreRead less
Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, 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 ....Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, 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 - especially reduced times and costs in their design and production.Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Analysis and design of control systems with saturation and time-delay. Control engineering is an enabling technology without which most modern engineering systems, such as aircrafts or Internet, can not operate properly. Actuator saturation and time-delays are undesirable phenomena that often arise in control systems leading to poor performance and sometimes instability. For example, both of these phenomena arise in control of modern telecommunication systems, such as Active Queue Management in ....Analysis and design of control systems with saturation and time-delay. Control engineering is an enabling technology without which most modern engineering systems, such as aircrafts or Internet, can not operate properly. Actuator saturation and time-delays are undesirable phenomena that often arise in control systems leading to poor performance and sometimes instability. For example, both of these phenomena arise in control of modern telecommunication systems, such as Active Queue Management in TCP networks. The project aims at tackling these phenomena by using recently developed techniques in antiwindup for saturating actuators and by revisiting some classical methods for Smith predictor design for time-delayed systems.Read moreRead less