英语词汇“assertions”的意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

是什么意思

声称( 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 Assertions
Using 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

单词	assertions
释义	assertions 听听怎么读英 [?'s?:?nz] 美 [?'s??nz] 是什么意思 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 Assertions Using 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
随便看	Kops kor kora Koran Koranic Kore Korea Korean korfball korin Korinthos Koror korrigum Kors korun koruna kos Kosciusko kosher Kosmos Kosovo Koss Kosse Kosso Kossuth 惢惖惁脾期腔腆腕腋腴支援佐渡～保護～試みる懸命救い差し伸べる江沢民際する贈呈雄源義仲源義平源義光源自明源倫子美濃部達吉美濃部亮吉三野村利左衛門三橋美智也御船千鶴子 dire directIELTS重点词汇 directionIELTS重点词汇 directive directlyIELTS重点词汇 directness directorIELTS重点词汇 directory dirt dirty 我依然恋着那片稻场守望我是多想跟你走所有的花开，都是一场散漫的等待如能化成一江寒水幽谷，梅朵死亡，黑暗，疼痛从明天起残夜隐逝