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.

Elaboração e aplicação de um Programa de Treino aos alunos do 2º ano de Dança, da Academia de Dança do Vale do Sousa, com vista à realização do exame de Grau 5 da Royal Academy of Dance

Relatório Final de Estágio apresentado à Escola Superior de Dança, com vista à obtenção do grau de Mestre em Ensino de Dança.

A shared-disk parallel cluster file system

Dissertação apresentada para obtenção do Grau de Doutor em Informática Pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

On the relation between the fractional Brownian motion and the fractional derivatives

Physics Letters A, vol. 372; Issue 7

Characterization and performance analysis of a VDFLL GNSS receiver architecture

A non-coherent vector delay/frequency-locked loop architecture for GNSS receivers is proposed. Two dynamics models are considered: PV (position and velocity) and PVA (position, velocity, and acceleration). In contrast with other vector architectures, the proposed approach does not require the estimation of signals amplitudes. Only coarse estimates of the carrier-to-noise ratios are necessary.

Particle swarm design of digital circuits

Swarm Intelligence (SI) is the property of a system whereby the collective behaviors of (unsophisticated) agents interacting locally with their environment cause coherent functional global patterns to emerge. Particle swarm optimization (PSO) is a form of SI, and a population-based search algorithm that is initialized with a population of random solutions, called particles. These particles are flying through hyperspace and have two essential reasoning capabilities: their memory of their own best position and knowledge of the swarm's best position. In a PSO scheme each particle flies through the search space with a velocity that is adjusted dynamically according with its historical behavior. Therefore, the particles have a tendency to fly towards the best search area along the search process. This work proposes a PSO based algorithm for logic circuit synthesis. The results show the statistical characteristics of this algorithm with respect to number of generations required to achieve the solutions. It is also presented a comparison with other two Evolutionary Algorithms, namely Genetic and Memetic Algorithms.

Topological entropy of catalytic sets: Hypercycles revisited

The dynamics of catalytic networks have been widely studied over the last decades because of their implications in several fields like prebiotic evolution, virology, neural networks, immunology or ecology. One of the most studied mathematical bodies for catalytic networks was initially formulated in the context of prebiotic evolution, by means of the hypercycle theory. The hypercycle is a set of self-replicating species able to catalyze other replicator species within a cyclic architecture. Hypercyclic organization might arise from a quasispecies as a way to increase the informational containt surpassing the so-called error threshold. The catalytic coupling between replicators makes all the species to behave like a single and coherent evolutionary multimolecular unit. The inherent nonlinearities of catalytic interactions are responsible for the emergence of several types of dynamics, among them, chaos. In this article we begin with a brief review of the hypercycle theory focusing on its evolutionary implications as well as on different dynamics associated to different types of small catalytic networks. Then we study the properties of chaotic hypercycles with error-prone replication with symbolic dynamics theory, characterizing, by means of the theory of topological Markov chains, the topological entropy and the periods of the orbits of unimodal-like iterated maps obtained from the strange attractor. We will focus our study on some key parameters responsible for the structure of the catalytic network: mutation rates, autocatalytic and cross-catalytic interactions.

Which differintegration?

IEE Proceedings Vision, Image & Signal Processing, vol. 152, nº 6

Como incluir as crianças na avaliação diária

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Which differintegration?

Despite the great advances in the theory and applications of fractional calculus, some topics remain unclear, making a systematic use difficult. In this paper, the fractional differintegration definition problem is studied from a systems point of view. Both local (Grunwald-Letnikov) and global (convolutional) definitions are considered. It is shown that the Cauchy formulation should be adopted since it is coherent with usual practice in signal processing and control applications.

Considerations about the choice of a differintegrator

Proceedings of the 2nd International Conference on Computational Cybernetics, Vienna University of Technology, August 30 - September 1, 2004

Internet Geography: New Spaces of Information

The objective of great investments in telecommunication networks is to approach economies and put an end to the asymmetries. The most isolated regions could be the beneficiaries of this new technological investments wave disseminating trough the territories. The new economic scenarios created by globalisation make high capacity backbones and coherent information society polity, two instruments that could change regions fate and launch them in to an economic development context. Technology could bring international projection to services or products and could be the differentiating element between a national and an international economic strategy. So, the networks and its fluxes are becoming two of the most important variables to the economies. Measuring and representing this new informational accessibility, mapping new communities, finding new patterns and localisation models, could be today’s challenge. In the physical and real space, location is defined by two or three geographical co-ordinates. In the network virtual space or in cyberspace, geography seems incapable to define location, because it doesn’t have a good model. Trying to solve the problem and based on geographical theories and concepts, new fields of study came to light. The Internet Geography, Cybergeography or Geography of Cyberspace are only three examples. In this paper and using Internet Geography and informational cartography, it was possible to observe and analyse the spacialisation of the Internet phenomenon trough the distribution of the IP addresses in the Portuguese territory. This work shows the great potential and applicability of this indicator to Internet dissemination and regional development studies. The Portuguese territory is seen in a completely new form: the IP address distribution of Country Code Top Level Domains (.pt) could show new regional hierarchies. The spatial concentration or dispersion of top level domains seems to be a good instrument to reflect the info-structural dynamic and economic development of a territory, especially at regional level.

