Jump to main content

yr 〜
yr

Search results 13

類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究

類似度を考慮した等価論理を用いたハードウェアの高位設計検証手法の研究
Paper図書
木村晋二, 早稲田大学 [著][木村晋二]2005-2007<Y151-H17500047>
National Diet Library
  • Subject Heading等価論理 / ハードウェアの等価検証 / 無評価関数 / 項書き換え

状況評価機能の広範囲への適用に関する研究

状況評価機能の広範囲への適用に関する研究
Paper図書
川合慧, 東京大学 [著][川合慧]2005-2006<Y151-H17500086>
National Diet Library
  • Subject Heading評価関数 / アスペクト / 機械学習 / 自己反映計算 / モデル...

状況評価関数の自動獲得と動的評価器の自動生成の研究

状況評価関数の自動獲得と動的評価器の自動生成の研究
Paper図書
川合, 慧, 東京大学2001-2002<Y151-H13680434>
National Diet Library
  • Subject Heading評価関数 動的評価器 知識獲得 局面遷移規則 feature ガロア...

カオスニユ-ラルネツトワ-クを用いた洞察的問題解決システムの設計

カオスニユ-ラルネツトワ-クを用いた洞察的問題解決システムの設計
Paper図書
中川, 正宣, 東京工業大学2001-2002<Y151-H13480043>
National Diet Library
  • Subject Heading洞察 問題解決 ニユ-ラルネツトワ-ク カオス 評価関数 心理学実験

高精度な状況評価機能の自動学習の研究

高精度な状況評価機能の自動学習の研究
Paper図書
川合慧, 東京大学 [著][川合慧]2003-2004<Y151-H15500084>
National Diet Library
  • Subject Heading評価関数 / 動的評価器 / 知識獲得 / 局面遷移規則 / fea...

確率モデルにおける非線形動的最適化理論と数理ファイナンスへの応用

確率モデルにおける非線形動的最適化理論と数理ファイナンスへの応用
Paper図書
大坪義夫, 高知大学 [著][大坪義夫]2005-2007<Y151-H17540121>
National Diet Library
  • Subject Headingマルコフ決定過程 / ミニマム型評価関数 / 最適方程式 / 効用制約決定過程 / 鞍点定理 / 黄...

土壌汚染調査のための最適サンプリング地点選定システムの開発

土壌汚染調査のための最適サンプリング地点選定システムの開発
Paper図書
米田稔, 京都大学 [著][米田稔]2000-2003<Y151-H12558072>
National Diet Library
  • Subject Heading空間的確率変数 / geostatistics / 不確定性 / サンプリング地点 / 最適配置 / 土壌汚染 / 数値シミュレーション / 評価関数

フアジイ理論を応用した教育評価の研究

フアジイ理論を応用した教育評価の研究
Paper図書
山下, 元, 早稲田大学1996-1997<Y151-H08680209>
National Diet Library
  • Subject Headingフアジイ理論 フアジイ集合 フアジイ推論 教育評価 評価関数 評価システム メンバーシツプ関数 推論規則

遺伝的アルゴリズムを用いた都市再開発の最適化設計手法に関する研究

遺伝的アルゴリズムを用いた都市再開発の最適化設計手法に関する研究
Paper図書
毛谷村, 英治, 宮城大学1997-1998<Y151-H09750694>
National Diet Library
  • Subject HeadingGA (Genetic Algorithms) 遺伝的アルゴリズム 都市再開発 要求条件 プログラム フイージビリテイスタデイ 最適化設計手法 評価関数

都市大型重要構造物の地震時における振動制御に関する研究

都市大型重要構造物の地震時における振動制御に関する研究
Paper図書
吉川, 正昭, 高知工業高等専門学校1996-1998<Y151-H08650566>
National Diet Library
  • Subject Headingフイードバツク・フイードフオワードループ制御 付加質量型制振装置 大型塔状構造物又は高層建物 時間依存型評価関数 マトラブのSimulink H ロバスト制御

長大土木構造物の最適震動制御に関する研究

長大土木構造物の最適震動制御に関する研究
Paper図書
佐藤, 忠信, 京都大学1991-1992<Y151-H03650380>
National Diet Library
  • Subject Heading地震エネルギー 震動制御 閉開ループ制御 ニユーラルネツトワーク 自己回帰過程 カルマンフイルター 評価関数 制御時間遅れ

局所エントロピー・フローに基づく画像情報の感覚的評価関数の研究

局所エントロピー・フローに基づく画像情報の感覚的評価関数の研究
Paper図書
田中, 初一, 神戸大学1985-1986<Y151-S60580026>
National Diet Library
  • Subject Heading画像 局所エントロピー・フロー 定エントロピーの原理 エントロピー・フイルタ 感覚的評価関数

長大重量構造物における免震構造に関する研究

長大重量構造物における免震構造に関する研究
Paper図書
土岐, 憲三, 京都大学1987-1988<Y151-S62550335>
National Diet Library
  • Subject Heading最適制御則 閉開ループ制御 時間依存型評価関数 地震入力エネルギー 最適レギユレータ問題 作用時間遅れ 地...

Reached to the end of result.

RSS