具有灵活性的指定验证者云审计方案

1

作者 赵巨涛 常金勇 《计算机应用与软件》 北大核心 2025年第4期335-339,共5页

在最近的研究工作中,Yan等[13]设计了一个具有指定验证者的云审计协议。研究发现,Yan等的协议具有很高的通信冗余。为了降低这一通信冗余,提出一种具有灵活性的改进方案,该方案将多个数据段对应的标签进行“聚合”,从而可以极大地减少... 在最近的研究工作中,Yan等[13]设计了一个具有指定验证者的云审计协议。研究发现,Yan等的协议具有很高的通信冗余。为了降低这一通信冗余,提出一种具有灵活性的改进方案,该方案将多个数据段对应的标签进行“聚合”,从而可以极大地减少通信冗余。同时,基于计算性的Diffie-Hellman假设给出了改进方案的安全性证明。通过具体实例展示了改进后的方案在整体通信冗余上比Yan等的协议有明显降低。 展开更多

关键词 云审计方案 指定验证者 随机谕言机模型 云存储

在线阅读 下载PDF 职称材料

论数学的经验性本质 被引量：7

2

作者 张俊青 陈旭清 《数学教育学报》 北大核心 2010年第1期67-70,共4页

数学的发展历史表明,数学就其整体、过程、趋势、源泉来说是经验的,演绎体系是数学经验知识的理论形态,是数学发展到一定阶段的特征.数学与经验的关联随着数学、科学和人类认识的发展而呈现出不同的阶段性特点.公理体系的二重性说明抽... 数学的发展历史表明,数学就其整体、过程、趋势、源泉来说是经验的,演绎体系是数学经验知识的理论形态,是数学发展到一定阶段的特征.数学与经验的关联随着数学、科学和人类认识的发展而呈现出不同的阶段性特点.公理体系的二重性说明抽象和演绎无法解决数学的根本问题.强调数学的经验性本质,并不是否认它的演绎性,而是给广大数学学习者和研究者一个本体论的信念和方法论的启示. 展开更多

关键词 数学 数学哲学 经验性 演绎性

在线阅读 下载PDF 职称材料

数学活动经验的内涵及特征探析 被引量：14

3

作者 武江红 《河北师范大学学报（教育科学版）》 CSSCI 北大核心 2009年第2期107-109,共3页

经验的哲学概念包含了经验的结果和过程两层含义。缄默知识理论观下的数学活动经验强调主体在经历数学活动的过程中获得的对于数学的体验和认知模式,它是不可表述的缄默知识,是个体实践智力的一个标志。数学活动经验具有个体性、实践性... 经验的哲学概念包含了经验的结果和过程两层含义。缄默知识理论观下的数学活动经验强调主体在经历数学活动的过程中获得的对于数学的体验和认知模式,它是不可表述的缄默知识,是个体实践智力的一个标志。数学活动经验具有个体性、实践性、社会性、迁移性等四个特征。数学活动经验对直觉思维有导向作用。 展开更多

关键词 经验 数学活动经验 缄默知识 直觉思维

在线阅读 下载PDF 职称材料

促进教师专业化的数学教育实习改革研究 被引量：13

4

作者 武江红 《数学教育学报》 北大核心 2010年第1期89-92,共4页

教师专业化已形成国际共识,促进教师专业发展也成为诸多国家教师教育体制及其课程体系改革的重要目标.借鉴国外发达国家的教育实习做法,针对国内现状,通过以下4点可以促进我国数学教育教师专业化发展：进一步制定和完善政策;加强高师院... 教师专业化已形成国际共识,促进教师专业发展也成为诸多国家教师教育体制及其课程体系改革的重要目标.借鉴国外发达国家的教育实习做法,针对国内现状,通过以下4点可以促进我国数学教育教师专业化发展：进一步制定和完善政策;加强高师院校与中小学的合作;延长教育实习时间;建立注重反思的全程化数学教育实习模式. 展开更多

