Top PDF SCLS計算機システムの実習

計算機システム概論

... 入出力処理を行うジョブ（実行中のプロセス）を「眠らせる」眠らせたプロセスと入れ替わりで，他のプロセスを実行入出力処理が完了したら，元のプロセスを「起こす」プロセスＡ ...

29

東京大学宇宙線研究所宇宙線研究所電子計算機システム利用の手引版

... バッチ出力先を「/icrr/work/」以下に batchtest と言う名前のファイルで保存、「/icrr/home/sgitest」にある実行ファイル「a.out」の出力を「/icrr/work」に書き出します。 ※プログラム、標準出力、標準エラー出力の結果は大容量磁気ディスクに書き出すようにお願い致します。大容量磁気ディスクについては「1.2 ...

26

ユーザの嗜好に合わせた楽曲再生時間調整システム (理論計算機科学の新展開)

... リストを集合として扱い，プレイリストの評価重み付けを利用者の嗜好に合わせて動的に変更し，プレイリストの重みから各楽曲の優先度を計算するアルゴリズムの研究 [1] がある．また他にも，最後に再生した曲から近傍度の最も高い曲を自動的に選曲して斗一ザ ...

4

ランダムの程度の助言付き計算 (理論計算機科学の新展開)

... $A$ の中に含まれている非ランダムさ (randomness deficiency, the degree of non-randomness) を表している． Martin-L\"of ランダムであるごとと，この非ランダムさが有限であることが同値である．非ランダムさはテストやマルチンゲール，他の複雑性によっ ...

7

数値計算ライブラリの使用方法「実習編」

... 簡単な行列積  これまで行列データは形状と開始インデックスで指定 (A(1,1) or A(1,2))  配列 Aと分散情報を保持するデスクリプタの組で注意: プログラム上の配列Aはローカルに確保された配列を代表しているので A(1,1)は現在のプロセス上に分散格納されている部分成分の第1,1成分を示している。配列のA(1,1)をアクセスす ...

31

人間指向型汎用類推証明システムの開発 (計算機科学基礎理論の新展開)

... and Technology Organisation, 1995. をさせ表示する . また , 類推処理を行う時 , システム [3] Erica Melis and Jon Whittle, Analogy in Inductive はスキーマベースの探索を行うが, スキーマの利用可 Theorem Proving, 1999. 能性を判定すたために, 繰り返しスキーママッチング [4] ...

7

計算機システムの環境整備へのパーソナルコンピュータの応用-香川大学学術情報リポジトリ

