• 検索結果がありません。

抽象化.一種の「モデリング」.

JAIST Repository: センサIoTデバイスにおけるエミュレーション抽象化

JAIST Repository: センサIoTデバイスにおけるエミュレーション抽象化

... 以上ことから、抽象はエミュレータ一部あるいは全てに対して行われる。 抽象レベルを高くするにつれて、エミュレータで検証するアプリケーション 実行アーキテクチャはエミュレータアーキテクチャから実行しているコンピュー ...

95

人体・臓器形態のバーチャル化 ~三次元画像に基づく手術工程のモデリング ~

人体・臓器形態のバーチャル化 ~三次元画像に基づく手術工程のモデリング ~

... 術開発に伴い,その安全管理・手術時間短縮と医師 負担減少などが患者と医師双方ニーズとなってい る.一方で, CT や MRI など撮像機器進歩により, 一人患者から一回で数百枚から一千枚近い断層画像集 合(以下,三次元画像)が取得されるようになり,大学 病院では一か月に ...

5

管群気柱共鳴における渦放出同期化現象のモデリング

管群気柱共鳴における渦放出同期化現象のモデリング

... る。ここでは、気柱−渦間相互作用に関する、過去 実験で明らかになった知見を反映可能なモデル方 法を導く。その際に参考になるが Blevins による管 振動問題に関する研究 16) である。この研究では管振 動−渦間相互作用を後流振動子(wake oscillator) モデルを用いて簡潔に表しており、かつ、実験データ ...

9

JAIST Repository: ゴール指向分析に基づくモデル検査のための外部環境の抽象化手法

JAIST Repository: ゴール指向分析に基づくモデル検査のための外部環境の抽象化手法

... 1 検査記述に対しデッドロック検査 を行うと, states は 4065259 , transitions は 7838824 であるが, out of memory と表記 がでて状態爆発が発生した.この記述へプログラムスライシング技術に類似した抽象 ...

17

条件付き最小楕円と多クラス判別への応用(モデリングと最適化の理論)

条件付き最小楕円と多クラス判別への応用(モデリングと最適化の理論)

... CMVE 結果がフィッシャー判別結果を上回って いることが分かる. また, いくつかデータセットに対しては $\nu$ -SVM ...0% 事後的な予測誤差を達成できている . これだけ 結果で圧倒的な優位性を主張することはできないが, ...

8

抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)

抽象化洗練を用いた時間確率システムに対する形式的検証手法 (アルゴリズムと計算理論の新展開)

... はマルコフ決定過程であるため,最大到達確率とア ドバサリは線形計画法によって計算可能であり [2]. シンプ ルなアドパサリ [2] となる. ここで求めた最大到達確率が検証確率以下であれば反例 候補は存在しないと言うことができる.さらに定理 34 よ り,具体モデルにおいて反例が存在しないといえる.従っ て,最大到達確率が検証確率以下であれば確率到達可能 $|$ 性 ...

8

FCM 融合型多目的クラスタリング(モデリングと最適化の理論)

FCM 融合型多目的クラスタリング(モデリングと最適化の理論)

... マーチンらによって, 適合度関数はクラスター安定性を基にするべきだと提案されて いる [1]. クラスター安定性はデータ摂動下でクラスタリング解法における変化を 反映し, 異なるクラスタリングアルゴリズムが使える . 摂動は , 置換有無にかかわら ず, 再抽出しているデータによって生じる. 安定したクラスターはたいてい選ぶに値する ...

5

述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)

述語抽象化洗練を用いたリアルタイムプログラムの自動検証手法(計算機科学の理論とその応用)

... 続的に変化するシステム要因に関する研究が行わ れている . また一方でプログラミング言語に対する 検証として , $C$ 言語に対する検証 [5] が行われ , デバ ’E-mail: komng\iota taO\alpha L $\propto$ .t.hnslfw&u.u.jp ...

8

決定クラスのクラスタリングに基づくルールベース分類モデル(モデリングと最適化の理論)

決定クラスのクラスタリングに基づくルールベース分類モデル(モデリングと最適化の理論)

... が満たす条件をもつ決定ルールすべてが共通に–つクラスへ帰属を示唆すれば良 いが, 異なった決定クラスへ帰属を示す場合がある . - 方 , 未知対象条件属性データ がいずれ決定ルール条件も満たさない場合もある . これら場合に対処する方法が ...

9

時系列データ解析による予測と最適化 ~エネルギー需要、発電、価格のモデリング~

時系列データ解析による予測と最適化 ~エネルギー需要、発電、価格のモデリング~

... ふたつTable配列結合:指定された変数中で共通する値あるデータのみを抽出し結合 例)観測時刻が同じデータのみを抽出 – セル配列や構造体に比べてサイズがコンパクト  Datetime型 演算可能な日付時刻データ ...

32

時系列データ解析による予測と最適化 ~エネルギー需要、発電、価格のモデリング~

時系列データ解析による予測と最適化 ~エネルギー需要、発電、価格のモデリング~

... まとめ 時系列データ解析 一変量 多変量 非定常 確率微分方程式 回帰分析 ※ NARX 機械学習 決定木など ニューラルネットワーク RNN 重回帰分析 ※ 定常 ARIMA GARCH VAR ※エラーが正規分布している場合 黒:Financial Toolbox.[r] ...

