条形域平面弹性问题与哈密尔顿体系

利用结构力学与最优控制相模拟的理论，将弹性力学势能变分原理导向部分一般 变分原理，并将哈密尔顿体系的理论引入到弹性力学与椭圆型偏微分方程之中，导出 一套横向哈密尔顿算子矩阵的本征函数向量展开解法。这种方法可广泛地用于柱形域 的课题。具体通过条形域平面弹性问题的推导与求解，表现出这套方法的特点。

THE -PROBLEM FOR HOLOMORPHIC (0,2)-FORMS ON PSEUDOCONVEX DOMAINS IN SEPARABLE HILBERT SPACES AND D.F.N. SPACES

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.

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法

适当的重启有助于求解器跳出局部最优,但频繁重启会严重降低效率。为解决CDCL求解器重启触发条件随意性大的问题,提出一种基于搜索路径识别的延迟重启算法。该算法使用Luby序列触发延时重启判断,将当前搜索路径和已搜索路径转换为向量空间模型,通过计算向量空间相似度来判断当前搜索过程是否会进入重复搜索空间。若向量空间相似度达到设定阈值,则触发重启,否则延迟重启。采用SAT国际竞赛的实例,与两个主流的求解器进行了对比实验。结果表明,所提算法能够有效规避重复搜索空间问题,并显著提高求解效率。