A Generic and Compositional Framework for Multicore Response Time Analysis

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing

13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.

Tratamento Cirúrgico dos Defeitos do Septo Auriculo-Ventricular. Experiência Uni-Institucional

OBJECTIVES: Atrio-ventricular septal (AVSD) defects include a variable spectrum of congenital malformations with different forms of clinical presentation. We report the surgical results, from a single institution, with this type of congenital cardiac malformation. Patients with hypoplasia of one of the ventricles were excluded from this analysis. POPULATION: Between November of 1998 and June of 2005, 49 patients with AVSD were operated on by the same team and in the same department. The average age was 37.3 months (medium 6 months) and 31 patients were female. In 38 patients (78%) an inter-ventricular communication was present (AVSD-complete) and of these, 26 were of the type A of Rastelli, being 13 of type B or C. The age for defect correction of the complete form was of 5.5 months, palliative surgery was not carried out on any of the patients. Associated lesions included: Down's syndrome in 22 patients (45%), patent arterial duct in 17 patients (35%), severe AV regurgitation in 4 patients (8%), tetralogy of Fallot in two (4%) and sub-aortic stenosis in one patient (2%). Pre-operatively 10 patients presented severe congestive heart failure and two were mechanically ventilated. RESULTS: Complete biventricular correction was carried out in all patients. The average time on bypass (ECC) was 74.1+/-17.5 min. and time of aortic clamping was 52.0+/-12.9 min. The complete defects were corrected by the double patch technique, and in all patients the mitral cleft was closed, except in two with single papillary muscle. There was no intra-operative mortality, but hospital mortality was 8%(4 patients), due to pulmonary hypertension crises, in the first 15 post-operative days. The mean ventilation time was of 36.5+/-93 hours (medium 7 h) and the average ICU stay was of 4.3+/-4.8 days (medium 3 days). The minimum follow-up period is 1 month and the maximum is 84 months (medium 29.5 months), during which time 4 re-operations (8%) took place: two for residual VSD's and two for mitral regurgitation. There was no mortality at re-do surgery. At follow up there was residual mitral regurgitation, mild in 17 patients and moderate in two. Four other patients presented with minor residual defects. CONCLUSIONS: The complete correction of AVSD can be carried out with acceptable results, in a varied spectrum of anatomic forms and of clinical severity. Despite the age of correction, for the complete forms, predominantly below 12 months, pulmonary hypertension was the constant cause for post operative mortality. Earlier timing of surgery and stricter peri-operative control might still improve results.

Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers

Presented at IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2015). 19 to 21, Aug, 2015.

Tetralogia de Fallot no Adulto

Os autores apresentam um caso clínico de tetralogia de Fallot num homem de 47 anos, com quadro clínico atípico desde a infância, sujeito a cirurgia correctiva com sucesso. Discutem-se o timing cirúrgico e as complicações pós-operatórias.

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Ankle anticipatory postural adjustments during gait initiation in healthy and post-stroke subjects

Background: Anticipatory postural adjustments during gait initiation have an important role in postural stability but also in gait performance. However, these first phase mechanisms of gait initiation have received little attention, particularly in subcortical post-stroke subjects, where bilateral postural control pathways can be impaired. This study aims to evaluate ankle anticipatory postural adjustments during gait initiation in chronic post-stroke subjects with lesion in the territory of middle cerebral artery. Methods: Eleven subjects with post-stroke hemiparesis with the ability to walk independently and twelve healthy controls participated in this study. Bilateral electromyographic activity of tibialis anterior, soleus and medial gastrocnemius was collected during gait initiation to assess the muscle onset timing, period of activation/deactivation and magnitude of muscle activity during postural phase of gait initiation. This phase was identified through centre of pressure signal. Findings: Post-stroke group presented only half of the tibialis anterior relative magnitude observed in healthy subjects in contralesional limb (t=2.38, p=0.027) and decreased soleus deactivation period (contralesional limb, t=2.25, p=0.04; ipsilesional limb, t=3.67, p=0.003) as well its onset timing (contralesional limb, t=3.2. p=0.005; ipsilesional limb, t=2.88, p=0.033) in both limbs. A decreased centre of pressure displacement backward (t=3.45, p=0.002) and toward the first swing limb (t=3.29, p=0.004) was observed in post-stroke subjects. Interpretation: These findings indicate that chronic post-stroke subjects with lesion at middle cerebral artery territory present dysfunction in ankle anticipatory postural adjustments in both limbs during gait initiation.

Novos circuitos regulatórios de controlo espacio-temporal do desenvolvimento em bacillus subtilis

