FPGA Controller Architectures for Safety Critical Applications. The project industry partner, Invensys Rail Systems, has a major design group in Australia, who work with railway signalling systems throughout the world. Invensys are keen to adopt new technologies to more efficiently and effectively implement signalling functions. However, the safety-critical nature of railway signalling means that any new technology must be analysed in detail to bring it to an acceptable technical readiness lev ....FPGA Controller Architectures for Safety Critical Applications. The project industry partner, Invensys Rail Systems, has a major design group in Australia, who work with railway signalling systems throughout the world. Invensys are keen to adopt new technologies to more efficiently and effectively implement signalling functions. However, the safety-critical nature of railway signalling means that any new technology must be analysed in detail to bring it to an acceptable technical readiness level. The outcomes of this research will be an improved technical readiness level for FPGAs in signalling systems, and this will allow Invensys' Australian design group to develop new technologies and allow them to compete more effectively in the global marketplace.Read moreRead less
RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this ....RNS Hardware for Public-Key Cryptography and E-security. In a world where electronic communication is ever-present, the security of electronic information, e-security, is an issue of the utmost concern for government, business and individuals alike. Public-key cryptography is a powerful tool in the e-security toolkit. Using this technology it is possible to confirm the identity of individuals, maintain the privacy of personal data and guarantee the authenticity of transactions.
The aim of this project is to design new public-key cryptography hardware to provide faster, more secure communications for computers, networks and smart cards. Achieving this will require innovations in the way computers perform arithmetic and how this arithmetic is realised as an integrated circuit.Read moreRead less
Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and buil ....Approximate algorithms and architectures for area efficient system design. This project aims to develop simpler but reliable image recognition systems that can run on low-cost, small-scale platforms, for use in driver monitoring system (DMS) applications. Cheaper reliable DMS will lead to wider availability of this technology to end users and improve safety of motor vehicles. This project will develop approximate algorithmic and circuit techniques, provide training for research students and build capability in the area of approximate computing. It is also expected to lead to commercial products, licences and revenue, which will enable new job creation.
Read moreRead less
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
Development of Advanced Fracture Mechanics Models and Novel Technical Tools for Integrity, Durability and Safety Assessment. The proposed project will lead to the new understanding of fracture phenomena and structural integrity. It will create a range of novel computer based technical tools for life and integrity assessment of structures in the presence of cracks and other defects, so as to meet the high safety standards across a wide range of industries. The project will result in technology th ....Development of Advanced Fracture Mechanics Models and Novel Technical Tools for Integrity, Durability and Safety Assessment. The proposed project will lead to the new understanding of fracture phenomena and structural integrity. It will create a range of novel computer based technical tools for life and integrity assessment of structures in the presence of cracks and other defects, so as to meet the high safety standards across a wide range of industries. The project will result in technology that will help to make Australian products stronger and more durable so they become more competitive with low cost overseas imports. All the research outcomes will have a direct benefit to Australian interests, including both public and private industries.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.
Logical Theory and Sentence Composition -- A General and Comparative Study of the Principal Sentential Connectives. The aims are to get clear about the semantic and logical properties of
the basic sentence connectives, and to adjudicate several debates on
these matters. The significance is that the logic of sentence
connectives is fundamental for the whole of logic. The expected aim is a large book - probably to be called *The Connectives* - in which all of this is set out.
Rules in Logic. Logic is a foundational discipline which supports work in philosophy and other intellectual fields. Communities and nations are enriched by research in logic even if there are no direct economic benefits. But, in Australia, which has been a world-leader in philosophical logic for the past thirty years, there are also more direct benefits. Continued foundational research in logic attracts international students to Australia, and enhances the international reputation of Australian ....Rules in Logic. Logic is a foundational discipline which supports work in philosophy and other intellectual fields. Communities and nations are enriched by research in logic even if there are no direct economic benefits. But, in Australia, which has been a world-leader in philosophical logic for the past thirty years, there are also more direct benefits. Continued foundational research in logic attracts international students to Australia, and enhances the international reputation of Australian universities. This research will contribute significantly to Australia's reputation for fundamental logical research.Read moreRead less
Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of ....Options For Proofs: New Perspectives on Propositional Logic. Philosophers and logicians recognise that proof is important, but they do not agree on what proofs are. Recent research in logic has greatly expanded our notion of proof, but this research is not unified. We need a coherent, general and applicable concept of proof. This project will unify the literature on proof and bring these insights to bear in the philosophy of language. It will show how proof can help analyse many features of language (more than just logical constants) but that the role of inference does not justify one kind of proof in preference to others.Read moreRead less
The One and the Many - the Path Through Contradiction. Australia has a major presence on the international philosophical world out of all proportion to its size (comparable to that which it has in sport). It is known for its development of radical new ideas and forthright approaches. One area in which this is particularly the case is logic and its philosophical applications. The present project is a high profile example of this, and will further enhance Australia's international intellectual p ....The One and the Many - the Path Through Contradiction. Australia has a major presence on the international philosophical world out of all proportion to its size (comparable to that which it has in sport). It is known for its development of radical new ideas and forthright approaches. One area in which this is particularly the case is logic and its philosophical applications. The present project is a high profile example of this, and will further enhance Australia's international intellectual profile.Read moreRead less