Thermodynamic and Mechanical Study: Difference between revisions

From dada-engine.org
No edit summary
Marked this version for translation
Line 1: Line 1:
<translate>
<translate>
== 1. Scope and method ==
== 1. Scope and method == <!--T:1-->


<!--T:2-->
This study describes the complete driven cycle of the Dada machine in symbolic form. The model couples prescribed kinematics of the two pistons, well-mixed gas volumes, 0D heat exchangers, passive check valves, and a generic compressible hydraulic closure model.
This study describes the complete driven cycle of the Dada machine in symbolic form. The model couples prescribed kinematics of the two pistons, well-mixed gas volumes, 0D heat exchangers, passive check valves, and a generic compressible hydraulic closure model.


<!--T:3-->
The cycle origin is set at the '''top position of the large cylinder''', with:
The cycle origin is set at the '''top position of the large cylinder''', with:


<!--T:4-->
<math>t=0,\qquad \theta(0)=0,\qquad V_L(0)=V_{L,\max}.</math>
<math>t=0,\qquad \theta(0)=0,\qquad V_L(0)=V_{L,\max}.</math>


<!--T:5-->
The four gas volumes are:
The four gas volumes are:


<!--T:6-->
* <code>S</code>: small cylinder, directly associated with the cold heat exchanger <code>C</code>;
* <code>S</code>: small cylinder, directly associated with the cold heat exchanger <code>C</code>;
* <code>L</code>: large cylinder, directly associated with the hot heat exchanger <code>H</code>;
* <code>L</code>: large cylinder, directly associated with the hot heat exchanger <code>H</code>;
Line 15: Line 20:
* <code>H</code>: hot heat exchanger, which rejects heat to the hot reservoir.
* <code>H</code>: hot heat exchanger, which rejects heat to the hot reservoir.


<!--T:7-->
The check valves allow <code>H → S</code> during Phase II and <code>C → L</code> during Phase IV.
The check valves allow <code>H → S</code> during Phase II and <code>C → L</code> during Phase IV.


<!--T:8-->
The cycle comprises four phases:
The cycle comprises four phases:


<!--T:9-->
* '''Phase I''' — check valves closed, nominally adiabatic: compression on the <code>L+H</code> side;
* '''Phase I''' — check valves closed, nominally adiabatic: compression on the <code>L+H</code> side;
* '''Phase II''' — heat exchange, nominally isothermal: transfer <code>L → H → S</code>, with heat rejection on the hot side;
* '''Phase II''' — heat exchange, nominally isothermal: transfer <code>L → H → S</code>, with heat rejection on the hot side;
Line 24: Line 32:
* '''Phase IV''' — heat exchange, nominally isothermal: transfer <code>S → C → L</code>, with heat absorption on the cold side.
* '''Phase IV''' — heat exchange, nominally isothermal: transfer <code>S → C → L</code>, with heat absorption on the cold side.


<!--T:10-->
The terms ''nominally adiabatic'' and ''nominally isothermal'' describe the objective of the cycle. They do not constitute exact thermodynamic constraints: temperatures are calculated from the balances, the heat exchangers remain coupled to their reservoirs, and the low-displacement regions of the pistons are not assumed to be perfectly stationary.
The terms ''nominally adiabatic'' and ''nominally isothermal'' describe the objective of the cycle. They do not constitute exact thermodynamic constraints: temperatures are calculated from the balances, the heat exchangers remain coupled to their reservoirs, and the low-displacement regions of the pistons are not assumed to be perfectly stationary.


=== 1.1 First-level assumptions ===
=== 1.1 First-level assumptions === <!--T:11-->


<!--T:12-->
The model is based on the following assumptions:
The model is based on the following assumptions:


<!--T:13-->
* single-phase, ideal and calorically perfect gas;
* single-phase, ideal and calorically perfect gas;
* constant properties <math display="inline">R</math>, <math display="inline">C_p</math>, <math display="inline">C_v</math>, <math display="inline">\gamma</math>, with <math display="inline">R=C_p-C_v</math> and <math display="inline">\gamma=C_p/C_v</math>;
* constant properties <math display="inline">R</math>, <math display="inline">C_p</math>, <math display="inline">C_v</math>, <math display="inline">\gamma</math>, with <math display="inline">R=C_p-C_v</math> and <math display="inline">\gamma=C_p/C_v</math>;
Line 40: Line 51:
* passive check valves controlled by the pressure difference.
* passive check valves controlled by the pressure difference.


== 2. Notation and conventions ==
== 2. Notation and conventions == <!--T:14-->


=== 2.1 Geometry and kinematics ===
=== 2.1 Geometry and kinematics === <!--T:15-->


<!--T:16-->
For <math display="inline">i\in\{S,L\}</math>:
For <math display="inline">i\in\{S,L\}</math>:


<!--T:17-->
<math>V_{i,\min}>0,\qquad V_{i,\max}>V_{i,\min}.</math>
<math>V_{i,\min}>0,\qquad V_{i,\max}>V_{i,\min}.</math>


<!--T:18-->
The swept volume is:
The swept volume is:


<!--T:19-->
<math>V_{i,\mathrm{swept}}=V_{i,\max}-V_{i,\min}.</math>
<math>V_{i,\mathrm{swept}}=V_{i,\max}-V_{i,\min}.</math>


<!--T:20-->
The thermodynamic volumes prescribed by the mechanism are:
The thermodynamic volumes prescribed by the mechanism are:


<!--T:21-->
<math>V_S=V_S(t),\qquad V_L=V_L(t),</math>
<math>V_S=V_S(t),\qquad V_L=V_L(t),</math>


<!--T:22-->
with their '''signed''' derivatives:
with their '''signed''' derivatives:


<!--T:23-->
<math>\dot V_S=\frac{dV_S}{dt},\qquad \dot V_L=\frac{dV_L}{dt}.</math>
<math>\dot V_S=\frac{dV_S}{dt},\qquad \dot V_L=\frac{dV_L}{dt}.</math>


<!--T:24-->
If the crank rotates at constant angular speed <math display="inline">\omega</math>:
If the crank rotates at constant angular speed <math display="inline">\omega</math>:


<!--T:25-->
<math>\theta(t)=\omega t,\qquad \dot V_i=\omega\frac{dV_i}{d\theta}.</math>
<math>\theta(t)=\omega t,\qquad \dot V_i=\omega\frac{dV_i}{d\theta}.</math>


<!--T:26-->
When only the absolute value of the volumetric speed is useful:
When only the absolute value of the volumetric speed is useful:


<!--T:27-->
<math>\nu_{V,i}=|\dot V_i|.</math>
<math>\nu_{V,i}=|\dot V_i|.</math>


<!--T:28-->
A '''quasi-stationary region''' denotes an interval in which the displacement or <math display="inline">|\dot V|</math> remains small compared with the transfer phases. This region corresponds to the “plateau” of the kinematic optimization, without assuming <math display="inline">\dot V=0</math> exactly.
A '''quasi-stationary region''' denotes an interval in which the displacement or <math display="inline">|\dot V|</math> remains small compared with the transfer phases. This region corresponds to the “plateau” of the kinematic optimization, without assuming <math display="inline">\dot V=0</math> exactly.


=== 2.2 Kinematic closure fraction ===
=== 2.2 Kinematic closure fraction === <!--T:29-->


<!--T:30-->
To describe the normalized closure of a cylinder:
To describe the normalized closure of a cylinder:


<!--T:31-->
<math>\Lambda_i(t)=\frac{V_{i,\max}-V_i(t)}{V_{i,\max}-V_{i,\min}},\qquad i\in\{S,L\}.</math>
<math>\Lambda_i(t)=\frac{V_{i,\max}-V_i(t)}{V_{i,\max}-V_{i,\min}},\qquad i\in\{S,L\}.</math>


<!--T:32-->
Thus <math display="inline">\Lambda_i=0</math> corresponds to maximum volume and <math display="inline">\Lambda_i=1</math> to minimum volume. The values <math display="inline">\Lambda_L^*</math> and <math display="inline">\Lambda_S^*</math> are nominal kinematic targets at the transitions. The value actually reached at a check-valve event is:
Thus <math display="inline">\Lambda_i=0</math> corresponds to maximum volume and <math display="inline">\Lambda_i=1</math> to minimum volume. The values <math display="inline">\Lambda_L^*</math> and <math display="inline">\Lambda_S^*</math> are nominal kinematic targets at the transitions. The value actually reached at a check-valve event is:


<!--T:33-->
<math>\Lambda_{\mathrm{real}}=\Lambda(t_{\mathrm{event}}).</math>
<math>\Lambda_{\mathrm{real}}=\Lambda(t_{\mathrm{event}}).</math>


<!--T:34-->
The physical transitions remain determined by the pressures; <math display="inline">\Lambda^*</math> is therefore not an imposed opening condition.
The physical transitions remain determined by the pressures; <math display="inline">\Lambda^*</math> is therefore not an imposed opening condition.


=== 2.3 Thermodynamic variables ===
=== 2.3 Thermodynamic variables === <!--T:35-->


<!--T:36-->
For each volume <math display="inline">i\in\{S,L,C,H\}</math>:
For each volume <math display="inline">i\in\{S,L,C,H\}</math>:


<!--T:37-->
<math>m_i,\qquad U_i,\qquad T_i,\qquad P_i,\qquad V_i.</math>
<math>m_i,\qquad U_i,\qquad T_i,\qquad P_i,\qquad V_i.</math>


<!--T:38-->
The complete state vector is chosen as:
The complete state vector is chosen as:


<!--T:39-->
<math>\mathbf X=(m_S,U_S,m_L,U_L,m_C,U_C,m_H,U_H).</math>
<math>\mathbf X=(m_S,U_S,m_L,U_L,m_C,U_C,m_H,U_H).</math>


<!--T:40-->
Temperatures and pressures are derived from it:
Temperatures and pressures are derived from it:


<!--T:41-->
<math>T_i=\frac{U_i}{m_iC_v},\qquad P_i=\frac{m_iRT_i}{V_i}.</math>
<math>T_i=\frac{U_i}{m_iC_v},\qquad P_i=\frac{m_iRT_i}{V_i}.</math>


<!--T:42-->
The volumes <math display="inline">V_S(t)</math> and <math display="inline">V_L(t)</math> are prescribed by the kinematics and are not independent thermodynamic state variables. The volumes <math display="inline">V_C</math> and <math display="inline">V_H</math> are constant.
The volumes <math display="inline">V_S(t)</math> and <math display="inline">V_L(t)</math> are prescribed by the kinematics and are not independent thermodynamic state variables. The volumes <math display="inline">V_C</math> and <math display="inline">V_H</math> are constant.


=== 2.4 Energy sign convention ===
=== 2.4 Energy sign convention === <!--T:43-->


<!--T:44-->
Heat is positive when it is '''received by the gas'''. Work is positive when the '''gas delivers work''':
Heat is positive when it is '''received by the gas'''. Work is positive when the '''gas delivers work''':


<!--T:45-->
<math>\dot W=P\dot V.</math>
<math>\dot W=P\dot V.</math>


<!--T:46-->
For the intended refrigeration operation:
For the intended refrigeration operation:


<!--T:47-->
<math>Q_C>0,\qquad Q_H<0,\qquad W_{\mathrm{cycle}}<0.</math>
<math>Q_C>0,\qquad Q_H<0,\qquad W_{\mathrm{cycle}}<0.</math>


== 3. Thermal closure and validity domain ==
== 3. Thermal closure and validity domain == <!--T:48-->


=== 3.1 Exchange with the thermal reservoirs ===
=== 3.1 Exchange with the thermal reservoirs === <!--T:49-->


