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.

Water-Based Cellulose Liquid Crystal System Investigated by Rheo-NMR

Water-based cellulose cholesteric liquid crystalline phases at rest can undergo structural changes induced by shear flow. This reflects on the deuterium spectra recorded when the system is investigated by rheo-nuclear magnetic resonance (rheo-NMR) techniques. In this work, the model system hydroxypropylcellulose (HPC)+water is revisited using rheo-NMR to clarify unsettled points regarding its behavior under shear and in relaxation. The NMR spectra allow the identification of five different stable ordering states, within shear and relaxation, which are well integrated in a mesoscopic picture of the system's structural evolution under shear and relaxation. This picture emerging from the large body of studies available for this system by other experimental techniques, accounts well for the NMR data and is in good agreement with the three distinct regions of steady shear flow recognized for some lyotropic LC polymers. Shear rates in between 0.1 and 1.0 s(-1) where investigated using a Taylor-Couette flow and deuterated water was used as solvent for the deuterium NMR (DNMR) analysis.

Concepção de um reactor batch multifunções

Mestrado em Engenharia Química

Knee angular displacement analysis in amateur ballet dancers: a pilot study

Ballet gestures are highly non-anatomical and physiological, leading to compensatory behaviors. The knee joint is most affected by this behavior, leading to an increase risk of injury. Our purpose is to describe the knee angular displacement in amateur dancers, during a demi-plié exercise, with emphasis on valgus mechanisms frequency. Methods: 192 demi-pliés collected in six amateur female dancers (mean age = 15.33 ± 1.37 years), were analyzed regarding sagittal and frontal plane angular displacement, with an electrogoniometer connected to a signal acquisition unit at 1000 Hz. Results: all subjects presented valgus peaks along the trials, despite the global varus tendency of the knee frontal plane behavior. A significant positive correlation between the frequency of valgus and practice time was noted. Discussion: A variable angular frontal displacement was observed, with some trials comprehending a high incidence of valgus peaks along the ascending or descending phase of the demi-plié exercise. Conclusion: the frontal knee angle behavior is variable. It may present fast peaks of valgus or an initial trend of varus/valgus that is different from the global varus trend. The analysis of the activity should be considered in the training. The practice time may be related to the observed behavior.

A student personal system for Bologna process mobility

The Bologna Process aimed to build a European Higher Education Area with the objective of promoting students mobility. The adoption of Bologna Declaration directives requires a decentralized approach that accelerates student's mobility, based on frequently updated legislation. This paper proposes a student personal system to manage student's academic information. This system is supported by a flexible model that integrates, for instance, knowledge about the student attended courses or about a course that the student wishes to apply. Essentially, this model holds a (i) Student's Academic Record with skills acquired in academic course units, professional experience or training and an (ii) Individual Studies Plan, which places the student in a particular (iii) Course Plan setting the curricular structure that the student wishes to apply.

Intelligent recommendation system for e-learning platforms

As more and more digital resources are available, finding the appropriate document becomes harder. Thus, a new kind of tools, able to recommend the more appropriated resources according the user needs, becomes even more necessary. The current project implements an intelligent recommendation system for elearning platforms. The recommendations are based on one hand, the performance of the user during the training process and on the other hand, the requests made by the user in the form of search queries. All information necessary for decision-making process of recommendation will be represented in the user model. This model will be updated throughout the target user interaction with the platform.

An adaptive educational system for higher education

