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

体問題のアルゴリズム

充足可能性問題のアルゴリズム

充足可能性問題のアルゴリズム

... We present the background of the SAT problem as well as typical algorithms for solving the problem... [3]R.Moser,andD.Scheder,A血llderandomizationof Sch6n血g「sl(-SATalgorith[r] ...

4

アルゴリズム開発からHDL実装へのパス

アルゴリズム開発からHDL実装へのパス

...  要求ドキュメントとのリンク機能の追加( R2009b )  Goto/Fromブロックの階層をまたいだ使用に対応（ R2011a ）  下位階層サブシステムからのコード生成対応（ R2012a ）  SystemGeneratorブロックを含むモデルからのHDL生成が自 ...

45

本日の講義内容 固有値 ( 線形代数 ) と応用問題 振動問題 ネットワーク定常問題 固有値計算アルゴリズム 密行列 べき乗法 ヤコビ法 ハウスホルダー三重対角 + 分割統治法 + 逆変換 疎行列 ランチョス法 ヤコビ デビッドソン法 その他 固有値計算ソフトウェア ScaLAPACK EigenE

本日の講義内容 固有値 ( 線形代数 ) と応用問題 振動問題 ネットワーク定常問題 固有値計算アルゴリズム 密行列 べき乗法 ヤコビ法 ハウスホルダー三重対角 + 分割統治法 + 逆変換 疎行列 ランチョス法 ヤコビ デビッドソン法 その他 固有値計算ソフトウェア ScaLAPACK EigenE

... 分割統治法 • 三重対角行列を適当な摂動により以下のようにする 何らかの方法で と の固有値計算が為されたとする。 それぞれの固有値と固有ベクトルを並べた行列 ( など ) を用いて ...

64

非線形最適化のアルゴリズムとソフトウエア

非線形最適化のアルゴリズムとソフトウエア

... up: 211.13232 lo:7.2290069e-020 gap: 211.13232 time:187.2s:mem(Mb)=178/157:avail(Mb)=3939/1767 llen:3856 #prob:9689 #piv:1066187 • 制約なしの場合．． 分枝限定法は全探索と同じ： ...

65

問題 01 水道料金を節約しよう 問題のポイント問題文で述べられた仕様を理解し その通りに動作するプログラムを記述できるかを問う問題です 変数 入出力 四則演算に加え 条件分岐や繰り返し処理についての知識が必要です 問題の解き方いくつかのアルゴリズムが考えられますが w が 100 以下と小さい値な

問題 01 水道料金を節約しよう 問題のポイント問題文で述べられた仕様を理解し その通りに動作するプログラムを記述できるかを問う問題です 変数 入出力 四則演算に加え 条件分岐や繰り返し処理についての知識が必要です 問題の解き方いくつかのアルゴリズムが考えられますが w が 100 以下と小さい値な

... まず、与えられた単語で有向グラフを作成します。グラフはアルファベットの数である 26 個のノードを持ち、与えられた各単語について最初の文字が始点、最後の文字が終点とな るようにエッジを追加します。このグラフにおいて、あるノードから全てのエッジをちょ うど一回通り元のノードに戻る閉路（オイラー閉路）があるかどうかを判定します。有向 ...

20

文字列照合アルゴリズム

文字列照合アルゴリズム

... O(𝑚𝑚)時間で構築できるうえに、実装が容易で少メモリ （状態数 𝑚𝑚 + 1個、遷移関数の実現サイズ2𝑚𝑚 − 1） C. Allauzen, M. Crochemore, and M. Raffinot. Efficient experimental string matching by weak factor recognition. In Proceedings of the 12 th Annual ...

24

分子シミュレーション効率化の ためのアルゴリズム

分子シミュレーション効率化の ためのアルゴリズム

... 水溶液中のシミュレーション（２） 5. 「Tools」→「Amber」→「Write Prmtop」を選択 し、Folderが「C:¥Users¥iu¥Desktop」になっ ていることを確認し、File nameに「ala14-wat」、 Select force field typeに「AMBER ff99SB」を 指定し「Save」 ...

56

分子シミュレーション効率化の ためのアルゴリズム

分子シミュレーション効率化の ためのアルゴリズム

... Charge」を選択し、Standard residuesの力場 に「AMBER ff99SB」を指定し、「OK」 3. 「Tools」 →「Amber」→「Write Prmtop」を選択 し、Folderが「C:¥Users¥iu¥Desktop」になって いることを確認し、File nameに「ala14」、 ...

60

静的弾性問題の有限要素法解析アルゴリズム

静的弾性問題の有限要素法解析アルゴリズム

... ji  dV  G  u dV P  u dS  静的可容応力：平衡方程式と力学的境界条件を満足する応力 動的可容変位：ひずみ－変位関係式と幾何学的境界条件を満足する変位 仮想変位：動的可容変位の変分 ...

70

非線形最適化のアルゴリズムとソフトウエア

非線形最適化のアルゴリズムとソフトウエア

... （注）化学成分は、Ｔ・Ｆｅ，ＳｉＯ2 ，Ａｌ2 Ｏ3 ，ＣａＯ，ＭｇＯ，Ｍｎ，Ｐ，ＴｉＯ2 ，Ｚｎ，Ｋ2 Ｏ，Ｎａ2 Ｏ，Ｖ の１２種類。 （注）**=02,04,05,06,07,09,10,08,12,21,20,19 ??=FE,SI,AL,CA,MG,MN,PP,TI,ZN,KO,NA,VV respectively （注） ...

94

貪欲アルゴリズム

貪欲アルゴリズム

... Shift JIS (sjis) 2バイト固定長 8 bit 2byte コード PC (Windows， MacOS) EUC (Extended Unix Code) 2バイト固定長 8 bit 2 byteコード (2バイト目に制 約） Linuxなど Unicode (UTF-16) 2バイト固定長 多国語（日中韓の 漢字を同一コード で統一） Javaの内部[r] ...

54

MCMCアルゴリズムによるロジットモデルのベイズ推定に関する若干の考察

MCMCアルゴリズムによるロジットモデルのベイズ推定に関する若干の考察

... ルゴリズムを詳しく説明した後に，4 節では生成されたサンプル系列の平均がターゲット分布， 従って事後分布の期待値，すなわちベイズ推定値に収束する事を，2 値のマルコフ連鎖に置き 換えて詳しく証明した。さらに 5 節ではパラメータを推定する際のチューニングについて，と ...

18

ラピッドコントロールプロトタイピング(RCP)による 制御アルゴリズムのテスト

ラピッドコントロールプロトタイピング(RCP)による 制御アルゴリズムのテスト

... MathWorksのツールチェーンでシンプルにRCP環境を構築できます  様々なツールの互換性を気にせず、Simulinkをベースにスムーズに実機テストを行えます  MATLAB&Simulinkの最新機能といち早く連携が可能です MATLAB Coder ...

31

遺伝的プログラミングによるテキスト分類アルゴリズムの組み合わせ

遺伝的プログラミングによるテキスト分類アルゴリズムの組み合わせ

... テキスト分類システムの構築について提案した。対象 問題として、スパムメールのフィルタリングに関する問 題をテキスト分類問題として捕らえ、テキスト分類アル ゴリズムを用いることによりフィルタを構築すること を試みた。テキスト分類アルゴリズムとして、テキスト 分類で良く用いられているベイズ理論と SVM(Support Vector Machine) ...

6

アルゴリズム論 Theory of Algorithms

アルゴリズム論 Theory of Algorithms

... ナップサック問題に対する完全多項式時間近似方式 目標：計算時間を入力サイズ nと1/εに関して多項式にすること 考え方 : 荷物の重さが整数で与えられる場合に最適解を求める 動的計画法のアルゴリズムを利用． アルゴリズム P33-A3: 完全多項式時間近似方式 (1) 得たい相対誤差εに対して，K= εv max /nとおく． ...

34

文字列照合アルゴリズム

文字列照合アルゴリズム

... ※演習： 𝑇𝑇 = a 8 , 𝑃𝑃 = a 4 b の場合を文字比較の回数は何回か？ テキスト上のポインタ （比較する文字の現在 位置）が前後する！ 一文字づつずらして マッチングしていく パターン出現！ ...

24

アルゴリズムとデータ構造

アルゴリズムとデータ構造

... ⇒ 入力長 𝑛𝑛の関数𝑇𝑇(𝑛𝑛) として計算量を評価 ただし，入力長および計算量は 計算コストモデル に依存 定数（一様）コストモデル すべての数を１語（１単位のデータ）とみなして、どの基本命令も 単位時間で実行できると仮定 ...

24

データストリームマイニングアルゴリズムの性能評価手法の検討

データストリームマイニングアルゴリズムの性能評価手法の検討

... 前処理 時間的な制約無し リアルタイム処理が必要 リソース 理論上無限 制限あり き事項が増える．例えば，データストリームが到着するまでの経路によっては，データに欠 損が起こる可能性が考えられる．欠損したデータに対して，リアルタイムに前処理を行う必 要がある．一方，静的なデータを使用する場合，擬似的にデータストリームとしてアルゴリ ズムに渡すため，経路によってデータに欠損が起こる可能性は考えられない．また，欠損し ...

56

アルゴリズム入門

アルゴリズム入門

...  ハードウェアを直接操作するようなプログラムを書ける ～～ アセンブリ言語に近い  それでいて高級言語 ～～ 色々なCPUで動く  現在でも多くのソフトウェアの開発に利用  安全性の配慮は少ない ...

57

1F5-OS-09b-2 乱択アルゴリズムによる道路ネットワーク耐震化問題の解法

1F5-OS-09b-2 乱択アルゴリズムによる道路ネットワーク耐震化問題の解法

... CE 法と GC 法の異なる点として大きく次の二つが挙げられ る．一つ目は耐震化戦略を生成する確率密度の表現の違いであ る． CE 法はパラメトリックな確率密度を用いるのに対し， GC 法は非パラメトリックな密度を用いる．二つ目は戦略の生成法 の違いである． CE 法はモンテカルロ法を用いるのに対し， GC ...

2

Show all 10000 documents...

関連した話題