A modified debugging infrastructure to assist real time fault injection campaigns

Fault injection is frequently used for the verification and validation of the fault tolerant features of microprocessors. This paper proposes the modification of a common on-chip debugging (OCD) infrastructure to add fault injection capabilities and improve performance. The proposed solution imposes a very low logic overhead and provides a flexible and efficient mechanism for the execution of fault injection campaigns, being applicable to different target system architectures.

The Cristo Rei section (Lower Miocene). Distal fluviatile environments in a marine series, plants, vertebrates and other evidence, age

The section at Cristo Rei shows sandy beds with intercalated clayey lenses (IVb division from the Lisbon Miocene series) that correspond to a major regression event dated from between ca. 17.6 and 17 Ma. They also correspond to a distal position (relatively to the typical fluviatile facies in Lisbon), nearer the basin's axis. Geologic data and paleontological analysis (plant fossils, fishes, crocodilians, land mammals) allow the reconstruction of environments that were represented in the concerned area: estuary with channels and ox-bows; upstream, areas occupied by brackish waters where Gryphaea griphoides banks developped; still farther upstream, freshwaters sided by humid forests and low mountain subtropical forests under warm temperate and rainy conditions, as well as not far away, seasonally dry environments (low density tree or shrub cover, or steppe).

Toarcian GSSP candidate: the Peniche section at Ponta do Trovão

The Peniche section (Ponta do Trovão) in Portugal is presented as potential stratotype (GSSP) for the Pliensbachian/Toarcian boundary. The lithostratigraphic succession is described and the chronostratigraphy, based on ammonite assemblages, is presented; the change in foraminifera assemblages occurs later, only at the base of beds 16 (base of Semicelatum Subzone, Crosbeyi ? Horizon). An extensive bibliographical list of all scientific articles containing specific reference to this stratigraphic boundary, whether from the Lusitanian or Algarve basins, is also presented.

Calcareous nannofossil assemblages around the Pliensbachian/Toarcian boundary in the reference section of Peniche (Portugal)

The Pliensbachian/Toarcian boundary (Lower Jurassic) is well represented in the Lusitanian Basin (Portugal), mainly in the Peniche area, recorded by a marl/limestone series. Calcareous nannofossil assemblages are described herein, with the aim to contribute to the Toarcian GSSP definition. Marly samples were collected 3 m below and 7 m above this boundary and analysed for calcareous nannofossils. The main nannofossils observed were Biscutum finchii, B. grande, Calcivascularis jansae, Crepidolithus crassus, C. granulatus, C. impontus, Lotharingius hauffii, L. sigillatus, L. aff. L. velatus, Schizosphaerella spp. and Tubirhabdus patulus. This assemblage indicates that the Pliensbachian/Toarcian boundary in Peniche lies in the upper part of the NJ5b Subzone. Schizosphaerella and Lotharingius dominate the assemblage. The abundant occurrence of C. jansae and the common occurrence of B. grande indicate a strong Tethyan influence.

Calcareous nannofossil assemblages across the Pliensbachian/Toarcian boundary at the Peniche section (Ponta do Trovão, Lusitanian Basin)

The Peniche section has revealed moderately-to-well preserved calcareous nannofossil assemblages across the Pliensbachian/Toarcian boundary. This good record has allowed the proposition of a refined biostratigraphic scheme. The stage boundary, as defined by ammonites, is comprised within the NJ5b C. impontus (NW Europe; BOWN & COOPER, 1998) or the NJT5b L. sigillatus (Mediterranean Tethys; MATTIOLI & ERBA, 1999) nannofossil subzones. Since in the Lusitanian Basin a mixing of N- and S-Tethyan taxa is observed, both biozonation schemes can be applied. Some nannofossil events (mainly first occurrences) are observed earlier in Portugal than in other Tethyan settings. It is still unclear if these events are real first occurrences. A diversification phase occurred across the Pliensbachian/Toarcian boundary. This phase is well recorded at Peniche, where a change is observed passing from the Pliensbachian, when assemblages are dominated by muroliths, to the Toarcian showing assemblages where placoliths are abundant. A quantification of nannofossils per gram of rock shows that absolute abundances are the highest across the Pliensbachian/Toarcian boundary. Indeed, Peniche exhibits nannofossil abundances very high with respect to correlative levels in other Tethyan settings. The pelagic carbonate fraction (produced by nannofossils) is important in the marly hemi-couplets of Peniche. In some levels, nannofossils account for more than 50% of the total carbonate fraction.

