混合逻辑动态相关论文