A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

Desenvolvimento de programação offline e de novos processos robotizados de lixamento

Atualmente a vantagem competitiva de uma empresa passa pela sua rápida adaptação às variações de procura do mercado, sendo necessário garantir elevados níveis de produtividade e, simultaneamente, grande flexibilidade, indispensável ao fabrico de pequenos lotes. A necessidade de ajuste do processo e a diminuição da média de vida do produto levam a paragens cada vez mais frequentes da célula de fabrico para programação e afinação, com consequentes perdas de produtividade. De forma a dar resposta a estes problemas, neste trabalho é testada a viabilidade da utilização da programação e simulação offline de tarefas de lixamento na Grohe Portugal, complementando a solução com o desenvolvimento de um novo método de afinação do programa, permitindo uma adaptação às flutuações do processo produtivo. Para isso foi necessário analisar o estado da arte dos robôs industriais na área de acabamento superficial e respetivos métodos de programação. Em seguida, após um trabalho prévio rigoroso de preparação e modelação da célula de trabalho, é possível fazer a programação offline das várias rotinas e trajetórias complexas que compõem um ciclo de lixamento de um produto, contribuindo para o aumento da qualidade do produto final sem comprometer os níveis de produtividade. Nesta dissertação são descritos e detalhados alguns dos procedimentos fulcrais no sucesso da aplicação deste método de programação. Por último é feita uma nova abordagem ao método de ajuste ponto-a-ponto convencional, desenvolvendo-se para isso um sistema de ajuste automático do programa, dotando o robô da capacidade de se adaptar às variações do processo, assegurando a consistência do mesmo. Foram realizados testes em pequena escala, extrapolando-se os resultados para a aplicação deste novo método no processo produtivo da Grohe Portugal, como forma de complemento ao método convencional de ajuste ponto-a-ponto do programa, reduzindo o tempo de paragem da célula de trabalho.

Electricity markets modeling considering complex contracts and aggregators

All over the world, the liberalization of electricity markets, which follows different paradigms, has created new challenges for those involved in this sector. In order to respond to these challenges, electric power systems suffered a significant restructuring in its mode of operation and planning. This restructuring resulted in a considerable increase of the electric sector competitiveness. Particularly, the Ancillary Services (AS) market has been target of constant renovations in its operation mode as it is a targeted market for the trading of services, which have as main objective to ensure the operation of electric power systems with appropriate levels of stability, safety, quality, equity and competitiveness. In this way, with the increasing penetration of distributed energy resources including distributed generation, demand response, storage units and electric vehicles, it is essential to develop new smarter and hierarchical methods of operation of electric power systems. As these resources are mostly connected to the distribution network, it is important to consider the introduction of this kind of resources in AS delivery in order to achieve greater reliability and cost efficiency of electrical power systems operation. The main contribution of this work is the design and development of mechanisms and methodologies of AS market and for energy and AS joint market, considering different management entities of transmission and distribution networks. Several models developed in this work consider the most common AS in the liberalized market environment: Regulation Down; Regulation Up; Spinning Reserve and Non-Spinning Reserve. The presented models consider different rules and ways of operation, such as the division of market by network areas, which allows the congestion management of interconnections between areas; or the ancillary service cascading process, which allows the replacement of AS of superior quality by lower quality of AS, ensuring a better economic performance of the market. A major contribution of this work is the development an innovative methodology of market clearing process to be used in the energy and AS joint market, able to ensure viable and feasible solutions in markets, where there are technical constraints in the transmission network involving its division into areas or regions. The proposed method is based on the determination of Bialek topological factors and considers the contribution of the dispatch for all services of increase of generation (energy, Regulation Up, Spinning and Non-Spinning reserves) in network congestion. The use of Bialek factors in each iteration of the proposed methodology allows limiting the bids in the market while ensuring that the solution is feasible in any context of system operation. Another important contribution of this work is the model of the contribution of distributed energy resources in the ancillary services. In this way, a Virtual Power Player (VPP) is considered in order to aggregate, manage and interact with distributed energy resources. The VPP manages all the agents aggregated, being able to supply AS to the system operator, with the main purpose of participation in electricity market. In order to ensure their participation in the AS, the VPP should have a set of contracts with the agents that include a set of diversified and adapted rules to each kind of distributed resource. All methodologies developed and implemented in this work have been integrated into the MASCEM simulator, which is a simulator based on a multi-agent system that allows to study complex operation of electricity markets. In this way, the developed methodologies allow the simulator to cover more operation contexts of the present and future of the electricity market. In this way, this dissertation offers a huge contribution to the AS market simulation, based on models and mechanisms currently used in several real markets, as well as the introduction of innovative methodologies of market clearing process on the energy and AS joint market. This dissertation presents five case studies; each one consists of multiple scenarios. The first case study illustrates the application of AS market simulation considering several bids of market players. The energy and ancillary services joint market simulation is exposed in the second case study. In the third case study it is developed a comparison between the simulation of the joint market methodology, in which the player bids to the ancillary services is considered by network areas and a reference methodology. The fourth case study presents the simulation of joint market methodology based on Bialek topological distribution factors applied to transmission network with 7 buses managed by a TSO. The last case study presents a joint market model simulation which considers the aggregation of small players to a VPP, as well as complex contracts related to these entities. The case study comprises a distribution network with 33 buses managed by VPP, which comprises several kinds of distributed resources, such as photovoltaic, CHP, fuel cells, wind turbines, biomass, small hydro, municipal solid waste, demand response, and storage units.