<!--T:50-->
For a heat exchanger <math display="inline">HX\in\{C,H\}</math>:
For a heat exchanger <math display="inline">HX\in\{C,H\}</math>:


<!--T:51-->
<math>\dot Q_{HX}=(UA)_{HX}(T_{HX,\mathrm{res}}-T_{HX}).</math>
<math>\dot Q_{HX}=(UA)_{HX}(T_{HX,\mathrm{res}}-T_{HX}).</math>


<!--T:52-->
<math display="inline">T_{HX,\mathrm{res}}</math> is the temperature of the external thermal reservoir, prescribed and constant in the base model. <math display="inline">T_{HX}</math> is the mean 0D temperature of the gas in the heat exchanger. <math display="inline">(UA)_{HX}</math> represents the overall thermal conductance, which may combine convection, wall conduction, and contact resistances.
<math display="inline">T_{HX,\mathrm{res}}</math> is the temperature of the external thermal reservoir, prescribed and constant in the base model. <math display="inline">T_{HX}</math> is the mean 0D temperature of the gas in the heat exchanger. <math display="inline">(UA)_{HX}</math> represents the overall thermal conductance, which may combine convection, wall conduction, and contact resistances.


<!--T:53-->
Cold side:
Cold side:


<!--T:54-->
<math>\dot Q_C=(UA)_C(T_{C,\mathrm{res}}-T_C).</math>
<math>\dot Q_C=(UA)_C(T_{C,\mathrm{res}}-T_C).</math>


<!--T:55-->
In refrigeration operation, <math display="inline">T_C<T_{C,\mathrm{res}}</math> gives <math display="inline">\dot Q_C>0</math>.
In refrigeration operation, <math display="inline">T_C<T_{C,\mathrm{res}}</math> gives <math display="inline">\dot Q_C>0</math>.


<!--T:56-->
Hot side:
Hot side:


<!--T:57-->
<math>\dot Q_H=(UA)_H(T_{H,\mathrm{res}}-T_H).</math>
<math>\dot Q_H=(UA)_H(T_{H,\mathrm{res}}-T_H).</math>


<!--T:58-->
In refrigeration operation, <math display="inline">T_H>T_{H,\mathrm{res}}</math> gives <math display="inline">\dot Q_H<0</math>.
In refrigeration operation, <math display="inline">T_H>T_{H,\mathrm{res}}</math> gives <math display="inline">\dot Q_H<0</math>.


<!--T:59-->
A nominally isothermal phase therefore does not mean <math display="inline">T_{HX}=T_{HX,\mathrm{res}}</math>: a finite temperature difference is required to transfer finite thermal power when <math display="inline">UA</math> is finite.
A nominally isothermal phase therefore does not mean <math display="inline">T_{HX}=T_{HX,\mathrm{res}}</math>: a finite temperature difference is required to transfer finite thermal power when <math display="inline">UA</math> is finite.


<!--T:60-->
An indicator of isothermal quality may be defined over a given phase by:
An indicator of isothermal quality may be defined over a given phase by:


<!--T:61-->
<math>\varepsilon_T=\frac{T_{\max}-T_{\min}}{T_{\mathrm{ref}}}.</math>
<math>\varepsilon_T=\frac{T_{\max}-T_{\min}}{T_{\mathrm{ref}}}.</math>


=== 3.2 Thermophysical validity domain ===
=== 3.2 Thermophysical validity domain === <!--T:62-->


<!--T:63-->
The base model assumes:
The base model assumes:


<!--T:64-->
<math>PV=mRT,\qquad Z=1,</math>
<math>PV=mRT,\qquad Z=1,</math>


<!--T:65-->
<math>C_p=\mathrm{const},\qquad C_v=\mathrm{const},\qquad \gamma=\mathrm{const}.</math>
<math>C_p=\mathrm{const},\qquad C_v=\mathrm{const},\qquad \gamma=\mathrm{const}.</math>


<!--T:66-->
Validity must be checked a posteriori over the entire cycle, notably through:
Validity must be checked a posteriori over the entire cycle, notably through:


<!--T:67-->
<math>|Z-1|\ll1,</math>
<math>|Z-1|\ll1,</math>


<!--T:68-->
and through small variations of the thermophysical properties, for example:
and through small variations of the thermophysical properties, for example:


<!--T:69-->
<math>\varepsilon_{C_p}=\frac{C_{p,\max}-C_{p,\min}}{C_{p,\mathrm{ref}}}\ll1.</math>
<math>\varepsilon_{C_p}=\frac{C_{p,\max}-C_{p,\min}}{C_{p,\mathrm{ref}}}\ll1.</math>


<!--T:70-->
The working fluid must remain single-phase and gaseous, and sufficiently far from any condensation or phase transition throughout the <math display="inline">(P,T)</math> domain traversed.
The working fluid must remain single-phase and gaseous, and sufficiently far from any condensation or phase transition throughout the <math display="inline">(P,T)</math> domain traversed.


<!--T:71-->
If these criteria become insufficient, an extension may use <math display="inline">Z(P,T)</math>, <math display="inline">C_p(T)</math>, <math display="inline">C_v(T)</math>, or a real-gas equation of state without changing the general architecture of the mass and energy balances.
If these criteria become insufficient, an extension may use <math display="inline">Z(P,T)</math>, <math display="inline">C_p(T)</math>, <math display="inline">C_v(T)</math>, or a real-gas equation of state without changing the general architecture of the mass and energy balances.


== 4. Reduced formulation of a quasi pressure-equalized pair ==
== 4. Reduced formulation of a quasi pressure-equalized pair == <!--T:72-->


<!--T:73-->
When a cylinder and its heat exchanger are connected by a very low-resistance internal path, the approximation
When a cylinder and its heat exchanger are connected by a very low-resistance internal path, the approximation


<!--T:74-->
<math>P_{\mathrm{cyl}}\approx P_{HX}=P_{\mathrm{pair}}.</math>
<math>P_{\mathrm{cyl}}\approx P_{HX}=P_{\mathrm{pair}}.</math>


<!--T:75-->
may be used. It is acceptable if:
may be used. It is acceptable if:


<!--T:76-->
<math>\varepsilon_P=\frac{|\Delta P_{\mathrm{int}}|}{P_{\mathrm{pair}}}\ll1,\qquad \Delta P_{\mathrm{int}}=P_{\mathrm{cyl}}-P_{HX}.</math>
<math>\varepsilon_P=\frac{|\Delta P_{\mathrm{int}}|}{P_{\mathrm{pair}}}\ll1,\qquad \Delta P_{\mathrm{int}}=P_{\mathrm{cyl}}-P_{HX}.</math>


<!--T:77-->
A low internal Mach number provides an additional check:
A low internal Mach number provides an additional check:


<!--T:78-->
<math>Ma_{\mathrm{int}}=\frac{|u_{\mathrm{int}}|}{a}\ll1,</math>
<math>Ma_{\mathrm{int}}=\frac{|u_{\mathrm{int}}|}{a}\ll1,</math>


<!--T:79-->
but it is not sufficient on its own to guarantee pressure equalization.
but it is not sufficient on its own to guarantee pressure equalization.


=== 4.1 Closed-pair case ===
=== 4.1 Closed-pair case === <!--T:80-->


<!--T:81-->
For a closed pair, with fixed <math display="inline">V_{HX}</math> and <math display="inline">V=V_{\mathrm{cyl}}+V_{HX}</math>:
For a closed pair, with fixed <math display="inline">V_{HX}</math> and <math display="inline">V=V_{\mathrm{cyl}}+V_{HX}</math>:


<!--T:82-->
<math>
<math>
\frac{dP}{dt}=
\frac{dP}{dt}=
Line 182: Line 252:
.</math>
.</math>


<!--T:83-->
When <math display="inline">(UA)_{HX}=0</math>:
When <math display="inline">(UA)_{HX}=0</math>:


<!--T:84-->
<math>P(V_{\mathrm{cyl}}+V_{HX})^\gamma=\mathrm{const}.</math>
<math>P(V_{\mathrm{cyl}}+V_{HX})^\gamma=\mathrm{const}.</math>


=== 4.2 Internal redistribution flow rate ===
=== 4.2 Internal redistribution flow rate === <!--T:85-->


<!--T:86-->
The internal flow rate is defined as positive from cylinder → heat exchanger. Let:
The internal flow rate is defined as positive from cylinder → heat exchanger. Let:


<!--T:87-->
<math>N=V_{HX}\dot P+(\gamma-1)(UA)_{HX}(T_{HX}-T_{HX,\mathrm{res}}).</math>
<math>N=V_{HX}\dot P+(\gamma-1)(UA)_{HX}(T_{HX}-T_{HX,\mathrm{res}}).</math>


<!--T:88-->
The flow carries the enthalpy of the upstream state:
The flow carries the enthalpy of the upstream state:


<!--T:89-->
<math>
<math>
\dot m_{\mathrm{int}}=
\dot m_{\mathrm{int}}=
Line 202: Line 278:
</math>
</math>


<!--T:90-->
The heat-exchanger temperature evolves according to:
The heat-exchanger temperature evolves according to:


<!--T:91-->
<math>
<math>
\dot T_{HX}=\frac{T_{HX}}{P}\dot P-
\dot T_{HX}=\frac{T_{HX}}{P}\dot P-
Line 209: Line 287:
.</math>
.</math>


=== 4.3 Open receiving pair ===
=== 4.3 Open receiving pair === <!--T:92-->


<!--T:93-->
During an active phase, the external flow physically enters the '''receiving cylinder''', not directly its associated heat exchanger. If <math display="inline">\dot m_{\mathrm{ext}}>0</math> enters the cylinder at temperature <math display="inline">T_{\mathrm{ext}}</math>:
During an active phase, the external flow physically enters the '''receiving cylinder''', not directly its associated heat exchanger. If <math display="inline">\dot m_{\mathrm{ext}}>0</math> enters the cylinder at temperature <math display="inline">T_{\mathrm{ext}}</math>:


<!--T:94-->
<math>
<math>
\dot P=
\dot P=
Line 221: Line 301:
.</math>
.</math>


<!--T:95-->
The masses satisfy:
The masses satisfy:


<!--T:96-->
<math>\dot m_{\mathrm{cyl}}=\dot m_{\mathrm{ext}}-\dot m_{\mathrm{int}},\qquad
<math>\dot m_{\mathrm{cyl}}=\dot m_{\mathrm{ext}}-\dot m_{\mathrm{int}},\qquad
\dot m_{HX}=\dot m_{\mathrm{int}},</math>
\dot m_{HX}=\dot m_{\mathrm{int}},</math>


<!--T:97-->
and therefore:
and therefore:


<!--T:98-->
<math>\dot m_{\mathrm{pair}}=\dot m_{\mathrm{ext}}.</math>
<math>\dot m_{\mathrm{pair}}=\dot m_{\mathrm{ext}}.</math>


<!--T:99-->
The closed case is obtained immediately with <math display="inline">\dot m_{\mathrm{ext}}=0</math>.
The closed case is obtained immediately with <math display="inline">\dot m_{\mathrm{ext}}=0</math>.


== 5. Hydraulic closure ==
== 5. Hydraulic closure == <!--T:100-->


=== 5.1 Generic formulation ===
=== 5.1 Generic formulation === <!--T:101-->


<!--T:102-->
Any hydraulic connection is described by a generic law:
Any hydraulic connection is described by a generic law:


<!--T:103-->
<math>\dot m=\Phi(P_u,P_d,T_u,\mathcal G,\mathcal F)</math>
<math>\dot m=\Phi(P_u,P_d,T_u,\mathcal G,\mathcal F)</math>


