Class FUEL-CONSUMING-COMPONENT

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

Slots on this class:

Documentation:

the class of components which require fuel input

Subclass-Of: Entity, Thermal-component

Arity: 1

Has-Quantity-Function: Fuel-supply-rate, Heat-supply-rate

---

Slots on instances of this class:

Fuel-Supply-Rate:

Slot-Cardinality: 1

Slot-Documentation:

the rate at which fuel is supplied to the fuel-consuming component

Heat-Supply-Rate:

Slot-Cardinality: 1

Slot-Documentation:

the rate at which heat is supplied to the fuel-consuming component

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Fuel-Consuming-Component ?Self)
            (= (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Heat-Supply-Rate ?Self) ?T)))
               (* (Lambda (?T)
                          (If (= ?T ?Time)
                              (Value-At (Fuel-Supply-Rate ?Self) ?T)))
                  (Lambda (?T)
                          (If (= ?T ?Time)
                              (Value-At (Heating-Value Fuel) ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Fuel-Consuming-Component ?Self)
             (And (Fuel-Consuming-Component ?Self)
                  (Active ?Time Thermal-Component ?Self))))

(=> (Fuel-Consuming-Component ?Self)
    (And (Quantity.Dimension (Fuel-Supply-Rate ?Self) Mass-Dimension)
         (Quantity.Dimension (Heat-Supply-Rate ?Self)
                             Power-Dimension)))