Instinctive
发表于 2025-3-26 21:13:22
,Der Laval-Läufer in elastischen Lagern,otenz niedriger liegt als die Steifigkeit der Lagerung. Ist die Wellenabstützung weniger steif, dann wird der Einfluß der Lagerelastizität beträchtlich, die kritische Drehzahl sinkt erheblich ab; siehe hierzu Aufgabe 4.
虚构的东西
发表于 2025-3-27 04:55:28
http://reply.papertrans.cn/84/8319/831881/831881_32.png
expire
发表于 2025-3-27 06:09:13
Biegekritische Drehzahlen zweiter Art,ngenen Kapiteln hatten wir angenommen, daß die Welle mit konstanter Drehzahl . rotiert. Wenn antreibendes und abgenommenes Drehmoment an der Welle konstant sind und beide einander die Waage halten, stimmt diese Annahme sehr genau mit der Wirklichkeit überein. Der Turbosatz (Dampfturbine mit Generator) im Normalbetrieb ist ein Beispiel hierfür.
STELL
发表于 2025-3-27 10:07:12
http://reply.papertrans.cn/84/8319/831881/831881_34.png
Galactogogue
发表于 2025-3-27 16:25:29
http://reply.papertrans.cn/84/8319/831881/831881_35.png
catagen
发表于 2025-3-27 19:33:01
http://reply.papertrans.cn/84/8319/831881/831881_36.png
excrete
发表于 2025-3-28 00:22:21
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)n automated and interactive theorem prover for a natural specification and verification logic for hybrid systems. KeYmaera supports ., which is a real-valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata. For automating the verification process, KeYmaera imple
aggrieve
发表于 2025-3-28 02:26:55
http://reply.papertrans.cn/84/8319/831881/831881_38.png
carotenoids
发表于 2025-3-28 06:48:13
Expressivity of Many-Valued Modal Logics, Coalgebraically,es interpreted over set-coalgebras with many-valued valuations. The languages are based on many-valued predicate liftings. We provide a characterization theorem for a language generated by a set of such modalities to be expressive for bisimilarity: in addition to the usual condition on the set of pr
盲信者
发表于 2025-3-28 11:03:42
http://reply.papertrans.cn/84/8319/831881/831881_40.png