我断言这条曲线,界定了另一个可定向的曲面。
Well, I claim this curve actually bounds another surface that is orientable.
测试断言是基本概要(BasicProfile)中一个或多个要求的可测试表达式。
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.
安全断言标记语言或者 SAML是一种保证可移植信任的机制。
Security Assertion Markup Language, or SAML, is a mechanism for ensuring portable trust.
虽然今年尚余数月,看来我们已可断言2011年是异常恶劣的一年,我们可能在今后相当长时间内感受到其恶果。
Although we still have some months to go, it is tempting to conclude that 2011 has been an exceptionally bad year, with consequences that are likely to be felt for some time to come.
可断言之,因为前者是强大的,而后者也在由小到大,由弱变强。
Can assert, because the former is powerful, and the latter in small to large, by weak intensity.
科学中一条主要的原则就是所有的断言都必须是可检验的——它们必须至少在原则上都能够被证明是正确或错误的。
The cardinal rule in science is that all claims must be testable -- they must be capable, at least in principle, of being proved wrong.
他断言,有效的管理没有捷径可走。
He maintains that there are no short cuts to effective management.
公式的可满足性是其相应断言的意义集不空。
Satisfibility of the logical formula is that meaning set corresponding to it is not empty.
定义一个方法,该方法可导入消息编码的自定义策略断言,并添加实现策略的绑定元素。
Defines a method that can import custom policy assertions for message encoding and that adds the binding elements that implement the policy.
定义一个方法,该方法可导入消息编码的自定义策略断言,并添加实现策略的绑定元素。
Defines a method that can import custom policy assertions for message encoding and that adds the binding elements that implement the policy.
应用推荐