著者索引

ソフトウェア・ハードウェアの同時モジュール化による多体システムの動的制御

液化プロパン+エタノールおよび液化プロパン+2-プロパノール混合系の誘電物性に対するアルコールアルキル鎖の影響

モノエタノールアミン(MEA)、ブチルエタノールアミン(BEA)水溶液の密度、粘度測定およびCO2添加効果

キャプチャセーフベクトルの活性化ファンアウトフリー領域解析

キャプチャ消費電力を考慮したキャプチャセーフテスト集合のテスト圧縮法

kサイクルテストに基づく状態遷移機械のテスト生成法

kサイクルキャプチャテスト生成のためのテスト容易化設計に関する評価

テスト容易化機能的時間展開モデルを用いた故障検出率向上のためのテスト生成法

多重目標故障テスト生成の一考察

復号化鍵数によるIPコアの論理暗号化評価尺度

コントローラ拡大を用いた遷移故障テストパターン数削減のための演算器のテストレジスタ割当て法

コントローラ拡大を用いたテストパターン数削減のためのハードウェア要素の入出力テストレジスタ割当て法

SATを用いた到達不能状態に基づく順序回路のテスト不能故障判定法

変調回転容器内に発生する非定常流れの挙動

渦電流探傷Θプローブを用いた応力腐食割れの深さ評価の検討

炭素繊維強化プラスチックに対する渦電流探傷法に関する研究

数値シミュレーションによる急縮小部を通過する固液混相流れの考察