黄河流域民间宗祠保护与文化传承机制的探讨及实证

宗祠文化在中华优秀传统文化中呈现出最独特、鲜明的表征形式。鉴于宗祠建筑损毁及文化价值流失、传承意识淡薄、系统保护措施匮乏等“文化失忆”问题。选取黄河流域民间宗祠为研究对象,以探索民间宗祠文化的传承机制为研究主线,溯源民间宗祠文化传承与乡村振兴、文化自信的内在联系。基于SPSS分析,采用田野调查法、因子分析法、比较归纳法等定量与定性结合的方法相耦合,厘清黄河流域民间宗祠的现实困境及宗祠文化传承的影响因素。总结出抢救式保护宗祠建筑本体、活态化转译宗祠文化基因、多维度赋能乡村建设的在地性保护传承模式,以期更好地助推文化遗产的保护传承事业与乡村振兴建设的蓬勃发展。

LIUF理论量词公式的插值算法

量词公式的插值是LIUF理论中一个未解决的问题。针对如何消去量词、消去量词后如何求出公式的插值等问题,提出了一种基于无量词公式理论插值的新算法。首先利用斯科拉姆化消去存在量词,并通过引入新变量消去全称量词,使量词公式变为无量词公式;然后运用已有的LIUF无量词理论公式插值算法求出变换后公式的插值;最后将插值中含有的新变量用存在量词或全称量词替换,从而得到LIUF理论中量词公式的插值。实例表明新算法可以解决LIUF理论中量词公式的插值问题。

DPLL算法中的变量决策启发式策略

针对命题公式φ(CNF形式)的可满足性问题的求解效率问题,基于对DPLL完全算法的学习和在不同形式下对子句文字排序处理的研究,提出了一种新的求解SAT问题的算法。新算法根据子句长度对命题公式φ进行分组,并根据变量出现次数进行初始排序,然后考虑变量中正负文字出现的次数,并对次数高的进行赋值。算法实例表明:新算法能减少求解过程中规则使用次数,减少求解步骤,尽早剪除不满足解空间,从而有效提高求解效率。