Inversão estocástica de sísmica 3D post-stack e dados de poço para a caracterização de reservatórios e modelação de propriedades

Dissertação para obtenção do Grau de Mestre em Engenharia Geológica (Georrecursos)

Síntese de algicidas da família da bacilamida e rearranjos de dióximas-1,3 cíclicas com vista a dessimetrização funcional

Dissertação para obtenção do Grau de Doutor em Química Orgânica

Estudo da adsorção de fosfatos em colunas de leito fixo contendo cinzas volantes de biomassa - efeito do TRH e da carga de P

Dissertação para obtenção do Grau de Mestre em Energia e Bioenergia

A OIM. estudo da migração cabo-verdiana em Portugal (Mobilidade e Território)

Relatório submetido ao Programa de Mestrado em Gestão do Território - Área de Desenvolvimento Regional e Local.

Produção e gestão de conteúdos para plataformas online

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Novos Media e Práticas Web

Caracterização experimental do escoamento em torno de vegetação nas margens de rios

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil Construção

Aquisição de morfologia verbal flexional por crianças bilingues e/ou que não têm português como língua materna

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento e Perturbações da Linguagem na Criança – Área de Especialização em Terapia da Fala e Perturbações da Linguagem/Educação e Ensino da Língua

Contributos para a constituição de um Museu Municipal em Figueiró dos Vinhos

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Museologia

Atividade larvicida de taninos isolados de Magonia pubescens St. Hil. (Sapindaceae) sobre Aedes aegypti (Diptera, Culicidae)

Apresenta-se, pela primeira vez, o estudo fitoquímico das frações larvicidas, isoladas da Magonia pubescens, monitorado pelo estudo de eficácia sobre larvas de 3º estádio de Aedes aegypti, na busca de alternativas para o controle desse mosquito e obtenção de estruturas químicas passíveis de aprimoramento da atividade pela via sintética de outros derivados. As frações bioativas foram monitoradas quimicamente através de cromatografia de camada delgada, utilizando como revelador uma solução ácida de vanilina, e analisadas por ressonância magnética nuclear de hidrogênio e espectrometria de massas. Os bioensaios com as frações foram realizados em quintuplicata, à temperatura de 28±1ºC, 80±5% de umidade relativa e fotofase de 12 horas. As concentrações letais encontradas da fração MP-9, que apresentou o maior potencial larvicida, CL50 e CL90, foram de 3,1 e 36,6ppm, respectivamente. Todos os experimentos foram acompanhados por uma série controle, contendo o mesmo número de larvas.

A Consciência de Si e o Desespero Inconsciente, segundo Kierkegaard

A tradição cartesiana identificou um conjunto de condições para que se possa dizer que um sujeito está consciente de si. Simultaneamente, procurou a consciência de si num acompanhamento de si ao modo do pensamento. Ora, do ponto de vista de Kierkegaard, os requisitos cartesianos da consciência de si não são cumpridos na concepção de consciência da própria tradição cartesiana. É precisamente isso que se evidencia com a noção de desespero inconsciente. Neste estudo, procura-se determinar em que condições é possível falar de estar consciente de si, segundo Kierkegaard, o que conduzirá a uma multiplicidade paradoxal. Para se compreender o que está em causa estudar-se-á a estrutura sintética e heterogénea do humano. Em última análise, os requisitos da constituição da consciência de si, porque o são do si, só se cumprem numa certa forma de desconhecimento de si que corresponde a uma forma de consciência de si em que nunca se está certo e seguro de si, mas que passa pela decisão na interioridade.

Racionalização do mecanismo de adição de compostos carbonílicos a vinil-mono e di-sulfonas, catalisada por aminas

As sulfonas são conhecidas pelos químicos orgânicos pela sua versatilidade sintética e actividade biológica, nomeadamente os fármacos conhecidos por sulfa drugs, extremamente importantes em química medicinal. As vinil-sulfonas constituem uma sub-família das sulfonas e têm demonstrado ao longo do tempo a sua capacidade de inibir diversos processos enzimáticos, introduzindo propriedades biológicas únicas. Do ponto de vista sintético, o método mais directo para obter estes compostos é via redução dos produtos de adição de Michael a vinil-di-sulfonas, o que não é favorável em termos de economia de átomos. Por outro lado, o mecanismo da reacção de adição de Michael de compostos carbonílicos a vinil-sulfonas tem levantado algumas dúvidas, devido à existência de dois possíveis mecanismos reacionais. O objectivo principal desta dissertação é racionalizar o mecanismo de adição de compostos carbonílicos a vinil-mono e di-sulfonas, recorrendo a estudos teóricos de DFT e experimentais, incluindo RMN. Foram considerados os mecanismos via intermediário enamina e via catálise básica, e através de estudos de RMN foi possível retirar conclusões sobre as velocidades relativas das reacções, bem como meio de comprovar a formação de alguns produtos. Os resultados teóricos obtidos revelam que, para as mono-sulfonas, o mecanismo via enamina é mais favorável energeticamente. No entanto, a existência de reacções competitivas de energia de activação mais baixa não permitem obter o produto desejado. Para eliminar estas reacções, utilizam-se aminas terciárias e a reacção segue um mecanismo via catálise básica. O estudo dos coeficientes da orbital HOMO dos compostos carbonílicos revelou que a localização do enol é um factor determinante para estas reacções. Por outro lado, os resultados obtidos revelaram que as di-sulfonas sendo extremamente reactivas, podem adoptar qualquer um dos caminhos reacionais, em função do catalisador escolhido, e não são sensíveis ao substrato. Neste caso, as reacções competitivas que ocorrem são reversíveis,e o produto de adição conjugada é sempre favorecido. Estudou-se ainda, teoricamente, a reacção de adição a mono-sulfonas de forma intramolecular, que apresenta claramente um mecanismo via enamina, cuja energia de activação é mais baixa que a respectiva adição competitiva.

