【課題】状態爆発の問題を回避しつつ、モデル検査の検査対象を拡大すること。
【解決手段】イベントに応じて変化する状態の遷移条件を表形式であらわした状態遷移表に対応する状態遷移情報を取得する取得部と、とりうる状態を各ノードとする木構造の階層ごとに遷移条件を一階論理式化した論理式を状態遷移情報から生成する論理式生成部とを備えるようにモデル検査装置を構成する。また、論理式生成部によって生成された論理式に基づいて充足性モジュロ理論による検査を実行する検査実行部を備えるようにモデル検査装置を構成する。 （もっと読む）

【課題】配線パターンを形成する際に、同時にデカップリングキャパシタを形成することで、配線基板の製造の手間とコストを大幅に削減することができる配線基板形成方法等を提供する。
【解決手段】シリコン基板２に筒状のビア絶縁部３ａ，３ｂ、及びビア導電部４ａ，４ｂを形成する工程と、ビア導電部４ａの周囲領域に積層され、ビア絶縁部３ａの筒状端部の全周に亘って接続する絶縁材を延在させて誘電部５ａを形成する工程と、ビア導電部４ｂの周囲領域に積層され、ビア絶縁部３ｂの筒状端部に一部が接触しないように絶縁材を延在させて絶縁部５ｂを形成する工程と、誘電部５ａ及び絶縁部５ｂの表面に積層されると共にビア導電部４ａ，４ｂに接続される配線部６ａ，６ｂを形成する工程とを含み、配線部６ａが電源と接続され、配線部６ｂがグランドと接続され、配線部６ａとシリコン基板２とで誘電部５ａを挟むキャパシタが形成される。 （もっと読む）

【課題】識別対象物体の置かれる向きに関わらず、識別対象物体の識別処理時間を大幅に短縮することが可能な識別装置および識別方法の提供。
【解決手段】入力画像から閉領域を抽出する閉領域抽出手段１３と、入力画像から閉領域の特異点を取得する特異点取得手段１４と、特異点からいくつかの等しい距離上に存在する閉領域内の画素の含有度をそれぞれ算出することで、特異点周りの等距離画素強度パラメータを導出するパラメータ導出手段１５と、識別対象物体について等距離画素強度パラメータを予め導出したテンプレートデータを記憶するテンプレート記憶手段１６と、導出された等距離画素強度パラメータをテンプレート記憶手段１６に記憶されたテンプレートデータと照合し、識別対象物体を識別する識別手段１７とを含む。 （もっと読む）

【課題】ナノ組織を有するバルク状熱電変換多孔体、ナノ粒子を用いたバルク状熱電変換多孔体の製造方法、及びその製造装置を提供する。
【解決手段】平均粒径が２００ｎｍ以下の熱電変換材料のナノ粒子１１同士が連結したマトリックス部１１ａを有し、マトリックス部１１ａ内にナノメートルサイズの空孔１２の一部又は全部が連通した連続気孔が形成され、ゼーベック係数が、非ナノ組織を有するバルク状熱電変換材料と同程度となる。 （もっと読む）