The main objective of an Adaptive System is to adequate its relation with the user (content presentation, navigation, interface, etc.) according to a predefined but updatable model of the user that reflects his objectives, preferences, knowledge and competences [Brusilovsky, 2001], [De Bra, 2004]. For Educational Adaptive Systems, the emphasis is placed on the student knowledge in the domain application and learning style, to allow him to reach the learning objectives proposed for his training [Chepegin, 2004]. In Educational AHS, the User Model (UM), or Student Model, has increased relevance: when the student reaches the objectives of the course, the system must be able to readapt, for example, to his knowledge [Brusilovsky, 2001]. Learning Styles are understood as something that intent to define models of how given person learns. Generally it is understood that each person has a Learning Style different and preferred with the objective of achieving better results. Some case studies have proposed that teachers should assess the learning styles of their students and adapt their classroom and methods to best fit each student's learning style [Kolb, 2005], [Martins, 2008]. The learning process must take into consideration the individual cognitive and emotional parts of the student. In summary each Student is unique so the Student personal progress must be monitored and teaching shoul not be not generalized and repetitive [Jonassen, 1991], [Martins, 2008]. The aim of this paper is to present an Educational Adaptive Hypermedia Tool based on Progressive Assessment.

Daytime dive characteristics from six short-finned pilot whales Globicephala macrorhynchus off Madeira Island

Six time-depth recorders attached with suction-cups were deployed in resident and transient adult short-finned pilot whales to evaluate their daytime diving characteristics in their preferred habitat area off Madeira Island. Here, data on the proportion of time spent at the surface and at different dive phases (descent, bottom and ascent), dive depths and dive rates are presented. With mean attachment durations of 2 h 31 min (SD=2 h), the whales spent a considerable amount of time at the surface (mean=76.3%, SD=18.6) and presented a low diving rate (mean=6.8 dives h‾¹, SD=6.1; considering dive as submergence deeper than 10 m). The maximum dive depth recorded in this study was 988 m, and dives deeper than 500 m, which were recorded from resident and transient whales, suggest foraging activity along their preferred habitat area. The analysis of dives deeper than 100 m shows that the percentage of time spent on descent, bottom or ascent varied between dives, with means of ~40, 30 and 30%, respectively.

A biosignal embedded system for physiological computing

Thesis submitted in the fulfilment of the requirements for the Degree of Master in Electronic and Telecomunications Engineering

Reutilização das águas de tingimento utilizando a Nanofiltração

Este trabalho na área dos processos físicos de separação por membranas, nomeadamente, a nanofiltração (NF), tem como objectivo principal a recuperação dos efluentes resultantes das águas da 3ª lavagem utilizadas na operação de tingimento de fibras de algodão, com corantes reactivos. Estão inerentes as problemáticas: da escassez da água como matéria-prima na vertente de água potável; da diminuição de efluentes que necessitam de tratamentos devido à sua carga poluente; da recuperação sempre que seja viável dos produtos químicos adicionados nesta fase de tratamento das fibras de algodão e por último e não menos importante, da energia contida nestes efluentes que vão para o esgoto a temperaturas na ordem dos 50 ºC. A metodologia adoptada na realização deste trabalho consistiu, inicialmente num estudo sobre os trabalhos realizados até hoje nesta área, seguindo-se a recolha dos efluentes na empresa ―Estamparia Têxtil Adalberto Pinto da Silva, S.A.‖ (ETAPS) e posterior estudo da recuperação dos efluentes em causa pelo processo de NF utilizando a membrana NF270-2540 da empresa FILMTEC. Os efluentes estudados no presente trabalho continham corantes reactivos sendo um corante azul-claro (CAC) de composição (Amarelo Bril Remazol GL 150% + Azul Brilhante Remazol BB 133% + Azul Turqueza Remazol G) e o outro corante azul-marinho (CAM) de composição (Preto Remazol B 133% + Vermelho Remazol RGB + Amarelo Ouro Remazol RGB). Estes estudos de recuperação compreenderam basicamente 3 fases: caracterização do efluente recolhido na empresa; tratamento desse efluente utilizando uma instalação piloto de NF de fluxo cruzado ou também conhecido por membrana de fluxo tangencial instalado no Laboratório de Tecnologia (LT) do Instituto Superior de Engenharia do Porto (ISEP), e caracterização dos permeados e dos rejeitados obtidos. A análise de resultados do presente trabalho permitiu concluir ser possível a recuperação e reutilização das 3ª águas de lavagem do processo de tingimento quando tratadas pelo processo de NF a pressões de operação de 6 bar. Nestas circunstâncias os permeados obtidos (tanto no efluente com corante azul-claro como no efluente com corante azul-marinho) apresentam valores, em todos os parâmetros estudados, significativamente abaixo dos valores limites recomendáveis para uma água de abastecimento na Industria Têxtil (IT). Salienta-se reduções mais expressivas nos permeados do corante CAM, com vários parâmetros a sofrerem reduções no intervalo de 98 a 100%, nomeadamente, na cor, turvação, CQO, dureza total, alumínio e manganês. Os resultados obtidos para as pressões de operação de 4 e 8 bar mostram alguns parâmetros com valores acima dos recomendados para uma água de abastecimento na Indústria Têxtil, nomeadamente a cor no corante CAC quando se opera a 4 bar e no corante CAM quando se opera a 8 bar e os sulfatos e ferro no CAM à pressão de 4 bar. Estes resultados mostram ser possível a reutilização da água na própria instalação industrial, trazendo um benefício económico e ambiental, pela redução no consumo de água fresca e energia, além da redução do volume de efluentes que necessitam ser tratados, estando na mesma linha de pensamento de Gross et al (1999), que refere que o uso de membranas para o tratamento de efluentes do processo de tingimento tem como principal objectivo a viabilidade económica, a redução no consumo de água, de sais, de corantes e energia, bem como, a redução do volume de efluentes a ser tratado.

