Sistema de localização de um veículo autónomo terrestre

Mestrado em Engenharia Electrotécnica e de Computadores.

Matemática no quotidiano : do BI aos números de identificação do Cartão de Cidadão

(...) O leitor que já possua Cartão de Cidadão poderá constatar que o algarismo suplementar do BI continua a marcar presença no novo documento: surge à frente do antigo número do BI, que se passou a designar por Número de Identificação Civil (NIC), imediatamente antes de duas letras. Mas qual é o papel deste algarismo? Na verdade, o algarismo suplementar não é assim tão misterioso. É simplesmente um algarismo de controlo ou dígito de verificação (check digit), que tem como objetivo detetar erros que possam ocorrer na escrita ou leitura do número do BI. Apresente-se como exemplo o número 6235008 0, em que 0 é o algarismo suplementar. (...) Ficam assim desvendados alguns dos mistérios do Cartão de Cidadão. Mas podemos não ficar por aqui: isto porque o Número de Identificação da Segurança Social (NISS), disponível no verso do Cartão de Cidadão, também é um número de identificação com algarismo de controlo! E o curioso é que se utilizam números primos para o cálculo da soma de teste (chama-se primo a todo o número natural superior a um que tenha apenas dois divisores naturais distintos, o número um e ele próprio). Concretamente, utilizam-se os primeiros dez números primos: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29. (...)

GuideMe: service for consulting, publication and recommendation of touristic locations

Trabalho de Projeto realizado para obtenção do grau de Mestre em Engenharia Informática e de Computadores

Matemática no quotidiano : do cartão VISA ao Número de Identificação Bancária

(...) Existem diferentes tipos de sistemas de identificação com check digit. A escolha do algoritmo a implementar deve satisfazer dois princípios: por um lado, é importante escolher um sistema eficaz que detete o maior número possível de erros; por outro lado, a sua utilização no terreno deve ser de alguma forma acessível, particularmente para quem tem de lidar diariamente com os números produzidos por esse algoritmo. Hoje em dia a utilização de meios eletrónicos revela-se muito eficaz, quer para gerar o algarismo de controlo de novos números, como para validar números que já se encontrem em circulação. Mesmo assim, há uma série de requisitos importantes a ter em conta quando se pretende implementar um novo sistema de identificação. Desde logo, a escolha do alfabeto, ou seja, dos símbolos a utilizar. Normalmente, opta-se por recorrer apenas aos dez algarismos vulgarmente utilizados, do 0 ao 9. É o caso do exemplo que se segue. O método desenvolvido pela IBM, também conhecido por algoritmo de Luhn, aplica-se à generalidade dos cartões de crédito: VISA e VISA Electron (em que o primeiro algarismo da esquerda é um 4), MarterCard (5), American Express (3) e Discover (6), entre outros. Considere-se o número de um cartão VISA: 4188 3600 4538 6426. Como é habitual, o algarismo de controlo é o primeiro algarismo da direita, ou seja, o algarismo das unidades (6). Para verificar se este número é válido, procede-se da seguinte forma (...). Há um algoritmo mais eficaz, desenvolvido por Verhoeff em 1969, que utiliza os mesmos símbolos (os algarismos do 0 a 9). Este sistema deteta 100% dos erros singulares, 100% das transposições de algarismos adjacentes e algumas das transposições intercaladas. Paradoxalmente, é um método pouco utilizado, talvez por necessitar de uma maior bagagem matemática.(...) Na imagem, ilustra-se um exemplo de aplicação deste algoritmo para determinar o algarismo de controlo do número 201034571? (o ponto de interrogação representa o algarismo de controlo, por enquanto, desconhecido). (...) Se nos predispusermos a alargar o alfabeto de símbolos ou a considerar mais de um algarismo de controlo, podemos obter algoritmos ainda mais eficazes na deteção de erros. É o caso dos algoritmos estabelecidos pela norma ISO/IEC 7064. Por exemplo, o algoritmo MOD 11-2 é utilizado para identificar as receitas médicas em Portugal e utiliza um símbolo adicional (o X, que representa o número 10). Já o algoritmo MOD 97-10 requer a utilização de dois algarismos de controlo e é empregue na emissão do Número de Identificação Bancária (NIB). (...)

