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.

Resources for improving journalists' understanding of the economic and financial parameters of Australia's agricultural and commodity producers

The research addresses how an understanding of the fundamentals of economics will better inform general journalists who report on issues or events affecting rural and regional Australia. The research draws on practice-based experience of the author, formal economics studies, interviews with news editors from Australian television news organisations, and interviews from leading economists. A guidebook has also been written to help journalists apply economic theories to their reporting. The guidebook enables reporters to think strategically and consider the 'big picture' when they inform society about policies, commodity trade, the environment, or any issues involving rural and regional Australia.

How to increase the accuracy of analysis and reduce the computational time in ANSYS in the case of deformation study of orthopedic bone plates

Currently, finite element analyses are usually done by means of commercial software tools. Accuracy of analysis and computational time are two important factors in efficiency of these tools. This paper studies the effective parameters in computational time and accuracy of finite element analyses performed by ANSYS and provides the guidelines for the users of this software whenever they us this software for study on deformation of orthopedic bone plates or study on similar cases. It is not a fundamental scientific study and only shares the findings of the authors about structural analysis by means of ANSYS workbench. It gives an idea to the readers about improving the performance of the software and avoiding the traps. The solutions provided in this paper are not the only possible solutions of the problems and in similar cases there are other solutions which are not given in this paper. The parameters of solution method, material model, geometric model, mesh configuration, number of the analysis steps, program controlled parameters and computer settings are discussed through thoroughly in this paper.

The impact of incidents on macroscopic fundamental diagram

Macroscopic Fundamental Diagram (MFD) has been proved to exist in large urban road and freeway networks by theoretic method and real data in cities. However hysteresis and scatters have also been found existed both on motorway network and urban road. This paper investigates how the incident variables affect the scatter and shape of the MFD using both the simulated data and the real data collected from the Pacific Motorway M3 in Brisbane, Australia. Three key components of incident are investigated based on the simulated data: incident location, incident duration time and traffic demand. Results based on the simulated data indicate that MFD shape is a property not only of the network itself but also of the incident characteristics variables. MFDs for three types of real incidents (crash, hazard and breakdown) are explored separately. The results based on the empirical data are consistent with the simulated results. The hysteresis phenomenon occurs on both the upstream and the downstream of the incident location, but for opposite hysteresis loops. Gradient of the MFD for the upstream is more than that for the downstream on the incident site, when traffic demand is off peak.

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.

Gait parameters associated with hallux valgus : a systematic review

Background Hallux valgus (HV) has been linked to functional disability and increased falls risk in older adults. However, specific gait alterations in individuals with HV are unclear. This systematic review investigated gait parameters associated with HV in otherwise healthy adults. Methods Electronic databases (Medline, Embase, CINAHL) were searched to October 2011, including cross-sectional studies with clearly defined HV and non-HV comparison groups. Two investigators independently rated studies for methodological quality. Effect sizes (95% confidence intervals (CI)) were calculated as standardized mean differences (SMD) for continuous data and risk ratios (RR) for dichotomous data. Results Nine studies included a total of 589 participants. Three plantar pressure studies reported increased hallux loading (SMD 0.56 to 1.78) and medial forefoot loading (SMD 0.62 to 1.21), while one study found reduced first metatarsal loading (SMD −0.61, CI −1.19 to −0.03) in HV participants. HV participants demonstrated less ankle and rearfoot motion during terminal stance (SMD −0.81 to −0.63) and increased intrinsic muscle activity (RR 1.6, 1.1 to 2.2). Most studies reported no differences in spatio-temporal parameters; however, one study found reduced speed (SMD −0.73, -1.25 to −0.20), step length (SMD −0.66 to −0.59) and less stable gait patterns (SMD −0.86 to −0.78) in older adults with HV. Conclusions HV impacts on particular gait parameters, and further understanding of potentially modifiable factors is important for prevention and management of HV. Cause and effect relationships cannot be inferred from cross-sectional studies, thus prospective studies are warranted to elucidate the relationship between HV and functional disability.

Modelling of ellipsoidal nanowires : control and application

The properties of ellipsoidal nanowires are yet to be examined. They have likely applications in sensing, solar cells, microelectronics and cloaking devices. Little is known of the qualities that ellipse nanowires exhibit as we vary the aspect ratio with different dielectric materials and how varying these attributes affects plasmon coupling and propagation. It is known that the distance a plasmon can travel is further if it is supported by a thicker circular nanowire, while thinner nanowires are expected to be able to increase QD coupling. Ellipsoidal nanowires may be a good compromise due to their ability to have both thin and thick dimensions. Furthermore it has been shown that the plasmon resonances along the main axis of an ellipsoidal particle is governed by the relative aspect ratio of the ellipsoid, which may lead to further control of the plasmon. Research was done by the use of COMSOL Multiphysics by looking at the fundamental plasmon mode supported by an ellipsoidal nanowire and then studying this mode for various geometrical parameters, materials and illumination wavelength. Accordingly it was found that ellipsoidal nanowires exhibit a minimum for the wavenumber and a maximum for the propagation distance at roughly the same dimensions - Highlighting that there is an aspect ratio for which there is poor coupling but low loss. Here we investigate these and related attributes.

Agreement between temporal and spatial gait parameters from an instrumented walkway and treadmill system at matched walking speed

