Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network

Distributed real-time systems such as automotive applications are becoming larger and more complex, thus, requiring the use of more powerful hardware and software architectures. Furthermore, those distributed applications commonly have stringent real-time constraints. This implies that such applications would gain in flexibility if they were parallelized and distributed over the system. In this paper, we consider the problem of allocating fixed-priority fork-join Parallel/Distributed real-time tasks onto distributed multi-core nodes connected through a Flexible Time Triggered Switched Ethernet network. We analyze the system requirements and present a set of formulations based on a constraint programming approach. Constraint programming allows us to express the relations between variables in the form of constraints. Our approach is guaranteed to find a feasible solution, if one exists, in contrast to other approaches based on heuristics. Furthermore, approaches based on constraint programming have shown to obtain solutions for these type of formulations in reasonable time.

Active cycle breathing techniques como técnica de higiene brônquica na asma: estudo piloto

RESUMO: Relevância e Objectivos: O objectivo deste estudo consistiu em verificar a eficácia e segurança de uma técnica de higiene brônquica – Active Cycle breathing technique (ACBT), na remoção de secreções e desinsuflação em crianças asmáticas. É uma técnica recente, que ainda não foi estudada nesta população. Metodologia: A amostra foi constituída por um total de 14 crianças, com idades compreendidas entre os 6 e 18 anos, com o diagnóstico de asma. Foi dividida em dois grupos: grupo de controlo, constituído por asmáticos estáveis e grupo experimental constituído por asmáticos pós-crise. Ambos receberam o mesmo tratamento, que consistiu numa única sessão de ACBT. Realizaram um exame da função respiratória (variáveis FEV1, PEF, MEF75%, RV e FRC) antes e após a aplicação da técnica. Mediu-se a Saturação de O2 antes, a meio e no fim da aplicação da técnica. Por último, pesaram-se as secreções recolhidas durante a sessão de tratamento. Resultados: Como resultados, quando omparamos o antes e após aplicação do ACBT, obtivemos diferenças significativas no RV (p <0,05) e FRC (p <0,05); muito significativa na Sa02 (p <0,01) e peso de secreções, nos asmáticos pós crise. Ocorreu uma melhoria significativa da saturação (p <0,05) em asmáticos estáveis, não havendo secreções. Não houve efeitos adversos nem broncoespasmo em ambos os grupos.Conclusão: O ACBT é uma técnica que promove a remoção de secreções e diminuição da insuflação na população de asmáticos.--------------------ABSTRACT:Relevance and Goals: the goal of this study was to verify the efficiency and security of a bronchial hygienic technique - Active Cycle Breathing Technique (ACBT) – in the obstruction and insufflation of asthmatic children. This is a new technique that has not yet been studied in this population. Procedures: The subjects were 14 children aged between 6 and 18 years old with asthma diagnosis. They were divided in two groups: the control group with stable asthmatics and the experimental group with post-crisis asthmatics. Both received the same treatment that was a single session of ACBT. They made a lung function test before and after the application of the technique (variables FEV1, PEF, MEF75%, RV and FRC). The level of O2 saturation was measured before, during and after the procedure. In the end, the secretions collected during the treatment were weighted. Results: We observed a significant difference on RV (p ˂0,05), FRC (p ˂0,05), Sa02 (p ˂0,01) and in the weight of the secretions in the post-crisis asthmatics after ACBT. There was a significant improvement of saturation (p ˂0,05) only in the stable asthmatics. There were no adverse effects or bronchospasm in both groups.

Task partitioning and priority assignment for distributed hard real-time systems

In this paper, we propose the Distributed using Optimal Priority Assignment (DOPA) heuristic that finds a feasible partitioning and priority assignment for distributed applications based on the linear transactional model. DOPA partitions the tasks and messages in the distributed system, and makes use of the Optimal Priority Assignment (OPA) algorithm known as Audsley’s algorithm, to find the priorities for that partition. The experimental results show how the use of the OPA algorithm increases in average the number of schedulable tasks and messages in a distributed system when compared to the use of Deadline Monotonic (DM) usually favoured in other works. Afterwards, we extend these results to the assignment of Parallel/Distributed applications and present a second heuristic named Parallel-DOPA (P-DOPA). In that case, we show how the partitioning process can be simplified by using the Distributed Stretch Transformation (DST), a parallel transaction transformation algorithm introduced in [1].

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

