公式判定相关硕士博士期刊学术论文 - 搜论网

公式判定相关论文

关键文字和极小不可满足公式

命题变元及其否定统称为文字，文字的析取称为子句，子句的合取称为合取范式(CNF公式)。如果存在一个赋值使得公式的值为1，则称该公式可......

学位

关键文字脊可满足公式极小不可满足公式算法复杂性

筒形件第一次拉深极限的公式判定法

根据筒形件第一次拉深时材料的变形特点，提出了“环料基本面积消化率”的概念，建立了筒形件第一次拉深极限的判定方程，其相应的计算结......

期刊

板料冲压筒形件拉深极限公式判定

看过本文同时还关注