A Paraconsistent Approach to Vagueness. This project will utilise logical techniques that have been developed largely by Australian logicians. This techniques will be brought to bear on the problem of vagueness, one of the most important problems in the philosophy of logic. The project will thus greatly enhance Australia's already strong international reputation in logic and philosophical logic.
A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, math ....A Computational Solution to the Problem of Reference. This project will attack the core problem of philosophy of language by developing and applying tools from the theory of algorithmic complexity. Groundbreaking pure research at the intersection of logic, language, information and computation is the lifeblood of commercial research and development in information technology and telecommunications. The project will foster a cross-fertilisation of ideas between philosophy, computer science, mathematics, linguistics and psychology, and will provide students with skills and analytic techniques that will be valuable in future pure and applied research.Read moreRead less
Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, ....Rationality and Resource Bounds in Logics for Intentional Attitudes. Formal philosophy is the discipline at the interface between traditional philosophy and modern mathematical logic. It has had a substantial impact in recent years and has benefited neighbouring disciplines, including computer science and artificial intelligence. It is a good example of how philosophical research can interact with more practical disciplines. This project will make substantial contributions to formal philosophy, which will in turn provide benefits in computer science and artificial intelligence, by providing a framework for logicians, computer scientists and researchers in artificial intelligence to discuss issues concerning knowledge, belief and rationality.Read moreRead less
Built-up cold-formed steel structures. The building industry is seeing a rapid uptake of joining two or more cold-formed steel sections to form large built-up sections with high carrying capacities. The joining consists of screws, or similar fasteners, placed intermittently along the member. The ease of joining encourages innovation in forming versatile new built-up section shapes in expanding areas of application. The project will provide guidelines and numerical tools for the efficient structu ....Built-up cold-formed steel structures. The building industry is seeing a rapid uptake of joining two or more cold-formed steel sections to form large built-up sections with high carrying capacities. The joining consists of screws, or similar fasteners, placed intermittently along the member. The ease of joining encourages innovation in forming versatile new built-up section shapes in expanding areas of application. The project will provide guidelines and numerical tools for the efficient structural design of built-up sections through experimental and theoretical research, studying the new failure modes pertaining to built-up sections, the increase in strength achievable from composite action and the optimum arrangement of fasteners. Read moreRead less
Integrated Autonomous Housing for Remote Australian Communities: Analysis, Synthesis and Testing. At remote mining communities, little consideration is given to comfort or energy efficiency in housing - services have not been optimised to minimise greenhouse gas emissions, water consumption and solid waste. This project will address these environmental issues and the associated social problems by combining the resources of BHP Billiton and the University of Newcastle to develop a model for remot ....Integrated Autonomous Housing for Remote Australian Communities: Analysis, Synthesis and Testing. At remote mining communities, little consideration is given to comfort or energy efficiency in housing - services have not been optimised to minimise greenhouse gas emissions, water consumption and solid waste. This project will address these environmental issues and the associated social problems by combining the resources of BHP Billiton and the University of Newcastle to develop a model for remote housing. The project aims to design and test an integrated low impact or autonomous transportable house. The results of this research are applicable to remote defence sites, small rural townships and Aboriginal communities as well as for international export.Read moreRead less
Shallow foundations in unsaturated soils: mechanistic design through numerical modelling, analysis and experimental investigation. This project will close the knowledge gap of how shallow foundations perform in variably saturated soils. It will integrate expertise in unsaturated soil mechanics, theory of elasto-plasticity, numerical modelling, limit analysis and experimental investigation. It will achieve a rigorous understanding of footings founded on unsaturated soils subjected to monotonic lo ....Shallow foundations in unsaturated soils: mechanistic design through numerical modelling, analysis and experimental investigation. This project will close the knowledge gap of how shallow foundations perform in variably saturated soils. It will integrate expertise in unsaturated soil mechanics, theory of elasto-plasticity, numerical modelling, limit analysis and experimental investigation. It will achieve a rigorous understanding of footings founded on unsaturated soils subjected to monotonic loading using a recently developed experimental testing facility, and analyses using finite elements, the method of characteristics and zero extension line theory. Impact and adoption in industry will be direct through world first design tools which incorporate the influence of suction on bearing capacity, settlement and safety.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190100779
Funder
Australian Research Council
Funding Amount
$396,935.00
Summary
Co-design using participatory urban media. This project aims to use participatory urban media to test the effectiveness of co-designed screen-based interfaces in helping government and urban planners to better understand and design for rapidly urbanising cities by engaging designers and city stakeholders. Using Chongqing in China as a case study, it intends to generate new knowledge about the value of participatory urban media installations as transformative interventions in traditional urban de ....Co-design using participatory urban media. This project aims to use participatory urban media to test the effectiveness of co-designed screen-based interfaces in helping government and urban planners to better understand and design for rapidly urbanising cities by engaging designers and city stakeholders. Using Chongqing in China as a case study, it intends to generate new knowledge about the value of participatory urban media installations as transformative interventions in traditional urban design. Expected outcomes include a reproducible approach to co-designing urban media for participatory engagement between city stakeholders and citizens which should significantly increase the capacity of Australia-China design partnerships to manage pressing regional urban and placemaking problems.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE150100130
Funder
Australian Research Council
Funding Amount
$320,000.00
Summary
An earthquake shaking table to investigate soil-structure interactions. An earthquake shaking table to investigate soil-structure interactions: This project aims to develop Australia's most advanced earthquake shaking table. Earthquakes are a problem of great significance to Australia. Infrastructure in civil, transport, mining and energy sectors may be at an unacceptable risk of damage under earthquake loading as current design practices do not account for the interaction between infrastructure ....An earthquake shaking table to investigate soil-structure interactions. An earthquake shaking table to investigate soil-structure interactions: This project aims to develop Australia's most advanced earthquake shaking table. Earthquakes are a problem of great significance to Australia. Infrastructure in civil, transport, mining and energy sectors may be at an unacceptable risk of damage under earthquake loading as current design practices do not account for the interaction between infrastructure and the ground under such loading. The shaking table will simulate earthquakes and enable controlled testing of three-tonne models of foundation and soil-structure interaction systems typical of Australia's infrastructure. The discoveries made are expected to be integral to the modernisation of Australia's seismic design standards so that earthquake-induced damage and risk exposure can be minimised.Read moreRead less
Behaviour of ultra-high strength double-skin composite tubular construction. Ultra-high strength (UHS) steel tubes are currently used mainly in the vehicle industry due to their high strength and light weight. This project aims to enable the building of more resilient and sustainable infrastructure by utilising these UHS steel tubes in double-skin composite tubular construction. To date there has been little work to understand the effects of fire, earthquake and impact related incidents on these ....Behaviour of ultra-high strength double-skin composite tubular construction. Ultra-high strength (UHS) steel tubes are currently used mainly in the vehicle industry due to their high strength and light weight. This project aims to enable the building of more resilient and sustainable infrastructure by utilising these UHS steel tubes in double-skin composite tubular construction. To date there has been little work to understand the effects of fire, earthquake and impact related incidents on these structures. This project aims to access unique testing facilities for full size impact and fire testing and the state-of-the-art hybrid testing simulation. It is expected to increase the competitiveness of the Australian manufacturing industry by overcoming the bottleneck in the manufacture of steel sections.Read moreRead less
Composite tubular construction subject to impact and blast loading. This project will advance the knowledge of composite tubular members and connections under impact and blast loading. It will provide confident design methodology against impact and blast loading for buildings designated as prominent targets or items of critical infrastructure, to save lives and reduce losses.