Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication i ....Efficient Computational Methods for Constrained Path Problems. We consider a class of path design problems which arise when an object needs to traverse between two points through a specified region. The region may be a continuous space or the path may be restricted to the edges of a network. The path must optimise a prescribed criterion such
as risk, reliability or cost and satisfy a number of constraints.
Problems of this type readily arise in the defence, transport and
communication industries. In addition to efficient solution methods
for these problems the project will produce computational tools for
a wide range of related network routing problems.Read moreRead less
Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provi ....Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provide technology transfer to end-users to ensure community uptake. The project will benefit rural and regional communities by providing long-term solutions in the areas of water use and quality, pesticide pollution reduction, and improved environment and human health care.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE150101137
Funder
Australian Research Council
Funding Amount
$312,000.00
Summary
Two-scale numerical modelling of coupled transport in heterogeneous media. Groundwater constitutes a vital part of water resources in Australia, however, the quality of this water is susceptible to contamination. This project aims to develop an innovative two-scale mathematical model for contaminant transport that accounts for small-scale heterogeneities found in the unsaturated zone of an aquifer located between the ground surface and the underlying groundwater. The project aims to develop valu ....Two-scale numerical modelling of coupled transport in heterogeneous media. Groundwater constitutes a vital part of water resources in Australia, however, the quality of this water is susceptible to contamination. This project aims to develop an innovative two-scale mathematical model for contaminant transport that accounts for small-scale heterogeneities found in the unsaturated zone of an aquifer located between the ground surface and the underlying groundwater. The project aims to develop valuable environmental insights, a simulation tool that will help in making decisions regarding the future management of Australian groundwater resources, and a general two-scale modelling and simulation framework for other important environmental and industrial problems involving coupled transport in heterogeneous media.Read moreRead less
Practical and theoretical aspects of structure enumeration. Many areas of study involve processing of large numbers of
objects in some class. These are countless examples in
chemistry, physics, mathematics, and other disciplines.
Structure Enumeration is the study of methods for efficient
generation and analysis of such objects. The project will
involve exploitation and extension of recent advances, many
due to the CI, which have added orders of magnitude to what
was possible only a few ....Practical and theoretical aspects of structure enumeration. Many areas of study involve processing of large numbers of
objects in some class. These are countless examples in
chemistry, physics, mathematics, and other disciplines.
Structure Enumeration is the study of methods for efficient
generation and analysis of such objects. The project will
involve exploitation and extension of recent advances, many
due to the CI, which have added orders of magnitude to what
was possible only a few years ago. The outcome will be a
combination of theoretical results and practical achievements,
whose usefulness will be demonstrated with some serious
applications in physics and mathematics.
Read moreRead less
Structure enumeration, applications and analysis. Structure enumeration and analysis is at the heart of finite mathematics and its many fields of application in diverse scientific disciplines. Australia has a substantial status in this field both in mathematics and physics. This project will enhance that status and develop greater ties with the centres of structure research in other parts of the world.
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
Generic complexity in computational topology: breaking through the bottlenecks. The project will focus on key computational problems in three-dimensional topology, with the aims of illuminating the theoretical limitations of such problems, developing new computational tools for solving them, and applying these tools to a variety of applications. The project will generate theoretical research, practical software, and rich experimental data.
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
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.
Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs ....Beyond Planarity: Algorithms for Visualisation of Sparse Non-Planar Graphs. This project aims to develop new efficient algorithms to enable analysts to visually understand complex data and detect anomalies or patterns. It aims to develop visualisation algorithms for sparse non-planar graphs arising from real-world networks. Specifically, the project plans to investigate structural properties of sparse non-planar topological graphs such as k-planar graphs, k-skew graphs, and k-quasi-planar graphs, and design efficient testing algorithms, embedding algorithms, and drawing algorithms. These algorithms will be evaluated with real-world social networks and biological networks. New insights into the mathematical interplay between combinatorial and geometric structures would provide a theoretical foundation for a new generation of complex network visualisation methods with potential applications in social networks, systems biology, health informatics, finance and security.Read moreRead less