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

XCシステムソフトウェア

MathML 記述の数式を対象とした木構造に基づく検索システムの提案・開発 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)

MathML 記述の数式を対象とした木構造に基づく検索システムの提案・開発 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)

... アップの場合は) 数式の意味情報を付加できる点などから Web 上において数式を表現す る技術として優位性が高いと言える. LMS (Learning Management System, 学習管理 システム) や多くのソフトウェアで保存や読み込み形式として採用されている事実はそ の裏付けとなろう.上述のように,コンテンツマークァップは数式の意味をより確実 ...

11

ネットワークビデオレコーディングソフトウェア RM-64/25/9/Lite システム管理者マニュアル

ネットワークビデオレコーディングソフトウェア RM-64/25/9/Lite システム管理者マニュアル

... • 本ソフトウェアや対応カメラの管理ツール以外のソフトウェアが動作していると、システムの動作が不安定になる可能性 があります。 • ご使用の PC の CPU 負荷やディスク負荷が高くなると、指定したフレームレートで録画または表示されなかったり、録画 が一時停止したり、ビューワーの操作に時間がかかることがあります。また、ハードディスクの空き容量が少なくなる と、録画を一時停止することがあります。 ...

136

システムソフトウェア Security Target 用 2006 年 05 月 23 日 Ver 1.0

システムソフトウェア Security Target 用 2006 年 05 月 23 日 Ver 1.0

... 本 ST の 定 義 す る 製 品 は 、 プ リ ン ト 速 度 が 異 な る e-STUDIO2500c , e-STUDIO3500c , e- STUDIO3510c の 3 種類の MFP であり、TOE は、それらを制御する共通のソフトウェアである。 e-STUDIO2500c/3500c/3510c は、一般的なオフィス等に設置され、単独で複合機として利用される他 に、図 2.1 ...

24

7. セットアップソフトウェア (MR Configurator2 TM ) 第 7 章セットアップソフトウェア (MR Configurator2 TM ) 仕様 システム構成 局選択 パラメータ ポイントテーブル..

7. セットアップソフトウェア (MR Configurator2 TM ) 第 7 章セットアップソフトウェア (MR Configurator2 TM ) 仕様 システム構成 局選択 パラメータ ポイントテーブル..

... 2. Windows ,Windows Vista は米国Microsoft Corporationの米国およびその他の国における登録商標です。 3. 使用するパーソナルコンピュータにより,セットアップソフトウェア(MR Configurator2 MT )が正常に動作しない場合があり ます。 4. Windows XP以降をご使用の場合は、次に示す機能が使用できません。 ...

21

7. セットアップソフトウェア (MR Configurator2 TM ) 第 7 章セットアップソフトウェア (MR Configurator2 TM ) 仕様 システム構成 局選択 パラメータ ポイントテーブル..

7. セットアップソフトウェア (MR Configurator2 TM ) 第 7 章セットアップソフトウェア (MR Configurator2 TM ) 仕様 システム構成 局選択 パラメータ ポイントテーブル..