关键词 教师专业化 数学教育 实习 改革

在线阅读 下载PDF 职称材料

有界线性算子的(R)性质及其紧摄动

5

作者 景雨 曹小红 董炯 《兰州大学学报(自然科学版)》 北大核心 2025年第2期278-284,共7页

借助单值延拓性质,给出有界线性算子及其函数演算满足(R)性质的判定.讨论了(R)性质的摄动.

关键词 (R)性质 单值延拓性质 谱

在线阅读 下载PDF 职称材料

一类分数阶系统的稳定性和Laplace变换 被引量：3

6

作者 王春 《数学物理学报（A辑）》 CSCD 北大核心 2019年第1期49-58,共10页

该文研究了一类分数阶微分系统的Hyers-Ulam-Rassias稳定性.主要应用Laplace变换方法证明了这类分数阶系统是Hyers-Ulam-Rassias稳定的.通过具体的例子说明了所得理论结果的有效性.

关键词 HYERS-ULAM-RASSIAS稳定性 分数阶微分系统 分数阶微分方程 LAPLACE变换

在线阅读 下载PDF 职称材料

一类广义分数阶系统的Hyers-Ulam-Rassias稳定性 被引量：1

7

作者 王春 许天周 《数学物理学报（A辑）》 CSCD 北大核心 2021年第6期1791-1804,共14页

该文应用广义Laplace变换方法研究了一类广义分数阶微分系统的Hyers-Ulam-Rassias稳定性,同时给出相关例子说明了理论结果的有效性.

关键词 广义Laplace变换 广义分数阶微分系统 HYERS-ULAM-RASSIAS稳定性

在线阅读 下载PDF 职称材料

具有阻尼项的粘弹性波动方程解的高能爆破

8

作者 李倩 邢艳元 《数学物理学报(A辑)》 北大核心 2025年第3期748-755,共8页

研究了带有强阻尼项和线性弱阻尼项的粘弹性波动方程的初边值问题在高的初始能级状态下解的有限时间爆破.利用了凹函数方法找到问题的解在任意正初始能级状态下爆破的充分条件.

关键词 波动方程 高初始能级 爆破 粘弹性项

在线阅读 下载PDF 职称材料

半正定线性系统广义非定常多分裂二阶段迭代方法的收敛性

9

作者 崔艳星 王川龙 江文胜 《工程数学学报》 CSCD 北大核心 2022年第5期826-834,共9页

为了高效求解正定或半正定的大型稀疏线性方程组,在第一阶段采用经典矩阵分裂的基础上,广义非定常多分裂二阶段迭代方法的第二阶段分裂融合了多分裂和矩阵预处理技术,对非定常多分裂二阶段迭代方法进行了推广。为了研究收敛性,将该迭代... 为了高效求解正定或半正定的大型稀疏线性方程组,在第一阶段采用经典矩阵分裂的基础上,广义非定常多分裂二阶段迭代方法的第二阶段分裂融合了多分裂和矩阵预处理技术,对非定常多分裂二阶段迭代方法进行了推广。为了研究收敛性,将该迭代方法的算法形式和逻辑语言表达形式改写为紧凑的迭代格式。由此得到,广义非定常多分裂二阶段迭代算法在一个充分条件下收敛。最后,具有五对角系数矩阵的大型稀疏线性系统的数值算例验证了广义非定常多分裂二阶段迭代算法的普适性,并且从迭代次数和CPU时间上体现了算法的高效性。 展开更多

关键词 半范数收敛 商收敛 二阶段 多分裂

在线阅读 下载PDF 职称材料

决策形式背景基于OE-协调性的属性约简

10

作者 常丽娜 魏玲 彭超林 《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2024年第2期188-196,共9页

