the entropy rate through the stream
(Inherited-Facet-Value Slot-Documentation
Stream
Entropy-Rate
The Entropy Rate Through The Stream)
(Quantity.Dimension (Entropy-Rate ?Self) Entropy-Rate-Dimension)
(Inherited-Facet-Value Slot-Cardinality Stream Entropy-Rate 1)
(Has-Quantity-Function Stream Entropy-Rate)
(Slot-Documentation Stream
Entropy-Rate
The Entropy Rate Through The Stream)
(=> (Stream ?Self)
(And (Value-Cardinality ?Self Stream-Elevation 1)
(Quantity.Dimension (Stream-Elevation ?Self)
Length-Dimension)
(Value-Cardinality ?Self Enthalpy-Rate 1)
(Quantity.Dimension (Enthalpy-Rate ?Self) Power-Dimension)
(Value-Cardinality ?Self Entropy-Rate 1)
(Quantity.Dimension (Entropy-Rate ?Self)
Entropy-Rate-Dimension)
(Value-Cardinality ?Self Ke-Rate 1)
(Quantity.Dimension (Ke-Rate ?Self) Power-Dimension)
(Value-Cardinality ?Self Mass-Rate 1)
(Quantity.Dimension (Mass-Rate ?Self) Mass-Rate-Dimension)
(Value-Cardinality ?Self Pe-Rate 1)
(Quantity.Dimension (Pe-Rate ?Self) Power-Dimension)
(Value-Cardinality ?Self Stream-Pressure 1)
(Quantity.Dimension (Stream-Pressure ?Self)
Pressure-Dimension)
(Value-Cardinality ?Self Specific-Enthalpy 1)
(Quantity.Dimension (Specific-Enthalpy ?Self)
Specific-Energy-Dimension)
(Value-Cardinality ?Self Specific-Entropy 1)
(Quantity.Dimension (Specific-Entropy ?Self)
Specific-Entropy-Dimension)
(Value-Cardinality ?Self Specific-Internal-Energy 1)
(Quantity.Dimension (Specific-Internal-Energy ?Self)
Specific-Energy-Dimension)
(Value-Cardinality ?Self Stream-Temperature 1)
(Quantity.Dimension (Stream-Temperature ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self Velocity 1)
(Quantity.Dimension (Velocity ?Self) Velocity-Dimension)
(Value-Cardinality ?Self Quality 1)
(Quantity.Dimension (Quality ?Self) Dimensionless)
(Value-Cardinality ?Self Specific-Volume 1)
(Quantity.Dimension (Specific-Volume ?Self)
Specific-Volume-Dimension)
(Value-Cardinality ?Self Saturated-P 1)))
(=> (Entropy-Rate $X $Y) (Everywhere-Continuous-Quantity $Y))
(Forall
(?Self ?Time)
(=> (Active ?Time Control-Volume ?Self)
(And (Forall
(?X)
(=> (Inlets ?Self ?X)
(And (C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate ?X) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate ?X) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Enthalpy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Enthalpy-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate ?X)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-In ?Self)
?T)))))))
(Forall
(?X)
(=> (Outlets ?Self ?X)
(And (C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate ?X) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate ?X) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Enthalpy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate ?X)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Mass-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-Out ?Self)
?T)))))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Entropy-Rate ?Self) ?T)))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-In ?Self) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-Out ?Self) ?T)))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Self) ?T)))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Self) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Self) ?T)))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Self) ?T)))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Self) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Self) ?T))))))))
(Forall
(?Self ?Time)
(=> (Active ?Time Non-Steady-State-Flow-Process ?Self)
(And (Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self)
?T))))
(+ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-Out ?Cv)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-In ?Cv)
?T))))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T))))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Ke-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Cv)
?T))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Energy-Rate ?Cv)
?T)))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Energy-Rate ?Cv) ?T)))
(+ (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Internal-Energy-Rate ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate ?Cv) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate ?Cv) ?T)))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Generation-Rate ?Self)
?T)))
(+ (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-In ?Cv)
?T))))
(- (/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Heat-Transfer-Temperature ?Self)
?T)))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate ?Cv)
?T)))))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Irreversibility-Rate ?Self)
?T)))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Generation-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(State-Temperature *Dead-State*)
?T)))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate ?Cv) ?T)))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-Out ?Cv)
?T))))))))))