Automatic synthesis of optimal invariant assertions
- 期刊名称ACM SIGART Bulletin
- 作者Cousot, Patrick; Cousot, Radhia
- 期第64期
- 印刷ISSN0163-5719
- 文件大小753.72KB
- 发表时间1977-08-01
- DOI10.1145/872736.806926
- 页码1-12
Defect Automatic Identification of Eddy Current Pulsed ThermographyChen, Kai; Bai, Libing; Chen, Yifan; Cheng, Yuhua; Tian, Shulin; Zhu, Peipei · Journal of Sensors · 2014
Frequency feature based quantification of defect depth and thicknessTian, Shulin; Chen, Kai; Bai, Libing; Cheng, Yuhua; Tian, Lulu; Zhang, Hong · Review of Scientific Instruments · 2014
Reducing the Effect of Surface Emissivity Variation in Eddy Current Pulsed ThermographyBai, Libing; Tian, Shulin; Cheng, Yuhua; Tian, Gui Yun; Chen, Yifan; Chen, Kai · IEEE Sensors Journal · 2014
IEEE Transactions Smart Grid [advertisement]IEEE Transactions on Sustainable Energy · 2013
Table of contentsIEEE Transactions on Sustainable Energy · 2013
Table of ContentsIEEE Transactions on Sustainable Energy · 2014
Preprocessing Uncertain Photovoltaic DataFan, Miao; Vittal, Vijay; Heydt, Gerald T.; Ayyanar, Raja · IEEE Transactions on Sustainable Energy · 2014
Table of ContentsIEEE Transactions on Sustainable Energy · 2013
Table of ContentsIEEE Transactions on Sustainable Energy · 2014
Table of contentsIEEE Transactions on Sustainable Energy · 2013
Table of contentsIEEE Transactions on Sustainable Energy · 2013