Slotted wiDom: schedulability analysis and its experimental validation

WiDom is a wireless prioritized medium access control protocol which offers a very large number of priority levels. Hence, it brings the potential to employ non-preemptive static-priority scheduling and schedulability analysis for a wireless channel assuming that the overhead of WiDom is modeled properly. One schedulability analysis for WiDom has already been proposed but recent research has created a new version of WiDom (we call it: Slotted WiDom) with lower overhead and for this version of WiDom no schedulability analysis exists. In this paper we propose a new schedulability analysis for slotted WiDom and extend it to work also for message streams with release jitter. We have performed experiments with an implementation of slotted WiDom on a real-world platform (MicaZ). We find that for each message stream, the maximum observed response time never exceeds the calculated response time and hence this corroborates our belief that our new scheduling theory is applicable in practice.

A 12*(1+|R|/(4m))-speed algorithm for scheduling constrained-deadline sporadic real-time tasks on a multiprocessor comprising m processors where a task may request one of |R| sequentially-reusable shared resources

We present a 12*(1+|R|/(4m))-speed algorithm for scheduling constrained-deadline sporadic real-time tasks on a multiprocessor comprising m processors where a task may request one of |R| sequentially-reusable shared resources.

An implicit GTS allocation mechanism in IEEE 802.15.4 for time-sensitive wireless sensor networks: theory and practice

Timeliness guarantee is an important feature of the recently standardized IEEE 802.15.4 protocol, turning it quite appealing for Wireless Sensor Network (WSN) applications under timing constraints. When operating in beacon-enabled mode, this protocol allows nodes with real-time requirements to allocate Guaranteed Time Slots (GTS) in the contention-free period. The protocol natively supports explicit GTS allocation, i.e. a node allocates a number of time slots in each superframe for exclusive use. The limitation of this explicit GTS allocation is that GTS resources may quickly disappear, since a maximum of seven GTSs can be allocated in each superframe, preventing other nodes to benefit from guaranteed service. Moreover, the GTS may be underutilized, resulting in wasted bandwidth. To overcome these limitations, this paper proposes i-GAME, an implicit GTS Allocation Mechanism in beacon-enabled IEEE 802.15.4 networks. The allocation is based on implicit GTS allocation requests, taking into account the traffic specifications and the delay requirements of the flows. The i-GAME approach enables the use of one GTS by multiple nodes, still guaranteeing that all their (delay, bandwidth) requirements are satisfied. For that purpose, we propose an admission control algorithm that enables to decide whether to accept a new GTS allocation request or not, based not only on the remaining time slots, but also on the traffic specifications of the flows, their delay requirements and the available bandwidth resources. We show that our approach improves the bandwidth utilization as compared to the native explicit allocation mechanism defined in the IEEE 802.15.4 standard. We also present some practical considerations for the implementation of i-GAME, ensuring backward compatibility with the IEEE 801.5.4 standard with only minor add-ons. Finally, an experimental evaluation on a real system that validates our theoretical analysis and demonstrates the implementation of i-GAME is also presented

Highly scalable aggregate computations in cyber-physical systems: physical environment meets communication protocols

In this paper, we focus on large-scale and dense Cyber- Physical Systems, and discuss methods that tightly integrate communication and computing with the underlying physical environment. We present Physical Dynamic Priority Dominance ((PD)2) protocol that exemplifies a key mechanism to devise low time-complexity communication protocols for large-scale networked sensor systems. We show that using this mechanism, one can compute aggregate quantities such as the maximum or minimum of sensor readings in a time-complexity that is equivalent to essentially one message exchange. We also illustrate the use of this mechanism in a more complex task of computing the interpolation of smooth as well as non-smooth sensor data in very low timecomplexity.

A Java expression evaluator for nonlinear programming

Finding the optimal value for a problem is usual in many areas of knowledge where in many cases it is needed to solve Nonlinear Optimization Problems. For some of those problems it is not possible to determine the expression for its objective function and/or its constraints, they are the result of experimental procedures, might be non-smooth, among other reasons. To solve such problems it was implemented an API contained methods to solve both constrained and unconstrained problems. This API was developed to be used either locally on the computer where the application is being executed or remotely on a server. To obtain the maximum flexibility both from the programmers’ and users’ points of view, problems can be defined as a Java class (because this API was developed in Java) or as a simple text input that is sent to the API. For this last one to be possible it was also implemented on the API an expression evaluator. One of the drawbacks of this expression evaluator is that it is slower than the Java native code. In this paper it is presented a solution that combines both options: the problem can be expressed at run-time as a string of chars that are converted to Java code, compiled and loaded dynamically. To wide the target audience of the API, this new expression evaluator is also compatible with the AMPL format.

