EVIV: An end-to-end verifiable Internet voting system

Traditionally, a country's electoral system requires the voter to vote at a specific day and place, which conflicts with the mobility usually seen in modern live styles. Thus, the widespread of Internet (mobile) broadband access can be seen as an opportunity to deal with this mobility problem, i.e. the adoption of an Internet voting system can make the live of voter's much more convenient; however, a widespread Internet voting systems adoption relies on the ability to develop trustworthy systems, i.e. systems that are verifiable and preserve the voter's privacy. Building such a system is still an open research problem. Our contribution is a new Internet voting system: EVIV, a highly sound End-to-end Verifiable Internet Voting system, which offers full voter's mobility and preserves the voter's privacy from the vote casting PC even if the voter votes from a public PC, such as a PC at a cybercafe or at a public library. Additionally, EVIV has private vote verification mechanisms, in which the voter just has to perform a simple match of two small strings (4-5 alphanumeric characters), that detect and protect against vote manipulations both at the insecure vote client platform and at the election server side. (c) 2012 Elsevier Ltd. All rights reserved.

Sistema de visão para percepção e navegação de um UAV Quadrotor

Mestrado em Engenharia Electrotécnica e de Computadores

Avaliação do desempenho docente e supervisão pedagógica: implementação numa escola do ensino particular e cooperativo

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de Mestre em Educação - Especialização em Supervisão em Educação

Intervenção baseada no conceito de Bobath em indivíduos com doença de Parkinson: quatro estudos de caso

Introdução: O padrão de recrutamento temporal inerente a uma sequência de ativação muscular (SAM), permite a organização multi-segmentar para a realização de uma tarefa motora. Este depende da conexão neural entre estruturas corticais e sub-corticais, incluindo os núcleos da base (NB), podendo, assim, estar comprometido em indivíduos com Doença de Parkinson (DP). As SAM poderão ser melhoradas através de uma intervenção baseada no conceito de Bobath (CB). Objetivo: Estudar o potencial da intervenção, baseada no CB, a longo prazo, nas SAM ao nível da tibio-társica (TT), durante as tarefas motoras sit-to-stand (SitTS) e o stand-to-sit (StandTS), em quatro indivíduos com DP. Metodologia: O estudo apresenta quatro casos de indivíduos com DP, que realizaram intervenção em fisioterapia baseada no CB, durante 12 semanas. Antes e após a intervenção, foram avaliadas as sequências de ativação do gastrocnémio medial (GM), do solear (SOL) e do tibial anterior (TA), durante as tarefas SitTS e StandTS, recorrendo à eletromiografia de superfície e à plataforma de forças, para a divisão cinética das diferentes fases das tarefas. Avaliou-se ainda o equilíbrio funcional, através da Escala de Berg, e a percepção subjetiva dos indivíduos acerca da sua capacidade para realizar atividades sem cair, através da Modified Falls Efficacy Scale. Resultados: Após a intervenção, os indivíduos em estudo apresentaram, na sua maioria, uma diminuição da co-ativação muscular, bem como um aumento do equilíbrio funcional e diminuição da probabilidade de risco de queda, refletindo uma melhoria do controlo postural (CP). As modificações na percepção subjetiva dos indivíduos acerca da sua capacidade para realizar atividades sem cair não foram homogéneas. Conclusão: A intervenção baseada no CB teve efeitos positivos do ponto de vista do CP nos quatro indivíduos com DP. Pensa-se que uma intervenção mais duradoura poderá intensificar as melhorias observadas.

Autoxidação de ácidos gordos na presença de antioxidantes naturais e sintéticos

