英语词汇“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
随便看	holi holibut holic holiday holiday brochure holiday home Holiday Inn holiday pay holiday season holiday village holidayed holidaying holidaymaker holidays holidaywords holier holiest holily holiness holing holism holist holistic holistic approach Holk 颀顾顽颁顿颃预實寣寠アウトリガーアウトレットアウトロー逢うは別れの始めアウフヘーベンアウラ阿吽の呼吸あえか喘ぎ喘ぐ卑弥呼氷室冴子百武源吾百武三郎百武裕司兵藤静枝日吉丸平井太郎平井道子平岩親吉 spite splash splendid splendidly splendour split spoil spoilt spoke spoken 过风洞坑:五律歌盛世二首七律.古韵赠紫鸢《独白》席慕容距离恋爱思念与回忆感谢，这只是一场独角戏一个人的天空不言悔