RESUMO: A esporulação em Bacillus subtilis é controlada por uma cascata de factores sigma da polimerase do RNA. F e E controlam os estágios precoces do desenvolvimento no pré-esporo e na célula mãe, respectivamente. Numa fase intermédia da diferenciação, quando a célula mãe acaba por envolver o pré-esporo, F é substituído por G e E é substituído por K. Vários mecanismos asseguram que a actividade dos diferentes factores sigma seja confinada a uma janela temporal precisa na célula adequada. Neste estudo, investigámos a função de um factor anti-G, designado por CsfB. Mostramos que para além da sua função de inibição da actividade do factor G em células pré-divisionais, CsfB é também necessário na célula mãe num estágio tardio do desenvolvimento. Mostramos que a expressão de csfB é activada na célula mãe a partir de um promotor dependente de K. Contudo, demonstramos que CsfB interage directamente com E e não com K, e que CsfB é suficiente para inibir a actividade transcricional dependente de E em células vegetativas de B. subtilis. Propomos que CsfB contribui para reduzir o período dependente de E, na linha de expressão genética da célula mãe, desse modo reduzindo a sobreposição entre os regulões E e K e aumentado a fidelidade do processo de desenvolvimento. Uma segunda proteína, YabK, partilha semelhança estrutural com CsfB. YabK é produzida no pré-esporo sob o comando de F, e é necessária para a esporulação. YabK contribui para a transição F/G no programa genético do pré-esporo, porque uma mutação que torna F sensível a CsfB ultrapassa parcialmente a função de YabK na esporulação. No entanto, YabK e CsfB funcionam por mecanismos diferentes, uma vez que YabK não liga directamente a F.---------ABSTRACT: Gene expression during spore development in Bacillus subtilis is governed by a cascade of RNA polymerase sigma factors. F and E control the early stages of development in the forespore and in the mother cell, respectively. At an intermediate stage in the differentiation process, when the larger mother cell finishes engulfment of the smaller forespore, F is replaced by G and E is replaced by K. Several mechanisms ensure the proper timing of activation of the cell type-specific sigma factors. Here, we have investigated the funtion of an anti-sigma G factor, called CsfB. We show here that in addition to its role in inhibiting G in pre-divisional cells, CsfB is also required in the mother cell at a late stage in development. We show that the expression of csfB is activated in the mother cell from a K-specific promoter. However, we demonstrate that CsfB binds directly to E but not to K in a yeast two-hybrid assay, and that CsfB is sufficient to inhibit E-dependent transcriptional activity in vegetative cells of B. subtilis. We posit that CsfB contributes to shutting off the early, E-controlled period in the mother cell line of gene expression, thus reducing the overlap between deployment of the E and K regulons and increasing the fidelity of the developmental process. A second protein, YabK, shares structural similarity with CsfB. YabK is produced in the forespore under F control, and is required for efficient sporulation. YabK contributes to the transition from the F- to the G-dependent period of gene expression, because a mutation that renders F sensitive to CsfB partially bypasses the need for YabK. Yet, YabK and CsfB must function in the control of sigma factor activity by different mechanisms because YabK does not bind directly to F.

Transplantation in Highly Sensitised Patients Treated with Intravenous Immunoglobulin and Rituximab

Renal transplant in highly sensitised patients is associated with increased morbidity. The aim of this retrospective study was to evaluate the clinical evolution of 30 highly sensitised deceased donor kidney transplants and the influence of different timing of B cell directed treatment and its importance in the outcome of these patients. All recipients had negative complement dependent lymphocytotoxicity cytotoxic T cell crossmatch and no identified anti human leucocyte antigen class I donor specific antibodies. T cell flow crossmatch was performed within 24h of transplantation with serum obtained pretransplant (historic, recent or baseline). Posttransplant flow crossmatch were performed prospectively starting on the 3rd posttransplantation day. The immunosuppressive regime included thymoglobulin, tacrolimus, mycofenolate mofetil and steroids. Positive flow crossmatch occurred in 20/29 patients by the 3rd posttransplantation day, and in 17/27 patients after the 3rd posttransplantation day. All patients were started on intravenous immunoglobulin before transplantation: in nine patients (group A) at 400mg/kg/day for five days; in the remaining 21 patients (group B), as a continued infusion of 2g/kg during 48h. In group A, Rituximab was added only in the presence of antibody mediated rejection; in group B, introduced on the 3rd posttransplantation day whenever a positive flow crossmatch (with serum obtained pre or posttransplant) was reported. Antibody mediated rejection was observed in 44.4% of patients in group A, and 19% of those in group B. Mean follow-up was 12.2±5.5 months. Overall allograft survival was 76.6%, 81% in group B, and 66.6% in group A. At last follow up, mean serum creatinine was 1.3±0.6 mg/dl. Renal transplantation with pretransplant positive flow crossmatch is highly associated with antibody mediated rejection, despite introduction of intravenous immunoglobulin pretransplantation. However high dose intravenous immunoglobulin for 48h plus Rituximab by the 3rd posttransplantation day reduce the incidence of antibody mediated rejection by more than 50% and allowed for allograft survival of 81% at one year, with an excellent renal function.

