Modelação de interfaces gráficas no âmbito do ProjectIT

Orientador: Alberto Manuel Rodrigues da Silva

MetaSketch OCL Interpreter

No contexto das tecnologias propostas pela OMG, o MOF é utilizado para definir a sintaxe de linguagens de modelação, contudo, os aspectos semânticos não podem ser capturados usando esta linguagem. A descrição dos aspectos não sintácticos é realizada com recurso à linguagem OCL. Consequentemente, para uma completa definição de uma linguagem de modelação é necessário incorporar o OCL no MOF, criando uma infra-estrutura que possui a expressividade necessária para realizar esta função. Este projecto visa complementar a ferramenta de metamodelação MetaSketch Editor, introduzindo a capacidade de executar expressões em OCL e permitindo, desta forma, a verificação semântica dos modelos construídos usando o MetaSketch Editor. A gramática da linguagem OCL adoptada está de acordo com a especificação elaborada pela OMG (2006-05-01), juntando-se algumas contribuições de trabalhos existentes sobre esta linguagem. O projecto envolveu a implementação de um parser com recurso ao sistema GOLD Parser, a implementação da standard library do OCL em C# e, por último, a implementação de uma estratégia de execução das expressões em OCL.

A outra face dos modelos: técnicas de visualização para explorar modelos

Os modelos são tradicionalmente utilizados na engenharia de software para documentar aspetos do desenho e, em alguns casos, como base para a geração de parte ou a totalidade dos sistemas informáticos que descrevem. Embora subsista o debate sobre este tipo de abordagens e sobre o papel e qualidades que os modelos devem possuir nesta área de engenharia, a existência de modelos que estejam em conformidade com linguagens de modelação bem definidas permite outro tipo de utilizações que vão além das anteriormente referidas. Assente no conhecimento existente sobre a visualização de dados, nesta dissertação irá ser demonstrado a utilização de técnicas de visualização que permitem extrair informação sobre os modelos numa perspetiva inovadora e que contribui favoravelmente para uma melhor compreensão, análise e validação dos mesmos.

As linguagens do medo : suas configurações na contemporaneidade

Este trabalho tem o objetivo de descrever as fisionomias que o medo adquire no cenário contemporâneo. A partir de uma perspectiva não-essencialista, de inspiração historicista. O medo é abarcado como um termo polissêmico, adquirindo assim diferentes faces de acordo com o contexto histórico-cultural em que emerge. Embora esteja entre as emoções consideradas básicas no homem, o medo é tomado aqui como uma emoção que é também socialmente construída (Solomon, 1995, Costa, 1998). A análise vincula o medo ao processo de subjetivação do indivíduo, caracterizando, assim, as transformações por que passou ao longo da história. Estudamos como o medo passou por um processo de internalização, e na atualidade pode ser descrito a partir de algumas configurações características: o medo patologizado, como na chamada síndrome do pânico e as precauções em torno da segurança pessoal. Constatamos assim, diferenças nas formas de pensar e experienciar o medo, sinalizando sentidos diversos que a palavra pode ter. Propomos pensar o medo a partir de um par em que se opõem medo x coragem, predominantemente em um contexto da antiguidade, principalmente, em contraste com um par que reflete a atualidade, pensada em torno do binômio medo x segurança. Tais modalidades de medo são associadas ao chamado mal-estar contemporâneo, relacionados aos traços da cultura em que vivemos.

Interpretações de linguagens artísticas em Gerd Bornheim

