A pseudo-medium-wide 8-competitive interface for two-level compositional real-time scheduling of constrained- deadline sporadic tasks on a uniprocessor

Compositional real-time scheduling clearly requires that ”normal” real-time scheduling challenges are addressed but challenges intrinsic to compositionality must be addressed as well, in particular: (i) how should interfaces be described? and (ii) how should numerical values be assigned to parameters constituting the interfaces? The real-time systems community has traditionally used narrow interfaces for describing a component (for example, a utilization/bandwidthlike metric and the distribution of this bandwidth in time). In this paper, we introduce the concept of competitive ratio of an interface and show that typical narrow interfaces cause poor performance for scheduling constrained-deadline sporadic tasks (competitive ratio is infinite). Therefore, we explore more expressive interfaces; in particular a class called medium-wide interfaces. For this class, we propose an interface type and show how the parameters of the interface should be selected. We also prove that this interface is 8-competitive.

WiDom: a dominance protocol for wireless medium access

In this paper, we address the problem of sharing a wireless channel among a set of sporadic message streams where a message stream issues transmission requests with real-time deadlines. We propose a collision-free wireless medium access control (MAC) protocol which implements static-priority scheduling, supports a large number of priority levels and is fully distributed. It is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But, unlike that protocol, our protocol does not require a node having the ability to receive an incoming bit from the channel while transmitting to the channel. The evaluation of the protocol with real embedded computing platforms is presented to show that the proposed protocol is in fact collision-free and prioritized. We measure the response times of our implementation and show that the response-time analysis developed for the protocol offers an upper bound on the response times.

Delay-bounded medium access for unidirectional wireless links

Consider a wireless network where links may be unidirectional, that is, a computer node A can broadcast a message and computer node B will receive this message but if B broadcasts then A will not receive it. Assume that messages have deadlines. We propose a medium access control (MAC) protocol which replicates a message in time with carefully selected pauses between replicas, and in this way it guarantees that for every message at least one replica of that message is transmitted without collision. The protocol ensures this with no knowledge of the network topology and it requires neither synchronized clocks nor carrier sensing capabilities. We believe this result is significant because it is the only MAC protocol that offers an upper bound on the message queuing delay for unidirectional links without relying on synchronized clocks.

Preliminary discussion on globally prioritized medium access for multi-channel wireless systems

We discuss the development of a simple globally prioritized multi-channel medium access control (MAC) protocol for wireless networks. This protocol provides “hard” pre-run-time real-time guarantees to sporadic message streams, exploits a very large fraction of the capacity of all channels for “hard” real-time traffic and also makes it possible to fully utilize the channels with non real-time traffic when hard real-time messages do not request to be transmitted. The potential of such protocols for real-time applications is discussed and a schedulability analysis is also presented.

Implementation of a dominance protocol for wireless medium access

Consider the problem of scheduling sporadic message transmission requests with deadlines. For wired channels, this has been achieved successfully using the CAN bus. For wireless channels, researchers have recently proposed a similar solution; a collision-free medium access control (MAC) protocol that implements static-priority scheduling. Unfortunately no implementation has been reported, yet. We implement and evaluate it to find that the implementation indeed is collision-free and prioritized. This allows us to develop schedulability analysis for the implementation. We measure the response times of messages in our implementation and find that our new response-time analysis indeed offers an upper bound on the response times. This enables a new class of wireless real-time systems with timeliness guarantees for sporadic messages and it opens-up a new research area: schedulability analysis for wireless networks.

Collision-free prioritized medium access in the presence of hidden nodes without relying on out-of-band signaling

Consider the problem of sharing a wireless channel between a set of computer nodes. Hidden nodes exist and there is no base station. Each computer node hosts a set of sporadic message streams where a message stream releases messages with real-time deadlines. We propose a collision-free wireless medium access control (MAC) protocol which implements staticpriority scheduling. The MAC protocol allows multiple masters and is fully distributed. It neither relies on synchronized clocks nor out-of-band signaling; it is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But unlike that protocol, our protocol does not require a node having the ability to receive an incoming bit from the channel while transmitting to the channel. Our protocol has the key feature of not only being prioritized and collision-free but also dealing successfully with hidden nodes. This key feature enables schedulability analysis of sporadic message streams in multihop networks.

Collision-free prioritized medium access control in wireless networks with hidden nodes

We propose a collision-free medium access control (MAC) protocol, which implements static-priority scheduling and works in the presence of hidden nodes. The MAC protocol allows multiple masters and is fully distributed; it is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But unlike that protocol, our protocol does not require a node having the ability to sense the channel while transmitting to the channel. Our protocol is collision-free even in the presence of hidden nodes and it achieves this without synchronized clocks or out-of-band busy tones. In addition, the protocol is designed to ensure that many non-interfering nodes can transmit in parallel and it functions for both broadcast and unicast transmissions.

Internal consistency of the self-reporting questionnaire-20 in occupational groups

ABSTRACT OBJECTIVE To assess the internal consistency of the measurements of the Self-Reporting Questionnaire (SRQ-20) in different occupational groups. METHODS A validation study was conducted with data from four surveys with groups of workers, using similar methods. A total of 9,959 workers were studied. In all surveys, the common mental disorders were assessed via SRQ-20. The internal consistency considered the items belonging to dimensions extracted by tetrachoric factor analysis for each study. Item homogeneity assessment compared estimates of Cronbach’s alpha (KD-20), the alpha applied to a tetrachoric correlation matrix and stratified Cronbach’s alpha. RESULTS The SRQ-20 dimensions showed adequate values, considering the reference parameters. The internal consistency of the instrument items, assessed by stratified Cronbach’s alpha, was high (> 0.80) in the four studies. CONCLUSIONS The SRQ-20 showed good internal consistency in the professional categories evaluated. However, there is still a need for studies using alternative methods and additional information able to refine the accuracy of latent variable measurement instruments, as in the case of common mental disorders.

Growth curves of Leishmania braziliensis braziliensis Promastigotes and surface antigen expression before and after adaptation to Schneider's drosophila medium as assessed by anti-Leishmania human sera

Leishmania braziliensis braziliensis(MHOM/BR/75/M2903) was grown in Schneider's Drosophila medium. In one set of experiments promastigotes were already adapted to the medium by means of serial passages whereas in the second cells were grown in a biphasic medium and transfered to the liquid. Growth was more abundant for culture medium adapted cells; degenerate cells in small numbers as well as dead ones were present from day 5 for promastigotes adapted to liquid medium and from day 3 for newly adapted cells. Synthesis of surface antigens differed according to length of cell culture as assessed by the titer of five mucocutaneous leishmaniasis sera on subsequent days. Five days of culture for cells already adapted to the culture medium and 3 days for newly adapted ones were judged to be the best for the preparation of immunofluorescence antigens.

Consistency and Context Management in a Multi Agent Belief Revision Testbed

Multi-agent architectures are well suited for complex inherently distributed problem solving domains. From the many challenging aspects that arise within this framework, a crucial one emerges: how to incorporate dynamic and conflicting agent beliefs? While the belief revision activity in a single agent scenario is concentrated on incorporating new information while preserving consistency, in a multi-agent system it also has to deal with possible conflicts between the agents perspectives. To provide an adequate framework, each agent, built as a combination of an assumption based belief revision system and a cooperation layer, was enriched with additional features: a distributed search control mechanism allowing dynamic context management, and a set of different distributed consistency methodologies. As a result, a Distributed Belief Revision Testbed (DiBeRT) was developed. This paper is a preliminary report presenting some of DiBeRT contributions: a concise representation of external beliefs; a simple and innovative methodology to achieve distributed context management; and a reduced inter-agent data exchange format.

alpha-Co(OH)(2)/carbon nanofoam composite as electrochemical capacitor electrode operating at 2 V in aqueous medium

In this work, alpha-Co(OH)(2) is electrodeposited onto carbon nanofoam forming a composite electrode operating in a potential window of 2 V in aqueous medium. Prior to electrodeposition, the carbon nanofoam substrate is subjected to a functionalization process, which leads to an increase of about 40% in its specific capacitance value. Formation of cobalt hydroxide clusters onto the functionalized carbon nanofoam by pulse electrodeposition further enhances the specific capacitance of the electrode. The combination of these factors with an enlarged working potential window, results in a material with specific capacitance close to 300 F g(-1) at current density of 1 A g(-1), considering the total mass loading of the composite. This suggests the potential application of the prepared composites in high energy density electrochemical supercapacitors. (c) 2015 Elsevier B.V. All rights reserved.

Six sigma methodologies: implementation and impacts on Portuguese small and medium companies (SMES)

Artigo elaborador no âmbito dos trabalhos decorrentes à dissertação de Mestrado do Aluno David Leite, no Mestrado em Gestão Integrada Qualidade, Ambiente e Segurança, ESTGF-IPP, Oreintados pelos Professores Luís Fonseca (ISEP-IPP) e Vanda Lima (ESTGF-IPP).

Generalized synchronization in a system of several non-autonomous oscillators coupled by a medium

An abstract theory on general synchronization of a system of several oscillators coupled by a medium is given. By generalized synchronization we mean the existence of an invariant manifold that allows a reduction in dimension. The case of a concrete system modeling the dynamics of a chemical solution on two containers connected to a third container is studied from the basics to arbitrary perturbations. Conditions under which synchronization occurs are given. Our theoretical results are complemented with a numerical study.

In situ NIR spectroscopy monitoring of plasmid production processes effect of producing strain, medium composition and the cultivation strategy

BACKGROUNDWhile the pharmaceutical industry keeps an eye on plasmid DNA production for new generation gene therapies, real-time monitoring techniques for plasmid bioproduction are as yet unavailable. This work shows the possibility of in situ monitoring of plasmid production in Escherichia coli cultures using a near infrared (NIR) fiber optic probe. RESULTSPartial least squares (PLS) regression models based on the NIR spectra were developed for predicting bioprocess critical variables such as the concentrations of biomass, plasmid, carbon sources (glucose and glycerol) and acetate. In order to achieve robust models able to predict the performance of plasmid production processes, independently of the composition of the cultivation medium, cultivation strategy (batch versus fed-batch) and E. coli strain used, three strategies were adopted, using: (i) E. coliDH5 cultures conducted under different media compositions and culture strategies (batch and fed-batch); (ii) engineered E. coli strains, MG1655endArecApgi and MG1655endArecA, grown on the same medium and culture strategy; (iii) diverse E. coli strains, over batch and fed-batch cultivations and using different media compositions. PLS models showed high accuracy for predicting all variables in the three groups of cultures. CONCLUSIONNIR spectroscopy combined with PLS modeling provides a fast, inexpensive and contamination-free technique to accurately monitoring plasmid bioprocesses in real time, independently of the medium composition, cultivation strategy and the E. coli strain used.

Induction of iron regulated proteins during normal growth of Neisseria meningitidis in a chemically defined medium

The expression of iron regulated proteins (IRPs) in vitro has been obtained in the past by adding iron chelators to the culture after bacterial growth, in the presence of an organic iron source. We have investigated aspects concerning full expression of the meningococcal IRPs during normal growth, in defined conditions using Catlin medium, Mueller Hinton and Tryptic Soy Broth (TSB). The expression of IRPs varied between different strains with respect to Ethylenediamine Di-ortho-Hidroxy-phenyl-acetic acid (EDDA) concentrations, and according to culture medium, and also between different lots of TSB. For each strain, a specific set of IRPs were expressed and higher EDDA concentrations, or addition of glucose, or use of different culture media did not resulted in a differential expression of IRPs. We were not able to grow N. meningitidis under normal growth conditions using Desferal. We looked for a good yield of outer membrane vesicles (OMVs) expressing IRPs in iron-deficient Catlin medium containing EDDA and Hemin. Culture for 32 h at 30ºC after growing for 16 h at 37ºC supported good bacterial growth. Bacterial lysis was noted after additional 24 h at 30ºC. Approximately 4 times more OMVs was recoverable from a culture supernatant after 24 h at 30ºC than from the cells after 16 h at 37ºC. The IRP were as well expressed in OMVs from culture supernatant obtained after 24 h at 30ºC as from the cells after 16 h at 37ºC.