文献

J-GLOBAL ID：200902232978821731   整理番号：09A0396392

SATソルバーを利用した診断用テスト生成法

著者 (4件)： 高橋寛 (愛媛大 大学院理工学研究科) ,  樋上喜信 (愛媛大 大学院理工学研究科) ,  松村佳典 (愛媛大 大学院理工学研究科) ,  高松雄三 (愛媛大 大学院理工学研究科)
資料名： 電気関係学会四国支部連合大会講演論文集(CD-ROM)  (Shikoku-Section Joint Convention Record of the Institutes of Electrical and Related Engineers (CD-ROM))
巻： 2008  ページ： ROMBUNNO.10-14  発行年： 2008年09月15日 
JST資料番号： L1738B  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *故障診断 ,  *CAD【計算機】 ,  *励起関数 ,  切断 ,  電気故障 ,  モデル ,  *故障解析 ,  ベンチマーク ,  故障モデル ,  断線
準シソーラス用語： テスト生成 ,  オープン故障 ,  故障励起

分類 (1件)： 固体デバイス計測・試験・信頼性  (NC03040G)

タイトルに関連する用語 (4件)： SAT ,  ソルバー ,  診断 ,  テスト生成