1,026,292 Hits in 4.6 sec

A General Type for Storage Operators [article]

Karim Nour
2009 arXiv   pre-print
In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this result to other types.  ...  Krivine has shown that, using Gödel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system.  ...  Krivine for helpful discussions. He found independently the principal result of this paper which he proved by a semantical method.  ... 
arXiv:0905.0549v1 fatcat:puxlrttvfjaqrmcrp5d7xvmobu

A unit commitment study of the application of energy storage toward the integration of renewable generation

Chioke Harris, Jeremy P. Meyers, Michael E. Webber
2012 Journal of Renewable and Sustainable Energy  
To examine the potential benefits of energy storage in the electric grid, a generalized unit commitment model of thermal generating units and energy storage facilities is developed.  ...  This operational approach enables storage of plentiful wind generation during winter months that can then be dispatched during high cost peak periods in the summer.  ...  ACKNOWLEDGMENTS The authors would like to acknowledge Austin Energy for their provision of data to support the model.  ... 
doi:10.1063/1.3683529 fatcat:gcbf4savcrbx3kwsmzg2ejldf4

Design of a Generic, Vectorised, Machine-Vision library [chapter]

Bing-Chang Lai, Phillip John
2005 Cutting Edge Robotics  
Generally, when an operation cannot be placed into a group smaller than M to N, it is prudent to explicitly implement an algorithm for that operation.  ...  An instruction might be available only for some types, and some operations require different instructions for different types.  ... 
doi:10.5772/4647 fatcat:gobunyavkzh3bfxtydajfd7jui

The Architecture of the EXODUS Extensible DBMS [chapter]

Michael J. Carey, David J. DeWitt, Daniel Frank, Goetz Graefe, Joel E. Richardson, Eugene J. Shekita, M. Muralikrlshna
1991 Topics in Information Systems  
EXODUS provides certain kernel facilities, including a versatile storage manager and a type manager.  ...  as a data type), support for "active" databases via triggers and alerters, and inferencing.  ...  EXODUS will provide a library of methods for a number of operators that operate on a single type of storage object (e.g., selection), but it will not provide application or data model specific methods.  ... 
doi:10.1007/978-3-642-84374-7_15 fatcat:sm7nt6gfl5cxbhf7x2mko4jmxm

The specificity of electrical energy storage unit application

Evgen Sokol, Volodymyr Zamaruiev, Serhiy Kryvosheev, Bohdan Styslo, Vadym Makarov
2017 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON)  
When choosing a special type of energy storage device for the BESS, it is necessary to take into consideration both technical and economic characteristics.  ...  However, for design of the hybrid storage units methods that determine the installed capacity of each type of used storage units is need to develop.  ... 
doi:10.1109/ukrcon.2017.8100524 fatcat:acq4i2ld3venjcoj77qbszn3vi

Joint Optimization of Hybrid Energy Storage and Generation Capacity With Renewable Energy

Peng Yang, Arye Nehorai
2014 IEEE Transactions on Smart Grid  
In this paper, we formulate a cost minimization problem for storage and generation planning, considering both the initial investment cost and operational/maintenance cost, and propose a distributed optimization  ...  Therefore joint capacity optimization for multiple types of energy storage and generation is important when designing this type of power systems.  ...  of multiple types of energy storage and the different availabilities of multiple types of renewable energy sources, forming a hybrid energy generation and storage system.  ... 
doi:10.1109/tsg.2014.2313724 fatcat:l3wtn5cc4nhfzdo2sq5xvrtgli

Carbon dioxide emissions effects of grid-scale electricity storage in a decarbonizing power system

Michael T Craig, Paulina Jaramillo, Bri-Mathias Hodge
2018 Environmental Research Letters  
Simulations for this paper were done using the Extreme Science and Engineering Discovery Environment (XSEDE), which is supported by National Science Foundation via Grant Number ACI-1548562.  ...  We thank Roberto Gomez for XSEDE assistance. The results and conclusions of this paper are the sole responsibility of the authors and do not represent the views of the funding sources.  ...  In order to account for inter-day generator operations, the UCED model runs hourly for a 24 hour optimization window plus a 24 hour look-ahead period.  ... 
doi:10.1088/1748-9326/aa9a78 fatcat:de74vwbpkfanldydinwbczgw3a

RES and ES Integration in Combination with Distribution Grid Development Using MILP

Mateusz Andrychowicz
2021 Energies  
Different types of RES and loads are considered, represented by generation/demand profiles reflecting their typical operating conditions.  ...  RES allocation indicates the node in the distribution system and the power level for each type of RES that may be built.  ...  component of operating costs of energy storage, capital and a fixed component of operating costs of permanent new lines in the network, and variable component of operating costs of generating units.  ... 
doi:10.3390/en14020383 fatcat:d3kjgfpjungy5aaar3fgzzjn5q

On Persistent and Reliable Streaming in Ada [chapter]

