我断言这条曲线,界定了另一个可定向的曲面。
Well, I claim this curve actually bounds another surface that is orientable.
测试断言是基本概要(Basic Profile)中一个或多个要求的可测试表达式。
A test assertion is a testable expression of one or more requirements in the Basic Profile.
有些人断言NAT(网络地址转换)会解决IP地址在客户端的短缺问题(客户端在单一的全球可路由IP地址后隐藏了一套不可路由的地址),但这其实是很有限的。
There are those who claim that NAT will solve the shortage at the client side (which hides a set of non-routable addresses behind a signle globally routable IP address) - but even this has limits.
应用推荐