Sistema automático de prevenção de úlceras por pressão

As úlceras por pressão são um problema de saúde pública que tem vindo a centrar a atenção da comunidade científica da área da saúde. Em consonância, a prevenção constitui um aspecto fulcral do seu controlo. Esta dissertação centra-se na prevenção deste flagelo, desenvolvendo um protótipo para estudo da prevenção das úlceras por pressão através de sistemas de sensores. Um olhar sobre a temperatura corporal e a pressão, enquanto factores etiológicos, levou à construção de um sistema de monitorização destas variáveis. O sistema de monitorização é constituído pela matriz de sensores, pelo circuito de aquisição de dados da matriz, por um microcontrolador que percorre cada um dos nós da matriz, por um sistema de transmissão sem fios e um software de visualização dos dados da matriz. A matriz de sensores, aplicada numa superfície de contacto, cadeira ou cama, está associada a um computador e a um nó sensor sem fios, para que a informação relativa a cada doente possa ser visualizada local e remotamente. Local, porque os dados de temperatura e pressão podem ser acedidos na unidade de cuidados e remotamente, pois a informação enviada sem fios através de um nó XBee, pode ser acedida num computador central, noutra sala, permitindo a monitorização, interpretação e registo dos dados. São apresentadas, neste trabalho, as matrizes de temperatura, uma com 64 sensores (8x8), que serviu de base à construção do circuito de aquisição de dados, outra com 256 sensores (16x16) de temperatura e ainda uma matriz de pressão. Para a matriz de sensores de pressão de 16x16, foram construídos manualmente cada um dos 256 sensores. Foi criado o software de visualização dos dados, obtidos da matriz, utilizando o MatLab, através do qual o utilizador final do sistema poderá aceder aos dados gráfica e numericamente. A aplicação do sistema desenvolvido permitirá medir, em situação de contacto, as alterações da temperatura da pele e pressão, factores estes associados à detecção precoce de úlceras de pressão.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

WebSketch

Actualmente o desenvolvimento de aplicações baseadas na Web é uma área em crescimento exponencial, graças aos benefícios que estas trouxeram consigo. Com a crescente utilização da Web e a sua evolução como plataforma, surgiram novas tecnologias que vieram revolucionar o desenvolvimento de aplicações sobre esta plataforma. Com interfaces mais ricas e consequentemente mais dinâmicas, este tipo de aplicações assemelham-se às típicas aplicações Desktop com a diferença que estão a ser executadas em um ambiente completamente distinto, um ambiente partilhado e de fácil acesso, sendo o browser a aplicação universal de acesso a qualquer aplicação Web. Designadas serviços, as aplicações Web fornecem funcionalidades semelhantes às das aplicações Desktop, sendo na maioria das vezes software gratuito. Sendo a Google a grande pioneira nesta área, outras grandes entidades viram aqui a oportunidade de distribuir o seu software de uma forma fácil e barata, ficando esta de imediato disponível a milhões de utilizadores. Embora as aplicações Web se assemelhem às aplicações Desktop, ao seu processo de desenvolvimento surgem um conjunto de novos desafios provocados pelo facto de estas se encontrarem em um ambiente completamente distinto.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Inexpensive solution for real-time video and image stitching

Image stitching is the process of joining several images to obtain a bigger view of a scene. It is used, for example, in tourism to transmit to the viewer the sensation of being in another place. I am presenting an inexpensive solution for automatic real time video and image stitching with two web cameras as the video/image sources. The proposed solution relies on the usage of several markers in the scene as reference points for the stitching algorithm. The implemented algorithm is divided in four main steps, the marker detection, camera pose determination (in reference to the markers), video/image size and 3d transformation, and image translation. Wii remote controllers are used to support several steps in the process. The built‐in IR camera provides clean marker detection, which facilitates the camera pose determination. The only restriction in the algorithm is that markers have to be in the field of view when capturing the scene. Several tests where made to evaluate the final algorithm. The algorithm is able to perform video stitching with a frame rate between 8 and 13 fps. The joining of the two videos/images is good with minor misalignments in objects at the same depth of the marker,misalignments in the background and foreground are bigger. The capture process is simple enough so anyone can perform a stitching with a very short explanation. Although real‐time video stitching can be achieved by this affordable approach, there are few shortcomings in current version. For example, contrast inconsistency along the stitching line could be reduced by applying a color correction algorithm to every source videos. In addition, the misalignments in stitched images due to camera lens distortion could be eased by optical correction algorithm. The work was developed in Apple’s Quartz Composer, a visual programming environment. A library of extended functions was developed using Xcode tools also from Apple.

