Avaliação Ecológica das Terras Salgadas - Ilha do Maio, Cabo Verde para Possível Estabelecimento de uma Nova População da Laverca do Raso (Alauda Razae)

A laverca do Raso (Alauda razae) é uma espécie em risco crítico de extinção pois só existe num pequeno ilhéu de 7km2, o ilhéu do Raso em Cabo Verde. As medidas de protecção já adoptadas, não são, aparentemente, suficientes para prevenir os riscos a que esta espécie está ou poderá estar sujeita e que podem incluir grandes períodos de seca, ocorrência de uma catástrofe natural ou a introdução acidental de mamíferos predadores, como gatos e ratos. Assim, torna-se urgente a adopção de outras medidas de protecção da espécie, como por exemplo o estabelecimento de novas populações noutras ilhas. A ilha do Maio, localizada no grupo sul do arquipélago de Cabo Verde, a 200km do Raso, poderá ser um bom local para estabelecer uma nova população da laverca do Raso. A zona litoral das Terras Salgadas é um local potencial para este efeito, uma vez que é um Parque Nacional, protegido por lei e apresenta um habitat potencialmente semelhante ao encontrado no Ilhéu do Raso. No presente estudo procedeu-se à avaliação ecológica das Terras Salgadas de modo a avaliar a possibilidade de aí se estabelecer uma nova população da laverca do Raso. Foram selecionadas 4 áreas litorais (cada uma com 25ha) que foram caracterizadas quanto ao tipo de ocupação do solo, à flora e à fauna, através de pontos de amostragem, transectos lineares, captura de ratos e contagem de insectos nocturnos. Foi dada particular atenção aos factores favoráveis à sobrevivência da cotovia-do-Raso (presença de plantas e insectos de que se alimenta e de locais favoráveis à nidificação) bem como àqueles que constituem riscos (influência humana e presença de predadores). Todos estes dados foram georreferenciados e mapeados. Os resultados obtidos permitiram concluir que, apesar da existência de factores de risco para a introdução da laverca do Raso, existem pelo menos duas áreas estudadas que reúnem as condições potencialmente adequadas ao estabelecimento bem-sucedido de uma nova população desta espécie.

ESTABILIZAÇÃO DA FRENTE DE TÚNEIS COM INCLUSÕES LINEARES

O reforço da frente de escavação com elementos lineares em fibra de vidro tem vindo a desenvolver-se desde os finais dos anos 80 como um método bastante flexível e de fácil implementação. Os pregos têm a função de ancorar a frente de escavação, controlando a resposta em termos de deformação da cavidade e reduzindo consequentemente o risco de rotura da frente e os assentamentos à superfície. O presente trabalho tem como objectivo contribuir para a melhor compreensão dos fenómenos envolvidos nesta metodologia. Para a concretização desse objectivo foi adoptada uma abordagem tridimensional com modelação individualizada do maciço, das inclusões e da sua interacção. Recorrendo à bibliografia especializada e a alguns resultados numéricos abordou-se nos dois primeiros capítulos os mais relevantes aspectos relacionados com o comportamento de uma frente de escavação não reforçada. Destacaram-se em particular as diferenças entre o comportamento drenado e não-drenado e a importância de cada um dos factores que condicionam tal comportamento, nomeadamente os que definem a geometria da escavação e os que caracterizam o maciço envolvente. O capítulo 3 é dedicado à apresentação da técnica da pregagem da frente de escavação com base na bibliografia da especialidade. Referem-se os princípios básicos de funcionamento dos pregos e algumas das obras de aplicação mais significativas. Descreve-se ainda sucintamente alguns métodos simplificados de pré-dimensionamento. No capítulo 4 avalia-se, com base numa abordagem numérica tridimensional, a eficácia do reforço da frente de escavação. Para um problema típico, representativo das obras mais frequentemente encontradas no Norte de Portugal, faz-se a comparação entre o comportamento de uma frente não reforçada, com o comportamento de uma frente reforçada. As melhorias introduzidas nos deslocamentos do maciço são quantificadas e procede-se à análise das forças mobilizadas nos elementos de reforço. No capítulo 5 generaliza-se as conclusões do capítulo 4 a um campo mais vasto. Avalia-se o efeito da geometria da obra, das características do sistema de reforço e dos parâmetros mecânicos do maciço sobre a eficácia do método de reforço. No capítulo 6 propõe-se um método de pré-dimensionamento baseado no conceito da convergência-confinamento e procede-se à sua validação com base em resultados numéricos existentes.

