Mecanismos de suporte à execução concorrente de programas em lógica

Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Contributo para o desenvolvimento de uma metodologia que avalia a posição da omoplata: fidedignidade intra e interobservador e validade concorrente

RESUMO: Introdução: A relação cinemática entre as articulações do CAO apresenta grande importância na função do MS, e é por isso cada vez mais investigada e descrita. O posicionamento da omoplata ganha um importante papel para compreender as DCAO. É indiscutível o importante papel da omoplata na dinâmica do MS, bem como o posicionamento escapular como parâmetro clínico de disfunção do CAO. Todos estes factores criam a necessidade de desenvolver instrumentos de avaliação da posição da articulação ET. A grande maioria dos testes de avaliação, restringem a sua avaliação às disfunções da articulação GU, não integrando uma avaliação mais dinâmica e interactiva que respeite os pressupostos teóricos inerentes ao REU. È importante também que os métodos de avaliação sejam de fácil aplicabilidade clínica e que avaliem fidedignamente e com validade os outcomes. Objectivos: Contribuir para o desenvolvimento de uma metodologia de avaliação da omoplata em diferentes amplitudes do MS, através do estudo da validade concorrente, da fidedignidade intra e inter-observador. Metodologia: A amostra foi constituída por 20 elementos seleccionados por conveniência, entre o corpo de discentes da ESS-IPS, sem história de disfunção do CAO. Foi realizada uma análise cinemática ao MS de cada sujeito, usando um aparelho de análise por varrimento electromagnético, o FOB. Em cada sujeito foram ainda medidas, as distâncias escapulares em estudo, usando a fita métrica. Cada método de medição foi constituído por dois momento (teste e reteste), em cada momento, as medidas eram recolhidas por dois investigadores distintos. Resultados e Discussão: Foram considerados como positivos os resultados que se apresentassem acima do limiar de 0,5, que classifica uma correlação como moderada a excelente. Os resultados da validade mostram que para o investigador 1 nas medidas M1e M2 apenas houve correlação com valores excelentes a moderados até aos 30º de elevação do MS. Já para M3 apenas aos 30º no plano da omoplata essa mesma correlação não tem valores próximos do cutpoint. Em M4 nenhum valor tem correlação significativa com os valores do FOB, chegando mesmo a haver correlação negativa para os 120º no plano da omoplata. Em M5 apenas os 0º mostram valores correlacionais excelentes a moderados. Para o investigador 2, em M1 e M2 á semelhança do investigador 1, só existem valores de correlação significativos até aos 30º de elevação do MS. Já para M3 todos os valores mostram excelente a moderada correlação á excepção dos 120º no plano frontal. Em M4 este investigador apresenta maus resultados. Já em M5 os valores de correlação são moderados aos 0º e aos 90º. No que diz respeitos aos resultados dos CCI intra-observador,podemos afirmar que foi em M5 que estes valores mais se aproximaram do cut point. M1 e M2 são as medidas onde se encontram resultados menos satisfatórios. É aos 60º que existem valores mais satisfatórios, seguidos pelos 0º e 30º, quando nos aproximamos de graus mais elevados, como 90º e 120º, estes valores tendem a baixar. Quanto á fidedignidade inter-observador para M1 apenas aos 90º e aos 120º houve valores de correlação abaixo do cutpoint. Em M2, só os 60º do plano sagital não teve valores acima do cutpoint, em M3 apenas os 30º plano sagital não obtiveram valores acima do cut-point, o mesmo acontece para M3 aos 30º plano da omoplata e em M5 aos 30º e 120º no plano frontal. Conclusão: Os resultados deste estudo indicam que a metodologia em causa apresenta elevado grau de fidedignidade inter-observador, já no que toca é fidedignidade intra-observador o grau de semelhança não é tão elevado. Também o erro associado á medida não ultrapassou 1,5cm, sendo considerado baixo. Na validade concorrente concluímos que é aos 0º que a metodologia se torna uma opção válida na aferição das distâncias medidas com uma boa a excelente concordância com o FOB. As medidas consideradas como opções válidas, nas diferentes amplitudes, podem funcionar como parâmetros clínicos de caracterização do posicionamento da omoplata, podendo vir a contribuir ainda para a caracterização da orientação da mesma.-------------------- ABSTRACT:Introduction: The kinematic relationship between the joints of the CAO has great importance in the function of MS, which is why more and more investigated and described. The positioning of the blade gets an important role in understanding the DCAO. There is no doubt the important role of the scapula in the dynamics of MS as well as the positioning of scapular dysfunction as a clinical parameter of the CAO. All these factors create the need to develop tools for evaluating the place of articulation ET. Most assessment tests, restrict its assessment to GU joint disorders, not incorporating a more dynamic and interactive way that respects the theoretical assumptions inherent in the REU. It is also important that the methods are easy to apply clinical and reliably to assess the validity and outcomes. Objectives: To contribute to the development of a methodology for evaluating the scapula in different ranges of MS, through the study of concurrent validity, reliability of intra-and inter-observer. Methodology: The sample consisted of 20 selected elements for convenience, between the body of students of IPS-ESS with no history of dysfunction of the CAO. We performed a kinematic analysis of each subject to MS, using a scanning device for electromagnetic analysis, the FOB. In each subject were also measured, the scapular distances under study, using tape measure. Each method of measuring the time consisted of two (test and retest), in each moment, the measures were collected by two different investigators. Results and Discussion: We considered as positive results that were above the threshold of 0.5, which ranks as a moderate to excellent correlation. The results show that the validity for the researcher in an action M1e M2 was only correlated with moderate to excellent values up to 30º of elevation of the MS. As for M3 only to 30º in the plane of the scapula has the same correlation values near the cutpoint. M4 has no value in correlation with the values of the FOB, and even negative correlation to 120 ° in the plane of the scapula. In M5 show only the values 0 ° correlational excellent to moderate. For investigator 2 in M1 and M2 will be like an investigator, there are only significant correlation values up to 30º of elevation of the MS. As for M3 all the values show excellent correlation to moderate with the exception of 120 ° in the frontal plane. In this researcher M4 has bad results. M5 already in the correlation values are moderate to 0º and 90 º. Regarding the results of ICC intra-observer, we can say that M5 was that these values come closest to the cut point. M1 and M2 are measures which are less than satisfactory results. At 60 ° there are more satisfactory values, followed by 0º and 30º, when we approached the highest levels, such as 90 ° and 120 °, these values tend to decrease. The inter-observer reliability for M1 only to 90 º and 120 ºcorrelation values were below the cutpoint. In M2, only 60 of the sagital plane did not have values above the cutpoint in M3 only 30º sagital plane did not obtain values above the cut-point, the same goes for M3 at 30 ° plane of the scapula and M5 at 30 º and 120 º in frontal plane. Conclusion: The results of this study indicate that the methodology in question has a high degree of inter-observer reliability, as far as intra-observer reliability is the degree of similarity is not as high. Also the error of measure did not exceed 1.5 cm, and is considered low. In concurrent validity conclude that it is at 0 ° the methodology becomes a valid option for the measurement of distances measured with a good to excellent agreement with the FOB. The measures considered as valid options in different amplitudes, can function as clinical parameters to characterize the positioning of the shoulder blade and could further contribute to the characterization of the orientation of the same.

