The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
A General Type for Storage Operators
[article]
2009
arXiv
pre-print
Preserved Fulltext
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
2012
Journal of Renewable and Sustainable Energy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Cutting Edge Robotics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
1991
Topics in Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2014
IEEE Transactions on Smart Grid
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Environmental Research Letters
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2005
Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
2018
Electronics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Frontiers in Energy Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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