検索結果 19 件
デジタル博士論文障害者向け資料あり
国立国会図書館
- 件名都市の観察 建築設計 設計方法論 同化 異化 都市要素 ファサード プロポーション 抽象化 空間構成 スタディ 設計プロセス 材料 ディテール 自立性
- 一般注記...り、異化の操作はそのデザインを抽象化する操作であると言い換えることができた。また、それぞれの部位...
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT Interpolation
- 一般注記...明技術を基礎として,SMT述語抽象化,SMTモデル検査及びSMT Interpolationの精...
デジタル文書・図像類
全国の図書館
- 件名アノテーション ChatGPT ローカルデータの検索 タグの抽象化 タグの妥当性評価 Annotation Local Dat...
デジタル文書・図像類
全国の図書館
- 件名ソフトウェアモデル検査 組込みアセンブリプログラム 抽象化精錬 SMT 定理証明
- 一般注記...)動的プログラム解析の枝刈りと抽象化,実行時間見積もりによる最小な......を構築する)を作成した.(2)抽象化精錬(CEGAR)型SMTモデ......デル検査手法はSMTによる述語抽象化、SMT有界モデル検査、SMTによる反例解析器、SMTソルバ...
デジタル文書・図像類
全国の図書館
- 件名抽象化理工学,人間支援,データロボティクス,手づたえ教示,モーショ...
- 一般注記...基づき、人間動作データの解析・抽象化の方法論を提案した。 The purpose of this...
デジタル文書・図像類
全国の図書館
- 件名確率ハイブリッドシステム 確率ブーリアンネットワーク 最適制御 離散抽象化
- 一般注記本研究課題では,確率ハイブリッドシステムの最適制御および離散抽象化,確率ブーリアンネットワークの......および有限時間区間における離散抽象化の手順を提案した.また,バイオシステムへの応用についても計算...
デジタル文書・図像類
全国の図書館
- 件名組込みシステム 述語抽象化検証 オブジェクト指向
- 一般注記...システムに対して、構造と時間の抽象化精錬で直接に検証できる、動的リ......変化及びリアルタイム性を同時に抽象化精錬して、リアルタイムオブジェ......2009 出典:研究課題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検...
デジタル博士論文
インターネットで読める全国の図書館
- 件名都市の観察 建築設計 設計方法論 同化 異化 都市要素 ファサード プロポーション 抽象化 空間構成 スタディ 設計プロセス 材料 ディテール 自立性
- 一般注記...り、異化の操作はそのデザインを抽象化する操作であると言い換えることができた。また、それぞれの部位...
デジタル文書・図像類
全国の図書館
- 件名環境可視化,ビッグデータ,半構造映像データ,抽象化階層,人称変換,深度付カメラ,裸眼立体視,情動
- 一般注記...いる半構造情報に着目し, その抽象化階層を入れ子グラフ構造に変換する。そして, オーディエンスの...
デジタル文書・図像類
全国の図書館
- 件名温熱覚,ペルチェエレクトロニクス,システムエネルギー変換,波動システム,抽象化理工学,Hand-to-Hand コミュニケーション
デジタル文書・図像類
全国の図書館
- 件名組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述 形式的検証 動的再構成可能システム CEGA...
- 一般注記...ッドオートマトンの開発,②その抽象化精錬検証の開発により,コタスクの生成消滅,周波数の動的変化,...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名スーパーコンピュータ PSI-SIM プログラムコード抽象化 Supercomputer program code ab...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名Program Abstraction プログラムコード抽象化 ハイパフォーマンスコンピューティング High Perfo...
検索結果は以上です。