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

2024

Cherry-Picking in Time Series Forecasting: How to Select Datasets to Make Your Model Shine

Autores
Roque, L; Soares, C; Cerqueira, V; Torgo, L;

Publicação
CoRR

Abstract

2024

Detecting and Explaining Anomalies in the Air Production Unit of a Train

Autores
Davari, N; Veloso, B; Ribeiro, RP; Gama, J;

Publicação
39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024

Abstract
Predictive maintenance methods play a crucial role in the early detection of failures and errors in machinery, preventing them from reaching critical stages. This paper presents a comprehensive study on a real-world dataset called MetroPT3, with data from a Metro do Porto train's air production unit (APU) system. The dataset comprises data collected from various analogue and digital sensors installed on the APU system, enabling the analysis of behavioural changes and deviations from normal patterns. We propose a data-driven predictive maintenance framework based on a Long Short-Term Memory Autoencoder (LSTM-AE) network. The LSTM-AE efficiently identifies abnormal data instances, leading to a reduction in false alarm rates. We also implement a Sparse Autoencoder (SAE) approach for comparative analysis. The experimental results demonstrate that the LSTM-AE outperforms the SAE regarding F1 Score, Recall, and Precision. Furthermore, to gain insights into the reasons for anomaly detection, we apply the Shap method to determine the importance of features in the predictive maintenance model. This approach enhances the interpretability of the model to support the decision-making process better.

2024

Designing Stemie, the Evolution of the Kid Grígora Educational Robot

Autores
Barradas, R; Lencastre, JA; Soares, S; Valente, A;

Publicação
Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024, Angers, France, May 2-4, 2024, Volume 1.

Abstract
STEM education advances at the same rate as the need for new and more evolved tools. This article introduces the latest version of the Kid Grígora educational robot, based on the work of Barradas et al. (2019). Targeted for students aged 8 to 18, the robot serves as an interdisciplinary teaching tool, integrated into STEM curricula. The upgraded version corrects what we’ve learned from a real test with 177 students from a Portuguese school and adds other features that allow this new robot to be used in even more educational STEM and problem-solving scenarios. We focused on the creation of a second beta version of the prototype, named Stemie, and its heuristic evaluation by three experts. After all the issues and suggestions from the experts have been resolved and implemented, the new version is ready for usability evaluation. Copyright © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

2024

The Identical Parallel Machine Scheduling Problem with Setups and Additional Resources

Autores
Soares, Â; Ferreira, AR; Lopes, MP;

Publicação
Lecture Notes in Mechanical Engineering

Abstract
This paper studies a real world dedicated parallel machine scheduling problem with sequence dependent setups, different machine release dates and additional resources (PMSR). To solve this problem, two previously proposed models have been adapted and a novel objective function, the minimisation of the sum of the machine completion times, is proposed to reflect the real conditions of the manufacturing environment that motivates this work. One model follows the strip-packing approach and the other is time-indexed. The solutions obtained show that the new objective function provides a compact production schedule that allows the simultaneous minimisation of machine idle times and setup times. In conclusion, this study provides valuable insights into the effectiveness of different models for solving PMSR problems in real-world contexts and gives directions for future research in this area using complementary approaches such as matheuristics. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2024

Process mining embeddings: Learning vector representations for Petri nets

Autores
Colonna, JG; Fares, AA; Duarte, M; Sousa, R;

Publicação
INTELLIGENT SYSTEMS WITH APPLICATIONS

Abstract
Process Mining offers a powerful framework for uncovering, analyzing, and optimizing real-world business processes. Petri nets provide a versatile means of modeling process behavior. However, traditional methods often struggle to effectively compare complex Petri nets, hindering their potential for process enhancement. To address this challenge, we introduce PetriNet2Vec, an unsupervised methodology inspired by Doc2Vec. This approach converts Petri nets into embedding vectors, facilitating the comparison, clustering, and classification of process models. We validated our approach using the PDC Dataset, comprising 96 diverse Petri net models. The results demonstrate that PetriNet2Vec effectively captures the structural properties of process models, enabling accurate process classification and efficient process retrieval. Specifically, our findings highlight the utility of the learned embeddings in two key downstream tasks: process classification and process retrieval. In process classification, the embeddings allowed for accurate categorization of process models based on their structural properties. In process retrieval, the embeddings enabled efficient retrieval of similar process models using cosine distance. These results demonstrate the potential of PetriNet2Vec to significantly enhance process mining capabilities.

2024

On the Impact of PowerCap in Haskell, Java, and Python

Autores
Maia, L; Sá, M; Ferreira, I; Cunha, S; Silva, L; Azevedo, P; Saraiva, J;

Publicação
Proceedings of the 3rd International Workshop on Resource AWareness of Systems and Society, Maribor, Slovenia, July 2nd - 5th, 2024.

Abstract
Historically, programming language performance focused on fast execution times. With the advent of cloud and edge computing, and the significant energy consumption of large data centers, energy efficiency has become a critical concern both for computer manufacturers and software developers. Despite the considerable efforts of the green software community in developing techniques and tools for analysing and optimising software energy consumption, there has been limited research on how imposing hardware-level energy constraints affects software energy efficiency. Moreover, prior research has demonstrated that the choice of programming language can significantly impact a program’s energy efficiency. This paper investigates the impact of CPU power capping on the energy consumption and execution time of programs written in Haskell, Java, and Python. Our preliminary results analysing well-established benchmarks indicate that while power capping does reduce energy consumption across all benchmarks, it also substantially increases execution time. These findings highlight the trade-offs between energy efficiency and runtime performance, offering insights for optimising software under energy constraints. © 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

  • 40
  • 4030