twine-models 0.4.0

Domain-specific models and model-building tools for Twine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76

//! Internal traits for discretized heat exchanger solving.

use crate::support::{
    hx::{
        NtuRelation,
        arrangement::{CounterFlow, ParallelFlow},
    },
    thermo::capability::{HasEnthalpy, HasPressure, StateFrom, ThermoModel},
    units::SpecificEnthalpy,
};
use uom::si::f64::{Pressure, ThermodynamicTemperature};

/// Arrangement contract for discretized solvers.
///
/// This trait extends [`NtuRelation`] with the bottom stream flow direction,
/// which is required to discretize the heat exchanger into nodes.
///
/// The "bottom" stream refers to the physical position in the discretized
/// model, not necessarily the hot or cold stream.
/// The top stream always flows left to right (node 0 to node N-1).
/// The bottom stream's direction depends on the arrangement.
#[doc(hidden)]
pub trait DiscretizedArrangement: NtuRelation {
    /// True if the bottom stream flows left-to-right (node 0 to N-1).
    ///
    /// False if it flows right-to-left (node N-1 to 0).
    const BOTTOM_FLOWS_LEFT_TO_RIGHT: bool;

    /// Selects a value based on bottom stream flow direction.
    ///
    /// Returns `forward` if the bottom stream flows left-to-right, `reverse` otherwise.
    ///
    /// ```ignore
    /// // CounterFlow: bottom flows right-to-left, so selects `reverse`
    /// assert_eq!(CounterFlow::bottom_select("forward", "reverse"), "reverse");
    ///
    /// // ParallelFlow: bottom flows left-to-right, so selects `forward`
    /// assert_eq!(ParallelFlow::bottom_select("forward", "reverse"), "forward");
    /// ```
    #[inline]
    fn bottom_select<T>(forward: T, reverse: T) -> T {
        if Self::BOTTOM_FLOWS_LEFT_TO_RIGHT {
            forward
        } else {
            reverse
        }
    }
}

impl DiscretizedArrangement for CounterFlow {
    const BOTTOM_FLOWS_LEFT_TO_RIGHT: bool = false;
}

impl DiscretizedArrangement for ParallelFlow {
    const BOTTOM_FLOWS_LEFT_TO_RIGHT: bool = true;
}

/// Required thermo model bounds for discretized heat exchangers.
#[doc(hidden)]
pub trait DiscretizedHxThermoModel<Fluid>:
    ThermoModel<Fluid = Fluid>
    + HasPressure
    + HasEnthalpy
    + StateFrom<(Fluid, ThermodynamicTemperature, Pressure)>
    + StateFrom<(Fluid, Pressure, SpecificEnthalpy)>
{
}

impl<Fluid, T> DiscretizedHxThermoModel<Fluid> for T where
    T: ThermoModel<Fluid = Fluid>
        + HasPressure
        + HasEnthalpy
        + StateFrom<(Fluid, ThermodynamicTemperature, Pressure)>
        + StateFrom<(Fluid, Pressure, SpecificEnthalpy)>
{
}