Este estudo propõe uma leitura histórico-cultural das interpretações de Gerd Bornheim (1929-2002), destacando a temática da linguagem, sobretudo das linguagens artísticas. A partir dessas expressões, as colocações críticas de Bornheim a respeito da estética e filosofia da arte apresentam um panorama dos questionamentos. Nesse sentido, são notáveis em seus trabalhos as reflexões sobre o teatro e a música. A linguagem teatral permite o acesso às outras atividades artísticas (poesia, música, artes plásticas, cinema) de forma livre e aberta. A linguagem musical, em consonância com a teatral, corrobora a pesquisa de Bornheim, que observou o processo criativo, a comunicação, o papel da interpretação (advento da crítica) e as rupturas nas poéticas contemporâneas. Tal itinerário sublinha a pesquisa que Bornheim realizou na França nas décadas de 1950 e 1960-70. O estímulo dessa atmosfera, marcada pelo diálogo entre filosofia, ciências sociais, psicologia, psicanálise, história, antropologia, linguística, comunicação, teatro e música foi decisivo para ele. Esses pontos são importantes para a apreensão do tema da linguagem e sua ambiência histórica, na qual Bornheim revela outras perspectivas de pesquisa. O pano de fundo é a crise da metafísica e os novos parâmetros para se pensar a dialética, a teoria e a prática. O diagnóstico de tal crise estende-se também à estética. Por conseguinte, o entendimento das ideias de Bornheim conduz aos temas da diferença e alteridade na contemporaneidade. Com isso, persegue-se um percurso temático que aborda: a linguagem e o problema da comunicação a partir da ligação das interpretações de Bornheim com as de Sartre e Merleau-Ponty. Além disso, o surgimento da crítica e os questionamentos da normatividade ética e estética levam à discussão das motivações coincidentes entre artes e ciências. Por fim, a linguagem musical enfatiza ainda o processo de transformação da subjetividade, que propicia uma percepção mais ampla das expressões artísticas e culturais.

O cruzamento de linguagens e o espaço biográfico na obra de Lourenço Mutarelli

Esta dissertação analisa as obras do autor, quadrinista, teatrólogo e ator Lourenço Mutarelli, principalmente, os romances O cheiro do ralo, O natimorto, Jesus Kid e as narrativas gráficas Caixa de Areia, Mundo Pet, Réquiem e Quando meu pai encontrou o e.t. fazia um dia quente, a partir de duas perspectivas presentes na escrita contemporânea: o hibridismo entre diversas linguagens e os novos modos da escrita de si. Quanto ao primeiro aspecto, privilegia-se o dialogismo entre cinema e literatura, com importantes questionamentos e discussões acerca de quanto a literatura, por ser a obra original, é de fato superior em relação à sétima arte. A fim de analisar algumas questões essenciais que advêm da intertextualidade entre cinema e literatura − como originalidade, hierarquia e fidelidade −, este trabalho propõe abordagens que buscam explicitar que, ao se adaptar um texto literário, o cinema cria uma outra obra, híbrida, dotada de novas perspectivas, já contextualizadas no momento presente ao da adaptação, ou seja, trazendo para o texto literário um olhar suplementar, a partir de experiências, ideias e vivências do diretor. Em relação à segunda tendência observada na atualidade, a exposição da intimidade através de diferentes meios − blogs, portais da internet, reality shows, entre outros − vem alterando a forma de o autor lidar com a própria obra e com o público leitor. O escritor parece criar uma persona, tornando-se, muitas vezes, personagem de seu texto e fazendo uso da autoficção, com a mescla de elementos biográficos e ficcionais. Essa nova forma de escrita de si para além dos tradicionais diários, cartas e autobiografias resgata o autor da morte anunciada por Barthes e o traz novamente como objeto de análise do texto literário

Construção e preparação da exploração de tarefas de modelação matemática em estatística: uma experiência no ensino profissional

Descrição e análise de projeto de construção e preparação da exploração de tarefas de modelação matemática em estatística: uma experiência no ensino profissional.

A visão holística do turismo e a sua modelação

A presente investigação concretiza a abordagem holística ao fenómeno do turismo interno, abordando aspectos conceptuais sobre o seu âmbito e dificuldades de medição. Por outro lado, equaciona o papel que esta forma de turismo pode representar, não só em termos de adequação às dinâmicas e às perspectivas que enquadram as actividades turísticas em geral, como também em relação aos efeitos que pode gerar nos domínios económico, social, cultural, ambiental e territorial. A pesquisa engloba igualmente a análise empírica de dados que permitiu caracterizar as particularidades do turismo interno no plano internacional e no caso específico de Portugal, bem como o reconhecimento do seu carácter estratégico. Perante esta última realidade materializou-se a criação de um modelo empírico de desenvolvimento do turismo interno, o qual referencia, numa primeira fase, a estrutura e as componentes sistémicas, para concluir com a referência ao quadro conceptual de organização do planeamento estratégico e a sua consequente aplicação à realidade portuguesa.

