Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by CRAS

2021

Variability of the atmospheric electric field in the South Atlantic marine boundary layer from the SAIL campaign

Authors
Barbosa, S; Camilo, M; Almeida, C; Amaral, G; Dias, N; Ferreira, A; Silva, E;

Publication

Abstract
<p>The marine boundary layer offers a unique opportunity to investigate the electrical properties of the atmosphere, as the effect of natural radioactivity in driving near surface ionization is significantly reduced over the ocean, and the concentration of aerosols is also typically lower than over land. This work addresses the temporal variability of the atmospheric electric field in the South Atlantic marine boundary layer based on measurements from the SAIL (Space-Atmosphere-Ocean Interactions in the marine boundary Layer) project. The SAIL monitoring campaign took place on board the Portuguese navy tall ship NRP Sagres during its circumnavigation expedition in 2020.  Two identical field mills (CS110, Campbell Scientific) were installed on the same mast but at different heights (about 5 and 22 meters), recording the atmospheric electric field every 1-second. Hourly averages of the atmospheric electric field are analyzed for the ship’s leg from 3<sup>rd</sup> to 25<sup>th</sup> March, between Buenos Aires (South America) and Cape Town (South Africa). The median daily curve of the electric field has a shape compatible with the Carnegie curve, but significant variability is found in the daily pattern of individual days, with only about 30% of the days exhibiting a diurnal pattern consistent with the Carnegie curve.</p>

2021

Automatic Program Repair as Semantic Suggestions: An Empirical Study

Authors
Campos, D; Restivo, A; Ferreira, HS; Ramos, A;

Publication
2021 14TH IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2021)

Abstract
Automated Program Repair (APR) is an area of research focused on the automatic generation of bug-fixing patches. Current APR approaches present some limitations, namely overfitted patches and low maintainability of the generated code. Several works are tackling this problem by attempting to come up with algorithms producing higher quality fixes. In this experience paper, we explore an alternative. We believe that by using existing low-cost APR techniques, fast enough to provide real-time feedback, and encouraging the developer to work together with the APR inside the IDE, will allow them to immediately discard proposed fixes deemed inappropriate or prone to reduce maintainability. Most developers are familiar with real-time syntactic code suggestions, usually provided as code completion mechanisms. What we propose are semantic code suggestions, such as code fixes, which are seldom automatic and rarely real-time. To test our hypothesis, we implemented a Visual Studio Code extension (named pAPRika), which leverages unit tests as specifications and generates code variations to repair bugs in JavaScript. We conducted a preliminary empirical study with 16 participants in a crossover design. Our results provide evidence that, although incorporating APR in the IDE improves the speed of repairing faulty programs, some developers are too eager to accept patches, disregarding maintenance concerns.

2021

A Non-Parametric LPV Approach to the Indentification of Linear Periodic Systems

Authors
dos Santos, PL; Perdicoulis, TPA;

Publication
IFAC PAPERSONLINE

Abstract
A non-parametric identification algorithm is proposed to identify Linear Time Periodic (LTP) systems. The period is unknown and can be any real positive number. The system is modelled as an ARX Linear Parameter Varying (LPV) system with a virtual scheduling signal consisting of two orthogonal sinusoids (a sine and a cosine) with a period equal to the system period. Hence, the system parameters are polynomial functions of the scheduling vector. As these polynomials may have infinite degree, a non-parametric model is adopted to describe the LPV system. This model is identified by a Gaussian Process Regression (GPR) algorithm where the system period is a hyperparameter. The performance of the proposed identification algorithm is illustrated through the identification of a simulated LTP continuous system described by a state-space model. The ARX-LTP discrete-time model estimated in the noiseless case was taken as the true model. Copyright (C) 2021 The Authors.

2021

HOW TO BOOST ICT SKILLS IN STUDENTS AT HIGHER EDUCATION? A LOW-CODE APPROACH

Authors
Nicola, S; Pereira, A; Costa, T; Guedes, P; Araújo, R; Gafeira, T;

Publication
EDULEARN Proceedings - EDULEARN21 Proceedings

Abstract

2021

Multi-technique detection of buried inert explosive devices in urban context: Metal detection, magnetometer and ground-penetrating radar

Authors
Rodrigues, D; Barraca, N; Costa, A; Borges, J; Almeida, F; Fernandes, L; Moura, R; Madureira-Carvalho, Á;

Publication
Symposium on the Application of Geophysics to Engineering and Environmental Problems 2021

Abstract

2021

Weathering on volcanic edifices under semi-arid climates. Insights from a regional assessment of the composition of Fogo Island regoliths (Cape Verde)

Authors
Cabral Pinto, M; Dinis, PA; Pitta Groz, D; Marques, R; Prudêncio, MI; Moura, R; Rocha, F; Ferreira da Silva, E;

Publication
Geological Society, London, Special Publications

Abstract
AbstractIn this study, the geochemistry and mineralogy of regoliths formed on Fogo Island (Cape Verde), a polygenic stratovolcano built during the Quaternary, are used to assess the geomorphological factors that control the early stages of basalt weathering. Fogo Island soils are mainly derived from relatively homogenous silica-undersaturated basaltic rocks. However, a discernible exotic component is recognised in areas most exposed to prevailing winds by ratios on non-mobile elements that are hosted in different amounts by basaltic rocks (e.g., Th, Sc and Ti). Weathering extent is evidenced by a relative depletion in mobile elements (e.g., Na, Ca, Mg) and an enrichment in non-mobile elements (e.g., Ti, Fe, Sc, Al), the decomposition of the most labile minerals (olivines), and the enrichment in secondary components (phyllosilicates and some Fe-oxides, such as hematite-goethite), along with quartz supplied from non-volcanic areas. It depends on bedrock age and type (pyroclastic deposits vs. lava-flows). In particular, soils covering older volcanic units tend to be more affected by chemical alteration than those overlying younger units. In addition, more intense weathering is observed in locations characterised by a combination of moderate elevation, slopes with low gradient and relatively high rainfall. The present investigation shows that even in low humidity environments recently formed basalt are affected by weathering, with the extent of chemical decomposition being mainly determined by the age of surface exposure and local orographic/climatic features.

  • 47
  • 175