Otimização de placas compósitas laminadas utilizando redes neuronais e enxames de partículas

Trabalho Final de mestrado para obtenção do grau de Mestre em engenharia Mecância

Estimation of the Crustal Bulk Properties Beneath Mainland Portugal from P-Wave Teleseismic Receiver Functions

In this work, we present results from teleseismic P-wave receiver functions (PRFs) obtained in Portugal, Western Iberia. A dense seismic station deployment conducted between 2010 and 2012, in the scope of the WILAS project and covering the entire country, allowed the most spatially extensive probing on the bulk crustal seismic properties of Portugal up to date. The application of the H-κ stacking algorithm to the PRFs enabled us to estimate the crustal thickness (H) and the average crustal ratio of the P- and S-waves velocities V p/V s (κ) for the region. Observations of Moho conversions indicate that this interface is relatively smooth with the crustal thickness ranging between 24 and 34 km, with an average of 30 km. The highest V p/V s values are found on the Mesozoic-Cenozoic crust beneath the western and southern coastal domain of Portugal, whereas the lowest values correspond to Palaeozoic crust underlying the remaining part of the subject area. An average V p/V s is found to be 1.72, ranging 1.63-1.86 across the study area, indicating a predominantly felsic composition. Overall, we systematically observe a decrease of V p/V s with increasing crustal thickness. Taken as a whole, our results indicate a clear distinction between the geological zones of the Variscan Iberian Massif in Portugal, the overall shape of the anomalies conditioned by the shape of the Ibero-Armorican Arc, and associated Late Paleozoic suture zones, and the Meso-Cenozoic basin associated with Atlantic rifting stages. Thickened crust (30-34 km) across the studied region may be inherited from continental collision during the Paleozoic Variscan orogeny. An anomalous crustal thinning to around 28 km is observed beneath the central part of the Central Iberian Zone and the eastern part of South Portuguese Zone.

Velocity estimation of moving ships using C-band SLC SAR data

A new algorithm for the velocity vector estimation of moving ships using Single Look Complex (SLC) SAR data in strip map acquisition mode is proposed. The algorithm exploits both amplitude and phase information of the Doppler decompressed data spectrum, with the aim to estimate both the azimuth antenna pattern and the backscattering coefficient as function of the look angle. The antenna pattern estimation provides information about the target velocity; the backscattering coefficient can be used for vessel classification. The range velocity is retrieved in the slow time frequency domain by estimating the antenna pattern effects induced by the target motion, while the azimuth velocity is calculated by the estimated range velocity and the ship orientation. Finally, the algorithm is tested on simulated SAR SLC data.

Complementary filter design with three frequency bands: robot attitude estimation

This paper extents the by now classic sensor fusion complementary filter (CF) design, involving two sensors, to the case where three sensors that provide measurements in different bands are available. This paper shows that the use of classical CF techniques to tackle a generic three sensors fusion problem, based solely on their frequency domain characteristics, leads to a minimal realization, stable, sub-optimal solution, denoted as Complementary Filters3 (CF3). Then, a new approach for the estimation problem at hand is used, based on optimal linear Kalman filtering techniques. Moreover, the solution is shown to preserve the complementary property, i.e. the sum of the three transfer functions of the respective sensors add up to one, both in continuous and discrete time domains. This new class of filters are denoted as Complementary Kalman Filters3 (CKF3). The attitude estimation of a mobile robot is addressed, based on data from a rate gyroscope, a digital compass, and odometry. The experimental results obtained are reported.

Traveled Distance Estimation Algorithm for Indoor Localization

