Class TURBINE-SYSTEM

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

Slots on this class:

Documentation:

the system consisting of a turbine, an associated control-volume, and a throttling process.

Subclass-Of: Entity, System-model

Arity: 1

Has-Attribute-Function:

Expsn-prcs, Tbn, Tbn-cv, Water-in-tbn

---

Slots on instances of this class:

Expsn-Prcs:

Slot-Cardinality: 1

Slot-Documentation:

the expansion process

Slot-Value-Type: Steady-flow-adiabatic-expansion

Tbn:

Slot-Cardinality: 1

Slot-Documentation:

the turbine

Slot-Value-Type: Simple-turbine

Tbn-Cv:

Slot-Cardinality: 1

Slot-Documentation:

the control volume associated with the turbine in the turbine-system

Slot-Value-Type: 1-1-control-volume

Water-In-Tbn:

Slot-Cardinality: 1

Slot-Documentation:

the water flowing through the turbine

Slot-Value-Type: Water

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Turbine-System ?Self)
             (And (Turbine-System ?Self)
                  (Active ?Time System-Model ?Self))))

(=> (Turbine-System ?Self)
    (And (Cv-Component (Tbn-Cv ?Self) (Tbn ?Self))
         (Component-Cv (Tbn ?Self) (Tbn-Cv ?Self))
         (Process-Cv (Expsn-Prcs ?Self) (Tbn-Cv ?Self))
         (Substance-In (Tbn-Cv ?Self) (Water-In-Tbn ?Self))
         (Substance-In (Inlet-Stream (Tbn-Cv ?Self))
                       (Water-In-Tbn ?Self))
         (Substance-In (Outlet-Stream (Tbn-Cv ?Self))
                       (Water-In-Tbn ?Self))))