Non pre-emptive scheduling of messages on SMTV token-passing networks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within distributed computer-controlled systems. Therefore, they constitute the foundation upon which real-time applications are to be implemented. A specific class of fieldbus communication networks is based on a simplified version of token-passing protocols, where each station may transfer, at most, a single message per token visit (SMTV). In this paper, we establish an analogy between non-preemptive task scheduling in single processors and the scheduling of messages on SMTV token-passing networks. Moreover, we clearly show that concepts such as blocking and interference in non-preemptive task scheduling have their counterparts in the scheduling of messages on SMTV token-passing networks. Based on this task/message scheduling analogy, we provide pre-run-time schedulability conditions for supporting real-time messages with SMTV token-passing networks. We provide both utilisation-based and response time tests to perform the pre-run-time schedulability analysis of real-time messages on SMTV token-passing networks, considering RM/DM (rate monotonic/deadline monotonic) and EDF (earliest deadline first) priority assignment schemes

A ingerência do conhecimento explícito no conhecimento tácito: a técnica Alexander e a prática e ensino da flauta

Doutoramento em Música

Scheduling sporadic tasks on multiprocessors with mutual exclusion constraints

Consider the problem of scheduling sporadic tasks on a multiprocessor platform under mutual exclusion constraints. We present an approach which appears promising for allowing large amounts of parallel task executions and still ensures low amounts of blocking.

A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Handling shared resources and precedence constraints in open systems

There is an increasing demand for highly dynamic realtime systems where several independently developed applications with different timing requirements can coexist. This paper proposes a protocol to integrate shared resources and precedence constraints among tasks in such systems assuming no precise information on critical sections and computation times is available. The concept of bandwidth inheritance is combined with a capacity sharing and stealing mechanism to efficiently exchange bandwidth among needed tasks, minimising the cost of blocking.

The capacity exchange protocol

This paper proposes a new strategy to integrate shared resources and precedence constraints among real-time tasks, assuming no precise information on critical sections and computation times is available. The concept of bandwidth inheritance is combined with a capacity sharing and stealing mechanism to efficiently exchange bandwidth among tasks to minimise the degree of deviation from the ideal system’s behaviour caused by inter-application blocking. The proposed Capacity Exchange Protocol (CXP) is simpler than other proposed solutions for sharing resources in open real-time systems since it does not attempt to return the inherited capacity in the same exact amount to blocked servers. This loss of optimality is worth the reduced complexity as the protocol’s behaviour nevertheless tends to be fair and outperforms the previous solutions in highly dynamic scenarios as demonstrated by extensive simulations. A formal analysis of CXP is presented and the conditions under which it is possible to guarantee hard real-time tasks are discussed.

Shared resources and precedence constraints with capacity sharing and stealing

This paper proposes a new strategy to integrate shared resources and precedence constraints among real-time tasks, assuming no precise information on critical sections and computation times is available. The concept of bandwidth inheritance is combined with a greedy capacity sharing and stealing policy to efficiently exchange bandwidth among tasks, minimising the degree of deviation from the ideal system's behaviour caused by inter-application blocking. The proposed capacity exchange protocol (CXP) focus on exchanging extra capacities as early, and not necessarily as fairly, as possible. This loss of optimality is worth the reduced complexity as the protocol's behaviour nevertheless tends to be fair in the long run and outperforms other solutions in highly dynamic scenarios, as demonstrated by extensive simulations.

Lightweight amorphous silicon photovoltaic modules on flexible plastic substrate

Solar cells on lightweight and flexible substrates have advantages over glass-or wafer-based photovoltaic devices in both terrestrial and space applications. Here, we report on development of amorphous silicon thin film photovoltaic modules fabricated at maximum deposition temperature of 150 degrees C on 100 mu m thick polyethylene-naphtalate plastic films. Each module of 10 cm x 10 cm area consists of 72 a-Si:H n-i-p rectangular structures with transparent conducting oxide top electrodes with Al fingers and metal back electrodes deposited through the shadow masks. Individual structures are connected in series forming eight rows with connection ports provided for external blocking diodes. The design optimization and device performance analysis are performed using a developed SPICE model.

Análise da capacidade vital e da máxima capacidade de insuflação: relação com a função bulbar nos doentes com Esclerose Lateral Amiotrófica

Introdução: A Esclerose Lateral Amiotrófica (ELA) é considerada uma das doenças neuromusculares (DNM) com características mais limitantes e fatais, sendo caracterizada por fraqueza muscular progressiva. Objectivo: Analisar a evolução da Capacidade Vital e da Máxima Capacidade Inspiratória em doentes com ELA e a sua relação causal com a função bulbar. Procedimentos: A partir de uma população alvo de 203 pacientes com ELA, foram incluídos no estudo aqueles que tinham entre 2 a 4 testes de função respiratória considerados válidos (CV <2000ml) perfazendo um total de 22 indivíduos. As medidas CV e MCI foram analisadas. Resultados: A CV diminuiu ao longo do tempo (media±desvio padrão no 1ºmomento de avaliação =1779,5±692,3; media±desvio padrão no 4ºmomento de avaliação =1108,6±475,7). O comportamento da MCI foi mais estável ao longo dos 4 momentos de avaliação. Avaliou-se a correlação entre as duas variáveis, destacando-se a relação existente entre as duas nos doentes bulbares (coeficiente = 1). Quando avaliada a diferença entre a CV e a MCI, verificamos que o nível de significância no grupo (n=22) aumentou ao longo do tempo. Ao comparamos esta diferença por subgrupos, registou-se uma diferença significativa apenas nos doentes bulbares (1ºmomento – p=0,008 e último momento de avaliação – p 0). Conclusão: Nos doentes com disfunção bulbar a CV diminui ao longo do tempo. A relação entre MCI e CV é um bom factor preditivo da evolução e prognóstico da doença e de diagnóstico do envolvimento da musculatura bulbar.

