並行システムのモデル
7 ソフトウェア工学 Software Engineering モデル検査 MODEL CHECKING 1 モデル検査の概要 並行システム : 相互排他, デッドロック, スタベーションなどの現象 入出力関係に着目した 停止性 + 部分正当性 のみでは正当性を言えない 振る舞い ( 途中の状態遷移
... 並行システム ： 相互排他，デッドロック，スタベーションなどの現象 入出力関係 に着目した 「停止性＋部分正当性」 のみでは正当性を言えない 振る舞い （途中の状態遷移）の考慮の必要性 behaviors ...
12
TopSE並行システム はじめに
... なぜJCSP の 同期型メッセージパッシング通信をFDR で検証できるのか？ プロセス代数 CSPでモデル化し、モデル検査器FDRで検証し、Javaライブラリで実装 することによって、理論的に検証された高信頼な並行システムを実装できる !!! ...
20
背景 並行システム : 協調する複数の処理 ( プロセス ) から構成されるシステム 並行システムの例 ( 昇降舵のフライバイワイヤ ) 操縦桿 x2 角度 x3x2 ジャイロ x3 重量計 x4 フラップ LVDT IRU WOW FSACE PB 優先ボタン x2 MON モニタ COM コマン
... CSPモデルはメッセージパッシング通信を採用 ⇒ 協調部（並行処理）とデータ部を分割して設計しやすい 比較：共有メモリではプロセス間の結合強度が高い（分割しにくい） x z y ...
24
FUJITSU PC Server PRIMERGY オリジナルモデル 富士通PCサーバ PRIMERGY の構成パターンの中で 特に 実際のシステム構築において適用率の高いハードウェア 構成をモデル化しました 全３モデル10型名のラインナップから お客様のシステム 要件に合わせて容易にご選択いただ
... 様自身で実施願います。 （弊社作業をご依頼される場合は、有償にて承ります（添付ソフトまたはドライバ類は除く）。弊社営業もしくは販売店までお問い合わせください） ＜ダウンロードサイト＞http://www.fujitsu.com/jp/products/computing/servers/primergy/downloads/ ...
8
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章
... ・同一ｼｽﾃﾑ装置内に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 の構成パターンの中で 特に 実際のシステム構築において適用率の高いハードウェア 構成をモデル化しました 全３モデル8型名のラインナップから お客様のシステム 要件に合わせて容易にご選択いただく
... 日々進化しているインターネットシステムや、ミッションクリティカルなシステムにおいて、サーバの24時間、365日稼働は最も重要な課題です。 富士通のPCサーバ PRIMERGY は、設計段階から製造、導入、そして運用における全てのフェーズにおいて、徹底した設計検証、厳密な品質管理、充実の サーバ管理機能等により、高信頼を追求し続けています。 ...
8
HiLシステムと計測データに基づくモデルを使用したコントロールユニットの適合
... 今回のプレゼン内容は、 − 計測と制御 VOL.53 2014 8 にて紹介させていただいた記事と同内容です − 評価は Robert Bosch社と共同で実施し、イータス株式会社 マネージャである Tobias Kreuzingerが携わりました ...
20
HA8000シリーズ Lモデル システム構成図2章
... a-Box経由のE-Mail ASSISTをサポートします。BS320のSVP中継によるASSIST通報には対応しておりません。 (注7) エネルギー消費効率とは，省エネ法で定める測定方法により，測定された消費電力を省エネ法で定める記憶容量で除したものです。 (注8) コントローラのユーザ管理用LANポート(Hi-Command/Storage Navigator ...
186
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モデル システム構成図
... プロアクティブ サービスはリモートからリモート サポート ツール、電子メール、FTP、電話等を用いて提供されます。 ＊4：ProLiant サーバーに限定したサービスであり、ストレージ製品、およびネットワーク製品には提供されません。 対象のソフトウェア製品は、HPE で OEM 販売をしている Microsoft, Novell, Red Hat, VMware, Canonical、および Insight ...
65
ProLiant DL380 Gen10 SFFモデル システム構成図
... SSD のドライブを選定する上で、SATA と SAS の I/F の特徴、HDD と SSD の特徴、SSD の種類と特徴については、下記 Web サイト「SATA ハードドライブと SAS ハードドライブの違いと選定のポイント」を参照 ください。 ...
75
HOKUGA: 韓国における韓紙産業振興のイノベーション・システム・モデル : 江原道原州市の事例から
... ン・システム化」が達成されている事例であった。高城郡においては地域外の大企業と地域内 の大学が，束草市においては地域外の大学が，それぞれ大きな役割を果たしていた。そして双 方とも，外部の力を取り入れることにより地域産業を高付加価値化している点に，ネオ内発的 ...
18
アウトライン 字幕付与と音声認識 字幕作成システム 音声認識の構成 コーパス ( 主に言語モデルについて ) 自動整形 コーパス システムの利用例 リアルタイムの字幕作成 2
... – 特徴量は，典型的には音声のスペクトル成分 – 隠れマルコフモデル（HMM）で時間的な遷移を表現 – ディープニューラルネットワーク（DNN）による拡張 • 数十～数千時間の音声で学習される ...
49
前文 ( システム管理基準の活用にあたって )... 1 システム管理基準の枠組み IT ガバナンスの定義 IT ガバナンスにおける EDM モデル IT ガバナンスにおける 6 つの原則 システム管理基準の前提となる組織体制... 3
... 第 2 に、情報システムにまつわるリスクを適切にコントロールしつつ、これまで以上に IT ガバナンスの実現に貢献すること。 本基準は、どのような組織体においても情報システムの管理において共通して留意すべ き基本的事項を体系化･一般化したものである。したがって、本基準の適用においては、基 準に則って網羅的に項目を適用するような利用法は有効ではない。事業目的、事業分野にお ...
116
OSS モデルカリキュラムの学習ガイダンス 2-3- 基. Linux のシステム管理に関する知識 1. 科目の概要 Linux のシステム管理に関する基本的な手順を解説する システム管理者の役割を示し システムのインストールから各種サービスの設定 システムの起動 停止とシステムの運用など 実際に
... アプリケーションの導入方法に関しては、以下に示す２つの方法がある。 * ディストリビューションに添付されているものを利用する方法 オペレーティングシステムのインストール時に同時にインストールを行うことが可能。インストール を忘れても、ツールを利用することで追加インストールが簡単に行える。ただし、製品 CD 作成 ...
23
美味しさモデルと栄養状態を考慮した料理レシピ推薦システム
... おすすめ，方がいい，良いと思，良いかと，良いの では，良いでしょう，良くない，すべき，するべき， いかが，間違いない，よさげ，なので，だから，し まった，混んで，困る，出来る，出来ま お得耳より ...
36
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