Fundamental understanding on the use of Bluetooth MAC scanner for arterial travel time estimation

This report is the eight deliverable of the Real Time and Predictive Traveller Information project and the third deliverable of the Arterial Travel Time Information sub-project in the Integrated Traveller Information research Domain of the Smart Transport Research Centre. The primary objective of the Arterial Travel Time Information sub-project is to develop algorithms for real-time travel time estimation and prediction models for arterial traffic. Brisbane arterial network is highly equipped with Bluetooth MAC Scanners, which can provide travel time information. Literature is limited with the knowledge on the Bluetooth protocol based data acquisition process and accuracy and reliability of the analysis performed using the data. This report expands the body of knowledge surrounding the use of data from Bluetooth MAC Scanner (BMS) as a complementary traffic data source. A multi layer simulation model named Traffic and Communication Simulation (TCS) is developed. TCS is utilised to model the theoretical properties of the BMS data and analyse the accuracy and reliability of travel time estimation using the BMS data.

Fundamental Tax Legislation 2013

Fundamental Tax Legislation 2013 contains the essential provisions from the primary legislation that affects Australia’s taxation system. Updated and expanded for 2013, this volume is an indispensable reference for undergraduate and postgraduate students of taxation. New in 2013 is a revised Year in Review section, which summarises the legislative developments in taxation over the previous 12 months, a listing of the passage of tax-related legislation during the last year and the inclusion of reference statistics (such as CPI quarterly figures and individual tax rates for residents and non-residents). Also, new for 2013 is a Tax Rates and Tables section which contains an accessible summary of the main tax rates and tables that students will need to refer to for their tax studies.

Fundamental understanding on the use of Bluetooth scanner as a complementary transport data

Literature is limited in its knowledge of the Bluetooth protocol based data acquisition process and in the accuracy and reliability of the analysis performed using the data. This paper extends the body of knowledge surrounding the use of data from the Bluetooth Media Access Control Scanner (BMS) as a complementary traffic data source. A multi layer simulation model named Traffic and Communication Simulation (TCS) is developed. TCS is utilised to model the theoretical properties of the BMS data and analyse the accuracy and reliability of travel time estimation using the BMS data.

The 4C spectrum of fundamental behavioral relations for concurrent systems

The design of concurrent software systems, in particular process-aware information systems, involves behavioral modeling at various stages. Recently, approaches to behavioral analysis of such systems have been based on declarative abstractions defined as sets of behavioral relations. However, these relations are typically defined in an ad-hoc manner. In this paper, we address the lack of a systematic exploration of the fundamental relations that can be used to capture the behavior of concurrent systems, i.e., co-occurrence, conflict, causality, and concurrency. Besides the definition of the spectrum of behavioral relations, which we refer to as the 4C spectrum, we also show that our relations give rise to implication lattices. We further provide operationalizations of the proposed relations, starting by proposing techniques for computing relations in unlabeled systems, which are then lifted to become applicable in the context of labeled systems, i.e., systems in which state transitions have semantic annotations. Finally, we report on experimental results on efficiency of the proposed computations.

Can vasculature changes be characterised morphologically after closed soft tissue trauma?

INTRODUCTION Closed soft tissue trauma (CSTT) can be the result of a blunt impact, or a prolonged crush injury and involves damage to the skin, muscles and the neurovascular system. It causes a variety of symptoms such as haematoma and in severe cases may result in hypoxia and necrosis. There is evidence that early vasculature changes following the injury delays the tissue healing [1]. However, a precise qualitative and quantitative morphological assessment of vasculature changes after trauma and the effect of this on CSTT healing is currently missing. Research aims: Developing an experimental rat model to characterise the structural changes to the vasculature after trauma qualitatively and quantitatively using micro CT. MATERIAL AND METHODS An impact device was developed to apply a controlled reproducible CSTT to the left thigh (Biceps Femoris) of anaesthetised rats [3]. After euthanizing the animals at 6 hours after trauma, CSTT was qualitatively evaluated by macroscopic observations of the skin and muscles. For vasculature visualisation, the blood vessels of sacrificed rats were flushed with heparinised saline and then perfused with a radio-opaque contrast agent (Microfil) using an infusion pump (Figure 4). The overall changes to the vasculature as a result of impact trauma were characterised qualitatively based on the 3D reconstructed images of the vasculature (Figure 5). For a smaller region of interest, the morphological parameters such as vessel thickness (diameter), spacing, and average number per volume were quantified using the scanner’s software. RESULTS AND DISCUSSION Visual observation of CSTT has revealed a haematoma in some animals (Figure 3). Micro CT images indicate good perfusion of the vasculature with contrast agent, allowing the major vessels to be identified (Figure 5). Qualitatively and quantitatively, no differences between injured and non-injured legs were observed at 6 h after trauma. Further time points of 12h, 24h, 3 days and 14 days after trauma will be characterised for identifying temporal changes of the vasculature during healing. Histomorphometical studies are required for validation of the results derived from the micro CT imaging. CONCLUSION AND FUTURE DIRECTION Findings of this research may contribute towards the establishment of a fundamental basis for the quantitative assessment and monitoring of CSTT based on microvasculature changes after trauma, which will ultimately allow for optimising the clinical treatment and improve patient outcomes.

