Class CYCLE-HEAT-INPUT

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

Slots on this class:

Documentation:

the operating mode of a thermal cycle for computing the net heat input rate

Instance-Of: Class

Subclass-Of:

Control-volume-op-mode, Model-fragment, Thermal-component-op-mode, Thermal-cycle-op-mode, Thermal-process-op-mode

Arity: 1

Axioms:

(Forall (?Self)
        (<=> (Cycle-Heat-Input ?Self)
             (And (Thermal-Process-Op-Mode ?Self)
                  (Thermal-Cycle-Op-Mode ?Self)
                  (Control-Volume-Op-Mode ?Self)
                  (Thermal-Component-Op-Mode ?Self)
                  (Process-Cv Process-Involved Cv-Involved)
                  (Component-Cv Component-Involved Cv-Involved)
                  (Connected-To-External-Heat-Source-P 
                      Component-Involved
                      True))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Cycle-Heat-Input ?Self)
        (C+ (Lambda (?T)
                    (If (= ?T ?Time)
                        (Value-At (Heat-Rate (Process-Involved ?Self))
                                  ?T)))
            (Lambda 
                (?T)
                (If (= ?T ?Time)
                    (Value-At (Net-Heat-Input-Rate 
                                  (Cycle-Involved ?Self))
                              ?T))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Cycle-Heat-Input ?Self)
             (And (Cycle-Heat-Input ?Self)
                  (Active ?Time Thermal-Process-Op-Mode ?Self)
                  (Active ?Time Thermal-Cycle-Op-Mode ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self)
                  (Active ?Time Thermal-Component-Op-Mode ?Self))))

Other Related Axioms:

(Forall (?Self)
        (<=> (Cycle-Heat-Input ?Self)
             (And (Thermal-Process-Op-Mode ?Self)
                  (Thermal-Cycle-Op-Mode ?Self)
                  (Control-Volume-Op-Mode ?Self)
                  (Thermal-Component-Op-Mode ?Self)
                  (Process-Cv Process-Involved Cv-Involved)
                  (Component-Cv Component-Involved Cv-Involved)
                  (Connected-To-External-Heat-Source-P 
                      Component-Involved
                      True))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Cycle-Heat-Input ?Self)
        (C+ (Lambda (?T)
                    (If (= ?T ?Time)
                        (Value-At (Heat-Rate (Process-Involved ?Self))
                                  ?T)))
            (Lambda 
                (?T)
                (If (= ?T ?Time)
                    (Value-At (Net-Heat-Input-Rate 
                                  (Cycle-Involved ?Self))
                              ?T))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Cycle-Heat-Input ?Self)
             (And (Cycle-Heat-Input ?Self)
                  (Active ?Time Thermal-Process-Op-Mode ?Self)
                  (Active ?Time Thermal-Cycle-Op-Mode ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self)
                  (Active ?Time Thermal-Component-Op-Mode ?Self))))