Meta, tracer - MOF with traceability

The following document proposes a traceability solution for model-driven development. There as been already previous work done in this area, but so far there has not been yet any standardized way for exchanging traceability information, thus the goal of this project developed and documented here is not to automatize the traceability process but to provide an approach to achieve traceability that follows OMG standards, making traceability information exchangeable between tools that follow the same standards. As such, we propose a traceability meta-model as an extension of MetaObject Facility (MOF)1. Using MetaSketch2 modeling language workbench, we present a modeling language for traceability information. This traceability information then can be used for tool cooperation. Using Meta.Tracer (our tool developed for this thesis), we enable the users to establish traceability relationships between different traceability elements and offer a visualization for the traceability information. We then demonstrate the benefits of using a traceability tool on a software development life cycle using a case study. We finalize by commenting on the work developed.

Associação do envolvimento físico com níveis de obesidade, aptidão física, actividades sedentárias e participação desportiva: um estudo em alunos dos 2º e 3º Ciclos, e Ensino Secundário de um concelho rural da RAM

O presente trabalho é constituído por dois estudos, sendo que o primeiro prende-se com a adaptação e quantificação da fiabilidade de um instrumento que visa caracterizar o envolvimento físico. O segundo estudo é constituído pela caracterização de uma amostra de jovens, no que se refere a essas variáveis do envolvimento, níveis de aptidão física, participação em actividades sedentárias e actividades desportivas, bem como da relação entre estes parâmetros. Metodologia do primeiro estudo: A amostra do primeiro estudo é constituída por 106 indivíduos de ambos os sexos (50 rapazes e 56 raparigas) do 7º ano de escolaridade. O instrumento validado por Evenson et al. (2006), foi traduzido para a língua Portuguesa, e testado para a fiabilidade através da sua aplicação em dois momentos, com uma semana de intervalo. Foi verificada a consistência interna, níveis de concordância e percentagens de acordos entre os dois momentos de avaliação. Metodologia do segundo estudo: A amostra do segundo estudo é composta por 296 indivíduos (150 do sexo masculino e 146 do sexo feminino) com idades compreendidas entre os 10 e os 18 anos (com uma média de idades de 13,6 + 1,9 anos). A classificação do IMC foi determinada pelos valores referenciados por Cole et al. (2000 e 2007). As avaliações normativas e criteriais da %MG foram obtidas pelas equações de Slaughter et al. (1988) e níveis de classificação de Lohman (1987), respectivamente. A aptidão física foi avaliada pela bateria de testes Fitnessgram (The Cooper Institute for Aerobics Research, 1999) e pela bateria de testes Eurofit (Adam et al., 1988). A variável grupo de prática desportiva foi determinada com base num questionário individual. A participação em actividades sedentárias foi determinada pela aplicação do questionário auto reportado. O envolvimento foi caracterizado com base no questionário de Evenson et al. (2006) traduzido para português. Resultados: Entre os dois momentos de avaliação, foram verificados bons níveis de concordância e uma boa consistência interna. As percentagens de acordos registadas estavam entre o razoável e o significativo, sendo estes valores similares aos apresentados por Evenson et al. (2006). A taxa de prevalência para o excesso de peso e obesidade foi de 26%, e para a %MG moderadamente alta, alta ou muito alta, foi de 53%. Ao nível dos testes motores, mais de metade da amostra classificou-se abaixo da ZAFS nos testes do vaivém, dos abdominais e da suspensão na barra. Em relação à participação desportiva, 54,4% da amostra tem como única actividade física organizada, as aulas de educação física e os restantes praticam algum tipo de actividade desportiva fora ou dentro da escola. Em relação às actividades sedentárias, 23,4% dos inquiridos afirmaram passar mais de 4 horas diárias neste tipo de actividades. Ao nível do envolvimento detectamos diferenças para o sexo e EE para apenas em alguns itens do questionário. Verificaram-se correlações significativas entre as variáveis estudadas, em nomeadamente entre os %MG e os testes motores, bem como entre os %MG e o envolvimento natural e o transporte activo.

