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.

Comparação do efeito da técnica de facilitação neuromuscular proprioceptiva com a técnica de músculo energia no alongamento muscular dos isquiotibiais a curto prazo

Introdução: A aplicação das técnicas de Contrair-Relaxar com Contracção do Antagonista (CRCA) e de Músculo Energia (TME) promovem um aumento da flexibilidade muscular, contudo poucos estudos comparam a eficácia de ambas. Apresentam aspectos comuns como a contracção prévia do músculo a alongar sendo esta máxima na CRCA e uma percentagem da máxima na TME. Contudo, alguma evidência sugere que não existe correspondência entre a força produzida e a desejada pelo que este aspecto da TME carece de explicação. Objectivos: Confirmar se a técnica CRCA e a TME são efectivas no alongamento muscular dos isquiotibiais a curto prazo, caso sejam determinar qual a mais efectiva. Pretende-se ainda avaliar se a percepção ao esforço durante a aplicação da TME corresponde à força efectivamente realizada. Métodos: Efectuou-se um estudo experimental com 45 voluntários distribuídos aleatoriamente pelos grupos CRCA, TME e Controlo. Avaliou-se a amplitude articular passiva de extensão do joelho antes e depois de aplicar as técnicas, utilizando um goniómetro. Nos participantes submetidos à TME avaliou-se a percepção ao esforço, solicitando uma contracção submáxima isométrica de 40% medida através do dinamómetro de mão. Resultados: Verificou-se um efeito das técnicas entre as avaliações (Teste ANOVA medidas repetidas factor tempo: p<0,001) e entre os grupos (tempo*grupo: p<0,001). Comparando os grupos dois a dois, verificaram-se diferenças entre o grupo CRCA e o grupo Controlo (Teste Post Hoc Games-Howell: p=0,001) e entre o grupo TME e o grupo Controlo (p=0,009), não existindo diferenças entre os grupos CRCA e TME (p=0,376). Os grupos CRCA e TME obtiveram um ganho de 10,7º e de 11,4º respectivamente, não havendo diferenças significativas entre os ganhos (Teste T-Student Independente: p=0,599). Existiram diferenças significativas entre os 40% CMVI produzida e desejada (Teste Wilcoxon: p=0,018). Conclusão: Ambas foram efectivas no aumento da flexibilidade muscular dos isquiotibiais a curto prazo. Os efeitos foram comparáveis, mas dada a menor complexidade e menor solicitação a TME foi considerada mais eficiente. A percepção ao esforço durante a aplicação da TME não correspondeu ao esforço desejado, existindo uma tendência para a produção de intensidades de contracções maiores.

The idempotent-separating degree of a block-group

Semigroup Forum, nº76 (2008), pg.579-583

Uma extensão da representação de Munn e o grau de separação dos idempotentes de um block-group

Actas do Encontro de Algebristas Portugueses 2005, Braga, Portugal, Centro de Matemática da Universidade do Minho, (2006),p. 105-116

Acute neuromuscular manifestations in a patient associated with ingesting octopus (Octopus sp.)

The authors report neuromuscular manifestations in a 45-year-old woman after consuming octopus meat (Octopus sp.). The patient presented malaise, paresthesias in perioral and extremity areas, intense muscular weakness and arterial hypotension, followed by severe itch and disseminated cutaneous rash. Gastrointestinal manifestations and fever were not observed, reducing the probability of alimentary poisoning. The presence of muscular and neurological symptoms suggests neurotoxin action, which could have been ingested by the victim from the octopus salivary glands or from an accumulation of toxins in the meat, or by an unknown mechanism. There is little known about toxins of the Octopus genus and this communication is important alert to the possibility of poisoning in humans that eat octopus and its differentiation from alimentary poisonings arising from incorrect conservation of seafood.

IDENTIFICATION OF CANINE VISCERAL LEISHMANIASIS IN A PREVIOUSLY UNAFFECTED AREA BY CONVENTIONAL DIAGNOSTIC TECHNIQUES AND CELL-BLOCK FIXATION

