强否运算相关论文