Desenvolvimento de uma metodologia analítica para determinação de aminas biogénicas em tunídeos

A presença de aminas biogénicas em alimentos é um ponto crítico da segurança alimentar dada a sua implicação em fenómenos de intoxicações alimentares. Com a realização deste trabalho pretendeu-se contribuir para um melhor esclarecimento desta temática, actuando-se a dois níveis: numa primeira fase procedeu-se ao desenvolvimento e validação de uma nova metodologia analítica para a determinação simultânea de quatro aminas biogénicas (histamina, cadaverina, tiramina e triptamina) presentes no pescado; numa segunda fase procedeu-se à quantificação dos teores das aminas biogénicas em amostras de tunídeos. O desenvolvimento da metodologia quantitativa baseou-se na utilização da técnica de cromatografia líquida acoplada à espectrometria de massa em tandem (LC-MS/MS), tendo a preparação dos extractos para análise envolvido a extracção das aminas biogénicas do músculo de tunídeos com ácido clorídrico e a purificação dos extractos obtidos por SPE. Como qualquer outro método cromatográfico, a metodologia de LC-MS/MS desenvolvida exigiu a optimização de vários parâmetros como: a concentração do padrão interno, a metodologia de extracção em fase sólida (SPE), composição e fluxo da fase móvel, volume de injecção, determinação dos tempos de retenção, condições de ionização e condições de fragmentação. A validação metodologia foi realizada através da avaliação de alguns parâmetros analíticos, tal como o ajuste do modelo de calibração, precisão (repetibilidade e precisão intermédia), limite de quantificação, limite de detecção e percentagem de recuperação. De modo a potenciar a sensibilidade e selectividade permitida pelo equipamento analítico e com o objectivo de efectuar a quantificação dos compostos em análise, a aquisição de dados foi realizada em modo MRM. Uma vez que se utilizou um padrão interno (heptilamina), a proporcionalidade da intensidade do sinal das aminas biogénicas em relação a uma determinada concentração foi dada em termos de áreas relativas, que corresponde à razão da intensidade do sinal da amina biogénica/intensidade do sinal do padrão interno (analito/P.I.). A metodologia analítica desenvolvida foi aplicada à determinação dos teores de aminas biogénicas nas amostras de músculo de tunídeos recolhidas, com uma regularidade semanal, em diferentes estabelecimentos comerciais no decorrer da época intensiva da sua captura (de Abril a Setembro de 2009). Os teores de aminas biogénicas encontrados, entre 2,63 mg/kg (triptamina) e 132,78 mg/kg (tiramina), não ultrapassaram os limites impostos pela Comunidade Europeia para os teores de histamina e para os teores de aminas totais; sendo que, em cerca de 87% das 59 amostras analisadas não foram encontrados teores quantificáveis para as quatro aminas biogénicas.

Percepções dos professores em relação ao sucesso escolar: o contributo do desporto e da psicologia na elaboração de estratégias de promoção e de intervenção na educação

O propósito deste estudo foi estudar as percepções de sucesso que os professores da RAM têm em relação ao sucesso dos alunos, e analisar estas percepções tanto a nível das medidas de combate ao abandono escolar, como ao nível dos factores de sucesso escolar. Procurou-se também averiguar a associação dessas mesmas percepções em relação aos dados biográficos (género, grau académico, experiência profissional, nível de ensino, idade). A amostra foi constituída por 1056 professores, 340 do sexo masculino e 710 do sexo feminino (os restantes 6 foram omissos). As medidas para combater ou diminuir o abandono escolar e os factores e causas de sucesso foram determinadas através de um questionário que apresenta garantias de objectividade, validade e fidelidade. O tratamento estatístico incluiu uma análise descritiva e uma análise inferencial através do Teste do qui-quadrado, de forma a se encontrarem associações significativas entre as variáveis em estudo e a poder explicar a natureza dessas relações. Algumas das principais conclusões obtidas nesta pesquisa foram: 1) É possível identificar variáveis que influenciam significativamente as percepções dos professores sobre medidas para combater ou diminuir o abandono escolar, relacionadas com a família/encarregados de educação; 2) É possível identificar variáveis que influenciam significativamente as percepções dos professores sobre medidas para combater ou diminuir o abandono escolar relacionadas com os próprios professores; 3) É possível identificar variáveis que influenciam significativamente as percepções dos professores sobre medidas para combater ou diminuir o abandono escolar relacionadas com a estrutura, organização escolar e o meio envolvente; 4) possível identificar variáveis que influenciam significativamente as percepções dos professores sobre factores ou causas de sucesso escolar, relacionados com os alunos; 5) É possível identificar variáveis que influenciam significativamente as percepções dos professores sobre factores ou causas de sucesso escolar relacionados com a família/encarregados de educação; 6) É possível identificar variáveis que influenciam significativamente as percepções dos professores sobre factores ou causas de sucesso escolar relacionados com os professores; 7) É possível identificar variáveis que influenciam significativamente as percepções dos professores sobre factores ou causas de sucesso escolar relacionados com a estrutura/organização escolar e o contexto envolvente.

