; [\Oh+'0HP
$TU Delft Repository search results0TU Delft Repository search results (max. 1000)TU Delft LibraryTU Delft Library@p6Ŵ@p6Ŵ՜.+,0HPX`hp
x
WorksheetFeuilles de calcul
B=%r8X"1Calibri1Calibri1Calibri1
Calibri 83ffff̙̙3f3fff3f3f33333f33333.1UTU Delft Repositoryg Cuuidrepository linktitleauthorcontributorpublication yearabstract
subject topiclanguagepublication type publisherisbnissnpatent
patent statusbibliographic noteaccess restrictionembargo datefaculty
departmentresearch group programmeprojectcoordinates)uuid:98069993b4394fcf8bb2273ddfa738b2Dhttp://resolver.tudelft.nl/uuid:98069993b4394fcf8bb2273ddfa738b2PPulse Testing for Monitoring the Thermal Front in Aquifer Thermal Energy StorageCFokker, P.A.; Borello, E.S.; Viberti, D.; Verga, F.; van Wees, J.D.Seasonal storage of heat in shallow aquifers for increasing the efficiency of geothermal energy systems requires a proper monitoring strategy. We expanded our earlier work on harmonic pulse testing (HPT) to incorporate the effect of a temperature front moving into the reservoir due to injection of hot (or cold) water. Our analytical solutions were applied to monitor the thermal front evolution in a doublet system. Thermal front position and average temperature around the injector could indeed be characterized through the application of the proposed HPT interpretation. Additional analyses were carried out adding noise to evaluate the robustness of the interpretation methodology.oMonitoring; Thermal energy storage; Well testing; Harmonic pulse testing; Geological Survey Netherlands; EnergyenarticleElsevier)uuid:99feb9a521ff4734adf2ed03f3f42718Dhttp://resolver.tudelft.nl/uuid:99feb9a521ff4734adf2ed03f3f42718DMatching implementations to specifications: The Corner Cases of iocoJanssen, R.; Tretmans, J.fA wellknown conformance relation for modelbased testing is ioco. A conformance relation expresses when an implementation is correct with respect to a specification. Unlike many other conformance and refinement relations, ioco has different domains for implementations and for specifications. Consequently, ioco is neither reflexive nor transitive, implying that a specification does not implement itself, and that specifications cannot be compared for refinement. In this paper, we investigate how we can compensate for the lack of reflexivity and transitivity. We show that (i) given a specification, we can construct in a standard way a canonical conforming implementation that is very 'close' to the specification; and (ii) a refinement preorder on specification models can be defined such that a refined model allows less iococonforming implementations. We give declarative and constructive definitions of both, we give examples of unimplementable cornercases, we investigate decidability, and we do that for ioco as well as for the iocovariant uioco. The latter turns out to be simpler and on more aspects decidable.Industrial Innovation; Computability and decidability; Model checking; Well testing; Corner case; Different domains; Model based testing; Preorders; Refined model; Specification models; Specificationsconference paper#Association for Computing Machinery)uuid:8c40265a740b4b3c822b5febefa8d558Dhttp://resolver.tudelft.nl/uuid:8c40265a740b4b3c822b5febefa8d5586Harmonic pulse testing for well performance monitoring8Fokker, P.A.; Salina Borello, E.; Verga, F.; Viberti, D.Harmonic testing was developed as a form of well testing that can be applied during ongoing production or injection operations, as a pulsed signal is superimposed on the background pressure trend. Thus no interruption of well and reservoir production is needed before and during the test. If the pulsed pressure and rate signal analysis is performed in the frequency domain, strong similarity exists between the derivative of the harmonic response function versus the harmonic period and the pressure derivative versus time, typical of conventional well testing. Thus the interpretation of harmonic well tests becomes very straightforward. In this paper, we present the analytical models for the most commonly encountered well and reservoir scenarios and we validate the model for horizontal wells against real data of a harmonic test performed on a gas storage well in Italy. 2017 Elsevier B.V.2015 Geo; PG  Petroleum Geo< sciences; ELSS  Earth, Life and Social Sciences; Geological Survey Netherlands; Geosciences; 2015 Energy; Gas storage; Harmonic testing; Horizontal well; Well performance monitoring; Well testing)uuid:24c6edbbc69c44439d506aef471bfbe9Dhttp://resolver.tudelft.nl/uuid:24c6edbbc69c44439d506aef471bfbe9>Harmonic pulse testing for well and reservoir characterizationtFor decades, well tests have been widely used in the oil industry for evaluation of well productivity and reservoir properties, which provide key information for field development and facilities design. In conventional well tests equilibrium conditions are required in the reservoir before the test. Furthermore, a single well only can be produced at a time, inducing one or more pressure drawdown periods followed by a final pressure buildup which are the object of the interpretation. Harmonic testing has been developed as a form of well testing that can be applied during ongoing production or injection operations, as a pulsed signal is superimposed on the background pressure trend. Thus no interruption of well and reservoir production is needed before and during the test. If the pulsed pressure and rate signal analysis is performed in the frequency domain, a strong similarity exists between the derivative of the harmonic response function versus the harmonic period and the pressure derivative versus time, typical of conventional well testing. Thus the interpretation of harmonic well tests becomes very straightforward. In this paper, we present the derivation of type curves for the most commonly encountered well and reservoir scenarios and we validate the typecurves developed for horizontal wells against real data of a harmonic test performed on a gas storage well in Italy.2017 Geo; AG  Applied Geosciences; ELSS  Earth, Life and Social Sciences; Geological Survey Netherlands; Geosciences; 2015 Energy; Harmonic testing; Horizontal well; Pulse testing; Reservoir characterization; Well testingSociety of Petroleum Engineers)uuid:37fb181395674f92a643028c5049da27Dhttp://resolver.tudelft.nl/uuid:37fb181395674f92a643028c5049da27OA semianalytical model for productivity testing of complex well configurationsLFokker, P.A.; Brouwer, G.K.; Verga, F.; Ferrero, D.; TNO Bouw en Ondergrond This paper presents a semianalytical method for the modeling of productivity testing of vertical, horizontal or multilateral wells. The method, which is applicable to both oil and gas reservoirs, automatically accounts for well interference. The use of analytical expressions ensures proper handling of transient short time behavior and semisteadystate longtime behavior, both close to the well and further into the reservoir. Calculation times are still very limited, in the order of a few minutes down to a few seconds when there are vertical wells only. This makes the tool suitable for well testing evaluation. The approach is based on an earlier derived productivity prediction tool, in which the steadystate equations were solved. It has now been extended to solve the timedependent diffusion equation and it is thus more rigorous than the extension to timedependent behavior using solutions to the Laplace equation and moving pressure boundaries, which was presented recently. In our current method, the equations have first been transformed using the Laplace transformation. The expressions for the producing wells are combined with auxiliary sources outside the reservoir. The core of the semianalytic method involves an adjustment of the positions and strengths of these sources in order to approximate the boundary conditions at the reservoir boundaries. The solution that is obtained is transformed back into the time domain using a Stehfest algorithm. The new approach has been validated with numerical tools, including both reservoir simulators and welltest interpretation software. Validations were performed with artificial cases using both singlewell and multiplewell production tests. The results of these tests were excellent.Energy Efficiency; Geosciences; Energy / Geological Survey< Netherlands; Equations of state; Laplace transforms; Petroleum reservoirs; Productivity; Tools; Well testing; Analytical expressions; Interpretation software; Laplace transformations; Semianalytical methods; Steadystate equations; Time dependent behavior; Timedependent diffusion; Welltesting evaluation; Software testing9European Association of Geoscientists and Engineers, EAGESponsors: Shell)uuid:86764b57cf604625a4c496288b221bddDhttp://resolver.tudelft.nl/uuid:86764b57cf604625a4c496288b221bddBA semianalytical model for productivity testing of multiple wellsoFokker, P.A.; Brouwer, G.K.; Verga, F.; Ferrera, D.; Nederlands Instituut voor Toegepaste Geowetenschappen TNO This paper presents a new, semianalytical method for calculation of the productivity of vertical, horizontal or multilateral wells draining either gas or oil reservoirs. Well interference effects and the presence of natural or induced fractures are accounted for. The method is based on an earlier derived productivity prediction tool in which now moving pressure boundaries have been implemented to account for time dependence. The semisteadystate pressure equations are solved using combinations of exact solutions around the well in an infinite reservoir and additional solutions to the Laplace equation are introduced to approximate the boundary conditions. The pressures and rates for all the flowing wells are solved in a single step for each required value of the time. Both numerical and analytical approaches have been used to validate the new method. The validity of the movingboundary approach for the transient well behaviour has been checked against analytical results, whereas a numerical method has been employed to analyse the multiwell response in homogeneous, isotropic reservoirs. Finally, the new method has been applied to real production test data. Both singlewell and multiwell production tests performed in different types of reservoirs have been analysed with satisfactory results.Mathematical models; Natural gas; Petroleum reservoirs; Productivity; Isotropic reservoirs; Movingboundary approach; Multiwell production tests; Pressure equations; Well testing
*+&ffffff?'ffffff?(?)?"dXX333333?333333?U}}}}}}}}}} }
}}}
}}}}}}}}}}}}
@
!
"
#
$@
%
&
'
(
)
*
+
,@

.
/
0
1
,@
2
3
'
4SʡB
5
6
7
8X@
9
:
'
;
<
=
>
?
@T@
A
B
'fB
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{}~>@ddyKyKhttp://resolver.tudelft.nl/uuid:98069993b4394fcf8bb2273ddfa738b2yKyKhttp://resolver.tudelft.nl/uuid:99feb9a521ff4734adf2ed03f3f42718yKyKhttp://resolver.tudelft.nl/uuid:8c40265a740b4b3c822b5febefa8d558yKyKhttp://resolver.tudelft.nl/uuid:24c6edbbc69c44439d506aef471bfbe9yKyKhttp://resolver.tudelft.nl/uuid:37fb181395674f92a643028c5049da27yKyKhttp://resolver.tudelft.nl/uuid:86764b57cf604625a4c496288b221bddgg
Root Entry Fp6Ŵp6Ŵ@SummaryInformation( F<Workbook F7DocumentSummaryInformation8 F
!"#$%&'()*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