Class 2-PORT-HEAT-EXCHANGER

• Defined in theory: Thermal-system
• Source code: thermal-system.ol

Slots on this class:

Documentation:

a one-input one-output heat exchanger

Instance-Of: Class

Subclass-Of: 1-1-port-thermal-component, Entity, Heat-exchanger

Arity: 1

Range-Of: Cold-flow, Hot-flow

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-Port-Heat-Exchanger ?Self)
             (And (2-Port-Heat-Exchanger ?Self)
                  (Active ?Time Heat-Exchanger ?Self)
                  (Active ?Time 1-1-Port-Thermal-Component ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-Port-Heat-Exchanger ?Self)
             (And (2-Port-Heat-Exchanger ?Self)
                  (Active ?Time Heat-Exchanger ?Self)
                  (Active ?Time 1-1-Port-Thermal-Component ?Self))))

(Inherited-Facet-Value Slot-Value-Type
                       4-Port-Heat-Exchanger
                       Cold-Flow
                       2-Port-Heat-Exchanger)

(Inherited-Facet-Value Slot-Value-Type
                       4-Port-Heat-Exchanger
                       Hot-Flow
                       2-Port-Heat-Exchanger)

(=> (4-Port-Heat-Exchanger ?Self)
    (And (Value-Cardinality ?Self Hot-Flow 1)
         (Value-Type ?Self Hot-Flow 2-Port-Heat-Exchanger)
         (Value-Cardinality ?Self Hot-Flow 1)
         (Value-Cardinality ?Self Cold-Flow 1)
         (Value-Type ?Self Cold-Flow 2-Port-Heat-Exchanger)
         (Value-Cardinality ?Self Cold-Flow 1)
         (Value-Cardinality ?Self Effectiveness 1)
         (Quantity.Dimension (Effectiveness ?Self) Dimensionless)
         (Value-Cardinality ?Self Hot-Flow-Temperature-In 1)
         (Quantity.Dimension (Hot-Flow-Temperature-In ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self Cold-Flow-Temperature-Out 1)
         (Quantity.Dimension (Cold-Flow-Temperature-Out ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self D-Log-Mean-Temperature 1)
         (Quantity.Dimension (D-Log-Mean-Temperature ?Self)
                             Temperature-Dimension)
         (Value-Cardinality ?Self D-Pressure-Hot 1)
         (Quantity.Dimension (D-Pressure-Hot ?Self)
                             Pressure-Dimension)
         (Value-Cardinality ?Self D-Pressure-Cold 1)
         (Quantity.Dimension (D-Pressure-Cold ?Self)
                             Pressure-Dimension)))

(=> (Hot-Flow $X $Y) (2-Port-Heat-Exchanger $Y))

(=> (Cold-Flow $X $Y) (2-Port-Heat-Exchanger $Y))