Investigations into machine learning applications in link analysis. Link analysis is an emerging tool for the detection of patterns in structured data. The detection of pattern in such data can lead to the detection of fraud occurrence, security breaches in computer systems, and patterns of social interactions with a community. It is also popularly applied to applications such as Web search engine designs and marketing analysis. This project aims to advance the area of link analysis by allowing ....Investigations into machine learning applications in link analysis. Link analysis is an emerging tool for the detection of patterns in structured data. The detection of pattern in such data can lead to the detection of fraud occurrence, security breaches in computer systems, and patterns of social interactions with a community. It is also popularly applied to applications such as Web search engine designs and marketing analysis. This project aims to advance the area of link analysis by allowing the incorporation of contextual information which accounts for relationships among actors properly. Advances in link detection will allow improvements in security and Web services on which a wide field of national bodies rely. This project can help to place Australia at the forefront of this research area.Read moreRead less
Structural and multidisciplinary optimization. Structural and multidisciplinary design optimization is an important subject in aeronautical, aerospace, automobile, offshore platforms and many other structures. This project aims to address design optimization of coupled structures, with a focus on electro-mechanical coupled structures. It is expected to coordinate an integrated effort to develop efficient and effective algorithms for optimum design of electro-mechanical coupled structures.
Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace de ....Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace determination to characterise their computational efficiency, accuracy and effectiveness in various data scenarios. The analysis will lead to improved designs for eigenvalue/eigenspace algorithms, as well as design tools to engineer algorithms to specific situations.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
Development of the applications of signal processing to mechanical problems and machine diagnostics. It is intended to extend research collaboration in the following areas of interest to both UTC and UNSW:
(1) Dynamics of gears for diagnostics and noise control
(2) Application of blind source separation techniques to mechanical problems
(3) Application of cyclostationary signal analysis techniques to machine diagnostics
(4) Determination of structural dynamic properties from response measure ....Development of the applications of signal processing to mechanical problems and machine diagnostics. It is intended to extend research collaboration in the following areas of interest to both UTC and UNSW:
(1) Dynamics of gears for diagnostics and noise control
(2) Application of blind source separation techniques to mechanical problems
(3) Application of cyclostationary signal analysis techniques to machine diagnostics
(4) Determination of structural dynamic properties from response measurements
(5) Diagnostics of diesel engines and other reciprocating machines.
This project will result in the publication of joint papers in each of these topics, and give material to form the basis of an application for at least one FAIR project in the area of gear noise control and diagnostics.Read moreRead less
Sequence Data Analysis. Sequence data analysis is about extracting information included in sequences of data in which the order of sequence matters. The project aims to work with two well known research groups in Germany with complimentary expertise to support two applications in this area: analysis of biological sequence data and detection and classification of sequence images, both with a very high significance to research and industry. It is planned to investigate on the diversity and the com ....Sequence Data Analysis. Sequence data analysis is about extracting information included in sequences of data in which the order of sequence matters. The project aims to work with two well known research groups in Germany with complimentary expertise to support two applications in this area: analysis of biological sequence data and detection and classification of sequence images, both with a very high significance to research and industry. It is planned to investigate on the diversity and the commonality in both applications leading to better and faster algorithms and their hardware implementations. It is expected to train high quality postgraduates and postdoctoral fellows at Melbourne and the host institutions.Read moreRead less
A new erasure resilient technique for encoding internet packets. Efficient internet communication tolerates losing some packets sent across the web by sending a bit more information than is required. Any holes in the transmission can be repaired using the redundant data. We propose a new transmission protocol that is much simpler to encode and repairs broken messages faster. This new approach, based on sending data plus summed versions of itself, has generic applicability across all packet switc ....A new erasure resilient technique for encoding internet packets. Efficient internet communication tolerates losing some packets sent across the web by sending a bit more information than is required. Any holes in the transmission can be repaired using the redundant data. We propose a new transmission protocol that is much simpler to encode and repairs broken messages faster. This new approach, based on sending data plus summed versions of itself, has generic applicability across all packet switched information networks.Read moreRead less
Investigating the effectiveness of audio-graphic conferencing in real time on language acquisition at a distance. This project brings together recognised international experts in computer-mediated communication (CMC) and second language acquisition (SLA) in a large-scale investigation of the use of synchronous, internet-based conferencing using voice, text and image applications (audio-graphics) in second language acquisition. Distance learners at the British Open University and at Monash Unive ....Investigating the effectiveness of audio-graphic conferencing in real time on language acquisition at a distance. This project brings together recognised international experts in computer-mediated communication (CMC) and second language acquisition (SLA) in a large-scale investigation of the use of synchronous, internet-based conferencing using voice, text and image applications (audio-graphics) in second language acquisition. Distance learners at the British Open University and at Monash University will take part in a time-series analysis in which they are systematically involved in either traditional distance learning (text, audio, video, face-to-face) or internet-mediated audio-graphic conferencing in real time. Variables under investigation will be proficiency and language learning strategies.Read moreRead less
Design of Secure Electronic Voting Systems. It is inevitable that electronic voting will eventually replace current paper based voting schemes. The main outcome of the research will be the fundamental knowledge required to develop secure electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated ....Design of Secure Electronic Voting Systems. It is inevitable that electronic voting will eventually replace current paper based voting schemes. The main outcome of the research will be the fundamental knowledge required to develop secure electronic voting schemes. The security aspects of the design will be thoroughly analysed to ensure that the integrity of the ballot is maintained without compromising user privacy. The practical aspects of implementing such a system will also be investigated and a prototype implementation provided. The project will combine the expertise in electronic voting schemes at QUT with that of Dr Lee.Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less