完全なエクスポートマトリックス

マトリックスの構造

マトリックスのキーは(family, task, format)です。ファミリーキーはモデルレジストリの標準名、タスクキーはlibreyolo.tasks.TASKSから取得し、形式は次の12種類です。

onnx、torchscript、executorch、tensorrt、openvino、paddle、mnn、rknn、ncnn、tflite、coreml、coreai。

model.export(format=...)はさらに2つの別名を受け付けます。tensorrtを表すengineと、TensorFlow Liteの現在の名称であるtfliteを表すlitertです。形式と.tflite接尾辞は変わりません。

from libreyolo.export.support import (    EXPORT_FORMATS,    get_support,    validated_alternatives,) print(EXPORT_FORMATS) entry = get_support("yolo9", "detect", "onnx")print(entry.tier, entry.since)print(entry.constraint) print(validated_alternatives("yolo9", "detect"))

libreyolo formats --family yolo9 --task detectlibreyolo formats --family yolo9 --task detect --json

1つのセルが3つのキーから決まるため、完全なグリッドは大きく、リリースごとに変化します。手作業で記述せず生成され、ライブラリリポジトリのdocs/export_support.mdにあります。コピーを読むのではなく、PythonまたはCLIでマトリックスへ問い合わせてください。

3つのティア

validatedとavailableの組み合わせはどちらも確認操作や一律の警告なしで処理を続行します。記録済みの根拠と制約は生成ドキュメントに表示されます。blockedの組み合わせは、依存関係の確認、キャリブレーションの読み込み、トレース、アーティファクト作成より前に失敗します。

validatedの項目を追加するには一致度テストとsinceフィールドが必要です。

SupportEntryはtier、理由を表すreason文字列、導入リリースを表すsince、constraint文字列という4つのフィールドを持ちます。統合時に重要なのは制約です。チェックマークは記載条件の範囲内だけに適用され、通常は固定入力キャンバス、バッチ1、FP32、特定のランタイムバージョンが示されます。

セルの決定方法

get_support(family, task, fmt)は次の順序で解決します。最初に一致した規則が適用されます。

1. 未知のタスク、または12形式以外はblockedを返します。
2. 明示的な(family, task, format)項目があれば、記録どおりに返します。
3. ファミリー全体のブロックがあれば、そのファミリーの理由とともにblockedを返します。
4. タスク全体のブロックがあれば、そのタスクの理由とともにblockedを返します。
5. ncnnでは、NCNNブロックリストにあるファミリーがblockedを返します。
6. mnnはblockedを返します。このファミリーとタスクのランタイム契約がありません。
7. rknnはblockedを返します。このバージョンのRKNNは、RK3588上でシミュレーター検証済みの正確な検出バリアント、YOLO9-t、YOLO9-E2E-t、YOLO-NAS-s、PicoDet-sだけに限定されます。
8. tensorrtとopenvinoはavailableを返します。変換経路は存在しますが、このファミリーとタスクでのランタイム一致は未記録です。
9. tflite、paddle、coreai、coremlは、それぞれ固有の理由とともにblockedを返します。
10. それ以外はavailableを返します。変換は実装済みですが、数値的なランタイム一致は未記録です。

手順8から10の非対称性は意図的です。TensorRTとOpenVINOはONNXから汎用的に変換するため、一覧にない組み合わせも試す価値があります。TFLite、Paddle、Core AI、CoreMLにはファミリーごとの経路が必要なので、一覧にない組み合わせは試行の案内ではなく拒否になります。

ブロックされるタスク

次のタスクは、明示的な項目がないすべてのファミリーでブロックされます。

明示的な項目はこれらを上書きします。そのため、たとえば接続済みのsemanticファミリーはエクスポートできます。

ブロックされるファミリー

PicoSAM3はプロンプト可能ティアの例外で、生の96px ROIネットワークをONNXへエクスポートします。

NCNNでのブロック

DETR形式のデコーダーはNCNNにないサンプリング演算を必要とするため、明示的な項目で別途指定されない限り、次のファミリーはncnnでブロックされます。Deformable DETR、DETR、DINO-DETR、D-FINE、LW-DETR、DEIM、DEIMv2、RT-DETR、RT-DETRv2、RT-DETRv4、RF-DETR、ECです。拒否メッセージには代替としてONNX、OpenVINO、TorchScript、TensorRTが示されます。

一致度のしきい値

validatedのセルは、エクスポート済みアーティファクトが次の範囲内でネイティブモデルを再現したことを意味します。

DETRのクエリ行は順序のない集合なので、DETRファミリーの一致度確認では位置順ではなく集合としてクエリ行を対応付けます。

エクスポート

from libreyolo import LibreYOLOfrom libreyolo.export.support import get_support model = LibreYOLO("LibreYOLO9t.pt")print(model.export(format="onnx")) # 呼び出し前に確認する ブロック済みの組み合わせは事前確認で例外となり# メッセージにこの理由が含まれるblocked = get_support("domedetr", "detect", "onnx")print(blocked.tier)print(blocked.reason)

ブロックされた組み合わせは事前確認でNotImplementedErrorを送出し、メッセージに記録済みの理由が含まれます。validated_alternatives(family, task)はその組み合わせで検証済みの形式を返すため、拒否理由の隣に表示すると便利です。

全エクスポーター共通の引数はモデルAPIページに記載されています。形式固有の引数は各形式のページを参照してください。

制約の読み方

validatedのセルが示すのは1つの測定済み設定であり、形式全般に対する主張ではありません。FP32, batch 1, fixed 520x520 inputのような制約文字列は、その形状と精度で一致度が記録されたことを意味します。異なる解像度やバッチサイズでエクスポートしてもアーティファクトは生成されますが、その数値の根拠となった設定ではありません。