Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Contributo dos dados lidar para o inventário florestal municipal

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território

O erro nos cuidados de enfermagem a indivíduos internados numa unidade de cuidados intensivos - Estudo de caso sobre as representações dos actores de uma unidade pós cirúrgica de um hospital português

Estima-se que em Portugal existam entre 1330 e 2900 mortes anuais devido a erros cometidos por equipas prestadoras de cuidados médicos, mais mortes do que por acidente de viação, 1145 no ano 2006, ou devido ao vírus da imunodeficiência humana (VIH), 873 no mesmo ano. Vários autores afirmam que os enfermeiros são responsáveis por mais efeitos adversos evitáveis do que qualquer outro profissional de saúde, por representarem uma percentagem significativa dos recursos humanos da saúde e por passarem uma grande parte seu do tempo com os utentes. A complexidade das funções desempenhadas, o stress, a imprevisibilidade e a elevada tecnologia que caracterizam uma unidade de cuidados intensivos são reconhecidos como factores indutores de erros humanos e do sistema. Recorrendo a uma abordagem do tipo qualitativo, procurou-se compreender o erro em enfermagem numa Unidade de Cuidados Intensivos (UCI) dando voz aos actores directamente envolvidos. O método seguido foi o estudo de caso, através do qual se pretendeu conhecer em profundidade o fenómeno em estudo, utilizando como técnica o grupo focal, procedendo-se à posterior análise de conteúdo das gravações transcritas. Foi possível constatar que os enfermeiros dão principal relevância aos erros de execução, comunicação e violação de procedimentos, considerando na sua maioria que os erros de execução se devem geralmente a lapsos e falhas, enquanto os erros de planeamento e violação de procedimentos têm origem essencialmente em falhas de informação e conhecimento. Embora pareça existir uma visão sistémica do erro, as consequências surgem frequentemente associadas ao profissional implicado.

Organização e disposição dos armazéns

Relatório de Estágio Curricular apresentado ao Instituto Superior de Contabilidade e Administração do Porto para obtenção do Grau de Mestre em Logística Orientado pelo Doutor Júlio Faceira Guedes Coorientado pelo Engenheiro Ricardo Costa Moreira

Ferramentas para optimização da solução NGIN da PT Inovação

Mestrado em Engenharia Informática

Inspeção, Diagnóstico e Reparação de Estruturas de Betão Armado

O mercado da reabilitação de estruturas em Portugal está em voga, sendo um nicho de mercado com evolução galopante nos últimos anos fruto da consciencialização das entidades responsáveis, assim como das necessidades de intervir no parque edificado cada vez mais degradado, resultando num estímulo para o mercado da construção face ao seu estado atual. As causas associadas à degradação prematura dos materiais estruturais resultam de erros de conceção e execução, assim como do facto de muitas estruturas de betão armado do parque habitacional edificado nas décadas de 60 e 70, estarem a atingir o fim do seu período de vida útil. Na avaliação do estado de degradação de estruturas de betão armado aconselha-se a utilização de ensaios não destrutivos, uma vez que permitem efetuar um diagnóstico com resultados positivos salvaguardando a integridade da estrutura. A norma EN 1504“Produtos e Sistemas para a proteção e reparação de estruturas de betão” estipula os procedimentos de execução, as características dos materiais mais adequados a cada tipo de projeto, assim como a divisão do seu encadeamento em 5 fases. O caso prático apresentado é um edifício de prestação de serviços municipais, tendo sido aplicado com o maior rigor possível as fases de inspeção, diagnóstico, deliberação e reparação. Foi efetuada uma fase de diagnóstico, de carácter visual assim como de caracterização física dos elementos estruturais em betão armado através de ensaios “in situ”. A estrutura avaliada apresenta debilidades e um estado de degradação acelerado, pelo que urge uma intervenção de reparação por forma a repor a estrutura com as características da sua conceção, salvaguardando a segurança das pessoas e bens.

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