Internet Geography: Spaces of Innovation

Information Society plays an important role in all kinds of human activity, inducing new forms of economic and social organization and creating knowledge. Over the last twenty years of the 20th century, large investments in telecommunication networks were made to approach economies and put an end to the asymmetries. The most isolated regions were the beneficiaries of this new technological investment’s wave disseminating trough the territories. The new economic scenarios created by globalisation make high capacity backbones and coherent information society polity, two instruments that could change regions fate and launch them in to an economic development context. Technology could bring international projection to services, products and could be the differentiating element between a national and an international economic strategy. So, the networks and its fluxes are becoming two of the most important variables to the economies. Measuring and representing this new informational accessibility, mapping new communities, finding new patterns and localisation models, could be today’s challenge. In the physical/real space, location is defined by two or three geographical co-ordinates. In the network/virtual space or in cyberspace, geography seems incapable to define location, because it doesn’t have a good model. Trying to solve the problem and based on geographical theories and concepts, new fields of study came to light. Internet Geography is one example. In this paper and using Internet Geography and informational cartography, it was possible to observe and analyse the spacialisation of the Internet phenomenon trough the distribution of the IP addresses in the Portuguese territory. This work shows the great potential and applicability of this indicator to regional development studies, and at the same time. The IP address distribution of Country Code Top Level Domains (.pt for Portugal) could show the same economic patterns, reflecting territorial inflexibility or, by opposition, new regional hierarchies. The spatial concentration or dispersion of top level domains seems to be a good instrument to analyse the info-structural dynamic and economic development of a territory, especially at regional level. At the same time it shows that information technologies are essential to innovation and competitive advantage.

Saúde mental, qualidade de vida e acesso aos cuidados de saúde na comunidade brasileira de Lisboa

