Software transactional memory as a building block for parallel embedded realtime systems

The recent trends of chip architectures with higher number of heterogeneous cores, and non-uniform memory/non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as a fundamental building block for developing parallel applications. Nevertheless, although STM promises to ease concurrent and parallel software development, it relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by embedded real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upper-bounded and task sets can be feasibly scheduled. In this paper we assess the use of STM in the development of embedded real-time software, defending that the amount of contention can be reduced if read-only transactions access recent consistent data snapshots, progressing in a wait-free manner. We show how the required number of versions of a shared object can be calculated for a set of tasks. We also outline an algorithm to manage conflicts between update transactions that prevents starvation.

Managing contention of software transactional memory in real-time systems

The foreseen evolution of chip architectures to higher number of, heterogeneous, cores, with non-uniform memory and non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as an alternative to lock-based synchronisation. However, STM relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upperbounded and task sets can be feasibly scheduled. In this paper we defend the role of the transaction contention manager to reduce the number of transaction retries and to help the real-time scheduler assuring schedulability. For such purpose, the contention management policy should be aware of on-line scheduling information.

Multidimensional scaling visualization of earthquake phenomena

Earthquakes are associated with negative events, such as large number of casualties, destruction of buildings and infrastructures, or emergence of tsunamis. In this paper, we apply the Multidimensional Scaling (MDS) analysis to earthquake data. MDS is a set of techniques that produce spatial or geometric representations of complex objects, such that, objects perceived to be similar/distinct in some sense are placed nearby/distant on the MDS maps. The interpretation of the charts is based on the resulting clusters since MDS produces a different locus for each similarity measure. In this study, over three million seismic occurrences, covering the period from January 1, 1904 up to March 14, 2012 are analyzed. The events, characterized by their magnitude and spatiotemporal distributions, are divided into groups, either according to the Flinn–Engdahl seismic regions of Earth or using a rectangular grid based in latitude and longitude coordinates. Space-time and Space-frequency correlation indices are proposed to quantify the similarities among events. MDS has the advantage of avoiding sensitivity to the non-uniform spatial distribution of seismic data, resulting from poorly instrumented areas, and is well suited for accessing dynamics of complex systems. MDS maps are proven as an intuitive and useful visual representation of the complex relationships that are present among seismic events, which may not be perceived on traditional geographic maps. Therefore, MDS constitutes a valid alternative to classic visualization tools, for understanding the global behavior of earthquakes.

Efeitos imediatos de um Sustained Natural Apophyseal Glide na atividade muscular dos eretores espinhais, na dor e na amplitude de flexão, em indivíduos com dor lombar crónica não específica

Introdução: O Sustained Natural Apophyseal Glide tem sido sugerido como uma técnica com potenciais benefícios na redução da dor e no aumento da amplitude de flexão lombar em indivíduos com dor lombar. Contudo, não existe evidência sobre esta técnica na atividade muscular dos eretores espinhais. Objetivo: Avaliar os efeitos imediatos de um Sustained Natural Apophyseal Glide na atividade muscular dos eretores espinhais, na intensidade da dor e na amplitude real de flexão lombar, em indivíduos com dor lombar crónica não específica. Métodos: Estudo experimental com uma amostra de 20 estudantes universitários, com dor lombar crónica não específica e com dor à flexão da coluna lombar, que foram aleatoriamente distribuídos em dois grupos: experimental - Sustained Natural Apophyseal Glide e placebo – intervenção placebo. Foram avaliadas a atividade muscular dos eretores espinhais recorrendo à eletromiografia de superfície (bioPLUX research®), a intensidade da dor através da Escala Visual Analógica e a amplitude real de flexão lombar pelo método de duplo inclinómetro (Universal Inclinometer®), antes e após a intervenção, pela análise do movimento de flexão-extensão do tronco. O nível de significância foi de 0,05. Resultados: Foram encontradas diferenças significativas, em ambos os grupos, para a fase de relaxamento (Grupo experimental: p=0,013 e Grupo placebo: p=0,047), assim como para a fase de extensão, no grupo experimental (p=0,037), verificando-se uma diminuição da atividade muscular da baseline para a avaliação final. A Análise da Covariância revelou que, relativamente à intensidade da dor, verificaram-se diferenças significativas entre os dois grupos (p=0,002), sendo que o grupo experimental diminuiu mais 2cm na Escala Visual Analógica do que o grupo placebo. Pela análise da amplitude real de flexão lombar, embora o aumento não fosse significativamente diferente entre os grupos (p=0,086), o grupo experimental teve mais 1,7º de aumento do que o grupo placebo. Conclusão: Os resultados sugerem que, a curto prazo, o Sustained Natural Apophyseal Glide parece produzir um efeito significativo na diminuição da atividade muscular dos eretores espinhais, durante o movimento dinâmico de extensão do tronco, assim como no alívio da dor. Embora não se tenham observado alterações significativas no aumento da amplitude articular, os resultados no grupo experimental foram superiores à diferença mínima detetável, sugerindo um efeito positivo da técnica aplicada.

