Function POWER-INPUT-PER-MASS

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

Slots on this function:

Documentation:

the rate of power input per unit of mass passing through the cv associated with the process

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Documentation
    Steady-State-Steady-Flow-Process
    Power-Input-Per-Mass
    The Rate Of Power Input Per Unit Of Mass Passing Through The Cv
Associated With The Process)

(Inherited-Facet-Value Slot-Cardinality
                       Steady-State-Steady-Flow-Process
                       Power-Input-Per-Mass
                       1)

(Has-Quantity-Function Steady-State-Steady-Flow-Process
                       Power-Input-Per-Mass)

(Slot-Documentation 
    Steady-State-Steady-Flow-Process
    Power-Input-Per-Mass
    The Rate Of Power Input Per Unit Of Mass Passing Through The Cv
Associated With The Process)

(=> (Steady-State-Steady-Flow-Process ?Self)
    (Value-Cardinality ?Self Power-Input-Per-Mass 1))

(=> (Power-Input-Per-Mass $X $Y) (Everywhere-Continuous-Quantity $Y))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Steady-Flow-Adiabatic-Compression ?Self)
        (And (Forall 
                 (?Cv)
                 (=> (Process-Cv ?Self ?Cv)
                     (= (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Compression-Isentropic-Efficiency ?Self)
                                    ?T)))
                        (/ (- (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Ideal-Isentropic-Enthalpy ?Self)
                                          ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Specific-Enthalpy 
                                              (Inlet-Stream ?Cv))
                                          ?T))))
                           (- (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Specific-Enthalpy 
                                              (Outlet-Stream ?Cv))
                                          ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Specific-Enthalpy 
                                              (Inlet-Stream ?Cv))
                                          ?T))))))))
             (Forall 
                 (?Cv)
                 (=> (Process-Cv ?Self ?Cv)
                     (= (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At (Isentropic-Efficiency ?Self)
                                          ?T)))
                        (/ (- (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Specific-Enthalpy 
                                              (Outlet-Stream ?Cv))
                                          ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Specific-Enthalpy 
                                              (Inlet-Stream ?Cv))
                                          ?T))))
                           (- (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Ideal-Isentropic-Enthalpy ?Self)
                                          ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Specific-Enthalpy 
                                              (Inlet-Stream ?Cv))
                                          ?T))))))))
             (Forall 
                 (?Cv)
                 (=> (Process-Cv ?Self ?Cv)
                     (= (Lambda (?T)
                                (If (= ?T ?Time)
                                    (Value-At 
                                        (Power-Input-Per-Mass ?Self)
                                        ?T)))
                        (- (Lambda 
                               (?T)
                               (If (= ?T ?Time)
                                   (Value-At 
                                       (Specific-Enthalpy 
                                           (Outlet-Stream ?Cv))
                                       ?T)))
                           (Lambda 
                               (?T)
                               (If (= ?T ?Time)
                                   (Value-At 
                                       (Specific-Enthalpy 
                                           (Inlet-Stream ?Cv))
                                       ?T))))))))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Pump-Power-Input-Per-Mass-Approximation ?Self)
        (= (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At 
                       (Power-Input-Per-Mass (Process-Involved ?Self))
                       ?T)))
           (* (Lambda 
                  (?T)
                  (If (= ?T ?Time)
                      (Value-At 
                          (Specific-Volume 
                              (Inlet-Stream (1-1-Cv-Involved ?Self)))
                          ?T)))
              (/ (- (Lambda 
                        (?T)
                        (If (= ?T ?Time)
                            (Value-At 
                                (Stream-Pressure 
                                    (Outlet-Stream 
                                        (1-1-Cv-Involved ?Self)))
                                ?T)))
                    (Lambda 
                        (?T)
                        (If (= ?T ?Time)
                            (Value-At 
                                (Stream-Pressure 
                                    (Inlet-Stream 
                                        (1-1-Cv-Involved ?Self)))
                                ?T))))
                 1000)))))