Nas últimas décadas, devido ao desenvolvimento económico, e a uma necessidade constante de gerir os recursos energéticos, existe uma necessidade de procurar novas fontes de energia, em particular fontes de energia renováveis. O biodiesel surge assim como uma energia alternativa ao combustível fóssil. Este biocombustível tem ganho uma importância significativa na sociedade moderna. Quimicamente o biodiesel é constituído por ésteres metílicos de ácidos gordos de cadeia longa, derivados de óleos vegetais ou gorduras animais. O principal problema que este enfrenta é a sua susceptibilidade à oxidação, devido ao seu conteúdo de ácidos gordos insaturados, logo existe uma procura constante de soluções que possam solucionar este problema. É necessária a identificação de técnicas e métodos para retardar a seu envelhecimento ao longo do tempo. O objectivo deste trabalho consiste no estudo da estabilidade do biodiesel ao longo do tempo, quando armazenado a diferentes condições de temperatura, superiores às normalmente suportadas pelo biodiesel durante o armazenamento, de modo a acelerar o processo de degradação. As amostras de biodiesel foram sujeitas a duas temperaturas. Uma amostra de biodiesel não estabilizado foi colocada a uma temperatura entre 40 e 50ºC ao longo de 203 dias, e uma outra amostra foi colocada a uma temperatura entre 95º e 105ºC ao longo de 146 dias. Realizaram-se ensaios semanais de modo registar a evolução do envelhecimento do biodiesel. As análises foram efectuadas por espectrofotometria de ultravioleta e visível (UV-VIS) e por espectroscopia de absorção na região do infravermelho (FTIR). No UV-VIS foi possível observar que o aumento de temperatura foi responsável pela aceleração da oxidação do biodiesel que resulta num aumento generalizado da absorvância do biodiesel. Através das análises efectuadas no FTIR verificou-se a formação e aumento da banda dos hidroperóxidos (grupo ROOH) localizada entre 3000 e 3600 cm-1 nos espectros, e igualmente um alargamento na banda dos carbonilos (grupo C=O) entre 1500 e 1900 cm-1. Numa fase posterior testaram-se antioxidantes para retardar o envelhecimento do biodiesel. Os ensaios foram efectuados a uma temperatura entre 95º e 105ºC. Os antioxidantes utilizados foram o galhato de propilo (PG), o galhato de etilo (EG) e o ácido gálhico (AG). Recorreu-se a técnicas como o UV-VIS e o FTIR para o registo dos espectros do biodiesel ao longo do tempo. Através destas técnicas foi possível verificar a influência de antioxidantes na estabilidade oxidativa do biodiesel. O PG foi o antioxidante que melhor desempenho mostrou no retardamento da oxidação do biodiesel e a técnica que melhor permitiu analisar a acção dos antioxidantes foi o UVVIS. Os resultados obtidos por FTIR não se mostraram tão conclusivos. Para caracterizar o envelhecimento do biodiesel não estabilizado e estabilizado utilizou-se também a cromatografia gasosa (CG) para quantificar a percentagem de ésteres metílicos presentes nas diferentes amostras no inicio e no fim do processo de oxidação. O biodiesel envelheceu mais rapidamente para temperaturas mais elevadas e comprovou-se que o antioxidante que melhor estabiliza o biodiesel é o PG.

Avaliação e substituição de produtos químicos no sector BOF da Swedwood Portugal

A crescente preocupação com aspectos ambientais tornou-se uma questão incontornável para as empresas. Assim, a legislação aplicável obriga a maior controlo de qualquer tipo de perigo que ponha em causa a saúde humana ou o ambiente. Deste modo, a Swedwood Portugal é obrigada a implementar algumas medidas de controlo dos produtos químicos. Assim, os objectivos deste estágio curricular fundamentamse em identificar, avaliar e substituir ou minimizar os impactos dos produtos químicos (PQ’s) que, de acordo com especificações REACH (Regulamento da Comissão Europeia, relativo a Registo, Avaliação, Autorização e restrição de substâncias Químicas) e da Swedwood Internacional não podem ser utilizados. Como tal, o trabalho descrito nesta dissertação foi dividido em várias etapas. A primeira etapa consistiu em identificar todos os PQ’s utilizados no sector Board On Frame (BOF) da Swedwood Portugal. Feito este inventário, foi então criada uma base de dados em formato Microsoft Office Access que permitiu compilar a informação mais relevante dos PQ’s, para uma consulta mais simples e expedita, substituindo a já existente e desactualizada base de dados de PQ’s em formato Microsoft Office Excel. No total foram inventariados 243 PQ’s. Contudo, não foi possível obter as Fichas de Segurança de todos e, por isso, apenas 185 foram registados na base de dados. Estes 185 PQ’s existentes no sector BOF da Swedwood Portugal, foram submetidos a uma avaliação das substâncias que os compõem de acordo com uma ferramenta informática criada pela Swedwood Internacional – Substitution Evaluation Key (SEK). Esta ferramenta usa três listas europeias de substâncias químicas que permitem a avaliação de produtos químicos indirectos: Substances of Very High Concern (SVHC) da Agência Europeia de Produtos Químicos (ECHA), Substitute It Now (SIN) da ChemSec (Organização sueca dedicada ao ambiente) e PRIO da Agência Sueca de Produtos Químicos (Kemi). As três listas incluem substâncias de carácter de tal forma perigoso que a sua utilização deve ser restringida ou até eliminada. Logo, os PQ’s indirectos que contenham substâncias presentes em, pelo menos, uma destas listas devem ser imediatamente substituídos por outros cuja avaliação seja positiva. Por outro lado, para produtos químicos directos, as restrições encontram-se numa especificação imposta pela IKEA, IOS-MAT-0066. Concluída a avaliação, foi então necessário encontrar alternativas viáveis aos PQ’s avaliados negativamente. Como tal, a primeira abordagem consistiu em contactar os fabricantes dos PQ’s a substituir de modo a que estes pudessem apresentar as suas próprias alternativas. Caso estes não apresentassem alternativas viáveis, então contactarse- iam novos fornecedores. Dos 185 PQ’s registados na base de dados e avaliados, 30 produtos químicos indirectos existentes nas fábricas não obedeciam aos critérios impostos pela SEK, estando os produtos químicos directos todos de acordo com as imposições da IOS-MAT-0066. Os 30 PQ’s indirectos do Sector BOF da Swedwood Portugal que incluem as substâncias químicas com carácter perigoso apresentam características Cancerígenas, Mutagénicas e tóxicas para a Reprodução (CMR), irritantes e/ou sensibilizantes e perigosas, a longo prazo, para o ambiente. Para estes PQ’s foram apresentadas alternativas viáveis no que concerne a impactos para a saúde ou para o ambiente e os respectivos custos associados (admitindo quantidades mínimas vendidas). Contudo, não foi possível em tempo útil testar estas alternativas no funcionamento da empresa de modo a avaliar a sua eficiência técnica.

