形式对等和动态对等