888 resultados para Faculdade de Ciências Exatas e da Engenharia
Resumo:
Este trabalho tem por objectivo desenvolver eimplementar metodologias relacionadas com a temtica de trmica de edifcos, no sentido dequantificar e optimizar as perdas e ganhos decalor e os consumos de energia associados aosedifcios. Com base na teoria de transferncia de calor e massa, foram construdos programas de clculo numrico para simular, em regime estacionrio (permanente) e no estacionrio (transiente), os fluxos de calor e a distribuio das temperaturas em diferentes tipos de paredes comummente encontradas em Portugal e em particular na Regio Autnoma da Madeira. Estes resultados permitiram analisar a eficcia dos diversos tipos de paredes estudadas bem como o risco de condensao em algumas dessas situaes. Para alm deste estudo houve a preocupao de desenvolver uma metodologia de anlise econmica relacionada com a espessura de isolamento a aplicar. Foram igualmente estudadas algumas medies simples de conservao de energia cuja implementao em edifcios ser facilmente ustificada atendendo aos baixos perodos de retorno de investimento geralmente associados a estas medidas. Como resultado deste trabalho foi desenvolvida uma ferramenta de clculo cuja aplicaovai permitir no s estimar o risco decondensao mas igualmente o campo de temperaturas no interior das paredes ao longo do perodo de tempo considerado, visando a optimizao de solues de isolamento trmico versus condies de conforto recomendadas.
Resumo:
Este documento reporta as fases de concepo, desenvolvimento e teste de uma unidade autnoma de interrogao de sensores bioqumicos, de custo reduzido e de fcil utilizao, baseado na espectroscopia no domnio das frequncias. Com este prottipo, possvel efectuar medies de concentraes bioqumicas de diferentes compostos, de acordo com a cabea sensora utilizada. Devido ao nmero e complexidade dos equipamentos de bancada necessrios num esquema tradicional, este tipo de medies pode implicar um custo bastante elevado. Da a importncia deste projecto no desenvolvimento de uma alternativa que seja economicamente vivel, utilizando novas tcnicas de medio. Inicialmente este projecto comeou por uma pesquisa significativa dos componentes electrnicos necessrios para o desenvolvimento do sistema, seguindo-se uma escolha detalhada do material, de acordo com as caractersticas desejadas para o sistema. Um dos factores mais relevantes deste trabalho foi a introduo da instrumentao virtual, utilizada para controlar por intermdio de uma placa de aquisio de dados (DAQ), as componentes electrnicas do sistema e na implementao de um lock-in virtual, sendo este responsvel pela recuperao dos sinais enterrados no rudo de fundo. O sistema desenvolvido composto pelos seguintes mdulos: O mdulo de alimentao, que fornece as tenses e correntes para o funcionamento do sistema, o mdulo de gerao e modulao utilizado para gerar o sinal modulador e fornecer corrente ao LED, o mdulo de deteco e amplificao, que recebe e eleva o nvel do sinal emitido pela amostra, e por fim, o mdulo de controlo e processamento, que recolhe esse sinal atravs da DAQ e processa-o por intermdio do lock-in virtual. Para avaliar o desempenho do sistema de interrogao foi estudada a resposta de um complexo de rutnio luminescente a diferentes temperaturas. So apresentados resultados em que o sistema desenvolvido comparado com um sistema padro e caracterizado face aos parmetros do lock-in virtual, demonstrando-se as suas possibilidades e limitaes.
Resumo:
As lceras por presso so um problema de sade pblica que tem vindo a centrar a ateno da comunidade cientfica da rea da sade. Em consonncia, a preveno constitui um aspecto fulcral do seu controlo. Esta dissertao centra-se na preveno deste flagelo, desenvolvendo um prottipo para estudo da preveno das lceras por presso atravs de sistemas de sensores. Um olhar sobre a temperatura corporal e a presso, enquanto factores etiolgicos, levou construo de um sistema de monitorizao destas variveis. O sistema de monitorizao constitudo pela matriz de sensores, pelo circuito de aquisio de dados da matriz, por um microcontrolador que percorre cada um dos ns da matriz, por um sistema de transmisso sem fios e um software de visualizao dos dados da matriz. A matriz de sensores, aplicada numa superfcie de contacto, cadeira ou cama, est associada a um computador e a um n sensor sem fios, para que a informao relativa a cada doente possa ser visualizada local e remotamente. Local, porque os dados de temperatura e presso podem ser acedidos na unidade de cuidados e remotamente, pois a informao enviada sem fios atravs de um n XBee, pode ser acedida num computador central, noutra sala, permitindo a monitorizao, interpretao e registo dos dados. So apresentadas, neste trabalho, as matrizes de temperatura, uma com 64 sensores (8x8), que serviu de base construo do circuito de aquisio de dados, outra com 256 sensores (16x16) de temperatura e ainda uma matriz de presso. Para a matriz de sensores de presso de 16x16, foram construdos manualmente cada um dos 256 sensores. Foi criado o software de visualizao dos dados, obtidos da matriz, utilizando o MatLab, atravs do qual o utilizador final do sistema poder aceder aos dados grfica e numericamente. A aplicao do sistema desenvolvido permitir medir, em situao de contacto, as alteraes da temperatura da pele e presso, factores estes associados deteco precoce de lceras de presso.
Resumo:
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 Joo 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. Pestanas 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/.
Resumo:
Actualmente o desenvolvimento de aplicaes baseadas na Web uma rea em crescimento exponencial, graas aos benefcios que estas trouxeram consigo. Com a crescente utilizao da Web e a sua evoluo como plataforma, surgiram novas tecnologias que vieram revolucionar o desenvolvimento de aplicaes sobre esta plataforma. Com interfaces mais ricas e consequentemente mais dinmicas, este tipo de aplicaes assemelham-se s tpicas aplicaes Desktop com a diferena que esto a ser executadas em um ambiente completamente distinto, um ambiente partilhado e de fcil acesso, sendo o browser a aplicao universal de acesso a qualquer aplicao Web. Designadas servios, as aplicaes Web fornecem funcionalidades semelhantes s das aplicaes 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 fcil e barata, ficando esta de imediato disponvel a milhes de utilizadores. Embora as aplicaes Web se assemelhem s aplicaes Desktop, ao seu processo de desenvolvimento surgem um conjunto de novos desafios provocados pelo facto de estas se encontrarem em um ambiente completamente distinto.
Resumo:
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.
Resumo:
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 builtin 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 realtime 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 Apples Quartz Composer, a visual programming environment. A library of extended functions was developed using Xcode tools also from Apple.
Resumo:
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.
Resumo:
A presena de aminas biognicas em alimentos um ponto crtico da segurana alimentar dada a sua implicao em fenmenos de intoxicaes alimentares. Com a realizao deste trabalho pretendeu-se contribuir para um melhor esclarecimento desta temtica, actuando-se a dois nveis: numa primeira fase procedeu-se ao desenvolvimento e validao de uma nova metodologia analtica para a determinao simultnea de quatro aminas biognicas (histamina, cadaverina, tiramina e triptamina) presentes no pescado; numa segunda fase procedeu-se quantificao dos teores das aminas biognicas em amostras de tundeos. O desenvolvimento da metodologia quantitativa baseou-se na utilizao da tcnica de cromatografia lquida acoplada espectrometria de massa em tandem (LC-MS/MS), tendo a preparao dos extractos para anlise envolvido a extraco das aminas biognicas do msculo de tundeos com cido clordrico e a purificao dos extractos obtidos por SPE. Como qualquer outro mtodo cromatogrfico, a metodologia de LC-MS/MS desenvolvida exigiu a optimizao de vrios parmetros como: a concentrao do padro interno, a metodologia de extraco em fase slida (SPE), composio e fluxo da fase mvel, volume de injeco, determinao dos tempos de reteno, condies de ionizao e condies de fragmentao. A validao metodologia foi realizada atravs da avaliao de alguns parmetros analticos, tal como o ajuste do modelo de calibrao, preciso (repetibilidade e preciso intermdia), limite de quantificao, limite de deteco e percentagem de recuperao. De modo a potenciar a sensibilidade e selectividade permitida pelo equipamento analtico e com o objectivo de efectuar a quantificao dos compostos em anlise, a aquisio de dados foi realizada em modo MRM. Uma vez que se utilizou um padro interno (heptilamina), a proporcionalidade da intensidade do sinal das aminas biognicas em relao a uma determinada concentrao foi dada em termos de reas relativas, que corresponde razo da intensidade do sinal da amina biognica/intensidade do sinal do padro interno (analito/P.I.). A metodologia analtica desenvolvida foi aplicada determinao dos teores de aminas biognicas nas amostras de msculo de tundeos 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 biognicas encontrados, entre 2,63 mg/kg (triptamina) e 132,78 mg/kg (tiramina), no 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 no foram encontrados teores quantificveis para as quatro aminas biognicas.
Resumo:
Os quadrados mgicos, de um modo geral, so abordados como uma poderosa ferramenta pedaggica capaz de despertar e aprimorar o raciocnio lgico. So inmeros os projectos que objectivam a realizao de actividades ldicas capazes de aprimorar capacidades humanas como o raciocnio lgico. Segundo [Leo05], na Alemanha, os quadrados mgicos chegam a ser referncia nos manuais das escolas primrias. Contrariamente maioria dos trabalhos em quadrados mgicos, a grande preocupao presente neste no foi propriamente explorar a potencialidade dos quadrados mgicos como utenslio dogmtico no desenvolvimento de raciocnios. Neste trabalho a nossa ateno incidiu na resoluo de um problema de combinatria proposto por Henry Dudeney, mais concretamente o Enigma do Monge. Foi desenvolvida uma estratgia prpria para solucionar o respectivo enigma. Foram ainda analisadas outras questes inerentes ao mesmo problema. Verificmos ainda que as relaes de simetria desempenham um papel preponderante, no sentido em que o seu conhecimento facilitou a resoluo do problema. Contudo, e contrariamente ao que prevamos, verificou-se que este problema estava fortemente relacionado com os quadrados mgicos. Mais, existem propriedades verificadas no enigma que so determinantes na construo de quadrados mgicos de ordem 3.
Resumo:
A resistncia a mltiplos frmacos um grande problema na terapia anti-cancergena, sendo a glicoprotena-P (P-gp) uma das responsveis por esta resistncia. A realizao deste trabalho incidiu principalmente no desenvolvimento de modelos matemticos/estatsticos e qumicos. Para os modelos matemticos/estatsticos utilizamos mtodos de Machine Learning como o Support Vector Machine (SVM) e o Random Forest, (RF) em relao aos modelos qumicos utilizou-se farmacforos. Os mtodos acima mencionados foram aplicados a diversas protenas P-gp, p53 e complexo p53-MDM2, utilizando duas famlias: as pifitrinas para a p53 e flavonides para P-gp e, em menor medida, um grupo diversificado de molculas de diversas famlias qumicas. Nos modelos obtidos pelo SVM quando aplicados P-gp e famlia dos flavonides, obtivemos bons valores atravs do kernel Radial Basis Function (RBF), com preciso de conjunto de treino de 94% e especificidade de 96%. Quanto ao conjunto de teste com previso de 70% e especificidade de 67%, sendo que o nmero de falsos negativos foi o mais baixo comparativamente aos restantes kernels. Aplicando o RF famlia dos flavonides verificou-se que o conjunto de treino apresenta 86% de preciso e uma especificidade de 90%, quanto ao conjunto de teste obtivemos uma previso de 70% e uma especificidade de 60%, existindo a particularidade de o nmero 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 preciso e 82% de especificidade. Aplicando o modelo ao conjunto de teste obteve-se 70% de previso e 60% de especificidade. Comparando os dois mtodos, escolhemos o mtodo SVM com o kernel RBF como modelo que nos garante os melhores resultados de classificao. Aplicamos o mtodo SVM P-gp e a um conjunto de molculas no flavonides que so transportados pela P-gp, obteve-se bons valores atravs do kernel RBF, com preciso de conjunto de treino de 95% e especificidade de 93%. Quanto ao conjunto de teste, obtivemos uma previso de 70% e uma especificidade de 69%, existindo a particularidade de o nmero de falsos negativos ser o mais baixo. Aplicou-se o mtodo do farmacforo a trs alvos, sendo estes, um conjunto de inibidores flavonides e de substratos no flavonides para a P-gp, um grupo de piftrinas para a p53 e um conjunto diversificado de estruturas para a ligao da p53-MDM2. Em cada um dos quatro modelos de farmacforos obtidos identificou-se trs caractersticas, sendo que as caractersticas referentes ao anel aromtico e ao dador de ligaes de hidrognio esto presentes em todos os modelos obtidos. Realizando o rastreio em diversas bases de dados utilizando os modelos, obtivemos hits com uma grande diversidade estrutural.
Resumo:
As redes de comunicao de nova gerao, onde se incluem as tecnologias de fibra ptica, tm sido uma rea na qual tem havido imensa investigao e desenvolvimento. As tecnologias de FTTx, em especial a FTTH, j so uma realidade em milhares de habitaes em variadssimos pases. A presente dissertao descreve um estudo da tecnologia GPON - Gigabit Passive Optical Network - nas instalaes da EMACOM, Telecomunicaes da Madeira, Unipessoal, Lda. Inicialmente so enumerados os requisitos necessrios, quer seja por parte dos clientes como dos fornecedores. Em seguida apresenta-se o padro do ITU-T G.984, contendo as vrias camadas, tais como a camada fsica e a camada de convergncia de transmisso, abordando tambm a estrutura das tramas e as principais caractersticas do referido padro. 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 vrios tipos de arquitectura utilizados pelo FTTH e definiu-se qual seria a melhor opo para a zona urbana considerada. Utilizou-se o ArcMap da ESRI Portugal - Sistemas e Informao Geogrfica, S.A, criando uma base de dados e um esquema da prpria rede num mapa da freguesia de So Martinho. Utilizou-se o AutoCad, onde foram elaborados vrios sinpticos da rede da rea escolhida, nos quais englobam a rede de alimentao, e a rede de distribuio. Toda a informao ilustrada nos sinpticos foi colocada numa folha de clculo de Excel sendo mais rpida a sua pesquisa. Posteriormente, criou-se uma lista de material com as quantidades necessrias a utilizar para a sua implementao. Para verificar a viabilidade do projecto em termos de potncia ptica foi efectuado um clculo do balano de potncia. Assim, considerada a ligao mais distante para averiguar se existe potncia ptica suficiente para cobrir essa ligao. Caso seja vivel, ento os outros pontos de distribuio pticos com distncias inferiores tambm estaro suficientemente alimentados em termos pticos. So ainda abordados os vrios tipos de perdas nas fibras pticas, as definies de link power e link loss budgets. Finalmente, foram efectuados testes de simulao com o programa OptiSystem simulando a ligao usada para o clculo de potncia podendo-se assim comparar valores e verificar o desempenho do sistema atravs do diagrama de olho obtido.
Resumo:
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 its 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 havent 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 hasnt changed. The information is still presented in a flat way in lists/groups of text and images which cant 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 informations 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 its 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 Facebooks 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 its 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.
Resumo:
As redes de comunicao sem fios so uma rea de grande desenvolvimento. As tecnologias progridem e criam-se novas oportunidades de implementao de novos dispositivos nesta rea. Neste tipo de redes, encontram-se as redes de sensores sem fios (WSN- Wireless Sensor Networks), que so constitudas por vrios dispositivos (Ns Sensores) que colaboram entre si, para recolher e encaminhar informao sobre um determinado fenmeno fsico at uma estao base. A um outro nvel, a preservao das obras de arte uma preocupao fundamental de todos os Museus. Existe a necessidade de conservar ao mximo as caractersticas genunas de cada artefacto. Para tal, torna-se essencial uma monitorizao e controlo de alguns factores ambientais, que podem danificar ou alterar as caractersticas dos materiais. Essa monitorizao realizada nos museus da Madeira, mas de uma forma manual e recorrendo a aparelhos que so dispendiosos e um pouco arcaicos. Assim sendo, tornou-se necessrio encontrar uma soluo, para a realizao dessa tarefa de uma forma automtica e contnua. As WSN oferecem uma resposta para estas necessidades, surgindo assim o projecto WISE-MUSE, que visa a monitorizao ambiental para a conservao de obras de arte e artigos histricos, atravs de redes sem fios.Portanto, este projecto de Mestrado em Telecomunicaes e Redes tem como rea de aco a camada fsica da arquitectura do sistema WISE-MUSE. Neste sentido, desenvolveu-se um conjunto de dispositivos electrnicos, para monitorizao e controlo de factores climticos no Museu de arte contempornea do Funchal. A ligao entre dispositivos e transmisso dos dados recolhidos foi assegurada atravs da implementao de uma rede sem fios. Ao nvel dos ns sensores construdos, os desenvolvimentos mais importantes tiveram como meta a minimizao de custos, consumo energtico e dimenses dos mesmos. Alm dos sensores, foram desenvolvidos outros componentes da rede, nomeadamente dispositivos routers e um dispositivo que permite o controlo automtico da humidade.
Resumo:
A Internet responsvel pelo surgimento de um novo paradigma de televiso IPTV (Televiso sobre IP). Este servio distingue-se de outros modelos de televiso, pois permite aos utilizadores um elevado grau de interactividade, com um controlo personalizado sobre os contedos a que pretende assistir. Possibilita ainda a oferta de um nmero ilimitado de canais, bem como o acesso a contedos de Vdeo on Demand (VoD). O IPTV apresenta diversas funcionalidades suportadas por uma arquitectura complexa e uma rede convergente que serve de integrao a servios de voz, dados e vdeo. A tecnologia IPTV explora ao mximo as caractersticas da Internet, com a utilizao de mecanismos de Qualidade de Servio. Surge ainda como uma revoluo dentro do panorama televisivo, abrindo portas a novos investimentos por parte das empresas de telecomunicaes. A Internet tambm permite fazer chamadas telefnicas sobre a rede IP. Este servio denominado VoIP (Voz sobre IP) e encontra-se em funcionamento j h algum tempo. Desta forma surge a oportunidade de poder oferecer ao consumidor final, um servio que inclua os servios de Internet, de VoIP e de IPTV denominado servio Triple Play. O servio Triple Play veio obrigar a reviso de toda a rede de transporte de forma a preparar a mesma para suportar este servio de uma forma eficiente (QoS), resiliente (recuperao de falhas) e optimizado (Engenharia de trfego). Em redes de telecomunicaes, tanto a quebra de uma ligao como a congesto nas redes pode interferir nos servios oferecidos aos consumidores finais. Mecanismos de sobrevivncia so aplicados de forma a garantir a continuidade do servio mesmo na ocorrncia de uma falha. O objectivo desta dissertao propor uma soluo de uma arquitectura de rede capaz de suportar o servio Triple Play de uma forma eficiente, resiliente e optimizada atravs de um encaminhamento ptimo ou quase ptimo. No mbito deste trabalho, realizada a anlise do impacto das estratgias de encaminhamento que garantem a eficincia, sobrevivncia e optimizao das redes IP existentes, bem como determinado o nmero limite de clientes permitido numa situao de pico de uma dada rede. Neste trabalho foram abordados os conceitos de Servios Triple Play, Redes de Acesso, Redes Ncleo, Qualidade de Servio, MPLS (Multi-Protocolo Label Switching), Engenharia de Trfego e Recuperao de falhas. As concluses obtidas das simulaes efectuadas atravs do simulador de rede NS-2.33 (Network Simulator verso 2.33) serviram para propor a soluo da arquitectura de uma rede capaz de suportar o servio Triple Play de uma forma eficiente, resiliente e optimizada.
