Multi-GNSS precise point positioning with raw single-frequency and dual-frequency measurement models

The emergence of multiple satellite navigation systems, including BDS, Galileo, modernized GPS, and GLONASS, brings great opportunities and challenges for precise point positioning (PPP). We study the contributions of various GNSS combinations to PPP performance based on undifferenced or raw observations, in which the signal delays and ionospheric delays must be considered. A priori ionospheric knowledge, such as regional or global corrections, strengthens the estimation of ionospheric delay parameters. The undifferenced models are generally more suitable for single-, dual-, or multi-frequency data processing for single or combined GNSS constellations. Another advantage over ionospheric-free PPP models is that undifferenced models avoid noise amplification by linear combinations. Extensive performance evaluations are conducted with multi-GNSS data sets collected from 105 MGEX stations in July 2014. Dual-frequency PPP results from each single constellation show that the convergence time of undifferenced PPP solution is usually shorter than that of ionospheric-free PPP solutions, while the positioning accuracy of undifferenced PPP shows more improvement for the GLONASS system. In addition, the GLONASS undifferenced PPP results demonstrate performance advantages in high latitude areas, while this impact is less obvious in the GPS/GLONASS combined configuration. The results have also indicated that the BDS GEO satellites have negative impacts on the undifferenced PPP performance given the current “poor” orbit and clock knowledge of GEO satellites. More generally, the multi-GNSS undifferenced PPP results have shown improvements in the convergence time by more than 60 % in both the single- and dual-frequency PPP results, while the positioning accuracy after convergence indicates no significant improvements for the dual-frequency PPP solutions, but an improvement of about 25 % on average for the single-frequency PPP solutions.

Redefining videogame reward types

The aim of our research is to iteratively refine and begin validating a proposed videogame reward typology and its associated definitions. A mixed methods approach has been taken so as to best evaluate and refine the taxonomy. The views of an expert focus group have been explored and considered. Separately, a review of the videogame rewards observed within recreational videogames has been undertaken and analyzed. The collective findings of both the focus group and the videogame reward review have prompted the redesign of an existing videogame reward taxonomy, resulting in more robust definitions with increased applicability.

Revocation and update of trust in autonomous delay tolerant networks

A Delay Tolerant Network (DTN) is a dynamic, fragmented, and ephemeral network formed by a large number of highly mobile nodes. DTNs are ephemeral networks with highly mobile autonomous nodes. This requires distributed and self-organised approaches to trust management. Revocation and replacement of security credentials under adversarial influence by preserving the trust on the entity is still an open problem. Existing methods are mostly limited to detection and removal of malicious nodes. This paper makes use of the mobility property to provide a distributed, self-organising, and scalable revocation and replacement scheme. The proposed scheme effectively utilises the Leverage of Common Friends (LCF) trust system concepts to revoke compromised security credentials, replace them with new ones, whilst preserving the trust on them. The level of achieved entity confidence is thereby preserved. Security and performance of the proposed scheme is evaluated using an experimental data set in comparison with other schemes based around the LCF concept. Our extensive experimental results show that the proposed scheme distributes replacement credentials up to 35% faster and spreads spoofed credentials of strong collaborating adversaries up to 50% slower without causing any significant increase on the communication and storage overheads, when compared to other LCF based schemes.

Decentralised key management for delay tolerant networks

Public key authentication is the verification of the identity-public key binding, and is foundational to the security of any network. The contribution of this thesis has been to provide public key authentication for a decentralised and resource challenged network such as an autonomous Delay Tolerant Network (DTN). It has resulted in the development and evaluation of a combined co-localisation trust system and key distribution scheme evaluated on a realistic large geographic scale mobility model. The thesis also addresses the problem of unplanned key revocation and replacement without any central authority.

Personal health data - Privacy policy harmonization and global enforcement

This workshop is jointly organized by EFMI Working Groups Security, Safety and Ethics and Personal Portable Devices in cooperation with IMIA Working Group "Security in Health Information Systems". In contemporary healthcare and personal health management the collection and use of personal health information takes place in different contexts and jurisdictions. Global use of health data is also expanding. The approach taken by different experts, health service providers, data subjects and secondary users in understanding privacy and the privacy expectations others may have is strongly context dependent. To make eHealth, global healthcare, mHealth and personal health management successful and to enable fair secondary use of personal health data, it is necessary to find a practical and functional balance between privacy expectations of stakeholder groups. The workshop will highlight these privacy concerns by presenting different cases and approaches. Workshop participants will analyse stakeholder privacy expectations that take place in different real-life contexts such as portable health devices and personal health records, and develop a mechanism to balance them in such a way that global protection of health data and its meaningful use is realized simultaneously. Based on the results of the workshop, initial requirements for a global healthcare information certification framework will be developed.

