期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
条形域平面弹性问题与哈密尔顿体系 被引量:81
1
作者 钟万勰 《大连理工大学学报》 EI CAS CSCD 北大核心 1991年第4期373-384,共12页
利用结构力学与最优控制相模拟的理论,将弹性力学势能变分原理导向部分一般 变分原理,并将哈密尔顿体系的理论引入到弹性力学与椭圆型偏微分方程之中,导出 一套横向哈密尔顿算子矩阵的本征函数向量展开解法。这种方法可广泛地用于柱... 利用结构力学与最优控制相模拟的理论,将弹性力学势能变分原理导向部分一般 变分原理,并将哈密尔顿体系的理论引入到弹性力学与椭圆型偏微分方程之中,导出 一套横向哈密尔顿算子矩阵的本征函数向量展开解法。这种方法可广泛地用于柱形域 的课题。具体通过条形域平面弹性问题的推导与求解,表现出这套方法的特点。 展开更多
关键词 平面 弹性 哈密尔顿体系 条形域
下载PDF
THE -PROBLEM FOR HOLOMORPHIC (0,2)-FORMS ON PSEUDOCONVEX DOMAINS IN SEPARABLE HILBERT SPACES AND D.F.N. SPACES
2
作者 J.LEE K.H.SHON 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2002年第1期67-74,共8页
This paper shows that the 8-problem for holomorphic (0, 2)-forms on Hubert spaces is solv-able on pseudoconvex open subsets. By using this result, the authors investigate the existence of the solution of the -equation... This paper shows that the 8-problem for holomorphic (0, 2)-forms on Hubert spaces is solv-able on pseudoconvex open subsets. By using this result, the authors investigate the existence of the solution of the -equation for holomorphic (0, 2)-forms on pseudoconvex domains in D.F.N. spaces. 展开更多
关键词 -prob1em Pseudoconvex domain Nuclear operator D.F.N. space
原文传递
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法
3
作者 陈青山 徐扬 +1 位作者 吴贯锋 何星星 《计算机科学》 CSCD 北大核心 2017年第11期279-283,共5页
适当的重启有助于求解器跳出局部最优,但频繁重启会严重降低效率。为解决CDCL求解器重启触发条件随意性大的问题,提出一种基于搜索路径识别的延迟重启算法。该算法使用Luby序列触发延时重启判断,将当前搜索路径和已搜索路径转换为向量... 适当的重启有助于求解器跳出局部最优,但频繁重启会严重降低效率。为解决CDCL求解器重启触发条件随意性大的问题,提出一种基于搜索路径识别的延迟重启算法。该算法使用Luby序列触发延时重启判断,将当前搜索路径和已搜索路径转换为向量空间模型,通过计算向量空间相似度来判断当前搜索过程是否会进入重复搜索空间。若向量空间相似度达到设定阈值,则触发重启,否则延迟重启。采用SAT国际竞赛的实例,与两个主流的求解器进行了对比实验。结果表明,所提算法能够有效规避重复搜索空间问题,并显著提高求解效率。 展开更多
关键词 SAT问题 命题逻辑 重启 路径识别 向量空间模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部