基于函数变换的求解SAT问题的新算法

提出了一种基于函数变换的求解SAT问题的新算法,这个新算法利用SAT问题自身的特点将判定问题转化为连续函数的求极值问题。随机选取一组初始值,利用最速下降法求解变换后的连续函数在每个初始值邻域内所能达到的局部极值,如果这个局部极值为0,则该SAT问题就是可满足的。实验结果表明:与现有的求解SAT问题的算法相比,基于函数变换的求解算法在求解速度、成功率和求解问题的规模等方面都有明显的提高。     

应用目的规划法与广义距离法综合评价教师工作质量的探索及分析

教育评价的任何对象,都是一个相对独立的系统,要对系统进行综合评价则必须依据系统所含的众多因素建立评价的指标体系.然而各个指标因反映系统不同的时性常常具有不同的量纲.因此,要对系统进行综合评价时务必克服量纲造成的障碍.而目的规划法和广义距离法则能较好地解决这一问题. 一、目的规划法和广义距离法概述 目的规划法是运筹学中多目标决策问题常用的数学方法,又称综合评价法.此方法寻求各决策方案的目标值与其所期望的值(叫理想值或最佳值)的距离最小者,即为最优方案. 设方案问题有n个方案AI,A。,…,人,m个目标SI,孔,…,\.方案人中…     

基于深海卷管铺设的海管椭圆度分析

深水海管在使用卷管铺设时,海管截面变形较大,产生椭圆化现象,降低了海管的弯曲能力,甚至使海管发生失稳及局部屈曲．利用应变能法和Ritz法建立了海管椭圆度理论求解方法．用有限元软件ABAQUS对有初始弯曲曲率及无初始弯曲曲率的海管分别进行了非线性有限元分析,并与modified Brazier方法及modified von Kármán方法得到的结果进行了比较．由以上几种方法得到的计算结果基本吻合．再次利用有限元软件对海管椭圆度的敏感参数进行了分析,多组结果显示椭圆度受海管管径、壁厚、初始弯曲曲率、弯曲曲率等参数的影响,并得到了椭圆度随海管几何参数变化的规律．椭圆度的研究为深海卷管铺设提供了理论基础.