Contributo dos músculos respiratórios para a fisiopatologia da hipercápnia na doença pulmonar crónica estabilizada: parte 1 = The role of the respiratory muscles in the pathophisiology of chronic hypercapnia in clinically stable chronic obstructive pulmonary diseases: part 1

Rev Port Pneumol. VII(2): 191-208, 2001

Immunoglobulins and C3 in the P. brasiliensis granuloma

The experimental model of paracoccidioidomycosis induced in mice by the intravenous injection of yeast-forms of P. brasiliensis (Bt2 strain; 1 x 10(6) viable fungi/animal) was used to evaluate sequentially 2, 4, 8, 16 and 20 weeks after inoculation: 1. The presence of immunoglobulins and C3 in the pulmonary granuloma-ta, by direct immunofluorescence; 2. The humoral (immunodiffusion test) and the cellular (footpad sweeling test) immune response; 3. The histopathology of lesions. The cell-immune response was positive since week 2, showing a transitory depression at week 16. Specific antibodies were first detected at week 4 and peaked at week 16. At histology, epithelioid granulomas with numerous fungi and polymorphonuclear agreggates were seen. The lungs showed progressive involvement up to week 16, with little decrease at week 20. From week 2 on, there were deposits of IgG and C3 around fungal walls within the granulomas and IgG stained cells among the mononuclear cell peripheral halo. Interstitital immunoglobulins and C3 deposits in the granulomas were not letected. IgG and C3 seen to play an early an important role in. the host defenses against P. brasiliensis by possibly cooperating in the killing of parasites and blocking the antigenic diffusion.

Coral snake venoms: mode of action and pathophysiology of experimental envenomation

Coral snakes, the New World Elapidae, are included in the genera Micniroides and Micrurus. The genus Mlcrurus comprises nearly all coral snake species and those which are responsible for human snake-bite accidents. The following generalizations concerning the effects induced by their venoms, and their venom-properties can be made. Coral snake venoms are neurotoxic, producing loss of muscle strenght and death by respiratory paralysis. Local edema and necrosis are not induced nor blood coagulation or hemorrhages. Proteolysis activity is absent or of very low grade. They display phospholipase A2 activity. Nephrotoxic effects are not evoked. The main toxins from elapid venoms are postsynaptic and presynaptic neurotoxins and cardiotoxins. Phospholipases A2 endowed with myonecrotic or cardiotoxin-like properties are important toxic components from some elapid venoms. The mode of action of Micrurus frontalis, M. lemniscatus, M. corallinus and M. fulvius venoms has been investigated in isolated muscle preparations and is here discussed. It is shown that while M. frontalis and M. lemniscatus venoms must contain only neurotoxins that act at the cholinergic end-plate receptor (postsynaptic neurotoxins), M. corallinus venom also inhibits evoked acetylcholine release by the motor nerve endings (presynaptic neurotoxin-like effect) and M. fulvius induces muscle fiber membrane depolarization (cardiotoxin-like effect). The effects produced by M. corallinus and M. fulvius venoms in vivo in dogs and M. frontalis venom in dogs and monkeys are also reported.

Aplicação de zeólitos hierárquicos a reacções de acilação de Friedel-Crafts

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Química

Neostigmine in the treatment of snake accidents caused by Micrurus frontalis: report of two cases

Antivenom in order to be effective in the treatment of coral snake accidents must be injected very soon after the bite owing to the rapid rate of absorption of the venom neurotoxins. As this is not always possible, other forms of treatment besides serotherapy must be employed to avoid asphyxia and death. Neostigmine and artificial respiration are used for this purpose. Neostigmine restores neuromuscular transmission if the venom-induced blockade results from a reversible interaction of its neurotoxins with the end-plate receptors. This is the mechanism of the neuromuscular blockade produced by the venom of M. frontalis snakes from centereastern and southern Brazil, and Argentine. Neostigmine is able, therefore, to antagonize the blockade, and has been shown to be very effective in the treatment of the experimental envenomation of dogs and monkeys. In the present communication, two cases of M. frontalis accidents treated with antivenom and neostigmine are reported. In both, neostigmine was successful in producing regression of the paralysis, confirming the effectiveness shown in the treatment of the poisoning induced in animals by M. frontalis venom.

ELISA test for the diagnosis of cysticercosis in pigs using antigens of Taenia solium and Taenia crassiceps cysticerci

In the present study ELISA was standardized for the diagnosis of swine cysticercosis based on necropsy parameters and confirmed positive and negative control sera. Serum samples from pigs with other infections were also assayed to determine possible cross-reactions. Four antigens were assayed: from Taenia crassiceps vesicular fluid (VF-Tcra) and crude larvae extract (T-Tcra), and from Taenia solium extracts of scolex (S-Ts) and of larvae (T-Ts). A checkerboard evaluation of antigen, serum and conjugate dilutions, as well as the use of Tween-20 and skim cow milk in wash and blocking solution had a marked effect on improving ELISA performance. All the antigens showed a good performance, but VF-Tcra was the best, with 96.0% and 80.0% sensitivities for cut-offs respectively at 2sd and 3sd, and corresponding specificities of 97.5% and 100.0%. Cross-reactivity was observed only with hydatidosis and ascaridiosis. In view of the high performance observed, the ELISA test should be recommended for the diagnosis of cysticercosis in suspected swine in slaughterhouses and for the screening of cysticercosis in swine production. These results will support integrated measures of cysticercosis control throughout the chain of swine production, effectively contributing to public health.