Sistema pericial para auditoria de registos clínicos

O registo clinico é um documento hospitalar confidencial, nele é registado todo o percurso clinico de um determinado paciente. Esse percurso é registado através da atribuição de códigos descritos num sistema de classificação, também denominados de dados da codificação. Os dados da codificação são armazenados electronicamente numa Base de Dados, e é a partir dela que certas medidas, tais como facturação hospitalar, financiamentos hospitalares anuais, tratamentos médicos, ou até mesmo dados epidemiológicos, são adotadas. Portanto torna-se fundamental a garantia da qualidade na área da codificação clinica, para isso é necessário recorrer a processos de auditorias aos registos clínicos. O processo de auditoria é uma atividade independente de avaliação, cujo objetivo visa acrescentar valor e melhorar os objetos e processos da auditoria. Atualmente uma ferramenta denominada de Programa Auditor é utilizada, contudo essa ferramenta demonstra uma tecnologia já ultrapassada. A Tese que se pretende defender é a de que, através de Sistemas Periciais, é possível realizar auditorias internas aos registos clínicos. Pretende-se ainda demonstrar que dos Sistemas Periciais e um benefício para os peritos na área, pois diminui a probabilidade de erros e torna o processo de verificação menos moroso. Neste contexto, o objetivo desta Dissertação prende-se em definir e implementar um Sistema Pericial que permita a auditoria de registos clínicos hospitalares. O Sistema Pericial dever a ainda ser capaz de traduzir o raciocínio do perito, detectando assim diversos tipos de erros que traduzem num registo clínico não conforme. Por sua vez, foi desenvolvido um protótipo de um Sistema Pericial para auditoria de registos clínicos em linguagem PROLOG. Este mesmo protótipo serviu de base à realização de uma experiência que permitiu comparar com o programa Auditor e verificar a sua aplicabilidade no dia-a-dia hospitalar.

Verificação interna periódica de esfigmomanómetros digitais

Os equipamentos de medição utilizados nos hospitais têm uma função muito importante na deteção e diagnóstico de doenças como é o caso da pressão arterial. Entre esses equipamentos encontram-se os esfigmomanómetros digitais portáteis que são em muitos casos os primeiros a serem utilizados e a fornecerem um primeiro diagnóstico da pressão arterial do doente como é no caso das urgências hospitalares. Para que os diagnósticos prescritos pelos profissionais de saúde - médicos e enfermeiros seja o mais correto é necessário conhecer as condições de trabalho em que se encontram os esfigmomanómetros digitais existentes nas unidades de saúde. Sendo os esfigmomanómetros digitais equipamentos com uma importância relevante na vida do ser humano, estes deveriam fazer parte da lista de equipamentos que estão englobados na metrologia legal, situação que neste momento ainda não foi concretizada e cada hospital toma a decisão espontânea se efetua a calibração ou verificação internamente dos seus esfigmomanómetros digitais. Pretende-se com este trabalho dar a conhecer o estado ao nível dos erros de alguns esfigmomanómetros digitais existentes nos hospitais envolvidos no trabalho e desenvolver um procedimento de verificação interna dos mesmos com auxílio de um manómetro analógico calibrado e um estetoscópio duplo – método de medição auscultatório - e comparar esses resultados com a utilização de um simulador – método de medição oscilométrico.

Desenvolvimento de uma aplicação de controlo do simulador de pressão arterial “PreSphygmos”

Dissertação realizada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa com objectivo da obtenção do grau de Mestre em Engenharia Biomédica

Desenvolvimento de um equipamento para calibração de esfigmomanómetros automáticos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Biomédica

Modelação e identificação de motor DC