Introdução: A utilização de serviços de saúde tem implicações importantes para o estado de saúde das populações. As políticas de imigração adoptadas nos países de destino têm influência no estado de saúde das comunidades imigrantes. Políticas que limitam o acesso de imigrantes aos cuidados de saúde aumentarão a vulnerabilidade e os riscos na saúde. Apesar da imigração promover uma série de rupturas na vida do sujeito, migrar, por si só, não pode ser considerado como factor de risco no âmbito da saúde e da saúde mental. O peso dos determinantes socioeconómicos tem ganho relevância no estudo das migrações, estado de saúde geral e mental. Isto porque, em geral, os imigrantes estão em situação mais precária do que a população autóctone. O estatuto socioeconómico baixo, as condições precárias de habitação e de trabalho, a falta de suporte social e a irregularidade jurídica são indicadores de risco acrescido para a saúde mental. Neste sentido é um desafio de monta os governos estabelecerem medidas sustentadas e, simultaneamente, integradoras dos imigrantes. Em Portugal, considera-se que há escassez de estudos relacionados com a área das migrações e da saúde.Metodologia: Estudo exploratório, descritivo e transversal. A finalidade foi a de identificar o estado de saúde, saúde mental e qualidade de vida da comunidade brasileira residente em Lisboa e o seu acesso aos serviços de saúde. Este estudo teve como principais objectivos a caracterização sociodemográfica, a identificação de variáveis inerentes ao processo migratório, a identificação da auto-apreciação do estado de saúde, a caracterização do acesso aos cuidados de saúde, a identificação do grupo em provável sofrimento psicológico, a comparação entre os resultados dos imigrantes juridicamente regulares e irregulares e a comparação entre a população imigrante e a população portuguesa. Inicialmente, foi prevista a utilização da técnica de amostragem de propagação geométrica ou snowball, pois a amostra tornar-se-ia maior à medida que os próprios inquiridos identificam outros potenciais respondentes. Ao longo do estudo, a metodologia inicial mostrou-se insuficiente para estabelecer uma amostra mais representativa dos imigrantes juridicamente irregulares. Para este feito, foi utilizada a metodologia de amostragem por conveniência e o local escolhido para a recolha da amostra foi o Consulado do Brasil em Lisboa. O instrumento de recolha de dados empregue baseou-se no questionário utilizado no 4º Inquérito Nacional de Saúde. O MHI-5 (Mental Health Index 5) é um instrumento de saúde mental e é parte integrante do inquérito, sendo recomendado pela Organização Mundial de Saúde. Consta de cinco itens relativos à saúde mental e os resultados são classificados através de um indicador que mede a existência de provável sofrimento psicológico. Foram incluídos no estudo 213 brasileiros. De seguida, procedeu-se ao tratamento estatístico dos dados. Resultados: A população inquirida é jovem, a maior parte tem entre 18 e 44 anos. As mulheres representam mais de metade da amostra. A taxa de actividade é elevada e a taxa de desemprego é similar à nacional. A inserção laboral prioritária é nos segmentos pouco qualificados ou de semi-qualificação. Aproximadamente um terço dos inquiridos afirmou ser beneficiário do Sistema Nacional de Saúde. A autoapreciação do estado de saúde é classificada como bastante positiva, assim como a qualidade de vida. O provável sofrimento psicológico, definido no MHI-5 pelo ponto de corte no score 52, atinge 23,3% dos participantes. Os homens apresentam melhores resultados do que as mulheres. Além disso, para os valores mais baixos no MHI-5 foram encontradas relações com as longas jornadas de trabalho e o diagnóstico de doença crónica.Discussão: O presente estudo apresenta limitações em relação à dimensão da amostra e à provável existência de enviesamento pela ausência de aleatorização. Apesar da legislação portuguesa garantir o acesso aos serviços de saúde e garantir a equidade no caso dos imigrantes que fazem descontos para a Segurança Social, apenas um terço referiu ser beneficiário do Sistema Nacional de Saúde. Este dado pode ser justificado por factores como o cumprimento da lei por alguns serviços e, também, pela falta de conhecimento da legislação e da forma de funcionamento do Serviço Nacional de Saúde por parte dos imigrantes. O facto das mulheres representarem o maior grupo em provável sofrimento psicológico é consistente com a literatura. As hipóteses levantadas para explicar este resultado podem ser agrupadas em: artefactos metodológicos, causalidade biológica e determinação social. Em relação ao instrumento, é possível que o MHI-5 se comporte de forma diferente no que diz respeito ao género.-------------------------------------------Introduction: The utilization of health services has important implications for the health state of the populations. The immigration policies adopted in the destiny countries are going to influence the health state of immigrant communities. Policies that limit the access of immigrants to health care are going to increase the vulnerability and the risk factor in health. Although immigration promotes several disruptive actions in ones life, migrating, on its own, cannot be considered as a risk factor for health and mental health. The preponderance of the socioeconomic factors has gained relevance in the study of migrations and also in the study of general health state and mental health. This happens because, in general, immigrants are in a more unfavorable situation compared with the destiny country population. The low socioeconomic status, the poor working and housing conditions, the lack of social support and the juridical irregularity are indicators of the incremented risk to mental health. Therefore, it is a major challenge for governments to find sustainable, and simultaneously, integrative measures for the immigrants. The studies related with the migrations and health in Portugal were considered to be few.Methods: It is an exploratory, descriptive and transversal study. The purpose is to identify the health state, mental health, quality of life and the access to health care of the Brazilian community resident in Lisbon. In addition, this study has as main goals the sociodemographic characterization, the variables identification inherent to the migrating process, the identification of the self-appreciation of health state, the characterization of the access to health care, the identification of the group in probable psychological suffer, the comparison between the results of regular and irregular immigrants and the comparison between the immigrant population and the Portuguese population. Initially it was predicted the utilization of the geometric propagation or “snowball”, as sampling technique, because the sample becomes larger as one answerer identify other potential answering persons. Along with the study, the methodology has shown insufficient to establish a more representative sample of the irregular immigrants. For this latter case, it was used a convenient sample methodology and the place chosen for the sample gathering was the “Consulate of Brazil in Lisbon”. The instrument was based in the questionnaire used in the “4th National Health Inquiry”. The MHI-5 (Mental Health Index 5) is a mental health instrument which is part of the enquiry and it is recommended by the World Health Organization. There are five items related to mental health and the results are classified through an indicator which measures the existence of a probable psychological suffer. It were included 213 Brazilian in the study. After, the statistical treatment of the data took place.Results: The answering population is young and the majority is between the 18 and 44 years of age. The women represent more than one half of the sample. The activity rate is high and the unemployment rate is similar to the national one. The priority labor insertion is in the few qualified or of semi-qualification segments. Approximately, one third of the answering people has stated to be beneficiary of the National Health System. The self-appreciation of the health state as well as the quality of life are classified as fairly positive ones. The probable psychological suffer, as defined in the MHI-5 through the cut point in the score below or equal to 52, reaches 23,3% of the sample population. Men show the better results than women. Further, for the lower values of MHI-5 it was found a relation with the long work periods and chronic disease diagnostic. Discussion: The present study evidences limitations in relation to the sample dimension and in relation to the existence of biases due to the lack of randomness. Although the Portuguese legislation guarantees the access to health services and the equality in the cases of the immigrants that do their Social Security discounts, only one third has mentioned to be beneficiary of the National Health System. This can be justified by several facts such as the non-fulfillment of law by some national services or the lack of knowledge of the legislation or the functioning process of the National Health System. Women representing the bigger group in probable psychological suffer has been coherent with the literature review. The hypothesis set to explain this result might be grouped in: methodological artifacts, biologic cause and social determination. In relation to the instrument used, it may be that MHI-5 behaves in a different way in respect to gender.