Modelos hierárquicos para a análise e síntese de estruturas e materiais com aplicações à remodelação óssea

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Mecânica na especialidade de Resistência dos Materiais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Sistema de ficheiros transaccional sobre FUSE

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Verificação prática de anomalias em programas de memória transaccional

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Aceleração da classificação de documentos com recurso a GPU

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Interesses Energéticos e Implicações Políticas: RPC e os EUA em Angola, no Sudão e na Nigéria

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciência Política e Relações Internacionais

Suporte para bilhética numa plataforma web para organização de eventos

Esta dissertação foi desenvolvida em ambiente empresarial com a empresa Opensoft. O tema da dissertação está focado no estudo e desenvolvimento de uma solução de acreditação e controlo de acessos de participantes em eventos. Tem como objetivo estender uma plataforma web já existente que permite a criação e gestão de eventos, por parte do organizador, e a inscrição e respetivo pagamento, no caso de existir, por parte dos participantes. Nesta dissertação realizou-se um estudo sobre registos de entradas, acreditação, controlo de acessos e entregáveis onde já existem diversas soluções no mercado. Existem várias soluções que se dedicam a diferentes modelos de eventos, sendo a maioria destas soluções de check-in apenas um registo simples de participantes sem um conceito de acreditação, e sendo a maior parte de carácter móvel. Estudou-se um sistema de gestão de inscrições em eventos e respetivos pagamentos, o Weventual, que tinha algumas desvantagens em relação às soluções existentes. Com vista a melhorar este sistema e promovê-lo como um grande concorrente aos outros sistemas de gestão de eventos, foi apresentada uma proposta de solução composta por duas vertentes, uma pelo uso do portal online para eventos que não têm a capacidade de adquirir dispositivos móveis ou queiram usar sempre a mesma plataforma, e outra pelo uso de uma aplicação móvel de forma a se facilitar a logística da maioria de eventos não sendo necessário de um posto fixo com um computador e diversos dispositivos periféricos associados e até poder ser offline. Neste projeto foi realizado um sistema que permite então a realização de registos de entradas e acreditação durante o decorrer de um evento, podendo este registo funcionar manualmente ou pela utilização de códigos de barras de forma a automatizar e agilizar o processo e ainda com propriedades web design responsive para integrar diversos tipos de dispositivos fixos e móveis. Foi incluída a emissão de recibos/fatura após o pagamento de uma inscrição num evento sendo utilizada uma ligação por web services a um sistema externo, o SIMN. Foi ainda proposta uma funcionalidade de apresentação de resultados sobre os participantes do evento. Esta solução encontra-se validada tendo sido implementada e adicionada ao Portal Weventual.

