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
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
Understanding how the brain uses sensory information to guide reaching and grasping movements. Reaching, grasping and manipulating objects are crucial aspects of our daily lives, which are performed so effortlessly that they tend to be taken for granted. We know however that these functions take a relatively long time to mature (think of a baby learning how to get an object), and that they can be impaired by brain lesions involving a region called the posterior parietal cortex. We also know that ....Understanding how the brain uses sensory information to guide reaching and grasping movements. Reaching, grasping and manipulating objects are crucial aspects of our daily lives, which are performed so effortlessly that they tend to be taken for granted. We know however that these functions take a relatively long time to mature (think of a baby learning how to get an object), and that they can be impaired by brain lesions involving a region called the posterior parietal cortex. We also know that this region has multiple subdivisions, but how exactly these interact in allowing the sensory information to guide arm and hand muscles is unknown. Discovering how this happens in terms of cellular interaction can have profound implications for the creation of new technologies such as artificial limbs and autonomous robots, and result in health benefits.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
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
Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'hars ....Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'harsher' environments. The outcomes will expand the uses of GPS and facilitate growth across many Australian industries. 4. It will enhance the expertise and international profile of Australian researchers by offering an innovative solution to an internationally significant problem.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
Development of Knowledge Discovery for High Dimensional Biomedical Data. The recent progress in experimental techniques of molecular genetics has made available a wealth of genome data and raised the interest for analysis of DNA sequences. As the human and mouse genome projects are in a phase of systematic sequencing, computational tools based on concepts used in science fields have recently played a prominent role. Significant contributions to this project will increasingly depend upon original ....Development of Knowledge Discovery for High Dimensional Biomedical Data. The recent progress in experimental techniques of molecular genetics has made available a wealth of genome data and raised the interest for analysis of DNA sequences. As the human and mouse genome projects are in a phase of systematic sequencing, computational tools based on concepts used in science fields have recently played a prominent role. Significant contributions to this project will increasingly depend upon original application and development of algorithms for the analysis of genomic data, and of the computational systems that support them. These challenges have fostered major progress in computer science, leading to collaborative research of global significance.Read moreRead less
Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for autom ....Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for automated, image-based object reconstruction to support the generation of metrically accurate 3D computer models of buildings and the built environment.Read moreRead less