27

経験の貧困あるいは生の抽象化 : ムージルと「オーストリア的なもの」をめぐる議論について

経験の貧困あるいは生の抽象化 : ムージルと「オーストリア的なもの」をめぐる議論について

... バロック的魅力なかで[…]ひと息つくために」(MoE109)ディオティーマ サロンを訪れる資産家アルンハイムに恋をするだが,結果的に彼女はドイツに 対抗したオーストリア愛国運動に,よりによってプロイセン出身アルンハイ ムを引き入れてしまう。外国人が平行運動で指導的役割を演ずることに難色を示 ...

15

決定表の分類による集団意見解析(モデリングと最適化の理論)

決定表の分類による集団意見解析(モデリングと最適化の理論)

... る [6]. このように未知パターン推定を行うことは, –つ表にまとめず, 複数決定表 を独立に取り扱うこと意味を強くする . 未知パターン推定研究は未だ十分ではなく , 今後課題となる . 本研究では, ラフ集合を用いた複数決定表分類について考察し, 考えられる – 方法 について述べたが, ...

9

提携に制限のあるファジィ協力ゲームに対する値(モデリングと最適化の理論)

提携に制限のあるファジィ協力ゲームに対する値(モデリングと最適化の理論)

... $N$ 部分集合であり, これは $i\in S$ とき $si=1$ で $i\not\in S$ とき $si=0$ となる $n$ 次元 2 値ベクトル空間 $\{0,1\}^{n}$ 要素 $\epsilon$ と同 – 視できる ...したがってプレイヤー 提携へ部分参加を考慮するためには, 一般的に $[0,1]$ ...

9

管群気柱共鳴における渦放出同期化現象のモデリング

管群気柱共鳴における渦放出同期化現象のモデリング

... この現象は、管群から放出されるカルマン渦が気 柱振動を励振し、気柱振動がカルマン渦放出位 相がそろった、規則正しい渦放出を促進するという、 フィードバック機構を有する自励振動である。図2は その概要を模式的に示したものである。 気柱振動が低 レベル場合、 音響粒子速度は空間的にも時間的にも ランダムとなる。その場合には渦放出周波数は一定で ...

10

JAIST Repository: ターン制ストラテジーゲームにおける候補手の抽象化によるゲーム木探索の効率化

JAIST Repository: ターン制ストラテジーゲームにおける候補手の抽象化によるゲーム木探索の効率化

... 2.2 既存研究用プラットフォーム 個人,あるいはゲームAI研究者が AI プログラム開発に取り掛かろうとしたさい に,オープンソース研究用プログラムが入手可能であるか否かは大きな関心事である. 仮にプラットフォームが入手不可能なゲーム思考アルゴリズムを構築しようとしたと ...

55

10 ソフトウェア工学 Software Engineering ソフトウェアモデリング SOFTWARE MODELING ソフトウェアモデリングとは? ソフトウェアの抽象なモデルを, さまざまな視点から簡潔に表現する作業 表現方法 グラフィカルモデル : 所定の記法による図で表現 流れ図, クラ

10 ソフトウェア工学 Software Engineering ソフトウェアモデリング SOFTWARE MODELING ソフトウェアモデリングとは? ソフトウェアの抽象なモデルを, さまざまな視点から簡潔に表現する作業 表現方法 グラフィカルモデル : 所定の記法による図で表現 流れ図, クラ

... モデリングをいつおこない,いつ使うか 既存システムモデリング → 既存システム明確 (利点・欠点,再利用性) 新 シ ス テ ムモデリング → 要求導出と明確 (関係者と対話・合意) ...

10

JAIST Repository: 抽象化に基づく類推とコア技術の用途開発

JAIST Repository: 抽象化に基づく類推とコア技術の用途開発

... 一方、最終製品を起点として製品を最適することで強い競争力を示してきた日本特にエレクトロ ニクス産業が競争力を低下させている状況分析に基づき、「プロダクト・プル型」から「デバイス(機 能モジュール)プッシュ型」へ産業構造転換が求められていることが指摘されている(注 10)。デ ...

7

ポリゴン情報の最小トライアングルストリップ化 (21世紀の数理計画 : アルゴリズムとモデリング)

ポリゴン情報の最小トライアングルストリップ化 (21世紀の数理計画 : アルゴリズムとモデリング)

... トライアングルストリップをそのまま使う場合 , 帯状三角形集合のみしか表現することが できないが , 表現したい三角形間に頂点重複を含み面が描画されない縮退三角形を挟むことで, 様々な配置三角形集合を表現することができる . 図 5 $\sim$ 図 8 に縮退一 – $-$ 角形を使った三角形群表 現一通り例を示す. ...

14

IT好き放題:産学間に横たわる深い谷:抽象化

IT好き放題:産学間に横たわる深い谷:抽象化

... 巨大な星を質点という大きさない物体として抽象 することで,その運動を方程式で正確に記述でき た.それを利用して人工衛星を打ち上げることがで きる.ここでは,運動方程式を導き出した物理学者 とその結果を現実問題に適用して有用なシステム を作り出す技術者分業が成り立っている. 情報システム構築では,運動方程式ような一般 ...

1

Show all 10000 documents...

関連した話題