A preliminary idea for an 8-competitive, log2 DMAX + log2 log2 1/U asymptotic-space, interface generation algorithm for two-level hierarchical scheduling of constrained-deadline sporadic tasks on a uniprocessor

Consider a single processor and a software system. The software system comprises components and interfaces where each component has an associated interface and each component comprises a set of constrained-deadline sporadic tasks. A scheduling algorithm (called global scheduler) determines at each instant which component is active. The active component uses another scheduling algorithm (called local scheduler) to determine which task is selected for execution on the processor. The interface of a component makes certain information about a component visible to other components; the interfaces of all components are used for schedulability analysis. We address the problem of generating an interface for a component based on the tasks inside the component. We desire to (i) incur only a small loss in schedulability analysis due to the interface and (ii) ensure that the amount of space (counted in bits) of the interface is small; this is because such an interface hides as much details of the component as possible. We present an algorithm for generating such an interface.

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.

Relatório de estágio

Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico

Dynamic adaptation of stability periods for service level agreements

A QoS adaptation to dynamically changing system conditions that takes into consideration the user’s constraints on the stability of service provisioning is presented. The goal is to allow the system to make QoS adaptation decisions in response to fluctuations in task traffic flow, under the control of the user. We pay special attention to the case where monitoring the stability period and resource load variation of Service Level Agreements for different types of services is used to dynamically adapt future stability periods, according to a feedback control scheme. System’s adaptation behaviour can be configured according to a desired confidence level on future resource usage. The viability of the proposed approach is validated by preliminary experiments.

A two-level genetic algorithm for the multi-mode resource-constrained project scheduling problem

This paper presents a genetic algorithm for the multimode resource-constrained project scheduling problem (MRCPSP), in which multiple execution modes are available for each of the activities of the project. The objective function is the minimization of the construction project completion time. To solve the problem, is applied a two-level genetic algorithm, which makes use of two separate levels and extend the parameterized schedule generation scheme by introducing an improvement procedure. It is evaluated the quality of the schedule and present detailed comparative computational results for the MRCPSP, which reveal that this approach is a competitive algorithm.

Board-level prototype validation: a built-in controller and extended BST architecture

Prototype validation is a major concern in modern electronic product design and development. Simulation, structural test, functional and timing debug are all forming parts of the validation process, although very often addressed as dissociated tasks. In this paper we describe an integrated approach to board-level prototype validation, based on a set of mandatory/optional BST instructions and a built-in controller for debug and test, that addresses the late mentioned tasks as inherent parts of a whole process

Using remote lab networks to provide support to public secondary school education level

The advantages of networking are widely known in many areas (from business to personal ones). One particular area where networks have also proved their benefits is education. Taking the secondary school education level into account, some successful cases can be found in literature. In this paper we describe a particular remote lab network supporting physical experiments accessible to students of institutions geographically separated. The network architecture and application examples of using some of the available remote experiments are illustrated in detail.

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.

KM and politics at the highest level: an exploratory analysis

This paper analyzes Knowledge Management (KM) as a political activity, made by the great political leaders of the world. We try to inspect if at the macro political level KM is made, and how. The research is interesting because given that we live in a Knowledge society, in the Information Era, it is more or less obvious that the political leaders should also do KM. However we don’t know of any previous study on KM and world leaders and this paper wants to be a first step to fill that gap. As a methodology we use literature review: given this one is a first preliminary study we use data we found in the Internet and other databases like EBSCO. We divide the analysis in two main parts: theoretical ideas first, and an application second. The second part is it self divided in two segments: the past and the present times. We find that rather not surprisingly, KM always was and is pervasive in the activity of the world leaders, and has become more and more diverse has power itself became to be more and more disseminated in the world. The study has the limitation of relying on insights and texts and not on interviews. But we believe it is very interesting to make this kind of analysis and such studies may help improving the democracies in the world.

Dificuldades encontradas no processo de internacionalização: estudo nas PME de mobiliário nos concelhos de Paços de Ferreira e Paredes