Mode-Controlled Data-Flow Modeling of Real-Time Memory Controllers

Accepted in 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015), Amsterdam, Netherlands.

Limit Cycle Prediction of Systems with Fractional Controllers and Backlash

This article investigates the limit cycle (LC) prediction of systems with backlash by means of the describing function (DF) when using discrete fractional-order (FO) algorithms. The DF is an approximate method that gives good estimates of LCs. The implementation of FO controllers requires the use of rational approximations, but such realizations produce distinct dynamic types of behavior. This study analyzes the accuracy in the prediction of LCs, namely their amplitude and frequency, when using several different algorithms. To illustrate this problem we use FO-PID algorithms in the control of systems with backlash.

Modeling Vegetable Fractals by means of Fractional-order Equations

This paper characterizes four ‘fractal vegetables’: (i) cauliflower (brassica oleracea var. Botrytis); (ii) broccoli (brassica oleracea var. italica); (iii) round cabbage (brassica oleracea var. capitata) and (iv) Brussels sprout (brassica oleracea var. gemmifera), by means of electrical impedance spectroscopy and fractional calculus tools. Experimental data is approximated using fractional-order models and the corresponding parameters are determined with a genetic algorithm. The Havriliak-Negami five-parameter model fits well into the data, demonstrating that classical formulae can constitute simple and reliable models to characterize biological structures.

Active cycle breathing techniques como técnica de higiene brônquica na asma: estudo piloto

