Browsing by Issue Date, starting with "2012-03"
Now showing 1 - 6 of 6
Results Per Page
Sort Options
- Doença de Machado-Joseph: da teoria à prática clínicaPublication . Rodrigues, Joana Cristina Ruivo; Sequeira, Maria Cristina Fidalgo Fernandes; Rosado, Maria Luiza ConstanteA Doença de Machado-Joseph, ou ataxia espinocerebelosa tipo 3, é uma doença neurodegenerativa autossómica dominante, com uma expressão clínica e idade de início variáveis, o que torna o diagnóstico difícil e raramente precoce. A doença de Machado-Joseph, afeta maioritariamente descendentes de Açorianos, e está dispersa a nível mundial. Esta dissertação parte da investigação alargada da literatura científica acerca da Doença de Machado-Joseph e do relato de um caso clínico exemplificativo da clínica da doença, revendo e salientando as novas descobertas nas caraterísticas clínicas, genéticas e patogenia da doença. São, também, referidas as terapias atuais e, possivelmente, futuras para os doentes com Doença de Machado-Joseph.
- Aplicações harmónicas de superfícies de Riemann sobre espaços simétricosPublication . Correia, Nuno Miguel Ferreira; Pacheco, Rui Miguel Nobre MartinsDescrevemos como a operação de somar um unitão surge através do método de Dorfmeister, Pedit e Wu (DPW) que permite obter aplicações harmónicas em espaços simétricos Riemannianos compactos a partir de certas 1-formas holomorfas. Exploramos este ponto de vista para investigar quais os unitões que preservam a propriedade do tipo nito das aplicações harmónicas. Em particular, provamos que o brado de Gauss de uma aplicação harmónica do tipo nito numa Grassmanniana também é do tipo nito. Provamos que qualquer aplicação harmónica da esfera de dimensão 2 num grupo de Lie compacto semi-simples de matrizes pode ser reduzida a uma constante usando as acções de revestimento singular, isto é, as singular dressing actions introduzidas por Bergvelt e Guest. Encontramos também geradores para o grupo dos lacetes racionais das representações fundamentais de Sp(n)C e SU(n)C: em ambos os casos a classe dos geradores é um pouco maior do que a classe de factores simples (lacetes racionais com um número mínimo de singularidades, cuja acção de revestimento pode ser calculada explicitamente). Estabelecemos fórmulas explícitas para as factorizações canónicas de soluções estendidas que correspondem a aplicações harmónicas com número de unitão nito no grupo de Lie excepcional G2 em termos do modelo Grassmanniano. É dada uma descrição dos geradores do referencial de Frenet para estas aplicações harmónicas. Em particular, mostramos que aplicações harmónicas da esfera de dimensão 2 em G2 correspondem a soluções de certos sistemas algébricos de equações quadráticas e cúbicas.
- Simpaticectomia toracoscópica videoassistida como tratamento da hiperidrose focal primária : impacto sobre a qualidade de vidaPublication . Catro, Rita Alves Ribeiro Veloso de; Mota, João Carlos da Silva; Álvarez Pérez, Francisco JoséIntrodução: A hiperidrose focal primária é uma condição patológica caracterizada por um excesso de estimulação simpática sobre as glândulas sudoríparas écrinas. Existem diferentes formas de tratamento sendo a mais efetiva e duradoura a alternativa cirúrgica por simpaticectomia toracoscópica videoassistida. Este estudo tem como principal objetivo avaliar a qualidade de vida pós-cirúrgica dos pacientes submetidos a simpaticectomia por cirurgia toracoscópica videoassistida. Metodologia: Este trabalho é um estudo retrospetivo efetuado através da recolha de dados via telefónica e base de dados clínica de cinquenta e dois pacientes com hiperidrose focal primária submetidos a simpaticectomia por cirurgia toracoscópica videoassistida na Casa de Saúde da Boavista, no período compreendido entre Fevereiro de 2006 e Janeiro de 2011. Foram utilizados o questionário Quality of Life e a escala Hyperhidrosis Severity Scale na avaliação da qualidade de vida. Todos os pacientes foram submetidos a anestesia geral e a técnica cirúrgica usada foi a secção da cadeia simpática bilateralmente por cirurgia videoscópica. Resultados: O sexo feminino representava 61,5% (32) da amostra e o sexo masculino 38,5% (20). A média de idades foi de 26,63 ± 9,02 (entre 15 e 64 anos). Antes da cirurgia, 92,3% dos pacientes tinha hiperidrose severa. Catorze pacientes apresentavam-se com hiperidrose palmar, trinta e cinco com hiperidrose palmar/axilar, um com hiperidrose axilar e dois com hiperidrose facial. O nível de secção ganglionar foi realizado em R2 em 23,1% dos casos e em R2 e R3 em 76,9% dos casos. As taxas de remissão completa para cada tipo de hiperidrose foram de 100% no caso da palmar, 82,9% na palmar/axilar, 100% na axilar e 50% na facial. O tempo de internamento não foi superior a 24 horas em nenhum dos casos. Verificou-se uma melhoria na qualidade de vida em 98,1% dos pacientes. O grau de satisfação foi positivo em 94,2%. As taxas de complicações peroperatórias e pós-operatórias major foram nulas e as complicações minor de 11,5%. Apenas em 7,7% da amostra foi observada hiperidrose compensatória severa. O local mais acometido foi o tórax, em 57,7% dos casos. O domínio que apresentou melhorias mais significativas foi o Funcional-Social, em 57,7% dos pacientes. A mortalidade ou necessidade de realizar toracotomia ou ressimpaticectomia foram nulas. Conclusão: A simpaticectomia por cirurgia toracoscópica videoassistida é uma opção terapêutica eficaz e viável da hiperidrose focal primária. Apesar da incidência de hiperidrose compensatória, é um procedimento satisfatório no que respeita à qualidade de vida da grande maioria dos pacientes submetidos.
- Criteria Assessment of Energy Carrier Systems SustainabilityPublication . Gaspar, Pedro Dinis; Mendes, Rui Pedro; Gonçalves, Luís Carlos CarrilhoThe sustainability assessment of an energy conversion process into electrical energy is carried out in technological, economical, environmental and social dimensions. A solid basis for a state-of-the-art interdisciplinary assessment using data obtained from the literature supports the sustainability comparison. Thus, indicators that best describe the technologies and that are related to each of the abovementioned dimensions are defined to quantify the sustainability of energy carrier systems. These indicators are: efficiency of electricity generation, lifetime, energy payback time, capital cost, electricity generation cost, greenhouse gases emissions during full life cycle of the technology, land requirements, job creation and social acceptance.
- Classification of Peer-to-Peer traffic by exploring the heterogeneity of traffic features through entropyPublication . Gomes, João Vasco Paulo; Freire, Mário Marques; Monteiro, Paulo Miguel Nepomuceno PereiraThe ability to classify the traf c, based on the application or protocol that generated it, is essential for the effective management of computer networks. Although Internet applications were generally based on the client-server paradigm, generating traf c whose properties were well de ned and easily predictable, the advent of peer-to-peer (P2P) computing brought the power to the edges, facilitating the direct exchange of contents between hosts and modifying the behavior of the traf c load in the networks of Internet Service Providers (ISPs) and organizations. In that context, the ability to identify the nature of the traf c became increasingly important. Nonetheless, the early traf c classi cation methods, based on the association of port numbers of transport-level protocols to applications or protocols, became ineffective when many Internet applications started to use random port numbers or ports normally used by other applications. The natural alternative was to look deep into the contents of the packets to search for data strings that could be used as a signature of the traf c of a target application. However, this approach, usually called Deep Packet Inspection (DPI), requires more computational resources which may make it dif cult to be used for real-time monitoring in high-speed networks. Moreover, several applications have started to encrypt their traf c preventing the use of DPI. In order to overcome these limitations, researchers are proposing new classi cation approaches, sometimes called classi cation in the dark, which are based on the traf c behavior and do not rely on the payload data. Although their accuracy is generally lower, in most cases, they offer a good compromise between effectiveness and computational cost and are not affected by encryption techniques. Nevertheless, the search for more accurate behavioral methods is also leading to an increase in their complexity. This thesis is focused on the identi cation of P2P traf c and aims to propose a classi cation approach capable of identifying traf c generated by P2P applications in real-time, without relying on the payload data. Since one of the differences between client-server and P2P paradigms is the dual role played by P2P hosts, the research work described herein, after a literature review, started with the study of the properties of the traf c from several P2P and non-P2P applications at its source. Instead of collecting the experimental data in an aggregation point, the traf c from each individual host, running a single application or a prede ned set of applications, was captured immediately after its network connection. By doing so, it was possible to assure that the analyzed traf c was generated by the studied applications and that its properties were not affected by the aggregation of different types of traf c. The study included the statistical analysis of the following traf c features: the byte count per time unit, the inter-arrival time, and the packet length. The observation of the source traf c showed that the lengths of the packets generated by P2P and non-P2P applications present distinct patterns. The traf c from non-P2P applications usually results from connections with a stable behavior, mostly formed by small and large packets, used to send requests and acknowledgments and to receive contents, respectively. In these cases, both small and large packets generally present very homogeneous lengths. On the contrary, the P2P traf c is very heterogeneous in terms of packet lengths, as it results from the aggregation of several concurrent connections to different peers. Moreover, the distributed search mechanisms and the replies to requests from other peers also generate a large number of small packets with multiple lengths. Hence, a deeper study focused solely on packet length properties was performed and the set of analyzed applications was extended. The entropy was used to measure the heterogeneity of the packet lengths and the results showed it was possible to differentiate both kinds of traf c. To improve the results in speci c cases, the entropy of the packet lengths was also computed using slots of 200 bytes, which means that all the packet lengths within the same slot are used in the entropy computation as being similar lengths. Based on this approach, it was possible to propose a new behavioral classi er capable of identifying hosts running P2P applications, without using payload data. In order to make the method suitable for real-time analysis, the entropy is computed using a sliding window with a constant size of N packets. Although the proposed classi cation method was able to identify hosts running P2P applications by analyzing the heterogeneity of the packet lengths in the aggregated traf c of each host, it could not classify individual ows as being generated by P2P or non-P2P applications. In fact, the heterogeneity of the packet lengths observed in the traf c of each single host running P2P le-sharing or P2P media streaming applications resulted, mostly, from the aggregation of several connections with different properties, used to share contents with other peers. For this reason, the heterogeneity of individual ows is lower, even for P2P traf c. Nonetheless, in the case of P2P Voice over Internet Protocol (VoIP) traf c, the heterogeneity of the packet lengths results from the use of Variable Bit Rate (VBR) speech codecs and, thus, the heterogeneity is observable in the individual ow used to carry each VoIP session. Therefore, experimental traf c generated by P2P VoIP applications using several VBR and Constant Bit Rate (CBR) speech codecs was collected and used to study the lengths of the packets generated by VoIP sessions. The results of the analysis showed that the packet lengths depend on the speech codec used in each the session. Hence, the heterogeneity of the packet lengths from each VoIP session was measured using entropy, which was computed using a sliding window with a constant size of 500 packets. For each speech codec considered in the study, the intervals of packet lengths and entropy observed during the traf c analysis were compiled and, based on those intervals, a traf c classi er capable of identifying VoIP traf c using a single traf c feature was proposed. The classi er uses a set of behavioral signatures associated with each speech codec, formed by an interval of packet lengths and an interval of the entropy of the packet lengths. Besides of being able to recognize VoIP traf c in the dark, the classi er is also capable of identifying the speech codec used in that VoIP session. After proposing the P2P VoIP traf c classi er, the research work focused on the traf c from P2P le-sharing and P2P media streaming applications. Unlike VoIP, the traf c generated by a single host running one of these applications results from many parallel connections with several peers. Hence, in this thesis, P2P le-sharing and P2P media streaming traf c is also designated by one-to-many P2P traf c. The entropy of the packet lengths of individual ows from these applications is not suf ciently distinct from the entropy obtained from non-P2P individual ows. Therefore, several dimensions of the traf c were separately studied, including incoming, outgoing, or incoming and outgoing packets together, and also packets whose payload length is smaller or equal to 100 bytes, greater than 100 bytes and smaller or equal to 900 bytes, or greater than 900 bytes. The mean of the entropy of the packet lengths for each of these dimensions was computed for each ow of the analyzed applications, using a sliding window with a constant size of 100 packets. Additionally, the mean of the entropy of the inter-arrival times and of the remote host/port pairs to which a local host/port pair communicates was also computed. Based on the obtained results, a traf c classi er that does not rely on payload data was proposed. In the performance evaluation, the classi er was able to identify P2P traf c with an accuracy greater than 95%.
- A persistência do tipo: seguindo as pegadas dos planos e dos regulamentos urbanos nas formas das casas de CoimbraPublication . Martins, Afonso Nuno Henrique; Fernandes, Miguel João Mendes do Amaral SantiagoA tese foca a interdependência entre bairros tradicionais, tipos edificatórios e imagem da cidade, bem como a interacção entre regulamentos de construção e formas das casas. Para estudar o modo como alguns elementos da arquitectura da cidade, físicos e abstractos, e os instrumentos de ordenamento e regulação desses elementos, permeiam uns dos outros, escolheu-se, como caso de estudo, a cidade de Coimbra. O clássico axioma morfotipológico, desenvolvido sobretudo no panorama italiano dos anos cinquenta e sessenta, e retomado no contexto espanhol nas décadas de oitenta e noventa, constitui o marco teórico de que se parte para a constatação empírica de uns sistemas tipológicos da arquitectura; são estes sistemas que permitem focar, com a segurança proporcionada pela análise paramétrica, uma via de estruturação da imagem da cidade. A principal hipótese de trabalho é a da existência de um vínculo, evolutivo e dialéctico entre as casas correntes, os tipos edificatórios que lhes estão subjacentes e os planos urbanísticos e os regulamentos de edificação que estiveram vigentes em cada período. O que se tratará de investigar e precisar, é de que forma se constitui este vínculo, assim como o sentido em que evoluiu, e, por fim, os gradientes de aumento e diminuição deste vínculo ao longo de um determinado arco temporal que compreende todo o século XX, englobando diferentes etapas de crescimento e planeamento. A abordagem urbanística, incluindo a análise de planos e regulamentos, bem como de uma alargada compilação de licenças de habitabilidade e respectivos projectos de licenciamento, confirmou, para o período estudado, uma recorrente e fértil revisitação dos tipos arquitectónicos locais. A tese aponta para a validade de um método analítico de projecto urbano e arquitectónico assente no conceito de tipo em arquitectura, e no estudo prévio, como passo obrigatório, dos processos de formação, permanência e transformação dos tipos edificatórios e sistemas tipológicos seus derivados. Este método suporta a construção de um instrumento operativo, útil para urbanistas, arquitectos e construtores, que permita seguir com o projecto da cidade, através da preservação e revalorização dos tipos arquitectónicos locais. Adicionalmente, este instrumento poderá informar os ulteriores instrumentos de gestão territorial, assim como os regulamentos municipais de edificação. O objectivo é o de reforçar a identidade da cidade, aprendendo das lições deixadas pela história urbana local e decalcando das suas formas urbanas características.