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
Managing Knowledge in Web-Driven Organisational Evolution. Organisations are increasingly concerned with the effective utilisation of Web technologies, and especially the ways in which these technologies can be used to improve their business. Effective management of knowledge about the interplay between the organisation and technical drivers of this technology adoption will enable a much-enhanced process for leveraging emerging information and communication technologies. This project aims to li ....Managing Knowledge in Web-Driven Organisational Evolution. Organisations are increasingly concerned with the effective utilisation of Web technologies, and especially the ways in which these technologies can be used to improve their business. Effective management of knowledge about the interplay between the organisation and technical drivers of this technology adoption will enable a much-enhanced process for leveraging emerging information and communication technologies. This project aims to link related research at UTS and Southampton University to understand how tools might support this knowledge management. Outcomes will include the creation of specific tools (and techniques for using them) within the context of managing organisational uptake of new technologies.Read moreRead less
Modelling of Adsorption Dynamics in Microporous Adsorbents Using Fractional Order Diffusion Equations. This project investigates the use of fractional order diffusion equations in modelling adsorption dynamics in microporous carbons. The long tail behaviour of adsorption processes cannot be readily explained by the classical second order Fickian model, and makes adsorption a candidate for the use of fractional order diffusion equations that have the potential to model such features. In the pre ....Modelling of Adsorption Dynamics in Microporous Adsorbents Using Fractional Order Diffusion Equations. This project investigates the use of fractional order diffusion equations in modelling adsorption dynamics in microporous carbons. The long tail behaviour of adsorption processes cannot be readily explained by the classical second order Fickian model, and makes adsorption a candidate for the use of fractional order diffusion equations that have the potential to model such features. In the present project we shall develop suitable numerical techniques for solving the fractional order diffusion model, and apply these to the interpretation of experimental kinetic data. The outcome will be an improved model of adsorption dynamics considering the fractal nature of the solid.Read moreRead less
The First Objects in the Universe. We seek to unravel the mystery behind the emergence of the first objects in the Universe from what are romantically termed the "Dark Ages" - this brief (500 million year) phase marks the transition from a smooth to a clumpy Universe and is the target for billion-dollar technologies such as the Square Kilometer Array and the James Webb Space Telescope. We are establishing linkages between the groups responsible for the most powerful hydrodynamics codes applicab ....The First Objects in the Universe. We seek to unravel the mystery behind the emergence of the first objects in the Universe from what are romantically termed the "Dark Ages" - this brief (500 million year) phase marks the transition from a smooth to a clumpy Universe and is the target for billion-dollar technologies such as the Square Kilometer Array and the James Webb Space Telescope. We are establishing linkages between the groups responsible for the most powerful hydrodynamics codes applicable to simulating the dark ages, in order to implement a new paradigm for star formation and energy feedback which will aid in the interpretation of data from this next generation of major facilities.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
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
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
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
Cooperative Management of Virtual Teams and Enterprises. Thanks to the proliferation of the Internet and web technologies, it is now possible to exploit the power of these technologies to facilitate the cooperation of teams of workers across distances. Such virtual teams and virtual enterprises are expected to overcome many problems associated in the modern service industry spanning continents. Countries (such as Australia) that are located far from the main markets (e,g, Europe and North Americ ....Cooperative Management of Virtual Teams and Enterprises. Thanks to the proliferation of the Internet and web technologies, it is now possible to exploit the power of these technologies to facilitate the cooperation of teams of workers across distances. Such virtual teams and virtual enterprises are expected to overcome many problems associated in the modern service industry spanning continents. Countries (such as Australia) that are located far from the main markets (e,g, Europe and North America) stand to gain substantially from successful deployment of such virtual organisations. Researchers from UNSW and LORIA France have been working together on the development of cooperative management models for virtual enterprises. This application seeks funding for the travel of researchers across these countries to facilitate this research.Read moreRead less