Dimensionamento de um secador em leito fluidizado para secagem de cereais

O objectivo desta tese é dimensionar um secador em leito fluidizado para secagem de cereais, nomeadamente, secagem de sementes de trigo. Inicialmente determinaram-se as condições de hidrodinâmica (velocidade de fluidização, TDH, condições mínimas de “slugging”, expansão do leito, dimensionamento do distribuidor e queda de pressão). Com as condições de hidrodinâmica definidas, foi possível estimar as dimensões físicas do secador. Neste ponto, foram realizados estudos relativamente à cinética da secagem e à própria secagem. Foi também estudado o transporte pneumático das sementes. Deste modo, determinaram-se as velocidades necessárias ao transporte pneumático e respectivas quedas de pressão. Por fim, foi realizada uma análise custos para que se soubesse o custo deste sistema de secagem. O estudo da secagem foi feito para uma temperatura de operação de 50ºC, tendo a ressalva que no limite se poderia trabalhar com 60ºC. A velocidade de operação é de 2,43 m/s, a altura do leito fixo é de 0,4 m, a qual sofre uma expansão durante a fluidização, assumindo o valor de 0,79 m. O valor do TDH obtido foi de 1,97 m, que somado à expansão do leito permite obter uma altura total da coluna de 2,76 m. A altura do leito fixo permite retirar o valor do diâmetro que é de 0,52 m. Verifica-se que a altura do leito expandido é inferior à altura mínima de “slugging” (1,20 m), no entanto, a velocidade de operação é superior à velocidade mínima de “slugging” (1,13 m/s). Como só uma das condições mínimas é cumprida, existe a possibilidade da ocorrência de “slugging”. Finalmente, foi necessário dimensionar o distribuidor, que com o diâmetro de orifício de 3 mm, valor inferior ao da partícula (3,48 mm), permite a distruibuição do fluido de secagem na coluna através dos seus 3061 orifícios. O inicio do estudo da secagem centrou-se na determinação do tempo de secagem. Além das duas temperaturas atrás referidas, foram igualmente consideradas duas humidades iniciais para os cereais (21,33% e 18,91%). Temperaturas superiores traduzem-se em tempos de secagem inferiores, paralelamente, teores de humidade inicial inferiores indicam tempos menores. Para a temperatura de 50ºC, os tempos de secagem assumiram os valores de 2,8 horas para a 21,33% de humidade e 2,7 horas para 18,91% de humidade. Foram também tidas em conta três alturas do ano para a captação do ar de secagem, Verão e Inverno representando os extremos, e a Meia- Estação. Para estes três casos, foi possível verificar que a humidade específica do ar não apresenta alterações significativas entre a entrada no secador e a corrente de saída do mesmo equipamento, do mesmo modo que a temperatura de saída pouco difere da de entrada. Este desvio de cerca de 1% para as humidades e para as temperaturas é explicado pela ausência de humidade externa nas sementes e na pouca quantidade de humidade interna. Desta forma, estes desvios de 1% permitem a utilização de uma razão de reciclagem na ordem dos 100% sem que o comportamento da secagem se altere significativamente. O uso de 100% de reciclagem permite uma poupança energética de cerca de 98% no Inverno e na Meia-Estação e de cerca de 93% no Verão. Caso não fosse realizada reciclagem, seria necessário fornecer à corrente de ar cerca de 18,81 kW para elevar a sua temperatura de 20ºC para 50ºC (Meia-Estação), cerca de 24,67 kW para elevar a sua temperatura de 10ºC para 50ºC (Inverno) e na ordem dos 8,90 kW para elevar a sua temperatura dos 35ºC para 50ºC (Verão). No caso do transporte pneumático, existem duas linhas, uma horizontal e uma vertical, logo foi necessário estimar o valor da velocidade das partículas para estes dois casos. Na linha vertical, a velocidade da partícula é cerca de 25,03 m/s e cerca de 35,95 m/s na linha horizontal. O menor valor para a linha vertical prende-se com o facto de nesta zona ter que se vencer a força gravítica. Em ambos os circuitos a velocidade do fluido é cerca de 47,17 m/s. No interior da coluna, a velocidade do fluido tem o valor de 10,90 m/s e a velocidade das partículas é de 1,04 m/s. A queda de pressão total no sistema é cerca de 2408 Pa. A análise de custos ao sistema de secagem indicou que este sistema irá acarretar um custo total (fabrico mais transporte) de cerca de 153035€. Este sistema necessita de electricidade para funcionar, e esta irá acarretar um custo anual de cerca de 7951,4€. Embora este sistema de secagem apresente a possibilidade de se realizar uma razão de reciclagem na ordem dos 100% e também seja possível adaptar o mesmo para diferentes tipos de cereais, e até outros tipos de materiais, desde que possam ser fluidizados, o seu custo impede que a realização deste investimento não seja atractiva, especialmente tendo em consideração que se trata de uma instalação à escala piloto com uma capacidade de 45 kgs.