De uma análise de um problema de combinatória aos quadrados Mágicos

Os quadrados mágicos, de um modo geral, são abordados como uma poderosa ferramenta pedagógica capaz de despertar e aprimorar o raciocínio lógico. São inúmeros os projectos que objectivam a realização de actividades lúdicas capazes de aprimorar capacidades humanas como o raciocínio lógico. Segundo [Leo05], na Alemanha, os quadrados mágicos chegam a ser referência nos manuais das escolas primárias. Contrariamente à maioria dos trabalhos em quadrados mágicos, a grande preocupação presente neste não foi propriamente explorar a potencialidade dos quadrados mágicos como utensílio dogmático no desenvolvimento de raciocínios. Neste trabalho a nossa atenção incidiu na resolução de um problema de combinatória proposto por Henry Dudeney, mais concretamente o “Enigma do Monge”. Foi desenvolvida uma estratégia própria para solucionar o respectivo enigma. Foram ainda analisadas outras questões inerentes ao mesmo problema. Verificámos ainda que as relações de simetria desempenham um papel preponderante, no sentido em que o seu conhecimento facilitou a resolução do problema. Contudo, e contrariamente ao que prevíamos, verificou-se que este problema estava fortemente relacionado com os quadrados mágicos. Mais, existem propriedades verificadas no enigma que são determinantes na construção de quadrados mágicos de ordem 3.

Avaliação de compostos com actividade inibidora da glicoproteína-P

A resistência a múltiplos fármacos é um grande problema na terapia anti-cancerígena, sendo a glicoproteína-P (P-gp) uma das responsáveis por esta resistência. A realização deste trabalho incidiu principalmente no desenvolvimento de modelos matemáticos/estatísticos e “químicos”. Para os modelos matemáticos/estatísticos utilizamos métodos de Machine Learning como o Support Vector Machine (SVM) e o Random Forest, (RF) em relação aos modelos químicos utilizou-se farmacóforos. Os métodos acima mencionados foram aplicados a diversas proteínas P-gp, p53 e complexo p53-MDM2, utilizando duas famílias: as pifitrinas para a p53 e flavonóides para P-gp e, em menor medida, um grupo diversificado de moléculas de diversas famílias químicas. Nos modelos obtidos pelo SVM quando aplicados à P-gp e à família dos flavonóides, obtivemos bons valores através do kernel Radial Basis Function (RBF), com precisão de conjunto de treino de 94% e especificidade de 96%. Quanto ao conjunto de teste com previsão de 70% e especificidade de 67%, sendo que o número de falsos negativos foi o mais baixo comparativamente aos restantes kernels. Aplicando o RF à família dos flavonóides verificou-se que o conjunto de treino apresenta 86% de precisão e uma especificidade de 90%, quanto ao conjunto de teste obtivemos uma previsão de 70% e uma especificidade de 60%, existindo a particularidade de o número de falsos negativos ser o mais baixo. Repetindo o procedimento anterior (RF) e utilizando um total de 63 descritores, os resultados apresentaram valores inferiores obtendo-se para o conjunto de treino 79% de precisão e 82% de especificidade. Aplicando o modelo ao conjunto de teste obteve-se 70% de previsão e 60% de especificidade. Comparando os dois métodos, escolhemos o método SVM com o kernel RBF como modelo que nos garante os melhores resultados de classificação. Aplicamos o método SVM à P-gp e a um conjunto de moléculas não flavonóides que são transportados pela P-gp, obteve-se bons valores através do kernel RBF, com precisão de conjunto de treino de 95% e especificidade de 93%. Quanto ao conjunto de teste, obtivemos uma previsão de 70% e uma especificidade de 69%, existindo a particularidade de o número de falsos negativos ser o mais baixo. Aplicou-se o método do farmacóforo a três alvos, sendo estes, um conjunto de inibidores flavonóides e de substratos não flavonóides para a P-gp, um grupo de piftrinas para a p53 e um conjunto diversificado de estruturas para a ligação da p53-MDM2. Em cada um dos quatro modelos de farmacóforos obtidos identificou-se três características, sendo que as características referentes ao anel aromático e ao dador de ligações de hidrogénio estão presentes em todos os modelos obtidos. Realizando o rastreio em diversas bases de dados utilizando os modelos, obtivemos hits com uma grande diversidade estrutural.