Efeito da compressão isquémica no ponto gatilho do trapézio superior no controlo motor do ombro

Introdução: A síndrome dolorosa miofascial (SDM) é uma das causas mais comuns de dor com origem músculo-esquelética, devendo-se sobretudo à existência de pontos gatilho (PG) miofasciais. O PG no músculo trapézio superior (TS), sob a sua forma latente, tem repercussões no equilíbrio muscular do complexo articular do ombro. A intervenção sobre este PG, através da compressão isquémica poderá ter benefícios no próprio músculo e no controlo motor do complexo articular do ombro. Objetivos: Pretende-se estudar a influência da intervenção no PG latente do músculo TS no controlo motor do ombro, analisando as alterações ao nível do timing de ativação muscular, das sequências em que o músculos ativam e do nível de atividade muscular ao longo do movimento. Métodos: Foi realizado um estudo do tipo experimental, aleatório e controlado com uma amostra dividida em dois grupos, grupo experimental (n=15) e grupo controlo (n=14). No grupo experimental foi realizada a técnica de compressão isquémica no PG do TS e no grupo controlo um procedimento placebo. Antes e após a intervenção foi recolhida a atividade eletromiográfica dos músculos grande dentado (GD), infra-espinhoso (IE), deltóide médio (DM), trapézio superior (TS) e trapézio inferior (TI), assim como os dados cinemáticos, durante o movimento de elevação do ombro no plano da omoplata. Foi analisado o timing de ativação muscular, as sequências de ativação e o nível de ativação muscular ao longo do arco de movimento, através da magnitude normalizada à contração muscular voluntária máxima. Resultados: Foi observada uma maior pré ativação do músculo GD, no grupo experimental após a intervenção (p=0,025) relativamente ao primeiro momento de avaliação. É de notar que após a intervenção, no GE, todos os músculos passaram a ativar no período típico dos ajustes posturais antecipatórios, não tendo o mesmo sido observado no grupo de controlo. Após a técnica, 37% dos indivíduos do grupo experimental passaram a ativar o GD em primeiro lugar, quando apenas um sujeito o fazia antes da intervenção. Destaca-se também um predomínio de 32% nas últimas posições, após a técnica, dos músculos trapézio superior e inferior. No GC não se verifica nenhuma tendência após a intervenção. Foram ainda observadas diferenças estatisticamente significativas entre os grupos nos arcos de movimento onde foi atingido 20% da contração isométrica voluntária máxima (CMVI) nos músculos DM (p=0,002), na primeira avaliação, e IE (p=0,021), após a intervenção, com um atraso da ativação do IE para valores superiores a 20% da CMVI. Conclusão: A compressão isquémica reflete-se na antecipação da atividade do músculo GD e num atraso do aumento da magnitude da atividade do IE para valores moderados,

Influência do treino do passo rápido voluntário nas estratégias de feedforward e feedback em Adultos mais Velhos

Introdução:O envelhecimento influencia negativamente o controlo postural, diminuindo a capacidade de recuperar o equilíbrio após uma perturbação externa e consequentemente aumento do risco de queda nos adultos mais velhos Objetivo(s):Verificar a influência do treino do passo rápido voluntário nas estratégias de feedforward e feedback em adultos mais velhos aquando o stepping anterior e posterior, bem como o timing e sequência de ativação muscular, ajustes posturais antecipatórios (APA) e compensatórios (APC1,APC2), comprimento, latência, velocidade média (VM) do passo e estratégias de passo lateral Métodos:19 participantes foram distribuídos aleatoriamente por dois grupos, o grupo experimental (n=9) e o grupo controlo (n=10), estudo randomizado controlado. Ambos foram submetidos a um protocolo de exercício físico durante 3 meses, 2 vezes/semana. Adicionalmente o grupo experimental (GE) realizou o treino do passo rápido voluntário bilateral nas várias direções. A resposta a um desequilíbrio postural em vários sentidos e consequente resposta de stepping anterior, posterior ou lateral foram avaliadas por meio de eletromiografia de superfície e por um sistema de imagem 3D Resultados: Na variação entre o momento inicial e final (M0-M1), durante o stepping anterior o GE, comparativamente ao GC, aumentou e diminuiu significativamente o timing do RF ipsilateral e GemM, respetivamente. Na variação do timing dos músculos BF ipsilateral e contralateral e TA contralateral, o GE diminuiu significativamente menos do que o GC. O GE aumentou significativamente o comprimento do stepping posterior do que o GC. Quanto à variação da latência observou-se que o GE aumentou significativamente do que o GC nos dois steppings. Na variação da VM, do stepping anterior, o GE diminuiu significativamente mais do que GC. O GE aumentou e diminuiu significativamente os APAS e os APC1 do que o GC no stepping posterior e anterior, respetivamente. Verificou-se que a estratégia mais frequente nos dois momentos e grupos foi a estratégia de stepping lateral direto Conclusão: A contínua prática do stepping rápido voluntário parece promover um melhor controlo postural sendo um importante exercício específico para prevenção de quedas

