検証方法と出典

確認方法

• まだ自動テストはありません。ページの計算例は計算ツールと同じコードが出した値で、リポジトリ内で独立した計算による確認はしていません。

出典

特定の一つの出典には従わず、教科書の標準的な関係式を使います。式はツールページにあります。

確認方法

• 自動：設計探索で得たピークゲイン K_max を、Q 0.05〜0.8、m 2〜25 の範囲で FHA ゲイン曲線を細かくスイープした値と比較します。最大差は 0.1 % 未満です。
• 自動：m = 15 の上限表示と ZVS 確認（励磁ピーク電流 n·V_o/(4·f_s·L_m)、必要電荷 2·C_oss·V_in）を式と比較します。

出典

• ST AN2644, "An introduction to LLC resonant half-bridge converter" (CD00174208).
• Infineon, "Resonant LLC Converter: Operation and Design," application note, 2012.

確認方法

• 自動：SPS と DPS の閉形式を、インダクタ電流を区間ごとの直線として計算する厳密な時間領域評価器と比較します。M ≠ 1 を含む格子全体で差は 1e-9 未満です。
• 自動：任意の動作点で、評価器の電力、RMS 電流、ピーク電流が別の時間ステップシミュレーションと 0.1 % 以内で一致します。
• 自動：SPS の転流電流と ZVS 境界を Rodríguez ら（2015）の式 22、23、26、27 と比較し、対称性 P(φ) = −P(−φ)、φ に対する電力の単調性、ソルバ（二分法、DPS・TPS 最適化）を確認します。

出典

• R. W. De Doncker, D. M. Divan, M. H. Kheraluwala, IEEE Trans. Ind. Appl., vol. 27, no. 1, 1991.
• H. Bai, C. Mi, IEEE Trans. Power Electron., vol. 23, no. 6, 2008.
• B. Zhao, Q. Song, W. Liu, IEEE Trans. Power Electron., vol. 27, no. 9, 2012.
• B. Zhao, Q. Song, W. Liu, Y. Sun, IEEE Trans. Power Electron., vol. 29, no. 8, 2014.
• J. Huang, Y. Wang, Z. Li, W. Lei, IEEE Trans. Ind. Electron., vol. 63, no. 7, 2016.
• F. Krismer, J. W. Kolar, IEEE Trans. Power Electron., vol. 27, no. 1, 2012.

確認方法

• まだ自動テストはありません。ページの計算例（269 µH、インダクタピーク 19.02 A、リプル基準で 398 µF）は計算ツール自身のコードが出した値で、リポジトリ内で独立した計算による確認はしていません。

出典

特定の一つの出典には従わず、教科書の標準的な関係式を使います。式はツールページにあります。

確認方法

• 1回確認：TI U-165（SLUA086）の入力を与えると、D = 48.3 %、ピーク 5.16 A、2.74 A rms、83 µH（ノートは 80 µH に丸め）、ダイオード逆電圧 19.4 V、二次側ピーク 25.8 A となり、ノートと一致します。
• 自動：npm test が U-165 の結果を出力し、既定の設計で I_s,rms² − I_ripple² = I_out² を確認します。

出典

• TI application note U-165 (SLUA086).

確認方法

• 自動：LLC 電圧ループ実験のテストが、このツールと同じプラント・PI・遅延の構成をテスト内で別に書き、位相余裕とゲイン余裕を計算し直します。両者が一致しなければ失敗します。

出典

特定の一つの出典には従わず、教科書の標準的な関係式を使います。式はツールページにあります。

確認方法

• 1回確認：既定値は Unitrode U-134 の 250 W 設計例です。ノートの式を再現し、アンプゲイン 5.2、f_ci 15.9 kHz（R_cz を丸めると 15.7 kHz）、C_cz ≈ 507 pF、V_o,pk = 1.84 V、G_va = 0.0326、f_vi = 19.1 Hz を得ます。
• ノートが最終的に選んだ部品でループ全体を計算すると 17.5 kHz・46.7° と 14.9 Hz・52.5° になります。ノートの式が漸近近似であるためで、ページで説明しています。

出典

• P. C. Todd, Unitrode application note U-134 (TI SLUA144), UC3854 power factor correction design.

確認方法

• 1回確認：Type II・Type III の部品値は Venable の k ファクタで決め、クロスオーバーと余裕は k ファクタ近似ではなく完全な伝達関数からボード線図上で計算して表示します。まだ自動テストはありません。

