《东南大学学报(自然科学版)》 过刊查询页面

    关键词中包括 verification 的文章

1 基于索力模型修正的斜拉桥主梁损伤识别与验证
熊文1,鲁圣弟2,席进3,韦国志2,端木详永1
2019年第3期 [467-473][摘要](592)[pdf 1310KB](412)
2 复合材料梁弹性参数不确定性量化及试验验证
吴邵庆1,2,范刚1,2,李彦斌2,3,姜东2,3,费庆国2
2018年第6期 [1004-1012][摘要](1488)[pdf 2332KB](1051)
3 铅芯橡胶支座单元模型的开发及验证
周通1,李爱群1,2,3
2017年第6期 [1154-1160][摘要](2280)[pdf 1737KB](1162)
4 基于DATL的信息物理融合系统安全性建模与验证
周颖,段鹏飞,翟小祥,李必信
2017年第1期 [12-17][摘要](1950)[pdf 723KB](1489)
5 基于时间自动机的嵌入式系统AADL模型可调度性验证
李静,沈宁敏,白海洋,周培云
2015年第6期 [1032-1037][摘要](1582)[pdf 1564KB](1149)
6 毫米波MEMS开关自激励机理实验验证结构的模拟与设计
肖建斌,廖小平,周易
2011年第5期 [923-928][摘要](2173)[pdf 937KB](1068)
7 结构行为一致多尺度有限元模型修正及验证
孙正华1, 李兆霞2, 陈鸿天3
2009年第1期 [85-90][摘要](2422)[pdf 568KB](999)
8 强夯技术处理饱和土地基的试验研究
石名磊, 邓学钧, 钱明权, 李文圣
2001年第3期 [15-19][摘要](1744)[pdf 328KB](973)
9 一种基于有色Petri网的知识库验证方法
姜浩, 罗军舟, 方宁生
2000年第1期 [77-83][摘要](1078)[pdf 949KB](771)
10 一种函数分割型程序设计规范描述——FDP程序的正确性验证
程正潮,胡鸣钟,滕至阳
1987年第6期 [133-140][摘要](928)[pdf 466KB](651)