Melhoria do processo produtivo da Yazaki Porto Technical Centre

No actual contexto macroeconómico, a melhoria dos processos e o aproveitamento de todas as sinergias, são factores que se tornaram ainda mais importantes e nalguns casos, condição sine qua non para a sobrevivência das próprias empresas. Cada vez mais as empresas são obrigadas a produzir mais com menos recursos, com a qualidade desejada pelos clientes e a preços competitivos. A qualidade do produto final não deve ser afectada com a desculpa da implementação de uma política da redução de custos. Pelo contrário, deve existir a preocupação de eliminar da cadeia de valor tudo o que não contribui com valor acrescentado, melhorando nalguns casos a própria qualidade do produto final. A realização deste projecto tem como objectivo, analisar e implementar, através de ferramentas relacionadas com a metodologia Lean, melhorias na produção de aplicadores de cravação numa empresa multinacional ligada ao ramo automóvel. Pretende-se um aumento da taxa de produção diária em 50%, obtida essencialmente através do balanceamento dos recursos humanos e no desenvolvimento de um sistema kanban incorporado no sector produtivo. A parte inicial do trabalho incidiu no estudo e análise do produto e respectivo processo produtivo. Posteriormente e por várias fases efectuaram-se análises aos tempos de fabrico e ao sequenciamento das operações, com vista ao conhecimento de todo o processo de montagem de modo a identificar os aspectos de melhoria. Após o registo dos pontos a eliminar e/ou a melhorar, procedeu-se a uma análise criteriosa dos dados recolhidos, efectuando-se o balanceamento dos recursos de modo a tornar eficaz a implementação do sistema kanban. Este sistema é a base da melhoria proposta para este tema de dissertação. Após implementação do sistema kanban, foi avaliado o seu desempenho e foram registadas melhorias na produção diária dos aplicadores bem como no lead time despendido no processamento dos mesmos.

Melhoria do processo de atendimento a clientes

Esta dissertação, que foi desenvolvida no seio da Divisão de Equipamento Industrial (DEI) da empresa Toyota Caetano Portugal, S.A. (TCAP), consiste na análise do processo de atendimento a clientes, a partir de uma investigação efectuada no escritório oficinal (EO) do sector Após-Venda Empilhadores (AVE). A recolha de dados, bem como o acompanhamento do processo de atendimento a clientes, têm como objectivo perceber quais as principais dificuldades do processo, para posteriormente ser definida a estratégia a utilizar no sentido de combater os pontos críticos do relacionamento com os clientes. Esta investigação permitiu identificar várias dificuldades no registo de pedidos de assistência, na pesquisa de informação e também no acesso aos dados pelo cliente. Assim, foi criado um protótipo informático com capacidade para dar resposta às deficiências identificadas. Foram analisados os requisitos necessários para o sistema de informação de suporte e transformado o processo de tratamento de dados (pedidos de assistência, pesquisas, acessos…), até aqui manual, num processo automático, inovador e acima de tudo funcional. Pretende-se desta forma, oferecer um serviço de confiança aos clientes gerando uma lealdade duradoura e acrescentar valor à empresa.

Rede de monitorização ambiental em tempo- real com sistemas móveis

