著者索引

HFO-1234ze(E)+エタノール混合系の沸点測定と相関

303.2Kにおける液化ジメチルエーテル+エタノール+水混合系の誘電物性

常圧下におけるエタノール + アンチピリン系およびエタノール + 水 + アンチピリン系の固液平衡関係の測定と相関

マルチプレクサの遷移故障検出のためのコントローラ拡大法

パーシャルMax-SATを用いた低消費電力指向ドントケア判定・割当て同時最適化法

記号シュミレーションに基づくテスタビリティ解析を用いたテスト容易化機能的時間展開モデル選択法

n回状態遷移被覆に基づく非スキャンベースオンラインテスト法

論理故障VLSIに対するユニバーサル論理故障シミュレーションを用いた故障診断法の評価

ハードウェアテストスケジューリング情報に基づくテスト生成法

RTLにおけるアンチSATに基づくコントローラの論理暗号化の評価

ニューラルネットワークを用いた高消費電力FF組合せ集合の推定

RTLにおける故障診断容易化のための観測ポイント挿入法

パーシャルスキャン設計とコントローラ拡大を用いた遷移故障用テスト容易化機能的k時間展開モデル生成法

遷移故障検出率向上のためのコントローラの無効状態設計と状態割当て法

フィラメントワインディング製FRP円筒のエネルギー吸収特性

低圧下でのプール沸騰における熱伝達特性-伝熱面寸法の影響-