属性约简作为形式概念分析中非常重要的一个研究分支,在三支概念分析中也同样重要。基于对象导出三支概念格,提出了保持决策形式背景OE-协调性的属性约简理论,丰富了三支概念分析的约简理论。首先,定义了决策形式背景的OE-协调集和OE-约... 属性约简作为形式概念分析中非常重要的一个研究分支,在三支概念分析中也同样重要。基于对象导出三支概念格,提出了保持决策形式背景OE-协调性的属性约简理论,丰富了三支概念分析的约简理论。首先,定义了决策形式背景的OE-协调集和OE-约简,并将属性按其特征分为3类。其次,指出OE-约简的本质就是极小OE-协调集,给出了OE-协调集的几个判定定理,通过研究OE-协调集的充要条件,获取OE-约简的判定定理。最后,给出OE-差别矩阵和OE-差别函数的定义,并给出了利用OE-差别矩阵和OE-差别函数计算OE-约简的方法。 展开更多

关键词 三支概念分析 属性约简 OE-协调性 决策形式背景 对象导出三支概念格

在线阅读 下载PDF 职称材料

求解非线性方程组的拟牛顿-粒子群混合算法 被引量：20

11

作者 张安玲 刘雪英 《计算机工程与应用》 CSCD 北大核心 2008年第33期41-42,92,共3页

结合粒子群算法和拟牛顿法的优点,提出了一种用于求解非线性方程组的混合算法。该混合算法充分发挥了粒子群算法的群体搜索性和拟牛顿法的局部细致搜索性,同时也克服了粒子群算法后期搜索效率降低和拟牛顿法对初始点敏感的缺陷。数值实... 结合粒子群算法和拟牛顿法的优点,提出了一种用于求解非线性方程组的混合算法。该混合算法充分发挥了粒子群算法的群体搜索性和拟牛顿法的局部细致搜索性,同时也克服了粒子群算法后期搜索效率降低和拟牛顿法对初始点敏感的缺陷。数值实验表明所设计的混合算法有极好的稳定性和较高的收敛速度和精度。 展开更多

关键词 非线性方程组 粒子群算法 拟牛顿法

在线阅读 下载PDF 职称材料

一种混合粒子群优化算法的研究 被引量：5

12

作者 张安玲 王中 《计算机工程与应用》 CSCD 北大核心 2011年第31期27-29,37,共4页

结合粒子群优化算法和拟牛顿法的优点,提出了一种混合粒子群优化算法。该算法首先运行粒子群优化算法,到进化到一定程度时,把当代的最好点作为拟牛顿法的初始点,再利用拟牛顿法,对其进行二次优化。算法充分发挥了粒子群优化算法的全局... 结合粒子群优化算法和拟牛顿法的优点,提出了一种混合粒子群优化算法。该算法首先运行粒子群优化算法,到进化到一定程度时,把当代的最好点作为拟牛顿法的初始点,再利用拟牛顿法,对其进行二次优化。算法充分发挥了粒子群优化算法的全局搜索性和拟牛顿法的局部精细搜索性,同时也克服了粒子群算法后期搜索效率低和拟牛顿法对初始点敏感的缺陷。数值实验结果表明,该算法具有很高的收敛速度和求解精度。 展开更多

关键词 粒子群优化算法 拟牛顿法 混合算法 收敛性

在线阅读 下载PDF 职称材料

R^N中一类拟线性椭圆方程组非负解的存在性和多重性 被引量：3

13

作者 张文丽 钟立楠 《数学物理学报（A辑）》 CSCD 北大核心 2013年第1期174-184,共11页

利用极小极大原理和Ljusternik-Schnirelmann畴数理论,研究了R^N中一类拟线性椭圆方程组.当2≤p,q<N时,α≥0,β≥0满足α+β+2>max{p,q}和(α+1)/p~*+(β+1)/q~*≤1,通过建立解的个数与正连续函数V和W达到极小值集合的拓扑量之... 利用极小极大原理和Ljusternik-Schnirelmann畴数理论,研究了R^N中一类拟线性椭圆方程组.当2≤p,q<N时,α≥0,β≥0满足α+β+2>max{p,q}和(α+1)/p~*+(β+1)/q~*≤1,通过建立解的个数与正连续函数V和W达到极小值集合的拓扑量之间的关系,得到拟线性方程组至少存在cat_(M_δ)(M)个不同的非负解. 展开更多