A compreensão das interacções entre os oceanos, a linha de costa, a qualidade do ar e as florestas só será possível através do registo e análise de informação geo-temporalmente referenciada. Mas a monitorização de grandes áreas apresenta o problema da cobertura espacial e temporal, e os custos nela envolvidos pela impossibilidade de disseminar a quantidade de estações de monitorização necessários à compreensão do fenómeno. É necessário então definir metodologias de colocação de sensores e recolha de informação de forma robusta, económica e temporalmente útil. Nesta dissertação apresentamos uma estratégia de monitorização ambiental, para meios hídricos, (ou de grande dimensão) que baseada em sistemas móveis e alguns princípios da geoestatística, fornece uma ferramenta de monitorização mais económica, sem prejuízo da qualidade de informação. Os modelos usados na geoestatística assentam na ideia de que medidas mais próximas tendem a serem mais parecidas do que valores observados em locais distantes e fornece métodos para quantificar esta correlação espacial e incorporá-la na estimação. Os resultados obtidos sustentam a convicção do uso de veículos móveis em redes de sensores e que contribuímos para responder à seguinte questão “Qual a técnica que nos permite com poucos sensores monitorizar grandes áreas?”. A solução passará por modelos de estimação de grandezas utilizados na geoestatística associados a sistemas móveis.

A especificidade do trabalho de Pontas no Ensino Artístico Especializado

Relatório Final de Estágio apresentado à Escola Superior de Dança com vista à obtenção do Grau de Mestre em Ensino de Dança.

Dynamics and orchestral effects in late Eighteenth-Century portuguese organ music: the works of José Marques e Silva (1782-1837) and the organs of António Xavier Machado e Cerveira (1756-1828)

A maioria dos órgãos históricos portugueses data dos finais do século XVIII ou do princípio do século XIX. Durante este período foi construído um invulgar número de instrumentos em Lisboa e nas áreas circundantes por António Xavier Machado e Cerveira (1756-1828) e outros organeiros menos prolíficos. O estudo desses órgãos, muitos dos quais (restaurados ou não) se encontram próximos das condições originais, permite a identificação de um tipo de instrumento com uma morfologia específica, claramente emancipada do chamado «órgão ibérico». No entanto, até muito recentemente, não era conhecida música que se adaptasse às idiossincrasisas daqueles instrumentos. O recente estudo das obras para órgão de José Marques e Silva (1782-1837) permitiu clarificar esta situação. Bem conhecido durante a sua vida como organista e compositor, José Marques e Silva foi um dos ultimos mestres do Seminário Patriarcal. A importância da sua produção musical reside não só num substancial número de obras com autoria firmemente estabelecida – escritas, na maior parte, para coro misto com acompanhamento de órgão obbligato – mas também na íntima relação entre a sua escrita e a morfologia dos órgãos construídos em Portugal durante a sua vida. Este artigo enfatiza a importância de José Marques e Silva (indubitavelmente, o mais significativo compositor português para órgão do seu tempo) sublinhando a relevância das suas obras para órgão solo, cujo uso extensivo de escrita idiomática e indicações de registação fazem delas um dos mais importantes documentos só início do século XIX sobre a prática organística em Portugal.

Exploração da Point Cloud Library aplicada à percepção em sistemas autónomos

