数据流分析中的区域覆盖技术

用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数据流分析过程中,利用Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.     

用计算函数模型增强数据流分析

精确的数据流分析,需要充分利用条件分支语句的逻辑语义.为了简洁而有效地处理条件分支语句,该文提出了对应于程序段的计算函数模型,在该模型里表示条件分支语句的逻辑语义,并利用文中提出的不确定性消解方法,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题.而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法.     

粗骨料的粒径对高强混凝土力学性能的影响

试验研究了粗骨料的最大粒径对高强高性能混凝土的强度及弹性性能的影响,结果表明,粗骨料在高强混凝土中存在最大粒径效应,高强混凝土弹性模量随粗骨料粒径的增大而增大,并在25mm处取得最大值,各组高强混凝土应力-应变曲线的上升段更接近于直线。