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

    关键词中包括 verification 的文章

1 复合材料梁弹性参数不确定性量化及试验验证
吴邵庆1,2,范刚1,2,李彦斌2,3,姜东2,3,费庆国2
2018年第6期 [1004-1012][摘要](70)[pdf 2332KB](67)
2 铅芯橡胶支座单元模型的开发及验证
周通1,李爱群1,2,3
2017年第6期 [1154-1160][摘要](824)[pdf 1737KB](493)
3 基于DATL的信息物理融合系统安全性建模与验证
周颖,段鹏飞,翟小祥,李必信
2017年第1期 [12-17][摘要](1001)[pdf 723KB](852)
4 基于时间自动机的嵌入式系统AADL模型可调度性验证
李静,沈宁敏,白海洋,周培云
2015年第6期 [1032-1037][摘要](649)[pdf 1564KB](571)
5 毫米波MEMS开关自激励机理实验验证结构的模拟与设计
肖建斌,廖小平,周易
2011年第5期 [923-928][摘要](729)[pdf 937KB](509)
6 结构行为一致多尺度有限元模型修正及验证
孙正华1, 李兆霞2, 陈鸿天3
2009年第1期 [85-90][摘要](764)[pdf 568KB](440)
7 强夯技术处理饱和土地基的试验研究
石名磊, 邓学钧, 钱明权, 李文圣
2001年第3期 [15-19][摘要](545)[pdf 328KB](467)
8 一种基于有色Petri网的知识库验证方法
姜浩, 罗军舟, 方宁生
2000年第1期 [77-83][摘要](469)[pdf 949KB](374)
9 一种函数分割型程序设计规范描述——FDP程序的正确性验证
程正潮,胡鸣钟,滕至阳
1987年第6期 [133-140][摘要](223)[pdf 466KB](267)