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.

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.

La social stock exchange au Portugal: un nouvel allié de l'économie sociale

Résumé Cet article vise à contribuer à la connaissance de la Bolsa de Valores Sociais (BVS) — Social Stock Exchange — récemment créé au Portugal, dont le but primatial était de permettre la prise de moyens de financement des entités de l'Économie Sociale engagées dans des projets d'éducation et d'entreprenariat. Il se penchera sur la qualification juridique des divers types d'entités cotées dans la BVS, sur le concept d'investisseur social et sur la protection dont il jouira, vis-à-vis des exigences de transparence et de gouvernance qui incombent à ces entités. Le thème proposé sera examiné en soulignant les virtualités et le potentiel de la BVS, faisant référence à l'un ou à l'autre sujet qui viennent à effet, avec un accent particulier sur l'avantage d'élaborer un code de gouvernance corporative pour les entités de l'Économie Sociale. Abstract This article aims to contribute to the knowledge of the Bolsa de Valores Sociais (BVS) — Social Stock Exchange — recently created in Portugal, whose primatial purpose was to allow the taking of means of financing the Social Economy entities, engaged in projects in education and entrepreneurship. It will reflect on the legal classification of the various types of entities rated in the BVS, on the concept of social investor and on the protection he will enjoy, leading to the consequent demands for transparency and governance that falls upon those entities. The proposed theme will be discussed highlighting the virtues and potential of BVS, playing in one or two topics that comes to purpose, with particular emphasis on the relevance of drawing up a code of corporate governance for entities of the Social Economy. Resumen Este artículo tiene como objetivo contribuir al conocimiento de la Bolsa de Valores Sociales (BVS), recientemente creada en Portugal, cuya finalidad principal es que las entidades de la economía social dedicadas a proyectos en las áreas de educación y de iniciativa empresarial puedan obtener medios financieros. Se abordará la calificación jurídica de los diversos tipos de entidades que cotizan en la BVS, así como el concepto de inversor social y la protección de que éste goza, con las consiguientes exigencias en materia de transparencia y de gobierno que recaen sobre esas entidades. Se analizará la temática propuesta destacando las virtudes y potencialidades de la BVS, sin omitir algún otro tópico adyacente que resulte relevante, en especial la conveniencia de que sea elaborado un código de gobernanza corporativa para las entidades de la economía social.

Estudo descritivo da unidade de cuidados intensivos e intermédios respiratórios do Hospital Clínico - Barcelona

Este estudo tem como objectivo descrever a Unidade de cuidados intensivos e intermédios respiratórios do Hospital Clínico em Barcelona de forma a caracterizá-la tanto ao nível de recursos materiais e humanos como em termos de protocolos usados. Esta unidade é considerada uma das melhores da Europa, dispondo da mais alta tecnologia, desenvolvendo protocolos baseados na evidência de forma a reduzir ao máximo a taxa de mortalidade neste local. O staff médico sempre em constante actualização, trabalhando muito no campo da investigação. Por outro lado, a fisioterapia integrante no Instituto Clínico do Tórax realiza menos investigação investindo mais no tratamento de doentes não intubados, tendo como técnicas de eleição posicionamento, mobilização, expiração forçada e hidratação oral. Em relação à VNI, muitos dos estudos referentes a este tema foram realizados pelo staff médico deste Hospital. O staff de fisioterapia é responsável pela adaptação da VNI nos pacientes hipercápnicos. Em conclusão, o número e tempo limitado de fisioterapeutas na unidade não contribuem para a aplicação de novas técnicas que requerem a intervenção de dois fisioterapeutas. Palavras-chave: unidade de cuidados intensivos respiratórios, unidade de cuidados intermédios respiratórios, VNI, papel dos fisioterapeutas respiratórios.

Conceptual model for decomposing the value for the customer

