Class CONTROL-VOLUME-NEGLIGIBLE-PE-CHANGE

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

Slots on this class:

Documentation:

operating mode of a control-volume that says that the change in pe rate is negligible

Instance-Of: Class

Subclass-Of: Control-volume-op-mode, Model-fragment

Arity: 1

Axioms:

(Forall (?Self)
        (<=> (Control-Volume-Negligible-Pe-Change ?Self)
             (And (Control-Volume-Op-Mode ?Self)
                  (Even-Pe Cv-Involved true))))

(Forall (?Self ?Time)
        (=> (Active ?Time Control-Volume-Negligible-Pe-Change ?Self)
            (= (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (D-Pe-Rate (Cv-Involved ?Self))
                                     ?T)))
               0)))

(Forall (?Self ?Time)
        (<=> (Active ?Time Control-Volume-Negligible-Pe-Change ?Self)
             (And (Control-Volume-Negligible-Pe-Change ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))

Other Related Axioms:

(Forall (?Self)
        (<=> (Control-Volume-Negligible-Pe-Change ?Self)
             (And (Control-Volume-Op-Mode ?Self)
                  (Even-Pe Cv-Involved true))))

(Forall (?Self ?Time)
        (=> (Active ?Time Control-Volume-Negligible-Pe-Change ?Self)
            (= (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (D-Pe-Rate (Cv-Involved ?Self))
                                     ?T)))
               0)))

(Forall (?Self ?Time)
        (<=> (Active ?Time Control-Volume-Negligible-Pe-Change ?Self)
             (And (Control-Volume-Negligible-Pe-Change ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))