Projecto e implementação de supervisor inteligente em controladores lógicos programáveis

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Italo Calvino e a matemática: o axiomático e o narrativo na construção simbólica do mundo

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em História e Filosofia da Ciência

Caracterização das actividades pedagógicas promotoras do desenvolvimento das competências visuais que influenciam a iniciação à leitura e à escrita

RESUMO: A presente tese de dissertação de mestrado visa a contribuição para o enriquecimento da organização curricular da Educação Pré-Escolar. Baseia-se num estudo de natureza estatística descritiva, desenvolvido junto de uma amostra de vinte e três Educadores de Infância, dos Jardins de Infância do Concelho de Lourinhã, através da aplicação de um questionário, que procura caracterizar as actividades promotoras de competências visuais, quanto ao grau de importância e de frequência, no que constituem os pré requisitos para a leitura e a escrita. Os resultados sugerem a necessidade de uma maior sistematização dessas actividades e demonstram que um número significativo de actividades são desenvolvidas, neste âmbito, pelos educadores de infância, havendo, no entanto, aspectos considerados lógicos por autores como a Barraga e a Chapman, que não são geralmente considerados. A ênfase das conclusões é colocada, na necessidade de alargar o leque de actividades promotoras dos pré-requisitos para a iniciação à leitura e escrita e às actividades previstas nos Programas Educativos Individuais, para crianças com baixa visão, através da articulação com o docente de educação especial, de forma a que a sua intervenção especializada envolva todos os aspectos considerados fundamentais no treino de visão destas crianças. ABSTRACT: This master’s degree thesis is based on a descriptive statistical study, conducted with a sample of twenty three preschool Teachers working in public kindergartens in Lourinhã, Portugal. The study was based on the results of a questionnaire aimed at contributing to enrich preschool Curricula. The study was based on the scientific knowledge of the precise classroom activities which contribute to develop visual abilities needed for reading and writing. The activities were characterized according to their importance and frequency. The results suggest that these activities should be more planned and more organised. It showed a significant number of activities which are prepared on a regular basis and considered important but, on the other hand; it also showed a significant number of activities which are prepared occasionally. The emphasis of the conclusions is on the fact that the Curricula should include a larger range of activities that promote visual abilities needed for reading and writing and that Individual Educational Programs for low vision children, which include specific activities for vision training, should be built in team with the classroom teacher. In addition, Special Education Teacher’s program should contemplate all the aspects that the Preschool teachers do not, in order to involve all the important aspects for vision training.

Espaços seguros de tuplos partilhados para redes de sensores sem fios

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

Formalização lógica da narrativa e força referencial

A pretensa formalização lógico-gramatical da narrativa (Propp 1928; Todorov 1969; Genette 1972; Bremond 1973; Chatman 1978; Prince 1973 e 1980), que não deixa de estar infectada de psicologismo - terá cometido Antígona, ao enterrar o seu irmão Polineices, em obediência à "lei não escrita" que negava a autoridade positiva do rei Creonte, uma transgressão ou uma restituição! -, passou por alto a sua estmtura referencial. Bremond, que lida com grupos abertos como se estivesse a lidar com grupos fechados, fundamenta a sua tipologia narrativa nos diferentes meios de realização de processos de mediação ou transformação, tratando de formalizar "le réseau complet des options logiquement offertes à un narrateur, pour continuer Thistoire commencée" (1973: 8), conquanto tal formalização, ao depender de um grupo aberto de variáveis livres, não possa ser devidamente estmturada. Acresce que os processos de melhoramento ou de empioramento apontados por Bremond não nos parecem corresponder a paradigmas estritamente lógicos, e consequentemente abstractos, das situações narrativas. Trata-se de paradigmas psicológicos e culturais convencionalmente determinados e, por conseguinte, sumidos na relatividade. E difícil encerrar as opções pragmáticas nos conjuntos fechados exigidos por qualquer tipo de formalização lógica.

Existência e inexistência, uma representação linguística

Ao falar de existência e do que lhe seja correlativo, a inexistência, poderei expor-me a mal- entendidos. Ainda que o faça declaradamente sob um ponto de vista linguístico, diria mesmo poder tratar-se de uma exposição desarmada, não fizesse parte do objectivo central desta comunicação proceder a uma definição destes mesmos conceitos- existência e inexistência - no interior de um quadro teórico muito bem definido : a Teoria de Operações Enunciativas de Antoine Culioli . Esta teoria formal enunciativa apresenta-se como um paradigma descritivo e explicativo próprio. É uma teoria geral das operações que constituem o mecanismo da construção de representação em linguística . Antes de mais, a definição da perspectiva que orienta esta proposta de análise linguística exige uma clara demarcação de qualquer perspectiva lógico-filosófica. O conceito de existência veio a adquirir uma importância central num conjunto alargado de reflexões provenientes de horizontes filosóficos e lógicos muito distintos.

Laboratório remoto de automação industrial (Lab-RAI)

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

O regime dialógico na obra de João César Monteiro: matérias e conteúdos de uma prática subversiva

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciências da Comunicação - Comunicação e Linguagem

Adaptação de brinquedos para crianças com multideficiências

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Enraizamento e cosmopolitismo: contributo para uma análise da recomposição urbana

Abordaremos a cidade na perspectiva que considera a coexistência de diferentes “modos de espacialização”. 1. Começaremos por uma aproximação a três dimensões – social, cultural e espacial – seguida da elaboração de dois dispositivos conceptuais – de enraizamento e de cosmopolitismo - que permitem trabalhar, em conjunto, as referidas dimensões. 2. A dimensão espacial será analisada em pormenor com base em dois esquemas lógicos – que consistem numa expansão das oposições Espaço Público/Espaço Privado e Espaço Colectivo/Espaço Individual – articulados com os dois dispositivos já referidos. 3. Estudaremos alguns casos de figura relativos à cidade de Lisboa, reveladores de uma realidade social e espacial complexa, onde se gere a coexistência, sobreposição e articulação de fenómenos de origem diversa, através de uma lógica de reorganização de universos fragmentários.

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.