Integrated computer-aided verification of turbine blade

被引：0

作者：

Tam, Juliana M. Y. ^{[1
]}

Yu, K.M. ^{[2
]}

Sun, R.L. ^{[1
]}

机构：

[1] Huazhong University of Science and Technology, China

[2] The Hong Kong Polytechnic University, Hong Kong

来源：

Computer-Aided Design and Applications | 2015年 / 12卷 / 05期

关键词：

35;

D O I：

10.1080/16864360.2015.1014738

中图分类号：

学科分类号：

摘要：

引用

页码：589 / 600

共 50 条

[1] COMPUTER-AIDED ANALYSIS OF TURBINE BLADE VIBRATION TEST DATA
NAGY, FLN
TAYLOR, SR
MEASUREMENT AND CONTROL, 1973, 6 (03): : 123 - 128
[2] Computer-aided verification
Clarke, EM
Kurshan, RP
IEEE SPECTRUM, 1996, 33 (06) : 61 - 67
[3] Computer-aided integrated platform for design and verification of electronic ballast
Wang, Shun-Chung
Liu, Yi-Hua
Wang, Shun-Jih
Chen, Yih-Chien
Chen, Jun-Yan
TENCON 2007 - 2007 IEEE REGION 10 CONFERENCE, VOLS 1-3, 2007, : 108 - +
[4] COMPUTER-AIDED INTEGRATED SYSTEMS
GIBBS, PJ
CME-CHARTERED MECHANICAL ENGINEER, 1980, 27 (02): : 84 - &
[5] Computer-aided fixture design verification
Kang, Y
Rong, Y
PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON FRONTIERS OF DESIGN AND MANUFACTURING, VOL 1, 2002, : 360 - 366
[6] Computer-Aided Verification Technology for Biology
Henzinger, Thomas A.
2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 11 - 11
[7] THE MODULAR FRAMEWORK OF COMPUTER-AIDED VERIFICATION
SHUREK, G
GRUMBERG, O
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 214 - 223
[8] INTEGRATED COMPUTER-AIDED ENGINEERING
PETERS, RA
CHEMICAL ENGINEERING, 1985, 92 (10) : 95 - &
[9] Computer-aided fixture design verification
Kang, Y
Rong, Y
Yang, J
Ma, W
ASSEMBLY AUTOMATION, 2002, 22 (04) : 350 - 359
[10] Computer-aided dispatch system family architecture and verification: an integrated formal approach
Sun, J.
Dong, J. S.
Jarzabek, S.
Wang, H.
IEE PROCEEDINGS-SOFTWARE, 2006, 153 (03): : 102 - 112