strong-idealprime-semiring相关论文