株式会社日立製作所
2021 年 31 巻 4 号 p. 222-243
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
概要. 本論文では高電圧アナログ回路の定数探索に限量子消去を用いた手法を提案する．限量子消去は，一階述語論理式から限量子を除去して，等価となる自由変数を含んだ論理式を導く方法である．これは，安定動作を保証できる範囲の回路定数が得られるため，安全性が要求される高電圧アナログ回路の過去資産を流用した設計に適している．本論文では提案手法を用いて回路定数を求め，回路試作と実験を通し，その有効性を検討する．
すでにアカウントをお持ちの場合 サインインはこちら
