Tradução do conto de Peter Handke “Das Umfallen der Kegel von einer bäuerlichen Kegelbahn”

O conto aqui traduzido é um exemplo acabado de desconstrucionismo, sobretudo conseguido através da menorização do papel do narrador, constantemente desautorizado pelas personagens, que o interrompem e o contradizem. Assim, alguns segmentos aparentemente incongruentes não o são de facto. Na tarefa de tradução deste conto, mantivemos as características de descontrução do texto de partida, pelo que quaisquer aparentes incoerências são inerentes ao texto original e não erros de tradução.

O recurso a procedimentos de auditoria financeira no combate à fraude e evasão fiscais

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação de Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

Calibração automática para sistema de localização Multi-câmara

Mestrado em Engenharia Electrotécnica e de Computadores - Sistemas Autónomos

Estrutura a partir do Movimento em Sistemas Autónomos

Mestrado em Engenharia Electrotécnica e de Computadores - Ramo de Sistemas Autónomos

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.

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.

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.

Solução de navegação inercial para o sistema plasys

Neste trabalho faz-se uma pesquisa e análise dos conceitos associados à navegação inercial para estimar a distância percorrida por uma pessoa. Foi desenvolvida uma plataforma de hardware para implementar os algoritmos de navegação inercial e estudar a marcha humana. Os testes efetuados permitiram adaptar os algoritmos de navegação inercial para humanos e testar várias técnicas para reduzir o erro na estimativa da distância percorrida. O sistema desenvolvido é um sistema modular que permite estudar o efeito da inserção de novos sensores. Desta forma foram adaptados os algoritmos de navegação para permitir a utilização da informação dos sensores de força colocados na planta do pé do utilizador. A partir desta arquitetura foram efetuadas duas abordagens para o cálculo da distância percorrida por uma pessoa. A primeira abordagem estima a distância percorrida considerando o número de passos. A segunda abordagem faz uma estimação da distância percorrida com base nos algoritmos de navegação inercial. Foram realizados um conjunto de testes para comparar os erros na estimativa da distância percorrida pelas abordagens efetuadas. A primeira abordagem obteve um erro médio de 4,103% em várias cadências de passo. Este erro foi obtido após sintonia para o utilizador em questão. A segunda abordagem obteve um erro de 9,423%. De forma a reduzir o erro recorreu-se ao filtro de Kalman o que levou a uma redução do erro para 9,192%. Por fim, recorreu-se aos sensores de força que permitiram uma redução para 8,172%. A segunda abordagem apesar de ter um erro maior não depende do utilizador pois não necessita de sintonia dos parâmetros para estimar a distância para cada pessoa. Os testes efetuados permitiram, através dos sensores de força, testar a importância da força sentida pela planta do pé para aferir a fase do ciclo de marcha. Esta capacidade permite reduzir os erros na estimativa da distância percorrida e obter uma maior robustez neste tipo de sistemas.

A Influência da Electrolipólise Associada ao Exercício Físico na Atividade Metabólica

O excesso de gordura abdominal associa-se a patologias cardiometabólicas. A microcorrente poderá ser coadjuvante ao exercício aeróbio na estimulação da lipólise, prevenindo riscos de saúde. O exercício físico aeróbio constitui uma modalidade capaz de diminuir o tecido adiposo, por estimular a lipólise através da elevação do nível de catecolaminas, resultantes do aumento da actividade do sistema nervoso simpático. O tipo de exercício físico mais adequado para consumo predominante de lípidos é o exercício aeróbio prolongado e de intensidade moderada. No entanto, na prática de exercício físico as fontes lipídicas são globais o que sustenta a utilidade de procedimentos que promovam o gasto de gordura localizada na região abdominal. A electrolipólise, que pode ser realizada pela aplicação de microcorrente de baixa frequência, poderá ser usada com este intuito, uma vez que a activação do sistema nervoso simpático, juntamente com a alteração da polaridade da membrana celular dos adipócitos e o aumento do fluxo sanguíneo, parecem ser os responsáveis pela promoção da lipólise e aumento do metabolismo local. Para além destes mecanismos, a microcorrente favorece a degradação de triglicerídeos ao promover a activação das enzimas triglicerídeo lípase e lípase hormono-sensível. Após a hidrólise de triglicerídeos torna-se fulcral o exercício físico para que os ácidos gordos em circulação sejam utilizados como fonte de energia. Porém não existe evidência científica que comprove os efeitos da electrolipólise associada ao exercício físico bem como consenso nos parâmetros que devem ser utilizados para electrolipólise, neste sentido vários estudos tem sido realizados no âmbito da linha de investigação de sistema tegumentar e metabólico da ESTSP.

Análise da eficácia da aplicação da Metodologia FMEA do Processo: Caso de estudo numa empresa certificada

Num mercado globalizado, a procura contínua de vantagens competitivas é um fator crucial para o sucesso das organizações. A melhoria contínua dos processos é uma abordagem usual, uma vez que os resultados destas melhorias vão se traduzir diretamente na qualidade dos produtos. Neste contexto, a metodologia Failure Mode Effect Analysis (FMEA) é muito utilizada, especialmente pelas suas características proactivas, que permitem a identificação e a prevenção de erros do processo. Assim, quanto mais eficaz for a aplicação desta ferramenta, mais benefícios terá a organização. Assim, quando é utilizado com eficácia, o FMEA de Processo, além de ser um método poderoso na análise do processo, permite a melhoria contínua e a redução dos custos [1] . Este trabalho de dissertação teve como objetivo avaliar a eficácia da utilização da ferramenta do FMEA de processo numa organização certificada segundo a norma ISO/TS16949. A metodologia proposta passa pela análise de dados reais, ou seja, comparar as falhas verificadas no mercado com as falhas que tinham sido identificadas no FMEA. Assim, ao analisar o nível de falhas identificadas e não identificadas durante o FMEA e a projeção dessas falhas no mercado, consegue-se determinar se o FMEA foi mais ou menos eficaz, e ainda, identificar fatores que condicionam a melhor utilização da mesma. Este estudo, está organizado em três fases, a primeira apresenta a metodologia proposta , com a definição de um fluxograma do processo de avaliação e as métricas usadas, a segunda fase a aplicação do modelo proposto a dois casos de estudo, e uma última fase, que consiste na análise comparativa, individual e global, que visa, além de comparar esultados, identificar pontos fracos durante a execução do FMEA. Os resultados do caso de estudo indicam que a ferramenta do FMEA tem sido usada com eficácia, pois consegue-se identificar uma quantidade significativa de falhas potenciais e evitá-las. No entanto, existem ainda falhas que não foram identificadas no FMEA e que apareceram no cliente, e ainda, algumas falhas que foram identificadas e apareceram no cliente. As falhas traduzem-se em má qualidade e custos para o negócio, pelo que são propostas ações de melhoria. Pode-se concluir que uma boa utilização do FMEA pode ser um fator importante para a qualidade do serviço ao cliente, e ainda, com impacto dos custos.