• 検索結果がありません。

並行システムのモデル

7 ソフトウェア工学 Software Engineering モデル検査 MODEL CHECKING 1 モデル検査の概要 並行システム : 相互排他, デッドロック, スタベーションなどの現象 入出力関係に着目した 停止性 + 部分正当性 のみでは正当性を言えない 振る舞い ( 途中の状態遷移

7 ソフトウェア工学 Software Engineering モデル検査 MODEL CHECKING 1 モデル検査の概要 並行システム : 相互排他, デッドロック, スタベーションなどの現象 入出力関係に着目した 停止性 + 部分正当性 のみでは正当性を言えない 振る舞い ( 途中の状態遷移

... 並行システム : 相互排他,デッドロック,スタベーションなど現象 入出力関係 に着目した 「停止性+部分正当性」 のみでは正当性を言えない 振る舞い (途中状態遷移)考慮必要性 behaviors ...

12

TopSE並行システム はじめに

TopSE並行システム はじめに

... なぜJCSP 同期型メッセージパッシング通信をFDR で検証できるか? プロセス代数 CSPでモデル化し、モデル検査器FDRで検証し、Javaライブラリで実装 することによって、理論的に検証された高信頼な並行システムを実装できる !!! ...

20

背景 並行システム : 協調する複数の処理 ( プロセス ) から構成されるシステム 並行システムの例 ( 昇降舵のフライバイワイヤ ) 操縦桿 x2 角度 x3x2 ジャイロ x3 重量計 x4 フラップ LVDT IRU WOW FSACE PB 優先ボタン x2 MON モニタ COM コマン

背景 並行システム : 協調する複数の処理 ( プロセス ) から構成されるシステム 並行システムの例 ( 昇降舵のフライバイワイヤ ) 操縦桿 x2 角度 x3x2 ジャイロ x3 重量計 x4 フラップ LVDT IRU WOW FSACE PB 優先ボタン x2 MON モニタ COM コマン

...  CSPモデルはメッセージパッシング通信を採用 ⇒ 協調部(並行処理)とデータ部を分割して設計しやすい  比較:共有メモリではプロセス間結合強度が高い(分割しにくい) x z y ...

24

FUJITSU PC Server PRIMERGY オリジナルモデル 富士通PCサーバ PRIMERGY の構成パターンの中で 特に 実際のシステム構築において適用率の高いハードウェア 構成をモデル化しました 全3モデル10型名のラインナップから お客様のシステム 要件に合わせて容易にご選択いただ

FUJITSU PC Server PRIMERGY オリジナルモデル 富士通PCサーバ PRIMERGY の構成パターンの中で 特に 実際のシステム構築において適用率の高いハードウェア 構成をモデル化しました 全3モデル10型名のラインナップから お客様のシステム 要件に合わせて容易にご選択いただ

... 様自身で実施願います。 (弊社作業をご依頼される場合は、有償にて承ります(添付ソフトまたはドライバ類は除く)。弊社営業もしくは販売店までお問い合わせください) <ダウンロードサイト>http://www.fujitsu.com/jp/products/computing/servers/primergy/downloads/ ...

8

2種類のシミュレーションモデルを用いた熱源システムのセンサ・機器不具合検知手法 [ PDF

2種類のシミュレーションモデルを用いた熱源システムのセンサ・機器不具合検知手法 [ PDF

... 49-4 計算値を実測値代わりに用いてツールで検知を試み る。各ケースにおいて各不具合項目を本ツールがどれだけ検 知できるかを確認した。閾値を温度±1℃、流量・電力±(定 格値×5%)㎥/h(kW) 、ヒートバランス±(定格値×15%) kW に設定し、タイマを 10 分に設定した。各ケースにおける 検知対象検知回数と誤検知回数を表 7 に示す。冷却水流量 ...

4

並行システムの検証と実装

並行システムの検証と実装

... void *(* start_routine )(void*), void * arg ) thread 作成したスレッド ID を格納する変数へポインタ attr 属性(既定値場合は NULL を指定) start_routine スレッド処理を記述した関数へポインタ arg start_routine に渡す引数 ...

90

HA8000シリーズ K1モデル システム構成図3章

HA8000シリーズ K1モデル システム構成図3章

... ・同一システム装置内にPowerChute Business EditionとPowerChute Network Shutdownを混在させることはできません。 ・PowerChute Business Edition(GQS-VSU7BS901N)バージョンは、v9.0.1です。 ・同一UPSに接続されたシステム装置に対してPowerChute Business Edition ...

45

FUJITSU PC Server PRIMERGY オリジナルモデル 富士通PCサーバ PRIMERGY の構成パターンの中で 特に 実際のシステム構築において適用率の高いハードウェア 構成をモデル化しました 全3モデル8型名のラインナップから お客様のシステム 要件に合わせて容易にご選択いただく

FUJITSU PC Server PRIMERGY オリジナルモデル 富士通PCサーバ PRIMERGY の構成パターンの中で 特に 実際のシステム構築において適用率の高いハードウェア 構成をモデル化しました 全3モデル8型名のラインナップから お客様のシステム 要件に合わせて容易にご選択いただく

... 日々進化しているインターネットシステムや、ミッションクリティカルなシステムにおいて、サーバ24時間、365日稼働は最も重要な課題です。 富士通PCサーバ PRIMERGY は、設計段階から製造、導入、そして運用における全てフェーズにおいて、徹底した設計検証、厳密な品質管理、充実 サーバ管理機能等により、高信頼を追求し続けています。 ...

8

HiLシステムと計測データに基づくモデルを使用したコントロールユニットの適合

HiLシステムと計測データに基づくモデルを使用したコントロールユニットの適合

... 今回プレゼン内容は、 − 計測と制御 VOL.53 2014 8 にて紹介させていただいた記事と同内容です − 評価は Robert Bosch社と共同で実施し、イータス株式会社 マネージャである Tobias Kreuzingerが携わりました ...

20

HA8000シリーズ Lモデル システム構成図2章

HA8000シリーズ Lモデル システム構成図2章

... a-Box経由E-Mail ASSISTをサポートします。BS320SVP中継によるASSIST通報には対応しておりません。 (注7) エネルギー消費効率とは,省エネ法で定める測定方法により,測定された消費電力を省エネ法で定める記憶容量で除したものです。 (注8) コントローラユーザ管理用LANポート(Hi-Command/Storage Navigator ...

186

ProLiant DL380 Gen10 LFFモデル システム構成図

ProLiant DL380 Gen10 LFFモデル システム構成図

... ◆想定される消費電力、およびパワーサプライ冗長化可否については、HPE Power Advisor にて確認してください。 HPE Power Advisor は右記 Web サイトより利用可能です。 http://www.hpe.com/jp/power-advisor ◆ Tesla GPU で仮想グラフィックス機能を利用するには、NVIDIA GRID ソフトウェア購入が別途必要 となります。 ...

74

ProLiant DL380 Gen10 SFFモデル システム構成図

ProLiant DL380 Gen10 SFFモデル システム構成図

... プロアクティブ サービスはリモートからリモート サポート ツール、電子メール、FTP、電話等を用いて提供されます。 *4:ProLiant サーバーに限定したサービスであり、ストレージ製品、およびネットワーク製品には提供されません。 対象ソフトウェア製品は、HPE で OEM 販売をしている Microsoft, Novell, Red Hat, VMware, Canonical、および Insight ...

65

ProLiant DL380 Gen10 SFFモデル システム構成図

ProLiant DL380 Gen10 SFFモデル システム構成図

... SSD ドライブを選定する上で、SATA と SAS I/F 特徴、HDD と SSD 特徴、SSD 種類と特徴については、下記 Web サイト「SATA ハードドライブと SAS ハードドライブ違いと選定ポイント」を参照 ください。 ...

75

HOKUGA: 韓国における韓紙産業振興のイノベーション・システム・モデル : 江原道原州市の事例から

HOKUGA: 韓国における韓紙産業振興のイノベーション・システム・モデル : 江原道原州市の事例から

... ン・システム化」が達成されている事例であった。高城郡においては地域外大企業と地域内 大学が,束草市においては地域外大学が,それぞれ大きな役割を果たしていた。そして双 方とも,外部力を取り入れることにより地域産業を高付加価値化している点に,ネオ内発的 ...

18

アウトライン 字幕付与と音声認識 字幕作成システム 音声認識の構成 コーパス ( 主に言語モデルについて ) 自動整形 コーパス システムの利用例 リアルタイムの字幕作成 2

アウトライン 字幕付与と音声認識 字幕作成システム 音声認識の構成 コーパス ( 主に言語モデルについて ) 自動整形 コーパス システムの利用例 リアルタイムの字幕作成 2

... – 特徴量は,典型的には音声スペクトル成分 – 隠れマルコフモデル(HMM)で時間的な遷移を表現 – ディープニューラルネットワーク(DNN)による拡張 • 数十~数千時間音声で学習される ...

49

前文 ( システム管理基準の活用にあたって )... 1 システム管理基準の枠組み IT ガバナンスの定義 IT ガバナンスにおける EDM モデル IT ガバナンスにおける 6 つの原則 システム管理基準の前提となる組織体制... 3

前文 ( システム管理基準の活用にあたって )... 1 システム管理基準の枠組み IT ガバナンスの定義 IT ガバナンスにおける EDM モデル IT ガバナンスにおける 6 つの原則 システム管理基準の前提となる組織体制... 3

... 第 2 に、情報システムにまつわるリスクを適切にコントロールしつつ、これまで以上に IT ガバナンス実現に貢献すること。 本基準は、どのような組織体においても情報システム管理において共通して留意すべ き基本的事項を体系化・一般化したものである。したがって、本基準適用においては、基 準に則って網羅的に項目を適用するような利用法は有効ではない。事業目的、事業分野にお ...

116

OSS モデルカリキュラムの学習ガイダンス 2-3- 基. Linux のシステム管理に関する知識 1. 科目の概要 Linux のシステム管理に関する基本的な手順を解説する システム管理者の役割を示し システムのインストールから各種サービスの設定 システムの起動 停止とシステムの運用など 実際に

OSS モデルカリキュラムの学習ガイダンス 2-3- 基. Linux のシステム管理に関する知識 1. 科目の概要 Linux のシステム管理に関する基本的な手順を解説する システム管理者の役割を示し システムのインストールから各種サービスの設定 システムの起動 停止とシステムの運用など 実際に

... アプリケーション導入方法に関しては、以下に示す2つ方法がある。 * ディストリビューションに添付されているものを利用する方法 オペレーティングシステムインストール時に同時にインストールを行うことが可能。インストール を忘れても、ツールを利用することで追加インストールが簡単に行える。ただし、製品 CD 作成 ...

23

美味しさモデルと栄養状態を考慮した料理レシピ推薦システム

美味しさモデルと栄養状態を考慮した料理レシピ推薦システム

... おすすめ,方がいい,良いと思,良いかと,良い では,良いでしょう,良くない,すべき,するべき, いかが,間違いない,よさげ,なので,だから,し まった,混んで,困る,出来る,出来ま お得耳より ...

36

1 業務の概要外務省では 領事業務の業務 システム最適化計画 ( 平成 18 年 3 月 30 日外務省情報化推進委員会決定 平成 22 年 4 月 12 日改定 ) 及び 領事業務情報システム調達計画書 ( 平成 22 年 4 月 ) に基づき システムの刷新 それに並行して将来的な領事関連システ

1 業務の概要外務省では 領事業務の業務 システム最適化計画 ( 平成 18 年 3 月 30 日外務省情報化推進委員会決定 平成 22 年 4 月 12 日改定 ) 及び 領事業務情報システム調達計画書 ( 平成 22 年 4 月 ) に基づき システムの刷新 それに並行して将来的な領事関連システ

... CIO 補佐官所見 領事業務情報システムは、外務省が国民に向けて提供する重要なサービスであり、従来高い信頼性と セキュリティを踏襲しつつ、コスト効率を大きく向上させ、諸環境変化に対して迅速な対応を可能とする ことが、強く要請されている。技術的には、SOA、 DOA をベースとし、クラウド技術や様々なミドルウェア等 ...

14

強化学習と小脳モデルを利用した適応型制御システムの設計法

強化学習と小脳モデルを利用した適応型制御システムの設計法

... Auto-Fusion Cerebellar Perceptron Robust Control System AFCPRCS... TD Temporal Difference Fig.3.1 Actor.[r] ...

133

Show all 10000 documents...

関連した話題