Linguagem e crueldade : Artaud e Wittgenstein

Com esta dissertação parte-­‐se de uma evolução cronológica do pensamento de Artaud salientando a inequívoca relação entre o autor e a sua obra como uma e a mesma coisa. Artaud procurou sempre uma nova linguagem para o seu teatro, uma linguagem que não tivesse aparência de ficção, que fosse viva. Neste sentido, Wittgenstein emerge nesta relação através das suas considerações acerca da linguagem, espraiando-­‐se num sentido mais amplo, a própria vida. Partimos da análise do próprio pensar para a origem e finalidade da criação artística. Na apologia da apresentação em detrimento da representação as palavras parecem ser insuficientes e parte-­‐se na busca de uma linguagem sólida, física, que culmina no corpo-­‐sem-­‐órgãos, conceito desenvolvido por Deleuze. Do corpo liberto, em acção, surge-­‐nos agora a palavra-­‐sem-­‐órgãos, pautada por uma revolução da sintaxe e da gramática; é a linguagem mutável e viva que renasce. Através de Wittgenstein procura-­‐se o sentido desta linguagem e a sua receptividade. É nesta íntima relação entre a ética e a estética, na lucidez, na determinação e no rigor com que ambos os autores abordam a linguagem enquanto vida, que vemos espelhada a crueldade, essa força inelutável de viver sempre mais.

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.

Definição e execução de computações dinâmicas numa linguagem de programação orientada-a-serviços

Os serviços inicialmente idealizados para o mundo dos negócios, têm actualmente um espectro de utilização muito mais lato, facilitando assim a incorporação de software do exterior, sob a representação de serviço, por parte das aplicações. Os principais contribuidores para a emergente utilização de serviços são a proliferação dos dispositivos móveis, a crescente popularidade da computação da nuvem e a ubiquidade da Internet. Apesar deste estado da arte, a abstracção dos serviços continua, maioritariamente, a ser relegada para a camada do middleware. Consequentemente, este confinamento obstem o programador de ter privilégios para interagir com os serviços ao nível da linguagem. A inexistência deste nível de abstracção dificulta o deployment de aplicações dinâmicas. Como medida para tal, o objectivo do nosso trabalho é garantir suporte ao dinamismo e deployment de arquitecturas orientadas a serviços. Com esse propósito, vamos endereçar os problemas de incorporação dos serviços acessíveis pela Web e permitir operações de reconfiguração dos mesmos, nomeadamente, a ligação dinâmica, substituição do fornecedor de serviços e a gestão dinâmica de conjuntos de fornecedores de serviços.

Exploração da linguagem Scala para suporte a aplicações paralelas

Nos anos mais recentes tem sido feita investigação no uso da Programação Orientada a Aspectos no suporte a computação paralela, nomeadamente para conseguir guardar as funcionalidades da mesma em módulos, algo que não é possível quando se utiliza Programação Orientada a Objectos. Um resultado desta investigação foi o desenvolvimento de uma aplicação, o ParJECoLi, desenvolvida usando a linguagem Java e recorrendo ao AspectJ para paralelizar a mesma. No entanto, durante essa mesma investigação, chegou-se à conclusão que o AspectJ apresenta algumas limitações na reutilização de módulos. Tendo em conta isso, surgiu a ideia de estudar uma outra linguagem de programação, conceptualmente diferente da usada na investigação. A linguagem Scala é conhecida por ter uma capacidade de composição modular flexível. Como tal parece interessante entender até que ponto é capaz de substituir AspectJ no suporte modular à computação paralela. Este projecto pretende aferir essa capacidade. Neste contexto, pretende-se usar o ParJECoLi como caso de estudo para dirigir comparações entre Scala e AspectJ.

Recensão: José Gil, A Arte como Linguagem – A “última lição”

Recensão de: José Gil, Arte como Linguagem – A “última lição”

Contextos formais de educação e desenvolvimento da criança: contributos para a educação pré-escolar

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

A metáfora, a analogia e a construção do conhecimento científico no ensino e na aprendizagem

Tese de doutoramento em Ciências da Educação: área da Didáctica das Ciências

Feyerabend