After the report of a second case of canine visceral leishmaniasis (CVL) in São Bento da Lagoa, Itaipuaçu, in the municipality of Maricá, Rio de Janeiro State, an epidemiological survey was carried out, through active search, totaling 145 dogs. Indirect immunofluorescence assay (IFA), enzyme-linked immunosorbent assay (ELISA), and rapid chromatographic immunoassay based on dual-path platform (DPP(r)) were used to perform the serological examinations. The parasitological diagnosis of cutaneous fragments was performed by parasitological culture, histopathology, and immunohistochemistry. In the serological assessment, 21 dogs were seropositive by IFA, 17 by ELISA, and 11 by DPP(r), with sensitivity of 66.7%, 66.7% and 50%, and specificity of 87.2%, 90.2% and 94%, respectively for each technique. The immunohistochemistry of bone marrow using the cell-block technique presented the best results, with six positive dogs found, three of which tested negative by the other parasitological techniques. Leishmania sp. was isolated by parasitological culture in three dogs. The detection of autochthonous Leishmania infantum in Itaipuaçu, and the high prevalence of seropositive dogs confirm the circulation of this parasite in the study area and alert for the risk of expansion in the State of Rio de Janeiro.

Congenital Complete Atrioventricular Block. Case Report and Review of the Literature

Introduction: Congenital complete atrioventricular block (AVB) without cardiac malformation is a rare and potentially fatal condition. In most cases it is associated with maternal systemic lupus erythematosus through transplacental passage of antibodies anti-SSA/Ro and/or anti-SSB/La. Antenatal fluorinated-steroids have been successful in reversing first and second degree congenital AVB but inconsistent in third degree block. Case Report:The authors report a case of fetal bradycardia diagnosed at 24 weeks of gestation. The fetal echocardiogram revealed a second/third degree AVB without structural heart disease. Maternal anti-SSA/Ro antibodies were detected. There was no blockage improvement with maternal oral fluorinated-steroids. An elective cesarean section was performed at term with the delivery of a healthy girl that required an epicardical pacemaker on the 8th day of life. Conclusion: In this case, treatment with maternal fluorinated corticosteroids was not effective in preventing progression of the heart block.

Pathology of complete atrioventricular block in chronic chagas' myocarditis

Sclero-atrophy, fibrosis, vascular ectasia, phlebosclerosis and mild non-specific chronic inflammatory changes were observed in variable location and proportion involving the atrioventricular conducting tissue of the heart in five human cases of chronic Chagas' myocarditis associated with complete atrioventricular block. One case presented complete destruction of the A-V conduction system. In three cases the lesions were disseminated all along the conducting tissue but did not cause anywhere a complete disruption in the continuity of the system. The distal portion of the bundle branches were the most damaged sector of the system, exceptfor the fasciculi of the posterior division of the left bundle branch which were relatively preserved. One case exhibited bilateral sclero-atrophy of the bundle branches as the main change; and another showed early and mild fibrocalcific damage of the penetrating portion of the His bundle. The A-V node appeared as the least involved part of the conducting system in the cases studied. Demonstration of the lesions in this series of cases seems important because: a) it reveals that complete atrioventriculr block in chronic Chagas' disease results from disseminated lesions and not from focal disruptive change as has been commonly observed in cases of other etiologies; b) it shows that chronic inflammation can produce at the end variable and widespread vascular, degenerative andfibrotic alterations within the conducting tissue of the heart, which may lead to its total destruction.

Proprioceptive neuromuscular facilitation in HTLV-I-associated myelopathy/tropical spastic paraparesis

Introduction: Human T cell lymphotropic virus type I-associated myelopathy/tropical spastic paraparesis (HAM/TSP) can impact the independence and motricity of patients. The aims of this study were to estimate the effects of physiotherapy on the functionality of patients with HAM/TSP during the stable phase of the disease using proprioceptive neuromuscular facilitation (PNF) and to compare two methods of treatment delivery. Methods: Fourteen patients with human T cell lymphotropic virus type I (HTLV-I) were randomly allocated into two groups. In group I (seven patients), PNF was applied by the therapist, facilitating the functional activities of rolling, sitting and standing, walking and climbing and descending stairs. In group II (seven patients), PNF was self-administered using an elastic tube, and the same activities were facilitated. Experiments were conducted for 1h twice per week for 12 weeks. Low-back pain, a modified Ashworth scale, the functional independence measure (FIM) and the timed up and go test (TUG) were assessed before and after the interventions. Results: In the within-group evaluation, low-back pain was significantly reduced in both groups, the FIM improved in group II, and the results of the TUG improved in group I. In the inter-group analysis, only the tone was lower in group II than in group I. Conclusions: Both PNF protocols were effective in treating patients with HAM/TSP.

