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

過去に開発されたシステム・ツールでは、RFC5952に準

グローバル時代の システム開発標準と開発ツール

グローバル時代の システム開発標準と開発ツール

... GDM必要な要素①: :豊富なグローバルリソース ・グローバルのリソース確保と拠点間の連携体制 GDM必要な要素②: :グローバル開発における開発手順、開発ツール、教育 ・地域特性や顧客の要求品質対応できる開発手順 ...

35

JAIST Repository: モデル検査ツールにより出力された反例に基づく誤り特定に関する研究

JAIST Repository: モデル検査ツールにより出力された反例に基づく誤り特定に関する研究

... モデル検査の実用化注目ている.モデル検査,モデルが指定性質を満た ない場合,反例(性質を満たさないシステムの実行列)が出力れる.出力 反例の解析によって,モデルまだ仕様の問題を発見することができる. ...

74

ハイリスクな状態にある利用者システムへのチーム・アセスメント支援ツールの研究(I) : 支援ツール開発を試行した事例の分析を通して

ハイリスクな状態にある利用者システムへのチーム・アセスメント支援ツールの研究(I) : 支援ツール開発を試行した事例の分析を通して

... 害者とよばれる人生活上の問題が生じとすると,ソーシャルワーカーの認識として 精神障害者とよばれる子どもを問題の元凶すえ処遇困難事例との位置づけなる 可能性が高い。筆者自身も現任者対象の研修会事例を用いて演習を行っ際,「この ...

16

点検支援技術性能カタログ ( 案 ) 本性能カタログ ( 案 ) は これまでに国で NETIS( 新技術活用システム ) テーマ設定型等により技術公募され 国管理施設等の定期点検業務で仕様確認が行われた技術を対象に 国が定めた標準項目に対する性能値を開発者に求め 開発者から提出されたものをカタログ

点検支援技術性能カタログ ( 案 ) 本性能カタログ ( 案 ) は これまでに国で NETIS( 新技術活用システム ) テーマ設定型等により技術公募され 国管理施設等の定期点検業務で仕様確認が行われた技術を対象に 国が定めた標準項目に対する性能値を開発者に求め 開発者から提出されたものをカタログ

... 性能カタログ(案) 掲載技術【16技術】 2019年 2月時点 ◇ 橋梁等(画像計測技術)【 7技術】 構造物点検ロボットシステム「SPIDER」 ・・・・・・・・・・・・・・・・ 1 非GPS環境対応型ドローンを用い近接目視点検支援技術 ・・・・・・・・・・ 8 マルチコプターによる近接撮影と異状箇所の2次元計測 ・・・・・・・・・・・・ 15 ...

117

価値に駆動された人の推論システムに関する研究

価値に駆動された人の推論システムに関する研究