Dissertação de Mestrado apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação do Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

As determinantes da qualidade da informação financeira via imparidade de ativos

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação da Professora Doutora Cláudia Maria Ferreira Pereira

A atividade dos estabilizadores da omoplata e movimento compensatório do tronco no gesto de alcance em indivíduos pós AVE

Introdução: Lesões como o AVE interferem com a capacidade de recrutar níveis adequados de atividade muscular, podendo levar ao aparecimento de movimentos compensatórios como a excessiva translação anterior do tronco, associada ao gesto de alcance. Objetivos: Descrever a relação entre a atividade dos estabilizadores da omoplata e o movimento compensatório do tronco no gesto de alcance, em 4 indivíduos pós AVE. Pretendeu-se também analisar o papel dos estabilizadores da omoplata na função do membro superior. Métodos: Quatro indivíduos com diagnóstico de AVE, que apresentavam alterações no nível de actividade dos estabilizadores da omoplata contralesional, foram sujeitos a uma avaliação realizada em três momentos, antes (M0), durante (M1) e após (M2) e a um período de intervenção, segundo os princípios do Conceito de Bobath. Recorreu-se à electromiografia de superfície para avaliar a atividade e o timming dos músculos grande dorsal, trapézio superior e trapézio inferior do hemicorpo contralesional e ao software de Avaliação Postural (SAPO) para analisar o deslocamento do tronco no sentido anterior, associados à realização do gesto de alcance. Foram aplicadas as escalas RPS e MESUPES para avaliar as componentes de movimento do gesto de alcance e a função do membro superior, respetivamente. Recorreu-se ao registo fotográfico para análise dos componentes de movimento na posição de sentado e em pé.Resultados: Os dados eletromiográficos registam atividade dos estabilizadores da omoplata unicamente num indivíduo em M2. A análise do deslocamento anterior do tronco revela melhorias em M1 em todos os indivíduos, sendo que em M2 essa evolução positiva não foi observada em três dos participantes. Entre M0 e M2, na escala RPS registam-se melhorias de 7 a 9 pontos no alvo próximo e de 5 a 10 pontos no alvo distante. Na escala MESUPES verificam-se melhorias entre 5 a 18 pontos na sub-escala braço e entre 5 a 8 pontos na sub-escala mão, em M2. A avaliação do registo fotográfico revela modificações nos componentes de movimento dos quatro indivíduos, nomeadamente na integração dos MI na base de suporte, na atividade do tronco inferior e superior e no alinhamento do MS contralesional. Conclusão: A melhoria do nível da atividade dos estabilizadores dinâmicos da omoplata sugere ter influência na diminuição do movimento compensatório do tronco no gesto de alcance e parece ter um papel na melhoria da eficácia distal do MS do mesmo lado.

Influência do alinhamento do pé nos Ajustes Posturais Antecipatórios em crianças com Paralisia Cerebral

Introdução: A dificuldade na organização dos ajustes posturais antecipatórios (APAs) é frequentemente associada ao défice de controlo postural (CP) em crianças/jovens com um quadro motor de hemiplegia espástica, resultante de paralisia cerebral. As alterações biomecânicas da tibiotársica e do pé são características comummente observadas nestas crianças/jovens e influenciam o CP na sua globalidade. Objectivo(s): descrever o comportamento dos APAs associados ao início da marcha, face à modificação do alinhamento do pé em crianças/jovens com hemiplegia espástica, após 12 semanas de intervenção, segundo o Conceito Bobath-TND e aplicação de uma Ligadura Funcional (LF). Métodos: Foram avaliadas quatro crianças/jovens num momento inicial (M0) e após 12 semanas de intervenção e de aplicação de uma LF (M1). Recorrendo à eletromiografia de superfície, registaram-se os timings de activação dos músculos tibial anterior, solear, recto abdominal e erector da espinha (bilateralmente). O início do movimento foi calculado a partir da alteração do sinal obtido através da plataforma de pressões. Recorreu-se à aplicação da TMFM-88 para avaliar a função motora global e à aplicação da CIF-CJ para classificar a funcionalidade mediante as actividades e a participação. Procedeu-se ao registo de imagem para facilitar a observação/avaliação das componentes de movimento das crianças/jovens em estudo. Resultados: Após o período de intervenção, verificou-se uma modificação nos valores dos timings de ativação dos músculos em análise, que se aproximaram da janela temporal definida como APAs, bem como na distribuição de carga na base de suporte, nos scores da TMFM-88 e nos qualificadores das “Actividades e Participação”, sugestivos de uma melhor organização dos mecanismos de controlo postural. Conclusão: As crianças/jovens em estudo evidenciaram, após uma intervenção de fisioterapia baseada no Conceito Bobath- TND e aplicação de uma LF, uma evolução favorável tanto ao nível do CP da tibiotársica e do pé, apresentando timings de ativação muscular temporalmente mais ajustados à tarefa, com repercussões positivas nas actividades e participação.

