Exploração da Implementação Actual de IPv6 no Kernel do Linux

A presente dissertação visa retratar a exploração do suporte do protocolo internet versão seis (IPv6) no kernel do Linux, conjuntamente com a análise detalhada do estado de implementação dos diferentes aspectos em que se baseia o protocolo. O estudo incide na experimentação do funcionamento em geral do stack, a identificação de inconsistências deste em relação RFC’s respectivos, bem como a simulação laboratorial de cenários que reproduzam casos de utilização de cada uma das facilidades analisadas. O objecto desta dissertação não é explicar o funcionamento do novo protocolo IPv6, mas antes, centrar-se essencialmente na exploração do IPv6 no kernel do Linux. Não é um documento para leigos em IPv6, no entanto, optou-se por desenvolver uma parte inicial onde é abordado o essencial do protocolo: a sua evolução até à aprovação e a sua especificação. Com base no estudo realizado, explora-se o suporte do IPv6 no kernel do Linux, fazendo uma análise detalhada do estudo de implementação dos diferentes aspectos em que se baseia o protocolo. Bem como a realização de testes de conformidade IPv6 em relação aos RFC’s.

Estimação da média com observações

Neste trabalho abordamos o problema da estimação da média de uma variável aleatória que depende de outra (ou outras) através de um modelo de regressão. O conhecimento completo da amostra permite o tratamento deste problema utilizando os métodos clássicos para a estimação da regressão. Aqui iremos estudar uma solução para o problema quando parte da informação que compõe a amostra se perde, nomeadamente, quando, na amostra que permite o tratamento do problema de regressão, algumas das ordenadas não são conhecidas, mas sim apenas o valor para variável explicativa. A solução mais simples neste caso consistiria em ignorar os pontos correspondentes da amostra. Contudo, aqui, pretende-se estudar um método que tenta tirar partido do conhecimento de que houve uma observação e que o valor desta está relacionado com a abcissa disponível através de um modelo de regressão que será aproximado à custa dos pontos da amostra conhecidos na totalidade. Numa primeira instância introduzimos os métodos não paramétricos de aproximação da regressão, a explorar, regressograma e Nadaraya- Watson. Em capítulos posteriores, descrevemos a adaptação do estimador Nadaraya-Watson ao problema das amostras incompletas. Discutemse ainda adaptações que tentam minimizar as dificuldades deste estimador quando o espaço das abcissas é de dimensão grande, assumindo que parte da função de regressão tem um comportamento linear, portanto paramétrico. Neste trabalho apresentamos resultados que asseguram a normalidade assimptótica dos estimadores definidos.

DETERMINANTES DO CRESCIMENTO ECONÓMICO: UMA

O objetivo central desta tese consiste em verificar se a reduzida dimensão do país representa uma barreira significativa no processo do crescimento económico. De uma forma global, foram realizadas análises descritivas e empíricas do impacto de algumas variáveis económicas e ambientais, na taxa de crescimento do PIB per capita dos países pequenos em comparação com os países grandes, e foi estudado o processo de crescimento económico de um país pequeno e insular, Cabo Verde. Para responder à questão de partida, primeiro, recorreu-se à revisão da literatura, teórica e empírica, dos efeitos da dimensão do país no crescimento económico e, posteriormente, foram efetuadas análises descritivas de algumas variáveis económicas no grupo de países pequenos e de países grandes, o que ajudou na definição das linhas orientadoras da investigação empírica. Com recurso à técnica estatística das análises de clusters e aos indicadores população e área, foram definidos os grupos de países pequenos e de países grandes. Conciliando a fórmula genérica do modelo de crescimento económico (que engloba o modelo de Solow aumentado e acrescido de outras variáveis determinantes do crescimento) com o estimador system-GMM, foi analisado empiricamente, no período 1970-2010, o impacto das variáveis de interesse Investimento Direto Estrangeiro, Abertura Comercial, Instituições Políticas, Sociais e Económicas, Geografia, Coesão Social e Vulnerabilidade Ambiental na taxa de crescimento do PIB per capita de países pequenos e de países grandes. A investigação foi, também, direcionada para identificar empiricamente os canais de transmissão (capital humano, capital físico e produtividade) das variáveis de interesse na taxa de crescimento do PIB per capita e o contributo destas variáveis na taxa de convergência entre os países de cada grupo. Os resultados encontrados indicam um certo equilíbrio entre o número de variáveis de interesse, cujo impacto é significativamente diferente, e aquelas cujo efeito é essencialmente igual, no crescimento económico dos países pequenos e dos países grandes. A produtividade foi identificada como o principal canal de transmissão das variáveis de interesse na taxa de crescimento do PIB per capita nos dois grupos de países. Os resultados evidenciam uma taxa de convergência β superior nos países pequenos, mas a diferença entre os coeficientes não é significativa. No geral, concluiu-se que os vários condicionantes associados à reduzida dimensão, apesar de influenciarem o impacto de alguns fatores no PIB per capita, não constituem um handicap ao crescimento económico, comparativamente aos países grandes. Adicionalmente, foi realizado o Growth Diagnostic da economia cabo-verdiana, com recurso ao modelo desenvolvido por Hausmann, Rodrik e Velasco (2005). Desta análise foram identificados vários fatores que têm dificultado os investimentos/crescimento económico em Cabo Verde, como a fraca intermediação financeira, deficientes infraestruturas, altos custos nas ligações entre as ilhas, ineficiente fornecimento de energia elétrica e desvios entre as necessidades de capital humano e as áreas de formação do ensino secundário e terciário. Assim, as políticas do Governo devem ser direcionadas no sentido de ultrapassar estas barreiras.