LSI設計・検証のプラットフォームとして
組込みソフトウェア開発環境に関する研究 ～プラットフォームコードの再設計～
... と状態を遷移する．状態遷移時にアクションを実行し，そ の際に他の CSTM にイベントを送信して状態を遷移させ る．この CSTM の協調動作によって組込みシステムを実 現する． E-AoSAS++ のプラットフォームコードは並行 処理アスペクト，状態遷移アスペクト，インスタンス処理 アスペクト，アクションアスペクトと各アスペクトを繋げ るアスペクト間記述（ IAD ...
2
富士通製プラットフォーム 「PRIMEPOWER/PRIMERGY」及び、富士通製ミドルウェア 「Interstage」とVantage Analyzer 動作検証完了報告書
... 4. 検証方法 --------------------------------------------------------- 5 5. 検証結果 --------------------------------------------------------- 6 5.1 性能検証 ...
17
エドテック：11．教育クラウド・プラットフォーム協議会 -プラットフォームのプラットフォーム-
... 発起人および設立時の構成員は，NTT コミュニ ケーションズ（株），（株）増進会出版社，（株）学 研ホールディングス，（株）リクルートマーケティ ングパートナーズ，Classi（株）5 社の代表取締役 社長である（ 図 -1 ）．協議会の庶務は，総務省と， みらいの学び共創会議（ICT CONNECT 21）が共同 で務め，オブザーバとして，文部科学省，経済産 ...
2
JAIST Repository: 形式的検証とウェブオントロジーの融合による大規模情報システム設計支援
... つである．そして，キーワードや文章どうし の関係も，それらが記述されている仕様書の グラフ上の構造に依存する場合がある．そこ で，形式的検証と web オントロジーに基づい て，グラフ構造上の解析とキーワードや文章 の解析を，お互いに活用しあいながら実現す る技術の研究を行い，その技術を用いて設計 支援システムを開発する． ...
7
CLUSTERPRO による MariaDB の HA クラスタ動作検証 第 1 版 日本電気株式会社クラウドプラットフォーム事業部 CLUSTERPRO グループ
... © Copyright NEC Corporation 2015. All rights reserved. 免責事項 本書の内容は、予告なしに変更されることがあります。 日本電気株式会社は、本書の技術的もしくは編集上の間違い、欠落について、一切責任をおいません。 また、お客様が期待される効果を得るために、本書に従った導入、使用および使用効果につきましては、 ...
29
回路シミュレータ/MATLABリンク~詳細回路設計におけるシステムレベル検証~
... アナログ・デジタル混在回路の解析 モンテカルロ解析 スモーク解析 制御ロジック設計 複合物理領域の解析 最適化・レポート生成 2D/3Dグラフィックス 組込み用コード生成 https://jp.mathworks.com/products/simulink.html ...
45
産学官連携政策の課題とプラットフォームとしての地域拠点
... そこで、先行研究を参考にしながら 2 つの視点を追加 した。佐々木・森（2009）では仲介機関を機能面から捉 えて、支援機関の事務局と個人のコーディネータとを区 分していない。しかし支援機関には会員企業組織があっ たり、あるいは予算を使った組織的な支援事業を企画実 施できるなどの強みがあり、コーディネータには個人が 構築したネットワークをより自由に活用できる強みがあ ...
12
小型無人航空機に対するStability Augmentation System の設計と検証
... 3 Stability Augmentation System Stability Augmentation System (SAS) は安定性増大シ ステムのことで，飛行機の安定性の向上を実現させる制御 装置である．飛行機の減衰性を増加させるものであること から一般にダンパともよばれている．主に，レートジャイ ロによって検出された飛行機の角速度運動情報をフィー ...
2
先進的な設計 検証技術の適用事例報告書 2013 年度版 2014 年 5 月
... Ａ－７ 設計工程における TERASOLUNA DS の適用 89 Ａ－８ Grails/Groovy の適用推進 103 Ａ－９ 個人依存開発から組織的開発への移行事例 119 Ａ－10 MBSE による双腕作業ロボット動作実行系のコンセプト設計 133 Ａ－11 仕様記述言語 VDM++ を用いたシステムの仕様の記述 ...
21
モバイル デバイス管理 コア プロテクション サーバーの自動化 IBMEndpointManagerV9.0 は 新しいコア機能の追加およびプラットフォームの範囲の拡大により 以下を実現しています IBMEndpointManager のサーバー プラットフォームとして RedHatEnterpri
... IT�システム・セキュリティーには、企業内外からの不正アクセスの防止、検出、および対応に よって、システムや情報を保護することが求められます。不適切なアクセスにより、情報の改 ざん、破壊、悪用を招くおそれがあるほか、システムが誤用された場合は他のシステムを攻撃 してしまうおそれがあります。セキュリティーに対して包括的なアプローチをとらない�IT�シ ...
26
バーチャルリアリティとインタラクティブアートの相互作用による発展 : 1.未来のつくりかた-クリエイティブプラットフォームとしてのArs Electronica-
... 1） の中で，メディアアーティストとしての取り組 みを述べているように，次への社会を見渡し，表 現とテクノロジの吟味を通して新しいものの見方 を世界に提示するアーティストの視点は興味深い． Stephen Wilson が編集した Information Arts 2 ） には， 情報社会へ問う膨大な作品・プロジェクトがまとめ ...
7
都河川水を利用した空調熱源システムの設計段階における性能検証に関する研究 [ PDF
... より、制御への活用が期待できる。以上の背景より、 設計段階にある河川水利用の空調システムシを研究対 象として、シミュレーションモデルを用いた、イニシ ャルコミッショニングの過程を通じて、イニシャルコ ミッショニングの有効性を確認する。 ...
4
先進的な設計 検証技術の適用事例報告書 2015 年度版 2015 年 11 月
... 本書には、ソフトウェアの信頼性確保を実現するために「先進的な技術・手法」に着目 し、それらを実際に実践した成功事例（ベストプラクティス）を収集・取りまとめて掲載 している。製造業や流通業、商社、情報通信業など多岐にわたる業種・分野の事例を 34 件 収録しており、様々な業種・分野において実践できる内容となっている。また、効果測定 データをはじめ実践的な情報を掲載しているため、これから新しい技術・手法を導入する ...
6
第 91 回風洞研究会議論文集 31 ロケット再突入データ取得システムの空力設計検証試験について 青木良尚 南吉紀 高間良樹 石本真二 (JAXA) 1 内容 1. ロケット再突入システムについて 2. 空力設計等検証計画 3. 検証試験結果 4. 検証試験で判明した試験における課題 5. まとめ
... 概要 JAXA 研究開発部門第四研究ユニットでは，ロケットの溶融解析に関わるデータの取得と，再突入機およ び将来輸送系に係る技術の蓄積を主な目的として，カプセル型のロケット再突入データ取得システムを開発 している．2014 年度～2015 年度初めに空力設計検証試験を行ったので，結果の概要と試験における課題に ついて報告する． ...
13
複素周波数領域有限差分法によるプラズモニック導波路の設計及び特性検証
... 4. む す び 本論文では，著者らが近年開発した FDCFD-FILT 法のアルゴリズムを紹介し，電磁界の散乱解析を行う ことにより本手法の計算精度及び計算速度を検討した． 複素周波数領域の有限差分法（ FDCFD ）と高速逆ラ プラス変換（ FILT ）を併用することにより任意時刻 における時間応答を独立に計算できる．また， Yee セ ...
9
観戦者としてラグビーワールドカップ2019の日程を検証する
... 報告の概要 本報告は2019年に日本で行われるラグビーワールドカップの日 程について競技者、運営者に加え、観戦者の視点から検証する。 ラグビーワールドカップは試合日程や試合会場など、実力と人 気を併せ持つ有力国8か国（ニュージーランド、豪州、南アフリカ、 イングランド、スコットランド、ウェールズ、アイルランド、フランス） ...
70
双方向市場におけるプラットフォームの価格戦略とコスト分担 : アマゾンのネット通販を事例として
... ところが、GAFA などの IT 企業は世界中でビジネスを展開しているが、 彼ら IT 企業は各国のユーザーからオンラインで個人データ 9) を集めて、それ を収益に変えるビジネスモデルで利益をあげることに成功している。このビ ジネスモデルは従来は存在しなかったもので、このようなインターネットを 駆使した新しいビジネスモデルでは、収益の発生場所としての営業施設を各 ...
29
グリーン庁舎計画指針の活用の検証―グリーン庁舎事例における計画設計過程の考察 [ PDF
... 一方、グリーン庁舎チェックシートの作成は、全ての技 術の個別導入判断後に行われており、計画指針のフローの ように配慮度合の検証が技術選定全体の再検討に活用され ていない。この理由は、シートを作成するためには計画設 計全体を把握することが求められるが、その立場にあるの ...
4
JAIST Repository: アカデミック研究からのイノベーション創出のプラットフォームとしてのNPO法人の可能性
... ⑧ 教材用ロボット製品の共同開発、ロボット製品の制御プログラムの開発等（ロボカップ日本委員会、 ロボカップフェデレーションジャパン）：完全自律の人間型ロボットの開発をゴールに掲げるロボ カップは、国際的な研究者ネットワークづくりに成功し、研究の推進と並行して、国際的に企業、 ...
7
ミドルメディアとしてのリッチコミュニケーション型地域情報プラットフォームの検討
... 常識が成り立っているのは、単にそれをチェックしていないから、あるいは チェックを無自覚的に回避しているからといった理由で常識が通用しているだ けなのかもしれないのである。このことは組織だけでなく、地域においても妥 当すると考えるのが自然であろう。このため、地域が持つ常識が、外部環境に 対して現状でも妥当なのかどうかを確認して内部を修正していくには、行為し ――本稿の文脈[r] ...
36