This paper presents an ankle mounted Inertial Navigation System (INS) used to estimate the distance traveled by a pedestrian. This distance is estimated by the number of steps given by the user. The proposed method is based on force sensors to enhance the results obtained from an INS. Experimental results have shown that, depending on the step frequency, the traveled distance error varies between 2.7% and 5.6%.

Estimation of 3D shapes using active surface models

This paper addresses the estimation of surfaces from a set of 3D points using the unified framework described in [1]. This framework proposes the use of competitive learning for curve estimation, i.e., a set of points is defined on a deformable curve and they all compete to represent the available data. This paper extends the use of the unified framework to surface estimation. It o shown that competitive learning performes better than snakes, improving the model performance in the presence of concavities and allowing to desciminate close surfaces. The proposed model is evaluated in this paper using syntheticdata and medical images (MRI and ultrasound images).

Estimation of signal subspace on hyperspectral data

Dimensionality reduction plays a crucial role in many hyperspectral data processing and analysis algorithms. This paper proposes a new mean squared error based approach to determine the signal subspace in hyperspectral imagery. The method first estimates the signal and noise correlations matrices, then it selects the subset of eigenvalues that best represents the signal subspace in the least square sense. The effectiveness of the proposed method is illustrated using simulated and real hyperspectral images.

Estimation of rotational frequency response functions

As it is widely known, in structural dynamic applications, ranging from structural coupling to model updating, the incompatibility between measured and simulated data is inevitable, due to the problem of coordinate incompleteness. Usually, the experimental data from conventional vibration testing is collected at a few translational degrees of freedom (DOF) due to applied forces, using hammer or shaker exciters, over a limited frequency range. Hence, one can only measure a portion of the receptance matrix, few columns, related to the forced DOFs, and rows, related to the measured DOFs. In contrast, by finite element modeling, one can obtain a full data set, both in terms of DOFs and identified modes. Over the years, several model reduction techniques have been proposed, as well as data expansion ones. However, the latter are significantly fewer and the demand for efficient techniques is still an issue. In this work, one proposes a technique for expanding measured frequency response functions (FRF) over the entire set of DOFs. This technique is based upon a modified Kidder's method and the principle of reciprocity, and it avoids the need for modal identification, as it uses the measured FRFs directly. In order to illustrate the performance of the proposed technique, a set of simulated experimental translational FRFs is taken as reference to estimate rotational FRFs, including those that are due to applied moments.

Hyperspectral signal subspace estimation

Given an hyperspectral image, the determination of the number of endmembers and the subspace where they live without any prior knowledge is crucial to the success of hyperspectral image analysis. This paper introduces a new minimum mean squared error based approach to infer the signal subspace in hyperspectral imagery. The method, termed hyperspectral signal identification by minimum error (HySime), is eigendecomposition based and it does not depend on any tuning parameters. It first estimates the signal and noise correlation matrices and then selects the subset of eigenvalues that best represents the signal subspace in the least squared error sense. The effectiveness of the proposed method is illustrated using simulated data based on U.S.G.S. laboratory spectra and real hyperspectral data collected by the AVIRIS sensor over Cuprite, Nevada.

Hyperspectral imagery framework for unmixing and dimensionality estimation

In hyperspectral imagery a pixel typically consists mixture of spectral signatures of reference substances, also called endmembers. Linear spectral mixture analysis, or linear unmixing, aims at estimating the number of endmembers, their spectral signatures, and their abundance fractions. This paper proposes a framework for hyperpsectral unmixing. A blind method (SISAL) is used for the estimation of the unknown endmember signature and their abundance fractions. This method solve a non-convex problem by a sequence of augmented Lagrangian optimizations, where the positivity constraints, forcing the spectral vectors to belong to the convex hull of the endmember signatures, are replaced by soft constraints. The proposed framework simultaneously estimates the number of endmembers present in the hyperspectral image by an algorithm based on the minimum description length (MDL) principle. Experimental results on both synthetic and real hyperspectral data demonstrate the effectiveness of the proposed algorithm.