一类具有变指数源项的Petrovsky方程解的爆破性质

1

作者 陈静 王建 廖梦兰 《中国海洋大学学报(自然科学版)》 北大核心 2025年第S1期118-124,共7页

本文研究了一类具有变指数源项的Petrovsky方程解的爆破性质。在初始能量有界的情况下,作者运用能量泛函、构造辅助函数等方法,证明了解在有限时刻发生爆破,并得到了爆破时间的上下界估计。

关键词 解的爆破 变指数源项 爆破时间 上下界

在线阅读 下载PDF 职称材料

一类四阶抛物方程解的爆破时刻估计

2

作者 王娇娇 沈旭辉 《吉林大学学报(理学版)》 北大核心 2025年第3期740-746,共7页

考虑一类四阶抛物方程解的爆破现象.首先,引入一个新的不等式;其次,在适当的条件下证明方程的解在有限时刻发生爆破,并给出爆破时刻的上界估计;最后,利用新的不等式及微分不等式技巧,得出解的爆破时刻下界估计.

关键词 四阶抛物方程 微分不等式 爆破时刻的上界 爆破时刻的下界

在线阅读 下载PDF 职称材料

一种O（2．983^n）时间复杂度的最优联盟结构生成算法 被引量：11

3

作者 刘惊雷 张伟 +1 位作者 童向荣 张振荣 《软件学报》 EI CSCD 北大核心 2011年第5期938-950,共13页

首先,在有限整数集上建立有效拆分关系,在联盟集上建立有效二部分解关系,并设计了一种EOCS(effective optimal coalition structure)算法.该算法采用自底向上方式,只对具有有效二部分解关系的联盟进行二部分解来求联盟的优值,从而降低... 首先,在有限整数集上建立有效拆分关系,在联盟集上建立有效二部分解关系,并设计了一种EOCS(effective optimal coalition structure)算法.该算法采用自底向上方式,只对具有有效二部分解关系的联盟进行二部分解来求联盟的优值,从而降低了二部分解的数量.随后,利用函数的克林闭包特性证明了EOCS算法的正确性,利用积分极限定理证明了EOCS算法时间复杂度的下界是O(2.818n),用时间序列分析方法求出了EOCS算法的上界是O(2.983n).最后,将EOCS算法与其他算法作了对比,指出无论联盟值满足何种概率分布,EOCS算法都能在O(2.983n)时间内找出最优联盟结构.Rothkopf提出的DP(dynamic programming)算法和Rahwan提出的IDP(improved dynamic programming)算法能够在O(3n)时间内求出最优联盟结构.所作的EOCS算法设计、正确性证明、时间复杂度的上下界分析都是对Rothkopf及Rahwan等人相关工作的改进和提高. 展开更多

关键词 最优联盟结构 有效二部分解 克林闭包 时间复杂度的上下界 积分极限定理 时间序列分析

在线阅读 下载PDF 职称材料

一种根据决策树结合信息论的经典算法复杂度可能下界分析 被引量：3

4

作者 周毅敏 李光耀 《计算机科学》 CSCD 北大核心 2013年第11A期238-241,共4页

计算机算法是电子计算机诞生时同时出现的产物。有时甚至认为算法比现代计算机出现得更早。为解决具体问题,出现了各种各样的算法。算法的时间复杂度是算法实现中最关心的问题之一。然而,面对一个问题,是否存在一个算法复杂度不可逾越... 计算机算法是电子计算机诞生时同时出现的产物。有时甚至认为算法比现代计算机出现得更早。为解决具体问题,出现了各种各样的算法。算法的时间复杂度是算法实现中最关心的问题之一。然而,面对一个问题,是否存在一个算法复杂度不可逾越的界限以及如何确定这个界限却不常作为一个值得研究的问题受到重视。针对这个问题,提出了一个基于决策树和信息论的分析方法来对一些经典算法建模并分析这些算法的时间复杂度可能达到的下界是什么,以及如何计算这个下界等。所提计算方法是真实可行的,对列出的一些经典算法是有效的,并能够应用到其它一些文中未列出的算法中。 展开更多

