检索结果-维普期刊中文期刊服务平台

d-正则(k,s)-SAT问题的NP完全性被引量：2: 1; 作者符祖峰许道云《软件学报》 EI CSCD 北大核心 2020年第4期1113-1123,共11页; 研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则... 展开更多; 关键词 d-正则(k s)-CNF公式 sAT问题 NP完全性; 在线阅读下载PDF 职称材料

局部引理及其在(r，s)-SAT问题中的应用: 2; 作者邓天炎张庆顺许道云《计算机工程与科学》 CSCD 2008年第11期68-71,共4页; 一般说来,寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径:证明满足一定结构性质的对象的概率大于零。在概率方法中,局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法,并将其应用到估计(k,... 展开更多; 关键词概率方法局部引理(r s)-sat问题临界函数; 在线阅读下载PDF 职称材料

双曲型双边值差分逼近G.K.S.稳定条件的代数形式: 3; 作者陈传淡《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1989年第1期19-24,共6页; (数学系) 导出双曲型偏微分方程式双边值问题差分逼近的G.K.S.稳定性判别条件的代数形式,并得到判别G.K.S.稳定性的若干定理。; 关键词 G.k.s.稳定双边值问题差分逼近; 在线阅读下载PDF 职称材料

双曲型双边值问题差分逼近G.K.S.稳定的收敛速率: 4; 作者陈传淡《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1989年第4期331-336,共6页; 本文是单边值问题G.K.S。稳定收敛速率的推广,由双曲型偏微分方程混合双边值问题差分逼近的相容性,G.K.S.稳定的定义及各内点、边界点差分逼近精度及初值精度求出差分逼近总体误差的精度。; 关键词双曲方程双边值问题差分逼近; 在线阅读下载PDF 职称材料

K-解析函数的Riemann边值问题被引量：3: 5; 作者张建元赵书芬韩艳《应用数学和力学》 CSCD 北大核心 2014年第7期805-814,共10页; 引入了(分片)K-解析函数和Cauchy型K-积分的概念.利用K-对称变换的方法研究了Cauchy型K-积分的某些性质,然后借助函数在曲线上的指标与这些Cauchy型K-积分的性质,得到了K-解析函数类中的Riemann边值问题的可解条件和解的表达式以及它们... 展开更多; 关键词 Cauchy型k-积分 (分片)k-解析函数 k-对称变换边界值公式 RIEMANN 边值问题指标; 在线阅读下载PDF 职称材料

双曲方程初边值问题的高精度差分格式被引量：1: 6; 作者朱景辉《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第3期306-308,共3页; 双曲型方程?u/?t=a*(?u/?x)的差分格式 G.K.S.稳定的讨论已在给出,分别给出了两个截断误差为O(k^2+K^4)的格式,虽然计算时可取k～k^2,以便使格式有更好的精度,但此时时间步长k变得非常小,故原格式实际上只有二阶精度,本文中给出了一个具... 展开更多; 关键词双曲型方程初边值问题差分格式; 在线阅读下载PDF 职称材料

题名d-正则(k,s)-SAT问题的NP完全性被引量：2: 1; 作者符祖峰许道云; 机构贵州大学计算机科学与技术学院安顺学院电子与信息工程学院; 出处《软件学报》 EI CSCD 北大核心 2020年第4期1113-1123,共11页; 基金国家自然科学基金(61762019,61862051)。; 文摘研究具有正则结构的SAT问题是否是NP完全问题,具有重要的理论价值.(k,s)-CNF公式类和正则(k,s)-CNF公式类已被证明存在一个临界函数f(k),使得当s≤f(k)时,所有实例都可满足;当s≥f(k)+1时,对应的SAT问题是NP完全问题.研究具有更强正则约束的d-正则(k,s)-SAT问题,其要求实例中每个变元的正负出现次数之差不超过给定的自然数d.通过设计一种多项式时间的归约方法,证明d-正则(k,s)-SAT问题存在一个临界函数f(k,d),使得当s≤f(k,d)时,所有实例都可满足;当s≥f(k,d)+1时,d-正则(k,s)-SAT问题是NP完全问题.这种多项式时间的归约变换方法通过添加新的变元和新的子句,可以更改公式的子句约束密度,并约束每个变元正负出现次数的差值.这进一步说明,只用子句约束密度不足以刻画CNF公式结构的特点,对临界函数f(k,d)的研究有助于在更强正则约束条件下构造难解实例.; 关键词 d-正则(k s)-CNF公式 sAT问题 NP完全性; Keywords d-regular(k s)-CNF sAT-problem NP-completeness; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名局部引理及其在(r，s)-SAT问题中的应用: 2; 作者邓天炎张庆顺许道云; 机构贵州大学计算机科学系广西师范学院数学与计算机科学系; 出处《计算机工程与科学》 CSCD 2008年第11期68-71,共4页; 基金贵州省高层次人才科研条件特助基金资助项目(TZJF-2007-23); 文摘一般说来,寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径:证明满足一定结构性质的对象的概率大于零。在概率方法中,局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法,并将其应用到估计(k,s)-SAT问题中临界函数的下界。; 关键词概率方法局部引理(r s)-sat问题临界函数; Keywords probability method local lemma （k, s）-sat problem critical functions; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名双曲型双边值差分逼近G.K.S.稳定条件的代数形式: 3; 作者陈传淡; 机构厦门大学数学系; 出处《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1989年第1期19-24,共6页; 文摘 (数学系) 导出双曲型偏微分方程式双边值问题差分逼近的G.K.S.稳定性判别条件的代数形式,并得到判别G.K.S.稳定性的若干定理。; 关键词 G.k.s.稳定双边值问题差分逼近; Keywords G. k. s, stability, Double-boundaries value problem, Hyperbolie difference approximation; 分类号 O175.27 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名双曲型双边值问题差分逼近G.K.S.稳定的收敛速率: 4; 作者陈传淡; 机构厦门大学数学系; 出处《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1989年第4期331-336,共6页; 文摘本文是单边值问题G.K.S。稳定收敛速率的推广,由双曲型偏微分方程混合双边值问题差分逼近的相容性,G.K.S.稳定的定义及各内点、边界点差分逼近精度及初值精度求出差分逼近总体误差的精度。; 关键词双曲方程双边值问题差分逼近; Keywords G. k. s. stability, Convergence, Convergent rate, Difference approximation, Mixed initial double boundries value problems; 分类号 O241.82 [理学—计算数学]; 在线阅读下载PDF 职称材料

题名K-解析函数的Riemann边值问题被引量：3: 5; 作者张建元赵书芬韩艳; 机构昭通学院数学与统计学院哈尔滨工业大学数学系; 出处《应用数学和力学》 CSCD 北大核心 2014年第7期805-814,共10页; 基金国家自然科学基金(11061028) 云南省教育厅科学研究基金(2012Y435 2013Y578)~~; 文摘引入了(分片)K-解析函数和Cauchy型K-积分的概念.利用K-对称变换的方法研究了Cauchy型K-积分的某些性质,然后借助函数在曲线上的指标与这些Cauchy型K-积分的性质,得到了K-解析函数类中的Riemann边值问题的可解条件和解的表达式以及它们与指标之间的关系.而解析函数和共轭解析函数都是K-解析函数的特例,文中所得结果,推广了解析函数和共轭解析函数中的相应结论.; 关键词 Cauchy型k-积分 (分片)k-解析函数 k-对称变换边界值公式 RIEMANN 边值问题指标; Keywords Cauchy type k-integral （piecewise） k-analytic function k-symmetry transforma-tion boundary value formula Riemann＇ s boundary value problem index; 分类号 O174.55 [理学—基础数学] O175.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名双曲方程初边值问题的高精度差分格式被引量：1: 6; 作者朱景辉; 机构厦门大学数学系; 出处《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第3期306-308,共3页; 文摘双曲型方程?u/?t=a*(?u/?x)的差分格式 G.K.S.稳定的讨论已在给出,分别给出了两个截断误差为O(k^2+K^4)的格式,虽然计算时可取k～k^2,以便使格式有更好的精度,但此时时间步长k变得非常小,故原格式实际上只有二阶精度,本文中给出了一个具有G.K.S.; 关键词双曲型方程初边值问题差分格式; Keywords Differences scheme, G. k. s. stability, convergency, Hyperbolic initial-boundary value problem; 分类号 O175.27 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	d-正则(k,s)-SAT问题的NP完全性	符祖峰许道云	《软件学报》 EI CSCD 北大核心	2020	2	在线阅读下载PDF 职称材料
2	局部引理及其在(r，s)-SAT问题中的应用	邓天炎张庆顺许道云	《计算机工程与科学》 CSCD	2008	0	在线阅读下载PDF 职称材料
3	双曲型双边值差分逼近G.K.S.稳定条件的代数形式	陈传淡	《厦门大学学报（自然科学版）》 CAS CSCD 北大核心	1989	0	在线阅读下载PDF 职称材料
4	双曲型双边值问题差分逼近G.K.S.稳定的收敛速率	陈传淡	《厦门大学学报（自然科学版）》 CAS CSCD 北大核心	1989	0	在线阅读下载PDF 职称材料
5	K-解析函数的Riemann边值问题	张建元赵书芬韩艳	《应用数学和力学》 CSCD 北大核心	2014	3	在线阅读下载PDF 职称材料
6	双曲方程初边值问题的高精度差分格式	朱景辉	《厦门大学学报（自然科学版）》 CAS CSCD 北大核心	1992	1	在线阅读下载PDF 职称材料