IMIA working group on health record banking - How complex systems can cooperate towards having individual's consolidated data

This workshop aims at discussing alternative approaches to resolving the problem of health information fragmentation, partially resulting from difficulties of health complex systems to semantically interact at the information level. In principle, we challenge the current paradigm of keeping medical records where they were created and discuss an alternative approach in which an individual's health data can be maintained by new entities whose sole responsibility is the sustainability of individual-centric health records. In particular, we will discuss the unique characteristics of the European health information landscape. This workshop is also a business meeting of the IMIA Working Group on Health Record Banking.

Boarding control system for improved accessibility to offshore wind turbines: Full-scale testing

This paper considers the dynamic modelling and motion control of a Surface Effect Ship (SES) for safer transfer of personnel and equipment from vessel to-and-from an offshore wind-turbine. The control system designed is referred to as Boarding Control System (BCS). The performance of this system is investigated for a specific wind-farm service vessel—The Wave Craft. On a SES, the pressurized air cushion supports the majority of the weight of the vessel. The control problem considered relates to the actuation of the pressure such that wave-induced vessel motions are minimized. Results are given through simulation, model- and full-scale experimental testing.

Ship collision avoidance and COLREGS compliance using simulation-based control behavior selection with predictive hazard assessment

This paper describes a concept for a collision avoidance system for ships, which is based on model predictive control. A finite set of alternative control behaviors are generated by varying two parameters: offsets to the guidance course angle commanded to the autopilot and changes to the propulsion command ranging from nominal speed to full reverse. Using simulated predictions of the trajectories of the obstacles and ship, compliance with the Convention on the International Regulations for Preventing Collisions at Sea and collision hazards associated with each of the alternative control behaviors are evaluated on a finite prediction horizon, and the optimal control behavior is selected. Robustness to sensing error, predicted obstacle behavior, and environmental conditions can be ensured by evaluating multiple scenarios for each control behavior. The method is conceptually and computationally simple and yet quite versatile as it can account for the dynamics of the ship, the dynamics of the steering and propulsion system, forces due to wind and ocean current, and any number of obstacles. Simulations show that the method is effective and can manage complex scenarios with multiple dynamic obstacles and uncertainty associated with sensors and predictions.

Exact controllability of generalized Hammerstein type equation

In this article, we study the exact controllability of an abstract model described by the controlled generalized Hammerstein type integral equation $$ x(t) = int_0^t h(t,s)u(s)ds+ int_0^t k(t,s,x)f(s,x(s))ds, quad 0 leq t leq T less than infty, $$ where, the state $x(t)$ lies in a Hilbert space $H$ and control $u(t)$ lies another Hilbert space $V$ for each time $t in I=[0,T]$, $T$ greater than 0. We establish the controllability result under suitable assumptions on $h, k$ and $f$ using the monotone operator theory.

A generalized Stein's estimation approach to speech enhancement based on perceptual criteria

We address the problem of speech enhancement using a risk- estimation approach. In particular, we propose the use the Stein’s unbiased risk estimator (SURE) for solving the problem. The need for a suitable finite-sample risk estimator arises because the actual risks invariably depend on the unknown ground truth. We consider the popular mean-squared error (MSE) criterion first, and then compare it against the perceptually-motivated Itakura-Saito (IS) distortion, by deriving unbiased estimators of the corresponding risks. We use a generalized SURE (GSURE) development, recently proposed by Eldar for MSE. We consider dependent observation models from the exponential family with an additive noise model,and derive an unbiased estimator for the risk corresponding to the IS distortion, which is non-quadratic. This serves to address the speech enhancement problem in a more general setting. Experimental results illustrate that the IS metric is efficient in suppressing musical noise, which affects the MSE-enhanced speech. However, in terms of global signal-to-noise ratio (SNR), the minimum MSE solution gives better results.

Isolated singularities of polyharmonic operator in even dimension

