我们讨论了有关系统的可靠性(soundness)、完备性(completeness)和紧致性(compactness)等标准论题;我们的证明方法仅仅生成 永真结果(valid results [2]),证明所有永真命题都是 可证的,如果一个事实(fact)是 无...
基于308个网页-相关网页
分割区域的形状改变的衡量的办法: 采用面积相对变化值和紧密度相对变化值对来衡量分割区域的形状改变;紧密度(Compactness)的定义为 面积相对变化值和紧密度相对变化值定义如下:对于每次阈值降低,分别计算降低前后的器官面积和紧密度;令降低前的器官面...
基于306个网页-相关网页
compactness theorem 紧性定理
sequential compactness [数] 列紧性
vague compactness 不梅紧性
compactness test 压实度试验
local compactness 局部紧性
fuel compactness 可燃物密度
compactness of fuel 可燃物紧密度
以上来源于: WordNet
Stone statues were worked from single rectangular blocks of material and retained the compactness of the original shape.
石像是由单个长方形块状材料制成的,并保持原有形状的坚实度。
What is so impressive about it, however, is not its lengthiness but rather the reverse — the thrifty compactness of its construction.
然而,令人印象深刻的不是它的冗长,恰恰相反——是它简洁紧凑的结构。
Unfortunately, the compactness of that code belies its complexity.
不幸的是,代码的紧凑性掩盖了它的复杂性。
应用推荐