Value has been defined in different theoretical contexts as need, desire, interest, standard /criteria, beliefs, attitudes, and preferences. The creation of value is key to any business, and any business activity is about exchanging some tangible and/or intangible good or service and having its value accepted and rewarded by customers or clients, either inside the enterprise or collaborative network or outside. “Perhaps surprising then is that firms often do not know how to define value, or how to measure it” (Anderson and Narus, 1998 cited by [1]). Woodruff echoed that we need “richer customer value theory” for providing an “important tool for locking onto the critical things that managers need to know”. In addition, he emphasized, “we need customer value theory that delves deeply into customer’s world of product use in their situations” [2]. In this sense, we proposed and validated a novel “Conceptual Model for Decomposing the Value for the Customer”. To this end, we were aware that time has a direct impact on customer perceived value, and the suppliers’ and customers’ perceptions change from the pre-purchase to the post-purchase phases, causing some uncertainty and doubts.We wanted to break down value into all its components, as well as every built and used assets (both endogenous and/or exogenous perspectives). This component analysis was then transposed into a mathematical formulation using the Fuzzy Analytic Hierarchy Process (AHP), so that the uncertainty and vagueness of value perceptions could be embedded in this model that relates used and built assets in the tangible and intangible deliverable exchange among the involved parties, with their actual value perceptions.

International mobility in the Pharmacy degree at the school of allied health sciences of Oporto

Background: The Erasmus program is a subprogram of the Lifelong Learning program, exclusive for Higher Education that promotes (among other initiatives), the mobility of students(studies, training or internships). The mobility of students of higher education seeks to improve the quality and development of future professionals, providing a multidisciplinary and multicultural experience. Setting: Academic Pharmacy/Pharmacy Technicians Methods: We conducted a descriptive and transversal study on the implementation of the mobility program and analyze the results, which involved applying a survey to students. Results: Since 2009/2010, the Pharmacy Degree at ESTSP has established 7 SMs protocols resulting in an average mobility of 5 students IN and 7 Students OUT. We have also endeavoured in SMp Protocols for extracurricular training with an average of 3 students OUT. The application process is normally open during the year before the mobility period. For most of the students involved, this was a first time opportunity to be in a foreign country and more than 70% choose the mobility program because it is seen as a possibility to improve their curriculum, for personal development or even to pursue employment opportunities abroad. The mobility for teachers is also encouraged. Conclusions: The exchange of experiences and training, acquired during cooperation activities should be an element of continuous dynamics and institutional affirmation. Initiatives such as the ERASMUS Program contribute to the educational and scientific enrichment, and promote international competitiveness among Higher Education Institutions.

New insights on integer-programming models for the kidney exchange problem

In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient–donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.

Transfering data from a server to an Android Mobile application: a case study

Nowadays, due to the incredible grow of the mobile devices market, when we want to implement a client-server applications we must consider mobile devices limitations. In this paper we discuss which can be the more reliable and fast way to exchange information between a server and an Android mobile application. This is an important issue because with a responsive application the user experience is more enjoyable. In this paper we present a study that test and evaluate two data transfer protocols, socket and HTTP, and three data serialization formats (XML, JSON and Protocol Buffers) using different environments and mobile devices to realize which is the most practical and fast to use.

Integration of TCP/IP and PROFIBUS protocols

Recent technological developments are pulling fieldbus networks to support a new wide class of applications, such as industrial multimedia applications. These applications are usually supported by the widely used TCP/IP stack. It is thus essential to provide support to TCP/IP based applications, in fieldbus networks. This paper presents an effort that is being carried out to integrate the TCP/IP and PROFIBUS stacks, in order to support industrial multimedia applications, whilst guarantying the timing requirements of control-related traffic.

Supporting internet protocols in master-slave fieldbus networks

In this paper we describe how to integrate Internet Protocols (IP) into a typical hierarchical master-slave fieldbus network, supporting a logical ring token passing mechanism between master stations. The integration of the TCP/IP protocols in the fieldbus protocol rises a number of issues that must be addressed properly. In this paper we particularly address the issues related to the conveyance of IP fragments in fieldbus frames (fragmentation/de-fragmentation) and on how to support the symmetry inherent to the TCP/IP protocols in fieldbus slaves, which lack communication initiative.

Towards network-on-chip agreement protocols

Demands for functionality enhancements, cost reductions and power savings clearly suggest the introduction of multiand many-core platforms in real-time embedded systems. However, when compared to uni-core platforms, the manycores experience additional problems, namely the lack of scalable coherence mechanisms and the necessity to perform migrations. These problems have to be addressed before such systems can be considered for integration into the realtime embedded domain. We have devised several agreement protocols which solve some of the aforementioned issues. The protocols allow the applications to plan and organise their future executions both temporally and spatially (i.e. when and where the next job will be executed). Decisions can be driven by several factors, e.g. load balancing, energy savings and thermal issues. All presented protocols are analytically described, with the particular emphasis on their respective real-time behaviours and worst-case performance. The underlying assumptions are based on the multi-kernel model and the message-passing paradigm, which constitutes the communication between the interacting instances.