Caracterização da matéria orgânica natural em águas para consumo humano

O tratamento de água para consumo humano tem por objectivos não só a sua qualidade em termos de parâmetros químicos e físicos, como também microbiológicos. Considerando que a MON pode afectar os sistemas de tratamento, a sua redução minimiza a formação de subprodutos de desinfecção, como por exemplo os trihalometanos e diminui o crescimento de microrganismos ao longo do sistema de distribuição. Nesse sentido tem havido recentemente uma grande evolução na investigação relativamente à remoção de matéria orgânica natural. O principal objectivo deste trabalho foi o de caracterizar a matéria orgânica presente na água bruta e ao longo do processo de tratamento, assim como a sua evolução sazonal. Os dados obtidos a partir desta caracterização poderão contribuir para uma futura optimização no processo de tratamento de águas de consumo. O processo utilizado baseou-se na sorção da matéria orgânica dissolvida em diferentes tipos de resinas de permuta iónica, DAX-8, DAX-4 e IRA-958, permitindo a sua separação em várias fracções: ácidos muito hidrofóbicos (VHA), ácidos ligeiramente hidrofóbicos (SHA), compostos hidrofílicos carregados (CHA) e hidrofílicos neutros (NEU). De acordo com os resultados obtidos apenas a fracção NEU demonstrou ter uma tendência sazonal, apresentando valores máximos no Verão, nos pontos de amostragem referentes à água bruta superficial (PA802) e água bruta superficial após pré-tratamento por filtração (PA800). Os valores de COD não mostraram uma variação sazonal para as amostras de água bruta superficial que rondaram os 2 mg C/L ao longo do período de amostragem (Julho a Outubro), durante o qual se verificou uma baixa pluviosidade e temperaturas médias muito semelhantes. Os compostos NEU predominam em todos os pontos de amostragem não apresentando uma tendência definida ao longo do tratamento. Observou-se uma diminuição das fracções SHA e CHA ao longo do tratamento. Não se pode indicar uma tendência definida relativamente à fracção VHA. Verifica-se globalmente uma diminuição do teor de MON ao longo do tratamento. Este trabalho demonstrou que na água bruta superficial existe uma predominância dos compostos NEU, seguidos dos SHA, dos VHA e finalmente dos compostos CHA. Na água bruta captada no sub-leito do rio, verifica-se apenas a existência dos compostos NEU, sendo as restantes fracções praticamente nulas. Os valores mais elevados de TSUVA254nm foram obtidos para as amostras que não sofreram qualquer tratamento, água bruta do sub-leito (PA903) e superficial (PA802), e água bruta após pré-filtração (PA800). Nos restantes pontos de amostragem, apesar de se verificarem valores inferiores, não se observa uma diminuição deste parâmetro ao longo do tratamento, nem uma variação sazonal. Os valores de TSUVA254nm obtidos são geralmente inferiores a 3 L.mgC-1.m-1, correspondendo a materiais não húmicos, que são considerados biodegradáveis. Para as amostras de água tratada os valores oscilam entre os 1,23 e 1,58 L.mgC-1.m-1, valores inferiores a 2 L.mgC-1.m-1, o que é considerado um valor de referência ao nível do tratamento, segundo a USEPA.

Development of procedures for the simulation of atmospheric flows over complex terrain, using OpenFOAM

