期刊文献+
共找到105篇文章
< 1 2 6 >
每页显示 20 50 100
基于向量恒等式的几何证明题自动生成方法
1
作者 李雷 陈矛 彭翕成 《计算机工程》 北大核心 2025年第7期78-89,共12页
几何证明题的自动生成是智能教育领域中的热点研究问题。现有方法通常以单道已有习题的原始几何关系为基础,利用几何自动推理技术,推理发现新的几何关系并合成新习题。由它们生成的习题所包含的几何关系全都可以基于输入习题的原始几何... 几何证明题的自动生成是智能教育领域中的热点研究问题。现有方法通常以单道已有习题的原始几何关系为基础,利用几何自动推理技术,推理发现新的几何关系并合成新习题。由它们生成的习题所包含的几何关系全都可以基于输入习题的原始几何关系推理得到,缺乏新颖性。针对这一问题,提出一种通过重组2道已有习题的几何关系以生成新习题的方法。通过引入向量恒等式理论,为几何关系的表示以及判定源自不同习题的几何关系能否重组为新习题提供理论依据,进而实现从已有习题中自动提取几何关系,以及将源自不同习题的几何关系自动重组为新习题的算法。实验分析以及专家的评估结果表明,所提方法在运行性能以及教育应用方面都具有可行性,并且在相同输入的情况下能够生成现有方法无法生成的更具新颖性的习题。 展开更多
关键词 习题自动生成 几何证明题 向量恒等式 几何定理自动发现
在线阅读 下载PDF
网络犯罪数额证明难题及其应对 被引量:8
2
作者 张迪 《现代法学》 CSSCI 北大核心 2024年第5期162-176,共15页
我国网络犯罪数额的证明难题虽然实践样态各异,但可划分为证据短缺型与海量证据型两种。产生这些证明难题的深层原因在于,传统犯罪网络化加大了犯罪数额的证明难度,法律规范对证明对象、证明机制与证据种类的特殊设定内在地限制了司法... 我国网络犯罪数额的证明难题虽然实践样态各异,但可划分为证据短缺型与海量证据型两种。产生这些证明难题的深层原因在于,传统犯罪网络化加大了犯罪数额的证明难度,法律规范对证明对象、证明机制与证据种类的特殊设定内在地限制了司法人员的证明活动。有关部门通过出台司法解释和规范性文件来拓展定罪量刑要素、设置综合认定、确立推定规则及设立抽样验证等,以期解决网络犯罪数额证明难题。这种应激性的应对方式可能侵蚀法律规范的有效性,同时也存在实效性较低等问题。解决网络犯罪数额证明难题需检讨既有网络犯罪数额难题治理的底层逻辑。我们应确立网络犯罪数额证明难题双层次应对方案。第一层次方案主要从证明机理入手,优化犯罪数额的证明机制,明确算法证据的独立地位与运用规则。在第一层次方案无法解决特定犯罪数额证明难题的情形下,可采取第二层次的特殊应对方案,主要包括调整定罪量刑要素中犯罪数额的种类与比例,谨慎设置推定规则并限制其运用。 展开更多
关键词 犯罪数额 网络犯罪 证明难题 算法证据 证明标准
在线阅读 下载PDF
A Brief New Proof to Fermat’s Last Theorem and Its Generalization
3
作者 Demetrius Chr. Poulkas 《Journal of Applied Mathematics and Physics》 2020年第4期684-697,共14页
This article presents a brief and new solution to the problem known as the “Fermat’s Last Theorem”. It is achieved without the use of abstract algebra elements or elements from other fields of modern mathematics of... This article presents a brief and new solution to the problem known as the “Fermat’s Last Theorem”. It is achieved without the use of abstract algebra elements or elements from other fields of modern mathematics of the twentieth century. For this reason it can be easily understood by any mathematician or by anyone who knows basic mathematics. The important thing is that the above “theorem” is generalized. Thus, this generalization is essentially a new theorem in the field of number theory. 展开更多
关键词 BRIEF proof of Fermat’s LAST THEOREM Unsolved Mathematical problemS Fermat’s LAST THEOREM Generalization of the Fermat’s LAST THEOREM Prime Number problemS MILLENNIUM problemS
在线阅读 下载PDF
几何证明题的认知分解及其对教学的启示——基于ACT-R对几何证明题解题过程的模拟 被引量:7
4
作者 李莉 魏雪峰 +1 位作者 崔光佐 李万启 《现代教育技术》 CSSCI 2011年第12期53-57,共5页
文章基于ACT-R对几何证明题解题过程的模拟,提出了一种对几何证明题解题进行认知分解方法,该方法能有效地将几何证明题的解题过程分解成单一、可训练的认知动作,并将解题过程所需要的全部知识都挖掘出来。这种分解使得学生能够通过对认... 文章基于ACT-R对几何证明题解题过程的模拟,提出了一种对几何证明题解题进行认知分解方法,该方法能有效地将几何证明题的解题过程分解成单一、可训练的认知动作,并将解题过程所需要的全部知识都挖掘出来。这种分解使得学生能够通过对认知动作的训练和对知识的记忆有效的掌握几何证明题的解题方法。 展开更多
关键词 几何证明题 解题过程 认知分解 ACT-R模拟
在线阅读 下载PDF
宝钢高炉富氧喷煤技术的现状及设想 被引量:2
5
作者 李维国 陶荣尧 +1 位作者 朱锦明 朱仁良 《钢铁》 CAS CSCD 北大核心 1995年第7期4-10,共7页
介绍了宝钢高炉喷煤系统的设备概况和二年多来的喷煤生产实践以及宝钢对高炉富氧喷煤的设想。2号高炉喷煤量已达到并超过设备最大能力。
关键词 高炉 喷煤 防火防爆 富氧喷煤
在线阅读 下载PDF
对73起重大疑难命案的实证分析——从刑事证据的收集、固定、审查判断和运用的角度 被引量:13
6
作者 贺恒扬 吴志良 《西南政法大学学报》 2008年第1期128-135,共8页
命案中的证据收集瑕疵表现为重嫌疑人有罪供述,轻物证、书证;重有罪证据,轻无罪辩解;勘查现场不及时、不细致;非法取证等。证据固定瑕疵表现为靠重复讯问固定证据;不善于运用录音录像固定证据;物证检验不及时;刑事技术鉴定结论不明。证... 命案中的证据收集瑕疵表现为重嫌疑人有罪供述,轻物证、书证;重有罪证据,轻无罪辩解;勘查现场不及时、不细致;非法取证等。证据固定瑕疵表现为靠重复讯问固定证据;不善于运用录音录像固定证据;物证检验不及时;刑事技术鉴定结论不明。证据审查判断和运用瑕疵表现为轻信鉴定结论等科技证据;忽略物证证明的间接性;依赖口供又不会运用口供;不能正确对待嫌疑人的辩解;不能正确认识证据数量和证明力的关系;不善于排除证据矛盾。造成这些瑕疪的原因在于不能准确把握"命案必破"的内涵;办案思维方法不正确;不会把握证据确实、充分的定罪标准等。建议强化责任意识;增强人权意识;强化证据意识;正确运用有罪口供;建立切实可行的非法证据排除制度;制订科学合理的考核办法。 展开更多
关键词 疑难命案 证据瑕疵 刑事证据
在线阅读 下载PDF
“一题多解”之再升华 螺旋变式课程设计理论介绍——以三角形中位线定理推导为例 被引量:18
7
作者 孙旭花 陈嘉豪 +12 位作者 梁永贤 曾震宇 郑少斌 黄家婵 梁明峰 冯国浩 谢锦清 梁建柱 谈柏威 麦健强 林国宏 林健昌 吴金香 《数学教育学报》 北大核心 2008年第6期21-28,共8页
变式在数学教育研究中具有突出地位,变式通过“变中发现不变”来学习抽象化和“以不变应万变”来学习公理化.中国课程常常采用一题多解,而美国课程出现“一题多解”机会较少.“一题多解”作为问题解法变式,是长期存活于中国本土文... 变式在数学教育研究中具有突出地位,变式通过“变中发现不变”来学习抽象化和“以不变应万变”来学习公理化.中国课程常常采用一题多解,而美国课程出现“一题多解”机会较少.“一题多解”作为问题解法变式,是长期存活于中国本土文化土壤的中国数学教学的小策略,但任何数学内容都可以借助问题变式,使得方法理解得以深化和广化,推广到全部数学方法体系建构.“一题多解”的理论和实践价值主要有:效果真实而有效;能够更广义地构建数学方法体系;有实践之根,因而能有效地应用于实践;有本土之脉,因而有长期存活于本土文化的可能. 展开更多
关键词 一题多解 中国数学教学传统 三角形中位线定理 问题解决
在线阅读 下载PDF
量子鲸鱼优化算法求解作业车间调度问题 被引量:35
8
作者 闫旭 叶春明 姚远远 《计算机应用研究》 CSCD 北大核心 2019年第4期975-979,共5页
为了克服基本鲸鱼优化算法(WOA)在解决作业车间调度问题时存在收敛精度低、容易陷入局部最优的缺陷,利用量子计算与优化思想提出了一种量子鲸鱼优化算法(QWOA),并对其进行了计算复杂度分析、全局收敛性证明及仿真实验。通过对11个作业... 为了克服基本鲸鱼优化算法(WOA)在解决作业车间调度问题时存在收敛精度低、容易陷入局部最优的缺陷,利用量子计算与优化思想提出了一种量子鲸鱼优化算法(QWOA),并对其进行了计算复杂度分析、全局收敛性证明及仿真实验。通过对11个作业车间调度问题基准算例的仿真实验发现,与基本鲸鱼优化算法、布谷鸟搜索算法(CS)、灰狼优化算法(GWO)相比,QWOA算法在最小值、平均值、寻优成功率等方面具有较优结果。研究表明,量子鲸鱼优化算法在解决作业车间调度问题时,具有更高的收敛精度和更好的全局搜索能力,且能够跳出局部最优。 展开更多
关键词 鲸鱼优化算法 量子计算与优化 作业车间调度 收敛性证明 混合算法
在线阅读 下载PDF
心证如何形成——以问题解决心理学为研究进路 被引量:1
9
作者 李蓉 胡宇清 《晓庄学院社会科学学报》 CSSCI 北大核心 2011年第1期38-41,共4页
心证的形成过程是自由心证研究的核心内容。心证形成过程就是问题解决的过程,属于心理学的研究范畴。从心理学角度而言,心证形成属于非明确限定性问题,往往没有唯一正确的标准答案,更多地依靠启发式策略来解决,法官也只能以内心确信来... 心证的形成过程是自由心证研究的核心内容。心证形成过程就是问题解决的过程,属于心理学的研究范畴。从心理学角度而言,心证形成属于非明确限定性问题,往往没有唯一正确的标准答案,更多地依靠启发式策略来解决,法官也只能以内心确信来作为证明标准。 展开更多
关键词 自由心证 问题解决 非明确限定性问题
在线阅读 下载PDF
中小城镇民用建筑抗震问题探讨 被引量:4
10
作者 娄树立 邵莲芬 《重庆科技学院学报(自然科学版)》 CAS 2009年第1期88-90,共3页
我国历史上是地震多发国,因地震死亡的人数占全球地震死亡人数的一半以上。分析了我国中小乡镇民用建筑抗震存在的问题,提出具体解决方法。
关键词 抗震 问题 应对措施
在线阅读 下载PDF
一个安全有效的身份鉴别协议与对应的数字签名方案 被引量:5
11
作者 吴铤 于秀源 《通信学报》 EI CSCD 北大核心 2002年第7期70-75,共6页
本文利用二元一次不定方程和Schnorr身份鉴别协议,构造出一个新的身份鉴别协议,该协议在RSA问题和离散对数问题是难解的假设下是安全的,同时给出了所对应的数字签名方案。
关键词 身份鉴别协议 数字签名 知识证明 RSA问题 离散对数问题
在线阅读 下载PDF
谈物理化学中热力学证明题的解题思路 被引量:1
12
作者 陈桂芳 李胜利 +1 位作者 高之清 孔令乾 《广东化工》 CAS 2012年第2期222-223,共2页
从热力学基本方程和麦克斯韦关系式出发,结合偏微商运算基本原理,归纳出化学热力学证明题中常用的一些基本关系式,并对化学热力学函数偏微商等式的证明方法及技巧进行了具体探讨。
关键词 热力学基本方程 麦克斯韦关系式 证明题
在线阅读 下载PDF
混合蝗虫优化算法求解作业车间调度问题 被引量:16
13
作者 闫旭 叶春明 《计算机工程与应用》 CSCD 北大核心 2019年第6期257-264,共8页
作为新兴的智能算法,蝗虫优化算法在作业车间调度问题中的应用符合智能制造的趋势。但由于全局寻优能力不足,基本蝗虫优化算法(GOA)在解决作业车间调度问题(JSP)时容易陷入局部最优,导致收敛精度较低。为了克服上述缺陷,利用量子旋转门... 作为新兴的智能算法,蝗虫优化算法在作业车间调度问题中的应用符合智能制造的趋势。但由于全局寻优能力不足,基本蝗虫优化算法(GOA)在解决作业车间调度问题(JSP)时容易陷入局部最优,导致收敛精度较低。为了克服上述缺陷,利用量子旋转门操作对其进行改进,提出了一种基于量子计算思想的混合蝗虫优化算法(HGOA)。此外,对混合蝗虫优化算法进行了计算复杂度分析与全局收敛性证明,并利用11个作业车间标准测试问题进行了仿真实验。通过与基本蝗虫优化算法(GOA)、鲸鱼优化算法(WOA)、布谷鸟搜索算法(CS)、灰狼优化算法(GWO)的比较发现,混合蝗虫优化算法在平均值、最小值、寻优成功率及迭代次数方面存在较优结果。研究表明,混合蝗虫优化算法具有更强的全局搜索能力,更好的收敛精度,能够有效跳出局部最优。 展开更多
关键词 蝗虫优化算法 量子旋转门 作业车间调度问题 收敛性证明 混合算法
在线阅读 下载PDF
基于矩阵填充问题的五轮零知识身份认证方案 被引量:2
14
作者 王后珍 蔡鑫伟 +1 位作者 郭岩 张焕国 《通信学报》 EI CSCD 北大核心 2021年第11期79-86,共8页
针对现存绝大多数身份认证协议容易遭受量子计算攻击及实现效率低的缺陷,基于矩阵填充(MC)问题构造了一种安全高效的五轮零知识身份认证方案。由于MC问题是NP完全的,所提方案具有很好的抗量子计算攻击潜力。相较于目前已有类似方案,所... 针对现存绝大多数身份认证协议容易遭受量子计算攻击及实现效率低的缺陷,基于矩阵填充(MC)问题构造了一种安全高效的五轮零知识身份认证方案。由于MC问题是NP完全的,所提方案具有很好的抗量子计算攻击潜力。相较于目前已有类似方案,所提方案通过增加单轮交互将欺骗概率由2/3降至1/2,同时兼具容易实现、密钥尺寸小等优点。此外,采用Fiat-Shamir密码转换技术还可将所提五轮零知识认证协议转换为高效的具有抗量子计算攻击潜力的数字签名方案。 展开更多
关键词 抗量子计算密码 身份认证 零知识证明 矩阵填充问题
在线阅读 下载PDF
背包问题在硬币抛掷协议上的研究 被引量:5
15
作者 佘堃 沈仟 周明天 《电子科技大学学报》 EI CAS CSCD 北大核心 2003年第4期417-419,共3页
分析了背包问题的特性,介绍了零知识和公平抛掷协议。通过证明,成功地将背包问题应用在零知识证明和公正硬币抛掷协议上,通过理论的安全性证明其具有较强的可靠性,并通过零知识证明协议的变体证明了背包问题的广泛适用性,说明了背包问... 分析了背包问题的特性,介绍了零知识和公平抛掷协议。通过证明,成功地将背包问题应用在零知识证明和公正硬币抛掷协议上,通过理论的安全性证明其具有较强的可靠性,并通过零知识证明协议的变体证明了背包问题的广泛适用性,说明了背包问题不可取代的实用价值。 展开更多
关键词 背包问题 离散对数问题 零知识证明 公正的硬币
在线阅读 下载PDF
基于矩阵填充问题的高效零知识身份认证方案 被引量:2
16
作者 王后珍 郭岩 张焕国 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2021年第2期111-117,共7页
针对目前大多数身份认证密码协议容易遭受量子计算机攻击且实现效率较低的问题,基于矩阵填充问题设计了一种新型零知识身份认证协议。与现有类似方案相比,本文的方案具有密钥尺寸小、易于实现等特点。矩阵填充问题属于NPC(non-determini... 针对目前大多数身份认证密码协议容易遭受量子计算机攻击且实现效率较低的问题,基于矩阵填充问题设计了一种新型零知识身份认证协议。与现有类似方案相比,本文的方案具有密钥尺寸小、易于实现等特点。矩阵填充问题属于NPC(non-deterministic polynomial complete)问题,本文提出的协议具有抗量子计算攻击潜力。利用本文方案并采用Fiat-Shamir标准转换方法,可得到一种安全高效的抗量子计算数字签名算法。 展开更多
关键词 身份认证协议 矩阵填充问题 零知识证明 NPC问题
原文传递
一种改进的有序多重签名方案 被引量:2
17
作者 罗敏 施荣华 李璇 《计算机工程与应用》 CSCD 北大核心 2004年第25期129-130,共2页
分析了一般有序多重签名的安全性,文章发现存在组成员内部欺诈的情况下,该方案是不安全的。因此该文提出了一种改进方案,新方案增设了签名中心,利用零知识证明防止成员内部欺诈,解决了有序多重方案的安全性问题。
关键词 多重签名 离散对数 零知识证明 安全性
在线阅读 下载PDF
一道考研题的多种证明方法与拓展 被引量:1
18
作者 燕列雅 庞永锋 陈清江 《高等数学研究》 2020年第6期29-32,共4页
本文给出了2020年研究生入学考试数学(二)中一道证明题的七种证明方法,并对该题进行了拓展.
关键词 研究生考试 数学 证明题 方法 拓展
在线阅读 下载PDF
基于悖论证明与局部搜索的不可满足子式求解算法 被引量:4
19
作者 张建民 沈胜宇 李思昆 《计算机学报》 EI CSCD 北大核心 2014年第11期2262-2267,共6页
随着软硬件设计规模日益增加,功能越来越复杂,功能验证与调试在整个设计周期中占有的比重越来越大,迫切需要高效的方法诊断与定位设计中的错误,而求解不可满足子式可以显著提高自动化工具定位错误的效率.近年来,求解不可满足子式的算法... 随着软硬件设计规模日益增加,功能越来越复杂,功能验证与调试在整个设计周期中占有的比重越来越大,迫切需要高效的方法诊断与定位设计中的错误,而求解不可满足子式可以显著提高自动化工具定位错误的效率.近年来,求解不可满足子式的算法多是基于DPLL(Davis-Putnam-Logemann-Loveland)回溯搜索过程的完全算法,很少有研究涉及到不完全方法.文中针对求解不可满足子式的不完全方法,提出了悖论证明与悖论解析树的概念,并提出一种启发式局部搜索算法,从布尔公式的悖论证明中求解不可满足子式.算法首先采用融合了布尔推理技术、动态剪枝方法及蕴含消除方法的局部搜索过程,逐步构建悖论证明所对应的悖论解析树;然后调用递归函数搜索悖论解析树,最终得到不可满足子式.基于实际测试集与随机测试集进行了实验对比,结果表明文中提出的算法优于同类算法,而且动态剪枝与蕴含消除技术能够有效地减少存储空间及运行时间. 展开更多
关键词 形式化验证 可满足问题 不可满足子式 悖论证明 局部搜索
在线阅读 下载PDF
数学发现的逻辑 被引量:1
20
作者 袁桂珍 《广西师范大学学报(自然科学版)》 CAS 1993年第2期43-47,共5页
回顾了对数学发现的逻辑的研究进程,着重介绍了拉卡托斯在波利亚的基础上提出的以猜想、证明与反驳为特征的数学发现的逻辑。
关键词 启发法 数学发现 逻辑 拉卡托斯
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部