有限BCI-代数相关论文