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.
The logical and metaphysical challenge of vague language. Where do we draw the line between life and death, tall and short, right and wrong? The vagueness or indeterminacy of such concepts prohibits easy answers. This projects aims to provide a philosophical analysis of such concepts which abound in natural language with a view to showing that orthodox views in logic and metaphysics are challenged by their presence. This analysis is to be published as a monograph whose significance lies in the f ....The logical and metaphysical challenge of vague language. Where do we draw the line between life and death, tall and short, right and wrong? The vagueness or indeterminacy of such concepts prohibits easy answers. This projects aims to provide a philosophical analysis of such concepts which abound in natural language with a view to showing that orthodox views in logic and metaphysics are challenged by their presence. This analysis is to be published as a monograph whose significance lies in the fact that it provides one of only four book-length treatments of the matter and does so from an entirely novel perspective.Read moreRead less
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
Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of t ....Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of three excellent PhD projects in discrete mathematics. The computer age has ensured that this is a booming discipline and an increasing component of undergraduate syllabi around the world. It is thus a crucial area in which to be providing quality research training.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE220100544
Funder
Australian Research Council
Funding Amount
$356,000.00
Summary
Fuzzy logics for graded reasoning in applied contexts. Many things we care about, such as friendship or safety, come in degrees, but our current systems for tracking information are not built to handle this. This project aims to enhance many-valued logic as a tool to manage graded information. It expects to generate new knowledge in the area of logical languages for fuzzy databases and finite domains using an interdisciplinary approach between philosophers, mathematicians and computer scientists ....Fuzzy logics for graded reasoning in applied contexts. Many things we care about, such as friendship or safety, come in degrees, but our current systems for tracking information are not built to handle this. This project aims to enhance many-valued logic as a tool to manage graded information. It expects to generate new knowledge in the area of logical languages for fuzzy databases and finite domains using an interdisciplinary approach between philosophers, mathematicians and computer scientists. Expected outcomes include new logical methods and modelling techniques for many-valued logics. This will provide significant benefits, such as the enhancement of fuzzy logic as a tool in artificial intelligence to handle reasoning with imprecise concepts, giving meaning to complex real-life data.Read moreRead less
Mutagenesis and combinatorial algorithms for sequencing problematic genomic regions. This project will develop a remarkable and original approach to DNA sequencing with potential to radically improve the speed, accuracy and effectiveness of existing sequencing technologies. It is especially useful for dealing with difficult-to-sequence genomic regions and has implications for all sequencing projects, including completion of the Human Genome Project. The approach involves generating, and wholly o ....Mutagenesis and combinatorial algorithms for sequencing problematic genomic regions. This project will develop a remarkable and original approach to DNA sequencing with potential to radically improve the speed, accuracy and effectiveness of existing sequencing technologies. It is especially useful for dealing with difficult-to-sequence genomic regions and has implications for all sequencing projects, including completion of the Human Genome Project. The approach involves generating, and wholly or partially sequencing, mutated copies of problematic regions of the target genome. Advanced combinatorial algorithms are then used to form highly probable alignments between strings and determine the unknown sequence. The approach has additional benefits in detecting single-nucleotide polymorphisms and sequencing errors.Read moreRead less
Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
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
Low Loss Distributed Wind Generators with Reduced Electromagnetic Interference and Shaft Voltage Based on Multilevel Converters. Distributed wind generators with minimum electromagnetic interference and bearing spikes are very important for the Australian energy industry because they are an environmentally friendly energy source. Predicting and reducing electromagnetic interferences and mechanical failures in wind farm systems is an important issue especially for the next generation of wind sys ....Low Loss Distributed Wind Generators with Reduced Electromagnetic Interference and Shaft Voltage Based on Multilevel Converters. Distributed wind generators with minimum electromagnetic interference and bearing spikes are very important for the Australian energy industry because they are an environmentally friendly energy source. Predicting and reducing electromagnetic interferences and mechanical failures in wind farm systems is an important issue especially for the next generation of wind systems when fast and advanced power electronic switches can create more EMI noise for both onshore and offshore wind farms. Medium-Voltage Direct Current (MVDC) systems have good performance and low losses, and are of particular interest to states which are close to wind power sources.Read moreRead less
Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.