三值计算机相关论文