Machine-checked Foundations for Verified Vote Counting. The project will deliver a general methodology for developing formal logical specifications of the Acts of Parliament for many common systems for counting votes in preferential elections. The project will deliver corresponding computer programs to count votes according to these systems and will deliver formal independently checkable proofs that the programs meet their specification. Such formally verified computer programs provide a legally ....Machine-checked Foundations for Verified Vote Counting. The project will deliver a general methodology for developing formal logical specifications of the Acts of Parliament for many common systems for counting votes in preferential elections. The project will deliver corresponding computer programs to count votes according to these systems and will deliver formal independently checkable proofs that the programs meet their specification. Such formally verified computer programs provide a legally sound basis for counting votes by computer. The methodology will also allow electoral commissioners to improve the natural language descriptions of the relevant Acts of Parliament which are often woefully out of date with current practice.Read moreRead less
Next-gen accident prevention: a new theory and toolkit for safer systems. This project aims to address limitations associated with existing accident causation theory and methodologies. Accident prevention across high risk industries is constrained by limitations in accident theory and methodologies. As a result, reductions in injuries and fatalities in most domains are plateauing. The expected outputs of the project include a new theory of accident causation, a new proactive risk assessment meth ....Next-gen accident prevention: a new theory and toolkit for safer systems. This project aims to address limitations associated with existing accident causation theory and methodologies. Accident prevention across high risk industries is constrained by limitations in accident theory and methodologies. As a result, reductions in injuries and fatalities in most domains are plateauing. The expected outputs of the project include a new theory of accident causation, a new proactive risk assessment methodology and a new methodology for analysing accidents. This will provide organisations and researchers with a powerful framework for enhanced accident analysis and prevention activities. This will provide significant benefits, associated with reductions in accidents, injuries and fatalities.Read moreRead less
Situational Assessment as a Marker of Cognitive Skill Decay. The aim of this study is to test how differences in exposure to complex tasks change the capacity for situational assessment. Amongst drivers, pilots and electricity controllers, the capacity to assess and respond effectively to changes in the operational environment are critical in sustaining performance and ensuring the safety and security of the public. Establishing the nature of this relationship will enable, for the first time, ob ....Situational Assessment as a Marker of Cognitive Skill Decay. The aim of this study is to test how differences in exposure to complex tasks change the capacity for situational assessment. Amongst drivers, pilots and electricity controllers, the capacity to assess and respond effectively to changes in the operational environment are critical in sustaining performance and ensuring the safety and security of the public. Establishing the nature of this relationship will enable, for the first time, objective measures of cognitive skill decay. In evaluating cognitive skill decay more accurately, we will provide a cost-effective, easily administered tool, enabling practitioners to identify and address areas of development and providing data to anticipate when cognitive skill decay is most likely to occur.Read moreRead less
Predicting misdiagnoses in the transition from competence to expertise. This project aims to test whether the utilisation of cues predicts vulnerability to misdiagnosis during skill acquisition. This project uses newly developed measures of cue utilisation, together with innovative, on-line scenarios and a longitudinal design, to measure different types of misdiagnosis amongst qualified radiologists, pathologists and pilots as they acquire expertise. With potential applications in medicine, avia ....Predicting misdiagnoses in the transition from competence to expertise. This project aims to test whether the utilisation of cues predicts vulnerability to misdiagnosis during skill acquisition. This project uses newly developed measures of cue utilisation, together with innovative, on-line scenarios and a longitudinal design, to measure different types of misdiagnosis amongst qualified radiologists, pathologists and pilots as they acquire expertise. With potential applications in medicine, aviation, energy, transportation, and defence, the expected outcomes will facilitate interventions such as targeted training and the provision of technical support, that will guide the diagnostic process and thereby reduce the impact of misdiagnoses on individuals and infrastructure.Read moreRead less
Crashworthiness topology optimisation for light-weight battery compartments. This project uses computational modelling and optimisation methods to the design of battery compartments for electric vehicles. As the use of electric vehicles becomes more extensive, awareness of the consequences of catastrophic failure of high energy battery in a crash has increased. This project will develop novel design methodologies, using multi-disciplinary techniques for battery compartment structure. The methodo ....Crashworthiness topology optimisation for light-weight battery compartments. This project uses computational modelling and optimisation methods to the design of battery compartments for electric vehicles. As the use of electric vehicles becomes more extensive, awareness of the consequences of catastrophic failure of high energy battery in a crash has increased. This project will develop novel design methodologies, using multi-disciplinary techniques for battery compartment structure. The methodology will expand conventional crashworthiness design to the coupled mechanical-electrochemical-thermal problems. The proposed crashworthiness optimisation of battery compartment structure will enhance safety and reliability of electric vehicles, potentially benefiting consumers and manufacturers.Read moreRead less
Agri-food Applications of Genetically-Modified Organisms: Public Perceptions, Risk and Sustainability. Agricultural and food biotechnologies are being disseminated throughout Australia - despite growing consumer concerns. Employing a sociological framework, this research will investigate ways genetically-modified organisms (GMOs) - and their associated risks - are perceived by consumers. This Australia-wide study is significant because of the nation's current endorsement of GMOs, the reluctance/ ....Agri-food Applications of Genetically-Modified Organisms: Public Perceptions, Risk and Sustainability. Agricultural and food biotechnologies are being disseminated throughout Australia - despite growing consumer concerns. Employing a sociological framework, this research will investigate ways genetically-modified organisms (GMOs) - and their associated risks - are perceived by consumers. This Australia-wide study is significant because of the nation's current endorsement of GMOs, the reluctance/inability of science to recognise lay concerns, and the likelihood that some biotechnologies will compromise environmental sustainability. Outcomes will include: conceptual advances in relation to risk and trust; an understanding of consumer acceptance/rejection of GMOs; and, recognition of the potential for agri-food biotechnologies to contribute to sustainability.Read moreRead less
Proactive detection of motor vehicle crash black spots based on their underlying behavioural, engineering, and spatially related causes. Road traffic crashes are responsible for about 1400 fatalities and 32,500 injuries on Australian roadways each year. A significant research opportunity exists to fundamentally rethink how the profession quantitatively identifies black spots on the transport network. The first project aim is to develop, test, and validate an evidence based methodology to proacti ....Proactive detection of motor vehicle crash black spots based on their underlying behavioural, engineering, and spatially related causes. Road traffic crashes are responsible for about 1400 fatalities and 32,500 injuries on Australian roadways each year. A significant research opportunity exists to fundamentally rethink how the profession quantitatively identifies black spots on the transport network. The first project aim is to develop, test, and validate an evidence based methodology to proactively detect motor vehicle crash black spots. The second aim is decompose (statistically) observed crashes at a site into their engineering, behavioural, and unobserved spatial components. The new methods combined will lead to fundamentally novel insights and knowledge regarding transport network safety management, in turn leading to reductions in the Australian road toll.Read moreRead less
Intention-aware cooperative driving behaviour model for Automated Vehicles. This project aims to investigate humans' cooperation with automated systems by conceptualising joint intention awareness. This project expects to generate knowledge about a new cooperative driving behaviour model for automated vehicles, utilising a transdisciplinary approach that mixes human-centric methods with deep learning techniques. Intended outcomes are new joint intention awareness theory, new interface for automa ....Intention-aware cooperative driving behaviour model for Automated Vehicles. This project aims to investigate humans' cooperation with automated systems by conceptualising joint intention awareness. This project expects to generate knowledge about a new cooperative driving behaviour model for automated vehicles, utilising a transdisciplinary approach that mixes human-centric methods with deep learning techniques. Intended outcomes are new joint intention awareness theory, new interface for automated vehicles, new methodology for cooperative behaviour research, and enhanced research capacity. The expected significant benefits are for automated systems to become more predictable, acceptable, readable and safer to use by everyday people.Read moreRead less
An innovative mechanism for optimising freeway traffic efficiency, safety, and sustainability via variable speed limit control. Congestion, safety, and emissions are three major traffic problems threatening the Australian economy. This project aims to develop a novel approach to collectively handle these problems for freeway traffic using variable speed limits (VSL). The project tasks address modelling, VSL controller design and automatic fine tuning of VSL controllers.
Trustworthy positioning for intelligent transport systems. This project aims to develop a holistic approach for reliable positioning for Intelligent Transport Systems (ITS). This project will address the challenges of integrity monitoring in ITS when using satellite-based technology, its integration with other sensors, and when supported by the proposed Australia National Positioning Infrastructure. It will consider Australian geography, large area, and sparse population, and emphasise rural tra ....Trustworthy positioning for intelligent transport systems. This project aims to develop a holistic approach for reliable positioning for Intelligent Transport Systems (ITS). This project will address the challenges of integrity monitoring in ITS when using satellite-based technology, its integration with other sensors, and when supported by the proposed Australia National Positioning Infrastructure. It will consider Australian geography, large area, and sparse population, and emphasise rural transport. Expected primary outputs include algorithms, a detailed analysis of required systems and recommendations that will help prepare Australia for the importation of self-driving vehicles.Read moreRead less