Background Commercially available instrumented treadmill systems that provide continuous measures of temporospatial gait parameters have recently become available for clinical gait analysis. This study evaluated the level of agreement between temporospatial gait parameters derived from a new instrumented treadmill, which incorporated a capacitance-based pressure array, with those measured by a conventional instrumented walkway (criterion standard). Methods Temporospatial gait parameters were estimated from 39 healthy adults while walking over an instrumented walkway (GAITRite®) and instrumented treadmill system (Zebris) at matched speed. Differences in temporospatial parameters derived from the two systems were evaluated using repeated measures ANOVA models. Pearson-product-moment correlations were used to investigate relationships between variables measured by each system. Agreement was assessed by calculating the bias and 95% limits of agreement. Results All temporospatial parameters measured via the instrumented walkway were significantly different from those obtained from the instrumented treadmill (P < .01). Temporospatial parameters derived from the two systems were highly correlated (r, 0.79–0.95). The 95% limits of agreement for temporal parameters were typically less than ±2% of gait cycle duration. However, 95% limits of agreement for spatial measures were as much as ±5 cm. Conclusions Differences in temporospatial parameters between systems were small but statistically significant and of similar magnitude to changes reported between shod and unshod gait in healthy young adults. Temporospatial parameters derived from an instrumented treadmill, therefore, are not representative of those obtained from an instrumented walkway and should not be interpreted with reference to literature on overground walking.

Reliability of spatiotemporal and kinetic gait parameters determined by a new instrumented treadmill system

Background Despite the emerging use of treadmills integrated with pressure platforms as outcome tools in both clinical and research settings, published evidence regarding the measurement properties of these new systems is limited. This study evaluated the within– and between–day repeatability of spatial, temporal and vertical ground reaction forces measured by a treadmill system instrumented with a capacitance–based pressure platform. Methods Thirty three healthy adults (mean age, 21.5 ± 2.8 years; height, 168.4 ± 9.9 cm; and mass, 67.8 ± 18.6 kg), walked barefoot on a treadmill system (FDM–THM–S, Zebris Medical GmbH) on three separate occasions. For each testing session, participants set their preferred pace but were blinded to treadmill speed. Spatial (foot rotation, step width, stride and step length), temporal (stride and step times, duration of stance, swing and single and double support) and peak vertical ground reaction force variables were collected over a 30–second capture period, equating to an average of 52 ± 5 steps of steady–state walking. Testing was repeated one week following the initial trial and again, for a third time, 20 minutes later. Repeated measures ANOVAs within a generalized linear modelling framework were used to assess between–session differences in gait parameters. Agreement between gait parameters measured within the same day (session 2 and 3) and between days (session 1 and 2; 1 and 3) were evaluated using the 95% repeatability coefficient. Results There were statistically significant differences in the majority (14/16) of temporal, spatial and kinetic gait parameters over the three test sessions (P < .01). The minimum change that could be detected with 95% confidence ranged between 3% and 17% for temporal parameters, 14% and 33% for spatial parameters, and 4% and 20% for kinetic parameters between days. Within–day repeatability was similar to that observed between days. Temporal and kinetic gait parameters were typically more consistent than spatial parameters. The 95% repeatability coefficient for vertical force peaks ranged between ± 53 and ± 63 N. Conclusions The limits of agreement in spatial parameters and ground reaction forces for the treadmill system encompass previously reported changes with neuromuscular pathology and footwear interventions. These findings provide clinicians and researchers with an indication of the repeatability and sensitivity of the Zebris treadmill system to detect changes in common spatiotemporal gait parameters and vertical ground reaction forces.

The essential parameters of a resource-based carrying capacity assessment model : an Australian case study

Carrying capacity assessments model a population’s potential self-sufficiency. A crucial first step in the development of such modelling is to examine the basic resource-based parameters defining the population’s production and consumption habits. These parameters include basic human needs such as food, water, shelter and energy together with climatic, environmental and behavioural characteristics. Each of these parameters imparts land-usage requirements in different ways and varied degrees so their incorporation into carrying capacity modelling also differs. Given that the availability and values of production parameters may differ between locations, no two carrying capacity models are likely to be exactly alike. However, the essential parameters themselves can remain consistent so one example, the Carrying Capacity Dashboard, is offered as a case study to highlight one way in which these parameters are utilised. While examples exist of findings made from carrying capacity assessment modelling, to date, guidelines for replication of such studies in other regions and scales have largely been overlooked. This paper addresses such shortcomings by describing a process for the inclusion and calibration of the most important resource-based parameters in a way that could be repeated elsewhere.

Brisbane Macroscopic Fundamental Diagram : empirical findings on network partitioning and incident detection

The Macroscopic Fundamental Diagram (MFD) relates space-mean density and flow, and the existence with dynamic features was confirmed in congested urban network in downtown Yokohama with real data set. Since the MFD represents the area-wide network traffic performances, studies on perimeter control strategies and an area traffic state estimation utilizing the MFD concept has been reported. However, limited works have been reported on real world example from signalised arterial network. This paper fuses data from multiple sources (Bluetooth, Loops and Signals) and develops a framework for the development of the MFD for Brisbane, Australia. Existence of the MFD in Brisbane arterial network is confirmed. Different MFDs (from whole network and several sub regions) are evaluated to discover the spatial partitioning in network performance representation. The findings confirmed the usefulness of appropriate network partitioning for traffic monitoring and incident detections. The discussion addressed future research directions

Identification and estimation of equivalent area parameters using synchronised phasor measurements

A new approach is proposed for obtaining a non-linear area-based equivalent model of power systems to express the inter-area oscillations using synchronised phasor measurements. The generators that remain coherent for inter-area disturbances over a wide range of operating conditions define the areas, and the reduced model is obtained by representing each area by an equivalent machine. The parameters of the reduced system are identified by processing the obtained measurements, and a non-linear Kalman estimator is then designed for the estimation of equivalent area angles and frequencies. The simulation of the approach on a two-area system shows substantial reduction of non-inter-area modes in the estimated angles. The proposed methods are also applied to a ten-machine system to illustrate the feasibility of the approach on larger and meshed networks.