Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Industrial Transformation Research Hubs - Grant ID: IH230100013
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Research Hub for Future Digital Manufacturing. This Hub aims to grow and accelerate Australian digital manufacturing (DM) transformation by devising novel DM technology and commercialisation/adoption pathways. The Hub expects to transform industry by developing novel AI and IoT-powered DM technology that provides for dramatic improvement in manufacturing productivity, resilience and competitiveness. Expected outcomes include novel DM technology for digitally representing, predicting, and imp ....ARC Research Hub for Future Digital Manufacturing. This Hub aims to grow and accelerate Australian digital manufacturing (DM) transformation by devising novel DM technology and commercialisation/adoption pathways. The Hub expects to transform industry by developing novel AI and IoT-powered DM technology that provides for dramatic improvement in manufacturing productivity, resilience and competitiveness. Expected outcomes include novel DM technology for digitally representing, predicting, and improving production and its outcomes via an open platform that supports reusing industry co-created DM solutions. Through supporting advanced manufacturing priorities and Industry 4.0, the Hub should provide significant benefits by increasing Australian manufacturing productivity and resilience by 30%.Read moreRead less
Examining multi-level Information Technology (IT) project alignment in government services: the case of contracted employment services. Improved Information Technology (IT) alignment is essential for the delivery of government services within a complex public-private, inter-organisational environment. This project will investigate the extent to which well-aligned IT support systems contribute positively to the efficient and effective delivery of contracted employment services.
Computational modelling of nanofluids for industrial applications. The use of nanoparticles in heat transfer fluids, then known as nanofluids, increases their specific heat and thermal conductivity. Recent experimental works highlight that anomalous transport phenomena are evident in nanofluids that cannot be adequately described by classical conservation laws. We will extend these conservation laws to incorporate fractional operators to capture the fluid memory effects and the impact of particl ....Computational modelling of nanofluids for industrial applications. The use of nanoparticles in heat transfer fluids, then known as nanofluids, increases their specific heat and thermal conductivity. Recent experimental works highlight that anomalous transport phenomena are evident in nanofluids that cannot be adequately described by classical conservation laws. We will extend these conservation laws to incorporate fractional operators to capture the fluid memory effects and the impact of particle clustering. Computational modelling and experimental investigations will be undertaken to identify the heat transfer mechanisms of various nanofluids. The outcomes of the work will increase knowledge on nanofluids and offer a significant opportunity to improve the efficiency of many thermal engineering systems.Read moreRead less
The recirculation of myeloid dendritic cells. This project aims to understand dendritic cell recirculation. It will use virological tools to track dendritic cell migration, and identify key decision points. Expected outcomes include enhanced capacity in basic research and greater interdisciplinary collaboration between virology and immunology research groups. Significant benefits will include a new understanding of how G protein coupled receptor signalling and other tissue cues guide dendritic c ....The recirculation of myeloid dendritic cells. This project aims to understand dendritic cell recirculation. It will use virological tools to track dendritic cell migration, and identify key decision points. Expected outcomes include enhanced capacity in basic research and greater interdisciplinary collaboration between virology and immunology research groups. Significant benefits will include a new understanding of how G protein coupled receptor signalling and other tissue cues guide dendritic cell recirculation, and what consequences the recirculation has for immune cell function. This understanding will significantly advance our basic understanding of the immune system.Read moreRead less
Stability Analysis of Power System with Massive Power Electronic Devices. The decarbonization of Australia's power systems is to integrate massive renewable energy sources which are interfaced with many power electronic devices (PEDs). The fast and complex dynamics of PEDs have significantly changed the nature of the power system, which limits the applicability of existing tools and methods to assess its stability. The goal of this project is to gain a comprehensive insight into the stability of ....Stability Analysis of Power System with Massive Power Electronic Devices. The decarbonization of Australia's power systems is to integrate massive renewable energy sources which are interfaced with many power electronic devices (PEDs). The fast and complex dynamics of PEDs have significantly changed the nature of the power system, which limits the applicability of existing tools and methods to assess its stability. The goal of this project is to gain a comprehensive insight into the stability of a futuristic power system with high penetration of PEDs. The intended outcomes will be a model and data jointly driven methodology for high-efficient and real-time stability assessment. The methodology developed in this project will support Australia's transition to a stable, secure, and low-carbon power grid.Read moreRead less
Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resou ....Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resource management for distributed VPPs. The anticipated benefits from this institutional level collaborations are that VPPs help in enhancing national power grid operations during normal and disruptive conditions when more renewables are connected and also secure benefits of consumers, prosumers, and grid operators.Read moreRead less
Exemplary early childhood educators at work: A multi-level investigation. Exemplary early childhood educators at work: A multi-level investigation. This project aims to inform strategies to better attract, prepare, recognise, support and retain a high quality workforce, by investigating the complexity of early childhood educators’ work. Seemingly entrenched workforce shortages threaten the objectives that governments and families seek through investment in early childhood education. Popular imag ....Exemplary early childhood educators at work: A multi-level investigation. Exemplary early childhood educators at work: A multi-level investigation. This project aims to inform strategies to better attract, prepare, recognise, support and retain a high quality workforce, by investigating the complexity of early childhood educators’ work. Seemingly entrenched workforce shortages threaten the objectives that governments and families seek through investment in early childhood education. Popular images of work with young children as easy and instinctual, or of teaching as only school based, mislead potential workforce entrants and erode the status of educators, leading to attrition. This project’s audit and description of exemplary educators’ work, across each level of mandated qualification, will inform strategies to sustain a high quality early childhood workforce into the future.Read moreRead less
Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for loca ....Embedding Enterprise Systems in IoT Fog Networks through Microservices. The project will enable automated re-engineering of enterprise systems, to allow them to reused in Internet-of-Things (IoT) applications. It will support efficient ways in which the core business logic of these large scale and monolithic systems can be extended into resource control and data sensing functions managed through the IoT. The project will develop a novel, fine-grained software architecture style suitable for localised IoT execution, through microservices executing autonomously on nodes of IoT fog networks. It will develop new techniques for automated discovery of microservices from enterprise systems and the verification of future-state system execution based on current-state behavioural and other properties such as security.Read moreRead less