郭阳 邹万杰 屈婉霞 章本照 黄天立 庞征斌 李创第 万海 李思昆 朱丹 杨晓东 何益斌

参数化系统 TLD 优化设计 可达性分析 动力可靠性 砌体结构 模型检验 进程依赖图 多处理机系统 程序切片 扩阶法 随机风振响应 基础隔震 随机地震响应 TMD 随机风振 抽象 链接切片 电路提取 Cache一致性协议 复模态 显式状态枚举

广西柳州 广西工学院土木系 国防科技大学计算机学院 湖南长沙 浙江杭州 广西工学院土木建筑工程系 浙江杭州310027广西工学院土木系 浙江大学力学系