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
Active and Passive Techniques of Shock Wave/Boundary Layer Interaction Control. The shock wave/ boundary layer interaction (SBLI) is a formidable problem in high-speed aerodynamics. We investigate a novel method, using piezoelectric flap actuators to control the interaction. The aim is to participate in an experimental programme on SBLI control using longitudinal slots at The University of Cambridge's Engineering Department, a leading international institution for SBLI control. Their longitudina ....Active and Passive Techniques of Shock Wave/Boundary Layer Interaction Control. The shock wave/ boundary layer interaction (SBLI) is a formidable problem in high-speed aerodynamics. We investigate a novel method, using piezoelectric flap actuators to control the interaction. The aim is to participate in an experimental programme on SBLI control using longitudinal slots at The University of Cambridge's Engineering Department, a leading international institution for SBLI control. Their longitudinal slot control is very similar to unimorph control so that this research can be used to improve the understanding of unimorph control. Furthermore, their CFD program can validate our past work and allow theoretical optimisation to create a smart flap system.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
A cross-linguistic investigation of lexical stress using corpus analyses, behavioural testing and computational modelling. Some languages exhibit variable patterns of emphasis or 'lexical stress' across words ('ZEbra' v 'girAFFE'). This research will provide a more precise understanding of the role of lexical stress in language processing. This will assist educators/clinicians working with normally developing children and those with developmental delays as well as educators/students in second-l ....A cross-linguistic investigation of lexical stress using corpus analyses, behavioural testing and computational modelling. Some languages exhibit variable patterns of emphasis or 'lexical stress' across words ('ZEbra' v 'girAFFE'). This research will provide a more precise understanding of the role of lexical stress in language processing. This will assist educators/clinicians working with normally developing children and those with developmental delays as well as educators/students in second-language learning. It will also lead to improved automatic speech recognition/synthesis - used in commercial applications such as phone banking, edutainment/epistemic computer games and communication devices (speech-to-text dictation systems for those with limited mobility and text-to-speech systems for those unable to speak). Undertaken in collaboration with a high-profile research lab in the UK this project will maintain Australia's competitive edge in cognitive science.Read moreRead less