Alguns aspectos da modelação ecológica na costa portuguesa (Aveiro) : efeitos físicos na distribuição de nutrientes e biomassa fitoplanctónica

O presente trabalho propõe estudar alguns aspectos da modelação ecológica na Costa Portuguesa, nomeadamente o efeito físico na distribuição de nutrientes e biomassa fitoplanctónica. O principal propósito foi implementar e validar um modelo acoplado tridimensional físico e ecológico, para a costa portuguesa, e aplicá-lo numa área limitada, a norte, por Vila do Conde e a sul pela Figueira da Foz centrada na região de Aveiro, para estudar a distribuição, vertical e horizontal, de temperatura, nutrientes e biomassa fitoplanctónica. A região em estudo está situada na costa oeste da Península Ibérica e faz parte da Região de Afloramento do Atlântico Norte. É caracterizada por condições meteorológicas onde a predominância e prevalência, durante uma grande parte do ano, de ventos de norte/noroeste, constitui um dos principais elementos forçadores do transporte para o largo das águas costeiras e consequente subida das águas mais frias e profundas, ricas em nutrientes. A estas condições juntam-se as boas condições de luminosidade e temperatura essenciais ao desenvolvimento fitoplanctónico, que servirá de alimento às espécies marinhas. Este facto, torna esta região, uma zona de elevada riqueza biológica favorável ao desenvolvimento de várias espécies marinhas, transformando este local num ecossistema de forte produtividade. O modelo foi calibrado e validado para a área em estudo e simulou com sucesso, a resposta do sistema à situação de ventos favoráveis ao afloramento costeiro para a região em estudo. Quando comparada com dados observados, os resultados mostram que o modelo é capaz de prever satisfatoriamente as distribuições superficiais e na coluna de água: da temperatura, dos nutrientes, do oxigénio e da clorofila-a. Os resultados evidenciam o crucial papel desempenhado pelos processos físicos no aumento de fitoplâncton que ocorre ao longo de uma estreita área da costa norte portuguesa, mostrando a estreita ligação entre a distribuição costeira de fitoplâncton e a distribuição costeira de temperatura, à superfície. A produtividade do fitoplâncton que ocorre nas águas costeiras não só é atribuída à disponibilidade de nutrientes mas também à intensidade luminosa. A luz e a intensidade dos ventos de norte/noroeste são os factores chave no controlo dos blooms de fitoplâncton observados nesta região de afloramento, sobretudo no Verão, nomeadamente na camada de mistura pouco profunda e junto à nutriclina. Deste modo os modelos numéricos em associação com dados in situ e imagens de satélite poderão ser considerados uma excelente ferramenta para a análise e previsão de cenários, presentes e futuros, de acções praticadas sobre o meio ambiente.

Modelação molecular de associações entre aniões e receptores sintéticos

A aplicação de simulações de mecânica e dinâmica molecular ao estudo de sistemas supramoleculares tem adquirido, ao longo dos últimos anos, enorme relevância. A sua utilização não só tem levado a uma melhor compreensão dos mecanismos de formação desses mesmos sistemas, como também tem fornecido um meio para o desenvolvimento de novas arquitecturas supramoleculares. Nesta tese são descritos os trabalhos de mecânica e dinâmica molecular desenvolvidos no âmbito do estudo de associações supramoleculares entre aniões e receptores sintéticos do tipo [2]catenano, [2]rotaxano e pseudorotaxano. São ainda estudados complexos supramoleculares envolvendo receptores heteroditópicos do tipo calix[4]diquinona e pares iónicos formados por aniões halogeneto e catiões alcalinos e amónio. Os estudos aqui apresentados assentam essencialmente em duas vertentes: no estudo das propriedades dinâmicas em solução dos vários complexos supramoleculares considerados e no cálculo das energias livres de Gibbs de associação relativas dos vários iões aos receptores sintéticos. As metodologias utilizadas passaram por dinâmica molecular convencional e REMD (Replica Exchange Molecular Dynamics), para o estudo das propriedades em solução, e por cálculos de integração termodinâmica e MMPBSA (Molecular Mechanics – Poisson Boltzmann Surface Area), para a computação das energias livres de associação relativas. Os resultados obtidos, além de terem permitido uma visão mais detalhada dos mecanismos envolvidos no reconhecimento e associação dos vários receptores aos aniões e pares iónicos abordados, encontram-se, globalmente, de acordo com os análogos determinados experimentalmente, validando assim as metodologias empregadas. Em jeito de conclusão, investigou-se ainda a capacidade de um dos receptores heteroditópicos estudados para assistir favoravelmente na migração do par iónico KCl através da interface água-clorofórmio. Para tal, foram utilizadas simulações SMD (Steered Molecular Dynamics) para a computação do perfil de energia livre de Gibbs associada à migração do par iónico através da interface.