<!--T:104-->
<math display="inline">u</math> and <math display="inline">d</math> respectively denote the upstream and downstream states. The transported enthalpy is that of the upstream state:
<math display="inline">u</math> and <math display="inline">d</math> respectively denote the upstream and downstream states. The transported enthalpy is that of the upstream state:


<!--T:105-->
<math>\dot H_{\mathrm{mass}}=\dot m C_pT_u.</math>
<math>\dot H_{\mathrm{mass}}=\dot m C_pT_u.</math>


<!--T:106-->
For a bidirectional connection, the upstream state is determined by the actual direction of the pressure gradient. For a check valve, reverse flow is prohibited.
For a bidirectional connection, the upstream state is determined by the actual direction of the pressure gradient. For a check valve, reverse flow is prohibited.


=== 5.2 First-level closure using a compressible orifice ===
=== 5.2 First-level closure using a compressible orifice === <!--T:107-->


<!--T:108-->
A first approximation consists in using an effective hydraulic area:
A first approximation consists in using an effective hydraulic area:


<!--T:109-->
<math>(C_dA)_{\mathrm{eff}},</math>
<math>(C_dA)_{\mathrm{eff}},</math>


<!--T:110-->
which represents the overall ease of gas flow through the actual connection.
which represents the overall ease of gas flow through the actual connection.


<!--T:111-->
With:
With:


<!--T:112-->
<math>r=\frac{P_d}{P_u},\qquad
<math>r=\frac{P_d}{P_u},\qquad
r_{\mathrm{crit}}=\left(\frac{2}{\gamma+1}\right)^{\gamma/(\gamma-1)},</math>
r_{\mathrm{crit}}=\left(\frac{2}{\gamma+1}\right)^{\gamma/(\gamma-1)},</math>


<!--T:113-->
the unchoked flow rate, for <math display="inline">r>r_{\mathrm{crit}}</math>, is:
the unchoked flow rate, for <math display="inline">r>r_{\mathrm{crit}}</math>, is:


<!--T:114-->
<math>
<math>
\dot m=(C_dA)_{\mathrm{eff}}P_u
\dot m=(C_dA)_{\mathrm{eff}}P_u
Line 267: Line 364:
.</math>
.</math>


<!--T:115-->
For <math display="inline">r\le r_{\mathrm{crit}}</math>:
For <math display="inline">r\le r_{\mathrm{crit}}</math>:


<!--T:116-->
<math>
<math>
\dot m=(C_dA)_{\mathrm{eff}}P_u
\dot m=(C_dA)_{\mathrm{eff}}P_u
Line 275: Line 374:
.</math>
.</math>


<!--T:117-->
This closure is not essential to the model: it may later be replaced by a law that more faithfully represents the pressure losses of a real heat exchanger, pipe, or check valve.
This closure is not essential to the model: it may later be replaced by a law that more faithfully represents the pressure losses of a real heat exchanger, pipe, or check valve.


== 6. Complete thermodynamic cycle ==
== 6. Complete thermodynamic cycle == <!--T:118-->


=== 6.1 Phase I — check valves closed, nominally adiabatic: compression on the L side ===
=== 6.1 Phase I — check valves closed, nominally adiabatic: compression on the L side === <!--T:119-->


<!--T:120-->
Both check valves are closed. The <code>L+H</code> and <code>S+C</code> pairs are closed. The <code>L+H</code> side is nominally compressed; the motion of the small piston remains that provided by the actual kinematics.
Both check valves are closed. The <code>L+H</code> and <code>S+C</code> pairs are closed. The <code>L+H</code> side is nominally compressed; the motion of the small piston remains that provided by the actual kinematics.


<!--T:121-->
For <code>L+H</code>:
For <code>L+H</code>:


<!--T:122-->
<math>\dot P_{LH}=
<math>\dot P_{LH}=
\frac{(\gamma-1)(UA)_H(T_{H,\mathrm{res}}-T_H)-\gamma P_{LH}\dot V_L}
\frac{(\gamma-1)(UA)_H(T_{H,\mathrm{res}}-T_H)-\gamma P_{LH}\dot V_L}
{V_L+V_H}.</math>
{V_L+V_H}.</math>


<!--T:123-->
For <code>S+C</code>:
For <code>S+C</code>:


<!--T:124-->
<math>\dot P_{SC}=
<math>\dot P_{SC}=
\frac{(\gamma-1)(UA)_C(T_{C,\mathrm{res}}-T_C)-\gamma P_{SC}\dot V_S}
\frac{(\gamma-1)(UA)_C(T_{C,\mathrm{res}}-T_C)-\gamma P_{SC}\dot V_S}
{V_S+V_C}.</math>
{V_S+V_C}.</math>


<!--T:125-->
The internal redistribution and temperature equations of §4 apply to both pairs.
The internal redistribution and temperature equations of §4 apply to both pairs.


<!--T:126-->
The transition to Phase II occurs when the <code>H → S</code> check valve satisfies its opening condition.
The transition to Phase II occurs when the <code>H → S</code> check valve satisfies its opening condition.


=== 6.2 Phase II — heat exchange, nominally isothermal: L → H → S ===
=== 6.2 Phase II — heat exchange, nominally isothermal: L → H → S === <!--T:127-->


<!--T:128-->
The gas leaves <code>L</code>, passes through the hot heat exchanger <code>H</code>, where it rejects heat, crosses the <code>H → S</code> check valve, and then enters the receiving cylinder <code>S</code>. The <code>S+C</code> pair remains quasi pressure-equalized if the criterion <math display="inline">\varepsilon_P\ll1</math> is satisfied.
The gas leaves <code>L</code>, passes through the hot heat exchanger <code>H</code>, where it rejects heat, crosses the <code>H → S</code> check valve, and then enters the receiving cylinder <code>S</code>. The <code>S+C</code> pair remains quasi pressure-equalized if the criterion <math display="inline">\varepsilon_P\ll1</math> is satisfied.


==== 6.2.1 Donor cylinder L ====
==== 6.2.1 Donor cylinder L ==== <!--T:129-->


<!--T:130-->
The fundamental balance is:
The fundamental balance is:


<!--T:131-->
<math>
<math>
\frac{d(m_LC_vT_L)}{dt}
\frac{d(m_LC_vT_L)}{dt}
Line 312: Line 422:
.</math>
.</math>


<!--T:132-->
The kinematics are designed to maintain an outflow from the donor cylinder. In this case, the analytical solution is:
The kinematics are designed to maintain an outflow from the donor cylinder. In this case, the analytical solution is:


<!--T:133-->
<math>
<math>
\frac{T_L}{T_{L,\mathrm{ref}}}=
\frac{T_L}{T_{L,\mathrm{ref}}}=
Line 319: Line 431:
</math>
</math>


<!--T:134-->
and:
and:


<!--T:135-->
<math>
<math>
P_L=P_{L,\mathrm{ref}}
P_L=P_{L,\mathrm{ref}}
Line 326: Line 440:
.</math>
.</math>


<!--T:136-->
One also obtains:
One also obtains:


<!--T:137-->
<math>\frac{T_L}{T_{L,\mathrm{ref}}}=
<math>\frac{T_L}{T_{L,\mathrm{ref}}}=
\left(\frac{P_L}{P_{L,\mathrm{ref}}}\right)^{(\gamma-1)/\gamma},</math>
\left(\frac{P_L}{P_{L,\mathrm{ref}}}\right)^{(\gamma-1)/\gamma},</math>


<!--T:138-->
and the specific entropy of the remaining gas satisfies <math display="inline">ds=0</math> under these assumptions. If reverse flow occurs despite the kinematic design, the analytical solution is no longer applicable and the complete open-system balance in <math display="inline">(m_L,U_L)</math> must be used.
and the specific entropy of the remaining gas satisfies <math display="inline">ds=0</math> under these assumptions. If reverse flow occurs despite the kinematic design, the analytical solution is no longer applicable and the complete open-system balance in <math display="inline">(m_L,U_L)</math> must be used.


==== 6.2.2 Hot heat exchanger H ====
==== 6.2.2 Hot heat exchanger H ==== <!--T:139-->


<!--T:140-->
Mass conservation:
Mass conservation:


<!--T:141-->
<math>\dot m_H=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}}.</math>
<math>\dot m_H=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}}.</math>


<!--T:142-->
Fundamental energy balance:
Fundamental energy balance:


<!--T:143-->
<math>
<math>
\frac{d(m_HC_vT_H)}{dt}
\frac{d(m_HC_vT_H)}{dt}
Line 348: Line 469:
.</math>
.</math>


<!--T:144-->
In expanded form:
In expanded form:


<!--T:145-->
<math>
<math>
\dot T_H=
\dot T_H=
Line 358: Line 481:
.</math>
.</math>


<!--T:146-->
The flow rates are determined by the hydraulic laws:
The flow rates are determined by the hydraulic laws:


<!--T:147-->
<math>\dot m_{\mathrm{in}}=\Phi_{\mathrm{HX,H}}(P_L,P_H,T_L,\ldots),</math>
<math>\dot m_{\mathrm{in}}=\Phi_{\mathrm{HX,H}}(P_L,P_H,T_L,\ldots),</math>


<!--T:148-->
<math>\dot m_{\mathrm{out}}=\Phi_{\mathrm{valve,H}}(P_H,P_{SC},T_H,\ldots).</math>
<math>\dot m_{\mathrm{out}}=\Phi_{\mathrm{valve,H}}(P_H,P_{SC},T_H,\ldots).</math>


==== 6.2.3 Receiving pair S+C ====
==== 6.2.3 Receiving pair S+C ==== <!--T:149-->


<!--T:150-->
The flow from <code>H</code> enters '''S'''. The pair pressure satisfies:
The flow from <code>H</code> enters '''S'''. The pair pressure satisfies:


<!--T:151-->
<math>
<math>
\dot P_{SC}=
\dot P_{SC}=
Line 376: Line 504:
.</math>
.</math>


<!--T:152-->
The internal redistribution equations of §4 remain unchanged: the external flow acts on heat exchanger <code>C</code> indirectly through the evolution of the pair pressure.
The internal redistribution equations of §4 remain unchanged: the external flow acts on heat exchanger <code>C</code> indirectly through the evolution of the pair pressure.


<!--T:153-->
The transition to Phase III is the closing event of the <code>H → S</code> check valve.
The transition to Phase III is the closing event of the <code>H → S</code> check valve.


=== 6.3 Phase III — check valves closed, nominally adiabatic: expansion on the S side ===
=== 6.3 Phase III — check valves closed, nominally adiabatic: expansion on the S side === <!--T:154-->


<!--T:155-->
Both check valves are closed. The <code>S+C</code> pair expands nominally; the <code>L+H</code> pair also remains closed. Neither piston is assumed to be strictly stationary.
Both check valves are closed. The <code>S+C</code> pair expands nominally; the <code>L+H</code> pair also remains closed. Neither piston is assumed to be strictly stationary.


<!--T:156-->
For <code>S+C</code>:
For <code>S+C</code>:


<!--T:157-->
<math>\dot P_{SC}=
<math>\dot P_{SC}=
\frac{(\gamma-1)(UA)_C(T_{C,\mathrm{res}}-T_C)-\gamma P_{SC}\dot V_S}
\frac{(\gamma-1)(UA)_C(T_{C,\mathrm{res}}-T_C)-\gamma P_{SC}\dot V_S}
{V_S+V_C}.</math>
{V_S+V_C}.</math>


<!--T:158-->
For <code>L+H</code>:
For <code>L+H</code>:


<!--T:159-->
<math>\dot P_{LH}=
<math>\dot P_{LH}=
\frac{(\gamma-1)(UA)_H(T_{H,\mathrm{res}}-T_H)-\gamma P_{LH}\dot V_L}
\frac{(\gamma-1)(UA)_H(T_{H,\mathrm{res}}-T_H)-\gamma P_{LH}\dot V_L}
{V_L+V_H}.</math>
{V_L+V_H}.</math>


