A Satellite Selection Algorithm for Achieving High Reliability of Ambiguity Resolution with GPS and Beidou Constellations

Reliability of carrier phase ambiguity resolution (AR) of an integer least-squares (ILS) problem depends on ambiguity success rate (ASR), which in practice can be well approximated by the success probability of integer bootstrapping solutions. With the current GPS constellation, sufficiently high ASR of geometry-based model can only be achievable at certain percentage of time. As a result, high reliability of AR cannot be assured by the single constellation. In the event of dual constellations system (DCS), for example, GPS and Beidou, which provide more satellites in view, users can expect significant performance benefits such as AR reliability and high precision positioning solutions. Simply using all the satellites in view for AR and positioning is a straightforward solution, but does not necessarily lead to high reliability as it is hoped. The paper presents an alternative approach that selects a subset of the visible satellites to achieve a higher reliability performance of the AR solutions in a multi-GNSS environment, instead of using all the satellites. Traditionally, satellite selection algorithms are mostly based on the position dilution of precision (PDOP) in order to meet accuracy requirements. In this contribution, some reliability criteria are introduced for GNSS satellite selection, and a novel satellite selection algorithm for reliable ambiguity resolution (SARA) is developed. The SARA algorithm allows receivers to select a subset of satellites for achieving high ASR such as above 0.99. Numerical results from a simulated dual constellation cases show that with the SARA procedure, the percentages of ASR values in excess of 0.99 and the percentages of ratio-test values passing the threshold 3 are both higher than those directly using all satellites in view, particularly in the case of dual-constellation, the percentages of ASRs (>0.99) and ratio-test values (>3) could be as high as 98.0 and 98.5 % respectively, compared to 18.1 and 25.0 % without satellite selection process. It is also worth noting that the implementation of SARA is simple and the computation time is low, which can be applied in most real-time data processing applications.

A controlled, rapid approach to curriculum change

Teachers are continually bombarded with change programs for improvements in areas such as literacy and numeracy, however; the focus is often on the program and not on results (Pertuzé, Calder, Greitzer & Lucas, 2010). When the inevitable failure follows (Fullan, 2005; Gross, Giacquinta & Bernstein, 1971)the school moves on to a new activities-based model.

A comparison of mathematical models for phase separation in high-rate LiFePO4 cathodes

We construct a two-scale mathematical model for modern, high-rate LiFePO4cathodes. We attempt to validate against experimental data using two forms of the phase-field model developed recently to represent the concentration of Li+ in nano-sized LiFePO4crystals. We also compare this with the shrinking-core based model we developed previously. Validating against high-rate experimental data, in which electronic and electrolytic resistances have been reduced is an excellent test of the validity of the crystal-scale model used to represent the phase-change that may occur in LiFePO4material. We obtain poor fits with the shrinking-core based model, even with fitting based on “effective” parameter values. Surprisingly, using the more sophisticated phase-field models on the crystal-scale results in poorer fits, though a significant parameter regime could not be investigated due to numerical difficulties. Separate to the fits obtained, using phase-field based models embedded in a two-scale cathodic model results in “many-particle” effects consistent with those reported recently.

Analysis of two authorization protocols using Colored Petri Nets

To prevent unauthorized access to protected trusted platform module (TPM) objects, authorization protocols, such as the object-specific authorization protocol (OSAP), have been introduced by the trusted computing group (TCG). By using OSAP, processes trying to gain access to the protected TPM objects need to prove their knowledge of relevant authorization data before access to the objects can be granted. Chen and Ryan’s 2009 analysis has demonstrated OSAP’s authentication vulnerability in sessions with shared authorization data. They also proposed the Session Key Authorization Protocol (SKAP) with fewer stages as an alternative to OSAP. Chen and Ryan’s analysis of SKAP using ProVerif proves the authentication property. The purpose of this paper was to examine the usefulness of Colored Petri Nets (CPN) and CPN Tools for security analysis. Using OSAP and SKAP as case studies, we construct intruder and authentication property models in CPN. CPN Tools is used to verify the authentication property using a Dolev–Yao-based model. Verification of the authentication property in both models using the state space tool produces results consistent with those of Chen and Ryan.

Control of solar powered micro-grids using electric vehicles