Formalising human recognition : a fundamental building block for security proofs

A fundamental part of many authentication protocols which authenticate a party to a human involves the human recognizing or otherwise processing a message received from the party. Examples include typical implementations of Verified by Visa in which a message, previously stored by the human at a bank, is sent by the bank to the human to authenticate the bank to the human; or the expectation that humans will recognize or verify an extended validation certificate in a HTTPS context. This paper presents general definitions and building blocks for the modelling and analysis of human recognition in authentication protocols, allowing the creation of proofs for protocols which include humans. We cover both generalized trawling and human-specific targeted attacks. As examples of the range of uses of our construction, we use the model presented in this paper to prove the security of a mutual authentication login protocol and a human-assisted device pairing protocol.

Reconceptualizing Early Mathematics Learning : The Fundamental Role of Pattern and Structure

The Pattern and Structure Mathematics Awareness Program (PASMAP) was developed concurrently with the studies of AMPS and the development of the Pattern and Structure Assessment (PASA) interview. We summarize some early classroom-based teaching studies and describe the PASMAP that resulted. A large-scale two-year longitudinal study, Reconceptualizing Early Mathematics Learning (REML) resulted. We provide an overview of the REML study and discuss the consequences for our view of early mathematics learning. A purposive sample of four large primary schools, two in Sydney and two in Brisbane, representing 316 students from diverse socio-economic and cultural contexts, participated in an evaluation of the PASMAP intervention throughout the 2009 school year and a follow-up assessment in 2010. Two different mathematics programs were implemented: in each school, two Kindergarten teachers implemented the PASMAP and another two implemented their regular program. The study shows that both groups of students made substantial gains on the ‘I Can Do Maths’ standardized assessment and the PASA interview, but highly significant differences were found on the latter with PASMAP students outperforming the regular group on PASA scores. Qualitative analysis of students’ responses for structural development showed increased levels for the PASMAP students. Implications for pedagogy and curriculum are discussed.

Fundamental Tax Legislation [22nd Edition]

This edition includes a revised Year in Review section, which summarises the legislative developments in taxation over the previous 12 months, a listing of the passage of tax-related legislation during the last year and the inclusion of reference statistics (such as CPI quarterly figures and individual tax rates for residents and non-residents). A Tax Rates and Tables section which contains an accessible summary of the main tax rates and tables that students will need to refer to for their tax studies

Multiscale coupling and multiphysics approaches in earth sciences : theory

Measuring Earth material behaviour on time scales of millions of years transcends our current capability in the laboratory. We review an alternative path considering multiscale and multiphysics approaches with quantitative structure-property relationships. This approach allows a sound basis to incorporate physical principles such as chemistry, thermodynamics, diffusion and geometry-energy relations into simulations and data assimilation on the vast range of length and time scales encountered in the Earth. We identify key length scales for Earth systems processes and find a substantial scale separation between chemical, hydrous and thermal diffusion. We propose that this allows a simplified two-scale analysis where the outputs from the micro-scale model can be used as inputs for meso-scale simulations, which then in turn becomes the micro-model for the next scale up. We present two fundamental theoretical approaches to link the scales through asymptotic homogenisation from a macroscopic thermodynamic view and percolation renormalisation from a microscopic, statistical mechanics view.

Entropic bounds for multi-scale and multi-physics coupling in earth sciences

The ability to understand and predict how thermal, hydrological,mechanical and chemical (THMC) processes interact is fundamental to many research initiatives and industrial applications. We present (1) a new Thermal– Hydrological–Mechanical–Chemical (THMC) coupling formulation, based on non-equilibrium thermodynamics; (2) show how THMC feedback is incorporated in the thermodynamic approach; (3) suggest a unifying thermodynamic framework for multi-scaling; and (4) formulate a new rationale for assessing upper and lower bounds of dissipation for THMC processes. The technique is based on deducing time and length scales suitable for separating processes using a macroscopic finite time thermodynamic approach. We show that if the time and length scales are suitably chosen, the calculation of entropic bounds can be used to describe three different types of material and process uncertainties: geometric uncertainties,stemming from the microstructure; process uncertainty, stemming from the correct derivation of the constitutive behavior; and uncertainties in time evolution, stemming from the path dependence of the time integration of the irreversible entropy production. Although the approach is specifically formulated here for THMC coupling we suggest that it has a much broader applicability. In a general sense it consists of finding the entropic bounds of the dissipation defined by the product of thermodynamic force times thermodynamic flux which in material sciences corresponds to generalized stress and generalized strain rates, respectively.

