Development of Models for the Three-Dimensional Analysis of Jack-Up Structures. Mobile jack-up structures perform most of the world's offshore drilling in water depths up to 120m, but have a higher accident rate then fixed installations. To improve their safety, this research will develop the framework for the integrated assessment of jack-up behaviour in three dimensions. To achieve this, an advanced plasticity model that describes cyclic behaviour of the circular shallow foundations of jack-up ....Development of Models for the Three-Dimensional Analysis of Jack-Up Structures. Mobile jack-up structures perform most of the world's offshore drilling in water depths up to 120m, but have a higher accident rate then fixed installations. To improve their safety, this research will develop the framework for the integrated assessment of jack-up behaviour in three dimensions. To achieve this, an advanced plasticity model that describes cyclic behaviour of the circular shallow foundations of jack-ups in both clay and sand will be developed and incorporated with random wave loading of seas in a dynamic structural analysis program. The anticipated advantages of the modelling techniques will be assessed against existing two dimensional industry guidelines and monitored field data. Read moreRead less
Groups: statistics, structure, and algorithms. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for workin ....Groups: statistics, structure, and algorithms. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less
Factorisation of Finite Groups and Graphs. The combinatorial structure of a graph is strongly influenced by its
symmetry, and the symmetry is described precisely by its group of
automorphisms. Interplay between actions of the automorphism group on
vertices, edges, and other configurations, reveals important graph
structure, especially the existence of graph factorisations. In turn, a group factorisation arises whenever a group has two
independent transitive actions, and these arise in parti ....Factorisation of Finite Groups and Graphs. The combinatorial structure of a graph is strongly influenced by its
symmetry, and the symmetry is described precisely by its group of
automorphisms. Interplay between actions of the automorphism group on
vertices, edges, and other configurations, reveals important graph
structure, especially the existence of graph factorisations. In turn, a group factorisation arises whenever a group has two
independent transitive actions, and these arise in particular while
determining graph automorphism groups, and graph factorisations. We will classify families of group factorisations, especially for simple groups, and apply this to establish a theory of symmetrical graph
factorisations, and to study Cayley graphs and 2-closures of permutation groups.
Read moreRead less
Efficient computation in finite groups with applications in algebra and graph theory. The cutting-edge research of the project will further strengthen Australia's prominent role in computational group theory and algebraic graph theory. Besides the theoretical advances, the project includes the implementation and wide distribution of matrix group algorithms, benefiting immediately the algebraic research community and undergraduate mathematical education.
Finite permutation groups and flag-transitive incidence structures. Mathematics is the enabling discipline for all the sciences and so a strong mathematical research community in Australia provides the foundations for future discoveries in science and technology. By developing new theory for permutation groups, producing a new paradigm for the study of Buekenhout geometries and classifying certain families of flag-transitive incidence structures, we will enhance Australia's leading position in P ....Finite permutation groups and flag-transitive incidence structures. Mathematics is the enabling discipline for all the sciences and so a strong mathematical research community in Australia provides the foundations for future discoveries in science and technology. By developing new theory for permutation groups, producing a new paradigm for the study of Buekenhout geometries and classifying certain families of flag-transitive incidence structures, we will enhance Australia's leading position in Permutation Group Theory, Algebraic Graph Theory and Finite Geometry. This will attract international and Australian postgraduate students and visitors, and strengthen the research activities of Australia by enhancing the collaboration between UWA and leading international universities.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-c ....Smart CMOS Vision Sensors in Deep Sub-0.25um CMOS Technologies. This research project aims to develop a new generation of smart vision sensors featuring on-chip and pixel-level implementation of human vision based algorithms. Built in state-of-the-art deep sub-0.25um CMOS technologies, these imagers will feature extensive in-pixel processing power in contrast to the currently commercially available CMOS vision sensors. This will enable on-chip vision-based decision making but also increased on-chip image processing. These innovative system-on-chip features will contribute towards the positioning of CMOS imaging technology as the technology of choice for most digital imaging applications, in place of the existing, and so far unchallenged, CCD technology.
Read moreRead less
Religion at the End of the World: Anglican Communities in Western Australia 1829-c.2000. As the project will study Anglicanism as an internal variety of forms it will benefit minority groups in understanding their 'agency' in shaping religious traditions. The project will also contribute to breaking down stereotypical generalities about religions and religious groups in Australia that result from approaching any religion as a monochrome and uniform phenomenon. The identification of the various f ....Religion at the End of the World: Anglican Communities in Western Australia 1829-c.2000. As the project will study Anglicanism as an internal variety of forms it will benefit minority groups in understanding their 'agency' in shaping religious traditions. The project will also contribute to breaking down stereotypical generalities about religions and religious groups in Australia that result from approaching any religion as a monochrome and uniform phenomenon. The identification of the various forms of Anglicanism in Western Australia and their own particular religious cultures will be of benefit in substantiating the part played by indigenous, rural, and regional communities in the history of Western Australian society through the agency of Anglicanism.Read moreRead less