2011 年 11 月 17 日 状態遷移の種類と形式検証の使いどころ アイシン エィ ダブリュ株式会社 技術本部解析技術部 主任研究員久保孝行 AISIN AW CO., LTD. All rights reserv ed. Do not reproduce or distribute.

Size: px
Start display at page:

Download "2011 年 11 月 17 日 状態遷移の種類と形式検証の使いどころ アイシン エィ ダブリュ株式会社 技術本部解析技術部 主任研究員久保孝行 AISIN AW CO., LTD. All rights reserv ed. Do not reproduce or distribute."

Transcription

1 状態遷移の種類と形式検証の使いどころ アイシン エィ ダブリュ株式会社 技術本部解析技術部 主任研究員久保孝行

2 はじめに 背景 状態遷移を使えば なんでも表現でき 形式検証によって安全性が確認できるという誤った情報で 状態遷移に飛びつく傾向があるが 正しい理解の下で状態遷移を使わなければ 目指した効果は得られない 安全な設計を行うには 元となる正しい知識が必要である 安全の基本は 教育 です 発表の流れ 状態遷移図の使われ方の事例 状態遷移図の教育方法の説明 最後に 形式検証の有効な使いところの説明

3 自動販売機を例題にする 入力 : お金 :50 円 00 円 入力 : ボタン :50 円ジュース購入ボタン 200 円ジュース購入ボタン 動作 : お金を入れて 金額が満たされた状態で購入ボタンを押すと ジュースが購入できる

4 自動販売機の状態遷移例 要求分析 : まず どの様な流れになるのかシナリオを作る ユースケースを検討 購入金額は 50 円 00 円を組み合わせとなる 50 円のジュース購入例 ( 200 円投入 50 円おつり ). 50 円 + 50 円 + 50 円 + 50 円 ジュース購入 円 + 50 円 + 00 円 ジュース購入 まずは ユースケース についてタイミングチャートを描いてみよう

5 タイミングチャート例 ユースケース 50 円 一次入力信号中間信号出力信号 00 円 50 円ジュース 200 円ジュース総額ジュース出力おつり 50 円ジュース 50 円

6 ミーリーマシンを用いた状態遷移図の例 お金の組み合わせは 非常に多いので タイミングチャートでは数が多くなりすぎる 状態遷移図を使うことで 複数のユースケースをまとめて表現できる ユースケース ユースケース 2 を表現 / ジュース 出力 意味合計 50 円 意味合計 00 円 意味合計 50 円 [50 円 ] [50 円 ] [50 円 ] ユースケース / ジュース 出力返金 50 円 ユースケース 2 [00 円 ] 意味合計 200 円 [50 円 ] [ ジュース 購入 ]

7 ミーリーマシンを用いた状態遷移図の例 200 円投入までの複数ユースケースを表現したミーリーマシン [00 円 ] / ジュース 出力 意味合計 50 円 意味合計 00 円 意味合計 50 円 [50 円 ] [50 円 ] [50 円 ] [00 円 ] [ ジュース 購入 ] [50 円 ] / ジュース 出力返金 50 円 [00 円 ] 意味合計 200 円 [ ジュース 購入 ] / ジュース 2 出力 [ ジュース 2 購入 ]

8 シナリオ表現としての状態遷移図 ユースケースが多すぎるものは 状態遷移図を使うことで 複数のユースケースをまとめた シナリオ を表現できます これによって 全体の振る舞いが解り 仕様を明確にする事ができる 注意点 ただしこのような状態遷移図は そのままソフトウェアとして実装する事はできない もちろん形式手法によるチェックも意味がない 理由は この状態遷移図は 要求を理解するため描かれた シナリオ だからです ここから 実装に必要な情報を抜き出す為の 分析 が必要である

9 状態遷移図の分析観点 : 状態変数 状態変数には 下記の二つが混在していることに気をつけるべきである 状態 ( 有限個 ) 記憶 ( 無限個 ) 無限数 : 記憶中身の量 ( ml) 中身の温度 ( ) 発熱量 ( カロリー ) 有限数 : 状態空 満水沸騰前 沸騰中 沸騰後

10 状態遷移図の表現 : 記憶の例 ミーリーチャートはフリップフロップ ( 論理演算 ) の振る舞い説明の為に作られたが あくまで振る舞いを説明するためのものであり コード生成を意識した表現方法ではない S 0 0 入力 R 0 ( リセット ) 出力 Q 保持 0 Q=(!R)&&(S Q) 真理値表や 論理演算が正しいコード 0 0( 不定 ) 変換 振る舞いを説明する為に描く (0,0)/0 (x,)/0 /0 (,0)/ Q Q2 (x,)/0 (0,0)/ ミーリーチャート (,0) Q/0 Q2/ (x,) ムーアーチャート

11 状態遷移図からコード生成 (0,0)/0 (x,)/0 /0 Q (,0)/ (x,)/0 ミーリーチャート Q=(!R)&&(S Q) Q2 (0,0)/ 変換 (,0) Q/0 Q2/ (x,) ムーアーチャート 最適化されたコードは自動生成されない フリップフロップ回路の振る舞いを書いて 最適化された論理演算が出力されるか? コード生成する状態遷移図は 状態と記憶を区別した物を対象とする

12 状態遷移図の整理例 状態 ( 有限個 ) 記憶 ( 無限個 ) 金額の組み合わせや ジュースの種類は 有限個と考えるかも知れない しかし 両方共に 数の設定を増減することができるので 無限と考えるべきである 金額やジュースの種類は 記憶 に分類される項目であり 状態として扱ってはいけない つまり シナリオで用意した以外にも お金の組み合わせや ジュースの種類があると判断すべきである

13 状態遷移図の分析観点 : システム お金の投入毎処理するのか? お金が投入された は 不定期なイベント連続投入された場合は 高速な応答性が要求される 状態遷移図のような高度な制御を 高速起動させるべきではない 対応方法投入金額を高速計算する部分を外部に作る 状態遷移は 定期的に外部へ総額を問い合わせるだけにする 正しい状態遷移図は正しい システム設計の元で成立する

14 AUTOSAR ソフトウェアプラットフォームの概念 高負荷 低速 定期的な処理 XX 制御 コンポーネント XX 制御 コンポーネント 何をアプリケーションとして何をシステム側とするのか構造的な設計思想が必要 不定期あるいは 高速な処理

15 自動販売機の動作例 自動販売機の 状態 は 動作の異なるポイント として考えると 3 つに切り分けができる 初期状態 ( 待機 ) お金のカウント( 金額チェック ) ジュースの取り出し ( 排出 ) 待機 排出 / ジュース 出力 [50 円 ] 意味合計 50 円 意味合計 00 円 金額チェック [00 円 ] 意味合計 50 円 [00 円 ] [50 円 ] [50 円 ] [ ジュース 購入 ] [50 円 ] / ジュース 出力返金 50 円 [00 円 ] 意味合計 200 円 / ジュース 2 出力 金額のチェック [ ジュース 2 購入 ] [ ジュース 購入 ]

16 表で整理して 状態遷移図へ 表を使って情報を整理し 状態遷移図へ変換する 状態名 初期状態 ボタン動作待ち 遷移条件 遷移先条件動作遷移条件 遷移先条件動作遷移条件 2 遷移先 コイン投入 お金のカウント 対象商品を点滅させる ボタンが押される金額が満たされる ジュースの取り出し 対象商品を点滅させる タイマ成立 初期状態 [ ボタン ] 初期状態 [ コイン投入 ] お金のカウント 金額はこの中で問い合わせ [ タイマー ] 条件動作お金の排出遷移条件 排出終了状態遷移表は STMだけではない 遷移先初期状態 ジュースの取り出し 仕様検討用の表はもっとシンプルな物を使うべき 条件動作内部メモリを初期化必要最低限の事を表に書き込み 整理する 思考速度を落とさないシンプルさが重要 検証用の表と 設計用の表は異なる 排出

17 状態遷移の書き方 状態遷移図は シナリオ表現 仕様の表現とさまざまな使い方があり 状態 と 記憶 の区別が必要であることを説明した 更に状態遷移図は記述方法についても 制限が必要である 状態遷移図は 自由度が高く さまざま書き方ができる そのため 他者からの理解度が低く 理解するのに時間が必要なケースがある しかし 書き方を限定することで 他者からの理解度を上げる事ができる アイシン AW では 書き方を 2 種類に限定した

18 状態遷移図の記述ルール制定について アイシン エィ ダブリュでは 995 年から状態遷移表を用いた制御開発を行ってきた 当時から拡張された意味論を使用しており 現在の Stateflow と同等である ( ムーアーをベースにハレルヤ以上の拡張がされていた ) 状態の階層化 並列化が可能 イニシャライズと通常実行の区別 遷移条件と条件アクションが使用可能 自己遷移 インナートランジションが使用可能 タイマーによる強制遷移が標準ルール残念ながら 自動生成ツールではない Stateflow へ 表 図 : 状態遷移図の描き方は 5 年間の状態遷移に関する設計的な考え方を継承している

19 A 型 : ウォーターフォール型状態遷移図 リセット 初期 状態は上から下に流れるように 記述する 初期 中期 終了の 3 つに分けて図を描く 下へ遷移する条件は左側へ記述する 遷移条件は真ん中より上側へ記述する 遷移線よりも左側に記述したほうが全体のバランスが良い 中期は 初期遷移から流れる系統で並列に並べて描く 状態の大きさには意味は持たせない 状態の大きさが状態の優先度を示したり 状態の重要度を示す事はない 上へ遷移する条件は右側へ記述する 遷移条件は真ん中より下側へ記述する 遷移線よりも右側に記述したほうが全体のバランスが良い 終了 制御は 不安定から安定へ ウォータフォール同様 上流に戻すのはリスクがある

20 B 型 : 多状態 多遷移 2. 遷移条件が多い場合は パラレルチャート化し 外へ出す. インナートランジションを活用し遷移線をまとめる [in(a)] {function f} i[n(b)] {function f2} function f function f2 haschange(st) 状態変数をチェック [ST==A] [ST==B] A B [in(c)] {function f3} [in(d)] {function f4} function f3 function f4 [ST==C] 状態変数と一致した状態へ遷移する [ST==D] C D [in(e)] {function f5} function f5 [ST==E] E

