SAT求解器
SAT求解器技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
SAT求解器 全部资料 500 份
matlab编程的三个线性方程组求解子程序：cggm.m,fdm.m,febs.m.其中cggm.m为共轭梯度法求解子程序,fdm.m为最速下降法求解自程序,febs.m为三对角追赶法求解子程序.
matlab编程的三个线性方程组求解子程序：cggm.m,fdm.m,febs.m.其中cggm.m为共轭梯度法求解子程序,fdm.m为最速下降法求解自程序,febs.m为三对角追赶法求解子程序.
2013-12-25
45
控温器设计要求
控温器设计要求-20120922112600 1功能要求:测温控温双功能.(当加热器开关处于关闭状态时，只能测温，当打开开关时既测温又控温,处于控温状态时 方可进行各种设置)。 2单电源供电：(加热片不另加配电源)。 3工作电压：12v 交...
2013-11-08
102
用循环链表求解约瑟夫(josephus)问题 求解约瑟夫(josephus)问题,用数组实现
用循环链表求解约瑟夫(josephus)问题 求解约瑟夫(josephus)问题,用数组实现
2013-12-14
153
算法包括:1.二分法求解 2.牛顿法求解 3.高斯消去法求解 4.雅可比迭代法求解 5.拉格朗日插值 6.牛顿插值 7.最小二乘法拟合 8.龙贝格方法计算积分 9.欧拉方法求解初值问题
算法包括:1.二分法求解 2.牛顿法求解 3.高斯消去法求解 4.雅可比迭代法求解 5.拉格朗日插值 6.牛顿插值 7.最小二乘法拟合 8.龙贝格方法计算积分 9.欧拉方法求解初值问题
2014-01-16
198