RESUMO: Relevância e Objectivos: O objectivo deste estudo consistiu em verificar a eficácia e segurança de uma técnica de higiene brônquica – Active Cycle breathing technique (ACBT), na remoção de secreções e desinsuflação em crianças asmáticas. É uma técnica recente, que ainda não foi estudada nesta população. Metodologia: A amostra foi constituída por um total de 14 crianças, com idades compreendidas entre os 6 e 18 anos, com o diagnóstico de asma. Foi dividida em dois grupos: grupo de controlo, constituído por asmáticos estáveis e grupo experimental constituído por asmáticos pós-crise. Ambos receberam o mesmo tratamento, que consistiu numa única sessão de ACBT. Realizaram um exame da função respiratória (variáveis FEV1, PEF, MEF75%, RV e FRC) antes e após a aplicação da técnica. Mediu-se a Saturação de O2 antes, a meio e no fim da aplicação da técnica. Por último, pesaram-se as secreções recolhidas durante a sessão de tratamento. Resultados: Como resultados, quando omparamos o antes e após aplicação do ACBT, obtivemos diferenças significativas no RV (p <0,05) e FRC (p <0,05); muito significativa na Sa02 (p <0,01) e peso de secreções, nos asmáticos pós crise. Ocorreu uma melhoria significativa da saturação (p <0,05) em asmáticos estáveis, não havendo secreções. Não houve efeitos adversos nem broncoespasmo em ambos os grupos.Conclusão: O ACBT é uma técnica que promove a remoção de secreções e diminuição da insuflação na população de asmáticos.--------------------ABSTRACT:Relevance and Goals: the goal of this study was to verify the efficiency and security of a bronchial hygienic technique - Active Cycle Breathing Technique (ACBT) – in the obstruction and insufflation of asthmatic children. This is a new technique that has not yet been studied in this population. Procedures: The subjects were 14 children aged between 6 and 18 years old with asthma diagnosis. They were divided in two groups: the control group with stable asthmatics and the experimental group with post-crisis asthmatics. Both received the same treatment that was a single session of ACBT. They made a lung function test before and after the application of the technique (variables FEV1, PEF, MEF75%, RV and FRC). The level of O2 saturation was measured before, during and after the procedure. In the end, the secretions collected during the treatment were weighted. Results: We observed a significant difference on RV (p ˂0,05), FRC (p ˂0,05), Sa02 (p ˂0,01) and in the weight of the secretions in the post-crisis asthmatics after ACBT. There was a significant improvement of saturation (p ˂0,05) only in the stable asthmatics. There were no adverse effects or bronchospasm in both groups.

Fractional Calculus: Application in modeling and control

This contribution introduces the fractional calculus (FC) fundamental mathematical aspects and discuses some of their consequences. Based on the FC concepts, the chapter reviews the main approaches for implementing fractional operators and discusses the adoption of FC in control systems. Finally are presented some applications in the areas of modeling and control, namely fractional PID, heat diffusion systems, electromagnetism, fractional electrical impedances, evolutionary algorithms, robotics, and nonlinear system control.

Modeling and Control of a Dragonfly-Like Robot

Dragonflies demonstrate unique and superior flight performances than most of the other insect species and birds. They are equipped with two pairs of independently controlled wings granting an unmatchable flying performance and robustness. In this paper it is studied the dynamics of a dragonfly-inspired robot. The system performance is analyzed in terms of time response and robustness. The development of computational simulation based on the dynamics of the robotic dragonfly allows the test of different control algorithms. We study different movement, the dynamics and the level of dexterity in wing motion of the dragonfly. The results are positive for the construction of flying platforms that effectively mimic the kinematics and dynamics of dragonflies and potentially exhibit superior flight performance than existing flying platforms.

System Modeling and Control Through Fractional-Order Algorithms

The theory of fractional calculus goes back to the beginning of thr throry of differential calculus but its inherent complexity postponed the applications of the associated concepts. In the last decade the progress in the areas of chaos and fractals revealed subtle relationships with the fractional calculus leading to an increasing interest in the development of the new paradigm. In the area of automaticcontrol preliminary work has already been carried out but the proposed algorithms are restricted to the frequency domain. The paper discusses the design of fractional-order discrete-time controllers. The algorithms studied adopt the time domein, which makes them suited for z-transform analusis and discrete-time implementation. The performance of discrete-time fractional-order controllers with linear and non-linear systems is also investigated.

Environmental modeling with precision navigation using ROAZ autonomous surface vehicle

The use of robotic vehicles for environmental modeling is discussed. This paper presents diverse results in autonomous marine missions with the ROAZ autonomous surface vehicle. The vehicle can perform autonomous missions while gathering marine data with high inertial and positioning precision. The underwater world is an, economical and environmental, asset that need new tools to study and preserve it. ROAZ is used in marine environment missions since it can sense and monitor the surface and underwater scenarios. Is equipped with a diverse set of sensors, cameras and underwater sonars that generate 3D environmental models. It is used for study the marine life and possible underwater wrecks that can pollute or be a danger to marine navigation. The 3D model and integration of multibeam and sidescan sonars represent a challenge in nowadays. Adding that it is important that robots can explore an area and make decisions based on their surroundings and goals. Regard that, autonomous robotic systems can relieve human beings of repetitive and dangerous tasks.

Life Cycle Assessment of the Hybrid Vehicle – Toyota Prius

