共 50 条
- [21] Fluid–structure interaction of downwind sails: a new computational method Journal of Marine Science and Technology, 2019, 24 : 86 - 97
- [22] Isomorph-free model enumeration: A new method for checking relational specifications ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (02): : 302 - 343
- [23] Isomorph-free model enumeration: a new method for checking relational specifications ACM Trans Program Lang Syst, 2 (302-343):
- [24] A NEW COMPUTATIONAL METHOD FOR LINEARIZED DYNAMIC-MODELS FOR ROBOT MANIPULATORS INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 1990, 9 (01): : 134 - 144
- [27] High-level bounded model checking using Wu's method Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2008, 20 (02): : 137 - 143
- [28] Inelastic Dynamic Analysis of Steel Structure Using Force Analogy Method PROGRESS IN STRUCTURE, PTS 1-4, 2012, 166-169 : 304 - 309