Cs の双方を計算しているモデルにより計算
PSJモデルを活用した計算ツール 利用説明書
... 従来版では、年限のグリッド数を絞るとともに、 JGBの複利利回りそのものをスポットレートとみなすプログラムとしていましたが、この場合、計算プロセスが簡便 というメリットがある一方で、特にRMBSの価格に影響を及ぼしやすい超長期のスポットレートに、精緻な計算結果とのずれが生じやすい面がありました。 ...
17
複数プロセス故障を許した耐故障分散相互排除アルゴリズム(計算モデルと計算の複雑さに関する研究)
... 次に , 更新後のコータリに関する重要な補題を導く. 補題 4 いかなる順序で更新したとしても, 故障プロセ ス集合 $U_{f}$ $\subseteq U_{K}$ 中の全てのプロセスに対し更新を行 なった後の更新後のコータリ $C”’f$ は , 同 $-$ である . (証明) 初期コータリを ...
5
近似解をも考慮に入れた多項式時間変換(計算モデルと計算の複雑さに関する研究)
... 組合せ問題間の多項式時間変換は, 従来, $\mathrm{N}\mathrm{P}$ 完全性の証明のように複雑さの構造を明らかにす るために用いられてきた . しかし , 最近では実際に問題を解くために利用する試みがなされている [2]. すなわち, 問題 $A$ を問題 $B$ ...
6
再帰型をもつオブジェクト指向計算モデルにおける例外処理の型付 (計算機科学基礎理論の新展開)
... calculus のもつともシンプルなモデ ルである $\mathrm{o}\mathrm{b}_{1<:}$ を拡張し例外処理機能を追加するとともに操作意味論と型システムを与え , 型システム が操作意味論に対して健全であることを証明した ...$\mathrm{O}\mathrm{b}_{1<:}$ ...
6
多段階木変換機について(計算モデルと計算の複雑さに関する研究)
... ベットである. $\rho=\{\rho_{\sigma}|\sigma\in\Sigma\}$ は次のように \Sigma の各面に割り当てられた関数である . $\lambda\in\Sigma_{0}$ に対し \rho ’ $\in P$ , また , $\sigma\in\Sigma_{n},$ $n\geq 1$ に対し\rho \mbox{\boldmath $\sigma$} ...
7
15 km ずつ平行移動した 2 経路の計 9 経路 ( 3 方向 3 平行移動, 中心気圧は経路と直交して平行移動 ) で手引きの想定台風による高潮計算を行った. なお, 最小計算格子は 90 m, 台風モデルは Myers の式, 波浪計算はスペクトル法, 潮位計算はウェイブセットアップを考慮し
... 平行移動して設定することとされているが，具体的にど のように設定するかという手法の確立も必要である． このため，本研究では想定台風と想定低気圧の経路の 違いによる高潮計算の感度分析を行い，手引きの適用性 ...
6
2 /13 仮想的な湿潤惑星の計算 計算条件を手軽に変更 大気組成 入射太陽放射量 重力加速度 大気圧 自転周期 etc. 可変性 可読性に優れた大気大循環モデル 何を計算しているか ソースコードを読んで分かる スキームの交換や分離が容易にできる
... 交換や分離に関して工夫の余地有 DCPAM (流体力学会 年会 2005) 支配方程式を容易に想像できるソースコード （dcmodel コーディングルール <http://www.gfd-dennou.org/library/dcmodel> ） 配列演算関数の利用 （スペクトル演算には spmodel ライブラリ） 一目で次元や物理的意味の分かる変数命名規則 ...
14
時間値による状態爆発を回避した時間的双模倣等価性検証法(計算モデルと計算の複雑さに関する研究)
... 間的双模倣等価性を条件に現れる定数の絶対値に依存しないコストで判定することができる. また, TSLTS の通常動作に入出力値を持たせるように拡張すれば , 時間とデータを同時に扱える体系に対しても時間的 双模倣等価性の判定が行えるように容易に拡張可能であると考える . なお, [11] で提案した ...
7
ある制限されたチャイニーズ・ポストマン問題の計算量(計算モデルと計算の複雑さに関する研究)
... 計算量にも興味を持っている. 5 参考文献 1) Aho, A.V., Hopcroft, J.E., and Ullman, $\mathrm{J}.\mathrm{D}.$ : The Design and Analysis of Computer Algo- rithms, ...
7
unrestricted LR 文法及び unrestricted LR 構文解析法の提案(計算モデルと計算の複雑さに関する研究)
... 表 2: 文法 $G_{1}$ に対する先読み集合 $L\mathrm{A}_{1}^{\nearrow}$ . Table 2: Set of the lookahead $LR_{1}^{\nearrow}$ for $G_{1}$ . $|\mu|$ $=$ $\mu$ の文法記号の数 ( 但し , $\epsilon$ は 1 と数える ), をレデ $=-$ スする動作 と定義する ...
7
推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)
... A 付録: papend の実行例 ここでは代数的証明システム papend による本文の【例 2 】の実行例を示す. papend では非負条件を考慮するたあに補助述語 $N_{1}(X),$ $N_{2}(X)$ が導入されている ( この例では直ちに消去されてい る ). また射影を施した結果 $0$ ...
7
線形プッシュダウン・木オートマトン (計算モデルとアルゴリズム)
... T_{\Sigma}$ を得る OI-導出 が必ず存在することが知られている $[3]$ ...$\mathcal{G}$ を文脈自由木文法とする. $\mathcal{G}$ により生成される言語とは, 集合 $L(\mathcal{G})=\{\alpha\in T_{\Sigma}|S*\Rightarrow\alpha\}\mathcal{G}$ ...
6
各章において 計算方法と計算結果のみを示し 考察などは記述していない また Maxima の Download インストールなど基本操作は他の参考文献を参照して頂きたい さらに 使用している命令とその option についての詳細は 各自で調査して頂きたい 最後に Maxima, wxmaxima
... B-3) 中川義行、“Maxima 入門ノート 1.2.1.pdf” B-4) Wilhelm Haager, “ Graphics with MAXIMA.pdf” http://www.austromath.at/daten/maxima/zusatz/Graphics_with_Maxima.pdf wxplot2d についての option が詳細に示されています。 ...
48
2次元可逆セル・オートマトンにおける一斉射撃問題(計算モデルと計算の複雑さに関する研究)
... $P$ の状相。は。 : $\mathrm{Z}^{2}arrow C\cross U\cross R\mathrm{x}D\mathrm{X}L$ なる写像で , $C\mathrm{x}U\mathrm{x}R\cross D\mathrm{X}L$ 上のすべての状相 の集合 ...
5
積グラフの独立な全域木(計算モデルと計算の複雑さに関する研究)
... よく知られているネットワークのいくつかは積グラフである. 例えば ?1 次元ハイパーキューブ $Q_{\mathit{7}l}$ は $Q_{n-1}$ ) $\langle I\iota_{2}^{-}=$ $Q_{n-2^{\mathrm{X}}}I_{1^{\vee}}2\cross I\iota_{2}’=\cdots=I\iota_{22}’\cross ...
7
PRAMおよび対数時間一様な論理回路族に基づく計算量の階層(計算モデルと計算の複雑さに関する研究)
... of problems solvable by constant depth, polynomial- size, unbounded fan-in Boolean circuits in which any “MOD $(k)- \mathrm{g}\mathrm{a}\mathrm{t}\mathrm{e},’)k>1$ , may be used.. One[r] ...
7
正則パターン言語和の包含に関する強コンパクト性(計算モデルと計算の複雑さに関する研究)
... は , $p,$ $q,$ $r,p_{\mathrm{o}p_{1}},,$ $\ldots$ で正則パターンを表わす. パターン $P$ の意味として , パターン言語 $L(p)$ を , パターン中の変数を定数文字列でおきかえ て得られる定数文字列全体のなす集合と定義する . いいかえると , $L(p)$ はパターン $P$ ...
4
スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)
... (a) $\text{口}E=c^{P}$ のとき, $T_{\mathrm{n}E}^{LP}=\{\lambda\overline{v}.c\}$ , (b) 口 E $=f^{P}(^{\text{口}E_{1}}, \cdots, \text{口}E_{m})$ のとき, . $T_{\cap ...
6
計算モデルとしての推論加群系 (アルゴリズムと計算の理論)
... 写像の全体を $P$ と定義する . $\prime \mathcal{R}=\mathrm{H}\mathrm{o}\mathrm{m}_{Q(}\mathrm{R}\tau,$ $\mathrm{R}T)$ , $\mathcal{P}=\mathrm{H}\mathrm{o}\mathrm{m}_{Q}(\mathrm{D}\tau, \mathrm{R}\tau)$ , ...
8
ストップウォッチオートマトンによるプリエンプティブスケジューリングの仕様記述と有界モデル検査 (理論計算機科学の深化 : 新たな計算世界観を求めて)
... 2. Next. we encode them as math-formula, and then verify them by bounded model check- ing. 1 はじめに 組込みシステムは , 低消費電力など厳しいリ ソース制限を課されながら , 高い信頼性を要求さ れており , しばしばプリエンプティブスケジュー リングシステムである . プリエンプティブスケ ...
8