Maximum-revenue tariff under Bertrand duopoly with unknown costs

This paper considers an international trade under Bertrand model with differentiated products and with unknown production costs. The home government imposes a specific import tariff per unit of imports from the foreign firm. We prove that this tariff is decreasing in the expected production costs of the foreign firm and increasing in the production costs of the home firm. Furthermore, it is increasing in the degree of product substitutability. We also show that an increase in the tariff results in both firms increasing their prices, an increase in both expected sales and expected profits for the home firm, and a decrease in both expected sales and expected profits for the foreign firm.

Maximum-revenue tariff with different roles in a price-setting competition

Published also at Lecture Notes in Engineering and Computer Science

Automated synthesis procedure of RF discrete tuning differential capacitance circuits

The paper presents a RFDSCA automated synthesis procedure. This algorithm determines several RFDSCA circuits from the top-level system specifications all with the same maximum performance. The genetic synthesis tool optimizes a fitness function proportional to the RFDSCA quality factor and uses the epsiv-concept and maximin sorting scheme to achieve a set of solutions well distributed along a non-dominated front. To confirm the results of the algorithm, three RFDSCAs were simulated in SpectreRF and one of them was implemented and tested. The design used a 0.25 mum BiCMOS process. All the results (synthesized, simulated and measured) are very close, which indicate that the genetic synthesis method is a very useful tool to design optimum performance RFDSCAs.

Estudo de uma instalação de climatização adiabática

Esta dissertação teve como objetivo o estudo de uma central de climatização adiabática, que tem como finalidade controlar a temperatura e a humidade de um salão com equipamentos de torcedura e de bobinagem, pertencente à Continental - ITA. Foi realizado um levantamento de dados relativamente à temperatura e humidade interior e exterior do referido salão. Verificou-se que estes parâmetros não estavam dentro dos valores ótimos desejados, 26 ± 1˚C e 50 ± 5%, e por isso foi necessário estimar as necessidades nominais de arrefecimento. Este valor foi determinado a partir do Regulamento das Características de Comportamento Térmico dos Edifícios (RCCTE), obtendo-se o valor de 79 kWh/m2.˚C. No sentido de avaliar se as centrais de climatização instaladas no salão em estudo satisfaziam estas necessidades, calcularam-se as suas capacidades de arrefecimento obtendo-se um valor máximo de 64 kWh/m2.˚C. Paralelamente a este estudo, foi calculada a eficiência de humidificação para cada central nos meses de março e setembro. Os valores obtidos foram oscilantes obtendo-se um valor máximo de 100% em setembro. Este fato deve-se à temperatura exterior neste mês ser mais alta e, por consequência, a eficiência de humidificação da central é maior, pois a quantidade de água que o ar pode conter na sua composição é também mais elevada. Com o objetivo de colmatar a diferença entre as necessidades nominais de arrefecimento e a capacidade de arrefecimento das centrais, foram analisadas algumas soluções que, a serem implementadas, poderiam ajudar na poupança energética. Uma dessas soluções era a substituição do sistema atual de humidificação por um sistema mais eficiente de alta pressão. Com o estudo económico deste investimento obteve-se um período de retorno de dois anos. Foram ainda apresentados mais dois investimentos onde foi alterado o sistema de controlo automático existente, obtendo-se para um, dois anos de período de retorno e para o outro três anos e meio.

Dimensionamento de uma central de miniprodução fotovoltaica para uma exploração agrícola direcionada à indústria de laticínios

