An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first t ....Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first to be consistent at all length scales — from atoms to aeroplanes — ensuring relevance for new and evolving composite material systems. A novel understanding of crack initiation in textile laminates is intended to reduce design and certification effort for new aircraft and help to design more efficient airframes at a lower cost.Read moreRead less
Vision Model Based Perceptual Digital Video Coding. Digital video coding and compression is an enabling technology and has diversified applications in audiovisual communications, multimedia computing, digital television broadcast and electronic entertainment industries. The project aims at spearheading research in theory, techniques and implementation of perceptual video coding in order to achieve constant and guaranteed quality in visual communications and services. It will explore a new appr ....Vision Model Based Perceptual Digital Video Coding. Digital video coding and compression is an enabling technology and has diversified applications in audiovisual communications, multimedia computing, digital television broadcast and electronic entertainment industries. The project aims at spearheading research in theory, techniques and implementation of perceptual video coding in order to achieve constant and guaranteed quality in visual communications and services. It will explore a new approach to digital video coding other than the constant bit rate coding techniques which have dominated digital video research for the past four decades. It will form a part of the theoretical foundation and principles for the next generation video coding and compression techniques, and may lead to new standards and practice.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE140100082
Funder
Australian Research Council
Funding Amount
$500,000.00
Summary
An Australasian facility for the automated fabrication of high performance bespoke components. A facility for the automated fabrication of high performance bespoke components: The project will create a new coordinated facility for composites research including modern automated infrastructure. The facility will bring Australia in line with leading international research centres and promote fundamental and applied research into a range of fields including underwater renewable energy systems, space ....An Australasian facility for the automated fabrication of high performance bespoke components. A facility for the automated fabrication of high performance bespoke components: The project will create a new coordinated facility for composites research including modern automated infrastructure. The facility will bring Australia in line with leading international research centres and promote fundamental and applied research into a range of fields including underwater renewable energy systems, space vehicle structures, multifunctional and smart materials and infrastructure capacity extension. The facility will position Australian research for significant international collaboration through endorsement of next-generation manufacturing technology and enable leading outcomes for Australasian science and engineering in aerospace, marine, civil, automotive, renewable energy and primary resources.Read moreRead less
Improving Upper and Lower Bounds on the Order of Large Graphs under Degree and Distance Constraints. Networks govern all aspects of society, including transportation networks, communication networks, computer networks and networks for the distribution of goods etc. - and the theoretical analysis of such networks has become a subject of fundamental importance. Networks can be modelled by graphs. This project will provide new theoretical results which will improve our knowledge of network topologi ....Improving Upper and Lower Bounds on the Order of Large Graphs under Degree and Distance Constraints. Networks govern all aspects of society, including transportation networks, communication networks, computer networks and networks for the distribution of goods etc. - and the theoretical analysis of such networks has become a subject of fundamental importance. Networks can be modelled by graphs. This project will provide new theoretical results which will improve our knowledge of network topologies. The new knowledge will then be utilised in the construction of large graphs with respect to given maximum degree and distance constraints.Read moreRead less
Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in m ....Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in many of these computer models and develop a novel and innovative design methodology. The success of this project will revolutionize the computational tools for the industry realizing a convenient, robust and time-saving integrated platform catering for increasing future market demand.Read moreRead less
Special Research Initiatives - Grant ID: SR0566892
Funder
Australian Research Council
Funding Amount
$220,000.00
Summary
The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfac ....The EarthByte software and database system. Earth processes over geological timescales cannot be understood outside of a plate tectonic context. However, no standard tool exists to explore the causes and effects of lithosphere-mantle interaction in accordance with past plate configurations. Our aim is to develop a Palaeo-Geographic Information System called EarthByte that will connect the open source and architecture-independent GPlates and GMT software, and implement XML-based service interfaces and databases. EarthByte will create the foundation for an e-geoscience framework for grid-based data access and Earth process modelling by linking geological and geophysical observations to palaeogeographic models for constraining mantle convection and lithospheric deformation.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
Thinking and talking about atolls: the role of environment in shaping language and our understanding of physical space. This project investigates the role of environment in shaping how we think about physical space. By comparing how people in the highly specialised environment of the atoll talk about space in different parts of the world we will gather new data to test ideas on the roles of language and environment in shaping how we understand the physical world.
Data structures which change with time, a machine learning approach. Visibility of web pages, based on page importance, on the Internet controls their accessibility by users which is critical for e-Commerce applications. The page importance depends on its contents and its link structure to other web pages, both of which can be time varying. This project proposes a novel model in which time varying aspects of the changes to contents and their link structures are captured, thus allowing us a bette ....Data structures which change with time, a machine learning approach. Visibility of web pages, based on page importance, on the Internet controls their accessibility by users which is critical for e-Commerce applications. The page importance depends on its contents and its link structure to other web pages, both of which can be time varying. This project proposes a novel model in which time varying aspects of the changes to contents and their link structures are captured, thus allowing us a better understanding of how these influence the page importance over time. It will also allow us insight on how to improve the visibility of web pages.Read moreRead less