邓泽贤 吕涛 李晓维 陈旭勇 李华伟 王元汉 赵廷仕 王国鼎

测试矢量自动产生 模拟 设计验证 覆盖率 加固 网络型研究所 双曲拱桥 实践

中国科学院计算技术研究所 华中科技大学土木工程与力学学院 香港理工大学工业与系统工程学系 华中科技大学控制结构湖北省重点实验室