21 A,B 混在型 : 状態遷移図の描き方 状態遷移図は A 型ウォーターフォール型を基本に多遷移の B 型を組み合わせ事で全ての表現が可能 状態遷移は適切な記述を行えば 爆発しない

22 具体的な事例説明 参考資料 拡張階層構造化状態遷移表設計手法 Ver2.0 状態遷移表から状態遷移図へ変換する P54 から

23 subcartmains [ in( MainS.S2) ] {fcn_ S2( ) ;} [in( MainS.S3)] {fcn_ S3( ) ;} [in( MainS.S4)] {fcn_ S4( ) ;} [in( MainS.S5)] {fcn_ S5( ) ;} [in( MainS.S6)] {fcn_ S6( ) ;} [in( MainS.S7)] {fcn_ S7( ) ;} [in( MainS.S8)] {fcn_ S8( ) ;} function function function function function function function fcn_ S2 f cn_ S3 f cn_ S4 f cn_ S5 f cn_ S6 f cn_ S7 f cn_ S8 MainS [Button==E] 2 ON [haschanged [Button==E4] ( enum_ MainS) ] [enum_mains==s3] [enum_mains==s4] [enum_mains==s5] [enum_mains==s6] [enum_mains==s7] 2 [enum_mains==s8] [enum_ MainS==S9] [Buton=E2] [Buton=E0] S0 S S2 [Buton=E3] S3 S4 S5 S6 S7 S8 S9 B 型を使った状態遷移表現 B 型は 状態遷移表と 対 で全てのケースを表現できる 表の段階で 最適化されていれば それをB 型でそのまま表現できる 2 2 表どおりの遷移条件を記載する 遷移しない場合も記述は 何もしない事を示すために記述だけ残す 本当は 9 も同一に描けるが 録音は 特殊操作として分けた

24 A 型で表現 : インナートランジション活用 インナートラインジションでまとめられる遷移を一箇所で集約

25 A 型で表現 : 状態の考え方がおかしい部分 状態遷移表の指定どおりに変換すると 状態定義がおかしいところがある 外部から 子の状態へ直接遷移する遷移ができる場合は 状態の考え方がおかしい 状態内部は独立性が必要!

26 A 型で表現 : 親子依存関係の見直し 親から子への直接遷移を防止した場合 独立性を保持した状態遷移ただし 状態数が多く 同じような制御内容の状態が複数個あるのがわかる 赤枠の中に状態が 8 個

27 A 型で表現 : 状態を記憶に変更 赤枠の中は 状態が 2 個 早送り 逆送りは 速度が異なるだけで 状態ではないと定義した場合

28 実際の教育方法について 状態遷移図は 分析 整理する事で A 型 B 型によって表現が可能である しかし 状態遷移図の描き方を限定しても 多様な状態表現が可能である為 ルールの徹底には教育しかない しかし 描き方を制限するような教育は教え方を誤ると 受けいれてもらえず 効果がでてこない

29 実際の教育方法について 教育内容を肯定的に受け入れさせる点を注意しなければならない 自らが書いた状態遷移図を 強制的にフォーマットに従った書き方に変更させると 最初に自分が書いた図の方が理解度が高いと感じるので 反感を買い 教育効果が薄まってしまう フォーマットへの変換方法を指導する場合 他人が書いた状態遷移図を共通フォーマットへ変換する演習を行うべきである

30 演習例 修正点 : 縦型に修正 Wait は使用していないので 削除する 問題点 : 横型になっている 状態の中にある状態へ他の親から子へ直接遷移している この教育では 状態遷移図の制御内容は簡単に説明するが 内容を正確に理解する部分には力を入れない 形の修正を学ぶところに力を入れる 形を修正してから 状態の流れを理解してもらう

31 B 型適応例 C B C 変更前 A B 先ほどの状態遷移図をよく見ると 同一条件で状態変化しているので B 型で描けば 最小化される A A B 全ての状態へ遷移線があり ディフォルト遷移の場所がおかしい C 標準フォーマットの教育他人の作った状態遷移図を標準フォーマットに修正する演習を繰り返す

32 最後に 形式手法の使いどころ. シナリオ表現 として設計した状態遷移図に形式検証を行っても意味がない 2. 制御系では 必ずタイマーによる強制終了の遷移を作る事を心がけます 従って デッドロックの検査は必要ありません 3. 要求の例外検証 を形式検証によって調べる場合 命題を作るのが非常に困難で 実際には使われません 4. 状態遷移図は 一度作ったものを必ず分析し 最適化され 図が変更されます 最適化前後のモデルの振る舞いが同一であるか形式検証によって一致性検証を行うと効果が高くなります

33 形式検証. フルカバレッジのテストは 時間もかかる 形式検証で一致性を確認すると 検証時間を節約できる 2. 第 3 者がモデルを変更した場合 見た目や 動作結果だけで 最初の設計者に説明するだけでは なかなか変更を受けいててくれないが 形式検証によって一致性が証明さ最適化前れた事を伝えると 設計者が簡単に納得してくれる 最適化後 出力結果の一致性を Simulink Design Verifier を用いて形式検証で調べる

34 状態遷移の使い方まとめ シナリオ表現として使われている場合がある シナリオ表現は そのままでは 仕様ではない ソフトウェアに実装することはできない 分析 最適化が必要である 分析 最適化 ( きちんと設計すれば 状態爆発は起きない ) 記憶と 状態を区別する インナートランジションを活用し 遷移線をまとめる パラレルチャートを活用し 状態数を削減する 図は 決まったフォーマットに統一する事を心がける 形式手法は 最適化を標準として 最適化前後の振る舞い一致性検証を行うとその威力を発揮できる 状態遷移を使いこなすには 教育が必要である!

目次 MBD エンジニアのキャリア種別 モデリング編 要求表現 タイミングチャート 状態遷移図 状態遷移図の描き方 書き方のルール 教育方法 MBD 開発環境エンジニア編 MBD 開発環境の 改善 最後に スライド番号 2

目次 MBD エンジニアのキャリア種別 モデリング編 要求表現 タイミングチャート 状態遷移図 状態遷移図の描き方 書き方のルール 教育方法 MBD 開発環境エンジニア編 MBD 開発環境の 改善 最後に スライド番号 2 MBD エンジニアの仕事術 アイシン エィ ダブリュ株式会社 技術本部解析技術部 主任研究員久保孝行 スライド番号 1 目次 MBD エンジニアのキャリア種別 モデリング編 要求表現 タイミングチャート 状態遷移図 状態遷移図の描き方 書き方のルール 教育方法 MBD 開発環境エンジニア編 MBD 開発環境の 改善 最後に スライド番号 2 アイシン エィ ダブリュ株式会社 社名設立資本金代表者売上高主要製品従業員数本社所在地

More information

arduino プログラミング課題集 ( Ver /06/01 ) arduino と各種ボードを組み合わせ 制御するためのプログラミングを学 ぼう! 1 入出力ポートの設定と利用方法 (1) 制御( コントロール ) する とは 外部装置( ペリフェラル ) が必要とする信号をマイ

arduino プログラミング課題集 ( Ver /06/01 ) arduino と各種ボードを組み合わせ 制御するためのプログラミングを学 ぼう! 1 入出力ポートの設定と利用方法 (1) 制御( コントロール ) する とは 外部装置( ペリフェラル ) が必要とする信号をマイ arduino プログラミング課題集 ( Ver.5.0 2017/06/01 ) arduino と各種ボードを組み合わせ 制御するためのプログラミングを学 ぼう! 1 入出力ポートの設定と利用方法 (1) 制御( コントロール ) する とは 外部装置( ペリフェラル ) が必要とする信号をマイコンから伝える 外部装置の状態をマイコンで確認する 信号の授受は 入出力ポート 経由で行う (2) 入出力ポートとは?

More information

Microsoft PowerPoint - LogicCircuits09note.ppt [互換モード]

Microsoft PowerPoint - LogicCircuits09note.ppt [互換モード] 組み合わせ回路と順序回路 論理回路 第 9 回フリップフロップ http://www.info.kindai.ac.jp/lc 38 号館 4 階 N-4 内線 5459 takasi-i@info.kindai.ac.jp 組み合わせ回路 ある時刻の信号が 現在の信号だけで決まる回路 順序回路 ある時刻の信号が 現在の信号だけでなく 過去の信号の影響も受ける回路 ( 回路内にバッファ メモリがある

More information

CANapeを用いたラピッドコントロールプロトタイピングのバイパス手法による制御モデル開発

CANapeを用いたラピッドコントロールプロトタイピングのバイパス手法による制御モデル開発 ape を用いたラピッドコントロールプロトタイピングのバイパス手法による制御モデル開発 近年 自動車のソフトウェア開発において 開発期間の短縮やコスト削減の面からモデルベース開発が注目されています アイシン エィ ダブリュ株式会社は ラピッドコントロールプロトタイピングのバイパス手法による制御モデル開発にベクターの測定 / キャリブレーションツール ape ( キャナピー ) を導入しました 本稿では

More information

040402.ユニットテスト

040402.ユニットテスト 2. ユニットテスト ユニットテスト ( 単体テスト ) ユニットテストとはユニットテストはプログラムの最小単位であるモジュールの品質をテストすることであり その目的は結合テスト前にモジュール内のエラーを発見することである テストは機能テストと構造テストの2つの観点から行う モジュールはプログラムを構成する要素であるから 単体では動作しない ドライバとスタブというテスト支援ツールを使用してテストを行う

More information

ポインタ変数

ポインタ変数 プログラミング及び実習 5 馬青 1 文字処理 数値処理 : 整数 浮動小数点数 単一の文字は と ( シングルクォーテーション ) で囲んで表現される 文字のデータ型は char または int である int を用いたほうが ライブラリの関数の引数の型と一致する 以下は全部 int の使用に統一する 従って int ch; で文字変数を宣言しておくと ch= A ; のように ch に文字 A

More information

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実  1 個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 iwahashi@est.hi-ho.ne.jp Iwahashi.Masami@wak.msw.co.jp 1 改善効果 品質 : フロントローディングが進み流出不具合 0 継続生産性 : 平均 130% 改善 工数割合分析

More information

Microsoft PowerPoint - LogicCircuits11note.ppt [互換モード]

