Study on automatic deduction method of overall transfer equation for tree systems as well as closed-loop-and-branch-mixed systems
The transfer matrix method for multibody systems has been developed for 20 years and improved constantly. The new version of transfer matrix method for multibody system and the automatic deduction method of overall transfer equation presented in recent years make it more convenient of the method for...
Main Authors: | Lu Sun, Guoping Wang, Xiaoting Rui, Xue Rui |
---|---|
Format: | Article |
Language: | English |
Published: |
SAGE Publishing
2018-07-01
|
Series: | Advances in Mechanical Engineering |
Online Access: | https://doi.org/10.1177/1687814018788752 |
Similar Items
-
Study on automatic deduction method of overall transfer equation for branch multibody system
by: Xue Rui, et al.
Published: (2016-05-01) -
Automatic Deduction Theorem of Overall Transfer Equation of Multibody System
by: Xiaoting Rui, et al.
Published: (2014-03-01) -
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
by: Dmitry A. Kondratyev
Published: (2021-12-01) -
Automatic Deduction in Dynamic Geometry using Sage
by: Francisco Botana, et al.
Published: (2012-02-01) -
Closed-loop control system for well-defined oxygen supply in micro-physiological systems
by: Steege Tobias, et al.
Published: (2017-09-01)