Load Management and Demand Response in Small and Medium Data Centers

Total Page:16

File Type:pdf, Size:1020Kb

Load Management and Demand Response in Small and Medium Data Centers Thiago Lara Vasques Load Management and Demand Response in Small and Medium Data Centers PhD Thesis in Sustainable Energy Systems, supervised by Professor Pedro Manuel Soares Moura, submitted to the Department of Mechanical Engineering, Faculty of Sciences and Technology of the University of Coimbra May 2018 Load Management and Demand Response in Small and Medium Data Centers by Thiago Lara Vasques PhD Thesis in Sustainable Energy Systems in the framework of the Energy for Sustainability Initiative of the University of Coimbra and MIT Portugal Program, submitted to the Department of Mechanical Engineering, Faculty of Sciences and Technology of the University of Coimbra Thesis Supervisor Professor Pedro Manuel Soares Moura Department of Electrical and Computers Engineering, University of Coimbra May 2018 This thesis has been developed under the Energy for Sustainability Initiative of the University of Coimbra and been supported by CAPES (Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brazil). ACKNOWLEDGEMENTS First and foremost, I would like to thank God for coming to the conclusion of this work with health, courage, perseverance and above all, with a miraculous amount of love that surrounds and graces me. The work of this thesis has also the direct and indirect contribution of many people, who I feel honored to thank. I would like to express my gratitude to my supervisor, Professor Pedro Manuel Soares Moura, for his generosity in opening the doors of the University of Coimbra by giving me the possibility of his orientation when I was a stranger. Subsequently, by his teachings, guidance and support in difficult times. You, Professor, inspire me with your humbleness given the knowledge you possess. A formal acknowledgement is also due to Institute of Systems and Robotics of the University of Coimbra (ISR-UC), Energy for Sustainability Initiative, MIT Portugal Program and specially to Federal University of Goiás and Coordenação de Aperfeiçoamento de Pessoal de Nível Superior – Brazil (CAPES), for their support, which allowed me pursuing my Ph.D. I am deeply thankful to my wife, who besides loving me all the time, has been my Ph.D. companion in this adventure that was to leave our country and live abroad changing our lives completely. Her encouragement in difficult periods, fruitful discussions and invaluable advices, allowed me to move forward in some stages of the Ph.D study. I love you! I am very grateful to my family for their love, support and sacrifices by the time away and full of homesickness; to my parents, who always believed in me and invested all their energies in my education; to my brothers, who are my pride for being exactly who they are; to my niece, who renewed my days with a love that I did not know; to my sisters-in-law for the love and support; to the family of my wife, who is now my family and has been so precious; and to all my relatives, who allowed me to be away, but always near. I owe a great debt of gratitude to the family that I built in Portugal, this country that is in my heart now. To the countless and unforgettable moments of love spent in paradise, at Quinta do Outeiro, beside my Mindinha, who is my Portuguese mother, my Portuguese and inspiring brother Miguel, my dear Juliana and my real squiggly Lana; to my Ph.D colleagues, who became my beloved friends in this journey, Lurian and Zuleika. Every moment we uniquely shared together will be deeply kept in my heart; to Joanna, Merielly and Kika Maria, my dear friends from Porto, who have given me so many moments of joy and happiness; to Francisco and Ruben, our dear friends from Lisbon, who have always treated me with the best of Portugal; to special meetings, with special people, who crossed my path in Portugal. I would like to also thank all colleagues and professors from DEEC and DEM of FCTUC, and I want to express a special gratitude for the valuable help offered by dear Thiago Luz. Finally, I would like to thank Coimbra and Portugal for the unforgettable days I spent knowing, living and feeling the best of this wonderful country. ABSTRACT Data centers are the backbone of a growing number of activities in modern economies. However, the large increase of digital content, big data, e-commerce, and Internet traffic is also making data centers one of the fastest-growing users of electricity. The total energy consumption of data centers corresponded to almost 1.5% of the global electricity consumption and has an approximated annual growth rate of 4.3%. Therefore, it is very important to increase the energy efficiency in data centers with actions such as power usage management, server consolidation, energy efficient components and systems, as well as demand response programs and renewable energy sources. Small and medium data centers account for more than 50% of the total electricity consumption in this sector. In fact, surveys indicate that this data center profile waste more energy than larger facilities. Nevertheless, existing studies tend to be focused on the energy related issues for large data centers rather than small and medium data centers. Thus, this work aims to present how an intensive energy consumer, such as small and medium data centers, can become more efficient from the energy point of view and how they can take advantage of demand response programs to decrease costs and to cooperate with the grid to ensure higher reliability and sustainable development goals. For this purpose, a set of actions have been taken in pursuit of this objective. Firstly, a meticulous state-of-the-art literature review of data centers energy efficiency and demand response perspectives was performed, providing fundamental information about the complex and technological world of small and medium data centers, in order to support the knowledge of their flexible load. An energy efficiency survey directed at Brazil, Portugal and the United States was also conducted, showing an alarming reality regarding energy efficiency practices within small and medium data centers. In the same context, an impact and potential assessment on energy efficiency towards small and medium data centers was performed allowing to observe the main advantages, disadvantages and applications in three important methodologies. A design of load management strategies and opportunities for demand response was developed considering a framework with two layers encompassing an energy efficiency methodology, the management of flexibility and the deployment of demand response scenarios with dynamic tariffs or an incentive-based contract. Alongside, the small and medium data centers load mathematical modeling and specification of optimization processes were provided within the same scope with two algorithms implemented with different approaches; one focused on small and medium data centers operators, and other dedicated to distribution system operators. At the data center level, a mixed-integer linear programming optimization technique is used to control flexible loads (considering ICT workload, cooling and UPS), in order to reduce the cost function in a price-based outline or to match the load reduction requirements in an incentive-based outline. Concerning the distribution system operator, a random-rotation and fairness algorithm selects the data centers to be used in each demand response event. Such algorithm deals with small and medium data centers in an aggregated and equitable way by drawing on their joint and flexible loads in contractual terms, as if they were one large data center. Finally, the optimization results were firstly demonstrated in a small and medium data centers perspective, as well as their respective scenarios, in which it has been proven the algorithm operation and reliability. The potential for cost savings in demand response was also proved, being achieved with the considered incentives in the simulation process, savings of 1.33% for small and 5.15% for medium data centers in the incentive approach, and 0.21% for small and 0.68% medium data centers in the dynamic tariff approach. Subsequently, the same premises were utilized with focus on the distribution system operator point of view, enabling to predict specific contractual policies that can be adopted in this type of relationship through the best and the worst scenarios simulations. The scenario with a preponderance of incentives stimulates the adoption of demand response programs applied to small and medium data centers, nevertheless the unchanged and penalty cases enable to forecast an unfavorable scenario for this sort of demand response program. In this context, on one hand, the one single day analysis showed a variation in the reduction potential between 18.02% and 91.16%, while the highest value in the penalty profile was 356 € and in the incentive profile 10,580 €. The 22 business day analyses presented a fluctuation in the reduction potential in the range of 13.12% and 71.38%, whilst the highest value in the penalty profile was 1,200 € and in the incentive profile 84,700 €. Keywords: Data Centers, Information and Communication Technologies, Energy Efficiency, Load Management, Demand Response RESUMO Os centros de dados são a base de um número crescente de atividades na economia moderna. No entanto, o grande aumento de conteúdo digital, big data, comércio eletrónico e tráfego da Internet está a tornar os centros de dados um dos utilizadores de eletricidade com um crescimento mais acentuado, com um consumo de energia correspondente a quase 1,5% do consumo global e com uma taxa de crescimento anual de aproximadamente 4,3%. Portanto, é de extrema importância aumentar as iniciativas de eficiência energética em centros de dados, direcionadas para a gestão do uso de energia, a consolidação de servidores, utilização de componentes e sistemas energeticamente eficientes, bem como a adoção de programas de resposta da procura e a utilização de fontes de energia renováveis.
Recommended publications
  • A Modern Primer on Processing in Memory
    A Modern Primer on Processing in Memory Onur Mutlua,b, Saugata Ghoseb,c, Juan Gomez-Luna´ a, Rachata Ausavarungnirund SAFARI Research Group aETH Z¨urich bCarnegie Mellon University cUniversity of Illinois at Urbana-Champaign dKing Mongkut’s University of Technology North Bangkok Abstract Modern computing systems are overwhelmingly designed to move data to computation. This design choice goes directly against at least three key trends in computing that cause performance, scalability and energy bottlenecks: (1) data access is a key bottleneck as many important applications are increasingly data-intensive, and memory bandwidth and energy do not scale well, (2) energy consumption is a key limiter in almost all computing platforms, especially server and mobile systems, (3) data movement, especially off-chip to on-chip, is very expensive in terms of bandwidth, energy and latency, much more so than computation. These trends are especially severely-felt in the data-intensive server and energy-constrained mobile systems of today. At the same time, conventional memory technology is facing many technology scaling challenges in terms of reliability, energy, and performance. As a result, memory system architects are open to organizing memory in different ways and making it more intelligent, at the expense of higher cost. The emergence of 3D-stacked memory plus logic, the adoption of error correcting codes inside the latest DRAM chips, proliferation of different main memory standards and chips, specialized for different purposes (e.g., graphics, low-power, high bandwidth, low latency), and the necessity of designing new solutions to serious reliability and security issues, such as the RowHammer phenomenon, are an evidence of this trend.
    [Show full text]
  • Research and Development of an Open Source System for Algebraic Modeling Languages
    Vilnius University Institute of Data Science and Digital Technologies LITHUANIA INFORMATICS (N009) RESEARCH AND DEVELOPMENT OF AN OPEN SOURCE SYSTEM FOR ALGEBRAIC MODELING LANGUAGES Vaidas Juseviˇcius October 2020 Technical Report DMSTI-DS-N009-20-05 VU Institute of Data Science and Digital Technologies, Akademijos str. 4, Vilnius LT-08412, Lithuania www.mii.lt Abstract In this work, we perform an extensive theoretical and experimental analysis of the char- acteristics of five of the most prominent algebraic modeling languages (AMPL, AIMMS, GAMS, JuMP, Pyomo), and modeling systems supporting them. In our theoretical comparison, we evaluate how the features of the reviewed languages match with the requirements for modern AMLs, while in the experimental analysis we use a purpose-built test model li- brary to perform extensive benchmarks of the various AMLs. We then determine the best performing AMLs by comparing the time needed to create model instances for spe- cific type of optimization problems and analyze the impact that the presolve procedures performed by various AMLs have on the actual problem-solving times. Lastly, we pro- vide insights on which AMLs performed best and features that we deem important in the current landscape of mathematical optimization. Keywords: Algebraic modeling languages, Optimization, AMPL, GAMS, JuMP, Py- omo DMSTI-DS-N009-20-05 2 Contents 1 Introduction ................................................................................................. 4 2 Algebraic Modeling Languages .........................................................................
    [Show full text]
  • (BEER): Determining DRAM On-Die ECC Functions by Exploiting DRAM Data Retention Characteristics
    Bit-Exact ECC Recovery (BEER): Determining DRAM On-Die ECC Functions by Exploiting DRAM Data Retention Characteristics Minesh Pately Jeremie S. Kimzy Taha Shahroodiy Hasan Hassany Onur Mutluyz yETH Zurich¨ zCarnegie Mellon University Increasing single-cell DRAM error rates have pushed DRAM entirely within the DRAM chip [39, 76, 120, 129, 138]. On-die manufacturers to adopt on-die error-correction coding (ECC), ECC is completely invisible outside of the DRAM chip, so ECC which operates entirely within a DRAM chip to improve factory metadata (i.e., parity-check bits, error syndromes) that is used yield. e on-die ECC function and its eects on DRAM relia- to correct errors is hidden from the rest of the system. bility are considered trade secrets, so only the manufacturer Prior works [60, 97, 98, 120, 129, 133, 138, 147] indicate that knows precisely how on-die ECC alters the externally-visible existing on-die ECC codes are 64- or 128-bit single-error cor- reliability characteristics. Consequently, on-die ECC obstructs rection (SEC) Hamming codes [44]. However, each DRAM third-party DRAM customers (e.g., test engineers, experimental manufacturer considers their on-die ECC mechanism’s design researchers), who typically design, test, and validate systems and implementation to be highly proprietary and ensures not to based on these characteristics. reveal its details in any public documentation, including DRAM To give third parties insight into precisely how on-die ECC standards [68,69], DRAM datasheets [63,121,149,158], publi- transforms DRAM error paerns during error correction, we cations [76, 97, 98, 133], and industry whitepapers [120, 147].
    [Show full text]
  • Computer Architectures
    Computer Architectures Processor+Memory Richard Šusta, Pavel Píša Czech Technical University in Prague, Faculty of Electrical Engineering AE0B36APO Computer Architectures Ver.1.00 2019 1 The main instruction cycle of the CPU 1. Initial setup/reset – set initial PC value, PSW, etc. 2. Read the instruction from the memory PC → to the address bus Read the memory contents (machine instruction) and transfer it to the IR PC+l → PC, where l is length of the instruction 3. Decode operation code (opcode) 4. Execute the operation compute effective address, select registers, read operands, pass them through ALU and store result 5. Check for exceptions/interrupts (and service them) 6. Repeat from the step 2 AE0B36APO Computer Architectures 2 Single cycle CPU – implementation of the load instruction lw: type I, rs – base address, imm – offset, rt – register where to store fetched data I opcode(6), 31:26 rs(5), 25:21 rt(5), 20:16 immediate (16), 15:0 ALUControl 25:21 WE3 SrcA Zero WE PC’ PC Instr A1 RD1 A RD ALU A RD Instr. A2 RD2 SrcB AluOut Data ReadData Memory Memory A3 Reg. WD3 File WD 15:0 Sign Ext SignImm B35APO Computer Architectures 3 Single cycle CPU – implementation of the load instruction lw: type I, rs – base address, imm – offset, rt – register where to store fetched data I opcode(6), 31:26 rs(5), 25:21 rt(5), 20:16 immediate (16), 15:0 Write on rising edge of CLK RegWrite = 1 ALUControl 25:21 WE3 SrcA Zero WE PC’ PC Instr A1 RD1 A RD ALU A RD Instr.
    [Show full text]
  • A Mixed Integer Linear Programming Approach for Developing Salary Administration Systems
    University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange Masters Theses Graduate School 12-2016 A MIXED INTEGER LINEAR PROGRAMMING APPROACH FOR DEVELOPING SALARY ADMINISTRATION SYSTEMS Taner Cokyasar University of Tennessee, Knoxville, [email protected] Follow this and additional works at: https://trace.tennessee.edu/utk_gradthes Part of the Benefits and Compensation Commons, Industrial Engineering Commons, and the Operational Research Commons Recommended Citation Cokyasar, Taner, "A MIXED INTEGER LINEAR PROGRAMMING APPROACH FOR DEVELOPING SALARY ADMINISTRATION SYSTEMS. " Master's Thesis, University of Tennessee, 2016. https://trace.tennessee.edu/utk_gradthes/4282 This Thesis is brought to you for free and open access by the Graduate School at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Masters Theses by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a thesis written by Taner Cokyasar entitled "A MIXED INTEGER LINEAR PROGRAMMING APPROACH FOR DEVELOPING SALARY ADMINISTRATION SYSTEMS." I have examined the final electronic copy of this thesis for form and content and recommend that it be accepted in partial fulfillment of the equirr ements for the degree of Master of Science, with a major in Industrial Engineering. Alberto Garcia, Major Professor We have read this thesis and recommend its acceptance: John E. Kobza, Rapinder Sawhney Accepted for the Council: Carolyn R. Hodges Vice Provost and Dean of the Graduate School (Original signatures are on file with official studentecor r ds.) A MIXED INTEGER LINEAR PROGRAMMING APPROACH FOR DEVELOPING SALARY ADMINISTRATION SYSTEMS A Thesis Presented for the Master of Science Degree The University of Tennessee, Knoxville Taner Cokyasar December 2016 Copyright © 2016 by Taner Cokyasar All rights reserved.
    [Show full text]
  • Comparative Programming Languages CM20253
    We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist And there are many more factors we could talk about in making choices of language The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design The End There are many languages out there, both general purpose and specialist We have briefly covered many aspects of language design And there are many more factors we could talk about in making choices of language Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages And then the interopability of languages becomes important For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project For example, can you easily join together code written in Java and C? The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important The End Or languages Often a single project can use several languages, each suited to its part of the project And then the interopability of languages becomes important For example, can you easily
    [Show full text]
  • 1. Overview of Pyomo John D
    1. Overview of Pyomo John D. Siirola Discrete Math & Optimization (1464) Center for Computing Research Sandia National Laboratories Albuquerque, NM USA <VENUE> <DATE> Sandia National Laboratories is a multi-program laboratory managed and operated by Sandia Corporation, a wholly owned subsidiary of Lockheed Martin Corporation, for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-AC04-94AL85000. SAND NO. 2011-XXXXP Pyomo Overview Idea: a Pythonic framework for formulating optimization models . Provide a natural syntax to describe mathematical models . Formulate large models with a concise syntax . Separate modeling and data declarations . Enable data import and export in commonly used formats # simple.py Highlights: from pyomo.environ import * . Python provides a M = ConcreteModel() clean, intuitive syntax M.x1 = Var() M.x2 = Var(bounds=(-1,1)) M.x3 = Var(bounds=(1,2)) . Python scripts provide M.o = Objective( a flexible context for expr=M.x1**2 + (M.x2*M.x3)**4 + \ exploring the structure M.x1*M.x3 + \ M.x2*sin(M.x1+M.x3) + M.x2) of Pyomo models model = M Overview of Pyomo 2 Overview . What happened to Coopr? . Three really good questions: . Why another Algebraic Modeling Language (AML)? . Why Python? . Why open-source? . Pyomo: Software library infrastructure . Pyomo: Team overview and collaborators / users . Where to find more information… Overview of Pyomo 3 What Happened to Coopr? . Users were installing Coopr but using Pyomo . Pyomo modeling extensions were not distinct enough . Researchers cited “Coopr/Pyomo” . Users/Developers were confused by the coopr and pyomo commands . Developers were coding in Coopr but talking about Pyomo We needed to provide clear branding this project! Overview of Pyomo 4 Optimization Modeling Goal: .
    [Show full text]
  • Mithril: Cooperative Row Hammer Protection on Commodity DRAM Leveraging Managed Refresh
    Mithril: Cooperative Row Hammer Protection on Commodity DRAM Leveraging Managed Refresh Michael Jaemin Kim, Jaehyun Park, Yeonhong Park, Wanju Doh, Namhoon Kim, Tae Jun Ham, Jae W. Lee, and Jung Ho Ahn Seoul National University [email protected] Abstract—Since its public introduction in the mid-2010s, the computer system. RH-induced bit-flip can be abused in various Row Hammer (RH) phenomenon has drawn significant attention attack scenarios. For example, the RH can be utilized to from the research community due to its security implications. modify an unauthorized memory location or enable other Although many RH-protection schemes have been proposed by processor vendors, DRAM manufacturers, and academia, they attack techniques such as privilege escalation and cross-VM still have shortcomings. Solutions implemented in the memory attacks [1], [11], [12], [17], [41], [49], [53]. controller (MC) pay an increasingly higher cost due to their The criticality of this problem motivated many RH protec- conservative design for the worst case in terms of the number tion solutions. There exist several software-based solutions [5], of DRAM banks and RH threshold to support. Meanwhile, the [9], [19], [30], [49], but such solutions often incur a high- DRAM-side implementation has a limited time margin for RH protection measures or requires extensive modifications to the performance cost and have limited coverage (i.e., only ef- standard DRAM interface. fective against a specific attack scenario). For these reasons, Recently, a new command for RH protection has been intro- architectural solutions have emerged as promising alternatives. duced in the DDR5/LPDDR5 standards, called refresh manage- By providing the RH mitigation at the DRAM device level, ment (RFM).
    [Show full text]
  • Constructing Effective UVM Testbench for DRAM Memory Controllers
    Constructing Effective UVM testbench for DRAM Memory Controllers Khaled Salah1, Hassan Mostafa2 1Mentor, a Siemens Business, Egypt. 2 Electronics and Communications Engineering Department, Cairo University, Giza 12613, Egypt. [email protected] [email protected] TABLE II presents comparison between the most Abstract—In this paper, a general verification common architecture in terms of commands. TABLE III architecture for DRAM memory controllers is compares between different memories controllers. proposed. The proposed verification architecture is Enhancing the verification environment is a challenge based on universal verification methodology (UVM) for DRAM memory controllers as they are very time which makes use of the common features between consuming parts. different DRAM memory controllers to generate In this paper, generic UVM-based verification common and configurable scoreboard, sequences, architecture is proposed to verify the DRAM memory stimulus, different UVM components, payload and controllers. The proposed architecture exploits the test-cases. The proposed verification architecture uses common features to generate common UVM components and tests. The rest of paper is organized as follows. In minimum number of macros, methods and classes. Section II, The proposed architecture is introduced. In The proposed verification architecture provides high Section III, results are analyzed. Conclusions are given in reusability for UVM tests. section IV. TABLE I MEMORY CONTROLLERS FEATURES Index Terms — UVM, DRAM, Verification, Features Explanation Architecture. Topology Point to point, or multi-master/ multi-slave. Physical interface Pins. Initialization process Start operation and negotiation. I. INTRODUCTION Command Sets • Read • Write • multiple read As verification is now considered as the bottleneck of • multiple write any complex VLSI design. So, improving the verification • Activate efficiency is a must.
    [Show full text]
  • Introducing Micron DDR5 SDRAM: More Than a Generational Update
    A MICRON WHITE PAPER Introducing Micron® DDR5 SDRAM: More Than a Generational Update By Scott Schlachter and Brian Drake Introduction DDR5, the successor of DDR4, has been developed to deliver performance improvements at a time when system designers are feeling increasing pressure from continuous technological advancements—where current memory bandwidth is simply unable to keep up with newer processor models that have increasing core counts. DDR5 is the fifth-generation double data rate (DDR) SDRAM, and the feature enhancements from DDR4 to DDR5 are the greatest yet. While previous generations focused on reducing power consumption and were driven by applications such as mobile and data center, DDR5’s primary driver has been the need for more bandwidth. Compared to DDR4 at an equivalent data rate of 3200 megatransfers per second (MT/s), a DDR5 system-level simulation example indicates an approximate performance increase of 1.36X effective bandwidth. At a higher data rate, DDR5-4800, the approximate performance increase becomes 1.87X—nearly double the bandwidth as compared to DDR4-3200. Figure 1: Effective Bandwidth: DDR4 vs. DDR51 Driven by data rates up to 6400 MT/s and key architectural improvements, Micron’s DDR5 is pushing potential system bandwidth even higher. This white paper discusses some of the key architectural improvements of DDR5 and, specifically, how they enable significant bandwidth growth over DDR4. 1. Source: Micron. Bandwidth normalized to x64 interface, 64B random accesses, 66% reads, dual-rank x4 simulation, 16Gb. Best estimates; subject to change. 1 A MICRON WHITE PAPER Meeting Next-Generation CPU Requirements At the system-level, despite only modest clock rate improvements, the transition to multicore CPU architectures has enabled continuous year-over-year compute performance gains.
    [Show full text]
  • Видове Dram Памети - Sdr Sdram, Ddr, Ddr2, Ddr3, Ddr4, Ddr5 И Rambus
    Видове DRAM памети - SDR SDRAM, DDR, DDR2, DDR3, DDR4, DDR5 и RAMBUS. Сравнителен анализ. I. Въведение При персоналните компютри се използва два вида RAM - динамична (DRAM) и статична (SRAM). Статичната памет, използвана при персоналните компютри, се нарича кеш памет. Времето за достъп до клетка от статичната памет е много по-малко отколкото времето за достъп при динамичната памет. Причината за това е начина на функциониране на запомнящите клетки при двата вида памети. Докато при SRAM запомнящият елемент е D тригер, то при DRAM запомнящият елемент е интегрален кондензатор (използва се капацитета между изводите дрейн и сорс на интегрален транзистор). На фиг. 1 е показана структурата на една запомняща клетка от DRAM. ключ U вх U изх Генератор на еталонен ток I зареждане I разреждане Електронен кондензатор Фиг. 1. Структура на запомняща клетка от DRAM Запомнящият елемент е електронен кондензатор с капацитет около 0.1pF. Той се зарежда за определен интервал от време до стойността на входното напрежение U вх (лог. 0 или лог. 1). За да може времето за зареждане на кондензатора да е независимо от стойността на входното напрежение, токът на зареждане се получава от генератор за еталонен ток. Зареждането започва след затваряне на ключа (транзистор, включен като електронен ключ). След зареждане на кондензатора, ключът се отваря. От този момент нататък запомнящата клетка не консумира електроенергия, но кондензаторът започва да се разрежда, поради тока на утечка. Преди момента на прекомерно намаляване на изходното напрежение U изх., ключът отново се затваря. Този процес на зареждане-разреждане на електронните кондензатори продължава непрекъснато по време на работа на компютъра и се нарича опресняване на динамичната памет.
    [Show full text]
  • Experimental Analysis of Algebraic Modelling Languages for Mathematical Optimization
    INFORMATICA, 2021, Vol. 32, No. 2, 283–304 283 © 2021 Vilnius University DOI: https://doi.org/10.15388/21-INFOR447 Experimental Analysis of Algebraic Modelling Languages for Mathematical Optimization Vaidas JUSEVIČIUS1, Richard OBERDIECK2, Remigijus PAULAVIČIUS1,∗ 1 Vilnius University Institute of Data Science and Digital Technologies, Akademijos 4, LT-08663 Vilnius, Lithuania 2 Gurobi Optimization, LLC, USA e-mail: [email protected], [email protected], [email protected] Received: October 2020; accepted: March 2021 Abstract. In this work, we perform an extensive theoretical and experimental analysis of the charac- teristics of five of the most prominent algebraic modelling languages (AMPL, AIMMS, GAMS, JuMP, and Pyomo) and modelling systems supporting them. In our theoretical comparison, we evaluate how the reviewed modern algebraic modelling languages match the current requirements. In the experimental analysis, we use a purpose-built test model library to perform extensive benchmarks. We provide insights on which algebraic modelling languages performed the best and the features that we deem essential in the current mathematical optimization landscape. Finally, we highlight possible future research directions for this work. Key words: algebraic modelling languages, optimization, AMPL, AIMMS, GAMS, JuMP, Pyomo. 1. Introduction Many real-world problems are routinely solved using modern optimization tools (e.g. Ab- hishek et al., 2010; Fragniere and Gondzio, 2002; Groër et al., 2011; Paulavičius and Žilinskas, 2014; Paulavičius et al., 2020a, 2020b; Pistikopoulos et al., 2015). Internally, these tools use the combination of a mathematical model with an appropriate solution algorithm (e.g. Cosma et al., 2020; Fernández et al., 2020; Gómez et al., 2019;Leeet al., 2019; Paulavičius and Žilinskas, 2014; Paulavičius et al., 2014; Paulavičius and Ad- jiman, 2020; Stripinis et al., 2019, 2021) to solve the problem at hand.
    [Show full text]