In vitro and in situ activation of the complement system by the fungus Lacazia loboi

Since there are no studies evaluating the participation of the complement system (CS) in Jorge Lobo's disease and its activity on the fungus Lacazia loboi, we carried out the present investigation. Fungal cells with a viability index of 48% were obtained from the footpads of BALB/c mice and incubated with a pool of inactivated serum from patients with the mycosis or with sterile saline for 30 min at 37 ºC. Next, the tubes were incubated for 2 h with a pool of noninactivated AB+ serum, inactivated serum, serum diluted in EGTA-MgCl2, and serum diluted in EDTA. The viability of L. loboi was evaluated and the fungal suspension was cytocentrifuged. The slides were submitted to immunofluorescence staining using human anti-C3 antibody. The results revealed that 98% of the fungi activated the CS by the alternative pathway and no significant difference in L. loboi viability was observed after CS activation. In parallel, frozen histological sections from 11 patients were analyzed regarding the presence of C3 and IgG by immunofluorescence staining. C3 and IgG deposits were observed in the fungal wall of 100% and 91% of the lesions evaluated, respectively. The results suggest that the CS and immunoglobulins may contribute to the defense mechanisms of the host against L. loboi.

A multi-objective optimization of the active and reactive resource scheduling at a distribution level in a smart grid context

In the traditional paradigm, the large power plants supply the reactive power required at a transmission level and the capacitors and transformer tap changer were also used at a distribution level. However, in a near future will be necessary to schedule both active and reactive power at a distribution level, due to the high number of resources connected in distribution levels. This paper proposes a new multi-objective methodology to deal with the optimal resource scheduling considering the distributed generation, electric vehicles and capacitor banks for the joint active and reactive power scheduling. The proposed methodology considers the minimization of the cost (economic perspective) of all distributed resources, and the minimization of the voltage magnitude difference (technical perspective) in all buses. The Pareto front is determined and a fuzzy-based mechanism is applied to present the best compromise solution. The proposed methodology has been tested in the 33-bus distribution network. The case study shows the results of three different scenarios for the economic, technical, and multi-objective perspectives, and the results demonstrated the importance of incorporating the reactive scheduling in the distribution network using the multi-objective perspective to obtain the best compromise solution for the economic and technical perspectives.

Coalition of distributed generation units to Virtual Power Players - a game theory approach

Smart Grids (SGs) have emerged as the new paradigm for power system operation and management, being designed to include large amounts of distributed energy resources. This new paradigm requires new Energy Resource Management (ERM) methodologies considering different operation strategies and the existence of new management players such as several types of aggregators. This paper proposes a methodology to facilitate the coalition between distributed generation units originating Virtual Power Players (VPP) considering a game theory approach. The proposed approach consists in the analysis of the classifications that were attributed by each VPP to the distributed generation units, as well as in the analysis of the previous established contracts by each player. The proposed classification model is based in fourteen parameters including technical, economical and behavioural ones. Depending of the VPP strategies, size and goals, each parameter has different importance. VPP can also manage other type of energy resources, like storage units, electric vehicles, demand response programs or even parts of the MV and LV distribution network. A case study with twelve VPPs with different characteristics and one hundred and fifty real distributed generation units is included in the paper.

Demand Response Programs Design and Use Considering Intensive Penetration of Distributed Generation

Further improvements in demand response programs implementation are needed in order to take full advantage of this resource, namely for the participation in energy and reserve market products, requiring adequate aggregation and remuneration of small size resources. The present paper focuses on SPIDER, a demand response simulation that has been improved in order to simulate demand response, including realistic power system simulation. For illustration of the simulator’s capabilities, the present paper is proposes a methodology focusing on the aggregation of consumers and generators, providing adequate tolls for the demand response program’s adoption by evolved players. The methodology proposed in the present paper focuses on a Virtual Power Player that manages and aggregates the available demand response and distributed generation resources in order to satisfy the required electrical energy demand and reserve. The aggregation of resources is addressed by the use of clustering algorithms, and operation costs for the VPP are minimized. The presented case study is based on a set of 32 consumers and 66 distributed generation units, running on 180 distinct operation scenarios.

