Numerical Simulations of Coronal Heating through Footpoint Braiding

Advanced 3D radiative MHD simulations now reproduce many properties of the outer solar atmosphere. When including a domain from the convection zone into the corona, a hot chromosphere and corona are self-consistently maintained. Here we study two realistic models, with different simulated area, magnetic field strength and topology, and numerical resolution. These are compared in order to characterize the heating in the 3D-MHD simulations which self-consistently maintains the structure of the atmosphere. We analyze the heating at both large and small scales and find that heating is episodic and highly structured in space, but occurs along loop shaped structures, and moves along with the magnetic field. On large scales we find that the heating per particle is maximal near the transition region and that widely distributed opposite-polarity field in the photosphere leads to a greater heating scale height in the corona. On smaller scales, heating is concentrated in current sheets, the thicknesses of which are set by the numerical resolution. Some current sheets fragment in time, this process occurring more readily in the higher-resolution model leading to spatially highly intermittent heating. The large scale heating structures are found to fade in less than about five minutes, while the smaller, local, heating shows time scales of the order of 2 minutes in one model and 1 minutes in the other, higher-resolution, model.Comment: 20 pages, accepted by Ap

Relações ecológicas entre ouriços-do-mar e os seus predadores e presas no sudoeste de Portugal Continental

Os ouriços-do-mar desempenham um papel-chave na estrutura das comunidades bentónicas do litoral rochoso, podendo exercer uma intensa herbivoria sobre os produtores primários. Este estudo teve como objetivo analisar o papel ecológico do ouriço-do-mar Paracentrotus lividus na zona subtidal rochosa da costa sudoeste de Portugal continental, tanto como predador como presa, relacionando os três níveis tróficos: predadores de P. lividus, P. lividus e comunidade de macroalgas. Para tal, foram realizados vários estudos, cujos resultados indicam que na costa alentejana: (1) P. lividus aparenta ter um comportamento críptico e, por esse motivo, tem um efeito pouco importante na estruturação da comunidade de macroalgas bentónicas; (2) a área marinha protegida considerada não aparenta, até à data, ter tido efeitos significativos sobre a abundância e/ou tamanho dos vários organismos estudados; e (3) as espécies de peixe Diplodus vulgaris e Coris julis, bastante abundantes na costa alentejana, poderão ser importantes predadores de P. lividus; ### Abstract “Ecological relationships between sea urchins and their predators and prey in the SW coast of Portugal”. Sea urchins play a key role in structuring benthic communities of rocky shores through an intense herbivory on primary producers. This study aimed to analyze the ecological role of the sea urchin Paracentrotus lividus in the rocky subtidal zone of the SW coast of Portugal, both as predator and prey, by relating P. lividus predators, P. lividus and the macroalgae community. To this end, several studies were conducted whose results indicate that in the Alentejo coast: (1) P. lividus appears to have a cryptic behavior and, therefore, does not seem to have the ability to significantly influence the structure of the benthic macroalgae community; (2) the studied marine protected area does not appear, to date, to have had significant effects on the abundance and/or size of the various studied organisms; and (3) the fish species Diplodus vulgaris and Coris julis may be important predators of P. lividus

Unleashing the Power of Sound: Revisiting the Physics of Notations for Modelling with auditory symbols

