云南高校图书馆联盟文献共享服务平台- ASSERTION

ASSERTION: 作品数：21被引量：13H指数：3; 导出分析报告; 相关领域：自动化与计算机技术电子电信更多>>; 相关作者：刘斌李宏宋小明薛红喜丁婷婷更多>>; 相关机构：北京大学重庆邮电大学华为技术有限公司电子科技大学更多>>; 相关期刊：《电子测试》《计算机系统应用》《现代电子技术》《Science Bulletin》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划俄罗斯基础研究基金国家教育部博士点基金更多>>

Evaluating and Constraining Hardware Assertions with Absent Scenarios: 《Journal of Computer Science & Technology》2020年第5期1198-1216,共19页Hui-Na Chao Hua-Wei Li Xiaoyu Song Tian-Cheng Wang Xiao-Wei Li; supported in part by the National Natural Science Foundation of China under Grant Nos.61876173,61432017,and 61532017.; Mining from simulation data of the golden model in hardware design verification is an effective solution to assertion generation.While the simulation data is inherently incomplete,it is necessary to evaluate the truth...; 关键词：hardware formal verification assertion generation data mining assertion evaluation assertion coverage

One More Assertion to Fermat’s Last Theorem: 《Advances in Pure Mathematics》2020年第6期359-369,共11页Balasubramani Prema Rangasamy; Around 1637, Fermat wrote his Last Theorem in the margin of his copy “It is impossible to separate a cube into two cubes, or a fourth power into two fourth powers, or in general, any power higher than the second,...; 关键词：Fermat’s Last Theorem Fermat’s Conjecture Euler’s Disproved Conjecture Other Way of Taxi Cab Number and N-Tangled Object Root of Prime Bases and Root of Integer Bases

Agentivity,Control and Semantic Structure in Russian Causatives: 《语言学论丛》2019年第1期241-262,共22页Valentina Apresjan; supported by the grant of the Russian Foundation for Basic Research 19—012—00291A “Preparation of the fourth issue of the Active Dictionary of Russian Language”; The paper examines the correlation between the degree of agentivity in Russian causatives and their semantic structure.It supports the view that the distinction between agentivity vs.non-agentivity in causatives is an...; 关键词：CAUSATIVE intentional CONTROL NEGATION scope PRESUPPOSITION ASSERTION

Honour and Kingship in Herodotus: Status, Role, and the Limits of Self-Assertion: 《Frontiers of Philosophy in China》2019年第1期75-93,共19页Douglas Cairns; The notion of time(Tiμη, normally translated "honour") is a key concept when it comes to thinking about virtues, roles, and duties in ancient Greek ethics and society, both in popular and in philosophical terms. Thi...; 关键词：HERODOTUS honour time PERSIAN wars Xerxes

Comments on ＂Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems＂被引量：1: 《Frontiers of Computer Science》2018年第2期396-400,共5页Sukhveer SINGH Harish GARG; In this article, we have pointed out that some propositions corresponding to the distance measure between the type-2 fuzzy sets （T2FSs） as provided by Singh （Frontiers of Computer Science, 2014, 8（5）, 741-752）, ...; 关键词：type-2 fuzzy set distance measure incorrect assertion COUNTEREXAMPLE

Henry Fleming's Assertion of Free Will in an Indifferent Universe: 《海外英语》2017年第21期183-185,188,共4页王丹; 黑龙江省哲学社会科学规划扶持共建项目"20世纪中后期美国文学作品中的‘青年因素’研究"(12E087); Different from his naturalistic followers,Stephen Crane develops his naturalism in a restricted and special sense that contains many non-naturalistic elements.In his masterpiece The Red Badge of Courage,Crane scrutini...; 关键词：The Red Badge of Courage NATURALISM free will DETERMINISM

Literature Assertions of John Dryden Reflected in Mac Flecknoe: 《海外英语》2015年第7期233-235,共3页景韵; 2012年重庆工商职业学院<商务英语文书写作>教改课程项目(项目编号:GZKG123229)的研究成果; John Dryden’s poem Mac Flecknoe satirizes his literary enemy Thomas Shadwell by the aid of the image of Flecknoewhile it reveals some of his literature assertions.This paper tries to expound them from the following t...; 关键词：John Dryden MAC Flecknoe LITERATURE ASSERTION

＂Add-ons＂ to the Value-Added of ELTs: 《Sino-US English Teaching》2014年第1期1-12,共12页Srinivasa Rao Idapalapati; Teacher evaluations intend to cultivate quality among teachers. However, since they are traditionally dependent on observers and their reports that are likely biased, the procedures probably effectuate discords among ...; 关键词：teachers＇ accountability learning outcomes VA （value-added） self-assertion of performances measuring PD （Professional Development）

The kulaks assertion of Mao between the final form of the socialist transformation of agriculture: 《文艺生活（中旬刊）》2013年第12期154-154,共1页陈君锋

ON INVARIANT CHECKING: 《Journal of Systems Science & Complexity》2013年第3期470-482,共13页ZHANG Zhihai KAPUR Deepak; supported by NSFC-90718041;NKBRPC-2005C B321902;China Scholarship Council in China;supported by the National Science Foundation award CCF-0729097; Checking whether a given formula is an invariant at a given program location(especially,inside a loop) can be quite nontrivial even for simple loop programs,given that it is in general an undecidable property.This is ...; 关键词：ASSERTION Floyd-Hoare logic INVARIANT invariant generation.

ASSERTION