期刊文献+
共找到572篇文章
< 1 2 29 >
每页显示 20 50 100
动词内隐性否定的语义层次和溢出条件 被引量:73
1
作者 袁毓林 《中国语文》 CSSCI 北大核心 2012年第2期99-113,191,共15页
本文通过考察"防止、避免、差、欠、拒绝、否认、小心、后悔、责怪、怀疑"等类动词的语义结构和句法表现,分别讨论其所含的隐性否定的语义层次(断言、推论、预设);用动词内隐性否定的语义溢出来解释相关句子中冗余性的多重否... 本文通过考察"防止、避免、差、欠、拒绝、否认、小心、后悔、责怪、怀疑"等类动词的语义结构和句法表现,分别讨论其所含的隐性否定的语义层次(断言、推论、预设);用动词内隐性否定的语义溢出来解释相关句子中冗余性的多重否定,着重于确定动词内隐性否定的语义溢出和词汇实现的句法语义条件;并且,尝试用动词内隐性否定的语义溢出和语义倒灌等隐喻性概念,揭示动词"怀疑"有意义相反的两个义项("不相信"vs."相信、猜测")及其在分布上呈现出互补状态的句法语义机制。 展开更多
关键词 隐性否定 语义层次(断言/推论/预设) 语义溢出 多重否定 语义倒灌
原文传递
“差点儿”和“差不多”的意义同异之辨 被引量:30
2
作者 袁毓林 《语言教学与研究》 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"表示认识情态(不确信/委婉)。 展开更多
关键词 隐性否定 语义层次 预设 推演 断言 情态(道义/认识)
原文传递
指称与陈述的兼容性与引申问题 被引量:25
3
作者 姚振武 《中国语文》 CSSCI 北大核心 2000年第6期564-570,共7页
本文从指称与陈述的兼容性以及社会对这种兼容性的选择和认可这两方面,解释从指称式引申出陈述式的内在原因,并把这种解释扩大到名词活用(或转化)为动词问题上。
关键词 指称 陈述 兼容性 引申
全文增补中
动词的“指称”功能和“陈述”功能 被引量:18
4
作者 石定栩 《汉语学习》 北大核心 2005年第4期3-10,共8页
本文讨论动词性成分充当主语或宾语时的句法地位,出发点是朱德熙先生关于动词的指称功能和陈述功能的论述。动词性成分在充当主语或宾语时的句法特性并非完全统一,所以朱先生的两分法是正确的。不过,指称和陈述在理论上不构成对立,用来... 本文讨论动词性成分充当主语或宾语时的句法地位,出发点是朱德熙先生关于动词的指称功能和陈述功能的论述。动词性成分在充当主语或宾语时的句法特性并非完全统一,所以朱先生的两分法是正确的。不过,指称和陈述在理论上不构成对立,用来描述这类动词性成分的功能在操作上有困难,建议以名词化和名物化来描述。 展开更多
关键词 动词性主语 动词性宾语 指称 陈述 句法
下载PDF
从“是”和“的”、“有”和“了”看肯定和叙述 被引量:23
5
作者 王冬梅 《中国语文》 CSSCI 北大核心 2014年第1期22-34,95-96,共13页
"是"和"有"是现代汉语中使用频度极高的两个动词,"的"和"了"是使用频度极高的两个虚词。本文证明了,"是"和"的"相通,都表示肯定,"有"和"了"相通,都... "是"和"有"是现代汉语中使用频度极高的两个动词,"的"和"了"是使用频度极高的两个虚词。本文证明了,"是"和"的"相通,都表示肯定,"有"和"了"相通,都表示叙述,而"是/的"和"有/了"的区分是汉语里最重要的分野,即肯定和叙述的分野。同时,通过对"是"和"有"共现、"的"和"了"共现情形的考察发现了两者之间的不对称,即叙述可以被肯定,肯定很难再被叙述。而这种不对称关系是汉语中的名词和动词之间的包含关系的反映。 展开更多
关键词 “是” “的”“有”“了”肯定 叙述 词类包含
原文传递
基于SAML的安全服务系统的设计 被引量:6
6
作者 吴鹏 吉逸 《计算机应用研究》 CSCD 北大核心 2004年第11期127-129,180,共4页
介绍了安全声明标记语言(SAML),并在此基础上提出了基于SAML的安全服务系统(SAML SSS)的功能结构和应用结构,最后给出了SAML SSS在远程教育系统中的一个应用实例。
关键词 SAML 安全服务 数据互操作 认证 授权 声明
下载PDF
基于SystemVerilog语言的设计验证技术 被引量:14
7
作者 闫沫 张媛 《现代电子技术》 2008年第6期8-11,共4页
随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计... 随着集成电路设计规模的不断增大,设计验证工作越来越困难。介绍IEEE新标准SystemVerilog语言中用于验证的随机约束、功能覆盖率、断言技术和利用面向对象思想构建验证平台的一般方法。这些方法能极大提高芯片设计的效率,降低芯片设计的风险,减轻测试工程师的负担。 展开更多
关键词 SYSTEMVERILOG 随机约束 功能覆盖率 断言 面向对象
下载PDF
SoC功能验证的特点和方法 被引量:8
8
作者 徐英伟 刘佳 《微处理机》 2006年第2期11-13,共3页
简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,... 简要分析了传统集成电路(ASIC)验证方法的特点以及将这些方法应用于系统级芯片(SoC)验证时所面临的问题。在此基础上,论述说明了模块级验证是提高SoC验证效率的基础;而基于随机测试激励的验证方法能够提升SoC的功能验证的覆盖率。另外,还介绍了用于SoC功能验证的关键方法,包括断言和RTL形式验证,Farm,随机化测试激励和功能覆盖等。 展开更多
关键词 系统级芯片 设计 功能验证 断言 功能测试 随机测试激励
下载PDF
感知类叙实动词研究 被引量:16
9
作者 张新华 《语言教学与研究》 CSSCI 北大核心 2015年第1期69-77,共9页
感知动词的核心特征是当下性、亲证性,由此引导一种指个体现实事件的宾语从句。这种现实性表现在从句的情状、体、时、语力诸层面,且在体、时及部分语气成分上与主句间形成升降现象。语力范畴使感知动词所引从句具备断言功能,语法上则... 感知动词的核心特征是当下性、亲证性,由此引导一种指个体现实事件的宾语从句。这种现实性表现在从句的情状、体、时、语力诸层面,且在体、时及部分语气成分上与主句间形成升降现象。语力范畴使感知动词所引从句具备断言功能,语法上则使其由内嵌地位而上升为主句。 展开更多
关键词 感知类叙实动词 当下性 体时升降 断言
原文传递
结合断言与覆盖率为导向的验证方法 被引量:13
10
作者 褚晓滨 陆铁军 宗宇 《微电子学与计算机》 CSCD 北大核心 2008年第11期39-42,46,共5页
伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功... 伴随着半导体工艺的不断发展,可以将更多的功能集成到单系统芯片上.这对传统的验证方法和验证途径提出了种种挑战.以覆盖率为导向的验证方法中,覆盖率模型是在外部通过DUT执行的功能来统计覆盖率,很难侦测到DUT内部的工作状态,存在对功能"遗漏点"的侦测.基于断言的验证方法可以将断言加入到DUT内部,通过断言覆盖加强覆盖率检测.阐述了将断言和覆盖率为导向相结合的验证方法,并用此种方法对USB2.0系统进行了验证.讨论了如何将两种验证方法有效地结合,并且通过比较覆盖率为导向的验证方法与结合断言与覆盖率为导向的验证方法的结果,说明结合断言与覆盖率为导向的验证方法提高了验证过程中的观测性,减少了验证周期. 展开更多
关键词 覆盖率 断言 验证方法 海量存储
下载PDF
通用SPI Flash控制器的设计与验证 被引量:11
11
作者 罗莉 夏军 邓宇 《计算机工程》 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
12
作者 侯秋菊 沈海华 《计算机工程与设计》 CSCD 北大核心 2008年第7期1713-1715,1753,共4页
总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检... 总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制。实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性。 展开更多
关键词 系统集成芯片 总线功能模型 断言 代码覆盖率 功能覆盖率
下载PDF
通谋虚伪表示基础上对抗规则的教义学展开 被引量:10
13
作者 施鸿鹏 《东方法学》 CSSCI 北大核心 2022年第1期147-160,共14页
通谋虚伪表示的效力评价同时受意思表示制度与信赖保护原则的双重约束。从通谋虚伪表示本体的法律效果角度看,通谋虚伪表示属于绝对无效的行为,而非相对无效;同时,通谋虚伪表示客观上会形成可归责于表意人的权利外观。据此,一方面在法... 通谋虚伪表示的效力评价同时受意思表示制度与信赖保护原则的双重约束。从通谋虚伪表示本体的法律效果角度看,通谋虚伪表示属于绝对无效的行为,而非相对无效;同时,通谋虚伪表示客观上会形成可归责于表意人的权利外观。据此,一方面在法律世界中,通谋虚伪表示不产生权利变动的事实效果;另一方面为信赖保护的介入提供了可能。在我国民法典现有关于信赖保护的制度体系下,不得以通谋虚伪表示无效对抗善意第三人的法则并不会与分则中的信赖保护规范发生实质冲突,同时民法典第763条等规定的类推适用并不能对诸多情境中的善意第三人进行合理保护。在信赖保护原则作为私法的基本原则的认识下,对抗规则中的第三人应为参与法律行为性的往来的主体,同时其善意应排除明知和因重大过失而不知的情形,并在具体交易情境中对是否存在合理的信赖基础进行评价。 展开更多
关键词 通谋虚伪表示 无效 对抗 善意第三人 信赖保护 民法典
下载PDF
SystemVerilog断言及其应用 被引量:5
14
作者 陈先勇 徐伟俊 +1 位作者 杨鑫 夏宇闻 《中国集成电路》 2007年第9期19-24,共6页
在介绍SystemVerilog断言的概念、使用断言的好处、断言的分类、断言的组成以及断言如何被插入到被测设计(DUT)的基础上,本文详细地介绍了如何使用不同的断言语句对信号之间的复杂时序关系进行严格的检查,并针对每个例子展示了在ModelSi... 在介绍SystemVerilog断言的概念、使用断言的好处、断言的分类、断言的组成以及断言如何被插入到被测设计(DUT)的基础上,本文详细地介绍了如何使用不同的断言语句对信号之间的复杂时序关系进行严格的检查,并针对每个例子展示了在ModelSim6.1b仿真环境中所显示的波形。本文旨在帮助读者理解如何使用断言对设计中信号间复杂时序关系进行验证的方法,并由此介绍一些基本的SystemVerilog断言、操作符、代码段和断言验证方法学。 展开更多
关键词 字:SystemVerilog 断言 DUT SVA assertion
下载PDF
断言、知心与修辞立其诚 被引量:7
15
作者 顾曰国 《当代修辞学》 CSSCI 北大核心 2018年第4期1-14,共14页
断言作为一种行为,包含断_行为和说_行为两个成分。断_行为包括无语言作断、前语言作断和借助语言的判断。无语言作断即荀子说的人生而能辨,借助语言的判断即断言。断言把断言者跟被断对象和所断内容捆绑在一起,形成责任和义务。真诚断... 断言作为一种行为,包含断_行为和说_行为两个成分。断_行为包括无语言作断、前语言作断和借助语言的判断。无语言作断即荀子说的人生而能辨,借助语言的判断即断言。断言把断言者跟被断对象和所断内容捆绑在一起,形成责任和义务。真诚断言之人做到表里如一、言行如一"全诚"。文章吸纳王夫之的思想,把诚分为两大类:天之诚和人之诚。人之诚再细分为三个子类,分别为童心之诚、社会之诚和人格之诚。儒家强调修身养诚,独处时向内讲究自诚,向外讲究对人诚。向外、人际间的断言_行为包括内省诚(对己诚、对人诚)和言行诚(言诚、行诚),从而形成8种逻辑状态。文章举例演示诚的分类及其跟断言_行为的互动关系。文章末指出以诚为统领的断言_行为研究跟舍尔为代表的主流言语行为研究的异同。 展开更多
关键词 断言 童心之诚 社会之诚 人格之诚
原文传递
基于断言的Compact PCI总线IP核功能验证 被引量:4
16
作者 姚爱红 孙盟哲 +1 位作者 张智钧 袁莉娜 《小型微型计算机系统》 CSCD 北大核心 2014年第3期676-680,共5页
近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PC... 近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PCI总线控制器核的功能验证问题,提出一种基于断言的监视器组件设计方法,将Compact PCI核接口信号时序的断言、覆盖率统计的断言封装为监视器组件,以提高验证环境的开发效率和可复用性.实际应用表明,本方法在加快验证过程收敛速度的同时,随IP核一起发布的验证组件提高了验证环境的可复用性. 展开更多
关键词 功能验证 断言 IP核 SVA COMPACT PCI
下载PDF
凸函数等价性命题的证明 被引量:6
17
作者 周科 《广西师院学报(自然科学版)》 2000年第3期31-34,共4页
该文给出凸函数的八个等价性命题 ,并利用循环套的形式证明它们的等价性。
关键词 凸函数 等价性命题 证明 连续函数
下载PDF
时态逻辑断言推理及其在SIDSS中的应用
18
作者 刘冬宁 刘浩钊 +1 位作者 汤庸 汤娜 《计算机工程》 CAS CSCD 北大核心 2003年第17期187-189,共3页
介绍了断言推理和时态逻辑断言的基本概念,并以工资智能决策支持系统(SIDSS)为例,讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。
关键词 断言 时态 时态逻辑 断言推理 SIDSS 规则
下载PDF
Multiple Factorial Analysis of Symbolic Data 被引量:3
19
作者 Barnabé Tang Ahanda Jean Gérard Aghoukeng Jiofack +1 位作者 Romain Germain Nzangué Gilbert Hapi Mbiakop 《Applied Mathematics》 2012年第12期2148-2154,共7页
This document presents an extension of the multiple factorial analysis to symbolic data and especially to space data. The analysis makes use of the characteristic coding method to obtain active individuals and the rec... This document presents an extension of the multiple factorial analysis to symbolic data and especially to space data. The analysis makes use of the characteristic coding method to obtain active individuals and the reconstitutive coding method for additional individuals in order to conserve the variability of assertion objects. Traditional analysis methods of the main components are applied to coded objects. Certain interpretation aids are presented after the coding process. This method was applied to poverty data. 展开更多
关键词 SYMBOLIC OBJECT assertion OBJECT MULTIPLE FACTORIAL ANALYSIS Principle Components ANALYSIS Poverty
下载PDF
基于安全断言标记语言实现单点登陆 被引量:3
20
作者 武文丽 黄永忠 陈海勇 《计算机工程与设计》 CSCD 北大核心 2007年第4期785-788,共4页
单点登录(single sign-on,SSO)作为一种为解决传统认证机制所存在的问题而提出的技术,已成为分布式系统研究的热点之一。对当前流行的安全断言标记语言(SAML)提供的两种单点登陆模型Artifact和Post进行介绍分析,指出它们存在的不足。针... 单点登录(single sign-on,SSO)作为一种为解决传统认证机制所存在的问题而提出的技术,已成为分布式系统研究的热点之一。对当前流行的安全断言标记语言(SAML)提供的两种单点登陆模型Artifact和Post进行介绍分析,指出它们存在的不足。针对其局限性,引入了凭证和准凭证的概念,提出了一种改进的基于SAML的单点登陆模型并以实现。最后对该模型的性能进行了分析。 展开更多
关键词 单点登录 安全断言标记语言 断言 凭证 准凭证
下载PDF
上一页 1 2 29 下一页 到第
使用帮助 返回顶部