关键词 拟线性方程组 NEHARI流形 极小极大原理 Ljusternik-Schnirelmann畴数理论

在线阅读 下载PDF 职称材料

求解NCP(F)的非单调自适应光滑信赖域算法 被引量：2

14

作者 董建新 王希云 王亚 《江南大学学报（自然科学版）》 CAS 2011年第3期355-357,共3页

结合非单调技术和自适应技术,给出求解非线性互补问题的非单调自适应光滑信赖域算法。该算法在下降量估计中引入"非单调比率",并且利用当前迭代点的参数对半径进行调整;同时在一定的条件下,证明了该算法的适定性。

关键词 非线性互补问题 信赖域算法 适定性

在线阅读 下载PDF 职称材料

求解病态线性方程组的精细积分新主元加权迭代法 被引量：2

15

作者 郝强 王慧蓉 常金勇 《安徽大学学报（自然科学版）》 CAS 北大核心 2022年第3期63-67,共5页

在精细积分法的基础上,通过构造一个特殊的加权矩阵,并将其应用于主元加权迭代法.提出了一种将主元加权迭代法与精细积分法相结合的求解病态方程组的新算法,并用该算法求解两个经典算例.实验结果表明,该算法在求解精度和迭代次数上都有... 在精细积分法的基础上,通过构造一个特殊的加权矩阵,并将其应用于主元加权迭代法.提出了一种将主元加权迭代法与精细积分法相结合的求解病态方程组的新算法,并用该算法求解两个经典算例.实验结果表明,该算法在求解精度和迭代次数上都有明显提升,是一种可以有效求解病态方程组近似解的新算法. 展开更多

关键词 精细积分法 主元加权迭代法 病态线性方程组

在线阅读 下载PDF 职称材料

概率统计中有关超几何分布的一个误解 被引量：4

16

作者 翟明娟 《统计与决策》 CSSCI 北大核心 2014年第3期26-28,共3页

对于超几何分布存在着一个错误的解释:当不放回抽样时,由于各次试验并不独立,每次抽到次品的概率也互不相同,抽取出的产品中的次品数不再服从二项分布,而是超几何分布。文章首先指出这个解释存在部分错误;其次借助于n重伯努利试验的三... 对于超几何分布存在着一个错误的解释:当不放回抽样时,由于各次试验并不独立,每次抽到次品的概率也互不相同,抽取出的产品中的次品数不再服从二项分布,而是超几何分布。文章首先指出这个解释存在部分错误;其次借助于n重伯努利试验的三个特征对产生误解的原因进行了分析,并在此基础上给出了满足一定的条件的超几何分布趋向于二项分布的内在原因;最后对误解进行了纠正。 展开更多

关键词 n重伯努利试验的特征 二项分布 超几何分布 条件概率 极限分布

在线阅读 下载PDF 职称材料

职前教师对概率概念的理解研究 被引量：3

17

作者 杨芳 《数学教育学报》 北大核心 2013年第6期37-40,共4页

概率是中国中学数学课程中的一个重要内容，概率概念是概率知识中的核心概念．研究发现：职前教师对概率定义缺乏深刻理解，对随机事件认识肤浅，同时还存在着等可能性偏见、简单复合法和线性错觉等错误．因此，高师数学教育专业应调整... 概率是中国中学数学课程中的一个重要内容，概率概念是概率知识中的核心概念．研究发现：职前教师对概率定义缺乏深刻理解，对随机事件认识肤浅，同时还存在着等可能性偏见、简单复合法和线性错觉等错误．因此，高师数学教育专业应调整课程定位；采用多种教学方式；完善学生的学习评价． 展开更多

关键词 概率 理解 职前教师

在线阅读 下载PDF 职称材料

