我断言这条曲线，界定了另一个可定向的曲面。
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.
应用推荐