EQUAÇÕES DIFERENCIAIS ORDINÁRIAS LINEARES

Na disciplina de Análise Matemática, logo ao início de certos cursos de licenciatura, é usual tratar, entre outros temas, o das equações diferenciais, sejam ordinárias ou às derivadas parciais.

EQUAÇÕES ÀS DIFERENÇAS ORDINÁRIAS LINEARES

Na disciplina de Análise Matemática, em geral no final do segundo semestre do primeiro ano dos cursos de licenciatura em Economia, Gestão e Engenharia, é usual tratar, entre outros temas, o das equações às diferenças, quase sempre apenas ordinárias.

Importância da Programação Linear na Determinação de Informações de Gestão - Caso Moave, Sa

A Investigação Operacional vem demonstrando ser uma valiosa ferramenta de gestão nos dias de hoje em que se vive num mercado cada vez mais competitivo. Através da Programação Linear pode-se reproduzir matematicamente um problema de maximização dos resultados ou minimização dos custos de produção com o propósito de auxiliar os gestores na tomada de decisão. A Programação Linear é um método matemático em que a função objectivo e as restrições assumem características lineares, com diversas aplicações no controlo de gestão, envolvendo normalmente problemas de utilização dos recursos disponíveis sujeitos a limitações impostas pelo processo produtivo ou pelo mercado. O objectivo geral deste trabalho é o de propor um modelo de Programação Linear para a programação ou produção e alocação de recursos necessários. Optimizar uma quantidade física designada função objectivo, tendo em conta um conjunto de condicionalismos endógenas às actividades em gestão. O objectivo crucial é dispor um modelo de apoio à gestão contribuindo assim para afectação eficiente de recursos escassos à disposição da unidade económica. Com o trabalho desenvolvido ficou patente a importância da abordagem quantitativa como recurso imprescindível de apoio ao processo de decisão. The operational research has proven to be a valuable management tool today we live in an increasingly competitive market. Through Linear Programming can be mathematically reproduce a problem of maximizing performance or minimizing production costs in order to assist managers in decision making. The Linear Programming is a mathematical method in which the objective function and constraints are linear features, with several applications in the control of management, usually involving problems of resource use are available subject to limitations imposed by the production process or the market. The overall objective of this work is to propose a Linear Programming model for scheduling or production and allocation of necessary resources. Optimizing a physical quantity called the objective function, given a set of endogenous constraints on management thus contributing to efficient allocation of scarce resources available to the economic unit. With the work has demonstrated the importance of the quantitative approach as essential resource to support the decision process.

Caracterização das Comunidades Coralinas da Zona Norte de São Vicente

Os ecossistemas coralinos possuem grande importância ecológica, assim como são cruciais para a cultura, e desenvolvimento socio-económico de um grande número de países com ecossistemas costeiros. Em Cabo Verde os corais ou comunidades relacionadas são pouco conhecidos por conseguinte não se conhece a dimensão da sua importância ecológica e socio-económica. Este estudo, enquadrado no Trabalho Final do Curso de Bacharelato em Biologia Marinha e Pescas ministrado no ISECMAR, tem por objectivos a caracterização das comunidades coralinas das zonas de Salamansa e Baía das Gatas (zona balnear e Farol) bem como a avaliação das actividades antropogénicas nessas zonas. Uma descrição preliminar das zonas foi efectuada, seguida da aplicação de métodos de estimativa de cobertura bentonica, e de censo de peixes e invertebrados. Ainda se efectuou a medição de parâmetros ambientais como sedimentos em suspensão e temperatura. As percentagens de cobertura, e os índices de diversidade e riqueza para cada praia foram calculadas; adicionalmente se efectuaram Análises Cluster para visualização de eventuais semelhanças entre as zonas. Durante 32 horas de mergulho correspondentes a 2000 m de transectos, se identificaram cerca de 50 espécies de peixes, corais e outros invertebrados. Na zona balnear da Baía foi registrada o maior nível de impacto antropogénico geral, enquanto que, na zona de Salamansa se registraram os maiores índices de diversidade. Conclui-se que as comunidades estudadas possuem várias espécies com importância ecológica e comercial. Recomendam-se estudos socio-económicos e ecológicos para se aprofundar os conhecimentos nesses ecossistemas de forma a propor medidas de gestão e conservação eficientes. Recomendam-se também estudos similares a este mas com mais abrangência temporal e espacial de forma a seguir a evolução da biodiversidade das comunidades coralinas no tempo e em outras áreas geográficas significativas em termos de corais em Cabo Verde.

