型式認可 驗證登錄 差別