O algoritmo de Damm

(...) Recentemente, em 2004, H. Michael Damm provou na sua tese de doutoramento a existência de quase-grupos totalmente anti-simétricos para ordens diferentes de 2 e 6. A tabela da imagem define um quase-grupo totalmente anti-simétrico de ordem 10, adaptado de um exemplo apresentado por Damm na sua tese. Esta tabela é o que se designa por quadrado latino: em cada linha e em cada coluna, cada um dos símbolos utilizados devem figurar uma e uma só vez. Os quadrados latinos surgiram pelas mãos de um grande matemático, talvez o maior matemático de todos os tempos: Leonhard Euler (1707-1783). Este tipo de tabelas não é totalmente estranho ao leitor. Se olhar com atenção, encontrará apenas duas diferenças em relação aos tradicionais desafios de Sudoku: não existem as chamadas "regiões" e utiliza-se o 0, para além dos algarismos 1-9. A descoberta de Damm impulsionou o desenvolvimento de um novo algoritmo com o seu nome, que tem a vantagem de apenas utilizar os algarismos tradicionais, do 0 ao 9, e de detetar 100% dos erros singulares e 100% das transposições de algarismos adjacentes. Em relação ao algoritmo de Verhoeff, tem uma implementação mais simples e deteta 100% dos erros fonéticos (por exemplo, quando se escreve 15 em vez de 50, devido à pronúncia semelhante destes números em inglês: "fifteen" e "fifty"). Na imagem, ilustra-se um exemplo de aplicação deste algoritmo para determinar o algarismo de controlo do número 201436571? (o ponto de interrogação representa o algarismo de controlo, por enquanto, desconhecido). (...)

Embedded platform for ECG biometric recognition

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Análise da sinistralidade rodoviária no concelho de Loures em meio interurbano

Dissertação para obtenção do grau de Mestre em Engenharia na Área de Especialização em Vias de Comunicação e Transporte

Correcção automática de respostas de texto livre para a aplicação UNI_NET-Classroom

Ao longo dos tempos foi possível constatar que uma grande parte do tempo dos professores é gasta na componente de avaliação. Por esse facto, há já algumas décadas que a correcção automática de texto livre é alvo de investigação. Sendo a correcção de exercícios efectuada pelo computador permite que o professor dedique o seu tempo em tarefas que melhorem a aprendizagem dos alunos. Para além disso, cada vez mais as novas tecnologias permitem o uso de ferramentas com bastante utilidade no ensino, pois para além de facilitarem a exposição do conhecimento também permitem uma maior retenção da informação. Logo, associar ferramentas de gestão de sala de aula à correcção automática de respostas de texto livre é um desafio bastante interessante. O objectivo desta dissertação foi a realização de um estudo relativamente à área de avaliação assistida por computador em que este trabalho se insere. Inicialmente, foram analisados alguns correctores ortográficos para seleccionar aquele que seria integrado no módulo proposto. De seguida, foram estudadas as técnicas mais relevantes e as ferramentas que mais se enquadram no âmbito deste trabalho. Neste contexto, a ideia foi partir da existência de uma ferramenta de gestão de sala de aula e desenvolver um módulo para a correcção de exercícios. A aplicação UNI_NET-Classroom, que foi a ferramenta para a qual o módulo foi desenvolvido, já continha um componente de gestão de exercícios que apenas efectuava a correcção para as respostas de escolha múltipla. Com este trabalho pretendeu-se acrescentar mais uma funcionalidade a esse componente, cujo intuito é dar apoio ao professor através da correcção de exercícios e sugestão da cotação a atribuir. Por último, foram realizadas várias experiências sobre o módulo desenvolvido, de forma a ser possível retirar algumas conclusões para o presente trabalho. A conclusão mais importante foi que as ferramentas de correcção automática são uma mais-valia para os professores e escolas.

Cobertura de linhas telefônicas residenciais e vícios potenciais em estudos epidemiológicos

