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
Functional pathways in primate retina. When light enters the eye, specialised nerve cells called photoreceptors transform the light signal into nerve signals. These signals are processed in the retina by two groups of neurones, bipolar and ganglion cells before being sent to higher brain centres. Bipolar and ganglion cells can be subdivided into several types. We will measure which types communicate with each other and which proteins (neurotransmitter receptors) are involved at the site of commu ....Functional pathways in primate retina. When light enters the eye, specialised nerve cells called photoreceptors transform the light signal into nerve signals. These signals are processed in the retina by two groups of neurones, bipolar and ganglion cells before being sent to higher brain centres. Bipolar and ganglion cells can be subdivided into several types. We will measure which types communicate with each other and which proteins (neurotransmitter receptors) are involved at the site of communication between these nerve cells. This study will improve our knowledge of the basis of functional subspecialisation at the earliest stages of the visual process.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
Interactive video on-demand for e-learning. Life long learning has become an integral part of many people's career development. Interactive video on-demand (VoD) can be used to deliver video learning materials to students when they choose to study. The aim of this project is to investigate the research issues on designing scalable interactive VoD for e-learning. Comparing with previous work in the area, this project takes a holistic approach, which includes multicast, distributed smart caches an ....Interactive video on-demand for e-learning. Life long learning has become an integral part of many people's career development. Interactive video on-demand (VoD) can be used to deliver video learning materials to students when they choose to study. The aim of this project is to investigate the research issues on designing scalable interactive VoD for e-learning. Comparing with previous work in the area, this project takes a holistic approach, which includes multicast, distributed smart caches and video coding as its building blocks. Huazhong University, who is active in e-learning research, provides an ideal location to trial interactive VoD techniques, due to their large student population. Read moreRead less
Relationship of the functional architecture of the mammalian brain to its microcircuitry. The project seeks to understand a very fundamental issue in neuroscience: how the connectivity and architecture of the cortex are related to the functions of neurones in that area? This will be investigated by imaging the surface of the visual cortex of anaesthetised cats and monkeys as special visual patterns are shown to the eye/s. The overall picture gained of the active and inactive cortical areas will ....Relationship of the functional architecture of the mammalian brain to its microcircuitry. The project seeks to understand a very fundamental issue in neuroscience: how the connectivity and architecture of the cortex are related to the functions of neurones in that area? This will be investigated by imaging the surface of the visual cortex of anaesthetised cats and monkeys as special visual patterns are shown to the eye/s. The overall picture gained of the active and inactive cortical areas will be related to the properties of neurones in those areas and to those of individual input and output fibres. An optical imaging equipment will be acquired in 2004 using a recently awarded LIEF grant to the CI.Read moreRead less
Complex Motion Processing in Primate Visual Cortex. As we move through the world, a dynamic visual image is projected onto our retinas. The pattern of movement in the retinal image contains information about three-dimensional structure in the environment and the time of impending collisions. Our visual systems are expert at exploiting this information, enabling us to navigate through complex visual environments at a level far beyond the most sophisticated artificial systems. We plan to investiga ....Complex Motion Processing in Primate Visual Cortex. As we move through the world, a dynamic visual image is projected onto our retinas. The pattern of movement in the retinal image contains information about three-dimensional structure in the environment and the time of impending collisions. Our visual systems are expert at exploiting this information, enabling us to navigate through complex visual environments at a level far beyond the most sophisticated artificial systems. We plan to investigate complex motion processing in the primate brain by recording the responses of neurons in identified regions of the visual cortex of macaque monkeys to a range of behaviourally relevant motion stimuli.Read moreRead less
Noise control in aircraft and motor vehicles. The principal aim of this collaborative program between Australian and Japanese research teams is to tackle the complex issue of using active noise control systems focussing "zones of quiet" at passengers in aircraft and motor vehicles. The work has important implications for increased comfort of air travel and a safer environment for drivers of heavy vehicles. The outcomes will be the development of "smart skins" for application to aircraft and veh ....Noise control in aircraft and motor vehicles. The principal aim of this collaborative program between Australian and Japanese research teams is to tackle the complex issue of using active noise control systems focussing "zones of quiet" at passengers in aircraft and motor vehicles. The work has important implications for increased comfort of air travel and a safer environment for drivers of heavy vehicles. The outcomes will be the development of "smart skins" for application to aircraft and vehicle cabin interiors to actively control of interior noise. This will be achieved by combining the Japanese team's "structural wavenumber sensors" and the Adelaide team's "virtual microphones".Read moreRead less