Simulador de linguagem em texto estruturado para autómato TSX3721

Os controladores lógicos programáveis (PLC) são muito ,e cada vez mais, utilizados na indústria. Este tipo de equipamento, além de ser inerentemente caro, pode causar situações perigosas e perda de produtividade caso sejam incorretamente programados. Existem programas de alguns fabricantes que permitem a simulação de linguagens utilizadas na programação de autómatos (segundo a norma internacional IEC 61131-3), mas uma simulação da linguagem em Texto Estruturado (ST) em particular, é complicada e de difícil acesso. O principal objetivo deste projeto é a realização de um simulador em tempo real, capaz de realizar testes e simulações prévias de código de Texto Estruturado, a testar posteriormente no autómato TSX Micro 3721 da Schneider. É necessário a construção de um compilador e interpretador de linguagens de programação, para realização do simulador e interface gráfica. Os dois sistemas utilizados para gerar as regras formais gramaticais e de produção em linguagens de programação são o Lex e o Yacc. O Lex gera um analisador léxico dividindo o ficheiro de linguagem em texto estruturado em tokens (símbolos significativos). O Yacc, através desses símbolos recebidos, forma as regras de produção e a respetiva estrutura hierárquica do programa. A partir da interpretação desta estrutura gerada é possível traduzir ou compilar qualquer linguagem de programação, neste caso o texto estruturado, e criar um simulador correspondente numa outra linguagem. O simulador recebe o código ST e através de funções definidas pelo sistema de compilação, interpretação e tradução, reconhece as instruções em linguagem de texto estruturado correspondente e realiza o conjunto de ações propostas. Analisando os testes no autómato e os resultados apresentados pela interface, podemos concluir que é possível realizar compiladores e respetivos simuladores, utilizando análises gramaticais das linguagens de programação, em particular, podemos concluir que o simulador para linguagem em Texto Estruturado foi realizado com sucesso.

Levantamento, identificação e classificação de dados para a gestão da manutenção numa empresa industrial

O presente trabalho refere-se à análise de conceitos gerais de manutenção e sua gestão, aplicados a uma indústria de produção de fibra têxtil sintética. Contempla uma primeira fase de organização e segmentação de um registo histórico de dados, para a identificação de equipamentos críticos e o seu impacto a nível capital na instalação industrial, e uma outra fase de caracterização de tipos de avaria comuns para a definição de um plano de acções. Neste contexto o trabalho visa o estudo de um equipamento essencial ao processo produtivo, pois a ocorrência de uma avaria/falha traduz-se na paragem da máquina e consequentemente perda na produção. Partindo dos dados organizados sobre avarias comuns identificam-se as causas raiz, com recurso a diagramas de causa e efeito. Acrescenta-se uma análise dos investimentos necessários para cumprir algumas das acções do plano. A estrutura de dados realizada permite à empresa dispor de uma nova ferramenta de apoio à gestão da manutenção, com vista a uma melhor preparação de trabalhos futuros e consequente aumento da produtividade.

entrante aa noite

Este trabalho pretende, a partir da análise de textos literários e não literários do português antigo, incluídos no Corpus Informatizado do Português Medieval (CLUNL/FCSH-UNL), descrever e interpretar a distribuição sintática e as propriedades do particípio presente no português antigo, verificando semelhanças e diferenças com outras formas não finitas, principalmente o gerúndio. Procurou-se averiguar o que caracteriza as formas de particípio presente do português antigo e do português europeu contemporâneo e o que as distingue de outras formas não finitas do verbo, no que diz respeito aos contextos em que ocorrem, mas também quanto ao seu funcionamento. Assim, analisando mais detalhadamente as orações em que estes particípios ocorrem com função verbal, investigaram-se algumas das suas propriedades internas (legitimação de sujeitos plenos, identificação e legitimação de sujeitos nulos, ordem de palavras), de modo a poder explicar o seu funcionamento e estrutura. No português antigo, as formas de particípio presente tinham características distintas das do português contemporâneo. No português de hoje, as formas terminadas em -nte, subsistem apenas como nomes (estudante, presidente, pedinte) e adjetivos (minguante, cadente, seguinte). O uso verbal destas formas desapareceu, tendo sido substituído por outras formas não finitas, nomeadamente o gerúndio e o infinitivo. Quando ainda mantinha o seu funcionamento verbal, o particípio presente ocorria nos mesmos contextos sintáticos em que encontramos outras formas não finitas, principalmente o gerúndio. Estas duas formas pareciam funcionar como variantes livres, tendo depois o gerúndio substituído a forma participial na maioria dos contextos. A análise dos dados e a comparação efetuada com as formas de gerúndio que ocorrem no mesmo contexto (adjunção adverbial) permitiram concluir que as estruturas com particípio do português se mostram mais defetivas (ocorrem sem conector, não há casos de negação própria e não há particípios presentes compostos) do que as gerundivas. No entanto, essa defetividade não parece dever-se à própria forma de particípio, pois foi possível encontrar particípios presentes como predicados principais.

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.