GPON / FTTH: FTTH_fiber to the home

As redes de comunicação de nova geração, onde se incluem as tecnologias de fibra óptica, têm sido uma área na qual tem havido imensa investigação e desenvolvimento. As tecnologias de FTTx, em especial a FTTH, já são uma realidade em milhares de habitações em variadíssimos países. A presente dissertação descreve um estudo da tecnologia GPON - Gigabit Passive Optical Network - nas instalações da EMACOM, Telecomunicações da Madeira, Unipessoal, Lda. Inicialmente são enumerados os requisitos necessários, quer seja por parte dos clientes como dos fornecedores. Em seguida apresenta-se o padrão do ITU-T G.984, contendo as várias camadas, tais como a camada física e a camada de convergência de transmissão, abordando também a estrutura das tramas e as principais características do referido padrão. Depois é dado a conhecer ao leitor os elementos que constituem uma rede GPON, sejam estes equipamentos passivos ou activos. Seguidamente foi descrito o planeamento para o projecto proposto onde foram estudados os vários tipos de arquitectura utilizados pelo FTTH e definiu-se qual seria a melhor opção para a zona urbana considerada. Utilizou-se o ArcMap da ESRI Portugal - Sistemas e Informação Geográfica, S.A, criando uma base de dados e um esquema da própria rede num mapa da freguesia de São Martinho. Utilizou-se o AutoCad, onde foram elaborados vários sinópticos da rede da área escolhida, nos quais englobam a rede de alimentação, e a rede de distribuição. Toda a informação ilustrada nos sinópticos foi colocada numa folha de cálculo de Excel sendo mais rápida a sua pesquisa. Posteriormente, criou-se uma lista de material com as quantidades necessárias a utilizar para a sua implementação. Para verificar a viabilidade do projecto em termos de potência óptica foi efectuado um cálculo do balanço de potência. Assim, é considerada a ligação mais distante para averiguar se existe potência óptica suficiente para cobrir essa ligação. Caso seja viável, então os outros pontos de distribuição ópticos com distâncias inferiores também estarão suficientemente alimentados em termos ópticos. São ainda abordados os vários tipos de perdas nas fibras ópticas, as definições de link power e link loss budgets. Finalmente, foram efectuados testes de simulação com o programa OptiSystem simulando a ligação usada para o cálculo de potência podendo-se assim comparar valores e verificar o desempenho do sistema através do diagrama de olho obtido.

Facebook3d

