Dioid代数相关论文