Contributions towards smart cities : exploring block level census data for the characterization of change in Lisbon

The interest in using information to improve the quality of living in large urban areas and its governance efficiency has been around for decades. Nevertheless, the improvements in Information and Communications Technology has sparked a new dynamic in academic research, usually under the umbrella term of Smart Cities. This concept of Smart City can probably be translated, in a simplified version, into cities that are lived, managed and developed in an information-saturated environment. While it makes perfect sense and we can easily foresee the benefits of such a concept, presently there are still several significant challenges that need to be tackled before we can materialize this vision. In this work we aim at providing a small contribution in this direction, which maximizes the relevancy of the available information resources. One of the most detailed and geographically relevant information resource available, for the study of cities, is the census, more specifically the data available at block level (Subsecção Estatística). In this work, we use Self-Organizing Maps (SOM) and the variant Geo-SOM to explore the block level data from the Portuguese census of Lisbon city, for the years of 2001 and 2011. We focus on gauging change, proposing ways that allow the comparison of the two time periods, which have two different underlying geographical bases. We proceed with the analysis of the data using different SOM variants, aiming at producing a two-fold portrait: one, of the evolution of Lisbon during the first decade of the XXI century, another, of how the census dataset and SOM’s can be used to produce an informational framework for the study of cities.

Masonry macro-block analysis

The structural analysis involves the definition of the model and selection of the analysis type. The model should represent the stiffness, the mass and the loads of the structure. The structures can be represented using simplified models, such as the lumped mass models, and advanced models resorting the Finite Element Method (FEM) and Discrete Element Method (DEM). Depending on the characteristics of the structure, different types of analysis can be used such as limit analysis, linear and non-linear static analysis and linear and non-linear dynamic analysis. Unreinforced masonry structures present low tensile strength and the linear analyses seem to not be adequate for assessing their structural behaviour. On the other hand, the static and dynamic non-linear analyses are complex, since they involve large time computational requirements and advanced knowledge of the practitioner. The non-linear analysis requires advanced knowledge on the material properties, analysis tools and interpretation of results. The limit analysis with macro-blocks can be assumed as a more practical method in the estimation of maximum load capacity of structure. Furthermore, the limit analysis require a reduced number of parameters, which is an advantage for the assessment of ancient and historical masonry structures, due to the difficult in obtaining reliable data.

Effect of butadiene/styrene ratio, block structure and carbon nanotube content on the mechanical and electrical properties of thermoplastic elastomers after UV ageing

Thermoplastic elastomers based on a triblock copolymer styrene-butadiene-styrene (SBS) with different butadiene/styrene ratios, block structure and carbon nanotube (CNT) content were submitted to accelerated weathering in a Xenontest set up, in order to evaluate their stability to UV ageing. It was concluded that ageing mainly depends on butadiene/styrene ratio and block structure, with radial block structures exhibiting a faster ageing than linear block structures. Moreover, the presence of carbon nanotubes in the SBS copolymer slows down the ageing of the copolymer. The evaluation of the influence of ageing on the mechanical and electrical properties demonstrates that the mechanical degradation is higher for the C401 sample, which is the SBS sample with the largest butadiene content and a radial block structure. On the other hand, a copolymer derivate from SBS, the styrene-ethylene/butadiene-styrene (SEBS) sample, retains a maximum deformation of ~1000% after 80 h of accelerated ageing. The hydrophobicity of the samples decreases with increasing ageing time, the effect being larger for the samples with higher butadiene content. It is also verified that cytotoxicity increases with increasing UV ageing with the exception of SEBS, which remains not cytotoxic up to 80 h of accelerated ageing time, demonstrating its potential for applications involving exposition to environmental conditions.

Seismic behavior of concrete block masonry buildings

Tese de Doutoramento em Engenharia Civil