Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por José Carlos Alves

2015

Message from the general chairs

Autores
Matos, JS; Alves, JC;

Publicação
Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015

Abstract

2015

Message from the General Chairs

Autores
Matos, JS; Alves, JC;

Publicação
Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015

Abstract

2023

Single Receiver Underwater Localization of an Unsynchronized Periodic Acoustic Beacon Using Synthetic Baseline

Autores
Ferreira, BM; Graça, PA; Alves, JC; Cruz, NA;

Publicação
IEEE JOURNAL OF OCEANIC ENGINEERING

Abstract
This article addresses the 3-D localization of a stand-alone acoustic beacon based on the Principle of Synthetic Baseline using a single receiver on board a surface vehicle. The process only uses the passive reception of an acoustic signal with no explicit synchronization, interaction, or communication with the acoustic beacon. The localization process exploits the transmission of periodic signals without synchronization to a known time reference to estimate the time-of-arrival (ToA) with respect to an absolute time basis provided by the global navigation satellite system (GNSS). We present the development of the acoustic signal acquisition system, the signal processing algorithms, the data processing of times-of-arrival, and an estimator that uses times-of-arrival and the coordinates where they have been collected to obtain the 3-D position of the acoustic beacon. The proposed approach was validated in a real field application on a search for an underwater glider lost in September 2021 near the Portuguese coast.

2023

Sensor Placement in an Irregular 3D Surface for Improving Localization Accuracy Using a Multi-Objective Memetic Algorithm

Autores
Graca, PA; Alves, JC; Ferreira, BM;

Publicação
SENSORS

Abstract
Accurate localization is a critical task in underwater navigation. Typical localization methods use a set of acoustic sensors and beacons to estimate relative position, whose geometric configuration has a significant impact on the localization accuracy. Although there is much effort in the literature to define optimal 2D or 3D sensor placement, the optimal sensor placement in irregular and constrained 3D surfaces, such as autonomous underwater vehicles (AUVs) or other structures, is not exploited for improving localization. Additionally, most applications using AUVs employ commercial acoustic modems or compact arrays, therefore the optimization of the placement of spatially independent sensors is not a considered issue. This article tackles acoustic sensor placement optimization in irregular and constrained 3D surfaces, for inverted ultra-short baseline (USBL) approaches, to improve localization accuracy. The implemented multi-objective memetic algorithm combines an evaluation of the geometric sensor's configuration, using the Cramer-Rao Lower Bound (CRLB), with the incidence angle of the received signal. A case study is presented over a simulated homing and docking scenario to demonstrate the proposed optimization algorithm.

2011

Experiment@Portugal

Autores
Restivo, MT; Alves, JC; Cardoso, A;

Publicação
iJEP

Abstract

2012

Specifying Compiler Strategies for FPGA-based Systems

Autores
Cardoso, JMP; Teixeira, J; Alves, JC; Nobre, R; Diniz, PC; Coutinho, JGF; Luk, W;

Publicação
2012 IEEE 20TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM)

Abstract
The development of applications for high-performance Field Programmable Gate Array (FPGA) based embedded systems is a long and error-prone process. Typically, developers need to be deeply involved in all the stages of the translation and optimization of an application described in a high-level programming language to a lower-level design description to ensure the solution meets the required functionality and performance. This paper describes the use of a novel aspect-oriented hardware/software design approach for FPGA-based embedded platforms. The design-flow uses LARA, a domain-specific aspect-oriented programming language designed to capture high-level specifications of compilation and mapping strategies, including sequences of data/computation transformations and optimizations. With LARA, developers are able to guide a design-flow to partition and map an application between hardware and software components. We illustrate the use of LARA on two complex real-life applications using high-level compilation and synthesis strategies for achieving complete hardware/software implementations with speedups of 2.5x and 6.8x over software-only implementations. By allowing developers to maintain a single application source code, this approach promotes developer productivity as well as code and performance portability.

  • 6
  • 10