Verificação prática de anomalias em programas de memória transaccional

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Planeamento estratégico para abertura e implementação de um ginásio desportivo

Projeto apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Gestão das Organizações, Ramo de Gestão de Empresas. Orientada pelo Professor Doutor Eduardo Manuel Lopes de Sá e Silva Coorientada pelo Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

Grupos implícitos em aplicações interactivas

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Análise ao Sistema de Alimentação de Tração Elétrica (1x25 kV - Rede convencional, 2x25 kV –Rede convencional + Alta velocidade)

O transporte ferroviário é um meio de transporte em que o meio de deslocamento ocorre por meio de vias férreas, transportando, entre outros, pessoas e cargas. Este meio de transporte é um dos mais antigos e a sua origem está ligada directamente com a Primeira Revolução Industrial, acontecimento histórico que sucedeu na Europa no final do século XVIII e início do século XIX. Uma rede ferroviária é um sistema único no ponto de vista do uso de tração elétrica assim como no modo que se insere na sociedade por ser um meio de transporte seguro, rápido e bastante utilizado pela população. As redes de alimentação de energia (transporte e distribuição) e a rede de alta velocidade ditaram novas soluções para a alimentação elétrica ferroviária contribuindo para a sua evolução técnica, na segurança e também na compatibilidade eletromagnética no sentido de se estabelecerem critérios de controlo e prevenção dos efeitos indesejáveis provocados pela interferência magnética. O presente trabalho tem por objetivo analisar e estudar tecnicamente como se comportam as redes que alimentam os veículos de tração elétrica desde as subestações até à alimentação das locomotivas. Dada a complexidade da sua análise torna-se necessário o recurso a ferramentas de simulação mais ou menos complexas. No presente trabalho recorreu-se ao MATLABTM, nomeadamente, ao MATLABTM/Simulink. Foram analisadas as principais grandezas elétricas em cenários distintos para os sistemas de alimentação da catenária de 1x25 kV e 2x25 kV.

A gestão de riscos de negócio e o seu reporte

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 do Mestre Carlos Mendes.

Regulação de velocidade em motores de corrente contínua

Uma grande parte das aplicações em que se utiliza força motriz beneficiaria, em termos de consumo de energia elétrica e de desempenho global, se a velocidade do motor se ajustasse às necessidades do processo. Existem muitas aplicações em que é necessário regulação e controlo de velocidade, como em máquinas ferramentas, ventoinhas, elevadores, veículos de tração elétrica, entre outras.

Optimizações guiadas por dados reais em linguagens de domínio específico para a web

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

cartografia de risco de cheia: análise comparativa de cartografia de cheia para a cidade de tavira

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil de Gestão e Sistemas Ambientais

Modelação de concerns voláteis em aplicações geoespaciais: o caso dos concerns geoespa

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

Classificação de sons cardíacos usando Motifs: desenvolvimento de uma aplicação móvel

Este documento foi redigido no âmbito da Tese, do Mestrado em Engenharia Informática na área de Tecnologias do Conhecimento e Decisão, do Departamento de Engenharia Informática, do ISEP, cujo tema é classificação de sons cardíacos usando motifs. Neste trabalho, apresenta-se um algoritmo de classificação de sons cardíacos, capaz de identificar patologias cardíacas. A classificação do som cardíaco é um trabalho desafiante dada a dificuldade em separar os sons ambiente (vozes, respiração, contacto do microfone com superfícies como pele ou tecidos) ou de ruído dos batimentos cardíacos. Esta abordagem seguiu a metodologia de descoberta de padrões SAX (motifs) mais frequentes, em séries temporais relacionando-os com a ocorrência sistólica (S1) e a ocorrência diastólica (S2) do coração. A metodologia seguida mostrou-se eficaz a distinguir sons normais de sons correspondentes a patologia. Os resultados foram publicados na conferência internacional IDEAS’14 [Oliveira, 2014], em Julho deste ano. Numa fase seguinte, desenvolveu-se uma aplicação móvel, capaz de captar os batimentos cardíacos, de os tratar e os classificar. A classificação dos sons é feita usando o método referido no parágrafo anterior. A aplicação móvel, depois de tratar os sons, envia-os para um servidor, onde o programa de classificação é executado, e recebe a resposta da classificação. É também descrita a arquitetura aplicacional desenhada e as componentes que a constituem, as ferramentas e tecnologias utilizadas.

Controlo de acessos sistema de credenciação

