Development and technology status of energy storage in depleted gas reservoirs

Utilizing energy storage in depleted oil and gas reservoirs can improve productivity while reducing power costs and is one of the best ways to achieve synergistic development of"Carbon Peak–Carbon Neutral"and"Underground Resource Utiliza-tion".Starting from the development of Compressed Air Energy Storage(CAES)technology,the site selection of CAES in depleted gas and oil reservoirs,the evolution mechanism of reservoir dynamic sealing,and the high-flow CAES and injection technology are summarized.It focuses on analyzing the characteristics,key equipment,reservoir construction,application scenarios and cost analysis of CAES projects,and sorting out the technical key points and existing difficulties.The devel-opment trend of CAES technology is proposed,and the future development path is scrutinized to provide reference for the research of CAES projects in depleted oil and gas reservoirs.

Large-Scale Carbon Dioxide Storage in Salt Caverns:Evaluation of Operation,Safety,and Potential in China

Underground salt cavern CO_(2) storage(SCCS)offers the dual benefits of enabling extensive CO_(2) storage and facilitating the utilization of CO_(2) resources while contributing the regulation of the carbon market.Its economic and operational advantages over traditional carbon capture,utilization,and storage(CCUS)projects make SCCS a more cost-effective and flexible option.Despite the widespread use of salt caverns for storing various substances,differences exist between SCCS and traditional salt cavern energy storage in terms of gas-tightness,carbon injection,brine extraction control,long-term carbon storage stability,and site selection criteria.These distinctions stem from the unique phase change characteristics of CO_(2) and the application scenarios of SCCS.Therefore,targeted and forward-looking scientific research on SCCS is imperative.This paper introduces the implementation principles and application scenarios of SCCS,emphasizing its connections with carbon emissions,carbon utilization,and renewable energy peak shaving.It delves into the operational characteristics and economic advantages of SCCS compared with other CCUS methods,and addresses associated scientific challenges.In this paper,we establish a pressure equation for carbon injection and brine extraction,that considers the phase change characteristics of CO_(2),and we analyze the pressure during carbon injection.By comparing the viscosities of CO_(2) and other gases,SCCS’s excellent sealing performance is demonstrated.Building on this,we develop a long-term stability evaluation model and associated indices,which analyze the impact of the injection speed and minimum operating pressure on stability.Field countermeasures to ensure stability are proposed.Site selection criteria for SCCS are established,preliminary salt mine sites suitable for SCCS are identified in China,and an initial estimate of achievable carbon storage scale in China is made at over 51.8-77.7 million tons,utilizing only 20%-30%volume of abandoned salt caverns.This paper addresses key scientific and engineering challenges facing SCCS and determines crucial technical parameters,such as the operating pressure,burial depth,and storage scale,and it offers essential guidance for implementing SCCS projects in China.

Test Data Generation for Stateful Network Protocol Fuzzing Using a Rule-Based State Machine

To improve the efficiency and coverage of stateful network protocol fuzzing, this paper proposes a new method, using a rule-based state machine and a stateful rule tree to guide the generation of fuzz testing data. The method first builds a rule-based state machine model as a formal description of the states of a network protocol. This removes safety paths, to cut down the scale of the state space. Then it uses a stateful rule tree to describe the relationship between states and messages, and then remove useless items from it. According to the message sequence obtained by the analysis of paths using the stateful rule tree and the protocol specification, an abstract data model of test case generation is defined. The fuzz testing data is produced by various generation algorithms through filling data in the fields of the data model. Using the rule-based state machine and the stateful rule tree, the quantity of test data can be reduced. Experimental results indicate that our method can discover the same vulnerabilities as traditional approaches, using less test data, while optimizing test data generation and improving test efficiency.