Logo do repositório

Percorrer por autor "Abreu, Leonardo Tadeu Nunes"

A mostrar 1 - 2 de 2
  • DEMO model-driven automatic smart contract generation using hyperledger fabric
    Publication . Abreu, Leonardo Tadeu Nunes; Aveiro, David Sardinha Andrade de
    Esta dissertação de mestrado estuda a geração automática de smart contracts através de modelos organizacionais, com foco na área da logística e cenários de economia circular. Esta investigação emergiu do contexto do projeto MiCoLEC, que visa a criação de um micro-hub colaborativo para transporte de encomendas e logística reversa. Este trabalho adota o DEMO (Design and Engineering Methodology for Organizations) de modo a especificar formalmente as regras organizacionais e aplicá-las na plataforma Hyperledger Fabric, utilizando a linguagem de programação Go. Foi definida uma extensão da gramática EBNF para representar as regras de ação DEMO, com um método de mapeamento que permite a sua transformação em chaincode executável. Para melhorar a manutenção, foi proposto um processo estruturado de geração de ficheiros. A abordagem foi validada através da implementação de smart contracts que suportam as prin cipais operações da plataforma MiCoLEC, incluindo leilões, entregas de encomendas, participação de estafetas, envolvimento de clientes na logística reversa e mecanismos de inventivo para a econo mia circular. Os resultados foram desenvolvidos corretamente e executáveis no Hyperledger Fabric e são capazes de suportar os requisitos funcionais da plataforma. Esta investigação contribui para reduzir a barreira ao desenvolvimento de smart contracts, ao estabelecer uma ligação entre modelação empresarial e a implementação em blockchain. Fornecendo assim, uma base para soluções low-code que promovem a interoperabilidade, transparência e con fiança em colaborações interorganizacionais.
    2025-10-29Dissertação de mestrado Acesso aberto Ver mais
  • Virtual reality exposure treatment in phobias: a systematic review
    Publication . Freitas, José Rúben Silva; Velosa, Vitor Hugo Silva; Abreu, Leonardo Tadeu Nunes; Jardim, Ricardo Lucas; Santos, João Artur Vieira; Peres, Beatriz; Campos, Pedro F.; Pereira Campos, Pedro Filipe
    We compare the relative efficacy of virtual reality therapy exposure (VRET) versus in vivo therapy exposure among individuals suffering from phobias. A systematic search was completed up to 03 April 2020, using the following databases: ACM Digital Library, ResearchGate, IEEE, Science Direct, MIT PressJournals, Center for Direct Scientific Com munication (CCSD) and Mary Ann Liebert Publishers. Five authors searched the databases using the following terms: Virtual Reality, Phobia, Mental health, Computing, Therapy, HMD, CAVE, Virtual ambient, in virtuo, Avoidance, Exposure, VRET, in vivo, Anxiety, Agoraphobia, Social Phobia, Stimuli, Cognitive–behaviour. All studies that evaluate the effect of in virtuo exposure towards phobia rehabilitation were selected. By reviewing the article, each author then applied the inclusion and exclusion criteria, and 30 articles were selected. Data extracted included the number of samples, amount of sessions, study variables that may affect the final outcome, therapy technology. The data provided was synthesized using a meta-analysis based on the results. The results demonstrated a posi tive outcome of Virtual Reality Exposure Treatment in the treatment of most phobias. In contrast, some of these treatments did not work for a few specific phobias in which the standard procedures were more effective. The findings suggest that for some specific pho bias treatment, Virtual Reality Exposure Treatment does not reach the in vivo exposure level of immersion and presence. Further research is needed to perform studies with higher dimension samples, since many papers report a low sample size and that is probably why many of them have inconclusive results.
    2021-06-26Artigo científico Acesso aberto Ver mais