... また，このようなソフトウエアは，ホスト側(というよりはノミソコンに対する相手側〉が，ワンボード・マイクロプロセッサシステム等の場合にも，そのソフトウエア開発において非常に威力を発揮することが確認されている ACTIVE の総ての機能についての使用法については， rACTIVE (計算機システムの環境整備のためのターミナル・ソフトウエア〉の使用法」として，別の[r] ...

16

類推機能をもった対話型シークェント計算証明システムの開発 (計算機科学基礎理論の新展開)

... 直観的に証明過程を理解することのできる , 古典論理の体系である $\mathrm{L}\mathrm{K}$ シークエント計算の自動化を行った . $\mathrm{L}\mathrm{K}$ シークエント計算には用いる規則が多数あり , 規則の適用の仕方が複雑になるため証明の自動化が困難 ...

5

工学部教育用計算機システムの更新について-香川大学学術情報リポジトリ

... Unit の仮想化（GPU 仮想化）は，クライアントの仮想化技術の問題点を解決するための方法として注目されている．昨年度更新した工学部教育用電子計算機システム（新システム）では， 9 台の物理サーバに， 35 台の仮想サーバと 200 台の仮想デスクトップを実装した． GPU ...

2

分散システムでの剛性グラフに対する局所交換可能性 (理論計算機科学の新展開)

... 個の石を移動することができ，巧に 2 個の石を集めることができる．補題 4 より，任意の頂点対に 2 個， 1 個の石を集めることができる．よって，少なくとも，頂点対 $\{x, y\}\subset$ 巧に 3 個目の石を集めるために，巧から巧へのもう一つのパスが存在し，グラフが 2 ...

3

$K$- 開発閉包な左線形項書換えシステムの合流性(計算機科学の理論とその応用)

... 換えシステム (TRS) は , 書換え規則の有限集合である. 任意の書換え規則が左線形であるとき, TRS $R$ が左線形であるという . TRS $R$ により, 項 $M$ が出現 $u$ において $N$ に書換えられるとは, ある代入 $\sigma$ と書換え規則 $l-r\in R$ が存在し, $M=M[uarrow\sigma(l)]$ かつ $N$ ...

6

計算機アーキテクチャ

...  メモリ上に保存されている  データは 32bit程度の長さで表される  命令の長さを命令長と呼ぶ  0/1の割り当てはアーキテクチャによって異なる  ハードウェアはこのデータを解釈し、実行している  （機械語の）プログラム ...

24

計算機概論

... ファイルシステム  「ディスクファイルシステム」は、直接的か間接的かに関わらずコンピュータシステムに接続された補助記憶装置、特にハードディスク上にファイルを格納するためのものである。  ディスクファイルシステムとしては、FAT、NTFS、HFS、ext2、 ...

16

確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)

... 確率時間ゲームの状態は , ロケーションとクロッ確 : i ームオートマトンの各ロケーション $q\in Q$ ク値の組で表わされるため , 無限の状態数を持つこに対して , 利得行列不変条件の集合を割り当てる関ととなる. そこで , 連続した無限の状態空間を有限の数 $mInv:Qarrow 2^{\equiv(X)}$ ...

8

格子スピン模型の計算科学2018＿実習

... 基本課題３： • モンテカルロ法と TRGで計算したエネルギー、比熱を比較する • モンテカルロ法は（ SWEEP数が十分に大きければ）、統計誤差の範囲内で厳密である一方、 TRG法は特異値分解を用いた低ランク近似と、エネルギー・比熱の差分近似からくる二つのバイアス（真の値からのズレ）が存在する。この点を念頭において、 ...

55

価値関数によるソフトリアルタイムシステムのスケジューラ自動合成手法(計算機科学の理論とその応用)

... るに当たって , 導入した ” 価値関数 ” を用いたス経過時間は範囲を持つことになる. そこで , 価値ケジューリングを行う事で , システムの価値を最は計算上 , 範囲の中で最も低い値をとるとする. 大化するためのスケジ \iota -- ノ要求を導出する手法これは, 制御不能アクションは価値を下げる方向 ...

8

分散計算機環境におけるジョブ実行支援システムに関する研究

... • 稲葉真純, 藤生英昭, 北向亮治, 早勢欣和, 菊池崇志, 川田重夫 : 分散型問題解決環境“D-NCAS”の開発, 計算工学会講演会論文集第9巻第2号, pp.689-692, 2004 • 藤生英昭, 稲葉真純, 北向亮治, 早勢欣和, 宇佐見仁英, 菊池崇志, 川田重夫 : 分散コンピュータ環境におけるジョブ実行支援PSEの構築, 計算工学会講演会論文集第9巻 ...

27

サイバーメディアセンター大規模計算機システムの利用

... ジョブクラス一覧(SX-ACE) 使用する計算機、リソースはジョブクラスで指定 NQSIIオプション「#PBS -q」の後に続けて記述ジョブクラス利用可能経過時間最大Core数利用可能利用可能メモリ同時利用可能ノード数 ...

56

教育用計算機システム使用の手引き　2017年度版

... コンピュータが動作を行うためには，CPU が解釈できる機械語の形式でのプログラムが必要になります．しかし機械語は人間には解釈しづらいため，一般的には C など人間が読みやすいプログラミング言語を使ってプログラムを書きます．この言語を解釈して直接 CPU などの処理系が解釈することのできる言語に変換するためのプロ ...

261

教育用計算機システム使用の手引き　2012 年度版

... \begin{table} の直後に [htbp] があり，配置場所を指定することができます． ”table” 環境を記述し，その中ににキャプション ( \caption{}) ，ラベル ( \label{}) ，表 ( \tabular{}) と書きます．表は図とは異なり，一般的にはキャプションを表の上に記述します．図のソースと表のソースを見比べてもらえば ...6.3 ...

233

SCLS計算機システムの実習

関連した話題