Criptografia de Chave Pública com Base em Códigos

Este trabalho de dissertação foca o sistema criptográfico de McEliece. Este é um sistema criptográfico de chave pública que tira partido do facto do problema de descodificação de um código linear geral ser NP-completo. Mais especificamente, este sistema criptográfico usa um código de Goppa sobre um corpo finito como chave privada, para o qual existe um algoritmo de descodificação eficiente, e um código linear geral, derivado do código Goppa anterior, como chave pública. Assim, neste trabalho, começa-se por analisar alguns resultados sobre corpos finitos, necessários ao longo desta dissertação. Posteriormente, estudam-se os códigos lineares sobre corpos finitos, em particular os códigos de Goppa, apresentando-se um algoritmo de descodificação para estes códigos. Em seguida, é apresentada uma descrição detalhada do sistema criptográfico de McEliece e são analisados alguns ataques a este sistema criptográfico. Por fim, é ainda analisada a sua aplicação na segurança de assinaturas digitais.

Otimização Não Linear de Mínimos Quadrados

O problema de otimização de mínimos quadrados e apresentado como uma classe importante de problemas de minimização sem restrições. A importância dessa classe de problemas deriva das bem conhecidas aplicações a estimação de parâmetros no contexto das analises de regressão e de resolução de sistemas de equações não lineares. Apresenta-se uma revisão dos métodos de otimização de mínimos quadrados lineares e de algumas técnicas conhecidas de linearização. Faz-se um estudo dos principais métodos de gradiente usados para problemas não lineares gerais: Métodos de Newton e suas modificações incluindo os métodos Quasi-Newton mais usados (DFP e BFGS). Introduzem-se depois métodos específicos de gradiente para problemas de mínimos quadrados: Gauss-Newton e Levenberg-Larquardt. Apresenta-se uma variedade de exemplos selecionados na literatura para testar os diferentes métodos usando rotinas MATLAB. Faz-se uma an alise comparativa dos algoritmos baseados nesses ensaios computacionais que exibem as vantagens e desvantagens dos diferentes métodos.

Plataforma Off-shore com Turbina Eólica Simulação e Controlo

O objetivo deste trabalho é o de simular e controlar a plataforma de um aerogerador flutuante. Este aerogerador flutuante consiste numa plataforma do tipo semi-submersível, nomeadamente o DeepCwind acoplado a um aerogerador de 5 MW, mais especificamente o NREL offshore 5-MW baseline wind turbine. Descreve-se o modelo físico do aerogerador flutuante, a formulação teórica a ele subjacente, bem como a caraterização dos diferentes estados do vento e do mar utilizados para simulação. O modelo não linear do aerogerador flutuante foi simulado, utilizando o FAST como emulador do aerogerador flutuante, para condições ambientais determinísticas, por forma a compreender a dinâmica associada à plataforma. Modelos lineares foram obtidos, por linearização do modelo não linear, aplicando técnicas de identificação de sistemas e utilizando o módulo de linearização do simulador FAST. Estes modelos foram posteriormente comparados, utilizando um único modelo para síntese de controladores. Controladores esses, desenvolvidos com base num modelo linear simplificado que consiste no pitch da plataforma, transformando o problema global da plataforma num problema bidimensional. Projetou-se um controlador proporcional-integral-derivativo (PID) e um controlador em espaço de estados por colocação de pólos. A simulação do modelo não linear, com o controlo do pitch da plataforma, para diferentes condições ambientais, demonstrou o bom desempenho dos controladores. Foi possível com ambos os controladores garantir os requisitos do sistema controlado, em que se exigia que se evitasse ressonâncias e em que o pitch da plataforma fosse nulo, por forma a garantir a perpendicularidade do plano das pás (plano do rotor) do aerogerador em relação à direção do vento.