<!--T:160-->
The transition to Phase IV occurs when the <code>C → L</code> check valve satisfies its opening condition.
The transition to Phase IV occurs when the <code>C → L</code> check valve satisfies its opening condition.


=== 6.4 Phase IV — heat exchange, nominally isothermal: S → C → L ===
=== 6.4 Phase IV — heat exchange, nominally isothermal: S → C → L === <!--T:161-->


<!--T:162-->
The gas leaves <code>S</code>, passes through the cold heat exchanger <code>C</code>, where it receives heat from the cold reservoir, crosses the <code>C → L</code> check valve, and then enters the receiving cylinder <code>L</code>. The <code>L+H</code> pair remains quasi pressure-equalized if the criterion <math display="inline">\varepsilon_P\ll1</math> is satisfied.
The gas leaves <code>S</code>, passes through the cold heat exchanger <code>C</code>, where it receives heat from the cold reservoir, crosses the <code>C → L</code> check valve, and then enters the receiving cylinder <code>L</code>. The <code>L+H</code> pair remains quasi pressure-equalized if the criterion <math display="inline">\varepsilon_P\ll1</math> is satisfied.


==== 6.4.1 Donor cylinder S ====
==== 6.4.1 Donor cylinder S ==== <!--T:163-->


<!--T:164-->
The fundamental balance is:
The fundamental balance is:


<!--T:165-->
<math>
<math>
\frac{d(m_SC_vT_S)}{dt}
\frac{d(m_SC_vT_S)}{dt}
Line 411: Line 550:
.</math>
.</math>


<!--T:166-->
For outflow guaranteed by the kinematic design:
For outflow guaranteed by the kinematic design:


<!--T:167-->
<math>
<math>
\frac{T_S}{T_{S,\mathrm{ref}}}=
\frac{T_S}{T_{S,\mathrm{ref}}}=
Line 418: Line 559:
</math>
</math>


<!--T:168-->
and:
and:


<!--T:169-->
<math>
<math>
P_S=P_{S,\mathrm{ref}}
P_S=P_{S,\mathrm{ref}}
Line 425: Line 568:
.</math>
.</math>


<!--T:170-->
Reverse flow requires returning to the complete open-system balance in <math display="inline">(m_S,U_S)</math>.
Reverse flow requires returning to the complete open-system balance in <math display="inline">(m_S,U_S)</math>.


==== 6.4.2 Cold heat exchanger C ====
==== 6.4.2 Cold heat exchanger C ==== <!--T:171-->


<!--T:172-->
<math>\dot m_C=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}}.</math>
<math>\dot m_C=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}}.</math>


<!--T:173-->
The fundamental energy balance is:
The fundamental energy balance is:


<!--T:174-->
<math>
<math>
\frac{d(m_CC_vT_C)}{dt}
\frac{d(m_CC_vT_C)}{dt}
Line 440: Line 587:
.</math>
.</math>


<!--T:175-->
In expanded form:
In expanded form:


<!--T:176-->
<math>
<math>
\dot T_C=
\dot T_C=
Line 450: Line 599:
.</math>
.</math>


<!--T:177-->
The flow rates are determined by:
The flow rates are determined by:


<!--T:178-->
<math>\dot m_{\mathrm{in}}=\Phi_{\mathrm{HX,C}}(P_S,P_C,T_S,\ldots),</math>
<math>\dot m_{\mathrm{in}}=\Phi_{\mathrm{HX,C}}(P_S,P_C,T_S,\ldots),</math>


<!--T:179-->
<math>\dot m_{\mathrm{out}}=\Phi_{\mathrm{valve,C}}(P_C,P_{LH},T_C,\ldots).</math>
<math>\dot m_{\mathrm{out}}=\Phi_{\mathrm{valve,C}}(P_C,P_{LH},T_C,\ldots).</math>


==== 6.4.3 Receiving pair L+H ====
==== 6.4.3 Receiving pair L+H ==== <!--T:180-->


<!--T:181-->
The flow from <code>C</code> enters '''L'''. The pair pressure satisfies:
The flow from <code>C</code> enters '''L'''. The pair pressure satisfies:


<!--T:182-->
<math>
<math>
\dot P_{LH}=
\dot P_{LH}=
Line 468: Line 622:
.</math>
.</math>


<!--T:183-->
Closing the <code>C → L</code> check valve returns the system to Phase I. Geometric closure of the pistons alone is not sufficient to guarantee thermodynamic closure of the cycle.
Closing the <code>C → L</code> check valve returns the system to Phase I. Geometric closure of the pistons alone is not sufficient to guarantee thermodynamic closure of the cycle.


== 7. Physical transitions of the check valves ==
== 7. Physical transitions of the check valves == <!--T:184-->


<!--T:185-->
For a check valve oriented from upstream <math display="inline">u</math> to downstream <math display="inline">d</math>:
For a check valve oriented from upstream <math display="inline">u</math> to downstream <math display="inline">d</math>:


<!--T:186-->
<math>P_u-P_d\ge\Delta P_{\mathrm{open}}
<math>P_u-P_d\ge\Delta P_{\mathrm{open}}
\quad\Rightarrow\quad \text{opening},</math>
\quad\Rightarrow\quad \text{opening},</math>


<!--T:187-->
<math>P_u-P_d\le\Delta P_{\mathrm{close}}
<math>P_u-P_d\le\Delta P_{\mathrm{close}}
\quad\Rightarrow\quad \text{closing},</math>
\quad\Rightarrow\quad \text{closing},</math>


<!--T:188-->
with hysteresis, if present:
with hysteresis, if present:


<!--T:189-->
<math>\Delta P_{\mathrm{close}}\le\Delta P_{\mathrm{open}}.</math>
<math>\Delta P_{\mathrm{close}}\le\Delta P_{\mathrm{open}}.</math>


<!--T:190-->
An opening or closing event changes the hydraulic topology and therefore the active equations; it does not cause any instantaneous jump in the thermodynamic state. For each volume:
An opening or closing event changes the hydraulic topology and therefore the active equations; it does not cause any instantaneous jump in the thermodynamic state. For each volume:


<!--T:191-->
<math>m_i^+=m_i^-,\qquad U_i^+=U_i^-,\qquad V_i^+=V_i^-.</math>
<math>m_i^+=m_i^-,\qquad U_i^+=U_i^-,\qquad V_i^+=V_i^-.</math>


<!--T:192-->
For an ideal gas:
For an ideal gas:


<!--T:193-->
<math>T_i^+=T_i^-,\qquad P_i^+=P_i^-.</math>
<math>T_i^+=T_i^-,\qquad P_i^+=P_i^-.</math>


<!--T:194-->
There is therefore no instantaneous pressure equalization when a check valve opens.
There is therefore no instantaneous pressure equalization when a check valve opens.


<!--T:195-->
The values <math display="inline">\Lambda^*</math> serve as kinematic design targets; the values actually observed at the transitions are <math display="inline">\Lambda_{\mathrm{real}}=\Lambda(t_{\mathrm{event}})</math>.
The values <math display="inline">\Lambda^*</math> serve as kinematic design targets; the values actually observed at the transitions are <math display="inline">\Lambda_{\mathrm{real}}=\Lambda(t_{\mathrm{event}})</math>.


== 8. Work, heat, and coefficient of performance ==
== 8. Work, heat, and coefficient of performance == <!--T:196-->


<!--T:197-->
The instantaneous work delivered by the gas on the two pistons is calculated during all phases:
The instantaneous work delivered by the gas on the two pistons is calculated during all phases:


<!--T:198-->
<math>
<math>
\dot W=P_S^\star\dot V_S+P_L^\star\dot V_L
\dot W=P_S^\star\dot V_S+P_L^\star\dot V_L
.</math>
.</math>


<!--T:199-->
<math display="inline">P_S^\star</math> and <math display="inline">P_L^\star</math> denote the thermodynamic pressure effectively applied to the gas in each cylinder according to the phase topology: pair pressure when the cylinder belongs to a quasi pressure-equalized pair, and its own pressure when it is a hydraulically isolated donor.
<math display="inline">P_S^\star</math> and <math display="inline">P_L^\star</math> denote the thermodynamic pressure effectively applied to the gas in each cylinder according to the phase topology: pair pressure when the cylinder belongs to a quasi pressure-equalized pair, and its own pressure when it is a hydraulically isolated donor.


<!--T:200-->
The net work over the cycle is:
The net work over the cycle is:


<!--T:201-->
<math>
<math>
W_{\mathrm{cycle}}=
W_{\mathrm{cycle}}=
Line 514: Line 685:
.</math>
.</math>


<!--T:202-->
The exchanged heats are:
The exchanged heats are:


<!--T:203-->
<math>Q_C=\int_0^\tau (UA)_C(T_{C,\mathrm{res}}-T_C)\,dt,</math>
<math>Q_C=\int_0^\tau (UA)_C(T_{C,\mathrm{res}}-T_C)\,dt,</math>


<!--T:204-->
<math>Q_H=\int_0^\tau (UA)_H(T_{H,\mathrm{res}}-T_H)\,dt.</math>
<math>Q_H=\int_0^\tau (UA)_H(T_{H,\mathrm{res}}-T_H)\,dt.</math>


<!--T:205-->
In periodic steady operation:
In periodic steady operation:


<!--T:206-->
<math>\Delta U_{\mathrm{cycle}}=0,</math>
<math>\Delta U_{\mathrm{cycle}}=0,</math>


<!--T:207-->
and the first law gives:
and the first law gives:


<!--T:208-->
<math>Q_C+Q_H=W_{\mathrm{cycle}}.</math>
<math>Q_C+Q_H=W_{\mathrm{cycle}}.</math>


<!--T:209-->
The refrigeration COP is:
The refrigeration COP is:


<!--T:210-->
<math>COP_c=\frac{Q_C}{-W_{\mathrm{cycle}}}.</math>
<math>COP_c=\frac{Q_C}{-W_{\mathrm{cycle}}}.</math>


<!--T:211-->
The heat-pump COP is:
The heat-pump COP is:


<!--T:212-->
<math>COP_h=\frac{-Q_H}{-W_{\mathrm{cycle}}}=COP_c+1.</math>
<math>COP_h=\frac{-Q_H}{-W_{\mathrm{cycle}}}=COP_c+1.</math>


<!--T:213-->
The signs <math display="inline">Q_C>0</math>, <math display="inline">Q_H<0</math>, and <math display="inline">W_{\mathrm{cycle}}<0</math> provide checks of the intended refrigeration regime.
The signs <math display="inline">Q_C>0</math>, <math display="inline">Q_H<0</math>, and <math display="inline">W_{\mathrm{cycle}}<0</math> provide checks of the intended refrigeration regime.


<!--T:214-->
The thermodynamic force exerted by the gas on a piston face may be written <math display="inline">F_{\mathrm{gas}}=PS</math>. Net mechanical force, inertia, and friction belong to the subsequent mechanical sizing stage.
The thermodynamic force exerted by the gas on a piston face may be written <math display="inline">F_{\mathrm{gas}}=PS</math>. Net mechanical force, inertia, and friction belong to the subsequent mechanical sizing stage.


== 9. Gas charge and periodic regime ==
== 9. Gas charge and periodic regime == <!--T:215-->


<!--T:216-->
The total amount of enclosed gas is a physical parameter:
The total amount of enclosed gas is a physical parameter:


<!--T:217-->
<math>M_{\mathrm{tot}}=m_S+m_L+m_C+m_H=\mathrm{const}.</math>
<math>M_{\mathrm{tot}}=m_S+m_L+m_C+m_H=\mathrm{const}.</math>