OBJETIVO: Estimar o efeito da taxa de cobertura de linhas telefônicas residenciais em potenciais vícios de informação em inquéritos epidemiológicos. MÉTODOS: Foram utilizadas as bases de dados da Pesquisa Nacional por Amostra de Domicílios no período de 1998 a 2003 para a estimativa das taxas de cobertura de linhas telefônicas residenciais nas cinco regiões geográficas brasileiras. Utilizou-se a regressão logística múltipla para identificar os fatores associados à posse de linha telefônica fixa. O impacto do vício nos intervalos com 95% de confiança foi avaliado em função da precisão alcançada em cada situação. RESULTADOS: Nas regiões metropolitanas Sudeste, Sul e Centro-Oeste com 70% e mais de cobertura, os vícios associados foram considerados desprezíveis. Nas demais regiões, os vícios relativos estavam acima do limite aceitável (0,4), indicando possíveis erros nas inferências construídas sob intervalo com 95% de confiança. A chance de acesso à linha telefônica residencial foi maior para população com cor da pele branca e maior escolaridade. CONCLUSÕES: Os achados mostram que o uso de cadastro de linhas telefônicas residenciais é indicado para a realização de inquéritos epidemiológicos apenas para estados com cobertura acima de 70%. Metodologias específicas para o tratamento de estimativas obtidas em localidades com taxas inferiores, precisam ser estudadas e divulgadas.

MyListBox

As redes sociais são estruturas compostas por indivíduos ou grupos que estão relacionados por gostos e preferências, culturas ou origens e valores ou ideais. Há alguns anos para cá, o conceito de rede social expandiu-se para a internet, e de um modo geral as redes sociais online têm como objectivo a criação de um perfil e a partilha do mesmo com amigos. Hoje em dia, há redes sociais que cumprem vários objectivos diferentes, seja apenas para partilhar o perfil de uma identidade (pessoa, grupo ou organização), seja para atingir um serviço específico, por exemplo partilhar o Curriculum Vitae. Embora haja muitos cépticos, as redes sociais ganham novos adeptos todos os dias, como tal, as redes sociais disponibilizam aplicações para dispositivos móveis para assim os seus utilizadores poderem obter a informação mais rápido, em qualquer altura, em qualquer lugar, no seu smartphone ou tablet. É imperativo que as aplicações para dispositivos móveis estão continuamente fornecer funcionalidades mais ricas, e mesmo apesar da actual aceitação das pessoas em relação aos dispositivos móveis, a tendência é para continuarem neste ritmo, ou até mesmo aumentar, pois os utilizadores estarão sempre a pedir mais, além disso, a concorrência entre os vendedores irá manter viva a evolução natural da tecnologia. Para construir uma empresa por trás de uma rede social exige um perfil empreendedor, e a vocação para o empreendedorismo não é baseada em Dna, cultura, origem ou religião, em breves palavras, não se nasce empreendedor. É algo que se desenvolve no tempo, e que se melhora com os erros cometidos, não só com os nossos mas como os erros de outros empreendedores. O espírito empreendedor é algo que cresce após a primeira ideia, e até mesmo antes, de forma inconsciente, através do desenvolvimento de competências específicas. A MyListBox é uma rede social que fornece um serviço específico, de criação de listas de presentes e partilha das mesmas com amigos e familiares, que disponibiliza aplicações para dispositivos móveis com iOS e Android, e futuramente aplicação para Windows Phone 7, que permitem os utilizadores acederem às suas listas, e às listas dos seus amigos a qualquer hora, em qualquer lugar mesmo não estando ligado à internet. No contexto do projecto MyListBox, o trabalho resultante desta tese teve como principais objectivos: - Apresentar as experiências no mundo do empreendedorismo - Resultados dos concursos de empreendedorismo - Estado da arte no universo das aplicações móveis - Avaliação dos mecanismos de segurança para aplicações móveis - Critérios da decisão na implementação dos métodos de consistência e replicação de dados.

Ferramentas para apoio ao desenvolvimento de aplicações para o sistema NiVo