INTRODUCTION With the advent of Web 2.0, social networking websites like Facebook, MySpace and LinkedIn have become hugely popular. According to (Nilsen, 2009), social networking websites have global1 figures of almost 250 millions unique users among the top five2, with the time people spend on those networks increasing 63% between 2007 and 2008. Facebook alone saw a massive growth of 566% in number of minutes in the same period of time. Furthermore their appeal is clear, they enable users to easily form persistent networks of friends with whom they can interact and share content. Users then use those networks to keep in touch with their current friends and to reconnect with old friends. However, online social network services have rapidly evolved into highly complex systems which contain a large amount of personally salient information derived from large networks of friends. Since that information varies from simple links to music, photos and videos, users not only have to deal with the huge amount of data generated by them and their friends but also with the fact that it‟s composed of many different media forms. Users are presented with increasing challenges, especially as the number of friends on Facebook rises. An example of a problem is when a user performs a simple task like finding a specific friend in a group of 100 or more friends. In that case he would most likely have to go through several pages and make several clicks till he finds the one he is looking for. Another example is a user with more than 100 friends in which his friends make a status update or another action per day, resulting in 10 updates per hour to keep up. That is plausible, especially since the change in direction of Facebook to rival with Twitter, by encouraging users to update their status as they do on Twitter. As a result, to better present the web of information connected to a user the use of better visualizations is essential. The visualizations used nowadays on social networking sites haven‟t gone through major changes during their lifetimes. They have added more functionality and gave more tools to their users, but still the core of their visualization hasn‟t changed. The information is still presented in a flat way in lists/groups of text and images which can‟t show the extra connections pieces of information. Those extra connections can give new meaning and insights to the user, allowing him to more easily see if that content is important to him and the information related to it. However showing extra connections of information but still allowing the user to easily navigate through it and get the needed information with a quick glance is difficult. The use of color coding, clusters and shapes becomes then essential to attain that objective. But taking into consideration the advances in computer hardware in the last decade and the software platforms available today, there is the opportunity to take advantage of 3D. That opportunity comes in because we are at a phase were the hardware and the software available is ready for the use of 3D in the web. With the use of the extra dimension brought by 3D, visualizations can be constructed to show the content and its related information to the user at the same screen and in a clear way. Also it would allow a great deal of interactivity. Another opportunity to create better information‟s visualization presents itself in the form of the open APIs, specifically the ones made available by the social networking sites. Those APIs allow any developers to create their own applications or sites taking advantage of the huge amount of information there is on those networks. Specifically to this case, they open the door for the creation of new social network visualizations. Nevertheless, the third dimension is by itself not enough to create a better interface for a social networking website, there are some challenges to overcome. One of those challenges is to make the user understand what the system is doing during the interaction with the user. Even though that is important in 2D visualizations, it becomes essential in 3D due to the extra dimension. To overcome that challenge it‟s necessary the use of the principles of animations defined by the artists at Walt Disney Studios (Johnston, et al., 1995). By applying those principles in the development of the interface, the actions of the system in response to the user inputs became clear and understandable. Furthermore, a user study needs to be performed so the users‟ main goals and motivations, while navigating the social network, are revealed. Their goals and motivations are important in the construction of an interface that reflects the user expectations for the interface, but also helps in the development of appropriate metaphors. Those metaphors have an important role in the interface, because if correctly chosen they help the user understand the elements of the interface instead of making him memorize it. The last challenge is the use of 3D visualization on the web, since there have been several attempts to bring 3D into it, mainly with the various versions of VRML which were destined to failure due to the hardware limitations at the time. However, in the last couple of years there has been a movement to make the necessary tools to finally allow developers to use 3D in a useful way, using X3D or OpenGL but especially flash. This thesis argues that there is a need for a better social network visualization that shows all the dimensions of the information connected to the user and that allows him to move through it. But there are several characteristics the new visualization has to possess in order for it to present a real gain in usability to Facebook‟s users. The first quality is to have the friends at the core of its design, and the second to make use of the metaphor of circles of friends to separate users in groups taking into consideration the order of friendship. To achieve that several methods have to be used, from the use of 3D to get an extra dimension for presenting relevant information, to the use of direct manipulation to make the interface comprehensible, predictable and controllable. Moreover animation has to be use to make all the action on the screen perceptible to the user. Additionally, with the opportunity given by the 3D enabled hardware, the flash platform, through the use of the flash engine Papervision3D and the Facebook platform, all is in place to make the visualization possible. But even though it‟s all in place, there are challenges to overcome like making the system actions in 3D understandable to the user and creating correct metaphors that would allow the user to understand the information and options available to him. This thesis document is divided in six chapters, with Chapter 2 reviewing the literature relevant to the work described in this thesis. In Chapter 3 the design stage that resulted in the application presented in this thesis is described. In Chapter 4, the development stage, describing the architecture and the components that compose the application. In Chapter 5 the usability test process is explained and the results obtained through it are presented and analyzed. To finish, Chapter 6 presents the conclusions that were arrived in this thesis.

Tornar-se educador: o impacto com a realidade docente