Sound - the oft-neglected sense for Software Engineering - is a crucial component of our daily lives, playing a vital role in how we interact with the world around us. In this paper, we challenge the traditional boundaries of Software Engineering by proposing a new approach based on sound design for using sound in modelling tools that is on par with visual design. By drawing upon the seminal work of Moody on the `Physics' of Notations for visual design, we develop a comprehensive catalogue of principles that can guide the design of sound notations. Using these principles, we develop a catalogue of sounds for UML and report on an empirical study that supports their usefulness. Our study lays the foundation for building more sophisticated sound-based notations. The guidelines for designing symbolic sounds for software models are an essential starting point for a new research thread that could significantly and effectively enable the use of sound in modelling tools

Automatic truecasing of video subtitles using BERT: a multilingual adaptable approach

This paper describes an approach for automatic capitalization of text without case information, such as spoken transcripts of video subtitles, produced by automatic speech recognition systems. Our approach is based on pre-trained contextualized word embeddings, requires only a small portion of data for training when compared with traditional approaches, and is able to achieve state-of-the-art results. The paper reports experiments both on general written data from the European Parliament, and on video subtitles, revealing that the proposed approach is suitable for performing capitalization, not only in each one of the domains, but also in a cross-domain scenario. We have also created a versatile multilingual model, and the conducted experiments show that good results can be achieved both for monolingual and multilingual data. Finally, we applied domain adaptation by finetuning models, initially trained on general written data, on video subtitles, revealing gains over other approaches not only in performance but also in terms of computational cost.info:eu-repo/semantics/publishedVersio

Suspensão pseudo-levitante com estabilização independente da massa não-suspensa

Dissertação de mest., Engenharia Eléctrica e Electrónica, Instituto Superior de Engenharia, Univ. do Algarve, 2012A suspensão dos veículos automóveis tem a função de estabilizar tanto a estrutura do próprio veículo como os passageiros, isolando-os das oscilações provocadas pelas irregularidades das vias de circulação, dando um bom conforto aos passageiros. Ao mesmo tempo tem de se assegurar o bom contacto entre as rodas e a estrada, característica que estabelece a segurança do veículo. A utilização de actuadores electromagnéticos permite reduzir ou mesmo anular as oscilações da estrutura do veículo, como se este levitasse sobre a estrutura das rodas. No entanto, esta solução põe em causa o bom contacto dos pneus com a estrada, reduzindo a segurança do veículo. Neste projecto é utilizado uma massa suplementar e independente da massa não suspensa com o objectivo de estatizar ou melhorar a estabilização das oscilações do pneu, e de modo a que sem por em causa o conforto conseguido com o sistema de levitação se assegure o bom contacto do pneu com a estrada. Posteriormente, a parte experimental será realizada com simulações em MATLAB e Simulink. São apresentadas simulações tanto do sistema estudo como dos sistemas já existentes, para que se possa fazer uma análise comparativa dos resultados e se retire as conclusões. Da análise dos resultados, é clara a melhoria da característica de segurança (o bom contacto dos pneus com a estrada) face á suspensão pseudo-levitante. Para além de melhorar os aspectos de segurança foi conseguido manter as características de conforto (consideradas ideais)

AniMAL - a user interface prototyper and animator for MAL interactor models

Engineering correct software is one of the grand challenges of computer science. Practical design and verification methodologies to ensure correct software can have a substantial impact on how programs are built by the industry. As human-machine systems become more functional, they also become more complex. Consequently, the interactions between the machine and its users becomes less predictable and more difficult to analyse. Using Model Checking it is possible to automatically analyse the behaviour of a modelled system. Hence, different authors have investigated the applicability of model checking to the analysis of human-machine interactions. The IVY workbench is a tool that supports system design and verification, by providing a model checking based integrated modelling and analysis environment. The tool is based around a plugin architecture, and although it features a verification results' analyser, it thus far lacked the ability to visually expose the sequence of events that lead to a system failure on a system's prototype. We propose the AniMAL plugin as an extension to the IVY workbench, providing automatic user interface prototyping and verification results' animation, while allowing thorough customisation

Contributo Metodológico para a Definição da Sequência de Maquinação Baseada em Tolerâncias

Do que é usual observar em bibliografia da área da tecnologia, os processos de maquinação são determinados essencialmente pelas geometrias nominais a cumprir e negligenciam os desvios próprios do fabrico, os quais estão expressos em tolerâncias, dimensionais e geométricas. Com esta dissertação pretende-se fazer a abordagem do planeamento da maquinação tendo como critério relevante as tolerâncias de fabrico o que vem ao encontro das preocupações na preparação de trabalho para produção em série. Para o efeito foi elaborada uma metodologia com vista à criação racional do plano de maquinação, baseado na análise das tolerâncias com vista ao estabelecimento de operações e respectiva sequência que criem as condições favoráveis conducentes ao cumprimento das especificações do desenho. O desenvolvimento da metodologia divi-diu-se em três fases principais. Numa fase inicial foi feita a análise dos desenhos da peça para depois ser possível estabelecer uma sequência de maquinação. Estabelecida a sequência de maquinação procedeu-se à escolha de ferramentas que irão efectuar as operações. O trabalho foi desenvolvido em articulação com uma empresa, a qual validou a me-todologia proposta. Do trabalho realizado é possível concluir que a industrialização de uma peça é absolutamente dependente da análise correta das tolerâncias especifica-das nos desenhos

Os presos em Évora durante o liberalismo: realidade e representações sociais

Com este trabalho pretendemos apresentar um pequeníssimo contributo para a História da Prisão e da criminalidade na cidade de Évora, no período compreendido entre 1855 e 1875. O nosso principal objectivo é o de aferir se as novas preocupações filantrópicas e humanitaristas, fruto do ideário Liberal, tiveram efectivas repercussões no interior do espaço prisional eborense. Pretendemos também compreender a dinâmica do crime na mesma cidade, através da análise do percurso criminal de alguns dos presos na cadeia de Évora. Num âmbito mais geral propomo-nos compreender o enquadramento político e ideológico do Liberalismo que alicerçou as bases do novo paradigma penitenciário. Para atingirmos estes propósitos procederemos a uma breve contextualização da realidade socioeconómica e demográfica da região de Évora durante o período supracitado, bem como das condições físicas da Cadeia Civil de Évora, servindo-nos, neste caso, da correspondência e outra documentação produzida pelas autoridades locais e centrais, para além da imprensa regional. A caracterização sócio-demográfica dos detidos e a análise dos crimes que lhes eram imputados são os dois últimos tópicos que desenvolveremos neste estudo. Como conclusão geral, verificamos que a realidade penitenciária, apesar das preocupações das autoridades, não sofreu alterações substanciais, persistindo as más condições do cárcere eborense. No que respeita aos reclusos, na sua maioria eram homens, solteiros, até aos 30 anos de idade e trabalhadores de ocupação, oriundos maioritariamente do distrito de Évora. Neste período, os crimes pelos quais se registaram mais acusações foram os contra a propriedade, seguidos dos contra a ordem pública e dos crimes violentos; ABSTRACT: With this thesis, we intend to present a small contribution to the Prison’s History and to crime in Evora, between 1855 and 1875. Our main goal is to check if the philanthropist and humanitarian concerns, product of the liberal ideology, had effective repercussions in the interior of Evora’s prisonal space. We also seek to understand crime dynamics in this city, through the analysis of the crime course of some of the prisoners in Evora’s jail. In a more general sense, we propose to understand the political and ideological context of Liberalism, which planted the basis of the new penitentiary paradigm. To obtain these purposes we’ll proceed to a brief contextualization of the social economical and demographic reality of the region of Evora, during the above mentioned period of time, as well as of physical conditions of the Civil Prison of the city, using, therefore, letter-writing and other documents produced by local and central authorities, in addition to regional press. Social demographic characterization of the detained and the analysis of the crimes imputed to them are the last two topics that will be developed in this study. As a conclusion, we verified that the penitentiary reality, despite the authorities concerns, hasn’t suffered substantial changes, persisting the poor conditions of the prison. As for the prisoners, they were mostly single, up to 30s, occupational working men, mainly natives from the district. In this period, the most charged crimes were the ones against property, followed by the ones against public order and violent crimes