We consider the equation Delta(2)u = g(x, u) >= 0 in the sense of distribution in Omega' = Omega\textbackslash {0} where u and -Delta u >= 0. Then it is known that u solves Delta(2)u = g(x, u) + alpha delta(0) - beta Delta delta(0), for some nonnegative constants alpha and beta. In this paper, we study the existence of singular solutions to Delta(2)u = a(x) f (u) + alpha delta(0) - beta Delta delta(0) in a domain Omega subset of R-4, a is a nonnegative measurable function in some Lebesgue space. If Delta(2)u = a(x) f (u) in Omega', then we find the growth of the nonlinearity f that determines alpha and beta to be 0. In case when alpha = beta = 0, we will establish regularity results when f (t) <= Ce-gamma t, for some C, gamma > 0. This paper extends the work of Soranzo (1997) where the author finds the barrier function in higher dimensions (N >= 5) with a specific weight function a(x) = |x|(sigma). Later, we discuss its analogous generalization for the polyharmonic operator.

Experimental Investigations on Interaction of Two Drops by Thermocapillary-Buoyancy Migration

Experiments were performed, in a terrestrial environment, to study the migration and interaction of two drops with different diameters in matrix liquid under temperature gradient field. Pure soybean oil and silicon oil were used as matrix liquid and the drop liquid, respectively. The information on the motions of two drops was recorded by CCD camera system in the experiments to analyze the trajectories and velocities of the drops. Our experiments showed that, upon two drops approaching each other, the influence of the larger drop on the motion of the smaller one became significant. Meanwhile the smaller drop had a little influence on the larger one all the time. The oscillation of migration velocities of both drops was observed as they were approaching. For a short period the smaller drop even moved backward when it became side by side with the larger one during the migration. Although our experimental results on the behavior of two drops are basically consistent with the theoretical predictions, there are also apparent differences. 2006 Elsevier Ltd. All rights reserved. Keywords: Thermocapillary migration; Drop; Interaction; Oscillation 1. Introduction A bubble or drop will move when placed in another fluid with temperature gradient. This motion happens as a consequence of the variation of interfacial tension with temperature. Such a phenomenon is already known as Marangoni migration problem. With the development of microgravity science, bubble dynamics and droplet dynamics became a hot point problem of research because this investigation is very important for basic research as well as for applications in reduced gravity environment, such as space material science, chemical engineering and so on. Young et al. first investigated the thermocapillary migration of

Reproductive Biology of Amblema neislerii, Elliptoideus sloatianus, Lampsilis subangulata, Medionidus penicillatus, and Pleurobema pyriforme (Bivalvia: Unionidae): final report

A study on the reproductive biology of Amblema neislerii, Elliptoideus sloatianus, Lampsilis subangulata, Medionidus penicillatus, and Pleurobema pyriforme was conducted from May 1995 to May 1997. The objectives of this study were as follows: 1) determine period of gravidity for each of the five mussel species, 2) determine host fish via laboratory experiments, 3) test whether unionid glochidia will transform on a nonidingenous fish, and 4) describe the glochidial morphology for each of the five mussel species using a scanning electron microscope. Amblema neislerii are tachytictic breeders and were found with mature glochidia in May. Elliptoideus sloatianus are tachytictic breeders and were found with mature glochidia from late February to early April. Lampsilis subangulata are bradytictic breeders and were found with mature glochidia from December to August. Superconglutinates were released by L. subangulata from late May to early July. Medionidus penicillatus are bradytictic breeders and were found with mature glochidia in November and February to April. Pleurobema pyriforme are tachytictic breeders and were found with mature glochidia from March to July. The following fish species served as hosts for A. neislerii: Notropis texanus, Lepomis macrochirus, L. microlophus, Micropterus salmoides, and Percina nigrofasciata. The following fish species served as hosts for E. sloatianus: Gambusia holbrooki, Poecilia reticulata, and P. nigrofasciata. The following fish species served as hosts for L. subangulata: G. holbrooki, P. reticulata, L. macrochirus, Micropterus punctulatus, and M. salmoides. The following fish species served as hosts for M. penicillatus: G. holbrooki, P. reticulata, Etheostoma edwini, and P. nigrofasciata. The following fish species served as hosts for P. pyriforme: Pteronotropis hypselopterus, G. holbrooki, and P. reticulata. Poecilia reticulata, a nonindigenous fish, served as a host for E. sloatianus, L. subangulata, M. penicillatus, and P. pyriforme. (76 page document)

Baseline aquatic faunal survey of Avon Park Air Force Range, Florida: fishes, mollusks, and crayfishes

This report presents results of the first systematic study of the diversity and distribution of fishes and mussels in Avon Park Air Force Range (APR). We also provide information on crayfishes and aquatic snails taken during our fish and mussel sampling activities. Our surveys documented the presence of 46 species of fishes (43 native and 3 nonindigenous), 9 species of mussels (including 8 native and 1 nonindigenous species), 5 species of aquatic snails, and two crayfish species. (347 page document)

Aquatic Commons

14 slides