期刊文献+
共找到33篇文章
< 1 2 >
每页显示 20 50 100
中国当代文学的“性质”判定问题
1
作者 罗长青 《扬子江(评论)》 CSSCI 2016年第4期56-62,共7页
对中国当代文学"性质"问题的梳理,这并不代表我们要追问中国当代文学的性质,也不代表我们对中国当代文学"性质"本身的兴趣,而是因为我们需要考察这样一种现象,为什么在研究唐诗、宋词、元曲的时候,我们不会刻意追问唐代文学、宋代... 对中国当代文学"性质"问题的梳理,这并不代表我们要追问中国当代文学的性质,也不代表我们对中国当代文学"性质"本身的兴趣,而是因为我们需要考察这样一种现象,为什么在研究唐诗、宋词、元曲的时候,我们不会刻意追问唐代文学、宋代文学、元代文学的"性质"?同时也没有让人们感觉到任何不自然? 展开更多
关键词 中国当代文学 社会主义文学 宋代文学 唐代文学 元代文学 现代文学 判定问题 变化性 文艺创作 人民文学
在线阅读 下载PDF
论非有效推理形式的判定问题──逻辑类比法的理论基础 被引量:1
2
作者 袁正校 《西南师范大学学报(哲学社会科学版)》 CSSCI 1994年第1期33-38,共6页
论非有效推理形式的判定问题──逻辑类比法的理论基础袁正校从亚里士多德奠基的传统逻辑,到以命题演算和谓词演算为基础的现代逻辑,形式逻辑的研究范围不断扩大,方法不断进步,工具更加精良。可是,研究推理,仍是形式逻辑的核心,... 论非有效推理形式的判定问题──逻辑类比法的理论基础袁正校从亚里士多德奠基的传统逻辑,到以命题演算和谓词演算为基础的现代逻辑,形式逻辑的研究范围不断扩大,方法不断进步,工具更加精良。可是,研究推理,仍是形式逻辑的核心,因为,形式逻辑研究词项(概念)和命... 展开更多
关键词 类比法 形式系统 论证的有效性 三段论式 亚里士多德 理论基础 判定问题 推理形式 逻辑学家 逻辑句法
在线阅读 下载PDF
外观设计专利侵权近似性判定问题
3
《食品工业科技》 CAS CSCD 北大核心 2007年第11期26-27,共2页
关键词 判定问题 专利侵权 外观设计 近似性 中级人民法院 五粮液集团 北京市 提起诉讼
在线阅读 下载PDF
从所知学的角度看哲学基本问题的重新判定与解决思路 被引量:3
4
作者 刘永富 许梅 《人文杂志》 CSSCI 北大核心 2000年第1期22-28,共7页
根据所知学方法的基本原则,从形式化规定和内在要求来看,一门学问的基本问题是这门学问的判定问题与可能性问题;哲学的制定问题可化为与最初的实际使用相一致的“哲学”一词的初始含义问题;哲学的可能性问题可化为思维与存在的关系... 根据所知学方法的基本原则,从形式化规定和内在要求来看,一门学问的基本问题是这门学问的判定问题与可能性问题;哲学的制定问题可化为与最初的实际使用相一致的“哲学”一词的初始含义问题;哲学的可能性问题可化为思维与存在的关系问题,亦即想知与实知的关系问题。 展开更多
关键词 所知学 哲学基本问题 判定问题 可能性问题
在线阅读 下载PDF
域段判定类问题的最佳判定树
5
作者 宁正元 《计算机应用研究》 CSCD 1995年第4期36-37,共2页
本文在引入单条件赋权路径长度的概念基础上,纠正了文[1]中“利用哈夫曼树可得到最佳判定算法”的错误结论,给出建立域段判定类问题的最佳判定树算法。使用该算法建立最佳判定过程,对提高软件设计质量有着重要的意义。
关键词 域段判定问题 最佳判定 程序设计
在线阅读 下载PDF
含有不希望出现句子的网页鉴别问题
6
作者 王柠 刘国华 《小型微型计算机系统》 CSCD 北大核心 2014年第6期1232-1238,共7页
网页是传递信息的重要载体,以网页作为研究对象是现今信息检索和信息关联研究的必然趋势.鉴于句子既是传递信息的基本单位,又是表述完整意思的语言单位,本文以句子为出发点对网页鉴别问题进行研究.句子的不同变换形式能够表述相同的含... 网页是传递信息的重要载体,以网页作为研究对象是现今信息检索和信息关联研究的必然趋势.鉴于句子既是传递信息的基本单位,又是表述完整意思的语言单位,本文以句子为出发点对网页鉴别问题进行研究.句子的不同变换形式能够表述相同的含义的特点,给网页鉴别带来了困难.为解决该问题,首先定义句子和网页之间的4种关系:属于关系、同义词替换关系、简单语序变换关系、复杂语序变换关系,然后讨论每一种关系的识别问题,证明了:(1)识别句子和网页的属于关系是可判定问题并且是P问题;(2)识别同义词替换关系是不可判定问题;(3)识别简单语序变换关系是不可判定问题;(4)识别复杂语序变换关系是不可识别问题.上述结论勾画出了网页鉴别问题难易程度的谱系. 展开更多
关键词 网页鉴别 句子 判定问题 不可判定问题 不可识别问题
在线阅读 下载PDF
结式与一类n元方程组的特征值、解的判定及简单应用
7
作者 张赟 《西藏大学学报(社会科学版)》 1998年第2期70-74,共5页
关键词 n元方程组 特征值 多元非线性方程组 结式 n元多项式 原方程 特征方程 方程组的解 公共解 判定问题
在线阅读 下载PDF
水稻田间含杂的判定
8
作者 喻克让 《湖南农业》 2016年第5期16-17,共2页
在农业技术推广实际工作中,我们经常会遇到水稻田间含杂的判定问题:杂交水稻田间含杂,农民首先就会想到是种子质量有问题,并且理所当然要进行索赔。如何解决这个问题,保护农民利益呢?农业技术指导员首先必须掌握杂交水稻田间含杂如何... 在农业技术推广实际工作中,我们经常会遇到水稻田间含杂的判定问题:杂交水稻田间含杂,农民首先就会想到是种子质量有问题,并且理所当然要进行索赔。如何解决这个问题,保护农民利益呢?农业技术指导员首先必须掌握杂交水稻田间含杂如何判定。 展开更多
关键词 水稻田 农业技术推广 技术指导员 父母本 判定问题 田间表现 机械化生产 杂交水稻制种 稻株 落粒
在线阅读 下载PDF
一种新型基于环上带误差学习问题的认证密钥交换方案 被引量:5
9
作者 杨孝鹏 马文平 张成丽 《电子与信息学报》 EI CSCD 北大核心 2015年第8期1984-1988,共5页
利用格上判定带误差学习问题(Ring-DLWE)困难假设,该文基于Peikert的调和技术构造认证密钥交换方案。在标准模型下,该方案是CK模型中可证明安全的,并达到弱前向安全性(w PFS)。与现有的基于LWE的密钥交换方案相比,该方案使用平衡的密钥... 利用格上判定带误差学习问题(Ring-DLWE)困难假设,该文基于Peikert的调和技术构造认证密钥交换方案。在标准模型下,该方案是CK模型中可证明安全的,并达到弱前向安全性(w PFS)。与现有的基于LWE的密钥交换方案相比,该方案使用平衡的密钥提取函数,因而保护共享会话密钥,同时因其基于格中困难问题,所以能抵抗量子攻击。 展开更多
关键词 密码学 认证密钥交换 CK模型 环上判定带误差学习问题(Ring-DLWE)
在线阅读 下载PDF
关于非奇H-矩阵的条件 被引量:6
10
作者 李耀堂 游兆永 《工程数学学报》 CSCD 北大核心 1998年第4期64-68,63,共6页
给出了非奇H-矩阵的一些新的充分条件和充要条件,这些条件推广了黄廷祝(1994年)、逄明贤(1989年)、沈光星(1990年)的相关结果,使非奇H-矩阵的判定问题在理论上更为完善。这些条件也可作为非奇H-矩阵的实用判据。
关键词 非奇H-矩阵 二重几何平均对角占优矩阵 不可约矩阵 充分条件 充要条件 实用判据 判定问题
在线阅读 下载PDF
离散对数的比特安全性
11
作者 姚亦峰 王勇 汤劲松 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2001年第5期555-558,共4页
离散对数在密码学上具有广泛的应用 ,但基于离散对数的密码算法都假定离散对数的计算是困难的 .本文讨论计算离散对数的高位比特与计算离散对数的等价性 ,利用 D.Boneh所提出的方法对密码学上通常使用的强素数讨论了离散对数的比特安全... 离散对数在密码学上具有广泛的应用 ,但基于离散对数的密码算法都假定离散对数的计算是困难的 .本文讨论计算离散对数的高位比特与计算离散对数的等价性 ,利用 D.Boneh所提出的方法对密码学上通常使用的强素数讨论了离散对数的比特安全性 ,得到结论 :如果离散对数的高位比特可以计算 。 展开更多
关键词 离散对数问题 DIFFIE-HELLMAN问题 Diffie-Hellman判定问题 公钥系统
在线阅读 下载PDF
一种概率型非对称公钥密码体制的设计和实现
12
作者 郭伟青 陈丹 童华章 《计算机应用与软件》 CSCD 北大核心 2007年第6期170-172,共3页
在分析传统公钥密码体制的基础上,设计并实现了一种基于Diffie Hellman判定问题,辅以抗碰撞的Hash函数和公钥证书进行加密和解密,安全性可证明的概率型非对称密码系统。它比基本Cramer-Shoup体制具有更高的效率,且同样具有抵抗自适应选... 在分析传统公钥密码体制的基础上,设计并实现了一种基于Diffie Hellman判定问题,辅以抗碰撞的Hash函数和公钥证书进行加密和解密,安全性可证明的概率型非对称密码系统。它比基本Cramer-Shoup体制具有更高的效率,且同样具有抵抗自适应选择密文攻击的能力。 展开更多
关键词 加密和解密 Diffie Hellman判定问题 公钥 算法
在线阅读 下载PDF
一种基于素域椭圆曲线的公钥密码方案的设计
13
作者 郭伟青 陈丹 童华章 《计算机工程与科学》 CSCD 2008年第2期15-16,共2页
本文研究了传统公钥密码方案,设计并实现了一种基于素域椭圆曲线的公钥密码算法。该方法从DiffieHell-man判定问题出发,辅以抗碰撞的Hash函数和数字证书进行加密和解密。该方法在自适应选择明文攻击的情况下是安全的,在强自适应选择密... 本文研究了传统公钥密码方案,设计并实现了一种基于素域椭圆曲线的公钥密码算法。该方法从DiffieHell-man判定问题出发,辅以抗碰撞的Hash函数和数字证书进行加密和解密。该方法在自适应选择明文攻击的情况下是安全的,在强自适应选择密文攻击的情况下也是安全的。 展开更多
关键词 椭圆曲线 Diffie Hellmma 判定问题 公钥密码 算法
在线阅读 下载PDF
一些多值狭义谓词演算中的标准形 被引量:1
14
作者 王世强 翁稼丰 《北京师范大学学报(自然科学版)》 CAS 1980年第2期19-23,共5页
本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模型论作准备。但它们显然也是自身有意义的。在我们所讨论的多值谓词演算中。
关键词 谓词演算 标准形 真假值 前束 模型论 命题连接词 不可判定 数序 判定问题 逻辑符号
在线阅读 下载PDF
基于属性的BGN型密文解密外包方案 被引量:1
15
作者 李镇林 张薇 +1 位作者 白平 王绪安 《计算机应用》 CSCD 北大核心 2017年第8期2287-2291,共5页
云计算的安全问题是制约其发展的关键瓶颈,其中对云计算结果的访问控制是当前研究的一个热点。在经典的类同态BGN方案基础上,结合CP-ABE(Ciphertext-Policy Attribute-Based Encryption)型密文解密外包设计,构造了基于属性的BGN型密文... 云计算的安全问题是制约其发展的关键瓶颈,其中对云计算结果的访问控制是当前研究的一个热点。在经典的类同态BGN方案基础上,结合CP-ABE(Ciphertext-Policy Attribute-Based Encryption)型密文解密外包设计,构造了基于属性的BGN型密文解密外包方案,部分密文的解密被外包到云上进行,减小了用户的存储开销与计算开销,并且只有用户属性满足访问策略时,才会得到正确的解密结果。与现有的基于属性的外包方案相比,新方案能对密文进行任意次加法同态和一次乘法同态操作。最后,分析了方案的安全性。所提方案在子群判定问题假设下达到语义安全,在随机预言机模型下满足属性安全。 展开更多
关键词 基于属性的加密 云计算 外包计算 同态加密 子群判定问题
在线阅读 下载PDF
抗密钥泄露的无证书签密方案 被引量:7
16
作者 秦艳琳 吴晓平 胡卫 《通信学报》 EI CSCD 北大核心 2017年第S2期43-50,共8页
传统无证书签密方案在实际应用环境中容易遭受边信道攻击,带来密钥泄露问题。为抵制此类攻击,基于椭圆曲线密码体制及双线性对提出一种抗密钥泄露的无证书签密方案,并在随机预言机模型下证明方案的安全性建立在判定Diffie-Hellman问题... 传统无证书签密方案在实际应用环境中容易遭受边信道攻击,带来密钥泄露问题。为抵制此类攻击,基于椭圆曲线密码体制及双线性对提出一种抗密钥泄露的无证书签密方案,并在随机预言机模型下证明方案的安全性建立在判定Diffie-Hellman问题的困难性之上,且能抵制适应性选择密文及密钥泄露攻击,满足选择消息及密钥泄露攻击下的存在不可伪造性。该方案没有使用构造复杂的非交互式零知识证明系统(NIZK),在签密阶段不含双线性对运算,与同类方案相比,能抵制密钥泄露攻击且具有较高的运算效率。 展开更多
关键词 无证书签密 抗密钥泄露 判定Diffie-Hellman问题 椭圆曲线密码 随机预言机
在线阅读 下载PDF
机器学习图像分类程序的蜕变测试框架 被引量:8
17
作者 刘佳洛 姚奕 +4 位作者 黄松 惠战伟 陈强 寇大磊 张仲伟 《计算机工程与应用》 CSCD 北大核心 2020年第17期69-77,共9页
机器学习在计算机视觉、语音识别和自然语言处理等实际应用中已经取得了显著的成功。图像分类作为计算机视觉的一个主要分支。不久的将来,许多的图像分类程序会以机器学习的方式呈现。然而,由于机器学习图像分类程序的测试面临着测试预... 机器学习在计算机视觉、语音识别和自然语言处理等实际应用中已经取得了显著的成功。图像分类作为计算机视觉的一个主要分支。不久的将来,许多的图像分类程序会以机器学习的方式呈现。然而,由于机器学习图像分类程序的测试面临着测试预言难题,这使得在测试的过程中将需要大量的人力及物力。为了缓解测试预言难题,使用了蜕变测试技术。为了规范测试流程、提高测试效率,提出了一种适用于机器学习图像分类程序的蜕变测试框架。并且通过测试基于SVM和VGGNet图像分类程序,验证了该测试框架的合理性和有效性。 展开更多
关键词 机器学习 测试判定问题 蜕变测试 蜕变关系
在线阅读 下载PDF
标准模型下可证安全的基于身份的门限环签密方案 被引量:4
18
作者 孙华 王爱民 郑雪峰 《计算机科学》 CSCD 北大核心 2013年第5期131-135,共5页
签密是一个能够同时提供认证性和保密性的密码学术语,而它却比分别签名和加密具有更低的计算成本。环签密除具有签密的一般属性外,还具有匿名性。为了设计基于身份的门限环签密方案,利用秘密共享和双线性对技术,提出了一种标准模型下基... 签密是一个能够同时提供认证性和保密性的密码学术语,而它却比分别签名和加密具有更低的计算成本。环签密除具有签密的一般属性外,还具有匿名性。为了设计基于身份的门限环签密方案,利用秘密共享和双线性对技术,提出了一种标准模型下基于身份的门限环签密方案,并对方案的安全性进行了分析。最后,通过计算Diffie-Hell-man问题和判定性Diffie-Hellman问题的困难性,证明了该方案在适应性选择消息和身份攻击下的不可伪造性以及在适应性选择密文攻击下的不可区分性。 展开更多
关键词 门限环签密 双线性对 计算DIFFIE-HELLMAN问题 判定性Diffie-Hellman问题 基于身份的密码学
在线阅读 下载PDF
一种可证明安全的基于身份的高效环签密方案 被引量:1
19
作者 孙华 王爱民 郑雪峰 《计算机应用与软件》 CSCD 北大核心 2014年第7期303-306,共4页
为了克服传统公钥基础设施中的证书管理以及提高环签密方案的安全性,提出一种有效的基于身份的环签密方案。通过使用双线性对技术,设计一个在标准模型下基于身份的环签密方案,并分析方案的正确性进行。通过两个困难问题假设CDH问题和DBD... 为了克服传统公钥基础设施中的证书管理以及提高环签密方案的安全性,提出一种有效的基于身份的环签密方案。通过使用双线性对技术,设计一个在标准模型下基于身份的环签密方案,并分析方案的正确性进行。通过两个困难问题假设CDH问题和DBDH问题,证明方案满足不可伪造性和不可区分性,同时通过与几个现有方案进行比较,指出该方案具有较高的效率。 展开更多
关键词 环签密 双线性对 计算DIFFIE-HELLMAN问题 判定性Diffie-Hellman问题 标准模型
在线阅读 下载PDF
支持多比特加密的全同态加密体制设计 被引量:4
20
作者 陈莉 周扬 段然 《计算机应用研究》 CSCD 北大核心 2021年第2期579-583,共5页
现有全同态加密体制普遍存在密文尺寸较大和采用单比特加密所导致的效率较低问题。在Gentry等人提出的全同态加密体制(简称GSW13体制)的基础上,通过修改其展开方式,利用近似特征向量技术,提出了一种新的全同态加密体制。在随机喻示模型... 现有全同态加密体制普遍存在密文尺寸较大和采用单比特加密所导致的效率较低问题。在Gentry等人提出的全同态加密体制(简称GSW13体制)的基础上,通过修改其展开方式,利用近似特征向量技术,提出了一种新的全同态加密体制。在随机喻示模型下,将新体制的安全性归约到判定性容错学习问题(decisional learning with errors,DLWE)的难解性,给出了其正确性和安全性的证明。又在不改变系统参数的条件下,采用多比特加密,对新体制进行优化。与GSW13体制相比,新体制的密文尺寸减小61.47%,加密运算量减少68.97%。新体制不仅减小密文扩张,而且减少同态运算计算次数,从而提高了体制效率。 展开更多
关键词 云计算 全同态加密 判定性容错学习问题 多比特加密 可证明安全
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部