... Windows 8にてご使用の場合はVer”1.20W“以上にバージョンアップしてください。 バージョンアップ情報につきましては三菱電機㈱ホームページにてご確認ください。 2. Windows ,Windows Vista は米国Microsoft Corporationの米国およびその他の国における登録商標です。 3. 使用するパーソナルコンピュータにより,セットアップソフトウェア(MR Configurator2 TM ...

23

自己紹介 身分 ソフトウェア工学の研究者» 電気通信大学電気通信学部システム工学科» ちょっと 生臭い 研究 / ソフトウェアテストやプロセス改善など 先日までソフトウェアのよろず品質コンサルタント 専門分野 ソフトウェアテスト / プロジェクトマネジメント /QA/ ソフトウェア品質 /TQM 全

自己紹介 身分 ソフトウェア工学の研究者» 電気通信大学電気通信学部システム工学科» ちょっと 生臭い 研究 / ソフトウェアテストやプロセス改善など 先日までソフトウェアのよろず品質コンサルタント 専門分野 ソフトウェアテスト / プロジェクトマネジメント /QA/ ソフトウェア品質 /TQM 全

... • サブシステムや構成要素としてではなく、 全体としてシステムを扱う • ハザードを、単なる故障よりも広い意味で捉える – 故障を防ぐ(信頼性を高める)のと、ハザードを防ぐ(安全性を高める)の とでは工学的手法は異なるし、時として互いに矛盾する。 ...

33

ネットワークビデオレコーディングソフトウェア RM-Lite システム管理者マニュアル Ver.1.0

ネットワークビデオレコーディングソフトウェア RM-Lite システム管理者マニュアル Ver.1.0

... • USB インターフェースの HDD や NAS などの外部ストレージはサポートしていません。 • 保存データ量 ( 録画ファイルの数 ) が大きくなった場合、動作が遅くなることがあります。 • 本ソフトウェアシステム専用の LAN 環境での運用をお勧めします。 • 録画サーバーやカメラの IP アドレスが変更される環境で使用すると、録画ができなくなる場合があります。固定の IP アドレスでご使用 ...

104

システム性能分析ソフトウェア WebSAM Invariant Analyzer Ver 年 6 月 日本電気株式会社

システム性能分析ソフトウェア WebSAM Invariant Analyzer Ver 年 6 月 日本電気株式会社

... 構成例/概算見積り(3)-1 MCOperationsと連携(リアルタイム分析)した場合 <システム構成> ※1:WebSAM MCOperations Invariant Analyzer Option for Windowsのライセンスには、連携オプション、統合ビュー、分析エンジン、5000種類の性能情報を分析する 機能を含みます ...

37

ネットワークビデオレコーディングソフトウェア RM-64/25/9/Lite システム管理者マニュアル

ネットワークビデオレコーディングソフトウェア RM-64/25/9/Lite システム管理者マニュアル

... • バックアップした録画ファイルをリストアする場合は、 リストア用の録画サーバーがバックアップ時と同じ IP アドレスおよびドライブ構成である必要があります。た とえば、元の録画サーバーがシステム用のドライブの他 に録画データ用のドライブを持っている場合は、リスト アする録画サーバーにもシステム用と録画データ用の ドライブが必要です。ハードディスクの容量は、リスト アするデータを考慮して決定してください。 ...

140

ネットワークビデオレコーディングソフトウェア RM-64/25/9/Lite システム管理者マニュアル

ネットワークビデオレコーディングソフトウェア RM-64/25/9/Lite システム管理者マニュアル

... • 本ソフトウェアは VK-64/16/Lite よりもスペックが高い PC が必要です。 VK-64/16/Lite 用の PC は本ソフトウェアの動作 要件を満たしていない可能性があります。 プロトコルの互換性についての注意 本ソフトウェアではビューワーと録画サーバー間の通信プロトコルが大幅に変更され、 VK-64/16/Lite のプロトコルとの互 ...

141

Cisco IOS ファイル システム、コンフィギュ レーション ファイル、およびソフトウェア イ メージの操作

Cisco IOS ファイル システム、コンフィギュ レーション ファイル、およびソフトウェア イ メージの操作

... コマンドは、リモート システム上の rsh サーバ (またはデーモン)を利用します。 RCP を使用してファイルをコピーする場合には、 TFTP の場合のよ うにファイル配信用サーバを作成する必要がありません。ユーザが行うのは、リモート シェル( rsh ) をサポートするサーバへのアクセスだけです (ほとんどの UNIX システムでは rsh がサポートされて ...

38

用システムソフトウェア Security Target 2006 年 03 月 07 日 Ver 1.3

用システムソフトウェア Security Target 2006 年 03 月 07 日 Ver 1.3

... 本 ST の定義する製品は、プリント速度が異なる e-STUDIO202L,e-STUDIO232,e-STUDIO282 の 3 種類の MFP であり、TOE は、それらを制御する共通のソフトウェアである。 e-STUDIO202L/232/282 は、一般的なオフィス等に設置され、単独で複写機として利用される他に、 図 2.1 に示すようなネットワーク環境でも、FAX とのデータ送受信端末,メールサーバへのメール発信 ...

24

Tintri オペレーティング・システム・ソフトウェア PDF Tintri 資料

Tintri オペレーティング・システム・ソフトウェア PDF Tintri 資料

... 仮想化とフラッシュのために設計された唯一のストレージシステム 仮想化は新しい標準となり、ITのあらゆる側面に適応しています。しかし、汎用目的の共有ストレージ は20年前に設計されているため、フラッシュや仮想化には十分対応しておらず、高コストであり、ビ ジネスの俊敏性を抑制しています。インテリジェントなフラッシュとVMおよび仮想ディスクを管理単 ...

2

システムセレクションガイド AXIS Camera Station システム選定ガイド あらゆる監視ニーズを 1 台でカバーする Axis カメラ専用ビデオ管理ソフトウェア

システムセレクションガイド AXIS Camera Station システム選定ガイド あらゆる監視ニーズを 1 台でカバーする Axis カメラ専用ビデオ管理ソフトウェア

... 貴社のビジネスに最適なAXIS Camera Stationを Axisは、カメラ、ソフトウェアなど、アクティブなオペレーター向けのセキュリティソリューションを構築するさまざまな製 品を取り揃えています。 Axisのソリューションは操作や設置が容易で、学校、小売店舗、製造現場などの中規模システム向けに最適化を図り、設計さ ...

12

CLUSTERPRO MC (HA シリーズ ) のご紹介 2013/4/1 NEC システムソフトウェア事業部 CLUSTERPRO グループ

CLUSTERPRO MC (HA シリーズ ) のご紹介 2013/4/1 NEC システムソフトウェア事業部 CLUSTERPRO グループ

... RAC構成を含む、Oracle データベースシステムを監視し 業務停止につながる障害を早期に検出。 障害発生時には、Oracle プロセスの再起動もしくは クラスタ連携によるフェイルオーバで業務停止時間を 最小化。 ...

20

PRIMERGY、PRIMEQUEST 2000/1000シリーズ、FMVシリーズ システム構成図[ソフトウェア編] Windows関連(32ビットバージョン)

PRIMERGY、PRIMEQUEST 2000/1000シリーズ、FMVシリーズ システム構成図[ソフトウェア編] Windows関連(32ビットバージョン)

... - - - - - - - - - - - - - - - - - - - - - - - - - - Oracle Real Application Testingの1 Named User Plus Licenseを提供します。■初年度の「SupportDesk Standard」を同梱■ R11.2.0/R11.1.0用。適用するOracle Database Enterprise ...

100

PRIMERGY、PRIMEQUEST 2000/1000シリーズ、FMVシリーズ システム構成図[ソフトウェア編] Windows関連(64ビットバージョン)

PRIMERGY、PRIMEQUEST 2000/1000シリーズ、FMVシリーズ システム構成図[ソフトウェア編] Windows関連(64ビットバージョン)

... メディアサーバ)の台数分、本ライセンスを購入してください。Tierは、サーバ機種に搭載されている物理processor数により決定します。本ラ イセンスは、Tier3(搭載している物理processor数4-7)です。別途、Veritas NetBackup 7.7 Media Kit Japaneseが最低1本必要です。 Veritas NetBackup Server 7.7 Tier4 B5140M16B ¥870,000 許諾書 ...

58

所属 背景 東洋大学経営学部経営学科准教授 工業経営 / 経営システム工学, ソフトウェア工学, 品質マネジメント 主な学外活動 日本科学技術連盟 SQiPソフトウェア品質委員会運営委員長 IPA/SEC 高信頼化定量管理部会主査 ( ソフトウェア開発データ白書 ) 組込みシステム技術協会実装品質強

所属 背景 東洋大学経営学部経営学科准教授 工業経営 / 経営システム工学, ソフトウェア工学, 品質マネジメント 主な学外活動 日本科学技術連盟 SQiPソフトウェア品質委員会運営委員長 IPA/SEC 高信頼化定量管理部会主査 ( ソフトウェア開発データ白書 ) 組込みシステム技術協会実装品質強

... 実績データの収集・分析: 欠陥除去比率 (DRE: Defect Removal Efficiency) Laird, L. M. and Brennan, M. C ., Software Measurement and Estimation: A Practical Approach, John-Wiley and Sons, 2006 (野中誠, 鷲崎弘宜訳:演習で学ぶソフトウェアメトリクスの基礎, 日経BP社, ...

30

GeoGebraによる数学自習支援システム (数学ソフトウェアとその効果的教育利用に関する研究)

GeoGebraによる数学自習支援システム (数学ソフトウェアとその効果的教育利用に関する研究)

... ある. 5 システムの利点 このシステムの利点を 3 つ挙げたい. 1 つ目に問題を細かいステップに分割し, そのひとつひとつの正誤を確認しながら学習を進められる点である.初学者にとっ て初見の問題を解くときに自分の解き方が合っているかどうか不安となるあまり, 自主学習を妨げてしまうことがあるだろう.しかしこのシステムを使えば確認し ...

7

導出規則に着目した証明視覚化・式変形支援システムの提案 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)

導出規則に着目した証明視覚化・式変形支援システムの提案 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)

... を対象とした,導出過程の理解を支援するためのシステムについて述べる. 本論で対象とするのは,数式変形と,証明における推論である.変形および推論はス テップバイステップで進められるものである.このため,変形および推論を理解す るためには,ある数式から別の数式への変形の根拠,あるいは,ある命題から別の命題 への推論の根拠を一つ一つ明確に理解する必要がある.そこで我々は,変形や推論の根 ...

9

Show all 10000 documents...

関連した話題