1) Dynamic anlysis and static verification tools
动态静态分析工具
2) static analysis tool
静态分析工具
1.
Experimental evaluation of the presented static analysis tools show that these tools are not efficient for analyzing the inter-procedural errors and the authors give brief discussions on how to solve this problem.
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。
3) Dynamic analysis tools
动态分析工具
4) static timing analysis tool
静态时序分析工具
6) static and dynamic analysis
动静态分析
1.
Based on the experience summed up by our predecessors,according to study of large-scale cable-suspended structure of pipelines in yesanhe, with finite element software ANSYS, the establishment of structure of the numerical model, studying of static and dynamic analysis, we can provide a kind of matural and scientific analysis method for future similar structure.
在分析模型中,管道本身也是受力构件之一,与管桥上的主梁采取同一节点,把管道安装在悬索跨越整体结构里,进行动静态分析时管道本身也承受力,与管桥产生的偏移自由度保持一致,参与结构共同工作。
补充资料：动态
①（事情）变化发展的情况：科技～ㄧ从这些图片里可以看出我国建设的～。②艺术形象表现出的活动神态：画中人物，～各异，栩栩如生。③运动变化状态的或从运动变化状态考察的：～工作点ㄧ～电流ㄧ～分析。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条