期刊文献+
共找到163篇文章
< 1 2 9 >
每页显示 20 50 100
省间电力中长期交易出清问题多解顺次寻优的高效计算方法
1
作者 向明旭 陈泓霏 +2 位作者 曹晓峻 杨知方 金一丁 《电工技术学报》 北大核心 2025年第11期3545-3559,共15页
随着全国统一电力市场建设的推进,我国市场规模逐步增长。以省间电力交易为例,当前市场主体已达上千个。由于大量市场主体报价具有相似性,可能导致市场出现多组具有相同社会福利的购售匹配对,使得最大化社会福利的出清问题存在多个最优... 随着全国统一电力市场建设的推进,我国市场规模逐步增长。以省间电力交易为例,当前市场主体已达上千个。由于大量市场主体报价具有相似性,可能导致市场出现多组具有相同社会福利的购售匹配对,使得最大化社会福利的出清问题存在多个最优解。为保障出清的有效性与公平性,多解场景下需开展多层目标顺次寻优,但现有基于多目标优化的方法难以兼顾出清效果和效率。对此,该文以存在多解场景的省间电力交易问题为研究对象,提出多层目标顺次寻优的高效出清方法:构建多层目标顺次寻优出清模型,前序模型的最优目标函数将作为后续模型的约束,以确保高优先级目标函数的最优性;提出基于最优解达界约束的出清问题多解判定模型,以帮助了解出清问题的多解性,同时,将其嵌入顺次寻优出清流程,通过避免无效寻优实现出清进程加速;提出有效利用前序模型求解信息的出清无损加速方法,以满足计算效率要求。基于我国实际交易数据的算例仿真表明,所提方法可在保障首要目标最优性的前提下,有效地提升面向次要目标的出清效果;所提加速策略可将典型场景的出清计算效率无损提高37倍。 展开更多
关键词 省间电力中长期交易 出清问题多解 多层目标顺次寻优 多解判定 出清加速
在线阅读 下载PDF
双线性Diffie-Hellman问题研究 被引量:12
2
作者 杨浩淼 孙世新 李洪伟 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2006年第2期137-140,共4页
为了构建密钥进化方案所需要的双线性Diffie-Hellman(Bilinear Diffie-Hellman,BDH)参数生成器,研究了BDH问题的安全性。先回顾了BDH问题的来源;基于可容许的双线性映射,再分别对判定BDH问题、计算BDH问题以及变形的BDH问题进行了分析;... 为了构建密钥进化方案所需要的双线性Diffie-Hellman(Bilinear Diffie-Hellman,BDH)参数生成器,研究了BDH问题的安全性。先回顾了BDH问题的来源;基于可容许的双线性映射,再分别对判定BDH问题、计算BDH问题以及变形的BDH问题进行了分析;并就BDH问题的安全性得出若干有用的结论。最后以密码学实践中常用到的超奇异椭圆曲线为例,构造了Weil对和Tate对的BDH参数生成器。 展开更多
关键词 双线性diffie-hellman问题 WEIL对 Tate对 椭圆曲线
在线阅读 下载PDF
基于多线性Diffie-Hellman问题的秘密共享方案 被引量:11
3
作者 彭巧 田有亮 《电子学报》 EI CAS CSCD 北大核心 2017年第1期200-205,共6页
秘密共享方案的信息率是衡量秘密共享通信效率的重要指标,鉴于已有的秘密共享方案效率不高的问题,本文基于多线性对提出了信息率为m/(m+1)的可验证秘密共享方案.方案中,共享秘密为m维向量,其可验证性可利用多线性映射的多线性性质来实现... 秘密共享方案的信息率是衡量秘密共享通信效率的重要指标,鉴于已有的秘密共享方案效率不高的问题,本文基于多线性对提出了信息率为m/(m+1)的可验证秘密共享方案.方案中,共享秘密为m维向量,其可验证性可利用多线性映射的多线性性质来实现;同时,在多线性Diffie-Hellman问题下,方案是可证明安全的.性能分析结果表明,与已有的相同安全级别下的秘密共享方案相比,该方案具有较高的通信效率,更适用于通信受限的数据容错的应用场景. 展开更多
关键词 可验证的秘密共享 多线性映射 信息率 多线性diffie-hellman问题
在线阅读 下载PDF
从所知学的角度看哲学基本问题的重新判定与解决思路 被引量:3
4
作者 刘永富 许梅 《人文杂志》 CSSCI 北大核心 2000年第1期22-28,共7页
根据所知学方法的基本原则,从形式化规定和内在要求来看,一门学问的基本问题是这门学问的判定问题与可能性问题;哲学的制定问题可化为与最初的实际使用相一致的“哲学”一词的初始含义问题;哲学的可能性问题可化为思维与存在的关系... 根据所知学方法的基本原则,从形式化规定和内在要求来看,一门学问的基本问题是这门学问的判定问题与可能性问题;哲学的制定问题可化为与最初的实际使用相一致的“哲学”一词的初始含义问题;哲学的可能性问题可化为思维与存在的关系问题,亦即想知与实知的关系问题。 展开更多
关键词 所知学 哲学基本问题 判定问题 可能性问题
在线阅读 下载PDF
有关保护私有信息的三角不等式判定问题研究 被引量:1
5
作者 程文娟 董莹莹 +1 位作者 汪庆 朱俊红 《合肥工业大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第5期625-628,715,共5页
安全多方计算是信息安全领域研究的热点问题之一,保护私有信息的三角不等式判定问题是一类基于三方的特殊安全多方计算问题。文章设计了一个基于Paillier加密算法的百万富翁比较协议,并扩展该协议至三方参与者,形成一个基于Paillier加... 安全多方计算是信息安全领域研究的热点问题之一,保护私有信息的三角不等式判定问题是一类基于三方的特殊安全多方计算问题。文章设计了一个基于Paillier加密算法的百万富翁比较协议,并扩展该协议至三方参与者,形成一个基于Paillier加密算法的三角不等式判定协议;结合点积协议与百万富翁协议,设计了一个保护私有信息的三角不等式判定协议,在保护用户私有输入信息的条件下,解决了三角不等式的判定问题。 展开更多
关键词 Paillier加密算法 加同态 百万富翁问题 点积协议 三角不等式判定
在线阅读 下载PDF
内部收益率指标的多根问题分析及其判定定理 被引量:2
6
作者 綦振平 《统计与决策》 北大核心 2001年第6期11-12,共2页
关键词 内部收益率 多根问题 判定定理 IRRm 实征分析 投资项目
在线阅读 下载PDF
域段判定类问题的最佳判定树
7
作者 宁正元 《计算机应用研究》 CSCD 1995年第4期36-37,共2页
本文在引入单条件赋权路径长度的概念基础上,纠正了文[1]中“利用哈夫曼树可得到最佳判定算法”的错误结论,给出建立域段判定类问题的最佳判定树算法。使用该算法建立最佳判定过程,对提高软件设计质量有着重要的意义。
关键词 域段判定问题 最佳判定 程序设计
在线阅读 下载PDF
群图像的同伦判定问题(英文)
8
作者 王晓峰 《深圳大学学报(理工版)》 EI CAS 2003年第2期12-15,共4页
对有限的群呈示P=〈x;r〉表出的群G,证明了当且仅当群G的字问题可解时,P的图像的同伦问题是可解的.
关键词 群论 有限呈示 群图像 同伦判定 问题 Dehn群函数
在线阅读 下载PDF
中国当代文学的“性质”判定问题
9
作者 罗长青 《扬子江(评论)》 CSSCI 2016年第4期56-62,共7页
对中国当代文学"性质"问题的梳理,这并不代表我们要追问中国当代文学的性质,也不代表我们对中国当代文学"性质"本身的兴趣,而是因为我们需要考察这样一种现象,为什么在研究唐诗、宋词、元曲的时候,我们不会刻意追问唐代文学、宋代... 对中国当代文学"性质"问题的梳理,这并不代表我们要追问中国当代文学的性质,也不代表我们对中国当代文学"性质"本身的兴趣,而是因为我们需要考察这样一种现象,为什么在研究唐诗、宋词、元曲的时候,我们不会刻意追问唐代文学、宋代文学、元代文学的"性质"?同时也没有让人们感觉到任何不自然? 展开更多
关键词 中国当代文学 社会主义文学 宋代文学 唐代文学 元代文学 现代文学 判定问题 变化性 文艺创作 人民文学
在线阅读 下载PDF
饲料标签判定常见问题及对饲料检测结果判定的影响 被引量:2
10
作者 高森 卢丽枝 +3 位作者 张博 秦超 李俊 高翔 《中国饲料》 北大核心 2023年第7期67-71,共5页
本文根据GB 10648-2013《饲料标签》和农业部公告第2625号《饲料添加剂安全使用规范》等标准和法规的要求,结合饲料产品检验工作,对饲料标签中发现的问题进行了分析和整理,包括产品名称、原料组成标识、产品成分分析保证值、引用字样、... 本文根据GB 10648-2013《饲料标签》和农业部公告第2625号《饲料添加剂安全使用规范》等标准和法规的要求,结合饲料产品检验工作,对饲料标签中发现的问题进行了分析和整理,包括产品名称、原料组成标识、产品成分分析保证值、引用字样、饲喂阶段和抗球虫药标识等方面,并且讨论了由于标签与企业标准不一致、跨阶段标识饲喂阶段、产品成分分析保证值标识不清晰、添加高锌的饲料标签与要求不符、添加抗球虫药错误标识等不合规的标识行为对饲料检测结果判定可能产生的影响,最后围绕饲料标签的设计、检查等方面提出了建议,为饲料生产企业和行政管理部门进一步加强饲料标签管理提供借鉴和参考。 展开更多
关键词 饲料标签 问题 判定 影响
在线阅读 下载PDF
用检验数判定出现运输问题“悖论”的方法 被引量:1
11
作者 池宪武 《北方交通大学学报》 CSCD 北大核心 1989年第1期74-83,共10页
关键词 运输问题 悖论 检验 判定
在线阅读 下载PDF
论非有效推理形式的判定问题──逻辑类比法的理论基础 被引量:1
12
作者 袁正校 《西南师范大学学报(哲学社会科学版)》 CSSCI 1994年第1期33-38,共6页
论非有效推理形式的判定问题──逻辑类比法的理论基础袁正校从亚里士多德奠基的传统逻辑,到以命题演算和谓词演算为基础的现代逻辑,形式逻辑的研究范围不断扩大,方法不断进步,工具更加精良。可是,研究推理,仍是形式逻辑的核心,... 论非有效推理形式的判定问题──逻辑类比法的理论基础袁正校从亚里士多德奠基的传统逻辑,到以命题演算和谓词演算为基础的现代逻辑,形式逻辑的研究范围不断扩大,方法不断进步,工具更加精良。可是,研究推理,仍是形式逻辑的核心,因为,形式逻辑研究词项(概念)和命... 展开更多
关键词 类比法 形式系统 论证的有效性 三段论式 亚里士多德 理论基础 判定问题 推理形式 逻辑学家 逻辑句法
在线阅读 下载PDF
“关于Γ-图的判定”中的猜测问题
13
作者 杨跃池 《应用数学》 CSCD 北大核心 1991年第3期121-121,共1页
本刊1988年第4期的“关于Г-图的判定”一文中有一个猜测: 猜测 G是Г-图当且仅当G中不含如下的子图为导出子图: (1) C_(2n+1),n≥2;(2)K_3·3K_2(i),0≤i≤3;(3)5K_3. 这个猜测的结论是不成立的.举例说明如下: 设G为图1或图2所示的... 本刊1988年第4期的“关于Г-图的判定”一文中有一个猜测: 猜测 G是Г-图当且仅当G中不含如下的子图为导出子图: (1) C_(2n+1),n≥2;(2)K_3·3K_2(i),0≤i≤3;(3)5K_3. 这个猜测的结论是不成立的.举例说明如下: 设G为图1或图2所示的图.它的所有导出子图中,没有C_(2n+1)(n≥2)或K_3·3K_2(i) 展开更多
关键词 Г-图 判定 猜测问题
在线阅读 下载PDF
学生心理问题的判定与干预
14
作者 黄家玲 《教学与管理》 北大核心 2020年第18期65-67,共3页
文章以学生心理问题的判定与干预为研究对象,首先对学生心理问题的判定进行了阐述分析,随后探讨了导致学生出现心理问题的原因,最后结合具体问题与原因,提出一些针对性的解决措施,以供参考。
关键词 学生心理问题 心理健康教育 判定与干预
在线阅读 下载PDF
外观设计专利侵权近似性判定问题
15
《食品工业科技》 CAS CSCD 北大核心 2007年第11期26-27,共2页
关键词 判定问题 专利侵权 外观设计 近似性 中级人民法院 五粮液集团 北京市 提起诉讼
在线阅读 下载PDF
用FTP法测定鱼类鲜度判定系数、K值的精度与问题
16
作者 刘雪娇 《水产科技情报》 1989年第5期158-158,共1页
FTP是一种简便测定Hxr+HxOR甙+次黄嘌呤)量的试纸。对照根据每种鱼制成的K值换算色标可以测定鱼的新鲜度。
关键词 鱼类 种鱼 新鲜度 K值 换算 试纸 判定 对照 次黄嘌呤 问题
全文增补中
动态描述逻辑的Tableau判定算法 被引量:41
17
作者 常亮 史忠植 +1 位作者 邱莉榕 林芬 《计算机学报》 EI CSCD 北大核心 2008年第6期896-909,共14页
动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动... 动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑.文中以描述逻辑ALCO的动态扩展为例,构建出动态描述逻辑D-ALCO.以D-ALCO的构建过程为基础,将ALCO的Tableau算法、命题动态逻辑的Tableau算法以及对可能模型途径的处理有机地结合起来,给出了D-ALCO的Tableau判定算法,证明了算法的可终止性、可靠性和完备性.应用该算法,可以在采用开世界假设的情况下对D-ALCO中公式的可满足性进行判定.对于D-ALCQO、D-ALCQIO等具有更强描述能力的动态描述逻辑,可以对该算法扩展后得到相应的Tableau判定算法. 展开更多
关键词 动态描述逻辑 动作理论 可满足性问题 TABLEAU算法 判定
在线阅读 下载PDF
一种具有CDH问题安全性基于身份的签名方案 被引量:2
18
作者 陈辉焱 刘乐 张晨晨 《计算机工程》 CAS CSCD 北大核心 2018年第4期174-180,共7页
严格的安全证明需要较短的安全参数和较高的运行效率。为此,提出一种基于身份的签名方案IDSSTR,该方案具有可计算Diffie-Hellman问题的安全性规约,在线时自然有效,离线阶段也无需额外的条件,且验证过程也不变。为减小签名消息的总长度,... 严格的安全证明需要较短的安全参数和较高的运行效率。为此,提出一种基于身份的签名方案IDSSTR,该方案具有可计算Diffie-Hellman问题的安全性规约,在线时自然有效,离线阶段也无需额外的条件,且验证过程也不变。为减小签名消息的总长度,给出具有消息恢复功能的IDSSTR修改版本。分析结果表明,可计算DiffieHellman问题的困难性与离散对数问题有着紧密联系,IDSSTR签名方案可为该困难问题提供安全保证。 展开更多
关键词 基于身份的签名 可计算的diffie-hellman问题 离散对数问题 严格规约 随机预言机模型
在线阅读 下载PDF
实时市场中电价多解的判定机理 被引量:3
19
作者 刘畅 冯冬涵 方陈 《电力系统自动化》 EI CSCD 北大核心 2020年第1期43-52,共10页
电价多解情况的出现将为实时市场的出清带来困难,有必要从理论上对其发生条件进行研究,并建立高效判定方法以提高实时定价效率。文中对节点电价多解情况的判定机理进行了深入分析和研究,基于市场出清问题的物理特性和数学特征,提出了退... 电价多解情况的出现将为实时市场的出清带来困难,有必要从理论上对其发生条件进行研究,并建立高效判定方法以提高实时定价效率。文中对节点电价多解情况的判定机理进行了深入分析和研究,基于市场出清问题的物理特性和数学特征,提出了退化、对偶问题多解与节点电价多解三者之间明确而严格的数学关系,基于所获判定机理建立了电价多解情况的完整有效判定流程,最终利用算例进行了判定方法对比以及有效性与适应性验证。 展开更多
关键词 节点电价 退化 对偶问题多解 电价多解 判定流程
在线阅读 下载PDF
有资格限制的指派问题的求解方法 被引量:6
20
作者 黄龙生 徐光辉 《运筹与管理》 CSCD 2005年第1期28-31,共4页
在实际的指派工作中,常会遇到某个人有没有资格去承担某项工作的问题,因此,本文建立了有资格限制的指派问题的数学模型。在此数学模型中,将效益矩阵转化为判定矩阵,由此给出了判定此种指派问题是否有解的方法;在有解的情况下,进一步将... 在实际的指派工作中,常会遇到某个人有没有资格去承担某项工作的问题,因此,本文建立了有资格限制的指派问题的数学模型。在此数学模型中,将效益矩阵转化为判定矩阵,由此给出了判定此种指派问题是否有解的方法;在有解的情况下,进一步将效益矩阵转化为求解矩阵,从而将有资格限制的指派问题化为传统的指派问题来求解。最后给出了一个数值例子来说明这样的处理方法是有效的。 展开更多
关键词 运筹学 指派问题 资格限制 判定矩阵 求解矩阵
在线阅读 下载PDF
上一页 1 2 9 下一页 到第
使用帮助 返回顶部