Jörg Kienzle, Alexander Romanovsky
2000 Lecture Notes in Computer Science  
A hierarchy of different storage types, useful in different application domains, is introduced.  ...  The convenience of this new interface is demonstrated by developing a generic package allowing any non-limited object to be written into a storage device.  ...  The Serializable interface defines operations that accept a Reader for reading and a Writer for writing.  ... 
doi:10.1007/10722060_10 fatcat:ekceyfv3vfhfzjequyk7n6iije

The Impact of Energy Storage along with the Allocation of RES on the Reduction of Energy Costs Using MILP

Mateusz Andrychowicz
2021 Energies  
The aim of optimization is to determine the structure of generation sources and energy storage in order to minimize energy costs.  ...  The paper shows a method of optimizing local initiatives in the energy sector, such as energy cooperatives and energy clusters.  ...  Acknowledgments: The author would like to express their gratitude to the FICO ® corporation for programming support and provision of academic licenses for Xpress Optimization Suite to Lodz University of  ... 
doi:10.3390/en14133783 fatcat:nopcpjgcj5hythckuumrxtnbga

Assessing the viability of Battery Energy Storage Systems coupled with Photovoltaics under a pure self-consumption scheme [article]

Georgios A. Barzegkar-Ntovom, Nikolas G. Chatzigeorgiou, Angelos I. Nousdilis, Styliani A. Vomva, Georgios C. Kryonidis, Eleftherios O. Kontis, George E. Georghiou, Georgios C. Christoforidis, Grigoris K. Papagiannis
2019 arXiv   pre-print
sizes of the hybrid system, battery energy storage costs and prosumer types for six Mediterranean countries.  ...  To this context, the exploitation of energy storage systems integrated along with PVs could constitute a possible solution.  ...  Thus, the LCOE of a PV-and-Storage system differs significantly given the operating conditions of the storage asset and especially of any possible monetary reimbursement of this operation.  ... 
arXiv:1910.07576v1 fatcat:p44ov3cz55b5nfhtvzbbzs4ytu

Multi-metric and multi-entity characterization of applications for early system design exploration

Lukai Cai, Andreas Gerstlauer, Daniel Gajski
2005 Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05  
Experimental results show the applicability of the approach for efficient early design space exploration.  ...  The proposed approach analyzes complex system application and generates multi-metric and multi-entity characteristics.  ...  For each behavior arid channel, storage requirements are computed where item types distinguish between local and global storage.  ... 
doi:10.1145/1120725.1120763 dblp:conf/aspdac/CaiGG05 fatcat:j5ycpgxvijdfdltxpegcp6quxy

Optimizing Generation Capacities Incorporating Renewable Energy with Storage Systems Using Genetic Algorithms

Farukh Abbas, Salman Habib, Donghan Feng, Zheng Yan
2018 Electronics  
There has been a report discussing the operation and development of renewable energy system, with energy storage, particularly highlighting the challenges to synthesize resources with the operation and  ...  The storage system can provide stabilization services and is pivotal for backup power for emergencies.  ...  Acknowledgments: I am extremely thankful to Yingyun Sun form National Electric Power Key laboratory North China Electric Power University (NCEPU) for providing necessary information and guidance to pursue  ... 
doi:10.3390/electronics7070100 fatcat:xzhaf3mbtfhvvilqeijetx6ofm

Applications of Thermal Energy Storage in Solar Organic Rankine Cycles: A Comprehensive Review

Mohamed Salem, Morteza Fahim Alavi, Ibrahim Mahariq, Oussama Accouche, Mamdouh El Haj Assad
2021 Frontiers in Energy Research  
Organic Rankine Cycles (ORCs) are promising approaches for generating power from medium or low temperature heat sources.  ...  In this article, studies on solar ORCs integrated with various types of storage units were reviewed; the main findings of such studies were extracted and provided.  ...  This type of concentrator is fixed on a structure and is appropriate for unfavorable operating conditions, such as windy weather.  ... 
doi:10.3389/fenrg.2021.766292 fatcat:yb3zatfnnfc6tgiaxx656w2poq

Compiler Support for Sparse Tensor Computations in MLIR [article]

Aart J.C. Bik, Penporn Koanantakool, Tatiana Shpeisman, Nicolas Vasilache, Bixia Zheng, Fredrik Kjolstad
2022 arXiv   pre-print
Programs that operate on such tensors can exploit sparsity to reduce storage requirements and computational time.  ...  Therefore, we propose treating sparsity as a property of tensors, not a tedious implementation task, and letting a sparse compiler generate sparse code automatically from a sparsity-agnostic definition  ...  Acknowledgments The authors would like to extend their thanks to the MLIR team, with a special shout-out to Mehdi Amini, Eugene Burmako, Diego Caballero, Albert Cohen, Sanjoy Das, Tobias Gysi, Stephan  ... 
arXiv:2202.04305v1 fatcat:6qijxmernbev7pwmt6lgqdvziy
« Previous Showing results 1 — 15 out of 1,026,292 results