<!--T:218-->
It may be imposed directly or defined experimentally by a charging pressure and temperature. The chosen reference configuration is that at <math display="inline">t=0</math>, with the large cylinder at maximum volume. If all volumes communicate and are in uniform equilibrium during charging:
It may be imposed directly or defined experimentally by a charging pressure and temperature. The chosen reference configuration is that at <math display="inline">t=0</math>, with the large cylinder at maximum volume. If all volumes communicate and are in uniform equilibrium during charging:


<!--T:219-->
<math>
<math>
M_{\mathrm{tot}}=
M_{\mathrm{tot}}=
Line 555: Line 743:
.</math>
.</math>


<!--T:220-->
<math display="inline">P_{\mathrm{charge}}</math> and <math display="inline">T_{\mathrm{charge}}</math> define the amount of gas charged; they are not conditions that the periodic cycle must recover.
<math display="inline">P_{\mathrm{charge}}</math> and <math display="inline">T_{\mathrm{charge}}</math> define the amount of gas charged; they are not conditions that the periodic cycle must recover.


<!--T:221-->
The established periodic regime is a solution of the system such that, between two successive passages through the top position of the large cylinder with the same kinematic direction:
The established periodic regime is a solution of the system such that, between two successive passages through the top position of the large cylinder with the same kinematic direction:


<!--T:222-->
<math>\mathbf X(t+\tau)=\mathbf X(t).</math>
<math>\mathbf X(t+\tau)=\mathbf X(t).</math>


<!--T:223-->
Geometric periodicity alone:
Geometric periodicity alone:


<!--T:224-->
<math>V_i(t+\tau)=V_i(t)</math>
<math>V_i(t+\tau)=V_i(t)</math>


<!--T:225-->
is not sufficient to guarantee thermodynamic periodicity.
is not sufficient to guarantee thermodynamic periodicity.


<!--T:226-->
The numerical state used to initialize a calculation may be approximate; it must not be confused with a physical parameter of the machine. The future solver may search for the periodic fixed point by successive cycles, a shooting method, or a Newton method.
The numerical state used to initialize a calculation may be approximate; it must not be confused with a physical parameter of the machine. The future solver may search for the periodic fixed point by successive cycles, a shooting method, or a Newton method.


== 10. Parameters, design data, and results ==
== 10. Parameters, design data, and results == <!--T:227-->


=== 10.1 Prescribed data ===
=== 10.1 Prescribed data === <!--T:228-->


<!--T:229-->
* working fluid and reference properties <math display="inline">R</math>, <math display="inline">C_p</math>, <math display="inline">C_v</math>, <math display="inline">\gamma</math>;
* working fluid and reference properties <math display="inline">R</math>, <math display="inline">C_p</math>, <math display="inline">C_v</math>, <math display="inline">\gamma</math>;
* reservoir temperatures <math display="inline">T_{C,\mathrm{res}}</math>, <math display="inline">T_{H,\mathrm{res}}</math>;
* reservoir temperatures <math display="inline">T_{C,\mathrm{res}}</math>, <math display="inline">T_{H,\mathrm{res}}</math>;
Line 578: Line 774:
* kinematics <math display="inline">V_S(t)</math>, <math display="inline">V_L(t)</math>, and, where relevant, <math display="inline">\omega</math>.
* kinematics <math display="inline">V_S(t)</math>, <math display="inline">V_L(t)</math>, and, where relevant, <math display="inline">\omega</math>.


=== 10.2 Design parameters ===
=== 10.2 Design parameters === <!--T:230-->


<!--T:231-->
* <math display="inline">V_{S,\min}</math>, <math display="inline">V_{S,\max}</math>, <math display="inline">V_{L,\min}</math>, <math display="inline">V_{L,\max}</math>;
* <math display="inline">V_{S,\min}</math>, <math display="inline">V_{S,\max}</math>, <math display="inline">V_{L,\min}</math>, <math display="inline">V_{L,\max}</math>;
* <math display="inline">V_C</math>, <math display="inline">V_H</math>;
* <math display="inline">V_C</math>, <math display="inline">V_H</math>;
Line 587: Line 784:
* kinematic targets <math display="inline">\Lambda_L^*</math>, <math display="inline">\Lambda_S^*</math>.
* kinematic targets <math display="inline">\Lambda_L^*</math>, <math display="inline">\Lambda_S^*</math>.


=== 10.3 Calculated variables and results ===
=== 10.3 Calculated variables and results === <!--T:232-->


<!--T:233-->
* <math display="inline">m_i</math>, <math display="inline">U_i</math>, <math display="inline">T_i</math>, <math display="inline">P_i</math>;
* <math display="inline">m_i</math>, <math display="inline">U_i</math>, <math display="inline">T_i</math>, <math display="inline">P_i</math>;
* internal and external mass flow rates;
* internal and external mass flow rates;
Line 598: Line 796:
* validity criteria <math display="inline">\varepsilon_P</math>, <math display="inline">Ma</math>, <math display="inline">Z</math>, and property variations.
* validity criteria <math display="inline">\varepsilon_P</math>, <math display="inline">Ma</math>, <math display="inline">Z</math>, and property variations.


== 11. Global conservation checks ==
== 11. Global conservation checks == <!--T:234-->


=== 11.1 Mass conservation ===
=== 11.1 Mass conservation === <!--T:235-->


<!--T:236-->
The solver must satisfy:
The solver must satisfy:


<!--T:237-->
<math>\frac{dM_{\mathrm{tot}}}{dt}=0.</math>
<math>\frac{dM_{\mathrm{tot}}}{dt}=0.</math>


<!--T:238-->
A useful numerical residual is:
A useful numerical residual is:


<!--T:239-->
<math>\varepsilon_M(t)=M_{\mathrm{tot}}(t)-M_{\mathrm{tot}}(0).</math>
<math>\varepsilon_M(t)=M_{\mathrm{tot}}(t)-M_{\mathrm{tot}}(0).</math>


=== 11.2 Global energy conservation ===
=== 11.2 Global energy conservation === <!--T:240-->


<!--T:241-->
Whatever the phase, the internal mass and enthalpy fluxes must cancel when the balances of all volumes are summed. The global balance must reduce to:
Whatever the phase, the internal mass and enthalpy fluxes must cancel when the balances of all volumes are summed. The global balance must reduce to:


<!--T:242-->
<math>
<math>
\frac{dU_{\mathrm{tot}}}{dt}
\frac{dU_{\mathrm{tot}}}{dt}
Line 621: Line 825:
.</math>
.</math>


<!--T:243-->
A cumulative energy residual may be defined by:
A cumulative energy residual may be defined by:


<!--T:244-->
<math>
<math>
\varepsilon_E(t)=
\varepsilon_E(t)=
Line 629: Line 835:
.</math>
.</math>


<!--T:245-->
The solver must keep <math display="inline">\varepsilon_M</math> and <math display="inline">\varepsilon_E</math> close to zero to the expected numerical accuracy.
The solver must keep <math display="inline">\varepsilon_M</math> and <math display="inline">\varepsilon_E</math> close to zero to the expected numerical accuracy.


<!--T:246-->
----
----


= Appendix A — Symbolic derivations and validated checks =
= Appendix A — Symbolic derivations and validated checks = <!--T:247-->


== A.1 Pressure equation for a closed pair ==
== A.1 Pressure equation for a closed pair == <!--T:248-->


<!--T:249-->
For a cylinder + heat-exchanger pair at quasi-uniform pressure:
For a cylinder + heat-exchanger pair at quasi-uniform pressure:


<!--T:250-->
<math>U=\frac{P(V_{\mathrm{cyl}}+V_{HX})}{\gamma-1}.</math>
<math>U=\frac{P(V_{\mathrm{cyl}}+V_{HX})}{\gamma-1}.</math>


<!--T:251-->
The first law gives:
The first law gives:


<!--T:252-->
<math>\frac{dU}{dt}=\dot Q-P\dot V_{\mathrm{cyl}},</math>
<math>\frac{dU}{dt}=\dot Q-P\dot V_{\mathrm{cyl}},</math>


<!--T:253-->
with:
with:


<!--T:254-->
<math>\dot Q=(UA)_{HX}(T_{HX,\mathrm{res}}-T_{HX}).</math>
<math>\dot Q=(UA)_{HX}(T_{HX,\mathrm{res}}-T_{HX}).</math>


<!--T:255-->
Differentiating <math display="inline">U</math>:
Differentiating <math display="inline">U</math>:


<!--T:256-->
<math>\frac{1}{\gamma-1}
<math>\frac{1}{\gamma-1}
\left[(V_{\mathrm{cyl}}+V_{HX})\dot P+P\dot V_{\mathrm{cyl}}\right]
\left[(V_{\mathrm{cyl}}+V_{HX})\dot P+P\dot V_{\mathrm{cyl}}\right]
=\dot Q-P\dot V_{\mathrm{cyl}}.</math>
=\dot Q-P\dot V_{\mathrm{cyl}}.</math>


<!--T:257-->
Hence:
Hence:


<!--T:258-->
<math>
<math>
\dot P=
\dot P=
Line 663: Line 881:
.</math>
.</math>


<!--T:259-->
If <math display="inline">\dot Q=0</math>:
If <math display="inline">\dot Q=0</math>:


<!--T:260-->
<math>\frac{\dot P}{P}=-\gamma\frac{\dot V}{V},</math>
<math>\frac{\dot P}{P}=-\gamma\frac{\dot V}{V},</math>


<!--T:261-->
then:
then:


<!--T:262-->
<math>PV^\gamma=\mathrm{const}.</math>
<math>PV^\gamma=\mathrm{const}.</math>


== A.2 Internal flow rate of the pair ==
== A.2 Internal flow rate of the pair == <!--T:263-->


<!--T:264-->
For the heat exchanger alone, at fixed volume:
For the heat exchanger alone, at fixed volume:


<!--T:265-->
<math>U_{HX}=\frac{PV_{HX}}{\gamma-1}.</math>
<math>U_{HX}=\frac{PV_{HX}}{\gamma-1}.</math>


<!--T:266-->
Therefore:
Therefore:


<!--T:267-->
<math>\frac{V_{HX}}{\gamma-1}\dot P
<math>\frac{V_{HX}}{\gamma-1}\dot P
=(UA)_{HX}(T_{HX,\mathrm{res}}-T_{HX})
=(UA)_{HX}(T_{HX,\mathrm{res}}-T_{HX})
+\dot m_{\mathrm{int}}C_pT_{\mathrm{up}}.</math>
+\dot m_{\mathrm{int}}C_pT_{\mathrm{up}}.</math>


<!--T:268-->
Using <math display="inline">C_p=\gamma R/(\gamma-1)</math>:
Using <math display="inline">C_p=\gamma R/(\gamma-1)</math>:


<!--T:269-->
<math>V_{HX}\dot P+(\gamma-1)(UA)_{HX}(T_{HX}-T_{HX,\mathrm{res}})
<math>V_{HX}\dot P+(\gamma-1)(UA)_{HX}(T_{HX}-T_{HX,\mathrm{res}})
=\gamma R T_{\mathrm{up}}\dot m_{\mathrm{int}}.</math>
=\gamma R T_{\mathrm{up}}\dot m_{\mathrm{int}}.</math>


<!--T:270-->
This recovers the definition of the numerator <math display="inline">N</math> and the selection of the upstream temperature according to the sign of the flow rate.
This recovers the definition of the numerator <math display="inline">N</math> and the selection of the upstream temperature according to the sign of the flow rate.