A presente investigação pretendeu estudar o processo de “tornar-se educador” e o impacto com a realidade da prática docente. Ao debruçar-se sobre o período de iniciação à prática docente, procura conhecer as vivências da primeira experiência profissional de um grupo de educadores, formados pela Universidade da Madeira, através da identificação das principais dificuldades/problemas sentidos nos vários contextos de intervenção do educador, no início da sua prática docente. Além de permitir situar os contributos da formação inicial na aquisição/desenvolvimento de competências profissionais, permite também perceber as relações entre a preparação veiculada pela formação inicial e o aparecimento das dificuldades no início da prática docente. O estudo foi desenvolvido no sentido de apurar uma resposta às seguintes questões que acabaram por conduzir a nossa investigação.Que dificuldades/problemas sentem os educadores em início de carreira? Que contributos proporciona a formação inicial para a aquisição/desenvolvimento de competências profissionais? Que relação existe entre as dificuldades inventariadas e a formação inicial veiculada pela Universidade? A presente investigação insere-se numa abordagem qualitativa dos fenómenos educativos, justificada pela natureza do estudo e do desenho escolhido, destacando-se a importância da construção de um conhecimento compreensivo e interpretativo desses fenómenos sociais e educativos, que emerge da relação com os actores concretos nos contextos em que desenvolvem a sua acção. Apresenta uma metodologia de trabalho empírico que integrou entrevistas de carácter exploratório e um questionário tipo Likert, construído com base na informação obtida nas entrevistas, bem como do estudo da literatura sobre a temática em análise. O inventário dos sentimentos experienciados e veiculados evidenciam características das fases profusamente difundidas na literatura, da sobrevivência e de descoberta, nomeadamente os constrangimentos do choque do real e da confrontação inicial com a complexidade da situação profissional, contrastando com o entusiasmo e exaltação de estar finalmente em situação de responsabilidade. Os resultados obtidos apontam para um claro choque com a realidade, consequência da confrontação entre a imagem da escola interiorizada, no período de formação inicial e a realidade da prática. Não procurando avaliar a Formação inicial de Educadores de Infância, nem tendo como objectivo a generalização, pensámos que o presente trabalho poderá se constituir como instrumento de reflexão, a todos quantos se interessam por esta temática e estão envolvidos na Formação dos Educadores.

Dispositivos de monitorização e controlo automático de factores climáticos em museus

As redes de comunicação sem fios são uma área de grande desenvolvimento. As tecnologias progridem e criam-se novas oportunidades de implementação de novos dispositivos nesta área. Neste tipo de redes, encontram-se as redes de sensores sem fios (WSN- Wireless Sensor Networks), que são constituídas por vários dispositivos (Nós Sensores) que colaboram entre si, para recolher e encaminhar informação sobre um determinado fenómeno físico até uma estação base. A um outro nível, a preservação das obras de arte é uma preocupação fundamental de todos os Museus. Existe a necessidade de conservar ao máximo as características genuínas de cada artefacto. Para tal, torna-se essencial uma monitorização e controlo de alguns factores ambientais, que podem danificar ou alterar as características dos materiais. Essa monitorização é realizada nos museus da Madeira, mas de uma forma manual e recorrendo a aparelhos que são dispendiosos e um pouco arcaicos. Assim sendo, tornou-se necessário encontrar uma solução, para a realização dessa tarefa de uma forma automática e contínua. As WSN oferecem uma resposta para estas necessidades, surgindo assim o projecto WISE-MUSE, que visa a monitorização ambiental para a conservação de obras de arte e artigos históricos, através de redes sem fios.Portanto, este projecto de Mestrado em Telecomunicações e Redes tem como área de acção a camada física da arquitectura do sistema WISE-MUSE. Neste sentido, desenvolveu-se um conjunto de dispositivos electrónicos, para monitorização e controlo de factores climáticos no Museu de arte contemporânea do Funchal. A ligação entre dispositivos e transmissão dos dados recolhidos foi assegurada através da implementação de uma rede sem fios. Ao nível dos nós sensores construídos, os desenvolvimentos mais importantes tiveram como meta a minimização de custos, consumo energético e dimensões dos mesmos. Além dos sensores, foram desenvolvidos outros componentes da rede, nomeadamente dispositivos routers e um dispositivo que permite o controlo automático da humidade.