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

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 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

作者 常丽娜 魏玲 彭超林 《西北大学学报（自然科学版）》 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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

作者 张文丽 钟立楠 《数学物理学报（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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

基于DCR假设的KDM-CCA安全性

15

作者 郭伟 常金勇 高磊 《计算机工程与应用》 CSCD 北大核心 2017年第12期116-120,共5页

加密方案的KDM(Key-Dependent Message)安全性定义依赖于某一特定的函数族F。通过引入一类新的函数族,证明了在两个用户的情形下,Cramer和Shoup提出了基于DCR(Decisional Composite Residuosity)假设的方案(以下称为CS-DCR方案),关于这... 加密方案的KDM(Key-Dependent Message)安全性定义依赖于某一特定的函数族F。通过引入一类新的函数族,证明了在两个用户的情形下,Cramer和Shoup提出了基于DCR(Decisional Composite Residuosity)假设的方案(以下称为CS-DCR方案),关于这类新函数族具有KDM-CCA安全性。由于CS-DCR方案本身非常得高效,因此,获得了兼有高效性和(相应)KDM-CCA安全性的加密方案。 展开更多

关键词 DCR假设 KDM安全性 CCA安全性 公钥加密 Cramer-Shoup 方案

在线阅读 下载PDF 职称材料

批到达M/G/1重试排队的队长的尾渐近

16

作者 王颖俐 刘维奇 李继红 《运筹学学报》 CSCD 北大核心 2013年第1期29-37,共9页

用随机分解法研究成批到达服务时间为次指数分布的重试排队中队长的尾行为,得到了该系统与其相应的标准排队系统队长尾分布的关系;对次指数尾,结果也能用于正则变化尾,进而得到正则变化尾渐近.

关键词 重试排队 尾渐近 随机分解 次指数 正则变化

在线阅读 下载PDF 职称材料

解不定信赖域子问题的Heun三阶算法

17

作者 董建新 李琳俊 王希云 《计算机工程与应用》 CSCD 北大核心 2018年第6期55-61,共7页

针对信赖域子问题,当Hessian矩阵不正定时,利用Bunch-Parlett法对矩阵进行修正,构造了对称正定的矩阵,将不定子问题转化为正定子问题,用新的折线来逼近最优解曲线,给出了求解的Heun三阶算法。通过对Heun三阶折线路径性质的分析,理论上... 针对信赖域子问题,当Hessian矩阵不正定时,利用Bunch-Parlett法对矩阵进行修正,构造了对称正定的矩阵,将不定子问题转化为正定子问题,用新的折线来逼近最优解曲线,给出了求解的Heun三阶算法。通过对Heun三阶折线路径性质的分析,理论上证明了算法的适定性。利用两个测试函数进行了数值实验,结果表明该算法有效。 展开更多

关键词 信赖域子问题 微分方程模型 不定矩阵 Heun三阶算法

在线阅读 下载PDF 职称材料

R^N中一类(p,q)-Laplacian椭圆方程组的多重正解

18

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

研究了一类(p,q)-Laplacian拟线性椭圆方程组问题,利用Nehari流形和LjusternikSchnirelmann畴数理论,探讨了位势函数f(x)如何影响这类方程组正解的个数.

关键词 正解 (p q)-Laplacian拟线性方程组 Nehari流形 Ljusternik-Schnirelmann畴数理论

在线阅读 下载PDF 职称材料

广义Gagola特征标的注记

19

作者 王慧群 曾吉文 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2016年第6期927-928,共2页

设χ∈Irr(G)是广义Gagola特征标,V(χ)={χ(g)|g∈G}.证明了χ是广义Gagola特征标,当且仅当χ忠实,并且V(χ)恰好有3个Galois-轨道.在此基础上,得到经典Gagola特征标的一个充要条件.

关键词 广义Gagola特征标 置换特征标 线性无关

在线阅读 下载PDF 职称材料

如何借助样本点的特征求解概率

20

作者 翟明娟 《统计与决策》 CSSCI 北大核心 2013年第22期71-74,共4页

古典概型下随机事件发生的概率求解是概率统计中的重点和难点之一。利用概率的古典定义求随机事件的概率时,出错的类型有三种:一是对样本空间和事件中样本点的计数不在同一样本空间之下;二是样本空间中样本点的出现不具有等可能性;三是... 古典概型下随机事件发生的概率求解是概率统计中的重点和难点之一。利用概率的古典定义求随机事件的概率时,出错的类型有三种:一是对样本空间和事件中样本点的计数不在同一样本空间之下;二是样本空间中样本点的出现不具有等可能性;三是计数错误。文章在正确理解随机试验的实现过程、事件的定义以及事件的发生这三个要点的基础上,对样本空间和随机事件中样本点特征的准确把握不仅能够解决上述种种问题,而且能够做到一题多解。 展开更多

关键词 样本空间 样本点 特征 事件 概率

在线阅读 下载PDF 职称材料