断言
断言的相关文献在1984年到2022年内共计336篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、语言学
等领域,其中期刊论文193篇、会议论文1篇、专利文献142篇;相关期刊154种,包括语言教学与研究、电子设计应用、电子测试等;
相关会议1种,包括全国第十届信号与信息处理、第四届DSP应用技术联合学术会议等;断言的相关文献由588位作者贡献,包括袁军、孙彩霞、王俊辉等。
断言
-研究学者
- 袁军
- 孙彩霞
- 王俊辉
- 王欣
- 王永文
- 郑重
- 郭维
- 隋兵才
- 雷国庆
- 黄立波
- 余大伟
- 刘一松
- 刘毅松
- 夏寿民
- 姚爱红
- 张征
- 沈海华
- 郑建宏
- 陈琦
- 韩俊刚
- A·E·格鲁贝尔
- A·L·史密斯
- D·C·伯格
- D·M·索默
- I.马哈拉尔
- J·H·约亚昆
- J·卡默尼施
- L.T.范
- P·V·阿拉加迪
- R·佩尔默赫
- S·L·格罗布曼
- T·R·格洛斯
- U·K·森古普塔
- 丁镇世
- 于立新
- 亚兰·M·道格拉斯
- 任勋益
- 伊丹·罗森贝格
- 伊扎克·巴拉克
- 倪晓强
- 冯燕
- 刘利剑
- 刘有耀
- 刘杰
- 刘桢
- 刘涛
- 刘铭
- 刘鹏
- 史丹利·约翰
- 叶晨
-
-
朱秋岩
-
-
摘要:
多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种方法;在设计和验证中,多周期路径约束错误会导致设计迭代反复和验证误报;文章对多周期路径的产生机理和设计验证中常见的问题进行分类分析,提出一种用静态时序分析和形式验证结合来查找设计中的多周期路径的方法,首先通过静态时序分析,查找出时序违例的路径,针对这些路径,插入设计的检测电路,检测电路主要通过检测目的触发器采样控制信号有效时间,来判断该路径是否为多周期路径;采用基于断言的形式验证,用自动化的手段检测多周期路径;实践结果表明,该方法针对两种时钟下的多周期路径,能够100%准确地检测出违例的多周期路径,避免多周期路径错误约束,省略人工分析和动态仿真确认多周期路径环节。
-
-
宗守云
-
-
摘要:
从意义上说,"不用说"是说话人基于背景事件和断言之间显而易见的关系作出肯定;从功能上说,"不用说"用来"断言化",使后面的小句成为断言。"不用说"异于其他断言标记之处主要在于立场不同,一是用来表现说话人对背景事件和断言之间所具有的显而易见关系的认识;一是用来表示说话人邀请听话人共同断言,从而达到认知协作的目的。
-
-
-
梁晓声
-
-
摘要:
我练摊儿纯粹因为——熟悉我的朋友们断言,不管我卖什么,结果只能是——亏。他们说我根本不善于讲价钱。而我自认为我是善于的,并且自认为他们也太小瞧我了。我要向他们证明这一点,也要给自己争得另一份自信。
-
-
马艳颖;
孙洪波
-
-
摘要:
饼干条件句是一种非经典条件句,其核心特点是后件的真值不依赖于前件。国外学者提出了四种分析方案,但是目前文献中甚少涉及汉语的讨论。基于最简方案和形式语义学理论,研究发现:在句法上,汉语饼干条件句的后件中不能出现连接词“那么”和“就”;后件由表示断言的“是”字句和“有”字句构成。从加标理论的角度来看,饼干条件句是无探针驱动的句法合并,而正常条件句则是由条件算子携带的条件特征作为探针驱动前后件的合并。在语义上,前件是能够触发规约涵义的言语行为,后件是断言;前后件之间是“关联——结果”关系。“关联断言”方案可以为饼干条件句的基本性质提供统一的解释。
-
-
马艳颖;
孙洪波
-
-
摘要:
饼干条件句是一种非经典条件句,其核心特点是后件的真值不依赖于前件.国外学者提出了四种分析方案,但是目前文献中甚少涉及汉语的讨论.基于最简方案和形式语义学理论,研究发现:在句法上,汉语饼干条件句的后件中不能出现连接词"那么"和"就";后件由表示断言的"是"字句和"有"字句构成.从加标理论的角度来看,饼干条件句是无探针驱动的句法合并,而正常条件句则是由条件算子携带的条件特征作为探针驱动前后件的合并.在语义上,前件是能够触发规约涵义的言语行为,后件是断言;前后件之间是"关联——结果"关系."关联断言"方案可以为饼干条件句的基本性质提供统一的解释.
-
-
-
邢增仪1
-
-
摘要:
如果给''爱''下个定义:''爱''——是无私的奉献,是不计任何条件、只希望所爱的人幸福,并愿为所爱的人牺牲一切的话,那么我就实在不敢断言这世上是否还有真正的爱。先说母爱,母爱可说是天底下最崇高、无私、伟大的爱,可母爱也是要计回报的,那就是我们千百年来说的''望子成龙''。''望''就包含了一种期望,一种要求,而''成龙''就是回报。但什么是''龙'',何谓''成龙''在各期、各代、各家的标准都不一样,真叫儿孙们也难以适从。比如在封建社会里奉行''万般皆下品.
-
-
李晟
-
-
摘要:
去引号理论因刻画真概念的去引号直觉而得名,但已有的去引号理论并未重视去引号直觉中“假设”与“断言”的区别.真概念在“假设”与“断言”的区别中发挥着不同的逻辑功能,使得去引号模式对“断言的真”有意义,而对“假设的真”没有意义.建立在对“假设”与“断言”的区别基础上的去引号理论,不仅能够克服已有去引号理论的不足,而且能够刻画出更加符合自然语言使用习惯的真概念.
-
-
侯津;
顾乃杰;
丁世举;
杜云开
-
-
摘要:
随着移动应用的爆炸式增长,如何高效、正确地进行UI自动化测试成为了一个重要问题.传统自动化方法大多需手动编写测试脚本,自动化程度更高的录制回放方法则普遍具有跨设备能力不足的问题,而且现有断言机制已经不足以描述丰富的UI语义.针对上述问题,本文提出一种跨设备能力强且可以描述丰富UI语义的录制回放自动化测试方法.该方法使用控件路径精确定位控件,并结合跨设备UI自适应方法以提高跨设备能力;通过提出两种新的断言机制以支持与数字排序和图片相关的UI语义.在该方法基础上,本文面向Android和iOS应用程序实现了一种自动化测试框架RRF,实验结果表明RRF的回放成功率比其他自动化测试工具更高.
-
-
-
-
-
-
- 飞思卡尔半导体公司
- 公开公告日期:2013-12-18
-
摘要:
本发明关于处理器系统(10),该处理器系统包括带有预定指令集的处理单元(12)以及至少一个断言寄存器(14),断言寄存器(14)包括被布置在断言数据结构内的N个断言数据位置(P1,P2,...,Pn),每个断言数据位置适于存储断言单元。还包括至少一个通用寄存器(16),通用寄存器(16)包括附加断言数据位置,附加断言数据位置被布置在M-1个附加断言数据容器内,其中每个附加断言数据容器的数据结构对应于断言数据结构,其中每个附加断言数据位置适于存储附加断言数据以及用于在所述至少一个断言寄存器(14)和所述通用寄存器(16)之间传输数据的数据路径(18),其中至少一个断言存储位置(P1,P2,...,Pn)经由所述数据路径(18)被连接或可连接到至少一个对应的附加断言数据位置。所述处理器系统(10)适于执行所述指令集的断言交换指令以经由数据路径(18)将在第一断言数据位置(P1,P2,...,Pn)内的断言数据与在第一附加断言数据容器内的对应附加断言数据位置中的数据进行交换以及经由数据路径(18)将在第二断言存储位置(P1,P2,...,Pn)内的断言数据与在第二附加断言数据内的对应附加断言数据位置中的数据进行交换。本发明还关于对应计算机系统、用于管理断言的方法和对应计算机程序产品。
-
-
-
-
-