Advanced Combustion Modelling for Scramjets and Rotating Detonation Engines. This project will develop new fundamental knowledge and engineering models underpinning air-breathing high speed propulsion engines employing complex hydrocarbon fuels. Extensive data and new physical understanding will be garnered through analysis of direct numerical simulations of supersonic reacting mixing layers including impinging shock waves. That data will be employed to isolate, test and develop computationally ....Advanced Combustion Modelling for Scramjets and Rotating Detonation Engines. This project will develop new fundamental knowledge and engineering models underpinning air-breathing high speed propulsion engines employing complex hydrocarbon fuels. Extensive data and new physical understanding will be garnered through analysis of direct numerical simulations of supersonic reacting mixing layers including impinging shock waves. That data will be employed to isolate, test and develop computationally efficient engineering models that are accurate and efficient for high speed combustion in rotating detonation engines and scramjets. Expected outcomes are knowledge and tools needed to develop practical and effective supersonic propulsion engines for access to space, defence and high speed point-to-point flight.
Read moreRead less
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
Identification of causal variants for complex traits. The aim of this project is to identify causal variants for complex traits in cattle and humans. Although most important traits in agriculture, medicine and evolution are complex traits, very few of the genetic variants affecting these traits are known and this undermines our understanding of how genetic variants affect a trait and practical uses of this knowledge. Huge datasets of individuals with genome sequence and phenotypes and new statis ....Identification of causal variants for complex traits. The aim of this project is to identify causal variants for complex traits in cattle and humans. Although most important traits in agriculture, medicine and evolution are complex traits, very few of the genetic variants affecting these traits are known and this undermines our understanding of how genetic variants affect a trait and practical uses of this knowledge. Huge datasets of individuals with genome sequence and phenotypes and new statistical methods provide the opportunity to close this gap. The outcome will be identification of many genomic variants causing variation in complex traits. This will benefit scientific understanding of complex traits and the ability to predict traits for individuals from their genome sequence.Read moreRead less