Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0561219
Funder
Australian Research Council
Funding Amount
$1,362,295.00
Summary
Western Australian Supercomputer Program (WASP). The simulation and understanding of real biological and physical systems, at the level enabling significant and usable insights, requires teraflop+ computing. The rate-determining step in the next generation of analysis and modelling calculations requires access to massively parallel supercomputers. In Western Australia, there are a number of critical and unique projects that are totally dependant on such facilities. The Western Australian Supe ....Western Australian Supercomputer Program (WASP). The simulation and understanding of real biological and physical systems, at the level enabling significant and usable insights, requires teraflop+ computing. The rate-determining step in the next generation of analysis and modelling calculations requires access to massively parallel supercomputers. In Western Australia, there are a number of critical and unique projects that are totally dependant on such facilities. The Western Australian Supercomputer Program (WASP) will provide a quantum advance to computationally-intensive scientific research, as well as to world-class visualisation and data-management resources for academic and business communities, both nationally and internationally.Read moreRead less
A Virtual Electromagnetic Compatibility (EMC) Lab Based on Advanced Computer Modeling and Simulation Techniques. The proposed project will provide a framework of electromagnetic compatibility computer modelling technologies for an electromagnetic compatibility/electromagnetic interference problem-solving environment. It will result in theoretical and practical contributions to the field of electromagnetic compatibility/electromagnetic interference and computational electromagnetics. The project ....A Virtual Electromagnetic Compatibility (EMC) Lab Based on Advanced Computer Modeling and Simulation Techniques. The proposed project will provide a framework of electromagnetic compatibility computer modelling technologies for an electromagnetic compatibility/electromagnetic interference problem-solving environment. It will result in theoretical and practical contributions to the field of electromagnetic compatibility/electromagnetic interference and computational electromagnetics. The project will provide an innovative technology to industry and societies with following major benefits: a) increased productivity and minimized the product risk with low failure rate, b) quicker project management cycles through such cost-effective electromagnetic compatibility computer modelling and simulation techniques based virtual Electromagnetic Compatibility Lab. and c) improved electromagnetic compatibility/electromagnetic interference problem solving environment and techniques for scientific research and commercial applications.Read moreRead less
Algorithms for geometric Turán-type problems and network visualization. Recent technological advances have large data sets, in a data deluge. Some of the most critical data sets are networks; examples abound in Systems Biology, Social Network Analysis, and Software Engineering. This project aims for algorithms to construct readable pictures of these networks, and thus make the data easier for humans to understand.
Scalable Visual Analytics for Uncertain Dynamic Networks. Technological advances have provided a data deluge over the past few years, and have led to many large uncertain and dynamic network models. This includes terrorist networks, marketing networks, facebook networks, various biological networks, and software engineering structures. Human understanding of such networks is difficult. This project aims to provide new methods for visual analysis of large uncertain dynamic networks such as these. ....Scalable Visual Analytics for Uncertain Dynamic Networks. Technological advances have provided a data deluge over the past few years, and have led to many large uncertain and dynamic network models. This includes terrorist networks, marketing networks, facebook networks, various biological networks, and software engineering structures. Human understanding of such networks is difficult. This project aims to provide new methods for visual analysis of large uncertain dynamic networks such as these. The algorithms developed in the project will help security analysts to monitor illegal behaviour such as money laundering and terrorist activities, help biologists understand key biological systems, and help engineers to understand large software systems.Read moreRead less
Mechanised foundations of proof calculi. Commercial program verification tools based upon special-purpose logic-based proof calculi can now guarantee that large programs are free of specific bugs. But who verifies the proof-calculi? Our research will lead to tools to automatically verify proof-calculi and will eventually help to avoid costly post-construction debugging.
Evidence-based frameworks for security protocol verification. Security protocols are an essential part of secure communication networks. This project aims to develop verification techniques for security protocols that produce independently verifiable formal certificates of correctness. The project's outcome will contribute to the certification processes for secure network systems at the highest level of assurance.
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
Visual interaction methods for clustered graphs. This project aims to improve human understanding of huge network data sets, such as those arising in social networks, biological networks, and very large software structures. The project will enable analysts to explore and interact with such data sets, leading to better understanding.
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence appl ....Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.Read moreRead less