On the robustness of the slotine-Li and the FPT/SVD-based adaptive controllers

A comparative study concerning the robustness of a novel, Fixed Point Transformations/Singular Value Decomposition (FPT/SVD)-based adaptive controller and the Slotine-Li (S&L) approach is given by numerical simulations using a three degree of freedom paradigm of typical Classical Mechanical systems, the cart + double pendulum. The effects of the imprecision of the available dynamical model, presence of dynamic friction at the axles of the drives, and the existence of external disturbance forces unknown and not modeled by the controller are considered. While the Slotine-Li approach tries to identify the parameters of the formally precise, available analytical model of the controlled system with the implicit assumption that the generalized forces are precisely known, the novel one makes do with a very rough, affine form and a formally more precise approximate model of that system, and uses temporal observations of its desired vs. realized responses. Furthermore, it does not assume the lack of unknown perturbations caused either by internal friction and/or external disturbances. Its another advantage is that it needs the execution of the SVD as a relatively time-consuming operation on a grid of a rough system-model only one time, before the commencement of the control cycle within which it works only with simple computations. The simulation examples exemplify the superiority of the FPT/SVD-based control that otherwise has the deficiency that it can get out of the region of its convergence. Therefore its design and use needs preliminary simulation investigations. However, the simulations also exemplify that its convergence can be guaranteed for various practical purposes.

Desenvolver o conhecimento sintático explícito no 1.º ciclo do ensino básico

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Didática da Língua Portuguesa

Martulus e a questão polimétrica

O presente trabalho foi realizado como parte integrante do mestrado em música da Escola Superior de Música de Lisboa (ESML), e procurou explorar a utilização de “novos ritmos” (Belling, 2010), sobretudo a polimetria em uma peça para piano e percussão intitulada de “Martulus”, com pequena influência de células rítmicas afro-brasileiras e composta durante o último semestre do mestrado. A polimétrica realiza-se na peça sobrepondo, em vários momentos, os diferentes instrumentos em compassos diferentes uns dos outros o que resulta no fato de as barras de compassos por vezes não serem simétricas e o primeiro tempo do compasso acontecer em vários momentos diferentes, os instrumentos que utilizam duas claves, como o piano e a marimba, puderam utilizar às vezes de compassos diferentes em cada clave de forma sobreposta. A peça termina com o compasso de 0/8 e sem barras de compasso, o 8 do denominador faz alusão as colcheias que passa a ser a única forma de guia para os instrumentistas e ausência de primeiro tempo deixando a música suspensa sem acentos implícitos. A peça foi composta para 7 instrumentistas e 7 instrumentos; piano, marimba, tímpano, bumbo grande, caixa, congas, bongôs, e da forma como foi escrita um mesmo percussionista não pode tocar mais do que um instrumento.

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.

Task Assignment Algorithms for Heterogeneous Multiprocessors

Consider the problem of assigning implicit-deadline sporadic tasks on a heterogeneous multiprocessor platform comprising a constant number (denoted by t) of distinct types of processors—such a platform is referred to as a t-type platform. We present two algorithms, LPGIM and LPGNM, each providing the following guarantee. For a given t-type platform and a task set, if there exists a task assignment such that tasks can be scheduled to meet their deadlines by allowing them to migrate only between processors of the same type (intra-migrative), then: (i) LPGIM succeeds in finding such an assignment where the same restriction on task migration applies (intra-migrative) but given a platform in which only one processor of each type is 1 + α × t-1/t times faster and (ii) LPGNM succeeds in finding a task assignment where tasks are not allowed to migrate between processors (non-migrative) but given a platform in which every processor is 1 + α times faster. The parameter α is a property of the task set; it is the maximum of all the task utilizations that are no greater than one. To the best of our knowledge, for t-type heterogeneous multiprocessors: (i) for the problem of intra-migrative task assignment, no previous algorithm exists with a proven bound and hence our algorithm, LPGIM, is the first of its kind and (ii) for the problem of non-migrative task assignment, our algorithm, LPGNM, has superior performance compared to state-of-the-art.

Provably Good Task Assignment for Two-Type Heterogeneous Multiprocessors Using Cutting Planes

Consider scheduling of real-time tasks on a multiprocessor where migration is forbidden. Specifically, consider the problem of determining a task-to-processor assignment for a given collection of implicit-deadline sporadic tasks upon a multiprocessor platform in which there are two distinct types of processors. For this problem, we propose a new algorithm, LPC (task assignment based on solving a Linear Program with Cutting planes). The algorithm offers the following guarantee: for a given task set and a platform, if there exists a feasible task-to-processor assignment, then LPC succeeds in finding such a feasible task-to-processor assignment as well but on a platform in which each processor is 1.5 × faster and has three additional processors. For systems with a large number of processors, LPC has a better approximation ratio than state-of-the-art algorithms. To the best of our knowledge, this is the first work that develops a provably good real-time task assignment algorithm using cutting planes.