É objectivo desta dissertação sobre Teoria e Incomensurabilidade em Feyerabend, aprofundar o conhecimento da problemática, da interpretação de teorias científicas e o contexto da sua emergência e configuração, tal como é dada a ler nos primeiros ensaios. Consideraram-se para o efeito, relevantes, sobretudo, as fontes primárias, em que tal temática é avaliada. O primeiro capítulo estrutura-se a partir de Realism and Historicity of Knowledge, escrito a pensar em Bohr, porque este ensaio, embora posterior, sintetiza os problemas que se levantam às tradições abstractas quando procuram acomodar o progresso científico, esquecendo a história. Assinalámos assim o fundo de tensão de que emerge o problema da avaliação do potencial heurístico das teorias científicas. Mobilizámos Knowledge without Foundations, por parecer incontornável a matriz popperiana da recusa fundacionalista que nesse período projectava, e Wittgenstein's Philosophical Investigations por levantar os problemas da pragmática do saber científico a partir da discussão dos jogos de linguagem e dos seus lances, porque os considerámos estruturantes. No segundo capítulo procurámos desenvolver o tema da incomensurabilidade entre teorias não instanciais sucessivas mobilizando para o efeito os ensaios onde nos pareceu ser dominante a análise e a perspectivação histórica do debate dialéctico (positivismo/realismo) acerca dos problemas decorrentes das interacções entre teoria e experiência, teoria e observação, teoria e linguagem corrente e teoria e prática científica como é o caso em Attempt at a Realistic Interpretation of Experience, em que avança a Tese I e expõe o irrealismo da tese da estabilidade e a irrelevância das mudanças no emprego de termos científicos na linguagem corrente, por força de mutações ocorridas na supra estrutura teórica. Desenvolvemos também a partir de Explanation, Reduction and Empiricism, os problemas e as dificuldades da interpretação de teorias científicas decorrentes da pretensão ortodoxa de justificação formal de redução e explicação de teorias gerais, desenvolvida quer na teoria da redução de Nagel, quer na teoria da explicação de Hempel e Oppenheim . Encerramos o capítulo com o problemas da testabilidade de teorias científicas e a solução que a adopção, quer do princípio da proliferação, quer de alternativas fortes, introduziria. O terceiro capítulo enfatiza, para lá dos consensos partilhados e das diferenças assumidas, a importância das contribuições de Feyerabend, Kuhn e Lakatos para a problematização das teses do neopositivismo, do racionalismo crítico e do falsificacionismo na história e filosofia da ciência.

Extraction automatique d´associations lexicales à partir de corpora

The automatic acquisition of lexical associations from corpora is a crucial issue for Natural Language Processing. A lexical association is a recurrent combination of words that co-occur together more often than expected by chance in a given domain. In fact, lexical associations define linguistic phenomena such as idiomes, collocations or compound words. Due to the fact that the sense of a lexical association is not compositionnal, their identification is fundamental for the realization of analysis and synthesis that take into account all the subtilities of the language. In this report, we introduce a new statistically-based architecture that extracts from naturally occurring texts contiguous and non contiguous. For that purpose, three new concepts have been defined : the positional N-gram models, the Mutual Expectation and the GenLocalMaxs algorithm. Thus, the initial text is fisrtly transformed in a set of positionnal N-grams i.e ordered vectors of simple lexical units. Then, an association measure, the Mutual Expectation, evaluates the degree of cohesion of each positional N-grams based on the identification of local maximum values of Mutual Expectation. Great efforts have also been carried out to evaluate our metodology. For that purpose, we have proposed the normalisation of five well-known association measures and shown that both the Mutual Expectation and the GenLocalMaxs algorithm evidence significant improvements comparing to existent metodologies.

Plataforma para testes de conformidade de sistemas baseados em módulos conceptuais STEP

Obtenção do grau de Mestre em Engenharia Electrotécnica, Sistemas e Computadores

Extracção automática de informação e conhecimento em textos no âmbito B2B

Dissertação de Mestrado em Engenharia Informática

O ensino da Física em Portugal na sequência da reforma de 1947

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Física Laboratorial, Ensino e História da Física

Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Simulação da profundidade de campo

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