document.getElementById("med-ftitle").innerHTML=`通过软件组件架构中的量词消去法判定霍普夫分支
`;