Real-time scheduling with resource sharing on heterogeneous multiprocessors

Consider the problem of scheduling a task set τ of implicit-deadline sporadic tasks to meet all deadlines on a t-type heterogeneous multiprocessor platform where tasks may access multiple shared resources. The multiprocessor platform has m k processors of type-k, where k∈{1,2,…,t}. The execution time of a task depends on the type of processor on which it executes. The set of shared resources is denoted by R. For each task τ i , there is a resource set R i ⊆R such that for each job of τ i , during one phase of its execution, the job requests to hold the resource set R i exclusively with the interpretation that (i) the job makes a single request to hold all the resources in the resource set R i and (ii) at all times, when a job of τ i holds R i , no other job holds any resource in R i . Each job of task τ i may request the resource set R i at most once during its execution. A job is allowed to migrate when it requests a resource set and when it releases the resource set but a job is not allowed to migrate at other times. Our goal is to design a scheduling algorithm for this problem and prove its performance. We propose an algorithm, LP-EE-vpr, which offers the guarantee that if an implicit-deadline sporadic task set is schedulable on a t-type heterogeneous multiprocessor platform by an optimal scheduling algorithm that allows a job to migrate only when it requests or releases a resource set, then our algorithm also meets the deadlines with the same restriction on job migration, if given processors 4×(1+MAXP×⌈|P|×MAXPmin{m1,m2,…,mt}⌉) times as fast. (Here MAXP and |P| are computed based on the resource sets that tasks request.) For the special case that each task requests at most one resource, the bound of LP-EE-vpr collapses to 4×(1+⌈|R|min{m1,m2,…,mt}⌉). To the best of our knowledge, LP-EE-vpr is the first algorithm with proven performance guarantee for real-time scheduling of sporadic tasks with resource sharing on t-type heterogeneous multiprocessors.

The thickness of the transport layer in stratified geomorphic flows

River Flow 2010

PEC e a vertente empresarial: impacto na gestão de tesouraria das PME

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 de Cláudia Maria Pereira Esta versão contém as críticas e sugestões dos elementos do júri.

Despacho Económico de um SEE com coordenação Hidrotérmica Departamento de Engenharia Electrotécnica

O Despacho económico de um sistema eléctrico de energia com a coordenação hidrotérmica tem como objectivo alcançar a operação óptima do sistema em um determinado período de tempo, ao menor custo possível, e com alto grau de fiabilidade. O problema é muito complexo, pois depende do grau de dificuldade em se prever os caudais dos afluentes, e da capacidade das albufeiras das centrais hídricas. De um modo geral, a produção térmica é determinada de modo a proporcionar o uso mais racional possível da água, dentro do contexto de incertezas quanto às afluências futuras, de modo a, por um lado manter o sistemas o mais económico possível, e por outro, evitar o desperdício energético implícito em descarregamentos de volumes de água turbináveis. Neste trabalho é proposta uma metodologia baseada em programação linear para a solução da coordenação hidrotérmica de curto prazo, e que permite obter custos-sombra de água em centrais hídricas com armazenamento. Esta metodologia foi posteriormente implementado num programa computacional em Microsoft Excel 2010 para a solução numa primeira fase, da rede de 24 barramentos do IEEE, e numa segunda fase, para a solução da Rede Nacional de Transporte referente ao ano de 2010. Para efeitos de análise e validação de dados, os dados provenientes do programa, são depois comparados aos dados dos relatórios da REN. Por último, os dados provenientes do programa em Excel são colocados e analisados no programa PowerWorld Simulator 8.0.

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs

23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). 4 to 6, Mar, 2015. Turku, Finland.

Optimização do Processo de Maquinagem de Componentes para a Indústria Automóvel