... Silico)を組み合わせて実現し [33].LIS と 2016 年ドワンゴ人工知能研究所により開発,ゲームエンジ ン Unity 上エージェントが自らの意思決定により動作をすることができるプログラミ ング環境ある.また,人工生命 LIS DQN(Deep Q ...

101

事業概要 インターネット経由で各種サービスを PaaS 方式で提供 同社は 情報資産の銀行 を経営理念に 自社開発したシステム開発環境である SPIRAL をベースに インターネット経由で各種サービスを PaaS 方式 ( 注 1) で提供している SPIRAL には 各種コンポーネントを基に開発さ

事業概要 インターネット経由で各種サービスを PaaS 方式で提供 同社は 情報資産の銀行 を経営理念に 自社開発したシステム開発環境である SPIRAL をベースに インターネット経由で各種サービスを PaaS 方式 ( 注 1) で提供している SPIRAL には 各種コンポーネントを基に開発さ

... して、従来の業務フローを変えることなくBIM導入できるサービスある。BIM 、コンピュータにて3次元モデル設計して、そのモデル面積、使用材料 のスペック(仕様)や量や価格、耐用年数などの建物設計に関するあらゆる情 報を付加でき、設計後の建築物のライフサイクルも把握できるツールある。 ...

17

なお 本研究で使用されたドームふじアイスコアは 南極地域観測事業で 2001 年 ~07 年に実施 された 第 2 期ドームふじ観測計画 により 2003 年 ~07 年に掘削されました 気候モデルによる 数値実験には 海洋研究開発機構の 地球シミュレータ が利用されました < 研究の背景 > 気候

なお 本研究で使用されたドームふじアイスコアは 南極地域観測事業で 2001 年 ~07 年に実施 された 第 2 期ドームふじ観測計画 により 2003 年 ~07 年に掘削されました 気候モデルによる 数値実験には 海洋研究開発機構の 地球シミュレータ が利用されました < 研究の背景 > 気候

... 将来の気候安定だと言えるでしょうか。本研究、比較的安定ある間氷期においても、北 大西洋北部流入する淡水量を増やすと気候が大きく変わりうることが示唆まし。つまり、今 後グリーンランド氷床の融解が増えること気候の安定性が変化するかもしれません。最近、 MIROC ...

8

高精度で安全な選択肢 長期に渡る経験 Easy-Laser 測定システムは 25 年以上前に開発され 各種産業における測定の問題を解決してきました 弊社製品は 長時間使用可能 長寿命 頑丈で できる限り小さく少ないパーツで構成するという信念に基づいて作成されています そのため Easy-Laser

高精度で安全な選択肢 長期に渡る経験 Easy-Laser 測定システムは 25 年以上前に開発され 各種産業における測定の問題を解決してきました 弊社製品は 長時間使用可能 長寿命 頑丈で できる限り小さく少ないパーツで構成するという信念に基づいて作成されています そのため Easy-Laser

... 将来突然測定する内容が変更なっても、 システムを対応せることができ、コストの 削減が図れます。また短時間精密機 械が測定れれば、生産性アップも繋が ります。生産工程のトラブルを素早く簡 単に改善でき、多額のコスト削減が実現 きます。それゆえシステム購入の初期投資 ...

12

移植性を考慮したエキスパートシステム開発ツール

移植性を考慮したエキスパートシステム開発ツール

... 1 PS の構造 一口に PS とは言っても実際はエキスパ トシステム ごとに,対象とする分野に好都合となるようインタプリ タ,ノレーノレヘースの表現法に工夫を凝らしているのが普 通であり,汎用的な PS と言えるものは無いに等しい。 しかし適用分野を特定しない開発ツ ノレにおいては, PS のインタプリタ部は簡単であることが望ましく,一 方 , ノレーノレベースに[r] ...

4

過去のPBLの情報を用いた工数見積り支援ツールの開発

過去のPBLの情報を用いた工数見積り支援ツールの開発

... トの集計を利用すること,ソースコードの規模だけ なく,文書やバグの規模見積もりも可能となる. しかし,ソフトウェア開発プロジェクト開発 環境やプロジェクトメンバーの習熟度などが生産性を 変動せる要因となるため,開発工数の見積りの際 ...

9

いつでも どこ が正確に 準天頂衛星システム (QZSS) 準天頂衛星初号機 みちびき 宇宙航空研究開発機構 宇宙利用ミッション本部 準天頂衛星システムプロジェクトチーム

いつでも どこ が正確に 準天頂衛星システム (QZSS) 準天頂衛星初号機 みちびき 宇宙航空研究開発機構 宇宙利用ミッション本部 準天頂衛星システムプロジェクトチーム

... 天頂衛星システムと国際協力 -アジア・オセアニア地域マルチGNSS実証実験- • 「みちびき」、赤道を中心日本とオーストラリアの上空を8の字を描く天 頂軌道を通るため、日本ばかりなく、韓国やオーストラリア、東南アジアから でも受信でき、同じようなサービスを利用することが可能 ...

21

1. 検証概要 目的及びテスト方法 1.1 検証概要 PostgreSQL はカルフォニア大学バークレー校で開発された POSTGRES, Version 4.2 をベースにしたオープンソースのリレーショナルデータベース管理システムです PostgreSQL はオープンソースでありながら 商用リレー

1. 検証概要 目的及びテスト方法 1.1 検証概要 PostgreSQL はカルフォニア大学バークレー校で開発された POSTGRES, Version 4.2 をベースにしたオープンソースのリレーショナルデータベース管理システムです PostgreSQL はオープンソースでありながら 商用リレー

... COBOL 最新鋭の COBOL 言語開発・実行環境を提供します。 COBOL 言語への埋め込み SQL 処理系を標準装備しており、ODBC ドライバ、JDBC ド ライバ、 ...について ODBC 3.x 仕様、JDBC あれば JDBC 4.0 仕様準拠しデータソースに対して ...

10

の主流イーサネットはパソコンとともに発展 の主流として世界中で採用されているイーサネット (Ethernet) は 980 年代初頭に米国で開発されました もともとは企業や研究所などのワークステーションを結ぶためのものでしたが パソコンの開発と普及によって は多数のパソコンを結ぶネットワークシステム

の主流イーサネットはパソコンとともに発展 の主流として世界中で採用されているイーサネット (Ethernet) は 980 年代初頭に米国で開発されました もともとは企業や研究所などのワークステーションを結ぶためのものでしたが パソコンの開発と普及によって は多数のパソコンを結ぶネットワークシステム

... パソコンなどの IT 機器もちろん、近年デジタルテレビをはじめとする AV 機器なども LAN 端子が標準装備 れるようなりまし。パルストランス LAN インタフェース部搭載れるキーパーツ。パルス信号を高速伝送 するとともに、入出力間の絶縁などの機能をもちます。TDK では SMD( ...

8

た脅威情報は お客様のファイアウォールに自動的に導入されるリアルタイムの対抗策を開発するために使用されます ネットワークの制御と柔軟性 NSA シリーズの中核をなすのは SonicWall の豊富なオペレーティングシステムである SonicOS です SonicOS は アプリケーションインテリジェ

た脅威情報は お客様のファイアウォールに自動的に導入されるリアルタイムの対抗策を開発するために使用されます ネットワークの制御と柔軟性 NSA シリーズの中核をなすのは SonicWall の豊富なオペレーティングシステムである SonicOS です SonicOS は アプリケーションインテリジェ

... 通信とデータ漏洩の阻止を目的とし ものです。包含および除外のルールよ り、具体的な組織のコンプライアンス要件 や法的要件基づいて、復号化とインスペ クションの対象なるトラフィックを完全 制御してカスタマイズすることができます。 組織のファイアウォール侵入防止、アンチ ウイルス、アンチスパイウェア、TLS/SSL 復 号化 / ...

14

人文科学とコンピュータシンポジウム 2011 年 12 月 寺院 過去帳 に流産 死産児が記録され始めた時期と関連法規 川口洋上原邦彦日置慎治帝塚山大学経営情報学部 本稿では, 過去帳 分析システムを用いて, 寺院 過去帳 に流産 死産児が記録され始めた時期と法規との関係について検討する. 過去帳

人文科学とコンピュータシンポジウム 2011 年 12 月 寺院 過去帳 に流産 死産児が記録され始めた時期と関連法規 川口洋上原邦彦日置慎治帝塚山大学経営情報学部 本稿では, 過去帳 分析システムを用いて, 寺院 過去帳 に流産 死産児が記録され始めた時期と法規との関係について検討する. 過去帳

... 葬場ノ管理者ハ區長若クハ戸長ノ認許證ヲ得タ ル者ニ非サレハ埋葬又ハ火葬ヲナサシムヘカラ ス…」ある. 「墓地及埋葬取締規則細目標準」が布達 る約 3 年前から,医師や産婆の作成し流産届, 死體分娩届,死亡届の提出を義務付けてい東 京府,明治 24(1891)年 8 月 10 日の「墓地 及埋葬取締細則」(警察令第十二号)により, ...

8

ゲームエンジン班最終報告 澤田進平 開発動機そもそも 今年度の開発する予定のものはゲームエンジンではなかった 1 学期に主張したことは 汎用的なノードグラフエディターの開発 であった 当時 必要に迫られていたのが開発動機である 一応 夏休み中にある程度開発したものがこれである C

ゲームエンジン班最終報告 澤田進平 開発動機そもそも 今年度の開発する予定のものはゲームエンジンではなかった 1 学期に主張したことは 汎用的なノードグラフエディターの開発 であった 当時 必要に迫られていたのが開発動機である 一応 夏休み中にある程度開発したものがこれである C

... OpenGL2.1 開発しているため、このバージョンにおける GLSL について記述す る。 GLSL HLSL に対して難解あり、使いづらいと私思う。それ何故か? まず、 GLSL の最適化機能ある。HLSL と同じよう、シェーダー内の変数名を指定して値を 渡すことができるのだが、GLSL ...

6

放射性物質で汚染された植物バイオマスの減容化総合処理システムの開発

放射性物質で汚染された植物バイオマスの減容化総合処理システムの開発

... ブ 分 注 し 。13,000×g, 20 min 遠心分離処理を行い,上清の糖化液と残渣分 けた。上清スギと比較して濃い茶色を呈しており,残 ...理 よ り 48.85 g の 上 清 お よ び 51.15 g の残渣が得られ。また残渣について,約 2 倍量のイオン交換水再懸濁し 13,000×g, ...

8

アプリケーションから発行された要求が, の両キャッシュでミスヒットした場合, 両キャッシュには同一のデータが格納される. しかし, 最近アクセスされたデータへのアクセス要求は上で処理され, に届くことはない. 従ってでは 最近アクセスされたデータは近い将来再度アクセスされる可能性が低い という通常と

アプリケーションから発行された要求が, の両キャッシュでミスヒットした場合, 両キャッシュには同一のデータが格納される. しかし, 最近アクセスされたデータへのアクセス要求は上で処理され, に届くことはない. 従ってでは 最近アクセスされたデータは近い将来再度アクセスされる可能性が低い という通常と

... 11 示す.ゲ スト OS メモリサイズと,VM 与えメモリのサイズ あり,ゲストが使用できるメモリのサイズある.ゲス ト OS ,このうちの一部をカーネルやユーザプロセス 割り当て,残りの全てをページキャッシュ(ゲスト OS キ ャッシュ)割り当てる.図の横軸 FFSB ...

6

30 特集 / 市販後に分かる薬の安全性と最近の撤退薬 COX1 COX2 Fig. 1 COX の構造の違い Fig. 2 COX-2 阻害薬開発の歴史はいずれも 1999 年に米国で上市され, その後世界中で承認されていったが, わが国では 2007 年になって celecoxib が承認された

30 特集 / 市販後に分かる薬の安全性と最近の撤退薬 COX1 COX2 Fig. 1 COX の構造の違い Fig. 2 COX-2 阻害薬開発の歴史はいずれも 1999 年に米国で上市され, その後世界中で承認されていったが, わが国では 2007 年になって celecoxib が承認された

... の分子構造を元設計 ,COX-2 をより選択的阻害する作用を持つと る.COX-2 分子 COX-1 分子比較して柔軟なルー フ構造を持ち,阻害薬の入り込む開口部が広い 3) ...NSAIDs 比べその立体 構造が大きく,COX-2 ...

6

Show all 10000 documents...

関連した話題