The flipped-broadcast learning system, application on Azores

On this work we suggest a teaching solution that can be implemented in Azores, an archipelago of nine islands of Portugal, based in already known system of e-learning, with a twist based on the flipped method. Structured in a cooperative way, the organization of the system allows to isolated groups of people to have access to a certain level of teaching, if they cannot have the possibility to have physical presence in school due to problems emerging from territory discontinuity. Our suggestion can be elaborate in a model that can be adapted to any level of education, and can be adapted also in cases that a cut of budget exists. We suggest the name of fb-learning: Flipped Broadcast Learning.

Dimensionamento de um reactor de leito fluidizado para gasificação de biomassa

Na actualidade, quando se procura a diversificação energética, em especial de fontes renováveis, a gasificação surge como uma forma promissora de aproveitamento da biomassa, nomeadamente dos resíduos florestais, para a geração de energia eléctrica. Neste contexto, passou-se em revista as diversas formas de gasificação, a sua evolução histórica e os diversos tipos de reactores com as suas vantagens e desvantagens. De igual forma, foram analisadas as disponibilidades e características da biomassa no mundo e em Portugal, destacando-se as suas potencialidades e as dificuldades no seu aproveitamento. Fez-se o dimensionamento de um reactor-gasificador de leito fluidizado borbulhante à escala piloto, bem como dos equipamentos complementares, sistema de alimentação, ventilador, ciclone, filtro para o gás produzido e gerador eléctrico. As dimensões dum reactor para trabalhos laboratoriais foram determinadas por cálculo das condições hidrodinâmicas, que, também, permitiram calcular o caudal de ar a utilizar. Por balanços materiais, considerando-se uma composição experimental do gás de síntese citada na literatura, determinou-se uma possível composição da alimentação e um caudal de alimentação.