The main purpose of this work was the development of procedures for the simulation of atmospheric ows over complex terrain, using OpenFOAM. For this aim, tools and procedures were developed apart from this code for the preprocessing and data extraction, which were thereafter applied in the simulation of a real case. For the generation of the computational domain, a systematic method able to translate the terrain elevation model to a native OpenFOAM format (blockMeshDict) was developed. The outcome was a structured mesh, in which the user has the ability to de ne the number of control volumes and its dimensions. With this procedure, the di culties of case set up and the high computation computational e ort reported in literature associated to the use of snappyHexMesh, the OpenFOAM resource explored until then for the accomplishment of this task, were considered to be overwhelmed. Developed procedures for the generation of boundary conditions allowed for the automatic creation of idealized inlet vertical pro les, de nition of wall functions boundary conditions and the calculation of internal eld rst guesses for the iterative solution process, having as input experimental data supplied by the user. The applicability of the generated boundary conditions was limited to the simulation of turbulent, steady-state, incompressible and neutrally strati ed atmospheric ows, always recurring to RaNS (Reynolds-averaged Navier-Stokes) models. For the modelling of terrain roughness, the developed procedure allowed to the user the de nition of idealized conditions, like an uniform aerodynamic roughness length or making its value variable as a function of topography characteristic values, or the using of real site data, and it was complemented by the development of techniques for the visual inspection of generated roughness maps. The absence and the non inclusion of a forest canopy model limited the applicability of this procedure to low aerodynamic roughness lengths. The developed tools and procedures were then applied in the simulation of a neutrally strati ed atmospheric ow over the Askervein hill. In the performed simulations was evaluated the solution sensibility to di erent convection schemes, mesh dimensions, ground roughness and formulations of the k - ε and k - ω models. When compared to experimental data, calculated values showed a good agreement of speed-up in hill top and lee side, with a relative error of less than 10% at a height of 10 m above ground level. Turbulent kinetic energy was considered to be well simulated in the hill windward and hill top, and grossly predicted in the lee side, where a zone of ow separation was also identi ed. Despite the need of more work to evaluate the importance of the downstream recirculation zone in the quality of gathered results, the agreement between the calculated and experimental values and the OpenFOAM sensibility to the tested parameters were considered to be generally in line with the simulations presented in the reviewed bibliographic sources.

Modelização do despacho económico de Gás Natural

Com as variações e instabilidade dos preços do petróleo, assim como as políticas europeias para adoção de estratégias para o desenvolvimento sustentável, têm levado à procura de forma crescente de novas tecnologias e fontes de energia alternativas. Neste contexto, tem-se assistido a políticas energéticas que estimulam o aumento da produção e a utilização do gás natural, visto que é considerado uma fonte de energia limpa. O crescimento do mercado do gás natural implica um reforço significativo das redes de transporte deste combustível, quer ao nível do armazenamento e fornecimento, quer ao nível dos gasodutos e da sua gestão. O investimento em gasodutos de transporte implica grandes investimentos, que poderiam não ser remunerados da forma esperada, sendo um dos motivos para que exista em Portugal cinco distritos se veem privados deste tipo de infraestruturas. O transporte de gás natural acarreta custos elevados para os consumidores, tanto maiores quanto maior forem as quantidades de gás transacionadas e quanto maior for o percurso pelo gás natural percorrido. Assim assume especial importância a realização de um despacho de gás natural: quais as cargas que cada unidade de fornecimento de gás irá alimentar, qual a quantidade de gás natural que cada UFGs deve injetar na rede, qual o menor percurso possível para o fazer, o tipo de transporte que será utilizado? Estas questões são abordadas na presente dissertação, por forma a minimizar a função custo de transporte, diminuindo assim as perdas na rede de alta pressão e os custos de transporte que serão suportados pelos consumidores. A rede de testes adotada foi a rede nacional de transporte, constituída por 18 nós de consumos, e os tipos de transporte considerados, foram o transporte por gasoduto físico e o transporte através de gasoduto virtual – rotas de transporte rodoviário de gás natural liquefeito. Foram criados diversos cenários, baseados em períodos de inverno e verão, os diferentes cenários abrangeram de forma distinta as variáveis de forma a analisar os impactos que estas variáveis teriam no custo relativo ao transporte de gás natural. Para dar suporte ao modelo de despacho económico, foi desenvolvida uma aplicação computacional – Despacho_GN com o objetivo de despachar as quantidades de gás natural que cada UFG deveria injetar na rede, assim como apresentar os custos acumulados relativos ao transporte. Com o apoio desta aplicação foram testados diversos cenários, sendo apresentados os respectivos resultados. A metodologia elaborada para a criação de um despacho através da aplicação “Despacho_GN” demonstrou ser eficiente na obtenção das soluções, mostrando ser suficientemente rápida para realizar as simulações em poucos segundos. A dissertação proporciona uma contribuição para a exploração de problemas relacionados com o despacho de gás natural, e sugere perspectivas futuras de investigação e desenvolvimento.

Analysis of Natural and Artificial Phenomena Using Signal Processing and Fractional Calculus

In this paper we study several natural and man-made complex phenomena in the perspective of dynamical systems. For each class of phenomena, the system outputs are time-series records obtained in identical conditions. The time-series are viewed as manifestations of the system behavior and are processed for analyzing the system dynamics. First, we use the Fourier transform to process the data and we approximate the amplitude spectra by means of power law functions. We interpret the power law parameters as a phenomenological signature of the system dynamics. Second, we adopt the techniques of non-hierarchical clustering and multidimensional scaling to visualize hidden relationships between the complex phenomena. Third, we propose a vector field based analogy to interpret the patterns unveiled by the PL parameters.