2023
Authors
Pereira, BMB; Torres, JM; Sobral, PM; Moreira, RS; Soares, CPD; Pereira, I;
Publication
CRYPTOGRAPHY
Abstract
Since its appearance in 2008, blockchain technology has found multiple uses in fields such as banking, supply chain management, and healthcare. One of the most intriguing uses of blockchain is in voting systems, where the technology can overcome the security and transparency concerns that plague traditional voting systems. This paper provides a thorough examination of the implementation of a blockchain-based voting system. The proposed system employs cryptographic methods to protect voters' privacy and anonymity while ensuring the verifiability and integrity of election results. Digital signatures, homomorphic encryption (He), zero-knowledge proofs (ZKPs), and the Byzantine fault-tolerant consensus method underpin the system. A review of the literature on the use of blockchain technology for voting systems supports the analysis and the technical and logistical constraints connected with implementing the suggested system. The study suggests solutions to problems such as managing voter identification and authentication, ensuring accessibility for all voters, and dealing with network latency and scalability. The suggested blockchain-based voting system can provide a safe and transparent platform for casting and counting votes, ensuring election results' privacy, anonymity, and verifiability. The implementation of blockchain technology can overcome traditional voting systems' security and transparency shortcomings while also delivering a high level of integrity and traceability.
2017
Authors
Ljasenko S.; Lohse N.; Justham L.; Pereira I.; Jackson M.;
Publication
Studies in Computational Intelligence
Abstract
Mobile, self-organising robots are seen to be a possible solution to overcome the current limitations of fixed, dedicated automation systems particularly in the area of large structure assembly. Two of the key challenges for traditional dedicated automation systems in large structure assembly are considered to be the transportation of products and the adaptation of manufacturing processes to changes in requirements. In order to make dynamic, self-organising systems a reality, several challenges in the process dynamics and logistical control need to be solved. In this paper, we propose a Multi-Agent System (MAS) approach to self-organise mobile robots in large structure assembly. The model is based on fixed-priority pre-emptive scheduling and uses a blackboard agent as a central information source and to facilitate more common goal directed distributed negotiation and decision making between agents representing the different needs of products and available mobile resources (robots).
2017
Authors
Páscoa, F; Pereira, I; Ferreira, P; Lohse, N;
Publication
Studies in Computational Intelligence
Abstract
Cyber Physical Production Systems (CPSS) built on the concept of “Plug-and-Produce” aim at delivering truly agile production systems. These systems are modular by nature and can be adapted based on changing requirements. One of the challenges in this domain is how to store and propagate information within CPPS. In this paper, a Redundant and Decentralised Directory Facilitator will be introduced to provide the capability to store and broadcast the existing system assembly capabilities. Additionally, this solution will provide redundancy and delocalization of the assembly capabilities information. The model used is described, as well as interactions, behaviours and deployment strategies. Finally a validation scenario is presented and conclusions are discussed. © Springer International Publishing AG 2017.
2019
Authors
Santos, R; Pereira, I; Azevedo, I;
Publication
Advances in Computer and Electrical Engineering - Code Generation, Analysis Tools, and Testing for Quality
Abstract
2019
Authors
Ferreira, P; Anandan, PD; Pereira, I; Hiwarkar, V; Sayed, M; Lohse, N; Aguiar, S; Goncalves, G; Goncalves, J; Bottinger, F;
Publication
ASSEMBLY AUTOMATION
Abstract
Purpose This paper aims to provide a service-based integrated prototype framework for the design of reusable modular assembly systems (RMAS) incorporating reusability of equipment into the process. It extends AutomationML (AML) developments for an engineering data exchange to integrate and standardize the data formats that support the design of RMAS. Design/methodology/approach The approach provides a set of systematic procedures and support tools for the design of RMAS. This includes enhanced domain knowledge models that facilitate the interpretation and integration of information across the design phases. Findings The inclusion of reusability aspects in the design phase improves the sustainability of future assembly systems, by ensuring equipment use until its end-of-life. Moreover, the integrated support tools reduce the design time, while improving the quality/performance of the system design solution, as it enables the exploration of a larger solution space. This will result in a better response to dynamic and rapidly changing system requirements. Social implications - This work provides a sustainable approach for the design of modular assembly systems (MAS), which will ensure better resource utilization. Additionally, the standardization of the data and the support of low cost tools is expected to benefit industrial companies, particularly the small- and medium-sized enterprises. Originality/value This approach offers a service-based platform which uses production data to incorporate reusability aspects into the design process of modular assembly system. Moreover, it provides a framework for modular assembly system design by extending the current design processes and interactions between stakeholders. To support this, a standardized method for information representation and exchange across the several phases of the RMAS design activity is briefly illustrated with an industrial case study.
2022
Authors
Rebelo, MA; Coelho, D; Pereira, I; Fernandes, F;
Publication
INNOVATIONS IN BIO-INSPIRED COMPUTING AND APPLICATIONS, IBICA 2021
Abstract
By carefully recommending selected items to users, recommender systems ought to increase profit from product sales. To achieve this, recommendations need to be relevant, novel and diverse. Many approaches to this problem exist, each with its own advantages and shortcomings. This paper proposes a novel way to combine model, memory and content-based approaches in a cascade-hybrid system, where each approach refines the previous one, sequentially. It is also proposed a straight-forward way to easily incorporate time-awareness into rating matrices. This approach focuses on being intuitive, flexible, robust, auditable and avoid heavy performance costs, as opposed to black-box fashion approaches. Evaluation metrics such as Novelty Score are also for-malized and computed, in conjunction with Catalog Coverage and mean recommendation price to better capture the recommender's performance.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.