== A.3 Evolution of the heat-exchanger temperature within a pair ==
== A.3 Evolution of the heat-exchanger temperature within a pair == <!--T:271-->


<!--T:272-->
For a fixed volume:
For a fixed volume:


<!--T:273-->
<math>m_{HX}=\frac{PV_{HX}}{RT_{HX}}.</math>
<math>m_{HX}=\frac{PV_{HX}}{RT_{HX}}.</math>


<!--T:274-->
Differentiating:
Differentiating:


<!--T:275-->
<math>\frac{\dot m_{HX}}{m_{HX}}
<math>\frac{\dot m_{HX}}{m_{HX}}
=\frac{\dot P}{P}-\frac{\dot T_{HX}}{T_{HX}}.</math>
=\frac{\dot P}{P}-\frac{\dot T_{HX}}{T_{HX}}.</math>


<!--T:276-->
With <math display="inline">\dot m_{HX}=\dot m_{\mathrm{int}}</math>:
With <math display="inline">\dot m_{HX}=\dot m_{\mathrm{int}}</math>:


<!--T:277-->
<math>
<math>
\dot T_{HX}=\frac{T_{HX}}P\dot P-
\dot T_{HX}=\frac{T_{HX}}P\dot P-
Line 708: Line 943:
.</math>
.</math>


<!--T:278-->
This relation follows solely from mass conservation and the equation of state; it is valid for both flow directions.
This relation follows solely from mass conservation and the equation of state; it is valid for both flow directions.


== A.4 Open receiving pair ==
== A.4 Open receiving pair == <!--T:279-->


<!--T:280-->
For a pair receiving <math display="inline">\dot m_{\mathrm{ext}}</math> into its cylinder:
For a pair receiving <math display="inline">\dot m_{\mathrm{ext}}</math> into its cylinder:


<!--T:281-->
<math>\frac{dU}{dt}=\dot m_{\mathrm{ext}}C_pT_{\mathrm{ext}}
<math>\frac{dU}{dt}=\dot m_{\mathrm{ext}}C_pT_{\mathrm{ext}}
+\dot Q-P\dot V_{\mathrm{cyl}}.</math>
+\dot Q-P\dot V_{\mathrm{cyl}}.</math>


<!--T:282-->
With <math display="inline">U=P(V_{\mathrm{cyl}}+V_{HX})/(\gamma-1)</math>:
With <math display="inline">U=P(V_{\mathrm{cyl}}+V_{HX})/(\gamma-1)</math>:


<!--T:283-->
<math>
<math>
\dot P=
\dot P=
Line 727: Line 967:
.</math>
.</math>


<!--T:284-->
The local mass balance:
The local mass balance:


<!--T:285-->
<math>\dot m_{\mathrm{cyl}}=\dot m_{\mathrm{ext}}-\dot m_{\mathrm{int}},</math>
<math>\dot m_{\mathrm{cyl}}=\dot m_{\mathrm{ext}}-\dot m_{\mathrm{int}},</math>


<!--T:286-->
<math>\dot m_{HX}=\dot m_{\mathrm{int}},</math>
<math>\dot m_{HX}=\dot m_{\mathrm{int}},</math>


<!--T:287-->
immediately gives:
immediately gives:


<!--T:288-->
<math>\dot m_{\mathrm{pair}}=\dot m_{\mathrm{ext}}.</math>
<math>\dot m_{\mathrm{pair}}=\dot m_{\mathrm{ext}}.</math>


== A.5 Analytical solution for the adiabatic donor cylinder ==
== A.5 Analytical solution for the adiabatic donor cylinder == <!--T:289-->


<!--T:290-->
For an adiabatic, well-mixed cylinder with outflow only:
For an adiabatic, well-mixed cylinder with outflow only:


<!--T:291-->
<math>\frac{d(mC_vT)}{dt}=-P\dot V-\dot m_{\mathrm{out}}C_pT,</math>
<math>\frac{d(mC_vT)}{dt}=-P\dot V-\dot m_{\mathrm{out}}C_pT,</math>


<!--T:292-->
and:
and:


<!--T:293-->
<math>\dot m=-\dot m_{\mathrm{out}}.</math>
<math>\dot m=-\dot m_{\mathrm{out}}.</math>


<!--T:294-->
Expanding:
Expanding:


<!--T:295-->
<math>C_vm\dot T+C_vT\dot m=-P\dot V+C_pT\dot m,</math>
<math>C_vm\dot T+C_vT\dot m=-P\dot V+C_pT\dot m,</math>


<!--T:296-->
thus:
thus:


<!--T:297-->
<math>C_vm\dot T=-P\dot V+RT\dot m.</math>
<math>C_vm\dot T=-P\dot V+RT\dot m.</math>


<!--T:298-->
With <math display="inline">P=mRT/V</math> and <math display="inline">R/C_v=\gamma-1</math>:
With <math display="inline">P=mRT/V</math> and <math display="inline">R/C_v=\gamma-1</math>:


<!--T:299-->
<math>\frac{dT}{T}=(\gamma-1)
<math>\frac{dT}{T}=(\gamma-1)
\left(\frac{dm}{m}-\frac{dV}{V}\right).</math>
\left(\frac{dm}{m}-\frac{dV}{V}\right).</math>


<!--T:300-->
After integration:
After integration:


<!--T:301-->
<math>
<math>
\frac{T}{T_0}=
\frac{T}{T_0}=
Line 767: Line 1,024:
.</math>
.</math>


<!--T:302-->
Then, using <math display="inline">PV=mRT</math>:
Then, using <math display="inline">PV=mRT</math>:


<!--T:303-->
<math>
<math>
P=P_0\left[\frac{m}{m_0}\frac{V_0}{V}\right]^\gamma
P=P_0\left[\frac{m}{m_0}\frac{V_0}{V}\right]^\gamma
.</math>
.</math>


<!--T:304-->
and:
and:


<!--T:305-->
<math>
<math>
\frac{T}{T_0}=
\frac{T}{T_0}=
Line 780: Line 1,041:
.</math>
.</math>


<!--T:306-->
Under these assumptions, the specific entropy of the remaining gas is constant: <math display="inline">ds=0</math>. The total entropy of the gas contained in the cylinder is not constant because its mass varies.
Under these assumptions, the specific entropy of the remaining gas is constant: <math display="inline">ds=0</math>. The total entropy of the gas contained in the cylinder is not constant because its mass varies.


== A.6 Active heat exchanger: expanded balance ==
== A.6 Active heat exchanger: expanded balance == <!--T:307-->


<!--T:308-->
Fundamental balance:
Fundamental balance:


<!--T:309-->
<math>\frac{d(mC_vT)}{dt}
<math>\frac{d(mC_vT)}{dt}
=\dot m_{\mathrm{in}}C_pT_{\mathrm{in}}
=\dot m_{\mathrm{in}}C_pT_{\mathrm{in}}
Line 791: Line 1,055:
+\dot Q.</math>
+\dot Q.</math>


<!--T:310-->
Expanding the left-hand side and using:
Expanding the left-hand side and using:


<!--T:311-->
<math>\dot m=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}},</math>
<math>\dot m=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}},</math>


<!--T:312-->
one obtains:
one obtains:


<!--T:313-->
<math>
<math>
\dot T=
\dot T=
Line 804: Line 1,072:
.</math>
.</math>


<!--T:314-->
Limiting checks:
Limiting checks:


<!--T:315-->
* with no flow, the equation recovers the thermal relaxation of a closed volume;
* with no flow, the equation recovers the thermal relaxation of a closed volume;
* with equal steady inlet/outlet flow rates, it recovers <math display="inline">mC_v\dot T=\dot mC_p(T_{\mathrm{in}}-T)+\dot Q</math>;
* with equal steady inlet/outlet flow rates, it recovers <math display="inline">mC_v\dot T=\dot mC_p(T_{\mathrm{in}}-T)+\dot Q</math>;
* if <math display="inline">T_{\mathrm{in}}=T</math> and <math display="inline">\dot m_{\mathrm{in}}=\dot m_{\mathrm{out}}</math>, the net contribution of the flow to <math display="inline">\dot T</math> vanishes.
* if <math display="inline">T_{\mathrm{in}}=T</math> and <math display="inline">\dot m_{\mathrm{in}}=\dot m_{\mathrm{out}}</math>, the net contribution of the flow to <math display="inline">\dot T</math> vanishes.


== A.7 Global mass test during an active phase ==
== A.7 Global mass test during an active phase == <!--T:316-->


<!--T:317-->
For Phase II:
For Phase II:


<!--T:318-->
<math>\dot m_L=-\dot m_{\mathrm{in}},</math>
<math>\dot m_L=-\dot m_{\mathrm{in}},</math>


<!--T:319-->
<math>\dot m_H=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}},</math>
<math>\dot m_H=\dot m_{\mathrm{in}}-\dot m_{\mathrm{out}},</math>


<!--T:320-->
<math>\dot m_{SC}=\dot m_{\mathrm{out}}.</math>
<math>\dot m_{SC}=\dot m_{\mathrm{out}}.</math>


<!--T:321-->
Summing:
Summing:


<!--T:322-->
<math>\dot M_{\mathrm{tot}}=0.</math>
<math>\dot M_{\mathrm{tot}}=0.</math>


<!--T:323-->
Phase IV gives exactly the same result by symmetry.
Phase IV gives exactly the same result by symmetry.


== A.8 Global energy test during an active phase ==
== A.8 Global energy test during an active phase == <!--T:324-->


<!--T:325-->
For Phase II:
For Phase II:


<!--T:326-->
<math>\dot U_L=-P_L\dot V_L-\dot m_{\mathrm{in}}h_L,</math>
<math>\dot U_L=-P_L\dot V_L-\dot m_{\mathrm{in}}h_L,</math>


<!--T:327-->
<math>\dot U_H=\dot m_{\mathrm{in}}h_L-\dot m_{\mathrm{out}}h_H+\dot Q_H,</math>
<math>\dot U_H=\dot m_{\mathrm{in}}h_L-\dot m_{\mathrm{out}}h_H+\dot Q_H,</math>


<!--T:328-->
<math>\dot U_{SC}=\dot m_{\mathrm{out}}h_H+\dot Q_C-P_{SC}\dot V_S.</math>
<math>\dot U_{SC}=\dot m_{\mathrm{out}}h_H+\dot Q_C-P_{SC}\dot V_S.</math>


<!--T:329-->
The internal enthalpy fluxes cancel exactly:
The internal enthalpy fluxes cancel exactly:


<!--T:330-->
<math>-\dot m_{\mathrm{in}}h_L+\dot m_{\mathrm{in}}h_L=0,</math>
<math>-\dot m_{\mathrm{in}}h_L+\dot m_{\mathrm{in}}h_L=0,</math>


<!--T:331-->
<math>-\dot m_{\mathrm{out}}h_H+\dot m_{\mathrm{out}}h_H=0.</math>
<math>-\dot m_{\mathrm{out}}h_H+\dot m_{\mathrm{out}}h_H=0.</math>


<!--T:332-->
What remains is:
What remains is:


<!--T:333-->
<math>
<math>
\dot U_{\mathrm{tot}}
\dot U_{\mathrm{tot}}
Line 850: Line 1,136:
.</math>
.</math>


<!--T:334-->
Phase IV provides the symmetric relation. In the closed phases, the same structure follows directly from summing the balances of the two pairs. Hence, for any phase:
Phase IV provides the symmetric relation. In the closed phases, the same structure follows directly from summing the balances of the two pairs. Hence, for any phase:


<!--T:335-->
<math>
<math>
\dot U_{\mathrm{tot}}
\dot U_{\mathrm{tot}}
Line 858: Line 1,146:
.</math>
.</math>