Modelação da qualidade do ar e da saúde humana: da mesoescala à dose

O actual, e crescente, padrão de consumo tem repercussões no ambiente que, inevitavelmente, se reflectem na saúde humana. A poluição atmosférica assume-se, na Europa, como um problema ambiental premente, por ter um elevado impacte na saúde dos cidadãos. Entre estes, há grupos particularmente vulneráveis, como os idosos, os doentes crónicos e as crianças. Vários estudos colocam em evidência a sensibilidade dos doentes asmáticos, em particular das crianças, à poluição atmosférica. No entanto, permanece por esclarecer o facto de a poluição atmosférica poder causar o aumento da prevalência desta doença, assim como a identificação dos principais poluentes atmosféricos responsáveis e os níveis de exposição seguros. O objectivo desta tese consiste no estudo da relação entre a poluição atmosférica e a saúde, contribuindo para o conhecimento nesta temática através do desenvolvimento de uma ferramenta e da sua aplicação a um caso de estudo concreto. Neste caso de estudo analisou-se a relação entre vários poluentes atmosféricos e o agravamento da sintomatologia em crianças asmáticas. Neste âmbito, foi desenvolvido o modelo doseAr, que possibilita o cálculo da exposição e da dose inalada, ao nível individual, de poluentes atmosféricos. Os resultados da aplicação do doseAr permitem a identificação dos microambientes onde a contribuição para a exposição e dose inalada de poluentes é mais relevante. Os microambientes interiores, em particular aqueles onde é desenvolvida actividade física exigente, são identificados como especialmente importantes. A relação entre a exposição e a dose inalada é claramente associada ao agravamento da asma nestas crianças, apesar dos níveis de poluição identificados serem baixos, face aos padrões de qualidade do ar existentes.

Model-based systems engineering: a system for traffic & environment

The contemporary world is crowded of large, interdisciplinary, complex systems made of other systems, personnel, hardware, software, information, processes, and facilities. The Systems Engineering (SE) field proposes an integrated holistic approach to tackle these socio-technical systems that is crucial to take proper account of their multifaceted nature and numerous interrelationships, providing the means to enable their successful realization. Model-Based Systems Engineering (MBSE) is an emerging paradigm in the SE field and can be described as the formalized application of modelling principles, methods, languages, and tools to the entire lifecycle of those systems, enhancing communications and knowledge capture, shared understanding, improved design precision and integrity, better development traceability, and reduced development risks. This thesis is devoted to the application of the novel MBSE paradigm to the Urban Traffic & Environment domain. The proposed system, the GUILTE (Guiding Urban Intelligent Traffic & Environment), deals with a present-day real challenging problem “at the agenda” of world leaders, national governors, local authorities, research agencies, academia, and general public. The main purposes of the system are to provide an integrated development framework for the municipalities, and to support the (short-time and real-time) operations of the urban traffic through Intelligent Transportation Systems, highlighting two fundamental aspects: the evaluation of the related environmental impacts (in particular, the air pollution and the noise), and the dissemination of information to the citizens, endorsing their involvement and participation. These objectives are related with the high-level complex challenge of developing sustainable urban transportation networks. The development process of the GUILTE system is supported by a new methodology, the LITHE (Agile Systems Modelling Engineering), which aims to lightening the complexity and burdensome of the existing methodologies by emphasizing agile principles such as continuous communication, feedback, stakeholders involvement, short iterations and rapid response. These principles are accomplished through a universal and intuitive SE process, the SIMILAR process model (which was redefined at the light of the modern international standards), a lean MBSE method, and a coherent System Model developed through the benchmark graphical modeling languages SysML and OPDs/OPL. The main contributions of the work are, in their essence, models and can be settled as: a revised process model for the SE field, an agile methodology for MBSE development environments, a graphical tool to support the proposed methodology, and a System Model for the GUILTE system. The comprehensive literature reviews provided for the main scientific field of this research (SE/MBSE) and for the application domain (Traffic & Environment) can also be seen as a relevant contribution.