O modelo matemático de um sistema real permite o conhecimento do seu comportamento dinâmico e é geralmente utilizado em problemas de engenharia. Por vezes os parâmetros utilizados pelo modelo são desconhecidos ou imprecisos. O envelhecimento e o desgaste do material são fatores a ter em conta pois podem causar alterações no comportamento do sistema real, podendo ser necessário efetuar uma nova estimação dos seus parâmetros. Para resolver este problema é utilizado o software desenvolvido pela empresa MathWorks, nomeadamente, o Matlab e o Simulink, em conjunto com a plataforma Arduíno cujo Hardware é open-source. A partir de dados obtidos do sistema real será aplicado um Ajuste de curvas (Curve Fitting) pelo Método dos Mínimos Quadrados de forma a aproximar o modelo simulado ao modelo do sistema real. O sistema desenvolvido permite a obtenção de novos valores dos parâmetros, de uma forma simples e eficaz, com vista a uma melhor aproximação do sistema real em estudo. A solução encontrada é validada com recurso a diferentes sinais de entrada aplicados ao sistema e os seus resultados comparados com os resultados do novo modelo obtido. O desempenho da solução encontrada é avaliado através do método das somas quadráticas dos erros entre resultados obtidos através de simulação e resultados obtidos experimentalmente do sistema real.

Caracterização dos edifícios pombalinos da baixa de Lisboa

Dissertação para obtenção do Grau de Mestre em Mestrado Integrado em Engenharia Civil – Perfil de Construção pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Ventilação de locais afetos a serviços técnicos elétricos

A correta ventilação de locais afetos a serviços técnicos elétricos, nomeadamente postos de transformação e salas de grupos geradores, reveste-se de extrema importância como garantia da continuidade e qualidade do serviço prestado, durabilidade dos materiais e equipamentos e da segurança das instalações e utilizadores. A ventilação dos locais afetos a serviços técnicos elétricos pode ser natural ou mecânica, dependendo das suas caraterísticas e das necessidades de ar para ventilação e combustão, quando aplicável. Os técnicos responsáveis pelo projeto de instalações elétricas não detém, em regra, um conhecimento muito profundo sobre este tema, sendo os seus projetos realizados com base em especificações e metodologias gerais disponibilizadas pelos fabricantes e comercializadores dos materiais e equipamentos. O projeto de uma solução de ventilação para um local afeto a serviços técnicos eléctricos exige o conhecimento de todos os ganhos térmicos no interior do espaço, o conhecimento das soluções técnicas e tecnológicas de ventilação bem como as metodologias de dimensionamento aplicáveis a cada situação. Sendo a fase de projeto elétrico, em regra, uma atividade com prazos apertados, pode conduzir ao menosprezar de certos aspetos particulares que carecem de investigação e tempo para serem desenvolvidos, o que pode resultar em projetos e mapas de quantidades que apresentam desvios da solução ideal para o cliente, podendo resultar em investimentos mais elevados, quer na fase de execução, quer na fase de exploração das instalações. Neste sentido, pretendeu-se com o presente trabalho, tratar o tema da ventilação de locais afetos a serviços técnicos, atendendo ao enquadramento normativo e regulamentar das instalações, às soluções técnicas e tecnológicas disponíveis no mercado e às metodologias de dimensionamento, apresentadas pelos documentos normativos e regulamentares. Pretendeu-se também desenvolver uma ferramenta informática de auxilio ao dimensionamento das soluções de ventilação de locais afetos a serviços técnicas eléctricos destinados a postos de transformação e grupos geradores de modo a reduzir o tempo normalmente exigido por esta tarefa, o que se traduzirá numa maior rentabilidade do tempo de projeto, assim como a normalizar as soluções apresentadas e minimizar a probabilidade de erro do dimensionamento das soluções, reduzindo assim a probabilidade de gastos em “trabalhos a mais” provenientes de erros em projeto, poupança em materiais presentes no mapa de quantidades, maior eficácia na execução da empreitada, poupança em gastos durante a exploração e desta forma numa proximidade entre as partes interessadas com o dimensionamento da ventilação do espaço técnico elétrico.

BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.