您现在的位置: 首页> 研究主题> 断言

断言

断言的相关文献在1984年到2022年内共计336篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、语言学 等领域,其中期刊论文193篇、会议论文1篇、专利文献142篇;相关期刊154种,包括语言教学与研究、电子设计应用、电子测试等; 相关会议1种,包括全国第十届信号与信息处理、第四届DSP应用技术联合学术会议等;断言的相关文献由588位作者贡献,包括袁军、孙彩霞、王俊辉等。

断言—发文量

期刊论文>

论文:193 占比:57.44%

会议论文>

论文:1 占比:0.30%

专利文献>

论文:142 占比:42.26%

总计:336篇

断言—发文趋势图

断言

-研究学者

  • 袁军
  • 孙彩霞
  • 王俊辉
  • 王欣
  • 王永文
  • 郑重
  • 郭维
  • 隋兵才
  • 雷国庆
  • 黄立波
  • 期刊论文
  • 会议论文
  • 专利文献

搜索

排序:

年份

    • 朱秋岩
    • 摘要: 多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种方法;在设计和验证中,多周期路径约束错误会导致设计迭代反复和验证误报;文章对多周期路径的产生机理和设计验证中常见的问题进行分类分析,提出一种用静态时序分析和形式验证结合来查找设计中的多周期路径的方法,首先通过静态时序分析,查找出时序违例的路径,针对这些路径,插入设计的检测电路,检测电路主要通过检测目的触发器采样控制信号有效时间,来判断该路径是否为多周期路径;采用基于断言的形式验证,用自动化的手段检测多周期路径;实践结果表明,该方法针对两种时钟下的多周期路径,能够100%准确地检测出违例的多周期路径,避免多周期路径错误约束,省略人工分析和动态仿真确认多周期路径环节。
    • 宗守云
    • 摘要: 从意义上说,"不用说"是说话人基于背景事件和断言之间显而易见的关系作出肯定;从功能上说,"不用说"用来"断言化",使后面的小句成为断言。"不用说"异于其他断言标记之处主要在于立场不同,一是用来表现说话人对背景事件和断言之间所具有的显而易见关系的认识;一是用来表示说话人邀请听话人共同断言,从而达到认知协作的目的。
    • 蒲秀华
    • 摘要: 本文将以从众心理为核心,结合群体心理学的相关理论,浅谈从众心理如何固化及物化中国当代婚恋关系中的核心导向;阐述从众心理引发群体之间对“婚恋自由”控制力主权争夺的过程;揭示从众主体的权威地位、名望得以确立的主要因素;反思从众心理造成的的中国当代婚恋关系的异化及对整个社会风气的危害。
    • 梁晓声
    • 摘要: 我练摊儿纯粹因为——熟悉我的朋友们断言,不管我卖什么,结果只能是——亏。他们说我根本不善于讲价钱。而我自认为我是善于的,并且自认为他们也太小瞧我了。我要向他们证明这一点,也要给自己争得另一份自信。
    • 马艳颖; 孙洪波
    • 摘要: 饼干条件句是一种非经典条件句,其核心特点是后件的真值不依赖于前件。国外学者提出了四种分析方案,但是目前文献中甚少涉及汉语的讨论。基于最简方案和形式语义学理论,研究发现:在句法上,汉语饼干条件句的后件中不能出现连接词“那么”和“就”;后件由表示断言的“是”字句和“有”字句构成。从加标理论的角度来看,饼干条件句是无探针驱动的句法合并,而正常条件句则是由条件算子携带的条件特征作为探针驱动前后件的合并。在语义上,前件是能够触发规约涵义的言语行为,后件是断言;前后件之间是“关联——结果”关系。“关联断言”方案可以为饼干条件句的基本性质提供统一的解释。
    • 马艳颖; 孙洪波
    • 摘要: 饼干条件句是一种非经典条件句,其核心特点是后件的真值不依赖于前件.国外学者提出了四种分析方案,但是目前文献中甚少涉及汉语的讨论.基于最简方案和形式语义学理论,研究发现:在句法上,汉语饼干条件句的后件中不能出现连接词"那么"和"就";后件由表示断言的"是"字句和"有"字句构成.从加标理论的角度来看,饼干条件句是无探针驱动的句法合并,而正常条件句则是由条件算子携带的条件特征作为探针驱动前后件的合并.在语义上,前件是能够触发规约涵义的言语行为,后件是断言;前后件之间是"关联——结果"关系."关联断言"方案可以为饼干条件句的基本性质提供统一的解释.
    • 邢增仪1
    • 摘要: 如果给''爱''下个定义:''爱''——是无私的奉献,是不计任何条件、只希望所爱的人幸福,并愿为所爱的人牺牲一切的话,那么我就实在不敢断言这世上是否还有真正的爱。先说母爱,母爱可说是天底下最崇高、无私、伟大的爱,可母爱也是要计回报的,那就是我们千百年来说的''望子成龙''。''望''就包含了一种期望,一种要求,而''成龙''就是回报。但什么是''龙'',何谓''成龙''在各期、各代、各家的标准都不一样,真叫儿孙们也难以适从。比如在封建社会里奉行''万般皆下品.
    • 李晟
    • 摘要: 去引号理论因刻画真概念的去引号直觉而得名,但已有的去引号理论并未重视去引号直觉中“假设”与“断言”的区别.真概念在“假设”与“断言”的区别中发挥着不同的逻辑功能,使得去引号模式对“断言的真”有意义,而对“假设的真”没有意义.建立在对“假设”与“断言”的区别基础上的去引号理论,不仅能够克服已有去引号理论的不足,而且能够刻画出更加符合自然语言使用习惯的真概念.
    • 侯津; 顾乃杰; 丁世举; 杜云开
    • 摘要: 随着移动应用的爆炸式增长,如何高效、正确地进行UI自动化测试成为了一个重要问题.传统自动化方法大多需手动编写测试脚本,自动化程度更高的录制回放方法则普遍具有跨设备能力不足的问题,而且现有断言机制已经不足以描述丰富的UI语义.针对上述问题,本文提出一种跨设备能力强且可以描述丰富UI语义的录制回放自动化测试方法.该方法使用控件路径精确定位控件,并结合跨设备UI自适应方法以提高跨设备能力;通过提出两种新的断言机制以支持与数字排序和图片相关的UI语义.在该方法基础上,本文面向Android和iOS应用程序实现了一种自动化测试框架RRF,实验结果表明RRF的回放成功率比其他自动化测试工具更高.
  • 查看更多

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号