Este documento apresenta o trabalho desenvolvido no âmbito da disciplina de “Dissertação/Projeto/Estágio”, do 2º ano do Mestrado em Energias Sustentáveis. O crescente consumo energético das sociedades desenvolvidas e emergentes, associado ao consequente aumento dos custos de energia e dos danos ambientais resultantes, promove o desenvolvimento de novas formas de produção de energia, as quais têm como prioridade a sua obtenção ao menor custo possível e com reduzidos impactos ambientais. De modo a poupar os recursos naturais e reduzir a emissão com gases de efeito de estufa, é necessária a diminuição do consumo de energia produzida a partir de combustíveis fósseis. Assim, devem ser criadas alternativas para um futuro sustentável, onde as fontes renováveis de energia assumam um papel fundamental. Neste sentido, a produção de energia elétrica, através de sistemas solares fotovoltaicos, surge como uma das soluções. A presente dissertação tem como principal objetivo a realização do dimensionamento de uma central de miniprodução fotovoltaica, com ligação à rede elétrica, em uma exploração agrícola direcionada à indústria de laticínios, e o seu respetivo estudo de viabilidade económica. A exploração agrícola, que serve de objeto de estudo, está localizada na Ilha Graciosa, Açores, sendo a potência máxima a injetar na Rede Elétrica de Serviço Público, pela central de miniprodução, de 10 kW. Para o dimensionamento foi utilizado um software apropriado e reconhecido na área da produção de energia elétrica através de sistemas fotovoltaicos – o PVsyst –, compreendendo as seguintes etapas: a) definição das caraterísticas do local e do projeto; b) seleção dos módulos fotovoltaicos; c) seleção do inversor; d) definição da potência de ligação à rede elétrica da unidade de miniprodução. Posteriormente, foram estudadas diferentes hipóteses de sistemas fotovoltaicos, que se distinguem na opção de estrutura de fixação utilizada: dois sistemas fixos e dois com eixo incorporado. No estudo de viabilidade económica foram realizadas duas análises distintas a cada um dos sistemas fotovoltaicos considerados no dimensionamento, nomeadamente: uma análise em regime remuneratório bonificado e uma análise em regime remuneratório geral. Os resultados obtidos nos indicadores económicos do estudo de viabilidade económica realizado, serviram de apoio à decisão pelo sistema fotovoltaico mais favorável ao investimento. Conclui-se que o sistema fotovoltaico com inclinação adicional é a opção mais vantajosa em ambos os regimes remuneratórios analisados. Comprova-se, assim, que o sistema fotovoltaico com maior valor de produção de energia elétrica anual, que corresponde ao sistema fotovoltaico de dois eixos, não é a opção com maior rentabilidade em termos económicos, isto porque a remuneração proveniente da sua produção excedente não é suficiente para colmatar o valor do investimento mais acentuado de modo a obter indicadores económicos mais favoráveis, que os do sistema fotovoltaico com inclinação adicional. De acordo com o estudo de viabilidade económica efetuado independentemente do sistema fotovoltaico que seja adotado, é recuperado o investimento realizado, sendo a remuneração efetiva superior à que foi exigida. Assim, mesmo tendo em consideração o risco associado, comprova-se que todos os sistemas fotovoltaicos, em qualquer dos regimes remuneratórios, correspondem a investimentos rentáveis.

Couro pergaminho e couro transparente: desenvolvimento de processo

Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química

Problemática associada à utilização de diferentes tipos de mochila para transporte de material escolar

O transporte de cargas é uma tarefa comum para crianças, adolescentes e adultos, pela necessidade de transferência diária de objetos pessoais, livros e artigos de papelaria para os locais de trabalho ou escolas. Diversos autores apontam que o peso carregado durante transporte de material é o principal responsável pelo aparecimento de dor lombar. Deste modo é importante o constante estudo da temática para a definição recomendações e limites. O presente estudo teve como principais objetivos a caraterização da problemática associada à utilização de mochilas e a determinação do Peso Máximo Aceitável (PMA) e do Índice de Esforço Percebido (IEP) para a tarefa de transporte de mochilas, através da abordagem psicofísica. O estudo foi desenvolvido com estudantes do 7º, 8º e 9º ano de escolaridade e, foi dividido em duas fases. Na 1ª fase foram aplicados questionários para a análise da problemática associada à utilização de diferentes tipos de mochilas escolares. Nesta fase, foram incluídos aspetos associados à identificação do tipo de mochila mais utilizada, as rotinas e hábitos dos estudantes e as características da mochila utilizada. Verificou-se que os estudantes utilizam, maioritariamente, a mochila de duas alças para transporte de material escolar. Posteriormente foram efetuadas medições de peso da mochila, altura e peso aos 131 estudantes que constituíram a amostra da 1º fase. O principal objetivo deste ponto foi identificar o tipo de mochila habitualmente utilizada pelos estudantes assim como, o peso transportado nas mochilas. Na 2ª fase foi efetuado um estudo para a determinação do PMA e do IEP, através da abordagem psicofísica, para a tarefa de transporte de mochila, considerando-se uma amostra constituída por 10 estudantes. Para este estudo, apenas foi considerada a mochila mais frequentemente utilizada, identificada na 1º fase. A tarefa consistiu no transporte da mochila nos dois ombros e com as alças devidamente ajustadas ao corpo, num percurso pré-definido, de acordo com o procedimento experimental. Os resultados indicaram que nem todos os estudantes transportam mochilas com pesos dentro das recomendações da Organização Mundial de Saúde. O PMA determinado pelos estudantes foi de 6.8 kg para a mochila de duas alças e a região dos ombros foi identificada durante todo o estudo como sendo a que apresentava maior intensidade de dor durante o transporte da mochila.