Two protocols without periodicity for the global and preemptive scheduling problem of multi-mode real-time systems upon multiprocessor Platforms

We consider the problem of scheduling a multi-mode real-time system upon identical multiprocessor platforms. Since it is a multi-mode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. We propose two protocols which ensure that all the expected requirements are met during every transition between every pair of operating modes of the system. Moreover, we prove the correctness of our proposed algorithms by extending the theory about the makespan determination problem.

A biased random-key genetic algorithm with forward-backward improvement for the resource constrained project scheduling problem

This paper presents a biased random-key genetic algorithm for the resource constrained project scheduling problem. The chromosome representation of the problem is based on random keys. Active schedules are constructed using a priority-rule heuristic in which the priorities of the activities are defined by the genetic algorithm. A forward-backward improvement procedure is applied to all solutions. The chromosomes supplied by the genetic algorithm are adjusted to reflect the solutions obtained by the improvement procedure. The heuristic is tested on a set of standard problems taken from the literature and compared with other approaches. The computational results validate the effectiveness of the proposed algorithm.

A random key based genetic algorithm for the resource constrained project scheduling problem

This paper presents a genetic algorithm for the Resource Constrained Project Scheduling Problem (RCPSP). The chromosome representation of the problem is based on random keys. The schedule is constructed using a heuristic priority rule in which the priorities of the activities are defined by the genetic algorithm. The heuristic generates parameterized active schedules. The approach was tested on a set of standard problems taken from the literature and compared with other approaches. The computational results validate the effectiveness of the proposed algorithm.

Otimização do processo produtivo de extrusão de pisos na E06

O presente trabalho foi elaborado no âmbito da Dissertação Final de Mestrado do curso de Engenharia Mecânica – Gestão Industrial do Instituto Superior de Engenharia do Porto. Este foi realizado numa empresa da indústria de pneus, a Continental Mabor S.A.. Nos dias atuais, a indústria esta cada vez mais competitiva, os custos e os prazos da entrega são cada vez mais reduzidos e a qualidade cada vez mais exigente, assim sendo, é imprescindível uma constante melhoria do sistema produtivo. Este fato fez com que o presente trabalho tivesse como principal objetivo determinar o estado atual e delinear um plano de melhoria para um equipamento (Extrusora de pisos nº6), recentemente instalado na fábrica mas oriundo de outra fábrica do grupo, recorrendo para tal ao Lean Manufacturing e a ferramentas que lhe estão associadas. Inicialmente realizou-se uma análise e diagnóstico ao processo de extrusão de pisos na Extrusora nº6, com o intuito de avaliar todas as suas ineficiências e ainda formular um plano de melhorias para a ineficiência de maior impacto no sistema produtivo. Esta análise foi realizada em diferentes turnos e diferentes equipas de trabalho de forma a se obter uma amostra mais representativa da realidade global. Após esta análise verificou-se que as principais ineficiências eram Setup, conformidade do material, dimensões e encravamentos, entre outros. Sendo que os Setup provocam um tempo de paragem de 101 minutos por turno, escolheu-se esta perturbação como o foco do plano de melhorias a realizar posteriormente. De forma a reduzir os tempos de mudança (Setup), o autor no presente trabalho utilizou ferramentas Lean Manufacturing, principalmente o SMED. Conjuntamente com o SMED ainda foram utilizadas outras ferramentas Lean Manufacturing tais como: 5S, Gestão Visual, Problem Solving e Normalização do Método de Trabalho. Após a implementação de todas estas ferramentas obteve-se uma redução de tempos de mudança de 43% com 1 operador e 71% com 2 operadores, ou seja, reduziu-se de 40,5 minutos gastos por turno para a mudança de fieira para 23,13 min e 11,79 min respetivamente, o que corresponde a um ganho monetário anual de 63.621€ ou 105.045€, respetivamente. Com este trabalho conclui-se que a utilização de ferramentas Lean Manufacturing contribuem para a redução dos desperdícios do processo produtivo. Por isso, espera-se que este estudo seja aplicado na Extrusora nº6 e nas restantes Extrusoras de pisos existentes na fábrica, e num futuro próximo que se realize estudos semelhantes em máquinas com diferentes funções.