条件独立的捆绑逻辑| IEEE会议出版物| IEEE Xplore