assertions



n.
声称( assertion的名词复数 );使用;主张;明确肯定
英英释义
assertion
n.
a declaration that is made emphatically (as if no supporting evidence were necessary)
同义词:avermentasseveration
the act of affirming or asserting or stating something
同义词:affirmationstatement
双语例句
Let us restate the assertions above as a theorem.
我们把上述的断言重新表述为一个定理。
Use dead code elimination to implement assertions.
使用无效代码清除策略实现断言。
权威例句
Jass - Java with AssertionsUsing Open Vera Assertions to verify designs
Model independent assertions for integration of heterogeneous schemas
Model independent assertions for integration of heterogeneous schemas
Beyond assertions: advanced specification and verification with JML and ESC/Java2
A Practical Approach to Programming With Assertions
2010 i2b2/VA challenge on concepts, assertions, and relations in clinical text
Automatic generation of invariants and intermediate assertions ☆
Parameterized Verification with Automatically Computed Inductive Assertions
A study of machine-learning-based approaches to extract clinical entities and their assertions from discharge summaries
1. Do you have any evidence to support your assertions?
你的断言是否有真凭实据?
《牛津词典》
2. For years, blatantly false assertions have gone unchallenged.
很多年来,极其错误的断言从未曾受到质疑。
《柯林斯英汉双解大词典》
3. These odd assertions were interpolated into the manuscript some time after 1400.
这些零散的断言是1400年后被补充进手稿里的。
《柯林斯英汉双解大词典》
4. There is no concrete evidence to support assertions that the recession is truly over.
没有任何确凿的证据支持经济衰退已真正结束的断言。
《柯林斯英汉双解大词典》
5. It also means to weigh ideas, to compare and contrast assertions, to connect one generalization to another.
它还意味着权衡观点,比较和对比断言,将一种概括与另一种概括联系起来。
youdao
6. Behavior of Boost static assertions.
Boost静态断言的行为。
youdao
7. Who produces and consumes assertions?
谁生产和消费断言?
youdao
8. What are assertions?
什么是断言?
youdao
9. Exceptions, assertions, what's the big deal?
异常,断言,这有什么大不了的呢?
youdao
10. By default, SAML 1.1 assertions are supported.
在默认情况下,支持SAML 1.1断言。
youdao
11. Each set of assertions is termed an alternative.
每组断言集在术语上称为替代。
youdao
12. That is essentially the whole assertions facility.
这就是整个断言功能的实质。
youdao
13. A set of assertions makes a profile of a subject.
一组断言组成一个主体的配置文件。
youdao
14. Each policy consists of one or more policy assertions.
每个策略包括一个或多个断言。
youdao
15. In addition, static assertions don't generate any code.
此外,静态断言不生成任何代码。
youdao
16. How are assertions requested and how are responses sent?
如何请求断言,如何发送响应?
youdao
17. How are assertions requested and how are responses sent?
如何请求断言,如何发出响应?
youdao
18. Assertions are very helpful during testing and debugging.
断言在测试和调试期间非常有用。
youdao
19. Thus, the assertions can be used safely in destructors, too.
因此,也可以在析构函数中安全地使用断言。
youdao
20. You should validate using data types and assertions as well.
还要使用数据类型和断言进行验证。
youdao
21. Fifth, it makes assertions not supported by the evidence.
第五,它的主张并不被证据所支持。
youdao
22. Policy assertions may cover security, manageability, etc.
策略主张可能包括安全性、可管理性等等。
youdao
23. Simplicity: Assertions can be specified using a simple syntax.
简单性:可以用简单的语法指定断言。
youdao
24. We'll use these OWL class definitions to create our assertions.
我们将使用这些OW l类定义创建我们的断言。
youdao
25. The remainder of the schema concerns the assertions themselves.
架构的其余部分关注断言本身。
youdao
26. I didn't know what to say to such extraordinary assertions.
我不知道对于如此非凡的论断还能说些什么。
youdao
27. These policy assertions can themselves contain policy expressions.
这些策略断言自身可以包含策略表达式。
youdao
28. This denotes policy assertions and constraints on the service.
它表示服务的策略主张和约束。
youdao
29. These assertions and differences are for illustrative purposes only.
这些断言和不同之处只是用作描述的目的。
youdao
30. Assertions are used to ensure valid states, as previously mentioned.
正如前面提到的,断言用来确保有效状态。
youdao
assertions