Caracterização experimental e modelação numérica de espumas metálicas

As espumas de alumínio são materiais ultraleves, o que as torna atractivas para um largo espectro de aplicações comerciais na área da defesa, na indústria automóvel e aeroespacial, entre outras. Actualmente, há um grande interesse na utilização de espumas de alumínio em componentes estruturais ultraleves, incorporados em sistemas de absorção de energia para protecção contra o impacto. O recurso à simulação numérica para resolver problemas de engenharia em várias áreas é cada vez mais comum. A modelação numérica dos materiais assume vital importância quando o problema envolve a análise de processos tecnológicos como, por exemplo, a conformação plástica de materiais, ou a análise de estruturas. Deste modo, torna-se imprescindível garantir que a modelação dos materiais é de tal forma rigorosa que permite simular o melhor possível o seu comportamento real nas condições concretas da análise a realizar. A forma mais comum de garantir o rigor dos modelos utilizados é a validação dos modelos numéricos tendo por base resultados experimentais. Neste trabalho, fez-se a caracterização do comportamento mecânico das espumas de alumínio com nome comercial ALPORAS!, obtidas pelo processo de fabrico denominado expansão directa do metal fundido por adição de um agente expansor. Esta caracterização consistiu num conjunto de ensaios experimentais quer no regime quasi-estático, quer no regime dinâmico. No regime quasi-estático realizaram-se ensaios de compressão uniaxial e de compressão multiaxial. Para a caracterização no regime dinâmico foram realizados ensaios em barras de Hopkinson de polimetil-metacrilato (PMMA). Com base nos resultados experimentais obtidos determinaram-se os parâmetros dos dois modelos constitutivos para espumas metálicas implementados no programa comercial Abaqus™/Explicit. Estes modelos, e os respectivos parâmetros determinados, foram validados reproduzindo numericamente alguns ensaios experimentais quasi-estáticos e dinâmicos. Assim, verificou-se a adequabilidade dos modelos em diversas condições quer em termos de esforços quer em termos de regime de taxa de deformação Por último, desenvolveu-se uma estrutura inovadora para absorção de energia durante um impacto, constituída por componentes perfilados em liga de alumínio e por componentes em espumas de alumínio. Esta estrutura foi testada exclusivamente com recurso à simulação numérica, utilizando os modelos constitutivos validados anteriormente.

Modelação ecológica no estuário do Sado

Os modelos matemáticos são ferramentas poderosas para avaliar o impacto humano em sistemas costeiros e estuarinos de estrutura complexa. Neste artigo utiliza-se um sistema de modelos matemáticos para simular o comportamento hidrodinâmico e biológico do estuário do Sado. Estudos experimentais de análise da evolução da biomassa de fitoplâncton durante os últimos 10 anos indicam que o ecossistema se encontra numa situação relarivamente estável, exibindo pouca tendência para a eutrofização (Cabeçadas, 1993). Neste Artigo procura-se caracterizar o estado trófico do sistema, confirmar as conclusões obtidas experimentalmente e interpretar os processos que ocorrem na região do estuário.

Análise do risco associado à rotura da barragem de Fernandilho. Modelação hidrodinâmica da onda de cheia

As cheias provocadas por roturas de barragens constituem eventos catastróficos que podem conduzir a perdas consideráveis de vidas humanas e de bens materiais. Para melhorar a segurança, em relação a este risco potencial, torna-se necessário avaliar a segurança da população e das estruturas, existentes ou a construir, e estimar a extensão dos danos em caso de acidente. Neste estudo, após a indicação da legislação em vigor, apresenta-se uma descrição sumária do modelo DamBreak. Descrevem-se as equações básicas que definem o modelo de formação da brecha e que caracterizam o processo de formação da cheia. Também se referem as equações de Saint-Venant, as quais caracterizam o processo de propagação da cheia. De seguida é feita uma descrição da barragem de Fernandilho, do leito do Barranco d