Browsing by Issue Date, starting with "2025-07-25"
Now showing 1 - 10 of 15
Results Per Page
Sort Options
- A Banda: a música e o teatro num diálogo cénico – A Era da SurdezPublication . Rodrigues, Simão Collares Flores Sirgado; Vicente, Maria Inês Areal Rothes Marques; Sousa, Carlos Manuel Meireles deA Era da Surdez é o culminar na forma cénica de um projeto de investigação do Mestrado em Artes Cénicas, especialização Criação Teatral da ESMAE-IPP. Este projeto revisita e clarifica vontades de investigação expressas quer no ato da minha candidatura quer no desenrolar do primeiro e segundo anos curriculares do mestrado, enunciado também no título A Banda: a música e o teatro num diálogo cénico - A Era da Surdez. Esta monografia estrutura-se em 4 capítulos e um post scriptum. No primeiro capítulo referem-se as inspirações atuais ou passadas de artistas ou projeto que se relacionam com os tópicos de pesquisa. O segundo capítulo aborda a metodologia em investigação/ação desenvolvida na fase projetual e na fase de concretização do espetáculo. O terceiro capítulo dedica-se à fase de concretização da obra cénica A Era da Surdez, propriamente dita. No último capítulo sob o título Considerações Finais reflete-se sobre o impacto do espetáculo no público e adiantam-se inquietações do foro da encenação que alavancam possibilidades futuras. Em post scriptum mergulha-se numa perspetiva pessoal sobre A Força Fantasma: relatos de efemeridade do processo e da permanência do coletivo.
- Application of model checking in the formal verification of requirements for a speed control system in railwayPublication . COELHO, CRISTIANO MANUEL GARCÊS; Pinho, Luís Miguel Rosário da SilvaRailway speed control systems are essential for the safety and efficiency of railway transportation systems, as they ensure compliance with regulations and prevent accidents. As the demand for rail transport grows, rigorous verification of these systems is becomes increasingly critical. In such projects, errors are sometimes only detected during the testing phase, leading to costs that could have been avoided if these errors were identified in the early stages of the project. This thesis focuses on the topic of the formal verification of speed control system, specifically using model checking, to ensure that these systems meet safety requirements as well as performance standards. As the basis for the work presented in this thesis, we will adopt the EBICAB 700 architecture, and for which a small, yet representative, set of safety, operational, or regulatory requirements will be rigorously specified using well-known temporal logic languages, and verified against the system models using the model checking tools NuSMV and UPPAAL. This thesis work aims at contributing to the effort of demonstrating the feasibility and benefits of applying formal verification to railway systems, not only in terms of safety assurance but also as a strategy for reducing late-stage development risks and increased costs. It highlights the value of incorporating formal methods into the requirements and design phases of critical system engineering.
- Desenvolvimento de ferramentas digitais para a gestão da qualidade no ISAG: integração de power apps e power BIPublication . GONÇALVES, ANA BEATRIZ MARTINS; Cardoso, Mónica GlóriaO presente projeto foi desenvolvido no âmbito da Unidade Curricular “Projeto/ Dissertação/ Estágio”, do Mestrado em Engenharia e Gestão Industrial, do Departamento de Engenharia Mecânica do Instituto Superior de Engenharia do Porto. O projeto tem como objetivo analisar e melhorar o Sistema de Gestão da Qualidade (SGQ) para o Instituto Superior de Administração e Gestão (ISAG), focando-se na melhoria da monitorização, avaliação e eficiência dos processos operacionais através da criação e implementação de uma aplicação integrada com diferentes dashboards. O estudo aborda as principais dificuldades enfrentadas pela instituição, como a fragmentação de informações, a dependência de registo manuais e a falta de uma solução integrada para a análise de dados em tempo real. O desenvolvimento deste projeto seguiu uma abordagem mista, combinando a revisão bibliográfica e o levantamento de dados sobre os processos atuais do SGQ, além de reuniões com os colaboradores-chave. Deste modo, a solução proposta inclui a criação de uma aplicação em Power Apps, combinada com dashboards dinâmicos e interativos desenvolvidos em Power BI, com o objetivo de centralizar os dados e melhorar a visibilidade e a tomada de decisões estratégicas. Em síntese, a implementação da solução melhorará significativamente a eficiência operacional, a agilidade na gestão da qualidade e a capacidade de monitorização dos indicadores-chave de desempenho (KPIs). O projeto também sugere que a solução proposta pode ser escalada para outros processos da instituição, proporcionando uma melhoria contínua no desempenho académico e administrativo.
- Programa de treino de competências cirúrgicas em realidade mistaPublication . ANTUNES, MIGUEL ÂNGELO SARAIVA; Coelho, Luís Filipe Martins PintoConsiderando a crescente necessidade de métodos eficazes, acessíveis e económicos na formação cirúrgica, esta dissertação propõe e explora o desenvolvimento de uma solução baseada em realidade mista como um complemento viável aos métodos tradicionais. A realidade mista, ao combinar elementos de realidades virtual e aumentada, permite a simulação de procedimentos cirúrgicos complexos, sem as restrições impostas pelos métodos tradicionais. Com este objetivo, foram concebidos e implementados exercícios num simulador cirúrgico imersivo designado OrthoSim, orientado para as áreas da laparoscopia e da artroscopia, com recurso aos dispositivos Meta Quest 3. O simulador integra exercícios clínicos com um sistema de gamificação para potenciar a motivação e o envolvimento dos utilizadores. O sistema desenvolvido inclui ainda uma plataforma web complementar, que permite personalizar os exercícios e gerir diferentes configurações do mesmo com níveis de dificuldade distintos. Além disso, disponibiliza funcionalidades de registo, autenticação e visualização do desempenho dos utilizadores. A avaliação da solução foi realizada através da “Escala de Usabilidade do Sistema”, aplicada a uma amostra de 11 participantes, dos quais três eram profissionais da área cirúrgica e os restantes não possuíam formação neste domínio. A pontuação obtida (74,3) indica uma boa usabilidade global, com destaque para a perceção especialmente positiva por parte dos cirurgiões. Verificou-se ainda uma influência positiva na sua adaptação à realidade mista e na motivação no treino. Deste modo, o sistema demonstrou elevado potencial como ferramenta complementar no ensino cirúrgico, aliando acessibilidade, segurança e realismo na prática técnica. Apesar dos resultados promissores, a reduzida dimensão e representatividade da amostra limita a generalização dos dados, ainda que três cirurgiões tenham sido incluídos. Trabalhos futuros estão a ser planeados com o intuito de validar o simulador em contextos de treino reais, incluindo uma amostra mais alargada e diversificada de profissionais da saúde, de modo a avaliar o seu impacto na aquisição de competências técnicas e na eficácia da formação cirúrgica em larga escala.
- O impacto da adoção de tecnologias de informação na eficiência operacional dos departamentos de um hotel: estudo de caso do Hotel Vila Galé PortoPublication . Ferreira, Ana Sofia Ribeiro; Silva, CândidaO presente relatório incide sobre o estágio curricular realizado no Hotel Vila Galé (VG) Porto, no âmbito do Mestrado em Direção Hoteleira da Escola Superior de Hotelaria e Turismo do Porto (ESHT), entre outubro de 2024 e abril de 2025. Este estágio teve como principais objetivos aplicar os conhecimentos teóricos adquiridos ao longo da formação e proporcionar uma experiência prática em contexto real de trabalho, através da rotação por três departamentos distintos: Receção, Housekeeping e Economato. Paralelamente à vertente prática, foi desenvolvida um estudo centrado no impacto da adoção tecnológica nos processos internos do Hotel. Com base na perceção dos colaboradores, procurou-se compreender de que forma as tecnologias e os sistemas de informação contribuem para a eficiência operacional, a comunicação organizacional e o apoio à tomada de decisão, assim como identificar os principais desafios inerentes à sua implementação. A investigação foi sustentada por uma revisão de literatura, sendo conduzida através da aplicação de um questionário estruturado de uma entrevista semiestruturada. A estrutura do relatório contempla uma revisão teórica, a caracterização da entidade de acolhimento, a descrição das atividades de estágio, a apresentação, e análise e discussão do estudo realizado, bem como uma reflexão crítica final. O trabalho evidencia a relevância estratégica da tecnologia na gestão hoteleira contemporânea e pretende contribuir para uma melhor compreensão da sua aplicação prática num ambiente real.
- Medidas de mitigação ao longo do ciclo de vida de uma mina: estudo de caso: Mina de Neves-CorvoPublication . Abreu, Ana Cláudia Simão; Chaminé, Helder Gil Iglésias de OliveiraA indústria mineira está habitualmente associada a impactes ambientais negativos sobre o meio ambiente. Os resíduos resultantes da atividade mineira, escombro e rejeitados, sendo geradores potenciais de águas ácidas, constituem um risco ambiental elevado, sendo um dos principais focos de contaminação dos solos e águas. Décadas de atividade mineira conduziram à geração de um passivo ambiental muito significativo, uma vez que até o final da década de 80 não existia em Portugal um adequado processo de recuperação ambiental das áreas afetadas e legislação aplicável. A consciência sobre os possíveis impactes ambientais tem aumentado ao longo das últimas décadas, levando as empresas a adotar práticas sustentáveis. Prevenir, mitigar e reparar os impactes negativos da exploração mineira sobre o ambiente são fundamentais, não só no fecho da mina, mas ao longo de todas as fases do ciclo de vida da mina. Na Somincor, são vários os exemplos de boas práticas e medidas de prevenção e mitigação utilizadas para evitar que qualquer impacte ambiental seja irrecuperável. A Boliden é membro do ICMM – Conselho Internacional de Mineração e Metais, organização internacional focada no desenvolvimento sustentável das atividades mineiras e tem como missão contribuir para interromper e reverter a perda de biodiversidade.
- Otimização de diagramas de perfuração e carregamento "drift" conforme geologia e orientação das galerias em mina subterrâneaPublication . ROCHA, ANDRÉ LUÍS SILVA DA; Chaminé, Helder Gil Iglésias de OliveiraEsta dissertação centra-se na otimização de diagramas de perfuração e carregamento drift nas Minas de Aljustrel, mais especificamente no Jazigo de Feitais, visando a obtenção de uma maior eficiência dos ciclos de trabalho em mina subterrânea. O estudo focou-se nas variáveis orientação das galerias em relação ao jazigo bem como nas diferentes litologias presentes no depósito mineral. Numa fase inicial procedeu-se à recolha de dados recentes sobre avanço e sobreescavação com a utilização do diagrama em vigor na empresa. Selecionadas as frentes a serem estudadas procedeuse à recolha de dados geológico-geotécnicos através de sondagens de modo a avaliar-se o comportamento geomecânico dos maciços rochosos que envolviam as galerias em foco. Seguiu-se a execução de alterações aos diagramas onde num primeiro teste implementou-se uma nova caldeira com 5 furos largos e num segundo momento a adição de uma nova temporização. Conjuntamente com estes experimentos realizou-se o acompanhamento in situ da operação de perfuração de modo a garantir o rigor dos ensaios. Após uma análise estatística acompanhada de uma avaliação económica concluiu-se que a implementação do teste 2 garante uma maior eficiência quando comparada ao atual diagrama devido aos maiores avanços em frentes longitudinais e à drástica queda das médias de sobre-escavação.
- A importância crescente da área geoambiental em obras geotécnicas: acompanhamento de uma obra em LisboaPublication . RIBEIRO, ALÍCIA MARIANA NUNES; Chaminé, Helder Gil Iglésias de OliveiraA presente dissertação, baseada num estágio curricular académico, foca-se na crescente importância da componente geoambiental nas obras geotécnicas. Explora ainda uma campanha de prospeção geotécnica e ambiental, realizada na Rua do Mirador, em Lisboa. De modo a obter o conhecimento necessário para a elaboração do presente trabalho, foi realizado um estágio na Mota-Engil Engenharia & Construção S.A. – Departamento de Geotecnia. Neste relatório é dada ênfase aos trabalhos efetuados em campo, descrevendo alguns métodos de prospeção mais utilizados, incluindo a prospeção mecânica, ensaios in situ e prospeção geofísica. Também é referida a informação relevante a incluir nos ensaios geoambientais, como a legislação e os tipos de ensaios, assim como a sua importância no estudo geológico-geotécnico. É analisada em maior detalhe a crescente importância ambiental na geotecnia, com recurso ao estudo das campanhas de prospeção realizadas entre os anos de 2020 a 2024 através da plataforma “GIS MEEC”, da Mota- Engil. O objetivo desta análise é avaliar a tendência da solicitação de componente geoambiental em obras geotécnicas, principais elementos analisados e quais os que demonstram maior excedência em relação aos valores de referência utilizados pela APA, em Portugal. Por último, é analisado um caso prático de uma campanha de prospeção geotécnica e ambiental, que menciona os trabalhos realizados, a metodologia utilizada e os resultados obtidos. Debatem-se os resultados dos ensaios in situ, nomeadamente a resistividade elétrica e os ensaios geoambientais, visando prevenir possíveis consequências da deficiente aplicação e interpretação de resultados.
- As tributações autónomas em sede de IRC no sistema fiscal portuguêsPublication . Cabo, Diana Filipa Correia do; Fernandes, Tiago Vieira Pimenta MartinsAs Tributações Autónomas constituem uma forma de tributação característica do sistema fiscal português, inicialmente concebidas como mecanismo de desincentivo à realização de determinadas despesas empresariais. Contudo, ao longo dos anos, a sua aplicação tem-se desviado do conceito inicial, assumindo-se como uma fonte relevante de receita fiscal. Este regime tem gerado discussão pela potencial distorção no âmbito do IRC, uma vez que incide sobre as empresas em situação lucrativa, bem como em situação de prejuízo fiscal, e também pelos conflitos com os princípios da CRP. A presente dissertação analisa as Tributações Autónomas, em sede de IRC, em Portugal, com o objetivo de avaliar a existência de regimes semelhantes noutros Estados Membros da UE nomeadamente Espanha e Irlanda. Pretende apurar-se se o caso português constitui uma especificidade no panorama da UE tendo em conta a sua finalidade, a relevância das receitas fiscais associadas e o impacto sobre a competitividade empresarial. A metodologia adotada inclui uma abordagem mista quantitativa e qualitativa, alicerçada em investigação jurídica e análise de dados fiscais. Esta investigação procura avaliar o impacto das Tributações Autónomas na competitividade fiscal e na complexidade do sistema fiscal português, em comparação com os países analisados. Os resultados evidenciam que o sistema fiscal português se distingue por ser um dos poucos a aplicar um regime de Tributações Autónomas, tal como demonstrado pelos estudos analisados ao longo da presente investigação. Este elemento específico, de natureza marcadamente penalizadora, tem contribuído para agravar os desafios enfrentados pelas empresas nacionais, em particular no que se refere ao aumento da carga fiscal, à diminuição da competitividade e à deterioração da perceção de equidade do sistema tributário.
- Digitalização na geotecnia ambiental: implementação do formato AGS para a gestão de dados geoambientaisPublication . MESQUITA, BÁRBARA LONDREIRA; Chaminé, Helder Gil Iglésias de OliveiraA engenharia geotécnica e geoambiental tem elevado potencial para integrar tecnologias emergentes; contudo, a ausência de formatos digitais normalizados constitui ainda um entrave significativo à sua modernização. O esquema AGS apresenta-se como uma solução digital estruturada, interoperável com GIS, CAD, BIM e bases de dados relacionais, sendo amplamente adotado a nível internacional. A sua maturidade, acessibilidade e flexibilidade tornam-no especialmente relevante para a transição digital do setor. Esta dissertação centrou-se na aplicação do formato AGS à digitalização de dados geoambientais relativos a solo escavado, cuja gestão requer avaliação da contaminação, perigosidade e admissibilidade em aterro. O caso prático teve como base uma área com uso industrial anterior, incluindo sondagens e ensaios laboratoriais. Os dados recolhidos foram organizados segundo o formato AGS, com cabeçalhos personalizados para integrar informação normativa e classificações técnicas. Devido à complexidade da estrutura, foi desenvolvido um script em VBA para automatizar a exportação do ficheiro AGS, cuja validade foi confirmada através dos validadores da AGS e do BGS. Paralelamente, foi criado um script adicional para gerar automaticamente ficheiros GeoJSON compatíveis com QGIS. A solução revelou-se tecnicamente robusta e adaptada ao contexto português, evidenciando potencial para aumentar a eficiência e apoiar a digitalização do setor geoambiental.