分布式系统 青年 学术论文 与逻辑 学术年会 计算机理论 会议 大学教授