-
1.
之后从该图中学习出引起冲突赋值的合取范式子句，将这些学习的子句增补到子句库中，用以限制和修剪测试生成的搜索空间，从而加速测试模式的生成过程。
-
2.
首先用零空间约束法确定搜索空间，然后用CTS搜索整周模糊度的最优解。
-
3.
倘若在该地点附近找到水的话，不仅降低能设立月球载入空间站的成本和复杂性，而且也将有助于成为未来进一步深入探索空间的补给基地。
-
4.
选择武汉市某一典型高层办公楼为研究对象，探索空调负荷设计日逐时变化规律。
-
5.
不待清夜多加思索,空中乌云忽然翻滚起来,寒风凛冽,地面上的白骨堆里吱呀呀响了起来,寒风从身下一拥而入,清夜本有些模糊的意志瞬间清醒起来。
-
6.
该框架使得代码选择面向基本块，而不再是语句，扩大了指令注释的搜索空间，产生了SIMD指令。
-
7.
在基于高维索引技术的相似性查询处理中，通常通过过滤那些不包含任何查询结果的非活动子空间来不断缩减搜索空间。
-
8.
但是对现有的计算机来说，使用穷举法在如此庞大的搜索空间中寻求最优解，几乎是不可能的。