Large scale solar plants are gaining recognition as potential energy sources for future. In this paper, the feasibility of using electric vehicles (EVs) to control a solar powered micro-grid is investigated in detail. The paper presents a PSCAD/EMTDC based model for the solar powered micro-grid with EVs. EVs are expected to have both the vehicle-to-grid (V2G) and grid-to-vehicle (G2V) capability, through which energy can either be injected into or extracted from the solar powered micro-grid to control its energy imbalance. Using the model, the behaviour of the micro-grid is investigated under a given load profile, and the results indicate that a minimum number of EVs are required to meet the energy imbalance and it is time dependent and influenced by various factors such as depth of charge, commuting profiles, reliability etc...

Interacting motile agents : taking a mean-field approach beyond monomers and nearest-neighbor steps

We consider a discrete agent-based model on a one-dimensional lattice, where each agent occupies L sites and attempts movements over a distance of d lattice sites. Agents obey a strict simple exclusion rule. A discrete-time master equation is derived using a mean-field approximation and careful probability arguments. In the continuum limit, nonlinear diffusion equations that describe the average agent occupancy are obtained. Averaged discrete simulation data are generated and shown to compare very well with the solution to the derived nonlinear diffusion equations. This framework allows us to approach a lattice-free result using all the advantages of lattice methods. Since different cell types have different shapes and speeds of movement, this work offers insight into population-level behavior of collective cellular motion.

Collective motion of dimers

We consider a discrete agent-based model on a one-dimensional lattice and a two-dimensional square lattice, where each agent is a dimer occupying two sites. Agents move by vacating one occupied site in favor of a nearest-neighbor site and obey either a strict simple exclusion rule or a weaker constraint that permits partial overlaps between dimers. Using indicator variables and careful probability arguments, a discrete-time master equation for these processes is derived systematically within a mean-field approximation. In the continuum limit, nonlinear diffusion equations that describe the average agent occupancy of the dimer population are obtained. In addition, we show that multiple species of interacting subpopulations give rise to advection-diffusion equations. Averaged discrete simulation data compares very well with the solution to the continuum partial differential equation models. Since many cell types are elongated rather than circular, this work offers insight into population-level behavior of collective cellular motion.

Building macroscale models from microscale probabilistic models : a general probabilistic approach for nonlinear diffusion and multispecies phenomena

A discrete agent-based model on a periodic lattice of arbitrary dimension is considered. Agents move to nearest-neighbor sites by a motility mechanism accounting for general interactions, which may include volume exclusion. The partial differential equation describing the average occupancy of the agent population is derived systematically. A diffusion equation arises for all types of interactions and is nonlinear except for the simplest interactions. In addition, multiple species of interacting subpopulations give rise to an advection-diffusion equation for each subpopulation. This work extends and generalizes previous specific results, providing a construction method for determining the transport coefficients in terms of a single conditional transition probability, which depends on the occupancy of sites in an influence region. These coefficients characterize the diffusion of agents in a crowded environment in biological and physical processes.

Designing fashion : an exploration of practitioner research within the university environment

This thesis positions practitioner research within the emerging discipline of fashion and disputes that practitioner knowledge of fashion is predominantly tacit. This research contributes to the understanding of practitioner knowledge and proposes an object based model of practitioner research as an alternative to existing practice-led methodologies. The thesis theorises fashion objects as a site of significant knowledge and argues their potential to record and communicate fashion knowledge and disseminate practice-led research.

Profiling : an application assignment approach for green data centers

In the past few years, there has been a steady increase in the attention, importance and focus of green initiatives related to data centers. While various energy aware measures have been developed for data centers, the requirement of improving the performance efficiency of application assignment at the same time has yet to be fulfilled. For instance, many energy aware measures applied to data centers maintain a trade-off between energy consumption and Quality of Service (QoS). To address this problem, this paper presents a novel concept of profiling to facilitate offline optimization for a deterministic application assignment to virtual machines. Then, a profile-based model is established for obtaining near-optimal allocations of applications to virtual machines with consideration of three major objectives: energy cost, CPU utilization efficiency and application completion time. From this model, a profile-based and scalable matching algorithm is developed to solve the profile-based model. The assignment efficiency of our algorithm is then compared with that of the Hungarian algorithm, which does not scale well though giving the optimal solution.

Policing in Rural Australia: The country cop as law enforcer and local resident