职前教师对数列极限概念的理解研究 被引量：2

18

作者 杨芳 《数学教育学报》 北大核心 2012年第1期58-60,共3页

APOS理论是一种建构主义的数学学习理论,它强调学生在建构数学概念时要经历操作、过程、对象和图式阶段.职前教师在数列极限概念的建构中基本达到了前3个阶段,图式阶段仍需大幅度提高.本科生和专升本学生存在显著差异.职前教育应加强数... APOS理论是一种建构主义的数学学习理论,它强调学生在建构数学概念时要经历操作、过程、对象和图式阶段.职前教师在数列极限概念的建构中基本达到了前3个阶段,图式阶段仍需大幅度提高.本科生和专升本学生存在显著差异.职前教育应加强数学专业课程的教学,加强对中学数学教学内容的深层理解。 展开更多

关键词 职前教师 数列极限 理解 APOS理论

在线阅读 下载PDF 职称材料

ElGamal加密方案的KDM安全性 被引量：1

19

作者 常金勇 薛锐 史涛 《密码学报》 2014年第3期235-243,共9页

一个公钥加密方案的KDM(Key-Dependent Message)安全性要求:即使敌手可以得到一些可能依赖于私钥的消息加密后的密文,它仍然是安全的.这一场景经常会出现在如:硬盘加密、形式化密码学或者一些特殊的协议中.迄今为止,已经有一些具体的方... 一个公钥加密方案的KDM(Key-Dependent Message)安全性要求:即使敌手可以得到一些可能依赖于私钥的消息加密后的密文,它仍然是安全的.这一场景经常会出现在如:硬盘加密、形式化密码学或者一些特殊的协议中.迄今为止,已经有一些具体的方法可以达到这类安全性.但是,大多数情形中,都限制消息作为用户私钥的函数为仿射函数.本文定义了一类新的函数族,并且证明了在公钥密码学中起着非常重要作用的ElGamal加密方案关于这类函数族具有相应的KDM安全性.从技术角度来说,由于ElGamal加密方案的明文空间与私钥空间不太"匹配",因此,我们需要将原始的ElGamal加密方案进行适当的"裁剪"以证明它的KDM安全性.更为重要的是,本文定义的新的函数族自然地包含一些不属于仿射函数族的函数.另外,也证明了该方案关于Qin等人在2013年ACISP上提出的函数族也满足相应的KDM安全性.最后,我们指出,在这两种情形下,都可以将本文所得到的"裁剪的"ElGamal加密方案应用到匿名证书系统中. 展开更多

关键词 KDM安全性 ElGamal方案 选择明文攻击 判定性Diffie-Hellman假设

在线阅读 下载PDF 职称材料

基于多元统计分析的火灾灾后抢险物资配送模型研究 被引量：1

20

作者 王颖俐 《灾害学》 CSCD 北大核心 2019年第4期53-56,共4页

传统物资配送方法存在配送物资效率低、配送成本高等缺点,为了及时确定抢险物资应急救援路线,向火灾受灾点快速配送抢险物资,该文提出基于多元统计分析的火灾灾后抢险物资配送模型。建模时采用多元统计分析法分析火灾受灾点救援需求和... 传统物资配送方法存在配送物资效率低、配送成本高等缺点,为了及时确定抢险物资应急救援路线,向火灾受灾点快速配送抢险物资,该文提出基于多元统计分析的火灾灾后抢险物资配送模型。建模时采用多元统计分析法分析火灾受灾点救援需求和配送路线连通随机性,以及救援出发点对受灾点的最大覆盖范围的限制,利用加权贝叶斯算法将物资配送多目标规划问题转变成单目标规划问题,建立抢险物资配送单目标规划模型;运用遗传算法对模型求解,并采用惩罚函数处理模型中的约束条件,实现物资在受灾点之间均衡分配。 展开更多

关键词 多元统计分析 火灾 抢险物资 配送模型

在线阅读 下载PDF 职称材料