計算にかかる総実行時間
モジュラー計算の擬似並列実行(数式処理における理論とその応用の研究)
... 3‘ –E F‘ $|\mathrm{J}\#\nearrow\overline{r}\text{、}\ovalbox{\tt\small REJECT}\beta_{/}\mp_{\text{、}}\ovalbox{\tt\small REJECT}$ $12116900$ $33002230$ $33505030$ $67204450$ $83705470$ $100659900$ 表 2 dense な 4 ...
7
26 宇宙航空研究開発機構特別資料 JAXA-SP 表 1: LES 解析に必要な計算規模の予測 スケール Re 数 格子点数 時間刻み幅計算時間計算能力 [µ 秒 ] ステップ数 [ 時間 ] [FLOPS] 研究 万点 2 20 万 5 8 Tera 風試 10
... 2 に仮想的にメモりバンド幅を変化させた時の影 響を示す。ここでは 1 つの CPU 内に 1 プロセス× 1 ス レッド (1P/CPU) で計算を行った場合と、4 プロセス × 1 スレッド (4P/CPU) で計算を行った場合を比較す ることで仮想的にメモリバンド幅が変化した場合の計 算性能の変化を調べた。詳細に関しては A を参照のこ ...
6
離散時間可積分系と数値計算法
... $u_{\mathrm{o}\mathrm{p}\mathrm{t}}= \frac{\lambda_{1}+\lambda_{N-1}}{2}$ , $\epsilon_{\mathrm{o}\mathrm{p}\mathrm{t}}=-\frac{1}{\lambda_{1}\cdot+\lambda_{N-1}-2\lambda 0}<\epsilon_{0}$ (10) である . この節において実対称行列の ...
17
MateriApps LIVE! の設定 LAMMPS について Outline 力場 ( ポテンシャル ) について 実行時エラー LAMMPS の examples の実行 melt, micelle, colloid を実行する 計算結果を VMD で可視化する micelle と collo
... MateriApps, 2013-2017. All rights reserved. VirtualBox の設定 ✓ 設定: 不要なポップアップメッセージを非表示にする • Windows: USBメモリからコピーした vbconfig.bat をダブルクリック • Mac OS X: vbconfig.command をダブルクリック
...
73
モバイルエージェント実行計画問題について (計算機科学基礎理論とその応用)
... なお , $c_{i’q}$ ” $c_{i’r’},$ $c_{i_{0}i’}\in c,$ $c_{iq}^{a},$ $c_{i\tau}^{a}\in c_{A},$ $s_{\mathrm{i}’}\in s$ , $b_{\dot{\mathrm{t}}}\in B$ である. もし , $h_{i’}$ と $h_{q’}$ (または $h_{r^{l}}$ ) との間 にリンクがなければ , ...
6
月額包括報酬の日割り計算にかかる適用について 介護予防・日常生活支援総合事業（請求等について） | いわき市役所
... ○月額包括報酬の日割り請求にかかる適用については以下のとおり。 ・以下の対象事由に該当する場合、日割りで算定する。該当しない場合は、月額包括報酬で算定する。 ・日割りの算定方法については、実際に利用した日数にかかわらず、サービス算定対象期間（※）に応じた ...
5
確率時間CEGAR (理論計算機科学の深化と応用)
... さらに確率時間オートマトンのゾーングラフ上の ンの安全性を検証する確率到達可能性問題につ 検証 [7] では到達可能性解析の目的の状態に至る いて定義を行う . 確率到達可能性問題は, 確率時 正確な確率を求めることができない. これは, 一般 間オートマトンの意味に当たる時間確率システム 的な到達可能性問題は , ターゲットに至る一本の 上で定義される. ...
8
活動基準原価計算と時間主導型活動基準原価計算について
... キャパシティ・コスト率＝供給されたキャパシティのコスト÷供給資源の実際的キャパシティ これまでの例示では，供給されたキャパシティのコストは567,000ドルである。また，供給資源の 実際的キャパシティは次のように見積もられる。当該部門には28名のフロントライン現場従業員 （監督者と支援スタッフは含まれていない）が働いている。各々のフロントライン現場従業員は１ヵ ...
12
多重配列アラインメント 最近のソフトウェアについて た. 計算時間は数分程度である. また, 類似性の高い入力配列に限定すれば, 計算量は配列の長さの 1 乗に比例する. そのため Pfam や ASTRAL など大量のアラインメントを実行する必要のあるプロジェクトで TCoffee などとともに使
... は，http://igs-server.cnrs-mrs.fr/˜cnotred/Projects_home_ page/t_coffee_home_page.html から入手できる． 次節以降で，多重アラインメントを求めるためのア ルゴリズムを，MAFFTで行われる計算の順序にそって 紹介する．まず累進法と反復改善法について説明し，そ れぞれの局面でMAFFTが用いている高速化または精度 ...
7
JAIST Repository: 適応型スケジューリングによる平均応答時間の短縮法 : 実行時間見積方法の影響
... ンが過大に計算されることになる．したがって，当該タス クの実行が遅延され，応答時間が長くなる可能性がある． 文献 [17] では，タスク実行が終了したときに，実際に費や した実行時間によってそのタスクのデッドラインを再計算 ...
11
確率時間オートマトンの確率時間弱模倣検証理論(計算理論とアルゴリズムの新展開)
... 行しないことがある . また , ある弱遷移を経て , 全 体としてある確率分布 $P$ が得られた時, 弱遷移によ り分布 $P$ に到達したとし , $\langle\epsilon, \mathrm{a}\rangle\Rightarrow^{\sigma}p$ と書く. 上記を前提とし , 確率時間弱模倣関係の定義を ...
7
例示ベースの弾性変形の実時間計算手法
... 法 に 比 べ る と 物 理 的 な 正 確 さ と い う 点 で は 劣 る が , 見 た 目 に は 十 分 自 然 な 挙 動 を 表 現 で き て お り, ま た 特 に ア ー テ ィ ス ト の 演 出 意 図 が 重 視 さ れ る 文 脈 に お い て は 見 た 目 以 上 の 物 理 的 な 正 確 さ は あ ま り 重 要 で な い と 考 え ...
6
ユーザの嗜好に合わせた楽曲再生時間調整システム (理論計算機科学の新展開)
... 数が 10 曲の場合と 20 曲の場合では 20 曲の場合の 方が評価済みリストの順位に近くはなっていたが， 10 曲や 20 曲程度の少ない楽曲数の評価では順位 に大きくばらつきがあった．これは，ユーザの選択 に「普通」を加えたことで，重みに変化を与えない 選択ができるようになり，評価を行った時の楽曲 ...
4
概要 NTChem2013 を利用するためには,NTChem の実行ファイルが導入されている計算機センターのユーザーとして利用するか, 開発代表者 に連絡して, 利用者の計算機環境に NTChem のコンパイル済み実行ファイルを導入して用いるかのいずれかの方法
... 例えば， Name = ’Foo’と指定したインプットを用いる場合，基底関数の情報 は ”Foo.Basis”，構造の情報は”Foo.Geom”というファイルから読み込まれます． NTChem では共通の Name を含む複数のインプットを利用することで，プログラ ム間の連携をとります．例として以下のように RHF 計算を行った後，その分子軌 ...
132
情報システムにかかる事業継続計画(BCP)事業 寝屋川市情報化推進実行シート(平成28年度)／寝屋川市ホームページ
... ※ システム運用又は事業実施の開始年度。 ( 構築・調査検討等期間を除く) 事業概要 地震等の災害時に、コンピュータシステムやネットワークが停止するなどの不測の事態に備え、災 害後の情報システムにかかる当面の業務継続や復旧体制などを含む事業継続計画（BCP：Bus i nes s Cont i nui t y Pl an）について、調査・研究を行う。 ...
1
時間値による状態爆発を回避した時間的双模倣等価性検証法(計算モデルと計算の複雑さに関する研究)
... 間的双模倣等価性を条件に現れる定数の絶対値に依存しないコストで判定することができる. また, TSLTS の通常動作に入出力値を持たせるように拡張すれば , 時間とデータを同時に扱える体系に対しても時間的 双模倣等価性の判定が行えるように容易に拡張可能であると考える . なお, [11] で提案した ...
7
多項式時間計算可能な根無しラベル付き木の編集距離
... 4 まとめと今後の課題 本論文では, 根付き木の編集距離を根無し木に拡張 し, Tai マッピング, 孤立部分木マッピングも同様に根 無し木への拡張を行った. また, N 型糖鎖をもちいて, 根無し孤立部分木距離と等価であると予想される任意 のノードの組を根と考えた根付き孤立部分木距離の最 小値と, 中心保存距離との比較を行った. N 型糖鎖で は, 推測 2 を否定する要素, すなわち, 中心保存距離を ...
5
( 政令月収額の求め方 ) 政令月収額は次の順序で計算してください 収入の種類別に所得金額を計算する 各自の総所得金額を計算する 収入のある人の総所得金額を合算し 世帯の総所得金額を計算する 世帯の総所得金額から控除額を差し引き 12 で割って政令月収額を計算する (1) 種類別所得金額の計算 1
... 親世帯が県内に住んでいる場合、県外の子孫世帯が申込みできます ※震災時（平成７年１月１７日）に当該市町に住んでおられた方で、阪神・淡路大震災によりそれまで自 己の居住していた住宅に居住できなくなり、兵庫県の区域外に転出された方。 ただし、市町長が発行する全壊（焼）または、半壊（焼）の罹災証明書（写）の提出が必要です。 上記の詳細は、 ...
6
計収計算の方法 みの基準となる世帯の収の計算方法は まず 間の総所得を計算して そこからあてはまる控除をすべて差し引いた残りのを で割ったものです 総所得の計算方法は 得ている収の種類 ( 事業等の所得 や現在の勤務先に勤務し始めたや現在の事業などを始めたによって異なります ( 間の総所得 - 控除
... 申込者及び同居親族（住民票を世帯分離した親族や婚約者も含む）の申込み時（平成30年4月20日現在）に得ている収入で、次に該当 するもの。退職を予定している方でも、平成30年4月20日現在次の収入のある方は、その収入は計算対象とします。 ● 申込みの基準となる世帯の月収額の計算方法は、まず１年間の総所得金額を計算して、そこからあては ...
13
時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
... 複数のコンポーネントを組み合わせ , 各コンポーネン トが状態を持ちながら並行に動作するプログラムとし て構成される . その上で , システム全体として時間制 約を守ることが要求される . それぞれのコンポーネン トの動作には時間制約が存在し , さらに並行に動作す る他のコンポーネントの影響を受けるため, このよう ...
8