複数のプロセスで並行に
1 All Rights Reserved Copyright IPA 2018 はじめに 本書は アジャイル開発のプロセス アジャイル開発チームにおけるメンバーの役割 および必要なスキルについて解説しています アジャイル開発には複数のアプローチ ( スクラムや XP など ) があります 本書では
... 役割（ロール）の特徴（スクラムの例） スクラムで決められている役割（ロール）は、「プロダクトオーナー」「開発チーム」「スクラムマスター」の3種類です。これら全体を 「スクラムチーム」と呼び、3つの役割が協調することで、大きな効果を創出します。 ...
34
複数源泉・複数方向の説得状況における態度変容プロセスの解明
... 容 の 要 旨 われわれは，選挙で複数の候補者から「是非私に一票を」と投票を促されるように，複数の発信源（源泉） から，それぞれ異なる方向の説得的メッセージを受け取ることがある。本論文は，この状況を「複数源泉・ ...
4
応答型逐次プロセスの部分計算を用いた並列実行(並行計算の理論とその応用)
... に、並行合成に関する規則が適用できる場合が強く制限されている点であ る . すなわち $P_{1}$ , $P_{2}$ という 2 つ以上のサブプロセスの並行合成によって定 められるプロセス $P_{1}||P_{2}$ について、変換規則が適用できるためには、 $P_{1}$ と ...
15
背景 並行システム : 協調する複数の処理 ( プロセス ) から構成されるシステム 並行システムの例 ( 昇降舵のフライバイワイヤ ) 操縦桿 x2 角度 x3x2 ジャイロ x3 重量計 x4 フラップ LVDT IRU WOW FSACE PB 優先ボタン x2 MON モニタ COM コマン
... CSPモデルはメッセージパッシング通信を採用 ⇒ 協調部（並行処理）とデータ部を分割して設計しやすい 比較：共有メモリではプロセス間の結合強度が高い（分割しにくい） x z y ...
24
情報処理学会研究報告 IPSJ SIG Technical Report Android における OS プロセス可視化環境の開発 中川裕貴 早川栄一 西野洋介 Android は,Linux カーネルと DalvikVM の二つの階層で構成されているので, 複数のプロセスの動作を理解することが困難
... OS プロセス可視化環境の開発 中川裕貴 † 早川栄一 †† 西野洋介 ††† Android は，Linux カーネルと DalvikVM の二つの階層で構成されているので， 複数のプロセスの動作を理解することが困難である．そこで，本報告では Android における OS ...
6
複数担任クラスにおける新任保育者の子どもとのかかわりに対する意識変容プロセス ―オートエスノグラフィーによる日記の分析―
... 第二に，複数担任クラスの新任保育者である筆者の意識変容を社会的環境の視点から検 討するには，先輩からの助言やそれに対する筆者の捉え方に関する記述が重要なデータと なってくる。しかし，上述のように A ...
18
1 機能概要 複数ペリフェラル ( デバイスと呼びます ) を並行動作させて その IO 完了などのイベントを1カ所で待ち合わせて イベントドリブン処理を可能にします イベントは16 個を扱えます シーケンス処理を組めるように 特定のイベントだけ選別して待ち合わせる機能があります 待ち合わせるときに
... break ; } /* ----- switch end ----------------------------------- */ 4.2 リトライ例 IO エラーが起きた時など、リトライしたいときは下記ように関数を呼ぶと、5ms 後に DelayMs イベントを起こすことがで きます。 時間選択は Timer_driverG.h/Timer_driverFR.h ...
7
プロセス計算の統合支援環境の構築(並行計算の理論とその応用)
... のである . vars $\langle$ $\mathrm{V}\mathrm{a}|\mathrm{r}\mathrm{N}\mathrm{a}\downarrow \mathrm{m}\mathrm{e}^{\rangle}\cdots$ : $\langle ...
23
複数プロセス故障を許した耐故障分散相互排除アルゴリズム(計算モデルと計算の複雑さに関する研究)
... 更新テーブル update 切は, プロセス j が故障した場合 コーラム中のプロセス $j$ を $update[j]$ で置き換えること を示す . 故障プロセス $j$ を検出したことを示すメッセー ジ DOwn( のを受信したプロセスは , まず次に示す手続 きによりこの更新テーブルを更新する. ...
5
国語科教師が教科内容観を拡張する経験学習プロセス : 学校環境が異なる複数の高校教師の事例比較より
... びを心がけているそうである。Ｂ先生には、教材ごと に生徒に気づかせたい教材世界像がある。そして、そ の世界像を生徒が概念的にも感覚的にも着実に表象化 できるよう、生徒の学びを丁寧に見取り、生徒の発言 の揺れ幅を想定し、生徒の発言を導きながら授業を展 ...
10
UNIX とは? 1969 年 米国のベル研究所で開発されたオペレーティングシステム特徴 文字ベースの対話型 OS マルチユーザ 複数のユーザが同時に利用できる マルチタスク マルチプロセス 複数の処理を平行して行える タイムシェアリング 一定の時間に区切って処理を行う 複数の処理を平行しているよう
... 1 ファイルの種類 ファイルの種類 ファイルの種類 ファイルの種類 55 5 ファイルの所有グループ 5 ファイルの所有グループ ファイルの所有グループ ファイルの所有グループ 2 22 2 アクセスの許可情報 アクセスの許可情報 アクセスの許可情報 アクセスの許可情報 ...
39
TopSE並行システム はじめに
... プロセス代数： CSP なぜJCSP の 同期型メッセージパッシング通信をFDR で検証できるのか？ プロセス代数 CSPでモデル化し、モデル検査器FDRで検証し、Javaライブラリで実装 することによって、理論的に検証された高信頼な並行システムを実装できる !!! ...
20
地域の民力に学生の創造力を組み合わせるプロセスで生まれる教育効果
... B の作品に細かな修正を施して纏めたりして，上映 用や納品用の完成品を作成した。すなわち，授業の 進行を陰で支えるもうひとつの上級生の授業を展開 することで，地域や住民，そして大学内でも授業で の取り組みが十分な成果をあげたとする評価を得 た。担当教員は，むしろチーム A ...
15
SOAに基づくソフトウェア開発プロセスの提案
... SoSD のシミュレータは各Task が指定したコストや納期通 りに実行可能か確認することが目的である．そこで，各 Task の担当者が要求された納期などが妥当であるか確認を行 えるサービスが求められる．このサービスは入力を Task が 満たすべき要求，前 Task からの成果物とする．出力は満た すべき要求に対する検証結果，次の ...
4
並行読書を取り入れた読解指導の考察
... まず、並行読書を指導に位置付けることの効果について先行研究や先行実践を分析し、 整理した。一単元において複数の教材を扱うことで、既習のテクストの構造や内容を応用 して読む、既習のテクストと相違点を見つける、自己の課題を見つける、自分の意見と比 ...
2
かし, 異なったプロセス間でデータを共有するためには, プロセス間通信や特殊な共有メモリ領域を 利用する必要がある. このためマルチプロセッサマシンの利点を最大に引き出すことができない. こ の問題はマルチスレッドを用いることで解決できる. マルチスレッドとは,1 つのプロセスの中に複 数のスレッド
... 利用する必要がある．このためマルチプロセッサマシンの利点を最大に引き出すことができない．こ の問題はマルチスレッドを用いることで解決できる．マルチスレッドとは，１つのプロセスの中に複 ...
21
並行システムにおけるコンポーネント間の状態の一貫性に関する研究
... 3.1.2 SPIN[4] G.J.Holzmann が開発，公開している自動検証法のひ とつであるモデル検査ツールである．記述言語として Promela を用いる．Promela とは対象システムの各プロ セス間をチャネル通信を用いて記述する．プロセスとは対 象システムの振る舞いを表現したものである．SPIN 検証 ...
4
並行システムにおける誤りの分析とパターン化に関する研究
... VendingMachine の STM を図 7 に示す． 図 7 VendingMachine の STM VendingMachine は ItemButton ， Timer をそれぞれ有 効状態にすると， 1 つのイベントを待つ． ItemButton か らのイベントを受理すると Timer をオフに， Timer から ...
4
はじめに 情報化施工は 調査 設計 施工 維持管理という建設生産プロセスのうち 施工 に注目し 各プロセスから得られる電子情報を活用し 高効率 高精度な施工を実現するものであり さらに 施工で得られる電子情報は 他のプロセスでも活用することによって 建設生産プロセス全体における生産性の向上や品質の確
... 地上移動体の位置情報取得で用いるＲＴＫ－ＧＮＳＳは、固定局を利用して補正情報を取得す る場合には，基準局を設置するための工事基準点（３次元座標が既知）を必要する。また、ステ レオ写真測量（地上移動体）の計測精度確保を目的とした確認試験を、導入前、計測期間中に実 ...
28
複数人数による設計開発での利用法 マニュアル
... この方法の問題点は次のとおりです。 ・ プロジェクトファイルにアクセスする場合に処理速度が低下する可能性が高い ・ ネットワークに問題がある場合などにプロジェクトファイルが破損する(モデルの情報の一部または全部が失われる)可能性がある これに対して、DBMS ...
21