出典

• H. D. Venable の k ファクタ法（ページでは名前のみで、特定の論文は引用していません）。

確認方法

• 自動：すべてのコードスタイル（C、ISR 直接アクセス型、C2000 CLA、C++、Arduino）を、PI と PID、誤差の微分と測定値の微分、微分フィルタの有無、アンチワインドアップとフィードフォワードの有無の組み合わせで生成し、C/C++ コンパイラで構文チェックします。Python の出力は NumPy で実行します。212 件の確認が通ります。

出典

特定の一つの出典には従わず、教科書の標準的な関係式を使います。式はツールページにあります。

確認方法

• 自動：Tustin、プリワープ付き Tustin、後退・前進オイラーの係数と、クロスオーバーでの位相誤差を固定値と比較します。
• 1回確認：ツール作成時に同じ係数を SciPy の cont2discrete の結果と比較しました。

出典

• G. F. Franklin, J. D. Powell, M. L. Workman, "Digital Control of Dynamic Systems," 3rd ed., Addison-Wesley, 1998.

確認方法

• 自動：三相の例で抵抗1本あたりのエネルギー（105.9 J）とピーク電力 I_max²·R を、2抵抗構成でピーク電流 I_max/2 とピーク電力 (I_max/2)²·R を確認します。後者は2026年10月に修正した誤りの回帰テストです。

出典

特定の一つの出典には従わず、教科書の標準的な関係式を使います。式はツールページにあります。

確認方法

• 自動：ゲート電荷法を式と比較します。ミラー期間 R·Q_gd/V_gp と R·Q_gd/(V_drv − V_gp)、例の RC 遅延 R·C·ln(12/5) と R·C·ln(12/9)、V_drv ≤ V_gp のとき結果を出さないこと。

出典

• onsemi AN-1090 (plateau gate current = (V_drv − V_gp)/R_g).
• Vishay AN608A, "Power MOSFET Basics: Understanding Gate Charge and Using it to Assess Switching Performance."

確認方法

• 1回確認：TI SLVA255 の例（217 MHz のリンギングが 300 pF の追加で約半分）を入れると 100 pF、5.38 nH、7.33 Ω となり、ノートの 100 pF、5.4 nH、7.3 Ω と一致します。
• 1回確認：リングダウンのシミュレーションで R_s = Z0、C_s ≫ C_p のときオーバーシュートは 16.4 %、ζ = 0.5 の期待値は 16.3 % です。

出典

• Texas Instruments application note SLVA255 (RC snubber for switch-node ringing).

確認方法

• 自動：Erickson の最適ダンピング抵抗と予測される出力インピーダンスのピークを、n = 1、2、4、8 で |Z_o| の数値スイープと比較します（0.001 % 以内）。ESR・DCR を含むピーク、R_d を半分・2倍にしたときのピークも確認します。

出典

• R. W. Erickson, D. Maksimović, "Fundamentals of Power Electronics," 2nd ed., Section 10.4.

確認方法

• 自動：ページの例（48 V → 12 V、10 A、200 kHz）を手計算と比較します。Q_gs2、4つのスイッチング区間、ターンオン・ターンオフのエネルギー、C_oss、Q_rr、ゲート損失、そして反復計算した接合温度を閉形式解と比較します。

出典

• D. Graovac, M. Pürschel, A. Kiep, "MOSFET Power Losses Calculation Using the Data-Sheet Parameters," Infineon, Application Note V1.1, 2006.

確認方法

• 1回確認（スクリプト、ページに説明あり）：長時間での Foster の和が ΣR_i に等しく、単一パルスの上昇 P·Z_th(t_p) が RC 回路網の RK4 積分と6桁一致し、厳密な周期ピークが120周期の時間ステップ計算と一致します。

出典

• Infineon application note AN2008-03 (thermal equivalent circuits, Foster and Cauer networks).

確認方法

• まだ自動テストはありません。計算例（PFC 計算ツールの既定設計の出力コンデンサ）は計算ツール自身のコードが出した値で、リポジトリ内で独立した計算による確認はしていません。

出典

• 日本ケミコンのラジアル・チップ形アルミ電解コンデンサの寿命式。
• 放熱定数についての Rubycon の近似。
• フィルムコンデンサのホットスポットについての KEMET と EPCOS（TDK）の資料。