何凡 张帆 张焕国 孟学军 支旭东 沈世钊 范峰 欧进萍 严飞 汪红 徐士伟

失效机理 一致性测试 隔震控制 安全性分析 冰激振动 弹簧支座 一阶逻辑 磁流变阻尼隔震 强度破坏 可信计算平台 动力分析 半主动控制 计算树逻辑 短程线网壳 弹簧阻尼支座 地震作用 短程线型单层网壳 导管架式海洋平台结构 模型检测 动力响应 可信软件栈 可信平台模块 应用编程接口

哈尔滨工业大学土木工程学院