A navegação e a interpretação do meio envolvente por veículos autónomos em ambientes não estruturados continua a ser um grande desafio na actualidade. Sebastian Thrun, descreve em [Thr02], que o problema do mapeamento em sistemas robóticos é o da aquisição de um modelo espacial do meio envolvente do robô. Neste contexto, a integração de sistemas sensoriais em plataformas robóticas, que permitam a construção de mapas do mundo que as rodeia é de extrema importância. A informação recolhida desses dados pode ser interpretada, tendo aplicabilidade em tarefas de localização, navegação e manipulação de objectos. Até à bem pouco tempo, a generalidade dos sistemas robóticos que realizavam tarefas de mapeamento ou Simultaneous Localization And Mapping (SLAM), utilizavam dispositivos do tipo laser rangefinders e câmaras stereo. Estes equipamentos, para além de serem dispendiosos, fornecem apenas informação bidimensional, recolhidas através de cortes transversais 2D, no caso dos rangefinders. O paradigma deste tipo de tecnologia mudou consideravelmente, com o lançamento no mercado de câmaras RGB-D, como a desenvolvida pela PrimeSense TM e o subsequente lançamento da Kinect, pela Microsoft R para a Xbox 360 no final de 2010. A qualidade do sensor de profundidade, dada a natureza de baixo custo e a sua capacidade de aquisição de dados em tempo real, é incontornável, fazendo com que o sensor se tornasse instantaneamente popular entre pesquisadores e entusiastas. Este avanço tecnológico deu origem a várias ferramentas de desenvolvimento e interacção humana com este tipo de sensor, como por exemplo a Point Cloud Library [RC11] (PCL). Esta ferramenta tem como objectivo fornecer suporte para todos os blocos de construção comuns que uma aplicação 3D necessita, dando especial ênfase ao processamento de nuvens de pontos de n dimensões adquiridas a partir de câmaras RGB-D, bem como scanners laser, câmaras Time-of-Flight ou câmaras stereo. Neste contexto, é realizada nesta dissertação, a avaliação e comparação de alguns dos módulos e métodos constituintes da biblioteca PCL, para a resolução de problemas inerentes à construção e interpretação de mapas, em ambientes indoor não estruturados, utilizando os dados provenientes da Kinect. A partir desta avaliação, é proposta uma arquitectura de sistema que sistematiza o registo de nuvens de pontos, correspondentes a vistas parciais do mundo, num modelo global consistente. Os resultados da avaliação realizada à biblioteca PCL atestam a sua viabilidade, para a resolução dos problemas propostos. Prova da sua viabilidade, são os resultados práticos obtidos, da implementação da arquitectura de sistema proposta, que apresenta resultados de desempenho interessantes, como também boas perspectivas de integração deste tipo de conceitos e tecnologia em plataformas robóticas desenvolvidas no âmbito de projectos do Laboratório de Sistemas Autónomos (LSA).

Negotiation platform for personalised advertising

This paper describes a multi-agent brokerage platform for near real time advertising personalisation organised in three layers: user interface, agency and marketplace. The personalisation is based on the classification of viewer profiles and advertisements (ads). The goal is to provide viewers with a personalised advertising alignment during programme intervals. The enterprise interface agents upload new ads and negotiation profiles to producer agents and new user and negotiation profiles to distributor agents. The agency layer is composed of agents that represent ad producer and media distributor enterprises as well as the market regulator. The enterprise agents offer data upload and download operations as Web Services and register the specification of these interfaces at an UDDI registry for future discovery. The market agent supports the registration and deregistration of enterprise delegate agents at the marketplace. This paper addresses the marketplace layer, an agent-based negotiation platform per se, where delegates of the relevant advertising agencies and programme distributors negotiate to create the advertising alignment that best fits a viewer profile and the advertising campaigns available. The whole brokerage platform is being developed in JADE, a multi-agent development platform. The delegate agents download the negotiation profile and upload the negotiation results from / to the corresponding enterprise agent. In the meanwhile, they negotiate using the Iterated Contract Net protocol. All tools and technologies used are open source.

A relevância e utilidade das demonstrações financeiras : a perceção dos gestores das PME

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Melhoria do processo produtivo

A dissertação descreve o levantamento e otimização do processo de fabrico de uma peça plástica para um automóvel. A otimização deste processo produtivo tem em vista a rentabilização de recursos humanos, a redução de custos associados e a redução de atividades ao longo do processo, tais como armazenamento de produto semiacabado, uma vez que este deixa de existir, a eliminação de fluxos logísticos e a eliminação do posto de montagem de componentes desta peça. A metodologia utilizada neste projeto centra-se na aplicação de ferramentas que permitem a análise e melhoria de processos produtivos, tais como o diagrama de processo, o diagrama spaghetti, o PDCA, a cronometragem dos tempos por tarefa e a aplicação de uma heurística para o balanceamento do futuro posto de trabalho da peça em estudo. O diagrama de processo, o diagrama de spaghetti e a cronometragem dos tempos por tarefas mostraram o estado atual do processo produtivo. Da análise do atual estado verifica-se que existe muito desperdício de mão-de-obra nas duas estações de trabalho, injeção e montagem. A eliminação do posto de trabalho exclusivo para montagem e junção dos processos de injeção e montagem no mesmo posto de trabalho, com a aplicação de uma heurística para balanceamento do novo posto de trabalho, demonstra que os ganhos são muito significativos. A aplicação do ciclo PDCA, na base da qual está a elaboração de um plano de ações, tornará esta mudança possível e bem-sucedida. A intenção deste projeto é demonstrar que o estado atual pode sempre ser melhorado se se usarem as ferramentas corretas para análise e proposta de melhorias que trarão ganhos à empresa a curto prazo. Usando esta sugestão, a empresa poderá dar início a um novo ciclo em que o espírito de melhoria esteja presente todos os dias em toda a organização.