Ao longo dos últimos anos tem-se verificado um desenvolvimento significativo em soluções Internet Protocol Television (IPTV), com vista a ser implementadas em diversos sectores, incluindo o mercado hoteleiro. O presente trabalho desenvolveu-se em torno de um produto específico ligado a esta área, o sistema de entretenimento NiVo. Este produto foi criado pela Nonius Software, empresa associada ao ramo das telecomunicações, que continua a expandi-lo, conferindo-lhe novas características e melhoramentos. O objectivo principal do projecto consiste no desenvolvimento de uma aplicação simuladora dos temas gráficos do sistema NiVo, com a finalidade de facilitar o processo de criação dos mesmos. Esta aplicação pretende ter uma apresentação e interactividade o mais próxima possível do sistema real, permitindo realizar o teste/validação de um tema, sem a necessidade de utilização de equipamento que compõe o sistema NiVo. Um segundo objectivo baseia-se no desenvolvimento de uma aplicação de ajuda à composição de temas, evitando que estes sejam desenvolvidos manualmente, sem qualquer tipo de suporte, o que pode resultar em erros. Para o cumprimento dos objectivos estabelecidos, focando-se no desenvolvimento do simulador, utilizou-se a tecnologia Flash, sendo esta muito utilizada para a criação de animações interactivas. Desta forma, a aplicação desenvolvida tira partido das vantagens fornecidas por esta tecnologia.

Modelação de células de combustível

Neste trabalho serão apresentados e discutidos vários aspectos relacionados com células de combustível, com particular enfoque na modelação de células de combustível de membrana de permuta protónica. Este trabalho está dividido em vários capítulos. No Capítunlo 1 são apresentadas as motivações e os objectivos da tese. No Capítulo 2 serão apresentadas as células de combustível em geral, a sua origem, os diversos tipos, o que as diferencia das restantes tecnologias de geração de energia e as suas vantagens e desvantagens. No Capítulo 3 discute-se a modelação de células de combustível. Serão expostos e explicados os diferentes tipos de modelos, seguindo-se uma apresentação do modelo selecionado para estudo, com referência aos fundamentos teóricos exposição detalhada da fórmulação matemática e os parâmetros que caracterizam o modelo. É também apresentado a implementação do modelo em Matlab/Simulink. No Capítulo 4 será discutida e apresentada a abordagem utilizada para a identificação dos parâmetros do modelo da célula de combustível. Propõe-se e prova-se que uma abordagem baseada num algoritmo de optimização inteligente proporciona um método eficaz e preciso para a identificação dos parâmetros. Esta abordagem requer a existência de alguns dados experimentais que são também apresentados. O algoritmo utilizado designa-se por Optimização por Enxame de Partículas – Particle Swarm Optimization (PSO). São apresentados os seus fundamentos, características, implementação em Matlab/Simulink e a estratégia de optimização, isto é, a configuração do algoritmo, a definição da função objectivo e limites de variação dos parâmetros. São apresentados os resultados do processo de optimização, resultados adicionais de validação do modelo, uma análise de robustez do conjunto óptimo de parâmetros e uma análise de sensibilidade dos mesmos. O trabalho termina apresentando, no último capítulo, algumas conclusões, das quais se destacam: - O bom desempenho do algoritmo PSO para a identificação dos parâmetros do modelo da célula de combsutível; - Uma robustez interessante do algoritmo PSO, no sentido em que, para várias execuções do método resultam valores do parâmetros e da função objectivo com variabilidade bastante reduzidas; - Um bom modelo da célula de combustível, que quando caracterizado pelo conjunto óptimo de parâmetros, apresenta, sistematicamente, erros relativos médios inferiores a 2,5% para um conjunto alargado de condições de funcionamento.

A gestão pública e a auditoria: perspectiva dos gestores sobre a importância, as funções e o papel da auditoria

Mestrado em Auditoria

Caracterização e modelação de fissuras em edifícios utilizando 3D laser scanning, com vista à sua reabilitação

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil

Reflexão sobre o programa preliminar de reabilitação do salão paroquial e zonas contíguas do complexo paroquial da igreja matriz de Nossa Senhora da Conceição da Amadora

Projecto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Edificações