<!--T:336-->
Integrated over a periodic cycle, this relation gives:
Integrated over a periodic cycle, this relation gives:


<!--T:337-->
<math>Q_C+Q_H=W_{\mathrm{cycle}}.</math>
<math>Q_C+Q_H=W_{\mathrm{cycle}}.</math>


== A.9 Continuity at transitions ==
== A.9 Continuity at transitions == <!--T:338-->


<!--T:339-->
At the instant of a check-valve event, no finite mass or energy can be transferred in zero time. The conserved variables and geometry are therefore continuous:
At the instant of a check-valve event, no finite mass or energy can be transferred in zero time. The conserved variables and geometry are therefore continuous:


<!--T:340-->
<math>m_i^+=m_i^-,\qquad U_i^+=U_i^-,\qquad V_i^+=V_i^-.</math>
<math>m_i^+=m_i^-,\qquad U_i^+=U_i^-,\qquad V_i^+=V_i^-.</math>


<!--T:341-->
For an ideal gas:
For an ideal gas:


<!--T:342-->
<math>T_i=\frac{U_i}{m_iC_v},\qquad P_i=\frac{m_iRT_i}{V_i},</math>
<math>T_i=\frac{U_i}{m_iC_v},\qquad P_i=\frac{m_iRT_i}{V_i},</math>


<!--T:343-->
which implies:
which implies:


<!--T:344-->
<math>T_i^+=T_i^-,\qquad P_i^+=P_i^-.</math>
<math>T_i^+=T_i^-,\qquad P_i^+=P_i^-.</math>


<!--T:345-->
The event only creates a change in hydraulic topology and in the active system of equations.
The event only creates a change in hydraulic topology and in the active system of equations.
</translate>
</translate>

Revision as of 13:13, 1 September 2026

1. Scope and method

This study describes the complete driven cycle of the Dada machine in symbolic form. The model couples prescribed kinematics of the two pistons, well-mixed gas volumes, 0D heat exchangers, passive check valves, and a generic compressible hydraulic closure model.

The cycle origin is set at the top position of the large cylinder, with:

t=0,θ(0)=0,VL(0)=VL,max.

The four gas volumes are:

  • S: small cylinder, directly associated with the cold heat exchanger C;
  • L: large cylinder, directly associated with the hot heat exchanger H;
  • C: cold heat exchanger, which absorbs heat from the cold reservoir;
  • H: hot heat exchanger, which rejects heat to the hot reservoir.

The check valves allow H → S during Phase II and C → L during Phase IV.

The cycle comprises four phases:

  • Phase I — check valves closed, nominally adiabatic: compression on the L+H side;
  • Phase II — heat exchange, nominally isothermal: transfer L → H → S, with heat rejection on the hot side;
  • Phase III — check valves closed, nominally adiabatic: expansion on the S+C side;
  • Phase IV — heat exchange, nominally isothermal: transfer S → C → L, with heat absorption on the cold side.

The terms nominally adiabatic and nominally isothermal describe the objective of the cycle. They do not constitute exact thermodynamic constraints: temperatures are calculated from the balances, the heat exchangers remain coupled to their reservoirs, and the low-displacement regions of the pistons are not assumed to be perfectly stationary.

1.1 First-level assumptions

The model is based on the following assumptions:

  • single-phase, ideal and calorically perfect gas;
  • constant properties R, Cp, Cv, γ, with R=CpCv and γ=Cp/Cv;
  • each gas volume is uniform and well mixed;
  • gas kinetic and potential energies are neglected in the 0D balances;
  • fixed heat-exchanger volumes;
  • prescribed piston kinematics;
  • no mechanical friction in the thermodynamic model;
  • heat exchange represented by an overall conductance UA;
  • passive check valves controlled by the pressure difference.

2. Notation and conventions

2.1 Geometry and kinematics

For i{S,L}:

Vi,min>0,Vi,max>Vi,min.

The swept volume is:

Vi,swept=Vi,maxVi,min.

The thermodynamic volumes prescribed by the mechanism are:

VS=VS(t),VL=VL(t),

with their signed derivatives:

V˙S=dVSdt,V˙L=dVLdt.

If the crank rotates at constant angular speed ω:

θ(t)=ωt,V˙i=ωdVidθ.

When only the absolute value of the volumetric speed is useful:

νV,i=|V˙i|.

A quasi-stationary region denotes an interval in which the displacement or |V˙| remains small compared with the transfer phases. This region corresponds to the “plateau” of the kinematic optimization, without assuming V˙=0 exactly.

2.2 Kinematic closure fraction

To describe the normalized closure of a cylinder:

Λi(t)=Vi,maxVi(t)Vi,maxVi,min,i{S,L}.

Thus Λi=0 corresponds to maximum volume and Λi=1 to minimum volume. The values ΛL and ΛS are nominal kinematic targets at the transitions. The value actually reached at a check-valve event is:

Λreal=Λ(tevent).

The physical transitions remain determined by the pressures; Λ is therefore not an imposed opening condition.

2.3 Thermodynamic variables

For each volume i{S,L,C,H}:

mi,Ui,Ti,Pi,Vi.

The complete state vector is chosen as:

𝐗=(mS,US,mL,UL,mC,UC,mH,UH).

Temperatures and pressures are derived from it:

Ti=UimiCv,Pi=miRTiVi.

The volumes VS(t) and VL(t) are prescribed by the kinematics and are not independent thermodynamic state variables. The volumes VC and VH are constant.

2.4 Energy sign convention

Heat is positive when it is received by the gas. Work is positive when the gas delivers work:

W˙=PV˙.

For the intended refrigeration operation:

QC>0,QH<0,Wcycle<0.

3. Thermal closure and validity domain

3.1 Exchange with the thermal reservoirs

For a heat exchanger HX{C,H}:

Q˙HX=(UA)HX(THX,resTHX).

THX,res is the temperature of the external thermal reservoir, prescribed and constant in the base model. THX is the mean 0D temperature of the gas in the heat exchanger. (UA)HX represents the overall thermal conductance, which may combine convection, wall conduction, and contact resistances.

Cold side:

Q˙C=(UA)C(TC,resTC).

In refrigeration operation, TC<TC,res gives Q˙C>0.

Hot side:

Q˙H=(UA)H(TH,resTH).

In refrigeration operation, TH>TH,res gives Q˙H<0.

A nominally isothermal phase therefore does not mean THX=THX,res: a finite temperature difference is required to transfer finite thermal power when UA is finite.

An indicator of isothermal quality may be defined over a given phase by:

εT=TmaxTminTref.

3.2 Thermophysical validity domain

The base model assumes:

PV=mRT,Z=1,

Cp=const,Cv=const,γ=const.

Validity must be checked a posteriori over the entire cycle, notably through:

|Z1|1,

and through small variations of the thermophysical properties, for example:

εCp=Cp,maxCp,minCp,ref1.

The working fluid must remain single-phase and gaseous, and sufficiently far from any condensation or phase transition throughout the (P,T) domain traversed.

If these criteria become insufficient, an extension may use Z(P,T), Cp(T), Cv(T), or a real-gas equation of state without changing the general architecture of the mass and energy balances.

4. Reduced formulation of a quasi pressure-equalized pair

When a cylinder and its heat exchanger are connected by a very low-resistance internal path, the approximation

PcylPHX=Ppair.

may be used. It is acceptable if:

εP=|ΔPint|Ppair1,ΔPint=PcylPHX.

A low internal Mach number provides an additional check:

Maint=|uint|a1,

but it is not sufficient on its own to guarantee pressure equalization.

4.1 Closed-pair case

For a closed pair, with fixed VHX and V=Vcyl+VHX:

dPdt=(γ1)(UA)HX(THX,resTHX)γPV˙cylVcyl+VHX.

When (UA)HX=0:

P(Vcyl+VHX)γ=const.

4.2 Internal redistribution flow rate

The internal flow rate is defined as positive from cylinder → heat exchanger. Let:

N=VHXP˙+(γ1)(UA)HX(THXTHX,res).

The flow carries the enthalpy of the upstream state:

m˙int={NγRTcyl,N0(cylHX),NγRTHX,N<0(HXcyl).

The heat-exchanger temperature evolves according to:

T˙HX=THXPP˙RTHX2PVHXm˙int.

4.3 Open receiving pair

During an active phase, the external flow physically enters the receiving cylinder, not directly its associated heat exchanger. If m˙ext>0 enters the cylinder at temperature Text:

P˙=γRTextm˙ext+(γ1)(UA)HX(THX,resTHX)γPV˙cylVcyl+VHX.

The masses satisfy:

m˙cyl=m˙extm˙int,m˙HX=m˙int,

and therefore:

m˙pair=m˙ext.

The closed case is obtained immediately with m˙ext=0.

5. Hydraulic closure

5.1 Generic formulation

Any hydraulic connection is described by a generic law:

m˙=Φ(Pu,Pd,Tu,𝒢,)

u and d respectively denote the upstream and downstream states. The transported enthalpy is that of the upstream state:

H˙mass=m˙CpTu.

For a bidirectional connection, the upstream state is determined by the actual direction of the pressure gradient. For a check valve, reverse flow is prohibited.

5.2 First-level closure using a compressible orifice

A first approximation consists in using an effective hydraulic area:

(CdA)eff,

which represents the overall ease of gas flow through the actual connection.

With:

r=PdPu,rcrit=(2γ+1)γ/(γ1),

the unchoked flow rate, for r>rcrit, is:

m˙=(CdA)effPu2γRTu(γ1)(r2/γr(γ+1)/γ).

For rrcrit:

m˙=(CdA)effPuγRTu(2γ+1)γ+12(γ1).

This closure is not essential to the model: it may later be replaced by a law that more faithfully represents the pressure losses of a real heat exchanger, pipe, or check valve.

6. Complete thermodynamic cycle

6.1 Phase I — check valves closed, nominally adiabatic: compression on the L side

Both check valves are closed. The L+H and S+C pairs are closed. The L+H side is nominally compressed; the motion of the small piston remains that provided by the actual kinematics.

For L+H:

P˙LH=(γ1)(UA)H(TH,resTH)γPLHV˙LVL+VH.

For S+C:

P˙SC=(γ1)(UA)C(TC,resTC)γPSCV˙SVS+VC.

The internal redistribution and temperature equations of §4 apply to both pairs.

The transition to Phase II occurs when the H → S check valve satisfies its opening condition.

6.2 Phase II — heat exchange, nominally isothermal: L → H → S

The gas leaves L, passes through the hot heat exchanger H, where it rejects heat, crosses the H → S check valve, and then enters the receiving cylinder S. The S+C pair remains quasi pressure-equalized if the criterion εP1 is satisfied.

6.2.1 Donor cylinder L

The fundamental balance is:

d(mLCvTL)dt=PLV˙Lm˙L,outCpTL.

The kinematics are designed to maintain an outflow from the donor cylinder. In this case, the analytical solution is:

TLTL,ref=[mLmL,refVL,refVL]γ1

and:

PL=PL,ref[mLmL,refVL,refVL]γ.

One also obtains:

TLTL,ref=(PLPL,ref)(γ1)/γ,

and the specific entropy of the remaining gas satisfies ds=0 under these assumptions. If reverse flow occurs despite the kinematic design, the analytical solution is no longer applicable and the complete open-system balance in (mL,UL) must be used.

6.2.2 Hot heat exchanger H

Mass conservation:

m˙H=m˙inm˙out.

Fundamental energy balance:

d(mHCvTH)dt=m˙inCpTLm˙outCpTH+(UA)H(TH,resTH).

In expanded form:

T˙H=m˙in(CpTLCvTH)m˙outRTH+(UA)H(TH,resTH)CvmH.

The flow rates are determined by the hydraulic laws:

m˙in=ΦHX,H(PL,PH,TL,),

m˙out=Φvalve,H(PH,PSC,TH,).

6.2.3 Receiving pair S+C

The flow from H enters S. The pair pressure satisfies:

P˙SC=γRm˙outTH+(γ1)(UA)C(TC,resTC)γPSCV˙SVS+VC.

The internal redistribution equations of §4 remain unchanged: the external flow acts on heat exchanger C indirectly through the evolution of the pair pressure.

The transition to Phase III is the closing event of the H → S check valve.

6.3 Phase III — check valves closed, nominally adiabatic: expansion on the S side

Both check valves are closed. The S+C pair expands nominally; the L+H pair also remains closed. Neither piston is assumed to be strictly stationary.

For S+C:

P˙SC=(γ1)(UA)C(TC,resTC)γPSCV˙SVS+VC.

For L+H:

P˙LH=(γ1)(UA)H(TH,resTH)γPLHV˙LVL+VH.

The transition to Phase IV occurs when the C → L check valve satisfies its opening condition.

6.4 Phase IV — heat exchange, nominally isothermal: S → C → L

The gas leaves S, passes through the cold heat exchanger C, where it receives heat from the cold reservoir, crosses the C → L check valve, and then enters the receiving cylinder L. The L+H pair remains quasi pressure-equalized if the criterion εP1 is satisfied.

6.4.1 Donor cylinder S

The fundamental balance is:

d(mSCvTS)dt=PSV˙Sm˙S,outCpTS.

For outflow guaranteed by the kinematic design:

TSTS,ref=[mSmS,refVS,refVS]γ1

and:

PS=PS,ref[mSmS,refVS,refVS]γ.

Reverse flow requires returning to the complete open-system balance in (mS,US).

6.4.2 Cold heat exchanger C

m˙C=m˙inm˙out.

The fundamental energy balance is:

d(mCCvTC)dt=m˙inCpTSm˙outCpTC+(UA)C(TC,resTC).

In expanded form:

T˙C=m˙in(CpTSCvTC)m˙outRTC+(UA)C(TC,resTC)CvmC.

The flow rates are determined by:

m˙in=ΦHX,C(PS,PC,TS,),

m˙out=Φvalve,C(PC,PLH,TC,).

6.4.3 Receiving pair L+H

The flow from C enters L. The pair pressure satisfies:

P˙LH=γRm˙outTC+(γ1)(UA)H(TH,resTH)γPLHV˙LVL+VH.

Closing the C → L check valve returns the system to Phase I. Geometric closure of the pistons alone is not sufficient to guarantee thermodynamic closure of the cycle.

7. Physical transitions of the check valves

For a check valve oriented from upstream u to downstream d:

PuPdΔPopenopening,

PuPdΔPcloseclosing,

with hysteresis, if present:

ΔPcloseΔPopen.

An opening or closing event changes the hydraulic topology and therefore the active equations; it does not cause any instantaneous jump in the thermodynamic state. For each volume:

mi+=mi,Ui+=Ui,Vi+=Vi.

For an ideal gas:

Ti+=Ti,Pi+=Pi.

There is therefore no instantaneous pressure equalization when a check valve opens.

The values Λ serve as kinematic design targets; the values actually observed at the transitions are Λreal=Λ(tevent).

8. Work, heat, and coefficient of performance

The instantaneous work delivered by the gas on the two pistons is calculated during all phases:

W˙=PSV˙S+PLV˙L.

PS and PL denote the thermodynamic pressure effectively applied to the gas in each cylinder according to the phase topology: pair pressure when the cylinder belongs to a quasi pressure-equalized pair, and its own pressure when it is a hydraulically isolated donor.

The net work over the cycle is:

Wcycle=0τ(PSV˙S+PLV˙L)dt.

The exchanged heats are:

QC=0τ(UA)C(TC,resTC)dt,

QH=0τ(UA)H(TH,resTH)dt.

In periodic steady operation:

ΔUcycle=0,

and the first law gives:

QC+QH=Wcycle.

The refrigeration COP is:

COPc=QCWcycle.

The heat-pump COP is:

COPh=QHWcycle=COPc+1.

The signs QC>0, QH<0, and Wcycle<0 provide checks of the intended refrigeration regime.

The thermodynamic force exerted by the gas on a piston face may be written Fgas=PS. Net mechanical force, inertia, and friction belong to the subsequent mechanical sizing stage.

9. Gas charge and periodic regime

The total amount of enclosed gas is a physical parameter:

Mtot=mS+mL+mC+mH=const.

It may be imposed directly or defined experimentally by a charging pressure and temperature. The chosen reference configuration is that at t=0, with the large cylinder at maximum volume. If all volumes communicate and are in uniform equilibrium during charging:

Mtot=Pcharge[VS(0)+VL,max+VC+VH]RTcharge.

Pcharge and Tcharge define the amount of gas charged; they are not conditions that the periodic cycle must recover.

The established periodic regime is a solution of the system such that, between two successive passages through the top position of the large cylinder with the same kinematic direction:

𝐗(t+τ)=𝐗(t).

Geometric periodicity alone:

Vi(t+τ)=Vi(t)

is not sufficient to guarantee thermodynamic periodicity.

The numerical state used to initialize a calculation may be approximate; it must not be confused with a physical parameter of the machine. The future solver may search for the periodic fixed point by successive cycles, a shooting method, or a Newton method.

10. Parameters, design data, and results

10.1 Prescribed data

  • working fluid and reference properties R, Cp, Cv, γ;
  • reservoir temperatures TC,res, TH,res;
  • total charge Mtot, or equivalently (Pcharge,Tcharge) in the charging configuration defined in §9;
  • kinematics VS(t), VL(t), and, where relevant, ω.

10.2 Design parameters

  • VS,min, VS,max, VL,min, VL,max;
  • VC, VH;
  • (UA)C, (UA)H;
  • hydraulic parameters of the heat exchangers, pipes, and check valves, represented at first level by (CdA)eff;
  • thresholds ΔPopen, ΔPclose;
  • kinematic targets ΛL, ΛS.

10.3 Calculated variables and results

  • mi, Ui, Ti, Pi;
  • internal and external mass flow rates;
  • Q˙C, Q˙H, QC, QH;
  • Wcycle, COPc, COPh;
  • pressure, temperature, and flow-rate extrema;
  • actual check-valve events and Λreal;
  • isothermal quality εT;
  • validity criteria εP, Ma, Z, and property variations.

11. Global conservation checks

11.1 Mass conservation

The solver must satisfy:

dMtotdt=0.

A useful numerical residual is:

εM(t)=Mtot(t)Mtot(0).

11.2 Global energy conservation

Whatever the phase, the internal mass and enthalpy fluxes must cancel when the balances of all volumes are summed. The global balance must reduce to:

dUtotdt=Q˙C+Q˙HPSV˙SPLV˙L.

A cumulative energy residual may be defined by:

εE(t)=Utot(t)Utot(0)QC(0,t)QH(0,t)+W(0,t).

The solver must keep εM and εE close to zero to the expected numerical accuracy.


Appendix A — Symbolic derivations and validated checks

A.1 Pressure equation for a closed pair

For a cylinder + heat-exchanger pair at quasi-uniform pressure:

U=P(Vcyl+VHX)γ1.

The first law gives:

dUdt=Q˙PV˙cyl,

with:

Q˙=(UA)HX(THX,resTHX).

Differentiating U:

1γ1[(Vcyl+VHX)P˙+PV˙cyl]=Q˙PV˙cyl.

Hence:

P˙=(γ1)Q˙γPV˙cylVcyl+VHX.

If Q˙=0:

P˙P=γV˙V,

then:

PVγ=const.

A.2 Internal flow rate of the pair

For the heat exchanger alone, at fixed volume:

UHX=PVHXγ1.

Therefore:

VHXγ1P˙=(UA)HX(THX,resTHX)+m˙intCpTup.

Using Cp=γR/(γ1):

VHXP˙+(γ1)(UA)HX(THXTHX,res)=γRTupm˙int.

This recovers the definition of the numerator N and the selection of the upstream temperature according to the sign of the flow rate.

A.3 Evolution of the heat-exchanger temperature within a pair

For a fixed volume:

mHX=PVHXRTHX.

Differentiating:

m˙HXmHX=P˙PT˙HXTHX.

With m˙HX=m˙int:

T˙HX=THXPP˙RTHX2PVHXm˙int.

This relation follows solely from mass conservation and the equation of state; it is valid for both flow directions.

A.4 Open receiving pair

For a pair receiving m˙ext into its cylinder:

dUdt=m˙extCpText+Q˙PV˙cyl.

With U=P(Vcyl+VHX)/(γ1):

P˙=γRTextm˙ext+(γ1)Q˙γPV˙cylVcyl+VHX.

The local mass balance:

m˙cyl=m˙extm˙int,

m˙HX=m˙int,

immediately gives:

m˙pair=m˙ext.

A.5 Analytical solution for the adiabatic donor cylinder

For an adiabatic, well-mixed cylinder with outflow only:

d(mCvT)dt=PV˙m˙outCpT,

and:

m˙=m˙out.

Expanding:

CvmT˙+CvTm˙=PV˙+CpTm˙,

thus:

CvmT˙=PV˙+RTm˙.

With P=mRT/V and R/Cv=γ1:

dTT=(γ1)(dmmdVV).

After integration:

TT0=[mm0V0V]γ1.

Then, using PV=mRT:

P=P0[mm0V0V]γ.

and:

TT0=(PP0)(γ1)/γ.

Under these assumptions, the specific entropy of the remaining gas is constant: ds=0. The total entropy of the gas contained in the cylinder is not constant because its mass varies.

A.6 Active heat exchanger: expanded balance

Fundamental balance:

d(mCvT)dt=m˙inCpTinm˙outCpT+Q˙.

Expanding the left-hand side and using:

m˙=m˙inm˙out,

one obtains:

T˙=m˙in(CpTinCvT)m˙outRT+Q˙Cvm.

Limiting checks:

  • with no flow, the equation recovers the thermal relaxation of a closed volume;
  • with equal steady inlet/outlet flow rates, it recovers mCvT˙=m˙Cp(TinT)+Q˙;
  • if Tin=T and m˙in=m˙out, the net contribution of the flow to T˙ vanishes.

A.7 Global mass test during an active phase

For Phase II:

m˙L=m˙in,

m˙H=m˙inm˙out,

m˙SC=m˙out.

Summing:

M˙tot=0.

Phase IV gives exactly the same result by symmetry.

A.8 Global energy test during an active phase

For Phase II:

U˙L=PLV˙Lm˙inhL,

U˙H=m˙inhLm˙outhH+Q˙H,

U˙SC=m˙outhH+Q˙CPSCV˙S.

The internal enthalpy fluxes cancel exactly:

m˙inhL+m˙inhL=0,

m˙outhH+m˙outhH=0.

What remains is:

U˙tot=Q˙C+Q˙HPLV˙LPSCV˙S.

Phase IV provides the symmetric relation. In the closed phases, the same structure follows directly from summing the balances of the two pairs. Hence, for any phase:

U˙tot=Q˙C+Q˙HPSV˙SPLV˙L.

Integrated over a periodic cycle, this relation gives:

QC+QH=Wcycle.

A.9 Continuity at transitions

At the instant of a check-valve event, no finite mass or energy can be transferred in zero time. The conserved variables and geometry are therefore continuous:

mi+=mi,Ui+=Ui,Vi+=Vi.

For an ideal gas:

Ti=UimiCv,Pi=miRTiVi,

which implies:

Ti+=Ti,Pi+=Pi.

The event only creates a change in hydraulic topology and in the active system of equations.