关键词 算法 时间复杂度 决策树 信息论 下界

在线阅读 下载PDF 职称材料

CP-nets学习的复杂度 被引量：3

5

作者 刘惊雷 廖士中 《计算机科学》 CSCD 北大核心 2018年第6期211-215,共5页

CP-nets是一种简单且直观的图形化偏好表示工具,其表示、推理和学习是3个基本问题。不同于基于统计学习理论的研究方法,文中基于逻辑理论来研究二值CP-nets的学习问题。首先,建立命题公式的可满足性和CPnets表示的偏好公式之间的联系,将... CP-nets是一种简单且直观的图形化偏好表示工具,其表示、推理和学习是3个基本问题。不同于基于统计学习理论的研究方法,文中基于逻辑理论来研究二值CP-nets的学习问题。首先,建立命题公式的可满足性和CPnets表示的偏好公式之间的联系,将CP-nets的学习问题转化为命题的推理问题。随后,给出两类具有特殊结构的CP-nets的学习问题的计算复杂度,其中最复杂的无环CP-nets上的学习问题是NP-complete,而最简单的集合结构CP-nets上的学习问题是P。这些结论给出了CP-nets(如链结构、有界树宽)学习问题复杂度的上下界。 展开更多

关键词 二值条件偏好网 推理与学习 命题公式的可满足性 有界树宽的CP-nets 复杂度的上下界

在线阅读 下载PDF 职称材料

一种简单多边形凸包的新线性算法 被引量：10

6

作者 刘润涛 《工程图学学报》 CSCD 2002年第2期120-126,共7页

给出了一个计算简单多边形凸包的新算法。其搜索策略为:对简单多边形上的点进行分类,排除不可能为凸包上的点,缩小搜索范围,从而降低算法的时间复杂度。该算法具有线性时间复杂度和空间复杂度。同时,具体量化了该算法的复杂度,给出了该... 给出了一个计算简单多边形凸包的新算法。其搜索策略为:对简单多边形上的点进行分类,排除不可能为凸包上的点,缩小搜索范围,从而降低算法的时间复杂度。该算法具有线性时间复杂度和空间复杂度。同时,具体量化了该算法的复杂度,给出了该算法的时间复杂度和空间复杂度的确定的上界,即,时间复杂度为不超过4(n-4)次乘法、6(n-4)次减法和17n-12次比较运算,空间复杂度为不超过2n个存储单元(n是该简单多边形顶点的个数)。 展开更多

关键词 线性算法 简单多边形 凸包 计算几何 时间复杂度 空间复杂度

在线阅读 下载PDF 职称材料

华罗庚不等式的上界与下界的研究 被引量：1

7

作者 杨忠鹏 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第3期297-301,共5页

在多复变分析的研究中,华罗庚发现并证明了行列式不等式det(I-AAH)det(I-BBH)≤|det(I-ABH)|2,其中n×n复矩阵A,B满足I-AAH,I-BBH都是Hermitian正定矩阵.本文从一个矩阵恒等式的应用出发,给出了较为精细的华罗庚不等式的新的上界和... 在多复变分析的研究中,华罗庚发现并证明了行列式不等式det(I-AAH)det(I-BBH)≤|det(I-ABH)|2,其中n×n复矩阵A,B满足I-AAH,I-BBH都是Hermitian正定矩阵.本文从一个矩阵恒等式的应用出发,给出了较为精细的华罗庚不等式的新的上界和下界:det(I-AAH)det(I-BBH)+|det(A-B)|2+(2n-2)|det(A-B)|[det(I-AAH)det(I-BBH)]21≤|det(I-ABH)|2≤det(I+AAH)det(I+BBH)+(22n-1-2n+1+1)|det(A+B)|2-(2n-2)|det(A+B)[(22(n-1)-2n)|det(A+B)|2+det(I+AAH)det(I+BBH)]21. 展开更多