Bioatividade de Líquidos Iónicos derivados do Ácido Valpróico em bactérias Gram-negativa

Os Líquidos Iónicos (LIs) são sais orgânicos constituídos exclusivamente por iões e possuem pontos de fusão inferiores a 100ºC. As suas propriedades únicas e o facto de ser possível ajustar as suas propriedades físicas, químicas e biológicas, de acordo com o objetivo pretendido, tornam esta classe de compostos, um grande objeto de estudo de inúmeros investigadores. Desde os inícios da sua aplicação até à atualidade, a investigação nesta área expandiu o seu raio de ação, estando já descrito o seu potencial como agentes antimicrobianos e, mais recentemente, como compostos farmacêuticos ativos. Atualmente muitas das suas aplicações são baseadas nas suas propriedades biológicas. Esta Tese teve como objetivo avaliar a influência que os LIs podem exercer a nível do crescimento bacteriano e estudar alternativas de combater a resistência bacteriana. Todos os LIs utilizados neste trabalho tinham como anião o ácido valpróico, sendo utilizados catiões orgânicos de amónio e de imidazólio. Foram utilizadas 4 bactérias e avaliou-se a atividade biológica e a respetiva taxa de crescimento. O estudo da sua atividade biológica foi feito através da determinação da Concentração Mínima Inibitória (CMI) e a análise das suas curvas de crescimentos na presença e ausência de composto. Com este trabalho foi possível verificar que dentro dos compostos em estudo, LIs derivados do valproato, o Valproato com o cetilperidínio [valp] [cetylpir] foi o que influenciou o crescimento de todas as bactérias estudadas. Este estudo demonstrou o potencial antibacteriano de alguns compostos, podendo desta forma vir a ser utilizados para fins farmacêuticos

Media Brokerage: Agent-Based SLA Negotiation

Media content personalisation is a major challenge involving viewers as well as media content producer and distributor businesses. The goal is to provide viewers with media items aligned with their interests. Producers and distributors engage in item negotiations to establish the corresponding service level agreements (SLA). In order to address automated partner lookup and item SLA negotiation, this paper proposes the MultiMedia Brokerage (MMB) platform, which is a multiagent system that negotiates SLA regarding media items on behalf of media content producer and distributor businesses. The MMB platform is structured in four service layers: interface, agreement management, business modelling and market. In this context, there are: (i) brokerage SLA (bSLA), which are established between individual businesses and the platform regarding the provision of brokerage services; and (ii) item SLA (iSLA), which are established between producer and distributor businesses about the provision of media items. In particular, this paper describes the negotiation, establishment and enforcement of bSLA and iSLA, which occurs at the agreement and negotiation layers, respectively. The platform adopts a pay-per-use business model where the bSLA define the general conditions that apply to the related iSLA. To illustrate this process, we present a case study describing the negotiation of a bSLA instance and several related iSLA instances. The latter correspond to the negotiation of the Electronic Program Guide (EPG) for a specific end viewer.