Influência da atividade muscular abdominal na velocidade do oi tsuki

Introdução: No karaté a região lombo pélvica é importante, pois permite dar estabilidade e potenciar a força produzida na aplicação de técnicas de karaté. Apesar disso, nenhum estudo estuda a influência da atividade muscular abdominal na velocidade de aplicação de técnicas. Existem diversos estudos sobre o karaté mas nenhum deles foca a importância da atividade muscular abdominal. Objetivo: O objetivo deste estudo é verificar se o timing e a magnitude de ativação dos músculos abdominais influenciam a velocidade aplicada na técnica de karaté oi tsuki. Metodologia: Estudo transversal analítico com 7 praticantes de karaté do sexo masculino com graduação de 3º kyu (1º nível de cinturão castanho) ou superior. Foi avaliado o timing e a magnitude de ativação muscular abdominal com eletromiografia de superfície e a velocidade de movimento com sistema Qualisys, durante a execução do oi tsuki. Para dados estatísticos realizou-se o teste de spearman (nível de significância de 0,05) para testar correlação entre timing e a velocidade e entre magnitude de ativação e a velocidade, recorrendo ao coeficiente de determinação para verificar o grau de correlação. Para verificar diferenças bilaterais entre os timings e a magnitude de ativação dos músculos abdominais realizou-se o teste de Wilcoxon (nível de significância de 0,05). Resultados: Foi observada uma relação estatisticamente significativa (p< 0,05) entre o timing de ativação dos músculos transversos/oblíquos internos abdominais e do oblíquo externo contra lateral com a velocidade média do oi tsuki. Os timings de ativação dos músculos retos abdominais e oblíquo externo ipsilateral não revelaram valores de significância (p> 0,05) que possibilitem afirmar que existe relação entre esses timings e a velocidade média do oi tsuki. Não existem valores estatisticamente significativos (p> 0,05) para afirmar que existe relação entre a magnitude de ativação dos músculos abdominais e a velocidade média do oi tsuki. A velocidade máxima do movimento não foi afetada nem pelos timings de ativação dos músculos do abdómen, nem pelas suas magnitudes de ativação. Apenas o timing entre os músculos Transversos/oblíquos internos contra lateral e ipsilateral revelou diferenças. Conclusão: O tronco evidencia ser importante para a prática do karaté, não só pela melhoria da performance, mas também pela melhoria de estabilidade e consequente técnica. Apresenta uma aparente melhoria na velocidade inicial da técnica, podendo afetar positivamente a performance. Para além da performance, contribui para a segurança das estruturas lombo pélvicas, promovendo um menor risco de lesão.

Revisão dos tempos-padrão no setor de construção de pneus

Este relatório de estágio foi desenvolvido no âmbito do estágio de final de curso, em ambiente industrial, do Mestrado em Engenharia e Gestão Industrial da ESEIG. O estágio foi realizado na Continental Mabor S.A., situada em Vila Nova de Famalicão, mais especificamente no Departamento de Engenharia Industrial. A indústria dos pneus está inserida num mercado cada vez mais competitivo e exigente, em que os custos e os prazos de entrega devem ser cada vez menores e a qualidade do produto cada vez maior. Por esses motivos, é necessária uma constante melhoria dos processos produtivos. Para que este esforço de melhoria contínua seja bem-sucedido é necessário recorrer por vezes a prémios de produção, para incentivar uma maior produtividade. Contudo cada pneu tem tempos de produção diferentes de máquina para máquina e é preciso corrigir esses tempos em prol de uma justa atribuição de prémios. O presente trabalho teve como principal objetivo atualizar as perturbações e atualizar os tempos-máquina no setor de construção de pneus. Inicialmente foi recolhido o tempo de aplicação do capply (material que pertence ao pneu) para futuramente verificar se será possível prever o tempo de aplicação de capply, consoante os metros de aplicação. Como não foi possível estabelecer uma correlação, não será exposta a análise até se chegar a essa conclusão. Depois fez-se o estudo das perturbações, com recurso à cronometragem, na maior das cinco divisões da fábrica - a construção. Por último fez-se a recolha dos tempos-máquina de vários tipos de construção de pneus em todos os módulos de construção de pneus (KM e PU), através do método filmagem. Conseguiu-se singularizar os tempos para cada máquina de forma a tornar, mais justo os prémios de produção atribuídos aos operadores, no curto prazo, e optimizar a produção e o tempo-padrão.