On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of resear ....On-line structural integrity assessment of advanced composite airframe with senor network. The project addresses frontier technologies that lead to solutions to one of the critical key issues forming the Australian community - online integrity/safety assessment of structures or asset including aircraft, ships, buildings and bridges. The community benefits significantly if potential disaster due to occurrence of damage associated with those structures can be prevented - the ultimate aim of researchers for decades. It is imperative that Australian industries remain technologically ahead of international competitors. Outcomes of the project will lead to novel technologies for real-time structural health monitoring and integrity assessment, bringing significant improvement in operation safety and driving down maintenance cost.Read moreRead less
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 hybrid approach to predict the structure-borne noise transmission in ship structures using a waveguide method and Statistical Energy Analysis. The prediction of structure-borne noise transmission in large welded ship structures is required, in order to design maritime vessels with greater ship power and reduced weight, without increasing the noise levels. The aim of this project is to develop a hybrid approach for structural dynamic analyses using an analytical waveguide method and Statistical ....A hybrid approach to predict the structure-borne noise transmission in ship structures using a waveguide method and Statistical Energy Analysis. The prediction of structure-borne noise transmission in large welded ship structures is required, in order to design maritime vessels with greater ship power and reduced weight, without increasing the noise levels. The aim of this project is to develop a hybrid approach for structural dynamic analyses using an analytical waveguide method and Statistical Energy Analysis. The theoretical estimation and associated experimental measurement of the SEA parameters (modal density, coupling and internal loss factors) form the basis for the hybrid approach. The outcomes will result in improved predictive techniques for dynamic analyses of large complex resonant structures.Read moreRead less
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
Generalised topological spaces. Pure mathematics creates abstractions of real-world entities; one such is the idea of a 'topological space', which abstracts from geometric forms like cubes and toruses. But topological spaces fail to capture geometric structures arising in areas like quantum physics; and this project seeks to rectify this, by developing a new more general notion.
Natural Semantic Metalanguage (NSM): formalisation, computation, referential semantics. Meaning is what links language with culture, communication and cognition but strangely enough, most linguists do not regard semantics (the systematic study of meaning) as a central part of their discipline. This project pursues basic research in the leading meaning-based theory of language: the natural semantic metalanguage (NSM) theory, which has been originated and developed primarily in Australia. It aims ....Natural Semantic Metalanguage (NSM): formalisation, computation, referential semantics. Meaning is what links language with culture, communication and cognition but strangely enough, most linguists do not regard semantics (the systematic study of meaning) as a central part of their discipline. This project pursues basic research in the leading meaning-based theory of language: the natural semantic metalanguage (NSM) theory, which has been originated and developed primarily in Australia. It aims to make this theory more precise, to work out how it can be used by computers, and to connect it with other, more mathematically inspired approaches to meaning.Read moreRead less
The Grammar of Biblical Hebrew: Functional and Corpus Analyses. The project promotes original, innovative research in Australia into Biblical Hebrew linguistics. Advancement in the knowledge of linguistics increases our understanding of language and its central role in cognition, social interaction, and culture. Biblical Hebrew is the language of the Hebrew Bible, a text sacred to Judaism and Christianity, and of interest to the wider Australian public. The Hebrew Bible is inextricably bound to ....The Grammar of Biblical Hebrew: Functional and Corpus Analyses. The project promotes original, innovative research in Australia into Biblical Hebrew linguistics. Advancement in the knowledge of linguistics increases our understanding of language and its central role in cognition, social interaction, and culture. Biblical Hebrew is the language of the Hebrew Bible, a text sacred to Judaism and Christianity, and of interest to the wider Australian public. The Hebrew Bible is inextricably bound to these two religious traditions that continue to influence substantially Australian society and societies across the world. This project furthers Australia's capacity to contribute to the vital task of interpreting the Hebrew Bible in contemporary, responsible ways and translating it into the world's languages.Read moreRead less
Design of dynamic visual signals. Models of the design of visual signals depend heavily upon analyses of static ornaments. Nothing is known about dynamic visual signals. We will use an array of new techniques to tackle this problem for the first time. Motion analyses will define the task faced by the visual system. Sensory limitations will be measured to identify constraints on signal evolution. Digital video playback studies will assess recognition and explain aspects of signal design. Results ....Design of dynamic visual signals. Models of the design of visual signals depend heavily upon analyses of static ornaments. Nothing is known about dynamic visual signals. We will use an array of new techniques to tackle this problem for the first time. Motion analyses will define the task faced by the visual system. Sensory limitations will be measured to identify constraints on signal evolution. Digital video playback studies will assess recognition and explain aspects of signal design. Results will test the generality of principles that have been developed in studies of female mate choice and extend these ideas to address intra-sexual selection operating through opponent assessment.Read moreRead less
Structural and multidisciplinary optimization. Structural and multidisciplinary design optimization is an important subject in aeronautical, aerospace, automobile, offshore platforms and many other structures. This project aims to address design optimization of coupled structures, with a focus on electro-mechanical coupled structures. It is expected to coordinate an integrated effort to develop efficient and effective algorithms for optimum design of electro-mechanical coupled structures.