Immunoactivation and immunopathogeny during active visceral leishmaniasis

Visceral leishmaniasis is caused by protozoan parasites of the Leishmania donovani complex. During active disease in humans, high levels of IFN-γ and TNF-α detected in blood serum, and high expression of IFN-γ mRNA in samples of the lymphoid organs suggest that the immune system is highly activated. However, studies using peripheral blood mononuclear cells have found immunosuppression specific to Leishmania antigens; this poor immune response probably results from Leishmania antigen-engaged lymphocytes being trapped in the lymphoid organs. To allow the parasites to multiply, deactivating cytokines IL-10 and TGF-β may be acting on macrophages as well as anti-Leishmania antibodies that opsonize amastigotes and induce IL-10 production in macrophages. These high activation and deactivation processes are likely to occur mainly in the spleen and liver and can be confirmed through the examination of organ samples. However, an analysis of sequential data from studies of visceral leishmaniasis in hamsters suggests that factors outside of the immune system are responsible for the early inactivation of inducible nitric oxide synthase, which occurs before the expression of deactivating cytokines. In active visceral leishmaniasis, the immune system actively participates in non-lymphoid organ lesioning. While current views only consider immunocomplex deposition, macrophages, T cells, cytokines, and immunoglobulins by diverse mechanism also play important roles in the pathogenesis.

Middleware for Large-scale Distributed Systems

Nos últimos anos o aumento exponencial da utilização de dispositivos móveis e serviços disponibilizados na “Cloud” levou a que a forma como os sistemas são desenhados e implementados mudasse, numa perspectiva de tentar alcançar requisitos que até então não eram essenciais. Analisando esta evolução, com o enorme aumento dos dispositivos móveis, como os “smartphones” e “tablets” fez com que o desenho e implementação de sistemas distribuidos fossem ainda mais importantes nesta área, na tentativa de promover sistemas e aplicações que fossem mais flexíveis, robutos, escaláveis e acima de tudo interoperáveis. A menor capacidade de processamento ou armazenamento destes dispositivos tornou essencial o aparecimento e crescimento de tecnologias que prometem solucionar muitos dos problemas identificados. O aparecimento do conceito de Middleware visa solucionar estas lacunas nos sistemas distribuidos mais evoluídos, promovendo uma solução a nível de organização e desenho da arquitetura dos sistemas, ao memo tempo que fornece comunicações extremamente rápidas, seguras e de confiança. Uma arquitetura baseada em Middleware visa dotar os sistemas de um canal de comunicação que fornece uma forte interoperabilidade, escalabilidade, e segurança na troca de mensagens, entre outras vantagens. Nesta tese vários tipos e exemplos de sistemas distribuídos e são descritos e analisados, assim como uma descrição em detalhe de três protocolos (XMPP, AMQP e DDS) de comunicação, sendo dois deles (XMPP e AMQP) utilzados em projecto reais que serão descritos ao longo desta tese. O principal objetivo da escrita desta tese é demonstrar o estudo e o levantamento do estado da arte relativamente ao conceito de Middleware aplicado a sistemas distribuídos de larga escala, provando que a utilização de um Middleware pode facilitar e agilizar o desenho e desenvolvimento de um sistema distribuído e traz enormes vantagens num futuro próximo.

Kinetic, Structural, and EPR Studies Reveal That Aldehyde Oxidoreductase from Desulfovibrio gigas Does Not Need a Sulfido Ligand for Catalysis and Give Evidence for a Direct Mo-C Interaction in a Biological System

J. Am. Chem. Soc., 2009, 131 (23), pp 7990–7998 DOI: 10.1021/ja809448r

A modular distributed transactional memory framework

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

An approach to teach Calculus/Mathematical Analysis (for engineering students) using computers and active learning – its conception, development of materials and evaluation

Dissertação para obtenção do Grau de Doutor em Ciências da Educação

A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A multiagent based shop floor transportation system simulator

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores