Maximizing contention-free executions in multiprocessor scheduling

It is widely assumed that scheduling real-time tasks becomes more difficult as their deadlines get shorter. With deadlines shorter, however, tasks potentially compete less with each other for processors, and this could produce more contention-free slots at which the number of competing tasks is smaller than or equal to the number of available processors. This paper presents a policy (called CF policy) that utilizes such contention-free slots effectively. This policy can be employed by any work-conserving, preemptive scheduling algorithm, and we show that any algorithm extended with this policy dominates the original algorithm in terms of schedulability. We also present improved schedulability tests for algorithms that employ this policy, based on the observation that interference from tasks is reduced when their executions are postponed to contention-free slots. Finally, using the properties of the CF policy, we derive a counter-intuitive claim that shortening of task deadlines can help improve schedulability of task systems. We present heuristics that effectively reduce task deadlines for better scheduability without performing any exhaustive search.

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.

Molecular mobility of n-ethylene glycol dimethacrylate glass formers upon free radical polymerization

Quando um líquido evita a cristalização durante o arrefecimento, diz-se que entra no estado sobrearrefecido. Se a temperatura continuar a diminuir, o consequente aumento da viscosidade reflecte-se na mobilidade molecular de tal maneira que os tempos característicos se tornam da mesma ordem de grandeza que os tempos acessíveis experimentalmente. Se o arrefecimento continuar, o líquido altamente viscoso acaba por vitrificar, i.e. entra no estado vítreo onde apenas os movimentos locais são permitidos. Os monómeros da família n -etileno glicol dimetacrilato ( n -EGDMA, para n = 1 até 4, que constituem o objecto deste estudo, facilmente evitam a cristalização, sendo pois bons candidatos para estudar a mobilidade molecular nos estados sobrearrefecido e vítreo. A Espectroscopia de Relaxação Dieléctrica (DRS) foi a técnica escolhida para obter informação detalhada sobre a sua dinâmica molecular (Capítulos 1 e 2). A primeira parte deste trabalho consistiu na caracterização dieléctrica dos processos de relaxação existentes acima e abaixo da temperatura de transição vítrea (g T ), a qual aumenta com o aumento do peso molecular (w M ), sendo este resultado confirmado por Calorimetria Diferencial de Varrimento (DSC). No que respeita ao processo cooperativo a , associado à transição vítrea, e ao processo secundário b, observa-se uma dependência com w M , enquanto que o outro processo secundário, g , aparenta ser independente deste factor (Capítulo 3). Nos capítulos seguintes, foram levadas a cabo diferentes estratégias com o objectivo de clarificar os mecanismos que estão na origem destas duas relaxações secundárias (b e g ), assim como conhecer a sua respectiva relação com a relaxação principal (a ). Do estudo, em tempo real, da polimerização isotérmica via radicais livres do TrEGDMA por Calorimetria de Varrimento Diferencial com Modulação de Temperatura (TMDSC), levado a cabo a temperaturas abaixo da g T do polímero final, concluem-se entre outros, dois importantes aspectos: i) que a vitrificação do polímero em formação conduz a graus de conversão relativamente baixos, e ii) que o monómero que está por reagir é expulso da rede polimérica que se forma, dando lugar a uma clara separação de fases (Capítulo 4). Com base nesta informação, o passo seguinte foi estudar separadamente a polimerização isotérmica do di-, tri- e tetra-EGDMA, dando especial atenção às alterações de mobilidade do monómero ainda por reagir. Com as restrições impostas pela formação de ligações químicas, as relaxações a e b detectadas no monómero tendem a desaparecer no novo polímero formado, enquanto que a relaxação g se mantém quase inalterada. Os diferentes comportamentos que aparecem durante a polimerização permitiram a atribuição da origem molecular dos processos secundários: o processo g foi associado ao movimento twisting das unidades etileno glicol, enquanto que a rotação dos grupos carboxilo foi relacionada com a relaxação b (Capítulo 5). No que respeita ao próprio polímero, um processo de relaxação adicional foi detectado, pol b , no poly-DEGDMA, poly-TrEGDMA e poly-TeEGDMA, com características similares ao encontrado nos poli(metacrilato de n -alquilo). Este processo foi confirmado e bem caracterizado aquando do estudo da copolimerização do TrEGDMA com acrilato de metilo (MA) para diferentes composições (Capítulo 6). Para finalizar, o EGDMA, o elemento mais pequeno da família de monómeros estudada, além de vitrificar apresenta uma marcada tendência para cristalizar quer a partir do estado líquido ou do estado vítreo. Durante a cristalização, a formação de uma fase rígida afecta principalmente o processo a , cuja intensidade diminui sem no entanto se observarem modificações significativas na dependência do tempo de relaxação característico com a temperatura. Por outro lado, o processo secundário b torna-se melhor definido e mais estreito, o que pode ser interpretado em termos de uma maior homogeneidade dos micro-ambientes associados aos movimentos locais(Capítulo 7).

A traffic differentiation add-on to the IEEE 802.15.4 protocol: implementation and experimental validation over a real-time operating system

The IEEE 802.15.4 is the most widespread used protocol for Wireless Sensor Networks (WSNs) and it is being used as a baseline for several higher layer protocols such as ZigBee, 6LoWPAN or WirelessHART. Its MAC (Medium Access Control) supports both contention-free (CFP, based on the reservation of guaranteed time-slots GTS) and contention based (CAP, ruled by CSMA/CA) access, when operating in beacon-enabled mode. Thus, it enables the differentiation between real-time and best-effort traffic. However, some WSN applications and higher layer protocols may strongly benefit from the possibility of supporting more traffic classes. This happens, for instance, for dense WSNs used in time-sensitive industrial applications. In this context, we propose to differentiate traffic classes within the CAP, enabling lower transmission delays and higher success probability to timecritical messages, such as for event detection, GTS reservation and network management. Building upon a previously proposed methodology (TRADIF), in this paper we outline its implementation and experimental validation over a real-time operating system. Importantly, TRADIF is fully backward compatible with the IEEE 802.15.4 standard, enabling to create different traffic classes just by tuning some MAC parameters.

Static-priority scheduling over wireless networks with multiple broadcast domains

We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multiple broadcast domains, resolves the wireless hidden terminal problem and allows for parallel transmissions across a mesh network. Arbitration of messages is achieved without the notion of a master coordinating node, global clock synchronization or out-of-band signaling. The protocol relies on bit-dominance similar to what is used in the CAN bus except that in order to operate on a wireless physical layer, nodes are not required to receive incoming bits while transmitting. The use of bit-dominance efficiently allows for a much larger number of priorities than would be possible using existing wireless solutions. A MAC protocol with these properties enables schedulability analysis of sporadic message streams in wireless multihop networks.

Collision-free beacon scheduling mechanisms for IEEE 802.15.4/Zigbee cluster-tree wireless sensor networks

The recently standardized IEEE 802.15.4/Zigbee protocol stack offers great potentials for ubiquitous and pervasive computing, namely for Wireless Sensor Networks (WSNs). However, there are still some open and ambiguous issues that turn its practical use a challenging task. One of those issues is how to build a synchronized multi-hop cluster-tree network, which is quite suitable for QoS support in WSNs. In fact, the current IEEE 802.15.4/Zigbee specifications restrict the synchronization in the beacon-enabled mode (by the generation of periodic beacon frames) to star-based networks, while it supports multi-hop networking using the peer-to-peer mesh topology, but with no synchronization. Even though both specifications mention the possible use of cluster-tree topologies, which combine multi-hop and synchronization features, the description on how to effectively construct such a network topology is missing. This paper tackles this problem, unveils the ambiguities regarding the use of the cluster-tree topology and proposes two collision-free beacon frame scheduling schemes. We strongly believe that the results provided in this paper trigger a significant step towards the practical and efficient use of IEEE 802.15.4/Zigbee cluster-tree networks.

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.

Penalty fuzzy function for derivative-free optimization

Penalty and Barrier methods are normally used to solve Nonlinear Optimization Problems constrained problems. The problems appear in areas such as engineering and are often characterised by the fact that involved functions (objective and constraints) are non-smooth and/or their derivatives are not know. This means that optimization methods based on derivatives cannot net used. A Java based API was implemented, including only derivative-free optimizationmethods, to solve both constrained and unconstrained problems, which includes Penalty and Barriers methods. In this work a new penalty function, based on Fuzzy Logic, is presented. This function imposes a progressive penalization to solutions that violate the constraints. This means that the function imposes a low penalization when the violation of the constraints is low and a heavy penalisation when the violation is high. The value of the penalization is not known in beforehand, it is the outcome of a fuzzy inference engine. Numerical results comparing the proposed function with two of the classic penalty/barrier functions are presented. Regarding the presented results one can conclude that the prosed penalty function besides being very robust also exhibits a very good performance.

Improvement of a filters method in a derivative free optimization

Constraints nonlinear optimization problems can be solved using penalty or barrier functions. This strategy, based on solving the problems without constraints obtained from the original problem, have shown to be e ective, particularly when used with direct search methods. An alternative to solve the previous problems is the lters method. The lters method introduced by Fletcher and Ley er in 2002, , has been widely used to solve problems of the type mentioned above. These methods use a strategy di erent from the barrier or penalty functions. The previous functions de ne a new one that combine the objective function and the constraints, while the lters method treat optimization problems as a bi-objective problems that minimize the objective function and a function that aggregates the constraints. Motivated by the work of Audet and Dennis in 2004, using lters method with derivative-free algorithms, the authors developed works where other direct search meth- ods were used, combining their potential with the lters method. More recently. In a new variant of these methods was presented, where it some alternative aggregation restrictions for the construction of lters were proposed. This paper presents a variant of the lters method, more robust than the previous ones, that has been implemented with a safeguard procedure where values of the function and constraints are interlinked and not treated completely independently.

Microwave-assisted and solvent-free peroxidative oxidation of 1-phenylethanol to acetophenone with a CuII-TEMPO catalytic system

The water-soluble copper(II) complex [Cu(H2R)(HL)]center dot H2O (1) was prepared by reaction of copper(II) nitrate hydrate with (E)-2-(((1-hydroxynaphthalen-2-yl)methylene)amino) benzenesulfonic acid (H2L) and diethanolamine (H3R). It was characterized by IR and ESI-MS spectroscopies, elemental and X-ray crystal structural analyses. 1 shows a high catalytic activity for the solvent-free microwave (MW) assisted oxidation of 1-phenylethanol with tert-butylhydroperoxide, leading, in the presence of TEMPO, to yields up to 85% (TON = 850) in a remarkably short reaction time (15 min, with the corresponding TOE value of 3.40 x 10(3) h(-1)) under low power (25W) MW irradiation. Crown Copyright (C) 2014 Published by Elsevier B.V. All rights reserved.

Minimal anomaly-free chiral fermion sets and gauce coupling unification

We look for minimal chiral sets of fermions beyond the standard model that are anomaly free and, simultaneously, vectorlike particles with respect to color SU(3) and electromagnetic U(1). We then study whether the addition of such particles to the standard model particle content allows for the unification of gauge couplings at a high energy scale, above 5.0 x 10(15) GeV so as to be safely consistent with proton decay bounds. The possibility to have unification at the string scale is also considered. Inspired in grand unified theories, we also search for minimal chiral fermion sets that belong to SU(5) multiplets, restricted to representations up to dimension 50. It is shown that, in various cases, it is possible to achieve gauge unification provided that some of the extra fermions decouple at relatively high intermediate scales.

Free-trade agreements: challenges for global health

In this study new free-trade agreements are discussed, which are based on the breaking down of tariff and technical barriers and normally exclude most of the poorest countries in the world. Considering the current context of economic globalization and its health impacts, seven controversial points of these treaties and their possible implications for global public health are presented, mainly regarding health equity and other health determinants. Finally, this research proposes a greater social and health professionals participation in the formulation and discussion of these treaties, and a deeper insertion of Brazil in this important international agenda.

Serum trace elements in dysphagic gastrostomy candidates before endoscopic gastrostomy for long term enteral feeding

Background & aims - Patients who underwent endoscopic gastrostomy (PEG) present protein-energy malnutrition, but little is known about Trace Elements (TE), Zinc (Zn), Copper (Cu), Selenium (Se), Iron (Fe), Chromium (Cr). Our aim was the evaluation of serum TE in patients who underwent PEG and its relationship with serum proteins, BMI and nature of underlying disorder. Methods - A prospective observational study was performed collecting: patient's age, gender, underlying disorder, NRS-2002, BMI, serum albumin, transferrin and TE concentration. We used ferrozine colorimetric method for Fe; Inductively Coupled Plasma-Atomic Emission Spectroscopy for Zn/Cu; Furnace Atomic Absorption Spectroscopy for Se/Cr. The patients were divided into head and neck cancer (HNC) and neurological dysphagia (ND). Results - 146 patients (89 males), 21–95 years: HNC-56; ND-90. Low BMI in 78. Low values mostly for Zn (n = 122) and Fe (n = 69), but less for Se (n = 31), Cu (n = 16), Cr (n = 7); low albumin in 77, low transferrin in 94 and 66 with both proteins low. Significant differences between the groups of underlying disease only for Zn (t140.326 = −2,642, p < 0.01) and a correlation between proteins and TE respectively albumin and Zn (r = 0.197, p = 0.025), and albumin and Fe (r = 0.415, p = 0.000). Conclusions - When gastrostomy was performed, patients display low serum TE namely Zn, but also Fe, less striking regarding others TE. It was related with prolonged fasting, whatever the underlying disease. Low proteins were associated with low TE. Teams taking care of PEG-patients should use Zn supplementation and include other TE evaluation as part of the nutritional assessment of PEG candidates.

Study on the growth promoting capacity of calf and fetal bovine serum for animal cells "in vitro" II: electrophoretic study and survey on the antiproteolytic activity of pools of calf and fetal bovine serum

Calf serum and fetal bovine serum present great variability as to its growth promoting efficiency (GPE). As supplement of culture media to cultivate cells of animal origin they stimulate the "in vitro" multiplication and maintain cell viability. When fourteen lots of calf sera of variable GPE had the total protein contents as well as the percentages of serum fractions determined, no significant differences that could possibly explain the variability of the GPE were observed. Evaluation of the antiproteolytic activity of nineteen lots of calf serum and eighteen serum lots of younger calves showed that the former exhibited lower antiproteolytic titers (1:40 to 1:80) than the latter (1:80 to 1:160). Twelve lots of fetal bovine serum studied in parallel, showed the highest concentration of antiproteolytic factors, with titers equal to 1:320. Sera of bovine origin, but not fetal sera, are usually heat-inactivated, what was demonstrated to be responsible for the decrease of the antiproteolytic activity of 75% of the lots tested. This could explain the inability of certain heat-inactivated sera in promoting multiplication of some cells "in vitro", as verified with primary monkey kidney cells. The results obtained in this study indicated the convenience of submiting each lot of serum to be introduced in cell culture to previous determination of its characteristics, such as growth promoting efficiency, antiproteolytic activity and also toxicity, absence of extraneous agents, etc., in order to minimize the possibility of using serum lots of questionable quality, thus preventing not only the loss of cell lines, but also undesirable and sometimes expensive delays.