A indústria automóvel exige, em geral, elevados índices de produtividade e qualidade. Para corresponder às exigências deste tipo de indústria, são requeridos métodos avançados de produção, tentando eliminar ao máximo operações que não gerem valor acrescentado e que possam introduzir problemas no processo de garantia da qualidade. A maquinagem por arranque de apara é um processo utilizado de forma intensiva na indústria automóvel. No entanto, enquanto em componentes críticos como o motor, os processos estão já altamente otimizados, o mesmo não se verifica na maior parte dos sistemas periféricos, normalmente realizados por empresas mais pequenas que gravitam em torno dos principais fornecedores da cadeia de produção de automóveis. Os sistemas responsáveis pela movimentação dos limpa pára-brisas e elevação dos vidros, entre outros, encontram-se neste grupo. Este trabalho visa essencialmente otimizar o processo de maquinagem de componentes periféricos de automóveis, sujeitos a diferentes operações em vários planos. No entanto, e tal como em muitas outras situações relacionadas com a variedade de versões existentes na indústria automóvel relativamente a cada sistema, pretende-se que o processo seja suficientemente versátil para poder ser aplicado em vários componentes de uma mesma família de produtos, necessitando de um número de ajustes o mais baixo possível. O estudo passou por uma análise profunda das similaridades geométricas dos diferentes componentes, análise dos planos de maquinagem de cada componente, operações envolvidas, elencagem da necessidade específica de ferramentas, elaboração de gabaritos de fabrico e apresentação da solução final, a qual passa pela introdução de um 4º eixo e do seu controlo através do sistema CNC já existente, assim como pela elaboração de novos programas.

Picture marks semiotics between ontwerpen and vormgeving

This project seeks to implement and operationalize an analytical and schematic tool proposed in the doctoral thesis of Eduardo Aires applied to the first pages of newspapers (FBAUP: 2006), to the study of the symbol within the visual identity – the picture mark – starting with its semiotic analysis. Our research has the main objective to contribute to providing guidelines to facilitate both the communication and the methodology used by students and professionals of graphic design, translating, in a graphic way, implicit phenomena that is still in the spectrum of intuition, concerning Identity Design (specifically, the design of the graphic mark), and bringing them to the field of scientific definitions. It is our intention to provide the design of a picture mark, a graphic sign which is intended to synthesize, identify and bring positive values about an entity, with an educational tool that would constitute itself as knowledge so far nonexistent.

Provisões, passivos contingentes e activos contingentes

A adopção do Sistema de Normalização Contabilística constitui um marco muito importante na organização da contabilidade das empresas portuguesas. As inovações trazidas por este normativo e o maior pormenor de algumas matérias contabilísticas levam a que temáticas que eram pouco abordadas suscitem agora um maior interesse. Neste sentido, o presente trabalho, assente na Norma Contabilística e de Relato Financeiro (NCRF) 21, pretende demonstrar as alterações e melhorias trazidas por esta norma no reconhecimento e divulgação das provisões, passivos contingentes e activos contingentes, tendo como referências comparativas o anterior normativo contabilístico, o Plano Oficial de Contabilidade (POC). Através da presente dissertação pretende-se compreender a aplicação da norma ao nível do relato financeiro, através da análise dos Relatórios e Contas de 2010 e 2009 de empresas do sector da Construção. Pelo estudo realizado pode constatar-se que o cumprimento da NCRF 21 trouxe aperfeiçoamento no reconhecimento e divulgação das provisões, e principalmente na divulgação das contingências, praticamente omitidas com o POC. No entanto, deve destacar-se a subjectividade implícita nas provisões, sendo ainda, uma norma de difícil aplicação pela sua ambiguidade. Deve também realçar-se a importância da NCRF 3 - Adopção pela primeira vez das Normas Contabilísticas e de Relato Financeiro, que implicou uma reexpressão das contas de saldos de abertura em 2010 de acordo com o novo referencial contabilístico, o que obrigou as empresas a rever as provisões constituídas até à data Uma breve revisão bibliográfica referente ao tema da problemática fiscal foi ainda realizada.

A Quantitative Model for Decomposing & Assessing the Value for the Customer

The research presented in this paper proposes a novel quantitative model for decomposing and assessing the Value for the Customer. The proposed approach builds on the different dimensions of the Value Network analysis proposed by Verna Allee having as background the concept of Value for the Customer proposed by Woodall. In this context, the Value for the Customer is modelled as a relationship established between the exchanged deliverables and a combination of tangible and intangible assets projected into their endogenous or exogenous dimensions. The Value Network Analysis of the deliverables exchange enables an in-depth understanding of this frontier and the implicit modelling of co-creation scenarios. The proposed Conceptual Model for Decomposing Value for the Customer combines several concepts: from the marketing area we have the concept of Value for the Customer; from the area of intellectual capital the concept of Value Network Analysis; from the collaborative networks area we have the perspective of the enterprise life cycle and the endogenous and exogenous perspectives; at last, the proposed model is supported by a mathematical formal description that stems from the area of Multi-Criteria Decision Making. The whole concept is illustrated in the context of a case study of an enterprise in the footwear industry (Pontechem). The merits of this approach seem evident from the contact with Pontechem as it provides a structured approach for the enterprises to assess the adequacy of their value proposition to the client/customer needs and how these relate to their endogenous and/or exogenous tangible or intangible assets. The proposed model, as a tool, may therefore be a useful instrument in supporting the commercialisation of new products and/or services.