document.getElementById("med-ftitle").innerHTML=`标准量化线性规划的有序量词消去方法
`;