劉 深淵 IEEE