Stochastic modelling considering ionospheric scintillation effects on GNSS relative and point positioning

Global Navigation Satellite Systems (GNSS), in particular the Global Positioning System (GPS), have been widely used for high accuracy geodetic positioning. The Least Squares functional models related to the GNSS observables have been more extensively studied than the corresponding stochastic models, given that the development of the latter is significantly more complex. As a result, a simplified stochastic model is often used in GNSS positioning, which assumes that all the GNSS observables are statistically independent and of the same quality, i.e. a similar variance is assigned indiscriminately to all of the measurements. However, the definition of the stochastic model may be approached from a more detailed perspective, considering specific effects affecting each observable individually, as for example the effects of ionospheric scintillation. These effects relate to phase and amplitude fluctuations in the satellites signals that occur due to diffraction on electron density irregularities in the ionosphere and are particularly relevant at equatorial and high latitude regions, especially during periods of high solar activity. As a consequence, degraded measurement quality and poorer positioning accuracy may result.     

The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology

Abstract

In this paper we propose a spatial ontology for reasoning about holes, rigid objects and a string, taking a classical puzzle as a motivating example. In this ontology the domain is composed of spatial regions whereby a theory about holes is defined over a mereotopological basis. Within this theory we define a data structure, named chain, that facilitates a clear and efficient representation of the puzzle states and its solution.     

Gravity waves and wind-shear in the MLT at 23°S

We have used the technique suggested by Hocking [Hocking, W. A new approach to momentum flux determinations using SKiYMET meteor radars. Ann. Geophys. 23, 2005.] to derive short period wind variances in the 80–100 km region from meteor radar data. We find that these fluctuating winds, assumed to correspond to gravity waves and turbulence, are closely correlated with the vertical shear of the horizontal tidal winds. This close correlation suggests that in situ wind shear may be a major source of gravity waves and turbulence in the MLT. If this is the case, gravity waves generated in the troposphere and propagating up to the MLT region, generally assumed to constitute an important influence on the climatology of the region, may be a less important source of energy and momentum in the 80–100 km region than has been hitherto believed.     

Evaluating the feasibility of GPS measurements of SSH on board a ship along the Portuguese West Coast

Aiming to validate coastal altimetry data, an exploratory experiment was carried out, using a survey ship with onboard GPS and motion compensation systems. The ship navigation plan followed a track as coincident as possible with the passage of two altimetry satellites, Envisat and Jason-1, along the Portuguese coast, in June 2007.     

Ground and satellite-based observations of ionospheric plasma bubbles and blobs at 5.65° latitude in the Brazilian sector

This investigation uses simultaneous observations from all-sky imager system and an ionosonde collocated at Araguatins (5.65° S, 48.07° W and dip-latitude of 4.17° S), a near-equatorial region in Brazil. These simultaneous observations were used to investigate the occurrence of plasma bubbles and blobs in the field of the imaging system and their association with atypical range Spread-F signature in ionograms. Also, in-situ observation of plasma density from Swarm satellites were used to support the ground-based observations. Using a few cases, a methodology will be established to identify in the plasma blobs (atypical ESF) in the ionograms when there is the simultaneous observation of plasma bubbles and blobs in the field of view of the ionosonde. For this purpose, simultaneous sequence of OI 630.0 nm nightglow images and ionograms are presented for different case studies; 1. when there is the absence of a plasma bubble or blob, 2. when there is only the occurrence of plasma bubbles and 3. when there is the occurrence of plasma bubbles and blobs, in order to compare traces in the ionogram in all these case studies. With these we can cover all kinds of signatures in the ionograms corresponding to no irregularities, plasma bubbles only and plasma bubbles-blobs. These OI 630.0 nm nightglow and ionograms recorded simultaneously make it possible to establish a novel methodology to recognize in ionograms cases when there is the occurrence of Spread-F signature associated with bubble-blob in the FOV of the ionosonde.     

Early morning enhancement in ionospheric electron density during intense magnetic storms

This study reports on ionospheric disturbances that occurred in the early morning hours in the South American–Atlantic sector during a few intense/super storm events. The events were observed at latitudes close to the southern crest of the equatorial ionization anomaly (EIA) as an unusual intensification of the F region electron density peak at local times when the EIA is not usually developed. All the events were observed at pre dawn-morning hours, under conditions of northward interplanetary geomagnetic field. Large scale traveling ionospheric disturbances that are launched during highly disturbed conditions and/or equatorward surges in the thermospheric meridional winds seem to be the most probable causes of the observed disturbances.     

Framing holes within a loop hierarchy

We investigate the relation between nontrivial spatial concepts such as holes and string loops from a qualitative spatial reasoning perspective. In particular, we concentrate on a family of puzzles dealing with this kind of objects and explain how a loop formed in a string shows a similar behavior to a hole in an object, at least regarding the qualitative constraints it imposes on the solution of the puzzle. Unlike regular holes, however, we describe how string loops can be dynamically created and destroyed depending on the actions on the string. Furthermore, under a Knowledge Representation point of view, we provide a formalization that allows the different puzzle states to be described in terms of string crossings and loops, together with the actions that can be executed for a state transition and the complex effects they cause on the state representation. This implies the consideration of a formal representation of the side effects of actions that create or destroy string loops and the soundness of this representation with respect to the more general representation of string states in knot theory.     

The Perception and Content of Cast Shadows: An Interdisciplinary Review

Abstract

Recently, psychologists have turned their attention to the study of cast shadows and demonstrated that the human perceptual system values information from shadows very highly in the perception of spatial qualities, sometimes to the detriment of other cues. However with some notable and recent exceptions, computer vision systems treat cast shadows not as signal but as noise. This paper provides a concise yet comprehensive review of the literature on cast shadow perception from across the cognitive sciences, including the theoretical information available, the perception of shadows in human and machine vision, and the ways in which shadows can be used.     

Reasoning about Depth and Motion from an Observer's Viewpoint

ABSTRACT

The goal of this paper is to present a logic-based formalism for representing knowledge about objects in space and their movements, and show how this knowledge could be built up from the viewpoint of an observer immersed in a dynamic world. In this paper space is represented using functions that extract attributes of depth, size and distance from snapshots of the world. These attributes compose a novel spatial reasoning system named Depth Profile Calculus (DPC). Transitions between qualitative relations involving these attributes are represented by an extension of this calculus called Dynamic Depth Profile Calculus (DDPC). We argue that knowledge about objects in the world could be built up via a process of abduction on DDPC relations.