Os sistemas de controlo de acessos são ferramentas usadas para garantir níveis de segurança, seletividade e controlabilidade no acesso a áreas ou recursos privados minimizando constrangimentos provocados por inspeções. O Aeroporto Francisco Sá Carneiro é uma infraestrutura composta por vários edifícios, com áreas de acesso restrito caracterizadas por diversas especificidades. Para fazer a gestão de acessos, alguns edifícios estão equipados com sistemas de controlo automáticos para rastreio de pessoas e viaturas, noutros existe um elemento humano a desempenhar essa tarefa. Operacionalmente, no Aeroporto são usados conjuntos de ferramentas de software, desenvolvidas por várias entidades e em períodos de tempo diferentes que sustentam os procedimentos relacionados com o controlo de acessos. Por questões de suporte das aplicações, questões de inclusão de novas funcionalidades e adaptação a exigências do dia-a-dia, pretende-se substituir as várias ferramentas atuais por uma plataforma única que agregue a satisfação de todas as necessidades decorrentes do processo de controlo de acessos e de credenciação de pessoas e viaturas. Este documento de dissertação descreve o estudo, o projeto e a implementação de um protótipo funcional da nova plataforma de software de controlo de acessos para o Aeroporto Francisco Sá Carneiro.

Gestão da manutenção e o novo paradigma de manuseamento de gases fluorados com efeito de estufa

As alterações climáticas são atualmente reconhecidas como uma das mais relevantes ameaças ambientais, sociais e económicas. A resposta a este problema tem-se traduzido na aplicação de um conjunto de legislação e práticas, com o objetivo de promover uma redução significativa das emissões de gases com efeito de estufa. Entre outros, os gases fluorados são dos mais relevantes gases com efeito de estufa, conforme identificados no Protocolo de Quioto. No enquadramento legal em vigor a certificação de técnicos e empresas, assim como certificação de ferramentas para o manuseamento de gases fluorados, sofreu, desde 2011, uma profunda alteração, com impacto nos procedimentos de manutenção existentes até essa data, na atividade de empresas prestadoras de serviços de manutenção e na atuação dos proprietários de edifícios civis e industriais com equipamentos que contêm gases fluorados. Esta tese tem como objetivo evidenciar as ações que as empresas prestadores de serviços necessitam executar para a sua certificação, assim como informar os proprietários de edifícios civis ou industriais, sobre as diferentes vertentes que têm à sua disposição, em termos de gestão da manutenção, de forma a garantir o cumprimento da legislação em vigor nas suas instalações e a gestão de ativos físicos que contêm gases fluorados, tais como equipamentos e instalações de aquecimento, ventilação, ar condicionado e refrigeração. Foi efetuada uma pesquisa aprofundada sobre os requisitos legais e técnicos necessários para a cerificação das empresas que atuam neste sector. Um caso de estudo foi realizado e os resultados apresentados sobre todo o processo de certificação de uma empresa do setor do ar condicionado e refrigeração, para poder prestar serviços em equipamentos ou sistemas que contenham gases fluorados com efeito de estufa.

Planeamento de uma estrada utilizando CCS Candy - Caso de estudo

O tema desta dissertação foi escolhido tendo em consideração a crescente necessidade de planeamento de empreitadas de construção de estradas, sendo um dos objetivos desta dissertação o de oferecer uma visão global do processo de planeamento da construção de uma estrada, focado apenas no fator tempo, recorrendo a ferramentas informáticas e utilizando um caso de estudo de uma estrada real e já construída. Inicialmente, faz-se uma breve descrição dos métodos de planeamento mais aplicados em planeamentos de projetos, bem como dos softwares a utilizar neste trabalho. De seguida, descreve-se o caso de estudo, indicando as suas características principais. Partindo-se deste caso real, com base no estudo do Projeto de Execução, determinam-se as atividades, as suas relações e dependências, definem-se equipas e frentes de trabalho e determinam-se os respetivos rendimentos. Após a obtenção dos rendimentos de todas as atividades, elabora-se o planeamento da estrada, focado apenas no fator tempo, recorrendo ao diagrama de Gantt e ao diagrama espaço-tempo, utilizando para isso softwares de referência no mercado, o Microsoft Project e o CCS Candy. Por fim, são apresentadas algumas das principais diferenças entre as duas ferramentas informáticas aplicadas, as conclusões gerais, assim como uma proposta de desenvolvimento futuro.

Sistema de apoio à decisão do rastreio do cancro da mama