Exploring the fundamental theorem of arithmetic in excel 2007

This paper discusses how fundamentals of number theory, such as unique prime factorization and greatest common divisor can be made accessible to secondary school students through spreadsheets. In addition, the three basic multiplicative functions of number theory are defined and illustrated through a spreadsheet environment. Primes are defined simply as those natural numbers with just two divisors. One focus of the paper is to show the ease with which spreadsheets can be used to introduce students to some basics of elementary number theory. Complete instructions are given to build a spreadsheet to enable the user to input a positive integer, either with a slider or manually, and see the prime decomposition. The spreadsheet environment allows students to observe patterns, gain structural insight, form and test conjectures, and solve problems in elementary number theory.

Digital image watermarking: its formal model, fundamental properties and possible attacks

While formal definitions and security proofs are well established in some fields like cryptography and steganography, they are not as evident in digital watermarking research. A systematic development of watermarking schemes is desirable, but at present their development is usually informal, ad hoc, and omits the complete realization of application scenarios. This practice not only hinders the choice and use of a suitable scheme for a watermarking application, but also leads to debate about the state-of-the-art for different watermarking applications. With a view to the systematic development of watermarking schemes, we present a formal generic model for digital image watermarking. Considering possible inputs, outputs, and component functions, the initial construction of a basic watermarking model is developed further to incorporate the use of keys. On the basis of our proposed model, fundamental watermarking properties are defined and their importance exemplified for different image applications. We also define a set of possible attacks using our model showing different winning scenarios depending on the adversary capabilities. It is envisaged that with a proper consideration of watermarking properties and adversary actions in different image applications, use of the proposed model would allow a unified treatment of all practically meaningful variants of watermarking schemes.

One-step macroscopic alignment of conjugated polymer systems by epitaxial crystallization during spin-coating

The one-step preparation of highly anisotropic polymer semiconductor thin films directly from solution is demonstrated. The conjugated polymer poly(3-hexylthiophene) (P3HT) as well as P3HT:fullerene bulk-heterojunction blends can be spin-coated from a mixture of the crystallizable solvent 1,3,5-trichlorobenzene (TCB) and a second carrier solvent such as chlorobenzene. Solidification is initiated by growth of macroscopic TCB spherulites followed by epitaxial crystallization of P3HT on TCB crystals. Subsequent sublimation of TCB leaves behind a replica of the original TCB spherulites. Thus, highly ordered thin films are obtained, which feature square-centimeter-sized domains that are composed of one spherulite-like structure each. A combination of optical microscopy and polarized photoluminescence spectroscopy reveals radial alignment of the polymer backbone in case of P3HT, whereas P3HT:fullerene blends display a tangential orientation with respect to the center of spherulite-like structures. Moreover, grazing-incidence wide-angle X-ray scattering reveals an increased relative degree of crystallinity and predominantly flat-on conformation of P3HT crystallites in the blend. The use of other processing methods such as dip-coating is also feasible and offers uniaxial orientation of the macromolecule. Finally, the applicability of this method to a variety of other semi-crystalline conjugated polymer systems is established. Those include other poly(3-alkylthiophene)s, two polyfluorenes, the low band-gap polymer PCPDTBT, a diketopyrrolopyrrole (DPP) small molecule as well as a number of polymer:fullerene and polymer:polymer blends. Macroscopic spherulite-like structures of the conjugated polymer poly(3-hexylthiophene) (P3HT) grow directly during spin-coating. This is achieved by processing P3HT or P3HT:fullerene bulk heterojunction blends from a mixture of the crystallizable solvent 1,3,5-trichlorobenzene and a second carrier solvent such as chlorobenzene. Epitaxial growth of the polymer on solidified solvent crystals gives rise to circular-symmetric, spherulite-like structures that feature a high degree of anisotropy.

On fundamental limitations for rudder roll stabilization of ships

The main purpose of the rudder in ships is course keeping. However, the rudder can also be used, in some cases, to reject undesirable wave produced rolling motions. From a fundamental point of view, the main issues associated with this problem are the presence of a nonminimum phase zero and the single input two output nature of the system. In this paper, the limitations imposed on the achievable closed loop performance due to these issues are analyzed. This gives a deeper understanding of the problem and leads to conclusions regarding the inherent design trade-offs which hold regardless of the control strategy used.

Thin films and nanostructures of niobium pentoxide : fundamental properties, synthesis methods and applications

As one of the transition metal oxides, niobium pentoxide (Nb2O5) offers a broad variety of properties that make it a potentially useful and highly applicable material in many different areas. In comparison to many other transition metal oxides, Nb2O5 has received relatively little attention, which presents a significant opportunity for future investigations aimed at fundamentally understanding this material and finding new and interesting applications for it. In this article, a general overview of Nb2O5 is presented which focuses on its fundamental properties, synthesis methods and recent applications, along with a discussion on future research directions relevant to this material.