Die Luftverschmutzung, die globale Erwärmung sowie die Verknappung der endlichen Ressourcen sind die größten Bedenken der vergangenen Jahrzehnte. Die Nachfrage nach jeglicher Mobilität steigt rapide. Dementsprechend bemüht ist die Automobilindustrie Lösungen für Mobilität unter dem Aspekt der Nachhaltigkeit und dem Umweltschutz anzubieten. Die Elektrifizierung hat sich hierbei als der beste Weg herausgestellt, um die Umweltprobleme sowie die Abhängigkeit von fossilen Brennstoffen zu lösen. Diese Arbeit soll einen Einblick über die Umweltauswirkungen des Hybridfahrzeuges Toyota Prius geben. Hierbei findet eine Gliederung in vier verschiedene Lebensphasen statt. Im Anschluss bietet die Sachbilanz die Möglichkeit die Umweltauswirkungen mit verschiedenen Antriebsmöglichkeiten und Brennstoffen zu vergleichen. Das Modell hat gezeigt, dass der Toyota Prius während der Nutzung einen hohen Einfluss auf das Treibhauspotenzial aufweist. Durch die Nutzung anderer Brennstoffe, wie beispielsweise Ethanol oder Methanol lassen sich die Auswirkungen am Treibhauspotenzial sowie der Verbrauch an abiotischen Ressourcen reduzieren. Vergleicht man die Elektromobilität mit der konventionellen, so ist festzustellen, dass diese Art der Mobilität die derzeit beste Möglichkeit zur Reduzierung der Umweltbelastungen bietet. Die Auswirkungen der Elektromobilität sind im hohen Maße abhängig von der Art des verwendeten Strommixes.

Kinetics of growth of Leishmania (Leishmania) chagasi cycle in McCoy cell culture

The kinetics of growth of Leishmania performed in vitro after internalization of the promastigote form in the cell and the occurrence of the transformation of the parasite into the amastigote form have been described by several authors. They used explants of macrophages in hamster spleen cell culture or in a human macrophage lineage cell, the U937. Using microscopy, the description of morphologic inter-relationship and the analysis of the production of specific molecules, it has been possible to define some of the peculiarities of the biology of the parasite. The present study shows the growth cycle of Leishmania chagasi during the observation of kinetic analysis undertaken with a McCoy cell lineage that lasted for a period of 144 hours. During the process, the morphologic transformation was revealed by indirect immunofluorescence (IF) and the molecules liberated in the extra cellular medium were observed by SDS-PAGE at 24-hour intervals during the whole 144-hour period. It was observed that in the first 72 hours the promastigote form of L. chagasi adhered to the cell membranes and assumed a rounded (amastigote-like) form. At 96 hours the infected cells showed morphologic alterations; at 120 hours the cells had liberated soluble fluorescent antigens into the extra cellular medium. At 144 hours, new elongated forms of the parasites, similar to promastigotes, were observed. In the SDS-PAGE, specific molecular weight proteins were observed at each point of the kinetic analysis showing that the McCoy cell imitates the macrophage and may be considered a useful model for the study of the infection of the Leishmania/cell binomial.

Multi-agent simulation of competitive electricity markets: Autonomous systems cooperation for European market modeling

The electricity market restructuring, and its worldwide evolution into regional and even continental scales, along with the increasing necessity for an adequate integration of renewable energy sources, is resulting in a rising complexity in power systems operation. Several power system simulators have been developed in recent years with the purpose of helping operators, regulators, and involved players to understand and deal with this complex and constantly changing environment. The main contribution of this paper is given by the integration of several electricity market and power system models, respecting to the reality of different countries. This integration is done through the development of an upper ontology which integrates the essential concepts necessary to interpret all the available information. The continuous development of Multi-Agent System for Competitive Electricity Markets platform provides the means for the exemplification of the usefulness of this ontology. A case study using the proposed multi-agent platform is presented, considering a scenario based on real data that simulates the European Electricity Market environment, and comparing its performance using different market mechanisms. The main goal is to demonstrate the advantages that the integration of various market models and simulation platforms have for the study of the electricity markets’ evolution.