O estudo do rastreio do cancro da mama funciona não só como um benefício, mas também como um método que pode causar controvérsias nas mulheres consideradas saudáveis antes de se submeterem ao rastreio. Assim, a necessidade do utente adquirir conhecimento sobre as vantagens e desvantagens do rastreio do cancro da mama é fundamental para decidir se, se submete ou não, a este rastreio. A decisão do paciente é crucial na decisão final e as consequências já devem ser do seu conhecimento. Com este estudo, pretendeu-se o desenvolvimento de um Sistema de Informação (SI) na Web, que funcione como auxiliar no processo de tomada de decisão para a realização do rastreio do cancro da mama. A decisão do componente do SI é fundamental, com o objetivo de auxiliar os utilizadores no processo de tomada de decisão para a realização do rastreio do cancro da mama. O desenvolvimento da plataforma “Decidir”, apresenta-se numa aplicação crucial no domínio médico da decisão do rastreio do cancro da mama, onde referências às suas controvérsias e benefícios são fundamentais para um melhor cuidado de saúde. Para esse efeito foram implementadas duas ferramentas para ajudar na decisão de realizar ou não o rastreio do cancro da mama. A primeira ferramenta resulta na decisão pessoal de cada indivíduo (paciente/profissionais de saúde), que pode ser variável, conforme um conjunto de proposições relevantes no aspeto pessoal e clínico para a tomada de decisão do rastreio nesta área.

O método de cálculo de custos baseado nas actividades

O século XX, sobretudo na segunda metade, trouxe para os sistemas de informação empresariais (estes são o suporte de múltiplos modelos ligados à planificação, ao controlo e à tomada de decisões em geral) alterações espectaculares, cujo difícil domínio é o motor de novas propostas e achegas multidisciplinares. Como parte essencial dos referidos sistemas, a Contabilidade de Custos tem perseguido determinar valores unitários de bens ou serviços, de funções ou outros portadores de custos, com diferentes propósitos segundo objectivos, épocas e áreas geográficas concretas. Durante os últimos anos do século passado e no primeiro quartel deste, os cálculos ligaram-se essencialmente ao produto como forma de actuar sobre a eficiência laboral. Os engenheiros industriais (em empresas multinacionais americanas), preocupados em conseguir uma maior racionalidade na utilização dos recursos, estudaram profundamente a normalização e standardização dos materiais e equipamentos, o preestabelecimento de métodos e a medida dos tempos de trabalho. A sua investigação estendeu-se também à forma de organização mais adequada para o desenvolvimento da actividade empresarial; de tal forma que, sob a “batuta” de homens como F. W. Taylor (e o seu método de trabalho para definir tarefas e ferramentas mais adequadas a cada actividade), E. Mayo (e a sua preocupação pelas condições de trabalho em equipa) ou H. Fayol (e a sua procura sistemática das características que devem contribuir para a administração eficiente das organizações), foram-se confirmando os conteúdos actuais dos conceitos de disciplina e ordem, liderança e hierarquia, iniciativa e espírito de superação, etc; assim como novas formas de entender, organizar e realizar o trabalho, que configurarão relações laborais diferentes das herdadas da sociedade pré-industrial. Corolário de tudo foram a especialização e a departamentalização da empresa, bem como o progressivo aparecimento de uma estrutura funcional, com competências pessoais marcadas pela hierarquia. Os engenheiros, com o objectivo de racionalizarem ao máximo as tarefas produtivas, criaram as bases para o desenvolvimento do custo “standard” (padrão) e reuniram o seu estudo com os problemas da direcção geral do negócio: os padrões técnicos serão referência obrigatória para a remuneração do pessoal e a programação de existências e compras, assim como para determinar as actividades dos centros (base do cálculo dos orçamentos); e ainda se revelaram um óptimo instrumento de controlo. Acompanhando este movimento, o cálculo do custo industrial centrar-se-à nos produtos (como portadores finais dos diferentes consumos necessários para a sua obtenção) sobre a base dos padrões técnicos definidos para eles. Não obstante, na primeira metade do nosso século, e sob a pressão de uma procura crescente de informação financeira, iniciou-se a passagem da gestão de custos à contabilidade de custos: os textos de contabilidade dos anos 20 propõem o cálculo do custo de produção com uma orientação clara - valorizar as existências para a informação financeira (Balanço e Resultados no fim do exercício). Só depois da 2ª Guerra Mundial se começa a falar de gestão e, por consequência, de custos para a planificação, controlo e tomada de decisões (Johnson e Kaplan, 1987). Impõe-se uma reflexão sobre os diferentes significados que o custo tem tido ao longo do nosso século (ligando esses significados às circunstâncias que provocaram cada elaboração) para a sua construção futura.