Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented i ....Aggregating Generalised Stochastic Petri Nets for improved Performance Analysis. Australia's economy is very dependent on the operation of complex man-made systems. Important examples are telecommunication networks and services (e.g. the Internet), manufacturing plants, organisational processes, military logistics and transport systems (e.g. air traffic control). The performance of these systems is critical to their success. Thus being able to predict performance before systems are implemented is very important in their design. This project will develop leading-edge performance analysis techniques and tools for an important class of practical systems. There is potential to commercialise the resulting tools and methodology and to transfer the expertise to industry.Read moreRead less
Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude an ....Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
The fundamental equations for inversion of operator pencils. This project seeks to deepen understanding of how complex systems may be significantly changed by incremental changes to ambient conditions. Mathematical models of complex systems (climate change processes, optimal driving strategies, efficient distribution policies, effective search routines) often depend on key parameters. If small perturbations to the parameters cause large changes to the solution, then the perturbations are said to ....The fundamental equations for inversion of operator pencils. This project seeks to deepen understanding of how complex systems may be significantly changed by incremental changes to ambient conditions. Mathematical models of complex systems (climate change processes, optimal driving strategies, efficient distribution policies, effective search routines) often depend on key parameters. If small perturbations to the parameters cause large changes to the solution, then the perturbations are said to be singular. This project aims to reveal the underlying mathematical structures and develop new computational algorithms to analyse a general class of perturbed systems both locally near an isolated singularity and globally. It plans to use these algorithms to solve systems of equations, calculate generalised inverse operators, examine perturbed Markov processes, and estimate exit times from meta-stable states in stochastic population dynamics.Read moreRead less
New perspectives on computing methods for mathematical signal processing. This project determines how best to design computing methods for challenging demands in signal processing. The expected conceptual & algorithmic advances will have significant repercussions in a number of fields including optimal filtering theory and will contribute to applications ranging from bio-informatics to electrical engineering. The new techniques will allow development of software that will benefit Australian in ....New perspectives on computing methods for mathematical signal processing. This project determines how best to design computing methods for challenging demands in signal processing. The expected conceptual & algorithmic advances will have significant repercussions in a number of fields including optimal filtering theory and will contribute to applications ranging from bio-informatics to electrical engineering. The new techniques will allow development of software that will benefit Australian industries and technologies. The formation of a strong research team across four universities in Australia, USA and Japan will enhance our scientific standing in the international community and will place Australian researchers at the forefront of world-class research methods. Read moreRead less
Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
Numerical Modelling of Injection Moulding for Viscoplastic Fluids. The project aims to modify and extend the numerical software developed by the world renowned Moldflow Pty Ltd, Melbourne, for the simulation of injection moulding in the plastics industry. The significance of the project lies in the application of the relatively new mathematical tool, called the variational inequality approach, to the problem of solidification of the molten plastic in a mould. The expected outcomes lie in the dev ....Numerical Modelling of Injection Moulding for Viscoplastic Fluids. The project aims to modify and extend the numerical software developed by the world renowned Moldflow Pty Ltd, Melbourne, for the simulation of injection moulding in the plastics industry. The significance of the project lies in the application of the relatively new mathematical tool, called the variational inequality approach, to the problem of solidification of the molten plastic in a mould. The expected outcomes lie in the development of new software for use in the plastics industry, which will improve the production of fibre reinforced thermoplastics throughout the world.Read moreRead less
Viscoplasticity, Solidification and Non-Isotropic Heat Transfer in Injection Moulding. The development of new software for use by the plastics industry will maintain Australia's position at the forefront of research contributing to improved production in this extremely important manufacturing sector. The application of this research by Melbourne's Moldflow, already the world's leading supplier of injection moulding software, will consolidate its position and enable it to increase further its mar ....Viscoplasticity, Solidification and Non-Isotropic Heat Transfer in Injection Moulding. The development of new software for use by the plastics industry will maintain Australia's position at the forefront of research contributing to improved production in this extremely important manufacturing sector. The application of this research by Melbourne's Moldflow, already the world's leading supplier of injection moulding software, will consolidate its position and enable it to increase further its market share, with consequential employment and other economic flow-on benefits to Australia. This project also increases the quantum of industry relevant scientific research, contributing to the enhancement of the national profile in exporting Australian products to world markets. Read moreRead less
Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilit ....Building Australia's next-generation ocean-sea ice model. Ocean and sea ice models are used for predicting future ocean and climate states, and for climate process research. This project aims to bring the next generation of ocean-sea ice models to Australia and configure the models for our local priorities. The ultimate goal is to create a new coupled ocean-sea ice model for Australia that includes surface waves and biogeochemistry. The model will be optimised and evaluated on Australian facilities, and released for community use. These developments underpin future ocean state forecasts, sea ice forecasts, wave forecasts, decadal climate prediction and climate process studies. The project will benefit search and rescue, Defence and shipping operations, and will enhance future climate projections.Read moreRead less