Microsoft PowerPoint - LogicCircuits11note.ppt [互換モード] 論理回路 第 回多状態順序回路の設計 http://www.info.kindai.ac.jp/lc 38 号館 4 階 N4 内線 5459 takasii@info.kindai.ac.jp 不完全指定論理関数と完全指定論理関数 2 n 個の状態を持つ (n 個の FF を持つ ) 論理関数に対して 定義 3. ( 不完全指定論理関数 ) ある状態に対する状態遷移関数, 出力関数が定義されていない論理関数

More information

目次 1. システム概要 設置手順 注意事項 動作環境 初期設定 システム設定 ( 環境設定 ) システム設定 ( ログインパスワード変更 ) システム設定 ( ファイルのパスワード変

目次 1. システム概要 設置手順 注意事項 動作環境 初期設定 システム設定 ( 環境設定 ) システム設定 ( ログインパスワード変更 ) システム設定 ( ファイルのパスワード変 厚生労働省版ストレスチェック実施プログラム設置 設定マニュアル Ver.1.1 目次 1. システム概要... 2 2. 設置手順... 3 3. 注意事項... 5 4. 動作環境... 8 5. 初期設定... 9 6. システム設定 ( 環境設定 )... 15 7. システム設定 ( ログインパスワード変更 )... 18 8. システム設定 ( ファイルのパスワード変更 )... 20 9.

More information

VLSI工学

VLSI工学 25/1/18 計算機論理設計 A.Matsuzawa 1 計算機論理設計 (A) (Computer Logic Design (A)) 東京工業大学大学院理工学研究科電子物理工学専攻 松澤昭 3. フリップフロップ回路とその応用 25/1/18 計算機論理設計 A.Matsuzawa 2 25/1/18 計算機論理設計 A.Matsuzawa 3 注意 この教科書では記憶回路を全てフリップフロップと説明している

More information

RaQuest MindManager

RaQuest MindManager How to use MindManager Add-in with RaQuest by SparxSystems Japan 1. はじめに このドキュメントでは 要求管理ツール RaQuest と 連携するマインドマップツールで ある MindManager の 2 つのソフトウェアを活用し ソフトウェアシステムの設計開発に おける要求分析および管理を効率化する方法についてご紹介します 2.

More information

Microsoft PowerPoint - 【最終提出版】 MATLAB_EXPO2014講演資料_ルネサス菅原.pptx

Microsoft PowerPoint - 【最終提出版】 MATLAB_EXPO2014講演資料_ルネサス菅原.pptx MATLAB/Simulink を使用したモータ制御アプリのモデルベース開発事例 ルネサスエレクトロニクス株式会社 第二ソリューション事業本部産業第一事業部家電ソリューション部 Rev. 1.00 2014 Renesas Electronics Corporation. All rights reserved. IAAS-AA-14-0202-1 目次 1. はじめに 1.1 モデルベース開発とは?

More information

スライド 1

スライド 1 順序回路 (2) 1 順序回路の設計 組合せ論理回路の設計法 構造や規則性に着目した手設計 ( 先人の知恵を使う ) 入力 出力の関係に基づく自動合成 ( カルノー図など ) 順序回路の設計法 構造や規則性に着目した手設計 ( 前回の各例 ) 入力 出力 状態の関係に基づく自動合成 2 同期式順序回路の入力 出力 状態の関係 x 1 x 2 組合せ回路 y 1 y 2 x n q 2 q p q 1

More information

PAT-LIST-GLS V3.0 新機能のご紹介 ここでは PAT-LIST-GLS Ver2.1.1.X からの機能アップについて説明しています 特に 新しい TPL ファイル 2.0 は従来のバージョンの GLS ではお使いになれませんので 必ず本書 をお読みになり ご利用をお願い致します 1

PAT-LIST-GLS V3.0 新機能のご紹介 ここでは PAT-LIST-GLS Ver2.1.1.X からの機能アップについて説明しています 特に 新しい TPL ファイル 2.0 は従来のバージョンの GLS ではお使いになれませんので 必ず本書 をお読みになり ご利用をお願い致します 1 PAT-LIST-GLS V3.0 新機能のご紹介 ここでは PAT-LIST-GLS Ver2.1.1.X からの機能アップについて説明しています 特に 新しい TPL ファイル 2.0 は従来のバージョンの GLS ではお使いになれませんので 必ず本書 をお読みになり ご利用をお願い致します 1. TPL ファイル 2.0 の採用 2. US/ES/CN タブ / 請求範囲のタブ構造を JP タブと同様に階層化

More information

DMtoJPGISVer1.0 操作説明書 平成 19 年 3 月 国土交通省国土地理院

DMtoJPGISVer1.0 操作説明書 平成 19 年 3 月 国土交通省国土地理院 DMtoJPGISVer1.0 操作説明書 平成 19 年 3 月 国土交通省国土地理院 目 次 はじめに...3 1. 使用準備...5 1.1 動作環境...5 1.2 インストール...5 1.3 アンインストール...5 2. 操作方法...6 2.1 システムの起動...6 2.2 システムの終了...6 2.3 変換...7 2.4 ログファイルの表示...9 はじめに このソフトウェアは

More information

編集する ファイルを開く マイクロデータの設定を行うファイルまたはファイルを開きます 開かれたファイルは編集画面に表示されて ブラウザ表示した時のプレビューも同時に表示されます HTML ファイルの選択 編集する ファイルを開くためにメインメニューから ファイル 開く を選びます ファイル選択ダイア

編集する ファイルを開く マイクロデータの設定を行うファイルまたはファイルを開きます 開かれたファイルは編集画面に表示されて ブラウザ表示した時のプレビューも同時に表示されます HTML ファイルの選択 編集する ファイルを開くためにメインメニューから ファイル 開く を選びます ファイル選択ダイア 基本操作編 編集するファイルを開く... ファイルの選択... 各パネルの表示非表示... マイクロデータ : の編集... 編集するテキストの選択... 適用するテキストの選択... アイテムタイプの選択... アイテムタイプの検索... よく使うアイテムタイプの登録... よく使うアイテムタイプの削除... 定型セットの登録... 定型セットの削除... 定型セット内のアイテムタイプの削除...

More information

(Microsoft PowerPoint - \221g\202\335\215\236\202\335\203\\\203t\203g\203E\203F\203A\215H\212w No03\201i\224z\225z\227p\201j.pptx)

(Microsoft PowerPoint - \221g\202\335\215\236\202\335\203\\\203t\203g\203E\203F\203A\215H\212w No03\201i\224z\225z\227p\201j.pptx) 前回の講義のおさらい 組み込みソフトウェア工学 第 3 回組み込みシステムアーキテクチャ 開発プロセス 製品を開発する上での必要なプロセス 何を作るか ( 要求, 戦略 ) どうやって作るか ( 開発プロセス ) 開発で必要な要因 ( 人物金情報 ) スケジュールと仕様書 本日の内容 組み込みシステムアーキテクチャ 組み込みシステムにおけるソフトウェアを作成する上で必要な構成要素をどのように考えるかについて理解する

More information

コンピュータ工学講義プリント (7 月 17 日 ) 今回の講義では フローチャートについて学ぶ フローチャートとはフローチャートは コンピュータプログラムの処理の流れを視覚的に表し 処理の全体像を把握しやすくするために書く図である 日本語では流れ図という 図 1 は ユーザーに 0 以上の整数 n

コンピュータ工学講義プリント (7 月 17 日 ) 今回の講義では フローチャートについて学ぶ フローチャートとはフローチャートは コンピュータプログラムの処理の流れを視覚的に表し 処理の全体像を把握しやすくするために書く図である 日本語では流れ図という 図 1 は ユーザーに 0 以上の整数 n コンピュータ工学講義プリント (7 月 17 日 ) 今回の講義では フローチャートについて学ぶ フローチャートとはフローチャートは コンピュータプログラムの処理の流れを視覚的に表し 処理の全体像を把握しやすくするために書く図である 日本語では流れ図という 図 1 は ユーザーに 0 以上の整数 n を入力してもらい その後 1 から n までの全ての整数の合計 sum を計算し 最後にその sum

More information

テスト設計コンテスト

テスト設計コンテスト テスト設計コンテスト 17 話題沸騰ポット (GOMA-1015 型 ) テスト設計 目次 Page 2/25 1. はじめにチーム紹介チームの立ち位置テスト設計の流れ 2. テスト要求分析テスト要求分析の流れ仕様把握と機能要求分析非機能要求分析因子水準表 3. テストアーキテクチャ設計アーキテクチャ設計の流れテストアーキテクチャ全体俯瞰図機能アーキテクチャ非機能アーキテクチャシステム全体俯瞰図 4.

More information

図 1 アドインに登録する メニューバーに [BAYONET] が追加されます 登録 : Excel 2007, 2010, 2013 の場合 1 Excel ブックを開きます Excel2007 の場合 左上の Office マークをクリックします 図 2 Office マーク (Excel 20

図 1 アドインに登録する メニューバーに [BAYONET] が追加されます 登録 : Excel 2007, 2010, 2013 の場合 1 Excel ブックを開きます Excel2007 の場合 左上の Office マークをクリックします 図 2 Office マーク (Excel 20 BayoLink Excel アドイン使用方法 1. はじめに BayoLink Excel アドインは MS Office Excel のアドインツールです BayoLink Excel アドインは Excel から API を利用して BayoLink と通信し モデルのインポートや推論の実行を行います BayoLink 本体ではできない 複数のデータを一度に推論することができます なお現状ではソフトエビデンスを指定して推論を行うことはできません

More information

回路 7 レジスタ ( 同期イネーブル及び非同期リセット付 ) 入力データを保持するのに用いる記憶素子 使用用途として, マイクロプロセッサ内部で演算や実行状態の保持に用いられる Fig4-2 のレジスタは, クロック信号の立ち上がり時かつ 信号が 1 のときに外部からの 1 ビットデータ R をレ

回路 7 レジスタ ( 同期イネーブル及び非同期リセット付 ) 入力データを保持するのに用いる記憶素子 使用用途として, マイクロプロセッサ内部で演算や実行状態の保持に用いられる Fig4-2 のレジスタは, クロック信号の立ち上がり時かつ 信号が 1 のときに外部からの 1 ビットデータ R をレ 第 4 回 VHDL 演習 2 プロセス文とステートマシン プロセス文を用いるステートマシンの記述について学ぶ 回路 6 バイナリカウンタ (Fig.4-1) バイナリカウンタを設計し, クロック信号に同期して動作する同期式回路の動作を学ぶ ⅰ) リスト 4-1 のコードを理解してから, コンパイル, ダウンロードする ⅱ) 実験基板上のディップスイッチを用いて, 発生するクロック周波数を 1Hz

More information

Using VectorCAST/C++ with Test Driven Development

Using VectorCAST/C++ with Test Driven Development ホワイトペーパー V2.0 2018-01 目次 1 はじめに...3 2 従来型のソフトウェア開発...3 3 テスト主導型開発...4 4...5 5 TDD を可能にするテストオートメーションツールの主要機能...5 5.1 テストケースとソースコード間のトレーサビリティー...5 5.2 テストケースと要件間のトレーサビリティー...6 6 テスト主導型開発の例...7 2 1 はじめに 本書では

More information

2.Picasa3 の実行 デスクトップの をダブルククリック 一番最初の起動の時だけ下記画 面が立ち上がります マイドキュメント マイピクチャ デスクトップのみスキャン にチェックを入れ続行 これはパソコン内部の全画像を検索して Picasa で使用する基本データを作成するものですが 完全スキャン

2.Picasa3 の実行 デスクトップの をダブルククリック 一番最初の起動の時だけ下記画 面が立ち上がります マイドキュメント マイピクチャ デスクトップのみスキャン にチェックを入れ続行 これはパソコン内部の全画像を検索して Picasa で使用する基本データを作成するものですが 完全スキャン Picasa3 を使った写真の整理 写真の整理はエクスプローラーを開いてフォルダの作成から写真の移動やコピーを行うことが望ましいのですが エクスプローラーの操作を覚えられずに写真の整理が進んでいない人のために画像管理ソフト Picasa3 を使った整理方法を説明します なお このソフトは画像に関する多くの機能を持ったものですが 画像整理だけの利用では容量も大きいですからエクスプローラーの使い方をマスターしている人はこのソフトを使う必要はありません

More information

講義の進め方 第 1 回イントロダクション ( 第 1 章 ) 第 2 ~ 7 回第 2 章 ~ 第 5 章 第 8 回中間ミニテスト (11 月 15 日 ) 第 9 回第 6 章 ~ 第 回ローム記念館 2Fの実習室で UML によるロボット制御実習 定期試験 2

講義の進め方 第 1 回イントロダクション ( 第 1 章 ) 第 2 ~ 7 回第 2 章 ~ 第 5 章 第 8 回中間ミニテスト (11 月 15 日 ) 第 9 回第 6 章 ~ 第 回ローム記念館 2Fの実習室で UML によるロボット制御実習 定期試験 2 ソフトウェア工学 第 7 回 木曜 5 限 F205 神原弘之 京都高度技術研究所 (ASTEM RI) http://www.metsa.astem.or.jp/se/ 1 講義の進め方 第 1 回イントロダクション ( 第 1 章 ) 第 2 ~ 7 回第 2 章 ~ 第 5 章 第 8 回中間ミニテスト (11 月 15 日 ) 第 9 回第 6 章 ~ 第 12 14 回ローム記念館 2Fの実習室で

More information

Microsoft Word - 19-d代 試é¨fi 解ç�fl.docx

Microsoft Word - 19-d代 試é¨fi 解ç�fl.docx 2019 年度ディジタル代数期末試験解答例 再評価試験は期末試験と同程度の難しさである. しっかり準備して受けるように. 1. アドレスが 4 バイトで表わされた画像処理専用プロセッサが幾つかのデータを吐き出して停まってしまった. そのデータの 1 つはレジスタ R0 の中身で,16 進表示すると (BD80) 16 であった. このデータに関して, 以下の問に対する回答を対応する箱内に書け. (1)

More information

Oracle Un お問合せ : Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよ

Oracle Un お問合せ : Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよ Oracle Un お問合せ : 0120- Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよびSOA 対応データ サービスへ ) を網羅する総合的なデータ統合プラットフォームです Oracle

More information

【第一稿】論文執筆のためのワード活用術 (1).docx.docx

【第一稿】論文執筆のためのワード活用術  (1).docx.docx ワード活用マニュアル レポート 論文の作成に欠かせない Word の使い方を勉強しましょう ワードはみんなの味方です 使いこなせればレポート 論文の強い味方になってくれます 就職してからも必要とされるスキルなのでこの機会に基本的なところをおさえちゃいましょう 各セクションの最後に練習問題があるので HP に添付されているワークシート (http://www.tufs.ac.jp/common/library/lc/word_work.docx)

More information

Microsoft PowerPoint - mp11-06.pptx

Microsoft PowerPoint - mp11-06.pptx 数理計画法第 6 回 塩浦昭義情報科学研究科准教授 shioura@dais.is.tohoku.ac.jp http://www.dais.is.tohoku.ac.jp/~shioura/teaching 第 5 章組合せ計画 5.2 分枝限定法 組合せ計画問題 組合せ計画問題とは : 有限個の もの の組合せの中から, 目的関数を最小または最大にする組合せを見つける問題 例 1: 整数計画問題全般

More information

アプリケーション インスペクションの特別なアクション(インスペクション ポリシー マップ)

アプリケーション インスペクションの特別なアクション(インスペクション ポリシー マップ) CHAPTER 2 アプリケーションインスペクションの特別なアクション ( インスペクションポリシーマップ ) モジュラポリシーフレームワークでは 多くのアプリケーションインスペクションで実行される特別なアクションを設定できます サービスポリシーでインスペクションエンジンをイネーブルにする場合は インスペクションポリシーマップで定義されるアクションを必要に応じてイネーブルにすることもできます インスペクションポリシーマップが

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 講座準備 講座資料は次の URL から DL 可能 https://goo.gl/jnrfth 1 ポインタ講座 2017/01/06,09 fumi 2 はじめに ポインタはC 言語において理解が難しいとされる そのポインタを理解することを目的とする 講座は1 日で行うので 詳しいことは調べること 3 はじめに みなさん復習はしましたか? 4 & 演算子 & 演算子を使うと 変数のアドレスが得られる

More information

書式に示すように表示したい文字列をダブルクォーテーション (") の間に書けば良い ダブルクォーテーションで囲まれた文字列は 文字列リテラル と呼ばれる プログラム中では以下のように用いる プログラム例 1 printf(" 情報処理基礎 "); printf("c 言語の練習 "); printf

書式に示すように表示したい文字列をダブルクォーテーション () の間に書けば良い ダブルクォーテーションで囲まれた文字列は 文字列リテラル と呼ばれる プログラム中では以下のように用いる プログラム例 1 printf( 情報処理基礎 ); printf(c 言語の練習 ); printf 情報処理基礎 C 言語についてプログラミング言語は 1950 年以前の機械語 アセンブリ言語 ( アセンブラ ) の開発を始めとして 現在までに非常に多くの言語が開発 発表された 情報処理基礎で習う C 言語は 1972 年にアメリカの AT&T ベル研究所でオペレーションシステムである UNIX を作成するために開発された C 言語は現在使われている多数のプログラミング言語に大きな影響を与えている

More information

2 概要 市場で不具合が発生にした時 修正箇所は正常に動作するようにしたけど将来のことを考えるとメンテナンス性を向上させたいと考えた リファクタリングを実施して改善しようと考えた レガシーコードなのでどこから手をつけて良いものかわからない メトリクスを使ってリファクタリング対象を自動抽出する仕組みを

2 概要 市場で不具合が発生にした時 修正箇所は正常に動作するようにしたけど将来のことを考えるとメンテナンス性を向上させたいと考えた リファクタリングを実施して改善しようと考えた レガシーコードなのでどこから手をつけて良いものかわからない メトリクスを使ってリファクタリング対象を自動抽出する仕組みを メトリクス利用によるリファクタリング対象の自動抽出 ローランドディー. ジー. 株式会社 第 4 開発部 SC02 小林光一 e-mail:kouichi.kobayashi@rolanddg.co.jp 2 概要 市場で不具合が発生にした時 修正箇所は正常に動作するようにしたけど将来のことを考えるとメンテナンス性を向上させたいと考えた リファクタリングを実施して改善しようと考えた レガシーコードなのでどこから手をつけて良いものかわからない

More information

HDC-EDI Manager Ver レベルアップ詳細情報 < 製品一覧 > 製品名バージョン HDC-EDI Manager < 対応 JavaVM> Java 2 Software Development Kit, Standard Edition 1.4 Java 2

HDC-EDI Manager Ver レベルアップ詳細情報 < 製品一覧 > 製品名バージョン HDC-EDI Manager < 対応 JavaVM> Java 2 Software Development Kit, Standard Edition 1.4 Java 2 レベルアップ詳細情報 < 製品一覧 > 製品名バージョン HDC-EDI Manager 2.2.0 < 対応 JavaVM> Java 2 Software Development Kit, Standard Edition 1.4 Java 2 Platform Standard Edition Development Kit 5.0 Java SE Development Kit 6 < 追加機能一覧

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 5 月 Java 基礎 1 タイトル Java 基礎 2 日間 概要 目的 サーバサイドのプログラミング言語で最もシェアの高い Java SE の基本を習得します 当研修ではひとつの技術ごとに実用的なアプリケーションを作成するため 効果的な学習ができます Java SE の多くの API の中で 仕事でよく利用するものを中心に効率よく学びます 実際の業務で最も利用される開発環境である Eclipse

More information

WBS_Ch0.indd

WBS_Ch0.indd ガントチャート 利用ガイド ver.7.0.0 RSRicksoft リックソフト株式会社 www.ricksoft.jp 目次 Chapter 1 はじめに... 2 1. 1 用語と概念...2 1. 1. 1 チケット...2 1. 1. 2 工程 チケット...2 1. 1. 3 チケットの親子関係...3 1. 1. 4 現在の計画とベースライン ( 基準計画 )...3 1. 2 推奨環境...4

More information

SQiP シンポジウム 2016 アジャイルプロジェクトにおけるペアワーク適用の改善事例 日本電気株式会社小角能史 2016 年 9 月 16 日 アジェンダ 自己紹介ペアワークとはプロジェクトへのペアワークの適用方法 スクラム適用ルール作成 最適化の流れ KPTを用いたふりかえり 適用ルールの改善事例 適用プロジェクトの概要ペアワーク適用ルール ( 初期 ) 改善例 1 - ペアのローテーション改善例

More information

目次 ペトリネットの概要 適用事例

目次 ペトリネットの概要 適用事例 ペトリネットを利用した状態遷移テスト 和田浩一 東京エレクトロン SDC FA グループ 目次 ペトリネットの概要 適用事例 ペトリネットの概要 - ペトリネットとは ペトリネット (Petri Net) とは カール アダム ペトリが 1962 年に発表した離散分散システムを数学的に表現する手法である 視覚的で 数学的な離散事象システムをモデル化するツールの一つである ペトリネットの概要 - ペトリネットの表記と挙動

More information

計算機アーキテクチャ

計算機アーキテクチャ 計算機アーキテクチャ 第 11 回命令実行の流れ 2014 年 6 月 20 日 電気情報工学科 田島孝治 1 授業スケジュール ( 前期 ) 2 回日付タイトル 1 4/7 コンピュータ技術の歴史と コンピュータアーキテクチャ 2 4/14 ノイマン型コンピュータ 3 4/21 コンピュータのハードウェア 4 4/28 数と文字の表現 5 5/12 固定小数点数と浮動小数点表現 6 5/19 計算アーキテクチャ

More information

Microsoft PowerPoint Java基本技術PrintOut.ppt [互換モード]

Microsoft PowerPoint Java基本技術PrintOut.ppt [互換モード] 第 3 回 Java 基本技術講義 クラス構造と生成 33 クラスの概念 前回の基本文法でも少し出てきたが, オブジェクト指向プログラミングは という概念をうまく活用した手法である. C 言語で言う関数に似ている オブジェクト指向プログラミングはこれら状態と振る舞いを持つオブジェクトの概念をソフトウェア開発の中に適用し 様々な機能を実現する クラス= = いろんなプログラムで使いまわせる 34 クラスの概念

More information

1. はじめに 本書は スプリット演算器 MFS2 用コンフィギュレータソフトウェア の取扱方法 操作手順 注意事項などを説明したものです Windows の操作や用語を理解している方を前提にしています Windows の操作や用語については それぞれのマニュアルを参照してください 1.1. MFS

1. はじめに 本書は スプリット演算器 MFS2 用コンフィギュレータソフトウェア の取扱方法 操作手順 注意事項などを説明したものです Windows の操作や用語を理解している方を前提にしています Windows の操作や用語については それぞれのマニュアルを参照してください 1.1. MFS スプリット演算器 MFS2 用コンフィギュレータソフトウェア MFS2CFG バージョン 0.02 取扱説明書 1/10 NM-9307 改 2 1. はじめに 本書は スプリット演算器 MFS2 用コンフィギュレータソフトウェア の取扱方法 操作手順 注意事項などを説明したものです Windows の操作や用語を理解している方を前提にしています Windows の操作や用語については それぞれのマニュアルを参照してください

More information

今回のプログラミングの課題 ( 前回の課題で取り上げた )data.txt の要素をソートして sorted.txt というファイルに書出す ソート (sort) とは : 数の場合 小さいものから大きなもの ( 昇順 ) もしくは 大きなものから小さなもの ( 降順 ) になるよう 並び替えること

今回のプログラミングの課題 ( 前回の課題で取り上げた )data.txt の要素をソートして sorted.txt というファイルに書出す ソート (sort) とは : 数の場合 小さいものから大きなもの ( 昇順 ) もしくは 大きなものから小さなもの ( 降順 ) になるよう 並び替えること C プログラミング演習 1( 再 ) 4 講義では C プログラミングの基本を学び 演習では やや実践的なプログラミングを通して学ぶ 今回のプログラミングの課題 ( 前回の課題で取り上げた )data.txt の要素をソートして sorted.txt というファイルに書出す ソート (sort) とは : 数の場合 小さいものから大きなもの ( 昇順 ) もしくは 大きなものから小さなもの ( 降順

More information

Microsoft PowerPoint - FormsUpgrade_Tune.ppt

Microsoft PowerPoint - FormsUpgrade_Tune.ppt Forms アップグレードに関する追加作業 - 工数見積もり サイジング チューニング - 必要な追加作業 工数見積もり サイジング チューニング 2 1 C/S Web 工数見積もり 工数見積もりの際に考慮すべき事項 アップグレードによる一般的なコード修正 テスト工数 C/S では使用できるが Web では廃止された機能に対する対策 USER_EXIT を使って Windows 上 DLL のファンクションをコールしている

More information

改訂履歴 日付バージョン記載ページ改訂内容 V2.1 - 初版を発行しました V3.1 P5 ドキュメントラベルが新規追加された事を追記 P7 P8 新しくなったラベルのツリー表示説明を追記 新しくなったラベルの作成 削除操作を追記 P9 ラベルのグループ

改訂履歴 日付バージョン記載ページ改訂内容 V2.1 - 初版を発行しました V3.1 P5 ドキュメントラベルが新規追加された事を追記 P7 P8 新しくなったラベルのツリー表示説明を追記 新しくなったラベルの作成 削除操作を追記 P9 ラベルのグループ 改訂履歴 日付バージョン記載ページ改訂内容 2012-10-23 V2.1 - 初版を発行しました 2013-08-30 V3.1 P5 ドキュメントラベルが新規追加された事を追記 P7 P8 新しくなったラベルのツリー表示説明を追記 新しくなったラベルの作成 削除操作を追記 P9 ラベルのグループ別参照権限設定操作を追記 2015-06-16 V5.0 P27 クラスター入力値を帳票備考にコピーする説明を追記

More information

プログラミングA

プログラミングA プログラミング A 第 5 回 場合に応じた処理 繰り返し 2019 年 5 月 13 日 東邦大学金岡晃 場合に応じた処理 1 こういうプログラムを作りたい 5 教科のテスト 100 点以上各科目の点数の合計が 100 点未満 おめでとう! これで 100 点越えのプレゼントを獲得! というメッセージを出力 残念!100 点越えのプレゼントまであと ** 点! というメッセージを出力 5 教科の点数の合計が

More information

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識 知識工学 II ( 第 回 ) 二宮崇 ( ninomiya@cs.ehime-u.ac.jp ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7. 知識に基づくエージェント知識ベース (knowledge base, KB): 文 の集合 他の 文 から導出されない

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション GSN を応用したナレッジマネジメントシステムの提案 2017 年 10 月 27 日 D-Case 研究会 国立研究開発法人宇宙航空研究開発機構 研究開発部門第三研究ユニット 梅田浩貴 2017/3/27 C Copyright 2017 JAXA All rights reserved 1 目次 1 課題説明 SECI モデル 2 GSN を応用したナレッジマネジメントシステム概要 3 ツリー型チェックリスト分析

More information

三菱電機マイコン機器ソフトウエア株式会社

三菱電機マイコン機器ソフトウエア株式会社 MU500-RX サンプル回路仕様書 三菱電機マイコン機器ソフトウエア株式会社 2012-5-9 1 概要 1.1 目的本仕様書は MU500-RX と MU500-RK で実現する 1 秒カウンタの仕様について記述するものである マイコンで 1 秒を生成し 表示は 7 セグメント LED を用いる また 開始 / 停止は Push-SW を使う 1.2 関連文書 MU500-RX

More information

Microsoft Word - XPC4ソフトマニュアル.doc

Microsoft Word - XPC4ソフトマニュアル.doc < XPC-4 映像ツール 簡易マニュアル> お試し版 Ver1.0 XPC-4 に USB ケーブルを接続する際の注意事項 ファームウェア アップデートの作業 もしくは XPC-4 映像ツール を使用するときは USB2.0 に対応した USB ケーブル (Type A[ オス ]-Type B[ オス ]) が 1 本必要です USB ケーブルはパソコンの OS(Windows) が完全に起動してから

More information

Microsoft PowerPoint - B3-3_差替版.ppt [互換モード]

Microsoft PowerPoint - B3-3_差替版.ppt [互換モード] SQiP2011 B3-3 状態遷移および機能連携に着 した業務シナリオテストの新 法 2011 年 9 9 株式会社 NTT データ技術開発本部プロアクティブ テスティング COE 岩 真治 所属 紹介 株式会社 NTT データ 主な業務 技術開発本部プロアクティブ テスティング COE 昨年 12/1 に設 先進的な検証 テストサービスの提供とそれを実現するための研究開発に取り組む専 組織 社内のソフトウェア開発標準プロセス

More information

ソフトウェア基礎技術研修

ソフトウェア基礎技術研修 マルチサイクルを用いた実現方式 ( 教科書 5. 節 ) マルチサイクル方式 () 2 つのデータパス実現方式 単一クロックサイクル : 命令を クロックサイクルで処理 マルチクロックサイクル : 命令を複数クロックサイクルで処理 単一クロックサイクル方式は処理効率が悪い. CLK 処理時間 命令命令命令命令命令 時間のかかる命令にクロック サイクル時間をあわさなければならない. 余り時間の発生 クロック

More information

ソフトウェア基礎技術研修

ソフトウェア基礎技術研修 算術論理演算ユニットの設計 ( 教科書 4.5 節 ) yi = fi (x, x2, x3,..., xm) (for i n) 基本的な組合せ論理回路 : インバータ,AND ゲート,OR ゲート, y n 組合せ論理回路 ( 復習 ) 組合せ論理回路 : 出力値が入力値のみの関数となっている論理回路. 論理関数 f: {, } m {, } n を実現.( フィードバック ループや記憶回路を含まない

More information

JavaScriptで プログラミング

JavaScriptで プログラミング JavaScript でプログラミング JavaScript とは プログラミング言語の 1 つ Web ページ上でプログラムを動かすことが主目的 Web ブラウザで動かすことができる 動作部分の書き方が C や Java などに似ている 2 JavaScript プログラムを動かすには の範囲を 1. テキストエディタで入力 2..html というファイル名で保存

More information

Microsoft PowerPoint - visualprogram.ppt

Microsoft PowerPoint - visualprogram.ppt ビジュアルプログラミングとは Borland Delphi 6 でビジュアルプログラミング フォーム等を使うプログラム フォーム等の配置はマウス操作で行う 振る舞い ( ボタンを押したときの振る舞いなど ) をプログラムで書く フォームの例 ) フォーム 概要 TMemo コンポーネント ( 出力用 ) TButton コンポーネント ( 出力用 ) 例題 1. ボタンを押すと, メッセージを表示するプログラム

More information

機能検証トレーニング コース一覧

機能検証トレーニング コース一覧 機能検証トレーニング コース一覧 日本シノプシス合同会社 2016.03 トレーニング コース一覧 VCS/DVE 基本コース VCS-NLP/VC LP 基本コース VC Verification IP AXI 基本コース (UVM 版 ) VC Verification IP USB 基本コース (UVM 版 ) Verdi 3 基本コース SpyGlass Lint コース SpyGlass

More information

Microsoft Word - ModelAnalys操作マニュアル_

Microsoft Word - ModelAnalys操作マニュアル_ モデル分析アドイン操作マニュアル Ver.0.5.0 205/0/05 株式会社グローバルアシスト 目次 概要... 3. ツール概要... 3.2 対象... 3 2 インストールと設定... 4 2. モデル分析アドインのインストール... 4 2.2 モデル分析アドイン画面の起動... 6 3 モデル分析機能... 7 3. 要求分析機能... 7 3.. ID について... 0 3.2 要求ツリー抽出機能...

More information

プログラミング基礎

プログラミング基礎 C プログラミング Ⅰ 授業ガイダンス C 言語の概要プログラム作成 実行方法 授業内容について 授業目的 C 言語によるプログラミングの基礎を学ぶこと 学習内容 C 言語の基礎的な文法 入出力, 変数, 演算, 条件分岐, 繰り返し, 配列,( 関数 ) C 言語による簡単な計算処理プログラムの開発 到達目標 C 言語の基礎的な文法を理解する 簡単な計算処理プログラムを作成できるようにする 授業ガイダンス

More information

プログラミングA

プログラミングA プログラミング A 第 5 回 場合に応じた処理 繰り返し 2017 年 5 月 15 日 東邦大学金岡晃 前回の復習 (1) このプログラムを作成し実行してください 1 前回の復習 (2) このプログラムを作成し実行してください 2 前回の復習 (3) 3 前回の復習 演算子 代入演算子 インクリメント シフト演算子 型変換 4 場合に応じた処理 5 こういうプログラムを作りたい 5 教科のテスト

More information

インテル(R) Visual Fortran コンパイラ 10.0

インテル(R) Visual Fortran コンパイラ 10.0 インテル (R) Visual Fortran コンパイラー 10.0 日本語版スペシャル エディション 入門ガイド 目次 概要インテル (R) Visual Fortran コンパイラーの設定はじめに検証用ソースファイル適切なインストールの確認コンパイラーの起動 ( コマンドライン ) コンパイル ( 最適化オプションなし ) 実行 / プログラムの検証コンパイル ( 最適化オプションあり ) 実行

More information

<4D F736F F D20342E899E D2091E52D81848FAC82D682CC88F8897A2E646F6378>

<4D F736F F D20342E899E D2091E52D81848FAC82D682CC88F8897A2E646F6378> まるコピ marucopy 容量の大きい HDD から小さ い HDD への引越し方法 1 説明 ここでは 記憶容量の大きい HDD から小さい HDD への引越し手順を紹介します まるコピ は記憶容量が同じか より大きな HDD への引越しを支援する目的で製作しておりますが ここで紹介するフリーソフト GParted を使用すれば 記憶容量の小さい HDD への引越しも可能です なお このソフトウェアは

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション 簡易マニュアル D-QUICK7 ver4.0 Copyright (C) 2016 I-Site Corporation, All right reserved. 目次 2 1.D-QUICK7を起動する p.3 2. ログインする p.6 3. ログイン後の画面の見方 p.8 4. フォルダを登録する p.9 5. ドキュメントを登録 / 作成する (1) ファイルを登録する p.12 (2)

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション コンピュータアーキテクチャ 第 13 週 割込みアーキテクチャ 2013 年 12 月 18 日 金岡晃 授業計画 第 1 週 (9/25) 第 2 週 (10/2) 第 3 週 (10/9) 第 4 週 (10/16) 第 5 週 (10/23) 第 6 週 (10/30) 第 7 週 (11/6) 授業概要 2 進数表現 論理回路の復習 2 進演算 ( 数の表現 ) 演算アーキテクチャ ( 演算アルゴリズムと回路

More information

目次 1. 変換の対象 砂防指定地 XML 作成メニュー シェープファイルからXMLへ変換 砂防指定地 XMLとシェープファイルの対応.csv 変換処理 CSVファイルによる属性指定... 5

目次 1. 変換の対象 砂防指定地 XML 作成メニュー シェープファイルからXMLへ変換 砂防指定地 XMLとシェープファイルの対応.csv 変換処理 CSVファイルによる属性指定... 5 砂防指定地 XML 作成説明書 2012/12/18 有限会社ジオ コーチ システムズ http://www.geocoach.co.jp/ info@geocoach.co.jp 砂防指定地 XML 作成 プログラムについての説明書です この説明書は次のバージョンに対応しています アプリケーション名バージョン日付 砂防指定地 XML 作成 7.0.5 2012/12/18 プログラムのインストールについては

More information

TOPPERS活用アイデア・アプリケーション開発

TOPPERS活用アイデア・アプリケーション開発 TOPPERS 活用アイデア アプリケーション開発 コンテスト 部門 : がじぇるね IoT 部門 作品のタイトル : 初心者向け プログラムを同時に動かすとは 作成者 共同作業者 : 森脇秀樹 : 角田米弘 対象者 : GR-ガジェットを使用してプログラムを始めようとする 初心者の方々に TOPPERS(Web コンパイラ ) を使用すれば おまじないのような簡単な記述で 後で知ればよい難解な理論などを必要とせず

More information

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦   正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語 オートマトン 形式言語及び演習 3. 酒井正彦 www.trs.css.i.nagoya-u.ac.jp/~sakai/lecture/automata/ とは ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械 : 言語を記号列で定義 - 記述しやすい ( ユーザフレンドリ ) 例 :01 + 10 - UNIX の grep コマンド - UNIX の

More information

簡易版メタデータ

簡易版メタデータ 簡易版メタデータ (OOMP:Oceanographic Observation Metadata Profile) エディタマニュアル 操作説明書 平成 20 年 3 月発行 東北沿岸域環境情報センター - 目次 - 1 はじめに...- 1-2 注意事項...- 1-3 操作全体フロー...- 2-4 メタデータ作成方法...- 2-4 メタデータ作成方法...- 3-4.1 エディタの起動...-

More information

目次 1: 安全性とソフトウェア 2: 宇宙機ソフトウェアにおける 安全 とは 3:CBCS 安全要求とは 4: 宇宙機ソフトウェアの実装例 5: 安全設計から得た新たな知見 6: 今後 2

目次 1: 安全性とソフトウェア 2: 宇宙機ソフトウェアにおける 安全 とは 3:CBCS 安全要求とは 4: 宇宙機ソフトウェアの実装例 5: 安全設計から得た新たな知見 6: 今後 2 宇宙機ソフトウェアにおける 安全要求と設計事例 宇宙航空研究開発機構 (JAXA) 情報 計算工学センター (JEDI) 梅田浩貴 (Hiroki Umeda) 目次 1: 安全性とソフトウェア 2: 宇宙機ソフトウェアにおける 安全 とは 3:CBCS 安全要求とは 4: 宇宙機ソフトウェアの実装例 5: 安全設計から得た新たな知見 6: 今後 2 1.1 安全性とは 安全性と信頼性の違いの例開かない踏切りは

More information

テスト設計コンテスト

テスト設計コンテスト でこパン 462 1/2X 1/8 チーム紹介だよ チーム名 いしえもんリーダー あずにゃん ODA 発表者 ばやしこ いいだぬき でこパン 462 は入社 2 年目 ~4 年目のテスト経験の浅いひよっこチーム 普段の業務ではシステムテストを担当している 今回はテスト設計技術向上のため コンテスト参加を決めた でこパン 462 2/8 テスト設計の流れ 次は機能観点の説明! 話題沸騰ポット (GOMA-1015

More information

改訂履歴 項番版数作成日 / 改訂日変更箇所変更内容. 平成 28 年 5 月 3 日新規章構成の変更, 分冊化に伴い新規作成 (i)

改訂履歴 項番版数作成日 / 改訂日変更箇所変更内容. 平成 28 年 5 月 3 日新規章構成の変更, 分冊化に伴い新規作成 (i) 特許庁アーキテクチャ標準仕様書 ( 参考 ) 処理シーケンスサンプル集 第. 版 平成 28 年 6 月 特許庁 改訂履歴 項番版数作成日 / 改訂日変更箇所変更内容. 平成 28 年 5 月 3 日新規章構成の変更, 分冊化に伴い新規作成 (i) はじめに () 本書の位置づけ 本書は, 特許庁アーキテクチャ標準仕様書 に基づきシステムの動的な振る舞いを処理シーケンスとして定める際に参考とするサンプル集である

More information

pp2018-pp4base

pp2018-pp4base プログラミング入門 Processing プログラミング第 4 回 九州産業大学理工学部情報科学科神屋郁子 ( pp@is.kyusan-u.ac.jp ) 時限 クラス 水 1 機械 ( クラス 3) 水 2 機械 ( クラス 1) 水 4 電気 (B1 B2) 後ろ 5 列は着席禁止 3 人掛けの中央は着席禁止 第 4 回の内容 前回の質問への回答 マウスの操作と図形の描画 : メソッド 小テスト

More information

リソース制約下における組込みソフトウェアの性能検証および最適化方法

リソース制約下における組込みソフトウェアの性能検証および最適化方法 リソース制約下における組込みソフト ウェアの性能検証および最適化方法 広島市立大学 大学院情報科学研究科システム工学専攻 中田明夫倉田和哉百々太市 1 提案技術の概要 組込みシステムの開発 厳しいリソース制約 (CPU, ネットワークなど ) 非機能要求 ( リアルタイム性など ) の達成 開発プロセスにおける設計段階 性能問題を発見することが困難 実装段階で性能問題が発覚 設計の手戻りが発生 設計段階での性能検証手法

More information

2008年度 設計手法標準化アンケート 集計結果

2008年度 設計手法標準化アンケート 集計結果 2011 年度 設計手法普及調査アンケート 集計経過報告 2012 年 2 月社団法人組込みシステム技術協会状態遷移設計研究会 目次 1. アンケート実施の目的 3 2. アンケートの実施対象 4 3. アンケート回答数 5 4. 実施したアンケートの内容 6 5. アンケート回答者の構成 8 6. アンケート集計結果 9 6.1 回答者の担当製品分野について 10 6.2 回答者の部門について 11

More information

4 月 東京都立蔵前工業高等学校平成 30 年度教科 ( 工業 ) 科目 ( プログラミング技術 ) 年間授業計画 教科 :( 工業 ) 科目 :( プログラミング技術 ) 単位数 : 2 単位 対象学年組 :( 第 3 学年電気科 ) 教科担当者 :( 高橋寛 三枝明夫 ) 使用教科書 :( プロ

4 月 東京都立蔵前工業高等学校平成 30 年度教科 ( 工業 ) 科目 ( プログラミング技術 ) 年間授業計画 教科 :( 工業 ) 科目 :( プログラミング技術 ) 単位数 : 2 単位 対象学年組 :( 第 3 学年電気科 ) 教科担当者 :( 高橋寛 三枝明夫 ) 使用教科書 :( プロ 4 東京都立蔵前工業高等学校平成 30 年度教科 ( 工業 ) 科目 ( プログラミング技術 ) 年間授業計画 教科 :( 工業 ) 科目 :( プログラミング技術 ) 単位数 : 2 単位 対象学年組 :( 第 3 学年電気科 ) 教科担当者 :( 高橋寛 三枝明夫 ) 使用教科書 :( プログラミング技術 工業 333 実教出版 ) 共通 : 科目 プログラミング技術 のオリエンテーション プログラミング技術は

More information

内容 MD00Manager とは?... MD00Manager をインストールする.... ソフトのインストール... MD00Manager の使い方.... 起動をする... 機能説明...7 機能説明 ( メニューバー )...8 機能説明 ( ステータスバー )...8 機能説明 ( コ

内容 MD00Manager とは?... MD00Manager をインストールする.... ソフトのインストール... MD00Manager の使い方.... 起動をする... 機能説明...7 機能説明 ( メニューバー )...8 機能説明 ( ステータスバー )...8 機能説明 ( コ MD00Manager マニュアル このマニュアルでは MD00Manager の詳細設定を行うことが出来ます MD00Manager では MD00 の設定変更や読み取ったデータを CSV に出力 照合用のデータベースの作成を行えます MD00 についてはそれぞれのマニュアルを確認して下さい Ver.0 内容 MD00Manager とは?... MD00Manager をインストールする....

More information

フローチャートの書き方 プログラムの開始と終わり 処理の流れの表記 ( アルゴリズム ) 逐次型 ( 直線型 ) 分岐型 ( 開始 ) 処理 1 条件 条件 処理 2 の処理 の処理 の処理 ( 終了 ) 処理 3 プログラムや人間の判断などのアルゴリズムは基本的に 逐次型 分岐型 ループ型の組み合

フローチャートの書き方 プログラムの開始と終わり 処理の流れの表記 ( アルゴリズム ) 逐次型 ( 直線型 ) 分岐型 ( 開始 ) 処理 1 条件 条件 処理 2 の処理 の処理 の処理 ( 終了 ) 処理 3 プログラムや人間の判断などのアルゴリズムは基本的に 逐次型 分岐型 ループ型の組み合 自動販売機をプログラミングする - フローチャートやいろいろな設計 - 自動販売機って どこにでもあって便利だよね 自動販売機も中に入っているコンピュータで動作しています 今回の授業では どのようなプログラムが動いているか考えてみましょう 今回は Scratch で自動販売機のプログラムを作って プログラムはどのように設計するか見ていきましょう プログラムなどは 高校 情報科 の教材 指導案作ってみました

More information

目次 Adobe PDF でチェック & コメントのススメ チェック & コメントをはじめる前に チェック & コメントでよく使うツール ( その ) 6 チェック & コメントでよく使うツール ( その ) 8 コメントの確認と返信 0 共有レビュー機能で効率をさらにアップ 共有レビュー機能を使う

目次 Adobe PDF でチェック & コメントのススメ チェック & コメントをはじめる前に チェック & コメントでよく使うツール ( その ) 6 チェック & コメントでよく使うツール ( その ) 8 コメントの確認と返信 0 共有レビュー機能で効率をさらにアップ 共有レビュー機能を使う Adobe PDF ですぐにできるチェック & コメント Acrobat の注釈機能を使って共同作業をもっと効率的に! 目次 Adobe PDF でチェック & コメントのススメ チェック & コメントをはじめる前に チェック & コメントでよく使うツール ( その ) 6 チェック & コメントでよく使うツール ( その ) 8 コメントの確認と返信 0 共有レビュー機能で効率をさらにアップ 共有レビュー機能を使う前に

More information

もくじ

もくじ オートビズ クレジット決済連携マニュアル 2017/2/1 改定 http://autobiz.jp オンラインヘルプ http://powerbiz.jp/abiz/ 株式会社ビズクリエイト 目次 このマニュアルについて... 2 クレジット決済連携機能活用例... 3 活用法 1. 商品注文フォームを作りたい... 3 活用法 2. 有料メール講座を運用してみたい... 4 活用法 3. 有料セミナーをやってみたい...

More information

目次 更新履歴... 1 画面設計書の目的... 3 必要な内容... 3 画面一覧... 4 必要な内容... 4 画面遷移... 5 画面レイアウト... 6 入力パラメータ... 7 必要な内容... 7 項目定義... 8 必要な内容... 8 部品の種類... 9 ( 参考 ) 部品指定と

目次 更新履歴... 1 画面設計書の目的... 3 必要な内容... 3 画面一覧... 4 必要な内容... 4 画面遷移... 5 画面レイアウト... 6 入力パラメータ... 7 必要な内容... 7 項目定義... 8 必要な内容... 8 部品の種類... 9 ( 参考 ) 部品指定と 画面設計書の作成 作成日 : 2015/06/30 作成者 : 西村 更新履歴 更新日 更新 作業者 2015/06/30 新規作成 ( 仮 ) 西村 2015/11/09 部品の種類 にカラーピッカーとグラフを追加 コンボボックスの HTML の説明の 西村 追加 2017/12/01 公開用の体裁調整 西村 1 目次 更新履歴... 1 画面設計書の目的... 3 必要な内容... 3 画面一覧...

More information

はじめに : ご提案のポイント

はじめに : ご提案のポイント 8. モデリングプロセスの構成と手順 モデル検査を用いた設計モデリングのプロセスを分類し それぞれのプロセスの流れと手順を示す 本章の概要は以下の通りである 対象読者目的想定知識得られる知見等 (1) 開発技術者 (2) 開発プロジェクト管理者モデル検査における設計モデリングにおいて 最初に利用できる情報に応じて モデリングプロセスが分類されることを示し その中で典型的なアーキテクチャ情報に基づくモデリングプロセスについて具体的に示す

More information

複数の Nios II を構成する際の注意事項

複数の Nios II を構成する際の注意事項 ver. 1.0 2009 年 4 月 1. はじめに Nios II IDE で ソフトウェアをビルドすると SOPC Builder の GUI 上で Nios II と接続されているペリフェラル用の初期化コードを自動で生成します この各ペリフェラルに対応した初期化コードで ペリフェラルを制御するためにアルテラ社から提供された HAL を利用するための準備や 各ペリフェラルの一般的な理想と考えられる初期状態のレジスタ設定等を行います

More information

大阪ガス株式会社 情報通信部 御中

大阪ガス株式会社 情報通信部 御中 大阪ガス暗号化 / 復号化ツール (Release 0.C.0.0) ユーザーズマニュアル 1 目次 1. 暗号化ツールの使用方法... 3 1.1 暗号化ツールの概要... 3 1.2 暗号化ツールを起動する... 3 1.2.1 デスクトップアイコンを開いて起動する... 3 1.2.2 デスクトップアイコンにファイルをドラッグ & ドロップして起動する... 3 1.2.3 スタートメニューから起動する...

More information

Microsoft PowerPoint - kougi7.ppt

Microsoft PowerPoint - kougi7.ppt 到達目標 スーパバイザモード, 特権命令, 割り込み CPU の割り込みメカニズム 割り込みの種類ごとに, 所定の例外処理が呼び出される スーパーバイザモードに, 自動的に切り替わる 割り込み終了後に 元のモード に戻る ハードウエア割り込みについて 割り込み禁止 割り込み発生時の CPU の挙動 現在の処理を中断 例外処理用のプログラム ( ハンドラともいう ) が起動される プログラム実行の流れ

More information

Microsoft PowerPoint - se06-UML(UseCase)_2.ppt [互換モード]

Microsoft PowerPoint - se06-UML(UseCase)_2.ppt [互換モード] ソフトウェア工学 06: UML モデリング (Ⅰ) ユースケースモデリングとユースケース駆動型開発 理工学部経営システム工学科庄司裕子 前回の復習 : 考えてみよう! 個人表に 番号 氏名 クラス名という個人情報と 番号 科目名 ( ) という情報が記載されているとする これをERモデリングして ER 図を書いてみようヒント : クラス という独立エンティティ ( もの を表す) と 所属 という依存エンティティ

More information

2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事

2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 豊山 祐一 Hitachi ULSI Systems Co., Ltd. 2015. All rights

More information

アドバンスト・フォーマットディスクのパフォーマンス

アドバンスト・フォーマットディスクのパフォーマンス White Paper アドバンスト フォーマットディスクのパフォーマンス White Paper FUJITSU Storage ETERNUS DX S4/S3 series アドバンスト フォーマットディスクのパフォーマンス 物理 4K セクターを使用した HDD の新技術により ストレージ密度 およびエラー訂正機能が向上されています その新技術の HDD が ETERNUS DX S4/S3

More information

デジタル回路入門

デジタル回路入門 Open-It FPGA トレーニングコース ( 初級編 ) 第 9 版 2. 組み合わせ回路入門 2.2. 実習 Verilog-HDL 記述 2013 年 5 月 10 日修正 デジタル回路の構成要素 O=A&B; O=~I; INV O=A B; 全てのデジタル回路はこの 4 つの要素 ( 回路 ) のみで構成されている 4 要素の HDL 記述を知っていれば最低限の知識としては十分 2 HDL:

More information

Microsoft PowerPoint - sousa pptx

Microsoft PowerPoint - sousa pptx はじめに 情報機器の操作 ( 第 2 回 ) 産業技術科学科多 知正 htada@kyokyo-u.ac.jp A323 この講義のWWWページ http://teched.kyokyo-u.ac.jp/~htada/class/sousa/ 演習で使うデータ等はここにおいておきます お気に り に登録しておいてください 別に気に ってなくてもしてください 2011/4/19 1 2011/4/19

More information

スライド 1

スライド 1 RL78/G13 周辺機能紹介 ADC A/D コンバータ ルネサスエレクトロニクス株式会社 ルネサス半導体トレーニングセンター 2013/08/02 Rev. 0.00 00000-A コンテンツ ADC の概要 ソフトウエア トリガ セレクト モード 連続変換モードのプログラム サンプル紹介 2 ADC の概要 3 ADC のブロック図 パワー オフが可能 入力 選択 記憶 比較 基準電圧 変換結果

More information

目次 1 Adobe PDF でチェック & コメントのススメ 2 チェック & コメントをはじめる前に 4 チェック & コメントでよく使うツール ( その 1) 6 チェック & コメントでよく使うツール ( その 2) 8 コメントの確認と返信 10 共有レビュー機能で効率をさらにアップ 12

目次 1 Adobe PDF でチェック & コメントのススメ 2 チェック & コメントをはじめる前に 4 チェック & コメントでよく使うツール ( その 1) 6 チェック & コメントでよく使うツール ( その 2) 8 コメントの確認と返信 10 共有レビュー機能で効率をさらにアップ 12 Adobe PDF ですぐにできるチェック & コメント Acrobat の注釈機能を使って共同作業をもっと効率的に! 目次 1 Adobe PDF でチェック & コメントのススメ 2 チェック & コメントをはじめる前に 4 チェック & コメントでよく使うツール ( その 1) 6 チェック & コメントでよく使うツール ( その 2) 8 コメントの確認と返信 10 共有レビュー機能で効率をさらにアップ

More information

ACモーター入門編 サンプルテキスト

ACモーター入門編 サンプルテキスト 技術セミナーテキスト AC モーター入門編 目次 1 AC モーターの位置付けと特徴 2 1-1 AC モーターの位置付け 1-2 AC モーターの特徴 2 AC モーターの基礎 6 2-1 構造 2-2 動作原理 2-3 特性と仕様の見方 2-4 ギヤヘッドの役割 2-5 ギヤヘッドの仕様 2-6 ギヤヘッドの種類 2-7 代表的な AC モーター 3 温度上昇と寿命 32 3-1 温度上昇の考え方

More information

変更の影響範囲を特定するための 「標準調査プロセス」の提案 2014年ソフトウェア品質管理研究会(30SQiP-A)

変更の影響範囲を特定するための 「標準調査プロセス」の提案  2014年ソフトウェア品質管理研究会(30SQiP-A) 変更の影響範囲を特定するための 標準調査プロセス の提案 2014 年ソフトウェア品質管理研究会 [ 第 6 分科会 A グループ ] リーダー : 宇田泰子 ( アンリツエンジニアリング株式会社 ) 夛田一成 ( アンリツエンジニアリング株式会社 ) 川井めぐみ ( サントリーシステムテクノロジー株式会社 ) 伊藤友一 (TIS 株式会社 ) 1. 研究の動機 研究員の現場では 調査を行なっているにも関わらず

More information

(Microsoft Word - \221\262\213\306\230_\225\266_\213\321\220D_\215\305\217I.doc)

(Microsoft Word - \221\262\213\306\230_\225\266_\213\321\220D_\215\305\217I.doc) 3D 学校内地図システムの開発 松江工業高等専門学校情報工学科 研究者 : 錦織優子 指導教員 : 越田高志 2010 年 02 月 04 日 目次 1 はじめに...1 2 研究目標...1 3 システム開発について...1 3.1 要素技術について...1 3.2 システムの実装...2 3.2.1 外観の 3D モデルの作成...2 3.2.2 ウォークスルー可能な 3D モデルの作成...4

More information

生存確認調査ツール

生存確認調査ツール Hos-CanR.0 独自項目運用マニュアル FileMaker pro を使用 登録作業者用 Ver. バージョン改訂日付改訂内容 Ver. 00//5 初版 Ver. 0// FileMaker Pro の動作確認の追加 はじめに 本マニュアルについて Hos-CanR.0 院内がん登録システム ( 以降は Hos-CanR.0 と記述します ) では 独自項目の作成 登録 サポートはなくなり

More information

目次. ご利用上の注意. アプリをインストールする. アプリを起動する. アプリの初期設定を行う. アプリのログインパスワードを変更する 6. アプリのメニューを操作する 7. ステータスを送信する 8. 定期位置通知間隔を変更する 9. 随時検索をする 0. メッセージ連絡をする. メッセージの連

目次. ご利用上の注意. アプリをインストールする. アプリを起動する. アプリの初期設定を行う. アプリのログインパスワードを変更する 6. アプリのメニューを操作する 7. ステータスを送信する 8. 定期位置通知間隔を変更する 9. 随時検索をする 0. メッセージ連絡をする. メッセージの連 スマートフォンアプリ (Android) 操作マニュアル 目次. ご利用上の注意. アプリをインストールする. アプリを起動する. アプリの初期設定を行う. アプリのログインパスワードを変更する 6. アプリのメニューを操作する 7. ステータスを送信する 8. 定期位置通知間隔を変更する 9. 随時検索をする 0. メッセージ連絡をする. メッセージの連絡応答状態を確認する. メッセージを確認する.

More information

フォーマット/メンテナンスガイド

フォーマット/メンテナンスガイド 35020248-02 2015.10 フォーマット ( 初期化 ) について フォーマットとは ハードディスクや SSD USB メモリーをお使いのパソコンで使用できるようにする作業で す 本製品をフォーマットする場合は 本書の記載を参照して行ってください フォーマットの形式 フォーマットにはいくつかの形式があり お使いの OS によって認識できる形式が異なります 本製品を フォーマットするときは

More information

Diginnos PC 初期化方法 初期化操作を行うと ストレージ ( ハードディスク / SSD)( 以降ストレージと記載します ) 内のデータが全て初期化されます 必要なデータは他のメディア等にバックアップのうえ作業してください 初期化とは Windows 10 のプッシュボタンリセットの機能の

Diginnos PC 初期化方法 初期化操作を行うと ストレージ ( ハードディスク / SSD)( 以降ストレージと記載します ) 内のデータが全て初期化されます 必要なデータは他のメディア等にバックアップのうえ作業してください 初期化とは Windows 10 のプッシュボタンリセットの機能の 初期化操作を行うと ストレージ ( ハードディスク / SSD)( 以降ストレージと記載します ) 内のデータが全て初期化されます 必要なデータは他のメディア等にバックアップのうえ作業してください 初期化とは Windows 10 のプッシュボタンリセットの機能の内 すべてを削除して再インストール を使用し インストールしたアプリやドライバー 保存したデータなどすべてを削除して W i n d o

More information

フォーマット/メンテナンスガイド

フォーマット/メンテナンスガイド 35020248-01 フォーマット ( 初期化 ) について フォーマットとは ハードディスクをお使いのパソコンで使用できるようにする作業です 本製品をフォーマットする場合は 本書の記載を参照して行ってください フォーマットの形式 フォーマットにはいくつかの形式があり お使いの OS によって認識できる形式が異なります 本製品をフォーマットするときは 以下のいずれかの形式でフォーマットしてください

More information

Microsoft PowerPoint - A1-2_株式会社ネクスト_藤澤正通_S _005.pptx

Microsoft PowerPoint - A1-2_株式会社ネクスト_藤澤正通_S _005.pptx SQiP シンポジウム 2012 ページオブジェクトパターンによる 動テストメンテナンスの効率化 株式会社ネクスト HOMEʼS事業本部 サービス推進部 品質管理グループ 藤澤 正通 FujisawaMasamichi@next-group.jp 1 動化への取組み 2011 年 4 : リグレッションテストの 動化検討を開始 6 :Selenium IDE を採 動化に着 7 : 機能カバレッジ

More information

Rational Roseモデルの移行 マニュアル

Rational Roseモデルの移行 マニュアル Model conversion from Rational Rose by SparxSystems Japan Rational Rose モデルの移行マニュアル (2012/1/12 最終更新 ) 1. はじめに このガイドでは 既に Rational( 現 IBM) Rose ( 以下 Rose と表記します ) で作成された UML モデルを Enterprise Architect で利用するための作業ガイドです

More information

目次 テスト分析 HAYST 法の分析 FV 表マインドマップお客様の視点 : 暗黙知効果これから

目次 テスト分析 HAYST 法の分析 FV 表マインドマップお客様の視点 : 暗黙知効果これから D-4 ソフトウエアテスト分析の方法 -HAYST 法とマインドマップをつかって - ソニー株式会社永田 敦 2008 年 1 月 30 日 目次 テスト分析 HAYST 法の分析 FV 表マインドマップお客様の視点 : 暗黙知効果これから テストプロセス テストプロセス JSTQB 終了処理 計画とコントロール 終了基準の検証とレポート 分析と設計 作成と実行 分析の位置づけ 計画 分析 テストベースレビュー

More information

Developer Camp

Developer Camp 2F Delphi/C++ チュートリアルセッション Delphi でキカイを制御する アプリケーションの設計とテクニック 株式会社イマジオム代表取締役 高木太郎 1 はじめに この講演の内容 制御プログラムというもの 制御プログラム設計のポイント 制御プログラム実装のテクニック 3 どんなものを考えているのか? 例 :3 次元プリンタ ここに入っている PC がシステム全体を制御 3 次元プリンタ原理

More information