期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到411篇文章
< 1 2 … 21 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
“差点儿”和“差不多”的意义同异之辨 被引量：30
1
作者 袁毓林 《语言教学与研究》 CSSCI 北大核心 2011年第6期66-75,共10页
本文考察了"差点儿"和"差不多"中所含的隐性否定的语义层次,比较了这两个副词在语义结构诸层面(断言、推论、预设、情态)上的同异,得出结论:(i)"差不多VP"和"差点儿VP"的预设意义相同,都是&qu... 本文考察了"差点儿"和"差不多"中所含的隐性否定的语义层次,比较了这两个副词在语义结构诸层面(断言、推论、预设、情态)上的同异,得出结论:(i)"差不多VP"和"差点儿VP"的预设意义相同,都是"接近VP";(ii)"差点儿VP"的推演意义是"没有VP",断言意义是其预设和推演的合取;整个格式的语义区间由预设标定下限,由推演标定上限;(iii)"差不多VP"的推演意义是"不一定正好是VP"(包括:"没有达到VP"、"超过了VP"、"正好是VP"),断言意义也是其预设和推演的合取;(iv)"差点儿VP"表示道义情态(庆幸/遗憾),"差不多VP"表示认识情态(不确信/委婉)。 展开更多
关键词 隐性否定 语义层次 预设 推演 断言 情态(道义/认识)
原文传递
论Lorenz混沌系统全局吸引集和正向不变集的新结果及对混沌控制与同步的应用 被引量：20
2
作者 廖晓昕 《中国科学（E辑）》 CSCD 北大核心 2004年第12期1404-1419,共16页
利用广义 Lyapunov 函数簇, 给出著名的 Lorenz 混沌系统全局吸引集和正向不变集估计的新方法和新结果, 较大地简化了俄罗斯学者 Leonov 所得的两个著名估计式的复杂证明, 且将估计式统一在一个公式之中, 新公式还可以派生出一系列其他... 利用广义 Lyapunov 函数簇, 给出著名的 Lorenz 混沌系统全局吸引集和正向不变集估计的新方法和新结果, 较大地简化了俄罗斯学者 Leonov 所得的两个著名估计式的复杂证明, 且将估计式统一在一个公式之中, 新公式还可以派生出一系列其他的估计式, 然后, 利用集合论中交集的思想从这些估计式簇得出一个简便实用的、改进了的、Leonov 公式型的新结果. 直接应用这些方法和结果可以断言全局吸引集之外不存在 Lorenz 系统的平衡位置、周期解、概周期运动、游荡回复运动和其他混沌吸引集. Lorenz 蝴蝶型奇异吸引子只能位于全局吸引集之内. 然后, 再将这些结果运用到混沌控制上, 得到系统所有轨线全局指数跟踪任何一个周期解、镇定任何一个不稳定或仅为局部稳定的平衡位置的反馈控制方案, 给出两个 Lorenz 混沌系统全局指数同步的新结果. 文中所提出的新方法、新结果有望在保密通信的实际系统中得到应用. 展开更多
关键词 全局吸引 估计式 LORENZ混沌系统 不变集 混沌控制 周期解 轨线 同步 断言 镇定
原文传递
基于SystemVerilog语言的设计验证技术 被引量：14
3
作者 闫沫 张媛 《现代电子技术》 2008年第6期8-11,共4页
随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计... 随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计的风险,减轻测试工程师的负担。 展开更多
关键词 SYSTEMVERILOG 随机约束 功能覆盖率 断言 面向对象
下载PDF
感知类叙实动词研究 被引量：16
4
作者 张新华 《语言教学与研究》 CSSCI 北大核心 2015年第1期69-77,共9页
感知动词的核心特征是当下性、亲证性,由此引导一种指个体现实事件的宾语从句。这种现实性表现在从句的情状、体、时、语力诸层面,且在体、时及部分语气成分上与主句间形成升降现象。语力范畴使感知动词所引从句具备断言功能,语法上则... 感知动词的核心特征是当下性、亲证性,由此引导一种指个体现实事件的宾语从句。这种现实性表现在从句的情状、体、时、语力诸层面,且在体、时及部分语气成分上与主句间形成升降现象。语力范畴使感知动词所引从句具备断言功能,语法上则使其由内嵌地位而上升为主句。 展开更多
关键词 感知类叙实动词 当下性 体时升降 断言
原文传递
SoC功能验证的特点和方法 被引量：8
5
作者 徐英伟 刘佳 《微处理机》 2006年第2期11-13,共3页
简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,... 简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,还介绍了用于SoC功能验证的关键方法,包括断言和RTL形式验证,Farm,随机化测试激励和功能覆盖等。 展开更多
关键词 系统级芯片 设计 功能验证 断言 功能测试 随机测试激励
下载PDF
基于断言的验证方法在总线协议验证中的应用 被引量：11
6
作者 徐盛 章玮 金钊 《电子设计应用》 2006年第11期88-90,共3页
随着ASIC和SoC设计复杂程度的不断提高,功能验证越来越受到重视。作为新兴的验证方法,基于断言的验证得到越来越广泛的应用。本文介绍了基于断言的验证方法及其应用于功能验证的诸多优点,总结了断言验证在总线协议验证中的应用方法,并采... 随着ASIC和SoC设计复杂程度的不断提高,功能验证越来越受到重视。作为新兴的验证方法,基于断言的验证得到越来越广泛的应用。本文介绍了基于断言的验证方法及其应用于功能验证的诸多优点,总结了断言验证在总线协议验证中的应用方法,并采用PSL语言举例进行了说明。 展开更多
关键词 SOC 总线验证 断言 基于断言的验证 PSL
下载PDF
基于状态空间的工作流模型验证 被引量：4
7
作者 赵磊 钱乐秋 赵文耘 《计算机工程与应用》 CSCD 北大核心 2004年第10期220-222,共3页
工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法,从而确保在构造期间产生有效的工作流模型。
关键词 工作流模式 依赖 断言 状态空间 验证算法
下载PDF
结合断言与覆盖率为导向的验证方法 被引量：13
8
作者 褚晓滨 陆铁军 宗宇 《微电子学与计算机》 CSCD 北大核心 2008年第11期39-42,46,共5页
伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功... 伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能"遗漏点"的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方法的结果,说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期. 展开更多
关键词 覆盖率 断言 验证方法 海量存储
下载PDF
通用SPI Flash控制器的设计与验证 被引量：11
9
作者 罗莉 夏军 邓宇 《计算机工程》 CAS CSCD 北大核心 2011年第8期22-24,27,共4页
为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证... 为提高X处理器的可靠性、节省其芯片管脚及功耗,以串行外设接口(SPI)Flash作为程序加载存储器,设计一款通用的SPI Flash控制器,给出其组成结构及具体实现方法。采用基于属性描述语言(PSL)的断言检查对该控制器进行功能验证,以降低验证复杂度、提高验证速度和质量。实验结果证明,其功能覆盖率达到了100%。 展开更多
关键词 串行外设接口Flash FLASH控制器 属性描述语言 断言 功能覆盖率 覆盖率驱动的验证
下载PDF
IP可重用的AMBA AXI总线验证平台设计与实现 被引量：8
10
作者 侯秋菊 沈海华 《计算机工程与设计》 CSCD 北大核心 2008年第7期1713-1715,1753,共4页
总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检... 总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制。实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性。 展开更多
关键词 系统集成芯片 总线功能模型 断言 代码覆盖率 功能覆盖率
下载PDF
SystemVerilog断言及其应用 被引量：5
11
作者 陈先勇 徐伟俊 +1 位作者 杨鑫 夏宇闻 《中国集成电路》 2007年第9期19-24,共6页
在介绍SystemVerilog断言的概念、使用断言的好处、断言的分类、断言的组成以及断言如何被插入到被测设计(DUT)的基础上,本文详细地介绍了如何使用不同的断言语句对信号之间的复杂时序关系进行严格的检查,并针对每个例子展示了在ModelSi... 在介绍SystemVerilog断言的概念、使用断言的好处、断言的分类、断言的组成以及断言如何被插入到被测设计(DUT)的基础上,本文详细地介绍了如何使用不同的断言语句对信号之间的复杂时序关系进行严格的检查,并针对每个例子展示了在ModelSim6.1b仿真环境中所显示的波形。本文旨在帮助读者理解如何使用断言对设计中信号间复杂时序关系进行验证的方法,并由此介绍一些基本的SystemVerilog断言、操作符、代码段和断言验证方法学。 展开更多
关键词 字:SystemVerilog 断言 DUT SVA ASSERTION
下载PDF
下一代芯片设计与验证语言：SystemVerilog(验证篇) 被引量：3
12
作者 钟文枫 《电子设计应用》 2008年第12期61-67,共7页
System Verilog是下一代芯片设计和验证语言,于2005年12月被标准化为IEEE P1800-2005。本文介绍System Verilog发展的过程及其对验证建模的支持,重点讨论其在功能验证方面的重要应用及使用技巧。
关键词 SYSTEMVERILOG 设计和验证语言 功能验证 断言 验证方法学
下载PDF
断言、知心与修辞立其诚 被引量：7
13
作者 顾曰国 《当代修辞学》 CSSCI 北大核心 2018年第4期1-14,共14页
断言作为一种行为,包含断_行为和说_行为两个成分。断_行为包括无语言作断、前语言作断和借助语言的判断。无语言作断即荀子说的人生而能辨,借助语言的判断即断言。断言把断言者跟被断对象和所断内容捆绑在一起,形成责任和义务。真诚断... 断言作为一种行为,包含断_行为和说_行为两个成分。断_行为包括无语言作断、前语言作断和借助语言的判断。无语言作断即荀子说的人生而能辨,借助语言的判断即断言。断言把断言者跟被断对象和所断内容捆绑在一起,形成责任和义务。真诚断言之人做到表里如一、言行如一"全诚"。文章吸纳王夫之的思想,把诚分为两大类:天之诚和人之诚。人之诚再细分为三个子类,分别为童心之诚、社会之诚和人格之诚。儒家强调修身养诚,独处时向内讲究自诚,向外讲究对人诚。向外、人际间的断言_行为包括内省诚(对己诚、对人诚)和言行诚(言诚、行诚),从而形成8种逻辑状态。文章举例演示诚的分类及其跟断言_行为的互动关系。文章末指出以诚为统领的断言_行为研究跟舍尔为代表的主流言语行为研究的异同。 展开更多
关键词 辨 断言 童心之诚 社会之诚 人格之诚
原文传递
断言视角下的彩票悖论及其解决 被引量：3
14
作者 顿新国 《江西社会科学》 CSSCI 北大核心 2015年第12期5-10,共6页
凯伯格发现的彩票悖论在逻辑学、科学哲学和形式知识论等领域掀起了广泛热烈且持久的讨论。考察具有代表性的解悖方案可以揭示这些方案共同的基本前提:彩票悖论是信念视角下的合理相信或接受悖论。但通过细致分析不难发现,信念视角下的&... 凯伯格发现的彩票悖论在逻辑学、科学哲学和形式知识论等领域掀起了广泛热烈且持久的讨论。考察具有代表性的解悖方案可以揭示这些方案共同的基本前提:彩票悖论是信念视角下的合理相信或接受悖论。但通过细致分析不难发现,信念视角下的"彩票悖论"实质不是悖论,使其成为悖论的方式之一是从作为言语行动的断言视角重新审视彩票案例,因而利用断言的知道原则就可以成功地消解作为断言悖论的彩票悖论。 展开更多
关键词 彩票悖论 信念 断言 断言规范
原文传递
时态逻辑断言推理及其在SIDSS中的应用
15
作者 刘冬宁 刘浩钊 +1 位作者 汤庸 汤娜 《计算机工程》 CAS CSCD 北大核心 2003年第17期187-189,共3页
介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统（SIDSS）为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。
关键词 断言 时态 时态逻辑 断言推理 SIDSS 规则
下载PDF
单点登录技术在电子政务系统中的应用 被引量：2
16
作者 李彭军 郭文明 陈光杰 《信息安全与通信保密》 2006年第7期18-20,共3页
文章分析了电子政务应用系统的特点,介绍了两种常见的单点登录技术,重点介绍了SAML技术及其实现单点登录的两种方式。基于SAML技术设计了一套单点登录系统,分别在Java和MicrosoftNET环境下实现了异构电子政务系统的单点登录。
关键词 SAML 认证 断言 单点登录
原文传递
基于断言的SRAM控制器功能验证 被引量：4
17
作者 刘晓 杨军 《电子工程师》 2007年第2期18-20,55,共4页
传统的基于约束的随机矢量生成验证技术在验证过程中存在难于定位bug的缺点,从而增加了验证时间。文中将断言技术和随机矢量验证方法相结合形成基于断言的验证方法,通过在设计实现中加入断言,实时监控设计特性,使设计bug更加容易定位,... 传统的基于约束的随机矢量生成验证技术在验证过程中存在难于定位bug的缺点,从而增加了验证时间。文中将断言技术和随机矢量验证方法相结合形成基于断言的验证方法,通过在设计实现中加入断言,实时监控设计特性,使设计bug更加容易定位,从而缩短验证过程。以SRAM控制器为例,实验结果表明整个验证时间缩短40%以上,加快了设计验证进度。 展开更多
关键词 断言 功能验证 Systerm VERILOG SRAM控制器
下载PDF
欧洲债务危机与欧元的命运 被引量：4
18
作者 赵伯英 《当代世界》 北大核心 2010年第9期29-34,共6页
几个月来，随着希腊债务危机爆发及欧元汇率急剧下滑，欧美媒体充斥着各种报道和评论，分析希腊债务危机的起因，剖析欧元机制的缺陷，探讨欧元本身的可持续性。关于欧元前景，人们作出了截然不同的判断。有人认为欧元区成员国终究会摆... 几个月来，随着希腊债务危机爆发及欧元汇率急剧下滑，欧美媒体充斥着各种报道和评论，分析希腊债务危机的起因，剖析欧元机制的缺陷，探讨欧元本身的可持续性。关于欧元前景，人们作出了截然不同的判断。有人认为欧元区成员国终究会摆脱当前困境，坚信欧元将稳定发展；也有人断言欧元区必将解体，欧元“将在五年内走入历史”。欧元的确遭遇了1999年问世以来最严重的危机，但仅仅因此而断言欧元区将分崩离析和欧元崩盘，未免过度悲观。 展开更多
关键词 欧元汇率 债务危机 欧洲 欧元区 可持续性 成员国 希腊 断言
下载PDF
预设及其交际价值探索 被引量：3
19
作者 尹海良 《泰山学院学报》 2005年第4期77-80,共4页
　第一位探讨预设问题的是德国哲学家和数学家弗雷格,此后,预设一直是语用学领域中比较热门的话题。要深入了解预设,有必要从哲学、逻辑学的角度来区分预设、蕴涵、断言这三个既相互联系又各不相同的概念。利用预设或进行预设分析能够... 　第一位探讨预设问题的是德国哲学家和数学家弗雷格,此后,预设一直是语用学领域中比较热门的话题。要深入了解预设,有必要从哲学、逻辑学的角度来区分预设、蕴涵、断言这三个既相互联系又各不相同的概念。利用预设或进行预设分析能够推断言外之意、进行有力的反驳、进行技巧性的交谈以及创造言语幽默效果。 展开更多
关键词 预设 蕴涵 断言 交际价值
下载PDF
正/反预期触发语的比较研究——以合理性“按说”和常规性“一般说(来)”为例 被引量：1
20
作者 陈振宇 张嘉卉 《语言教学与研究》 CSSCI 北大核心 2024年第2期75-86,共12页
“正/反预期标记”和“正/反预期触发语”都是表征预期性的语词,但二者有着重要区别。本文认为“一般说(来)”是正预期触发语,偶尔有反预期的情况;“按说”是反预期触发语,偶尔有正预期的情况。接着对比考察了二者的语篇配置,以找出“正... “正/反预期标记”和“正/反预期触发语”都是表征预期性的语词,但二者有着重要区别。本文认为“一般说(来)”是正预期触发语,偶尔有反预期的情况;“按说”是反预期触发语,偶尔有正预期的情况。接着对比考察了二者的语篇配置,以找出“正/反预期触发语”的异同。“按说”主要用于回溯,偶尔用于断言;“一般说(来)”则基本用于断言。“按说”和“一般说(来)”分别是“常理预期”下合理性和常规性的代表,二者的语用差异源于对合理性与常规性的认知差异。 展开更多
关键词 正/反预期触发语 “按说” “一般说(来)” 回溯 断言 合理性 常规性
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 21 下一页 到第 页
使用帮助 返回顶部