关键词 矩阵恒等式 Hermitian正定矩阵 行列式不等式 上界 下界

在线阅读 下载PDF 职称材料

基于分支回溯的NAE-3SAT问题求解算法

8

作者 谷文祥 傅琳璐 +1 位作者 周俊萍 姜蕴晖 《智能系统学报》 北大核心 2012年第6期506-511,共6页

NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效... NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效率.最后证明了算法在最坏情况下的时间复杂度上界为O(1.618n),其中n为公式中的变量数目. 展开更多

关键词 NAESAT NAE-3SAT 时间复杂性 NAE-3SAT问题上界 变量数目 分支回溯

在线阅读 下载PDF 职称材料

具有Markov链利率的风险模型的破产研究 被引量：4

9

作者 孙华斌 孙勇 《科学技术与工程》 2010年第24期5976-5980,共5页

在随机利率服从Markov链下,建立起带随机利率的离散风险过程模型。重点探讨了破产前后盈余的情况。分别给出了破产前一刻盈余和破产赤字的分布的积分表达式。由此推导得出最终破产概率的积分表达式。最后讨论了在利率为非负情况下破产... 在随机利率服从Markov链下,建立起带随机利率的离散风险过程模型。重点探讨了破产前后盈余的情况。分别给出了破产前一刻盈余和破产赤字的分布的积分表达式。由此推导得出最终破产概率的积分表达式。最后讨论了在利率为非负情况下破产概率的一个上界,改进已往的结论,并且对利率为0≥Ii>-1情况下给出了最终破产概率的下界。 展开更多

关键词 离散时间风险模型 MARKOV链 破产概率 鞅方法 上下界

在线阅读 下载PDF 职称材料

一类带有变指数非局部项的反应扩散方程解的爆破行为 被引量：2

10

作者 田娅 秦瑶 向晶 《应用数学和力学》 CSCD 北大核心 2022年第10期1177-1184,共8页

该文考虑了一类带有变指数非局部项的反应扩散方程的爆破问题.首先,由不动点原理,证明了问题解的局部存在性和唯一性.其次,利用上下解方法,给出在齐次Dirichlet边界条件下,问题的解在有限时间发生爆破的充分条件,即变指数大于零且初始... 该文考虑了一类带有变指数非局部项的反应扩散方程的爆破问题.首先,由不动点原理,证明了问题解的局部存在性和唯一性.其次,利用上下解方法,给出在齐次Dirichlet边界条件下,问题的解在有限时间发生爆破的充分条件,即变指数大于零且初始值足够大,并对爆破时间的上下界进行了估计. 展开更多

关键词 非局部项 变指数 有限时间爆破 爆破时间上下界

在线阅读 下载PDF 职称材料

面向时间依赖路网的空间索引方法 被引量：1

11

作者 李佳佳 臧寅旭 +2 位作者 刘向宇 夏秀峰 朱睿 《计算机工程》 CAS CSCD 北大核心 2019年第5期127-134,共8页

在兴趣点(POI)呈稀疏分布时,现有时间依赖路网中的k近邻查询方法效率较低,且无法高效支持多类型的POI查询。为此,建立基于POI分布的空间索引结构TDG。根据路径权值上、下界对预计算路径进行剪枝优化,在此基础上,提出一种索引更新策略与... 在兴趣点(POI)呈稀疏分布时,现有时间依赖路网中的k近邻查询方法效率较低,且无法高效支持多类型的POI查询。为此,建立基于POI分布的空间索引结构TDG。根据路径权值上、下界对预计算路径进行剪枝优化,在此基础上,提出一种索引更新策略与基于TDG的k近邻查询算法。实验结果表明,与启发式查询算法相比,该算法的扩展节点数量平均减少87.5%,查询响应时间平均缩短33%～66%。 展开更多

关键词 时间依赖路网 多类型POI 网格划分 上、下界剪枝 K近邻查询

在线阅读 下载PDF 职称材料