Browsing by Issue Date, starting with "2025-10-09"
Now showing 1 - 10 of 10
Results Per Page
Sort Options
- Factors influencing the prescription of first-line treatment for type 2 diabetes mellitus: a systematic reviewPublication . Moreira, Helena Silva; Moreira, Fernando; Jesus, Ângelo; Soares, Matilde Monteiro; Santos, Paulo; Moreira, FernandoUnderstanding prescribing patterns for type 2 diabetes mellitus, a complex condition affecting over 10% of the global adult population, can optimise prescribing practices, guide policymakers in promoting evidence-based medicine, and help tailor first-line treatments to individual characteristics or specific subgroups, improving patient outcomes. This study aimed to identify factors influencing the prescription and non-prescription of metformin, the recommended first-line therapy in Western guidelines, and to evaluate whether these prescribing patterns align with evidence-based recommendations. It also explores factors associated with initial combination therapy, a more recent and controversial approach compared to stepwise therapy. We conducted a systematic search in PubMed, Scopus, and Web of Science on 25 August 2023, without language or time restrictions, to identify observational analytical studies assessing factors associated with the initiation of metformin or combination therapy in adults with type 2 diabetes mellitus who were naïve to antidiabetic medications. Studies involving pregnant or breastfeeding women were excluded. A narrative synthesis was conducted. Study quality was assessed using the Joanna Briggs Institute critical appraisal checklists (PROSPERO registration number CRD42023438313). Thirty studies were included, evaluating 105 variables, most of which (62%) were assessed in one study. The 25 variables using combination therapy as the outcome were mostly (72%) evaluated also in one study. Initial metformin prescription was strongly and positively associated with younger age, lower glycated haemoglobin levels, higher body mass index, and absence of renal impairment. Initial combination therapy was associated with higher HbA1c levels and a lower burden of comorbidities. Findings also highlighted a discrepancy between clinical practice and evidence-based recommendations. However, concerns were raised regarding both the internal and external validity of the included studies. Our systematic review, which offers insights into real-world clinical practices, indicated that there is a misalignment between clinical practices and evidence-based recommendations, supporting the need for interventions in this field.
- Projeto ótico com controle Arduíno para medição do índice de refração de tecidos biológicosPublication . MOREIRA, ANA RITA DIAS; Ramos, Gina Maria Oliveira Vilão de; Ramos, Carlos Augusto XavierA medição do índice de refração de tecidos biológicos é crucial para compreender as suas propriedades óticas e apoiar aplicações clínicas baseadas na interação luz-tecido. Os métodos laboratoriais convencionais, embora precisos, apresentam custos elevados e elevada complexidade. Este trabalho tem como objetivo desenvolver e validar um protótipo experimental de baixo custo, controlado por Arduino e com interface em Python, para a determinação automática do índice de refração através do ângulo de Brewster. O sistema idealizado e montado, para além da utilização do Arduino Uno, integra também motores de passo, drivers, um fotodetetor com amplificação, e uma estrutura mecânica idealizada, que permite realizar varrimentos angulares precisos com aquisição em tempo real de diferentes intensidades dos feixes lasers utilizados. A validação inicial foi realizada com recurso a um semicírculo de acrílico, o qual permitiu encontrar o ângulo pretendido, confirmando a viabilidade e a exatidão do protótipo montado, com resultados muito próximos dos valores de referência da literatura. Posteriormente foram analisadas amostras de tecido biológico, recorrendo em concreto ao peito de frango. Com o sistema montado foi possível verificar a influência da anisotropia, ou seja, as fibras do tecido orientadas na horizontal e vertical apresentaram índices de refração distintos, em concordância com estudos prévios existentes na literatura. Os testes de feixe laser, com comprimentos de onda na zona do vermelho e azul revelaram limitações, nomeadamente a ausência do mínimo de Brewster espetável no vermelho, e intensidades demasiado baixas na zona do azul, inviabilizando as medições realizadas, já que não eram fiáveis. O feixe laser na zona do verde, permitiu obter valores fiáveis e com precisão.
- Abordagem à especificação e verificação de requisitos: Caso de estudo em Updates via Over the AirPublication . CARVALHO, ANAISA CRISTINA PEREIRA; Pereira, David Miguel Ramalho; Pinho, Luís Miguel Rosário da SilvaModern vehicles rely on increasingly complex embedded software to deliver advanced features in performance, safety, and connectivity. In automotive software development, a precise requirement specification is essential to manage complexity and ensure reliability throughout the life cycle. Although natural language has been standard for documenting requirements, it often introduces ambiguity and misinterpretation. This thesis focuses on investigating the advantages of adopting formal requirements engineering over natural language approaches within the automotive field, using the Formal Requirements Elicitation Tool (FRET) tool and taking as use case a representative set of requirements of an Over-the-Air (OTA) updates project derived from the automotive industry. This analysis highlights how FRET improves clarity when eliciting, managing, analysis, and verifying requirements, thus serving as a strong asset for reducing errors in later development phases, which is specially important in critical projects. This work also provides evidence of the tangible benefits of formal techniques for the specification, analysis, and verification of vehicle software requirements, but also highlights that tools such as FRET still require formal logic training and, given the niche nature of the tool, that users maintain regular interaction with the developers in order to be aware of features that are fundamental for better usage of the tool, however that still remain undocumented in the literature.
- Conversão de centrais termoelétricas em compensadores síncronos como medida de estabilidade da frequência dos sistemas elétricos de energiaPublication . MENDES, ANTÓNIO TIAGO RIBEIRO; Carvalho, José António BelezaAs metas de neutralidade carbónica estabelecidas pela União Europeia e por diversos países em todo o mundo impulsionaram uma transformação dos Sistemas Elétricos de Energia (SEE), caracterizada pela substituição gradual da geração térmica síncrona por Fontes de Energia Renovável (FER), como a eólica e a solar. A transição energética, embora necessária para alcançar as metas estabelecidas, introduz desafios significativos à estabilidade dos SEE, uma vez que as FER ainda não contribuem para a estabilidade em níveis equiparáveis aos de um gerador síncrono, seja ao nível da inércia, que tem registado uma redução assinalável nos últimos anos, seja no controlo de tensão ou na potência de curto-circuito. Neste contexto, os compensadores síncronos apresentam-se como uma solução promissora para assegurar, de forma eficaz, o papel de estabilidade até agora desempenhado pela produção termoelétrica. Entre as soluções de compensação síncrona destacam-se duas abordagens: a conversão de centrais termoelétricas em compensadores síncronos e a construção de novos compensadores. Dado o contexto, a solução de conversão representa uma oportunidade única para rentabilizar ativos que seriam, de outro modo, descomissionados, apresentando custos de investimento até 50 % inferiores e prazos de implementação mais reduzidos, comparativamente à construção de novos compensadores síncronos. Ainda assim, esta potencial vantagem económica e operacional deve ser avaliada face aos requisitos técnicos exigidos e à viabilidade específica de conversão de cada central, uma vez que nem todas se encontram em iguais condições técnicas e estado de conservação. Na literatura atual, a informação necessária para conduzir esta avaliação encontra-se dispersa e limitada, sobretudo ao nível técnico. Assim, nesta dissertação, propõe-se uma metodologia sistemática para analisar a viabilidade técnica e económica da conversão de centrais termoelétricas em compensadores síncronos, identificando os principais desafios e modificações técnicas, os aspetos económicos envolvidos, e comparando as vantagens e desvantagens desta opção face à construção de novos compensadores síncronos. Para validar a metodologia proposta, desenvolve-se um caso de estudo utilizando como referência as condições reais de uma central termoelétrica existente. Os resultados obtidos confirmam não só a viabilidade da conversão do caso estudado, como também a eficácia e aplicabilidade da metodologia enquanto ferramenta prática e replicável a diferentes contextos e tipologias de centrais. O trabalho desenvolvido demonstra que as centrais termoelétricas existentes podem desempenhar um papel essencial no contexto da transição energética, através da sua conversão em compensador síncrono, proporcionando benefícios económicos e as condições técnicas necessárias para que a crescente integração das FER decorra sem colocar em causa os níveis de fiabilidade dos sistemas elétricos de energia.
- Determinação dos impactos ambientais associados às águas para consumo e às águas residuais, usando a metodologia ACVPublication . MONTEIRO, DORA PATRÍCIA CAMPOS; Martins, Florinda FigueiredoA água é um recurso fundamental para a vida na Terra. Não sendo apenas essencial para a sobrevivência dos seres vivos, como também é imprescindível na manutenção dos ecossistemas e para o desenvolvimento económico. A água destinada ao consumo humano sofre um processo de tratamento de modo que os parâmetros de qualidade regulamentados sejam cumpridos. A utilização da água causa a sua poluição dando origem às águas residuais, que para proteção do meio ambiente e a saúde pública têm de passar por um tratamento capaz de remover poluentes previamente à sua descarga para o meio hídrico. Os tratamentos utilizados na água para consumo humano e nas águas residuais provocam impactes ambientais que serão alvo de estudo nesta dissertação através da metodologia de avaliação do ciclo de vida. Esta avaliação do ciclo de vida foi suportada pelo software através do método CML, a unidade funcional definida foi de 1m3 de água tratada, a fronteira do sistema foi restrita desde a entrada do efluente na estação de tratamento até ao seu destino final. Todos os dados apurados foram retirados de pesquisa bibliográfica e da base de dados Ecoinvent V 3.11. Para as águas de consumo humano consideraram-se dois casos para o destino final das lamas produzidas, incineração e valorização das mesmas pela incorporação no fabrico de telhas de argila. No referente às águas residuais estudou-se dois cenários para o destino final das lamas produzidas, nomeadamente, a incineração e a compostagem para fabrico de composto para aplicação em solos agrícolas. Com esta pesquisa e análise concluiu-se que o impacte ambiental das águas residuais é muito superior às águas para consumo, também se verifica que as categorias de impacte com resultados mais elevados são a ecotoxicidade aquática marinha, a depleção abiótica (combustíveis fósseis) a toxicidade humana e o aquecimento global. Mais se conclui que o destino final das lamas produzidas é de elevada importância sendo a valorização para o fabrico de telhas no caso das águas para consumo e a compostagem no caso das águas residuais as opções mais vantajosas. O processo que contribui mais para o impacte ambiental na maioria das categorias é o consumo de energia.
- Industrialização de uma cassete de aplicação de espuma em pneusPublication . RIOS, JOSÉ PEDRO BAPTISTA PEREIRA; Pinto, Arnaldo Manuel GuedesEste trabalho foi desenvolvido na empresa Gislotica – Projecto e Fabrico de Sistemas Mecânicos, Lda. e consistiu no desenvolvimento de uma cassete aplicadora de espuma silenciadora no interior de pneus, baseado num protótipo já existente. Esta espuma, acoplada à superfície interna do pneu, tem como objetivo suprimir o ruído e a vibração da estrada, melhorando assim o conforto dos ocupantes do automóvel sem comprometer o desempenho dos pneus. A investigação começou com uma revisão dos materiais dos pneus e dos processos de fabrico, a fim de fornecer uma base sólida para o desenvolvimento da solução proposta. Investigações adicionais abordaram as propriedades da espuma silenciadora e os mecanismos envolvidos nos métodos de aplicação manual e automatizada. Foi realizada uma revisão do protótipo, de forma a identificar os seus principais aspetos a melhorar. Com base nesta análise, foram sugeridas e discutidas melhorias no projeto, com o objetivo de simplificar o mecanismo, otimizar a aplicação da espuma e tornar o produto apto para comercialização. Foram executados os desenhos técnicos e indicados os materiais e processos de fabrico para todas as peças necessárias à construção da cassete. Os componentes como, por exemplo, rolamentos, tapete e motor para acionamento da cassete também foram selecionados. As conclusões fornecem um conjunto de recomendações e modificações que apoiam a eficácia e a robustez da cassete, tornando-a mais adequada para integração em linhas de produção em grande escala. A dissertação conclui que, através da otimização do design direcionada, o sistema de cassetes tem o potencial de se tornar uma solução industrialmente viável, contribuindo para as tecnologias de redução de ruído para o setor automóvel.
- Rumo a uma estrutura de verificação e validação baseada em arquiteturas de microserviçosPublication . HERNÁNDEZ, LIDIA GLORIA WILSON; Pinho, Luís Miguel Rosário da SilvaIn recent years, microservices architectures have become a popular approach in software development to address the challenges of scalability, maintainability, and agility of complex systems. This thesis focuses on the intersection of microservices architectures with formal verification techniques, especially in the context of safety-critical applications such as Assisted and/or Automated Driving solutions. The lack of research in this area requires a comprehensive investigation of how microservices architectures and formal verification techniques can interact effectively. The primary challenge is to seamlessly integrate microservices architectures with formal verification processes to ensure the safety properties typical of Cyber-Physical Systems, with a particular focus on autonomous driving applications. The importance of this work lies in the development of a robust framework that reconciles the decentralised nature of microservices with the requirements of formal verification. Research objectives include analysing the benefits and limitations of microservices, identifying suitable formal verification tools and microservices frameworks, designing microservices APIs, and conducting experiments for validation. Successful implementations and a comprehensive overview of formal verification methods in safety-critical systems form the basis for this research. As a proof of concept, this thesis presents the implementation of VVFramework, a microservicesbased hybrid verification and validation framework that integrates NuSMV, Z3, and an automatic Python-SMV translation pipeline and demonstrates its applicability for small case studies in safety-critical domains.
- Otimização de processos e logística interna numa empresa da indústria de mobiliárioPublication . ROCHA, NUNO LUÍS RIBEIRO DA; Pereira, Marisa João GuerraAtualmente, a indústria do mobiliário em Portugal tem vindo a evoluir tanto nos seus produtos como na sua capacidade produtiva. Para responder a um mercado cada vez mais competitivo e exigente, as empresas devem procurar melhorar os seus processos e eliminar atividades que não acrescentam valor. Neste contexto, este projeto de estágio foi desenvolvido na Laskasas, uma marca de referência no mobiliário de luxo em Portugal. O principal objetivo deste projeto foi a otimização de processos e da logística interna no sistema produtivo da empresa. A identificação de ineficiências, a proposta de soluções de melhoria e o suporte à criação de bases sólidas para um sistema de produção mais eficiente foram etapas centrais do trabalho. Estas ações incidiram sobre os setores de marcenaria e de embalagem, onde, através de observação direta, entrevistas com operadores e recolha de dados de produção, foi possível diagnosticar e identificar pontos de melhoria. Para responder aos problemas identificados, foram aplicadas ferramentas Lean como 5S, SMED, Kaizen, Gestão Visual, diagramas de spaghetti e normalização de operações. Estas técnicas permitiram mapear desperdícios, estudar tempos de setup, compreender fluxos logísticos e apoiar propostas de alteração de layout. A investigação revelou problemas como excesso de trabalho em curso, desorganização dos postos de trabalho, fluxos de transporte ineficientes e ausência de métodos normalizados. Para dar resposta a estas limitações, foram implementadas medidas como a criação de zonas de WIP, a introdução de um armazém móvel, a reorganização das bancadas de embalagem e a redefinição do layout no setor de montagem/embalagem. No setor da folha, o corte foi identificado como o principal gargalo. Foi proposto um armazém móvel, concebido como um carro, que reduziu os setups a apenas um por turno e aumentou a taxa de corte por hora em cerca de 20%. Na embalagem, foi realizada uma reorganização profunda do espaço e dos postos de trabalho. A relocalização dos materiais de embalagem para o armazém de ferragens libertou 78 m², a redistribuição das bases de cama libertou mais 16 m² e a revisão do processo de caixas de exportação reduziu significativamente a área ocupada. Em conjunto, estas medidas libertaram mais de 90 m² de espaço útil para operações críticas, reduziram movimentações e transportes de matérias-primas e componentes e promoveram uma cultura de organização distinta da anterior. Estes resultados significam que a empresa passou a beneficiar de maior eficiência, melhor aproveitamento do espaço e uma nova perspetiva sobre o Lean Thinking. No entanto, também evidenciam a necessidade de trabalhos futuros para garantir a sustentabilidade destas melhorias, em particular através da monitorização contínua e da manutenção sistemática das práticas Lean.
- Desenvolvimento de projeto de unidade de produção para autoconsumo na empresa IEOL, Lda.Publication . MOREIRA, PEDRO MIGUEL SILVA; Castro, Rui Paulo Ramos deA crescente pressão global para a descarbonização e a redução da dependência de combustíveis fósseis tem impulsionado a adoção de energias renováveis, em particular a energia solar fotovoltaica, cuja relevância no panorama energético português assume especial destaque devido ao elevado potencial solar do território e ao quadro legislativo favorável ao autoconsumo. Neste enquadramento, a presente dissertação centra-se no desenvolvimento de um projeto de uma unidade de produção para autoconsumo nas instalações da empresa IEOL, Lda., constituindo uma aplicação prática dos conhecimentos adquiridos no Mestrado em Engenharia Eletrotécnica – Sistemas Elétricos de Energia, no Instituto Superior de Engenharia do Porto. A dissertação inicia-se com uma revisão do estado da arte, abordando o panorama global e nacional da energia fotovoltaica, os fundamentos físicos da radiação solar, os principais equipamentos que compõe um sistema fotovoltaico e as diferentes tipologias de ligação à rede, complementados pelo enquadramento legal que regula o autoconsumo em Portugal. Posteriormente é apresentada uma metodologia para projetos de sistemas fotovoltaicos ligados à rede, englobando a análise do local de instalação, a caracterização detalhada do perfil de consumo, a seleção e compatibilização de equipamentos, o dimensionamento de cablagens e sistemas de proteção, bem como a utilização de ferramentas de simulação, em particular o software PVSyst, que possibilitou a estimativa da produção expectável e a otimização do desempenho do sistema. O caso de estudo apresentado materializa esta metodologia, analisando os consumos energéticos do edifício, avaliando os recursos solares disponíveis e propondo a solução técnica mais adequada às necessidades da empresa. A análise económico-financeira, assente em indicadores como o Valor Atual Líquido, a Taxa Interna de Retorno e o Retorno do Investimento, confirmou a viabilidade da instalação, revelando o potencial do sistema para reduzir significativamente a fatura de energia, melhorar a sustentabilidade operacional e constituir um modelo replicável para projetos futuros da empresa no âmbito profissional. A presente dissertação comprova que os sistemas fotovoltaicos de autoconsumo podem constituir uma solução técnica e economicamente vantajosa para o setor empresarial, permitindo simultaneamente ganhos de eficiência e contributos relevantes para a sustentabilidade ambiental. Através da integração entre teoria, enquadramento legal e aplicação prática, evidencia-se o papel do engenheiro eletrotécnico na conceção e implementação de sistemas fotovoltaicos.
- Efeito do World Class Manufacturing para a Sustentabilidade de uma Empresa. Caso de Estudo.Publication . RAMALHO, DUARTE NUNO BRANDÃO; Sá, José Carlos Vieira deA presente dissertação, realizada na Colquímica, empresa portuguesa dedicada ao desenvolvimento, produção e comercialização de colas industriais, teve o objetivo de estudar relações existentes entre o World Class Manufacturing (WCM) e a sustentabilidade. Com esse propósito, questão de investigação deste trabalho é “Indentificar impactos nos três pilares da sustentabilidade, pela perspetiva do Triple Bottom Line, na aplicação da metodologia World Class Manufacturing”. A procura de resposta foi feita através da metodologia Action Research. A primeira fase foi estudar o impulsionamento do WCM, o modelo FIAT, e as aplicações da metodologia; a sustentabilidade, com foco no conceito de Triple Bottom Line; e encontrar relações pela análise da literatura e dados bibliográficos. Para o desenvolvimento do caso de estudo, foi delineada uma metodologia assentada nos pilares de Melhoria Focada e Desdobramento de Custos, que permitiu a análise detalhada das perdas ocorrentes nas linhas de produção, procurando o ataque de uma onde fosse possível a definição de propostas de melhoria que afetassem os três pilares da sustentabilidade: económico, social e ambiental. Os 5W1H e os 5 Porquês permitiram uma estruturação visual das oportunidades de melhoria presentes na falha, que foram possível de detetar através de uma análise dinâmica sobre as operações. As propostas de melhoria formuladas, apresentam um potencial de afetação nos três pilares da sustentabilidade através de operações mais fiáveis, organização de espaços, melhorias de disciplina de colaboradores e redução de resíduos, culminando numa redução mínima expectável de 26 500 euros em material. Na apresentação perante as partes interessadas, revelou-se a possibilidade de conciliação entre a sustentabilidade do negócio e a abordagem simultânea a questões ambientais e sociais. O caso de estudo permitiu concluir o efeito positivo do WCM na sustentabilidade através de uma análise estruturada e dinâmica de perdas, e a formulação de propostas direcionadas a aspetos organizacionais e sociais da organização, fortalecendo a literatura no âmbito do WCM e da sustentabilidade.