Top PDF 抽象化．一種の「モデリング」．

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

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

95

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

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

5

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

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

9

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

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

17

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

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

8

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

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

8

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

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

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

10

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

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

55

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

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

10

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

関連した話題