1.该框架使得代码选择面向基本块，而不再是语句，扩大了指令注释的搜索空间，产生了SIMD指令。
2.选择武汉市某一典型高层办公楼为研究对象，探索空调负荷设计日逐时变化规律。
3.之后从该图中学习出引起冲突赋值的合取范式子句，将这些学习的子句增补到子句库中，用以限制和修剪测试生成的搜索空间，从而加速测试模式的生成过程。
4.在基于高维索引技术的相似性查询处理中，通常通过过滤那些不包含任何查询结果的非活动子空间来不断缩减搜索空间。