The strategies and techniques that police officers employ are adaptations to the types of communities they serve and the law enforcement system of which they are part. Observations of policing in rural and urban areas of Australia indicate that, despite being part of a single state police service, officers develop working philosophies that are systematically adapted to the locations they serve. Bayley (1989) has observed that while crimes are policed in the city, people are policed in the country. Rural police officers often adopt a community-based model of policing in which officers become integrated into a community and establish compatible community relations. While this model can produce successful results, with integration into informal social networks providing police increased opportunities to solve crime, rural police regularly find themselves occupying competing roles of law enforcer and local resident. This chapter will outline how the organisation and structure of rural communities impacts upon policing, noting distinct issues associated with police work in rural settings. Before examining current aspects of rural policing, a brief discussion of the historical and cultural context of rural policing is provided.

“Back to the future” – a retrospective analysis of university business models

Using established strategic management and business model frameworks we map the evolution of universities in the context of their value proposition to students as consumers of their products. We argue that in the main universities over time have transitioned from a value-based business model through to an efficiency-based business model that for numerous reasons, is becoming rapidly unsustainable. We further argue that the future university business models would benefit with a reconfiguration towards a network value based model. This approach requires a revised set of perceived benefits, better aligned to the current and future expectations and an alternate approach to the delivery of those benefits to learner / consumers.

Extinction risk analysis of exploited green turtle stocks in the Indo-Pacific

In parts of the Indo-Pacific, large-scale exploitation of the green turtle Chelonia mydas continues to pose a serious threat to the persistence of this species; yet very few studies have assessed the pattern and extent of the impact of such harvests. We used demographic and genetic data in an age-based model to investigate the viability of an exploited green turtle stock from Aru, south-east Indonesia. We found that populations are decreasing under current exploitation pressures. The effects of increasingly severe exploitation activities at foraging and nesting habitat varied depending on the migratory patterns of the stock. Our model predicted a rapid decline of the Aru stock in Indonesia under local exploitation pressure and a shift in the genetic composition of the stock. We used the model to investigate the influence of different types of conservation actions on the persistence of the Aru stock. The results show that local management actions such as nest protection and reducing harvests of adult nesting and foraging turtles can have considerable conservation outcomes and result in the long-term persistence of genetically distinct management units. © 2010 The Authors. Animal Conservation © 2010 The Zoological Society of London.

Impact of technology uptake on an Australian electricity distribution network

This paper presents simulation results for future electricity grids using an agent-based model developed with MODAM (MODular Agent-based Model). MODAM is introduced and its use demonstrated through four simulations based on a scenario that expects a rise of on-site renewable generators and electric vehicles (EV) usage. The simulations were run over many years, for two areas in Townsville, Australia, capturing variability in space of the technology uptake, and for two charging methods for EV, capturing people's behaviours and their impact on the time of the peak load. Impact analyses of these technologies were performed over the areas, down to the distribution transformer level, where greater variability of their contribution to the assets peak load was observed. The MODAM models can be used for different purposes such as impact of renewables on grid sizing, or on greenhouse gas emissions. The insights gained from using MODAM for technology assessment are discussed.

The organisational context of nursing care in stroke units: A case study approach

Background Internationally the stroke unit is recognised as the evidence-based model for patient management, although clarity about the effective components of stroke units is lacking. Whilst skilled nursing care has been proposed as one component, the theoretical and empirical basis for stroke nursing is limited. We attempted to explore the organisational context of stroke unit nursing, to determine those features that staff perceived to be important in facilitating high quality care. Design A case study approach was used, that included interviews with nurses and members of the multidisciplinary teams in two Canadian acute stroke units. A total of 20 interviews were completed, transcribed and analysed thematically using the Framework Approach. Trustworthiness was established through the review of themes and their interpretation by members of the stroke units. Findings Nine themes that comprised an organisational context that supported the delivery of high quality nursing care in acute stroke units were identified, and provide a framework for organisational development. The study highlighted the importance of an overarching service model to guide the organisation of care and the development of specialist and advanced nursing roles. Whilst multidisciplinary working appears to be a key component of stroke unit nursing, various organisational challenges to its successful implementation were highlighted. In particular the consequence of differences in the therapeutic approach of nurses and therapy staff needs to be explored in greater depth. Successful teamwork appears to depend on opportunities for the development of relationships between team members as much as the use of formal communication systems and structures. A co-ordinated approach to education and training, clinical leadership, a commitment to research, and opportunities for role and practice development also appear to be key organisational features of stroke unit nursing. Recommendations for the development of stroke nursing leadership and future research into teamwork in stroke settings are made.