Gestão Optimizada das Águas Subterrâneas

A procura de água, a todos os níveis, tem vindo a originar exploração inadequada e aumento da escassez dos recursos hídricos bem como graves problemas de poluição. As águas superficiais são as mais afectadas, consequentemente, há um maior recurso às águas subterrâneas, começando estas, também a ser afectadas por aqueles problemas. Por estes factos, torna-se necessária uma exploração adequada e planeada destes recursos. Esta dissertação se insere precisamente no âmbito do planeamento e gestão das águas subterrâneas. Sistemas de águas subterrâneas são sujeitas a várias incertezas. No futuro diferentes cenários podem ocorrer dependendo das variações demográficas, ambientais e tecnológicas. A incerteza considerada neste trabalho é a variação na solicitação na procura de água. Assim, a aplicação do modelo de optimização robusta visa encontrar soluções fiáveis em qualquer cenário provável. A presente dissertação propõe-se resolver três problemas a minimização da soma das alturas de elevação, a minimização do custo de extracção de um dado caudal considerando uma abordagem determinística e a minimização do custo de extracção de um dado caudal utilizando uma abordagem robusta de um problema hipotético de planeamento e gestão referente ao aquífero de Palmela. Os problemas são resolvidos utilizando uma das técnicas de optimização o Software GAMS/MINOS. O GAMS/MINOS é concebido para resolver problemas de características lineares e não lineares em que facilmente é encontrado o óptimo local.

PREVISÃO DA ENERGIA EÓLICA - SANTIAGO - CABO VERDE

Neste trabalho procura-se utilizar modelos de previsão de séries temporais para prever a produção da energia elétrica a partir da energia eólica em Cabo Verde, particularmente na ilha de Santiago. É um problema que tem recebido especial atenção dos pesquisadores nos últimos anos. Prever o futuro, e em especial o comportamento de séries temporais, é fundamental em análises e apoio à tomada de decisões, e continua sendo um desafio para a estatística e para computação. Foram utilizados modelos, Holt-Winters, ARIMA e redes neuronais artificiais, Função de Base Radial (RNAs-RBF) e Perceptron de múltiplas camadas (RNAs- MLP). O modelo Holt-Winters é um modelo de previsão exponencial, conhecido por lidar com elementos de tendência e sazonalidade de uma série temporal. O modelo ARIMA que possui apenas uma variável, descreve o comportamento de uma variável em termos de seus valores passados. As redes neurais têm-se mostrado grandes ferramentas na aplicação de previsões de séries temporais. Neste contexto, neste trabalho propõe-se a realização de uma análise comparativa desses modelos não-lineares para a previsão, tentando encontrar qual o modelo que melhor se adapta à série temporal. Todo o trabalho foi realizado com recurso ao programa estatístico R versão 3.0.1 (2013-05- 16)

Análise de Dados de Desemprego em Cabo Verde

Este trabalho baseia-se na análise de dados do desemprego em Cabo Verde nos anos de 2006 e 2008, usando informação da base de dados do INE e IEFP. Partindo da análise dos dados em estudo vai-se procurar descrever e perspectivar metodologias que contemplam as variáveis qualitativas e quantitativas com significado social positivo para a sociedade deste país. Após a introdução no capítulo 1, fez-se, no capítulo 2, a análise exploratória dos dados do desemprego em Cabo Verde referente aos anos 2006 e 2008. No capítulo 3 estudam-se associações entre variáveis, usando a metodologia de tabelas contingência, através da realização de testes de independência e testes de homogeneidade, e análise de medidas de associação. As variáveis usadas, vão ser essencialmente, o escalão etário, o género e o ano. O capítulo 4 é dedicado ao estudo de modelos Log - lineares em tabela de contingência, finalizando-se o trabalho com a apresentação das principais conclusões.