Mitochondria are the main source and one of the targets of Pb (lead)-induced oxidative stress in the yeast Saccharomyces cerevisiae

The yeast Saccharomyces cerevisiae is a useful model organism for studying lead (Pb) toxicity. Yeast cells of a laboratory S. cerevisiae strain (WT strain) were incubated with Pb concentrations up to 1,000 μmol/l for 3 h. Cells exposed to Pb lost proliferation capacity without damage to the cell membrane, and they accumulated intracellular superoxide anion (O2 .−) and hydrogen peroxide (H2O2). The involvement of the mitochondrial electron transport chain (ETC) in the generation of reactive oxygen species (ROS) induced by Pb was evaluated. For this purpose, an isogenic derivative ρ0 strain, lacking mitochondrial DNA, was used. The ρ0 strain, without respiratory competence, displayed a lower intracellular ROS accumulation and a higher resistance to Pb compared to the WT strain. The kinetic study of ROS generation in yeast cells exposed to Pb showed that the production of O2 .− precedes the accumulation of H2O2, which is compatible with the leakage of electrons from the mitochondrial ETC. Yeast cells exposed to Pb displayed mutations at the mitochondrial DNA level. This is most likely a consequence of oxidative stress. In conclusion, mitochondria are an important source of Pb-induced ROS and, simultaneously, one of the targets of its toxicity.

Prova de Consciência Morfológica (PCM): contributos para a sua validação

A relação entre consciência fonológica e consciência morfológica e a contribuição independente de cada uma para a aprendizagem da leitura não reúnem ainda consenso na literatura. Alguns autores argumentam que a consciência morfológica não contribui de forma independente da consciência fonológica para a aprendizagem da leitura. No entanto, outros encontraram dados que indicam que a consciência morfológica tem um papel específi co na progressão da aprendizagem da leitura. Todavia, para além da variedade de tarefas usadas não permitir a comparação de resultados, a ausência de estudos prévios sobre a validade e a fi delidade das mesmas conduz a resultados cuja confi abilidade pode ser posta em causa. Este estudo tem como objetivo apresentar uma análise das qualidades psicométricas da PCM - Prova de Consciência Morfológica. A amostra é constituída por 243 crianças do 2.º (n = 79), 3.º (n = 83) e 4.º (n = 81) anos frequentando escolas públicas, urbanas, do distrito do Porto (norte de Portugal). Os resultados revelaram que a PCM possui uma elevada consistência interna (α = .95). Na análise em componentes principais, foi extraído um único fator, com valor próprio igual a 10.88, que explica 54.42% da variância total dos resultados. Os itens são todos saturados no fator, variando as saturações fatoriais entre um mínimo de .42 e o máximo de .91

Task assignment algorithms for two-type heterogeneous multiprocessors

Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising two different types of processors—such a platform is referred to as two-type platform. We present two low degree polynomial time-complexity algorithms, SA and SA-P, each providing the following guarantee. For a given two-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then (i) using SA, it is guaranteed to find such an assignment where the same restriction on task migration applies but given a platform in which processors are 1+α/2 times faster and (ii) SA-P succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which processors are 1+α times faster. The parameter 0<α≤1 is a property of the task set; it is the maximum of all the task utilizations that are no greater than 1. We evaluate average-case performance of both the algorithms by generating task sets randomly and measuring how much faster processors the algorithms need (which is upper bounded by 1+α/2 for SA and 1+α for SA-P) in order to output a feasible task assignment (intra-migrative for SA and non-migrative for SA-P). In our evaluations, for the vast majority of task sets, these algorithms require significantly smaller processor speedup than indicated by their theoretical bounds. Finally, we consider a special case where no task utilization in the given task set can exceed one and for this case, we (re-)prove the performance guarantees of SA and SA-P. We show, for both of the algorithms, that changing the adversary from intra-migrative to a more powerful one, namely fully-migrative, in which tasks can migrate between processors of any type, does not deteriorate the performance guarantees. For this special case, we compare the average-case performance of SA-P and a state-of-the-art algorithm by generating task sets randomly. In our evaluations, SA-P outperforms the state-of-the-art by requiring much smaller processor speedup and by running orders of magnitude faster.