Norton de Matos, o improvável republicano: Um olhar sobre Portugal e o império entre Afonso Costa e Salazar

Discutir o papel político de José Norton de Matos (1867-1955) na galáxia republicana portuguesa entre 1910 e 1955 é o objectivo principal desta tese. A alteração do prisma de análise mais habitual quando se fala de Norton, do colonial para o político, foi acompanhada pela opção de privilegiar os seus escritos contemporâneos, em detrimento das muitas análises retrospectivas posteriormente publicadas, e de cotejar a sua voz com múltiplas vozes de Portugal e do império, entre muitas outras com que se cruzou. Tentámos compreender como é que um liberal como Norton, monárquico de tradição embora não de filiação, usa as suas credenciais coloniais para entrar na política republicana à boleia da polémica do cacau escravo e da Sociedade Portuguesa Anti-Esclavagista. Com a aproximação a Bernardino Machado, aos Jovens Turcos, à maçonaria e à facção do PRP dominada por Afonso Costa, insere-se na órbita democrática e afonsista e ganha o cargo de governador-geral de Angola. Aos africanos, cuja definição legislativa como uma categoria distinta da de cidadão (o indígena) antecipa em 1913, leva as luzes da educação laica e a liberdade de trabalho mas paradoxalmente convive com as escolas das missões e o trabalho forçado. A fibra de político que revela na gestão das tensões entre as elites coloniais e metropolitanas irá ser apurada como ministro da Guerra. Discutimos, em especial, o seu papel político num ambicioso projecto: transformar dezenas de milhares de portugueses, pobres, analfabetos e vindos de meios rurais com parcas simpatias republicanas, em cidadãos e soldados da República. A improvisação, que possibilitou que o Corpo Expedicionário Português fosse combater em França ao lado dos britânicos, teve o rasgo de asa e os problemas inerentes à megalomania que o caracterizava. No Verão de 1917, o prestígio com que regressa à capital após difíceis negociações com o governo de Lloyd George torna-o um sério concorrente de Afonso Costa embora com ele partilhe também o ónus da crescente impopularidade da guerra. Reencontrar-se-ão, após o exílio sidonista, na Conferência da Paz em Paris mas, ao contrário de Costa, que não regressará à política activa, Norton tornar-se-á o altocomissário mais marcante e polémico da nova República do pós-guerra. Após a queda do regime e dois novos exílios, será Norton de Matos a fazer os compromissos necessários para permanecer no país e, aí, combater a Ditadura Militar e o Estado Novo de Salazar. Quando, em 1931, consegue unir a oposição em torno da Aliança Republicano-Socialista, começa a impor-se como símbolo da I República. É com esse estatuto que integrará as frentes unidas antifascistas dos anos 40 que culminarão na sua candidatura à Presidência da República em 1948/1949. O modo como consegue fazer a ponte entre os vários ciclos e gerações da oposição e, simultaneamente, resistir às pressões para romper a unidade com os comunistas na fase mais crispada da Guerra Fria será uma última manifestação do seu talento político, cuja análise poderá ajudar a enriquecer o debate sobre essa realidade plural e multipolar que foi a galáxia republicana na primeira metade do século XX.