Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Luz e arquitectura do espaço no filme. Imagem, memória e emoção na década da mente

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciências da Comunicação, Especialidade de Cinema

BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

A sombra do desenho

Dissertação de Mestrado em Filosofia - Estética

Compreensão e produção de orações relativas por crianças com perturbação específica do desenvolvimento da linguagem

Dissertação apresentada 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

Análise de itens sintácticos em provas de avaliação da linguagem - Relevância para identificação de perturbação específica do desenvolvimento

Dissertação apresentada 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

Compreensão e produção de interrogativas parciais em crianças do português europeu com perturbação específica do desenvolvimento da linguagem

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento e Perturbações da Linguagem na Crianças, área de especialização em Terapia da Fala

Comportamento, Cognição e Linguagem: Contribuição da Fenomenologia Biológica para o Estudo das Relações Corpo-Mente

Um dos desafios mais importantes para as ciências humanas e particularmente para a educação consiste na compreensão das relações entre o comportamento, a cognição e a linguagem. O presente artigo apresenta uma concepção encorporada da cognição e da linguagem a partir da etologia humana. Baseando-se nas ideias da fenomenologia biológica sobre a intencionalidade, apresentam-se algumas das condições para o acesso científico às relações corpo-mente.

Transformando a água em sangue: uma análise sobre a exportação evangélica brasileira através das perfomances da IPDA

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Antropologia.

Linguagem intermédia tipificada para concorrência em memória partilhada

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

Uma linguagem de domínio específico para AO

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

O contextualismo na filosofia da linguagem contemporânea

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filosofia

Desenvolvimento de programa em linguagem Matlab® para cálculo pelo método de elementos finitos

Para o projeto de qualquer estrutura existente (edifícios, pontes, veículos, máquinas, etc.) é necessário conhecer as condições de carga, geometria e comportamento de todas as suas partes, assim como respeitar as normativas em vigor nos países nos quais a estrutura será aplicada. A primeira parte de qualquer projeto nesta área passa pela fase da análise estrutural, onde são calculadas todas as interações e efeitos de cargas sobre as estruturas físicas e os seus componentes de maneira a verificar a aptidão da estrutura para o seu uso. Inicialmente parte-se de uma estrutura de geometria simplificada, pondo de parte os elementos físicos irrelevantes (elementos de fixação, revestimentos, etc.) de maneira a simplificar o cálculo de estruturas complexas e, em função dos resultados obtidos da análise estrutural, melhorar a estrutura se necessário. A análise por elementos finitos é a ferramenta principal durante esta primeira fase do projeto. E atualmente, devido às exigências do mercado, é imprescindível o suporte computorizado de maneira a agilizar esta fase do projeto. Existe para esta finalidade uma vasta gama de programas que permitem realizar tarefas que passam pelo desenho de estruturas, análise estática de cargas, análise dinâmica e vibrações, visualização do comportamento físico (deformações) em tempo real, que permitem a otimização da estrutura em análise. Porém, estes programas demostram uma certa complexidade durante a introdução dos parâmetros, levando muitas vezes a resultados errados. Assim sendo, é essencial para o projetista ter uma ferramenta fiável e simples de usar que possa ser usada para fins de projeto de estruturas e otimização. Sobre esta base nasce este projeto tese onde se elaborou um programa com interface gráfica no ambiente Matlab® para a análise de estruturas por elementos finitos, com elementos do tipo Barra e Viga, quer em 2D ou 3D. Este programa permite definir a estrutura por meio de coordenadas, introdução de forma rápida e clara, propriedades mecânicas dos elementos, condições fronteira e cargas a aplicar. Como resultados devolve ao utilizador as reações, deformações e distribuição de tensões nos elementos quer em forma tabular quer em representação gráfica sobre a estrutura em análise. Existe ainda a possibilidade de importação de dados e exportação dos resultados em ficheiros XLS e XLSX, de maneira a facilitar a gestão de informação. Foram realizados diferentes testes e análises de estruturas de forma a validar os resultados do programa e a sua integridade. Os resultados foram todos satisfatórios e convergem para os resultados de outros programas, publicados em livros, e para cálculo a mão feitos pelo autor.

Estratégia de avaliação do risco de lesões músculo-esqueléticas de membros superiores ligadas ao trabalho aplicada na indústria de abate e desmancha de carne em P

RESUMO - Objectivo: As lesões músculo-esqueléticas ligadas ao trabalho (LMELT) são doenças profissionais frequentes. Neste estudo ensaiou-se uma estratégia de diagnóstico do risco e de vigilância da saúde dos trabalhadores numa empresa de abate e desmancha de carne. Métodos: Utilizou-se uma estratégia de obtenção de informação em todos os postos de trabalho e trabalhadores da empresa. Utilizaram-se: (i) adaptação do Questionário Nórdico Músculo-Esquelético, incluindo caracterização da exposição biomecânica; (ii) protocolo de avaliação clínica de LMELT; (iii) filtro RSI e método Strain Index; (iv) instrumentação, como electrogoniometria e sensores de força em postos de risco elevado. Resultados: Identificou-se a presença de sintomas e sinais de LMELT principalmente nos punhos/mãos (n=27) e região lombo-sagrada (n=32), uma importante prevalência de casos relacionados com a actividade de trabalho (30%) e níveis de risco elevados com base nas classificações do Strain Index (n=26 MSDto e n=7 MSEsq). A utilização da instrumentação permitiu obter detalhes da repetitividade, das posturas e dos momentos de aplicação de força, úteis para a intervenção. Conclusões: A prevenção só é possível através da aplicação de programas/estratégias integradas de diagnóstico e gestão do risco de LMELT que sejam eficazes no sentido da intervenção sobre a actividade e as condições de trabalho.--------------------------ABSTRACT – Background: Work-related Musculoskeletal Disorders (WRMSD) are common occupational diseases. The present study aims at examining an integrated perspective of risk assessment and health surveillance at a meatpacking plant. Methods: The strategy adopted was of obtaining information about WRMSDs awareness at all workstations and from all their workers. This was based on: (i) questionnaire application - an adaptation of the Nordic musculoskeletal questionnaire, including a biomechanical item, (ii) WRMSDs clinical protocol (iii) RSI risk filter and Strain Index application, (iv) instrumentation with electrogoniometry and force sensors at previously classified as high risk workstations. Results: WRMSDs signs and symptoms mainly in wrist/hands (n=27) and in lumbar region (n=32) were identified. Results revealed an important prevalence of WRULMSDs associated to meatpacking industry activities (30%) and high risk scores based on Strain Index (n=26 Right UL; n=7 Left UL). Instrumentation showed details of recurrency, of postures and of force, which can be used for intervention. Conclusions: It’s necessary to develop ergonomic strategies and approaches on WRMSDs prevention (risk assessment and manage

Os jogos como facilitadores da aprendizagem da leitura e da escrita de crianças de 4 e 5 anos numa creche portuguesa e numa escola brasileira

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Educação, da área de especialização: Análise e Intervenção em Educação