WEXSYS - Web Expert System

Desde o início que os sistemas periciais não foram vistos apenas como sistemas que poderiam substituir os peritos. Os peritos por sua vez, independentemente da área em que operam, eram tidos como indivíduos que atingiram a excelência através da experiência, estudo e total dedicação, por vezes durante anos. Hoje, mais do que assumir o papel de um perito na excelência de uma área de actuação, os sistemas periciais sobressaem pela disponibilidade contínua, acessos facilitados, custos reduzidos, estabilidade de funcionamento e coerência de raciocínio. Empurrados pelos avanços actuais das redes em termos de velocidade e propagação global, estes sistemas são hoje disponibilizados de forma mais simples e acessível. Este trabalho é realizado com o propósito de evoluir o actual sistema para uma versão mais apelativa, funcional e fiável. Um dos objectivos passa pela evolução do actual modo de funcionamento, utilização local e apenas um utilizador, para um modo de funcionamento que permita uma disponibilização num ambiente de acesso global, acessível a qualquer hora e em qualquer local.

Optimized near real-time remote device tracking and monitoring system

Os serviços baseados em localização vieram dar um novo alento à criatividade dos programadores de aplicações móveis. A vulgarização de dispositivos com capacidades de localização integradas deu origem ao desenvolvimento de aplicações que gerem e apresentam informação baseada na posição do utilizador. Desde então, o mercado móvel tem assistido ao aparecimento de novas categorias de aplicações que tiram proveito desta capacidade. Entre elas, destaca-se a monitorização remota de dispositivos, que tem vindo a assumir uma importância crescente, tanto no sector particular como no sector empresarial. Esta dissertação começa por apresentar o estado da arte sobre os diferentes sistemas de posicionamento, categorizados pela sua eficácia em ambientes internos ou externos, assim como diferentes protocolos de comunicação em tempo quase-real. É também feita uma análise ao estado actual do mercado móvel. Actualmente o mercado possui diferentes plataformas móveis com características únicas que as fazem rivalizar entre si, com vista a expandirem a sua quota de mercado. É por isso elaborado um breve estudo sobre os sistemas operativos móveis mais relevantes da actualidade. É igualmente feita uma abordagem mais profunda à arquitectura da plataforma móvel da Apple - o iOS – que serviu de base ao desenvolvimento de uma solução optimizada para localização e monitorização de dispositivos móveis. A monitorização implica uma utilização intensiva de recursos energéticos e de largura de banda que os dispositivos móveis da actualidade não estão aptos a suportar. Dado o grande consumo energético do GPS face à precária autonomia destes dispositivos, é apresentado um estudo em que se expõem soluções que permitem gerir de forma optimizada a utilização do GPS. O elevado custo dos planos de dados facultados pelas operadoras móveis é também considerado, pelo que são exploradas soluções que visam minimizar a utilização de largura de banda. Deste trabalho, nasce a aplicação EyeGotcha, que para além de permitir localizar outros utilizadores de dispositivos móveis de forma optimizada, permite também monitorizar as suas acções baseando-se num conjunto de regras pré-definidas. Estas acções são reportadas às entidades monitoras, de modo automatizado e sob a forma de alertas. Visionando-se a comercialização da aplicação, é portanto apresentado um modelo de negócio que permite obter receitas capazes de cobrirem os custos de manutenção de serviços, aos quais o funcionamento da aplicação móvel está subjugado.