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

OSS活用のソフト開発手法のポイント

JAIST Repository: 形式手法の統合によるシームレスなソフトウェア開発手法の提案

JAIST Repository: 形式手法の統合によるシームレスなソフトウェア開発手法の提案

... (2)設計モデルを用いて実装を検証する手法 提案.Promela で記述された設計モデルを 用いて,テストケースを自動生成し,実装 検証を行う手法を提案した.実装正しさを 確認するためには,実装自体を実際に実行し て動作を確認することが望ましいと考えて いる.そこで,上記(1)で十分に検証された 設計モデルに基づいて,実装を網羅的にテス ...

6

第 1 章農業のための LCA 手法の開発及び生産形態別評価 : 総合評価及び LCA 手法の開発

第 1 章農業のための LCA 手法の開発及び生産形態別評価 : 総合評価及び LCA 手法の開発

... また、従来手法大部分が海外、特にオラ ンダなどによる手法を土台とした評価手法で あり、ダメージ関数なども策定された国に特化 したものであった。そのため、地球温暖化やオ ゾン層破壊といったグローバルな環境問題を 評価する場合にはさほど大きな問題は生じな いが、大気汚染や、富栄養化ようにローカル ...

14

MU値の独立検証における自作ソフトの開発

MU値の独立検証における自作ソフトの開発

... 玉木 義雄 (同 放射線科) 【目 的】 ダイオード検出器を用いた線量検証システム である Delta 4基本特性と IMRT における線量検証 有用性を検討した. 【対象と方法】 Delta 4基本特性 として線量直線性,再現性,線量率・照射野・方向依存性 評価を行った. また H21年 4月から H22年 1月まで IMRT13症例について Dlta ...

2

TOPPERS 活用アイデア アプリケーション開発 コンテスト 部門 : 活用アイデア部門アプリケーション開発部門がじぇるね IoT 部門作品のタイトル : TOPPERS_ASP3 カーネルと astah*-uml による状態マシン図でのソフト設計と動作検証の試み作成者 : 塩出武 ( しおでたけ

TOPPERS 活用アイデア アプリケーション開発 コンテスト 部門 : 活用アイデア部門アプリケーション開発部門がじぇるね IoT 部門作品のタイトル : TOPPERS_ASP3 カーネルと astah*-uml による状態マシン図でのソフト設計と動作検証の試み作成者 : 塩出武 ( しおでたけ

... QEMU と共有メモリために .dll ファイルを作成しています。これを astah* 側 Toppers_Flow プラグインから参照 するですが、現時点でどうしても相対パス設定がうまくいかないため、やむを得ず絶対パスとさせてもらっています。申 し訳ございませんが、以下ように、 C ドライブにディレクトリを作成して、 toppers_flow.dll ...

10

『ヘルスケア施設の供給促進と不動産証券化手法の活用』

『ヘルスケア施設の供給促進と不動産証券化手法の活用』

... 条第1項第3号)に含まれない。 ・投資法人が自ら宅地造成や建物建築を行う場合(投資信託及び投資法人に関する法律施行令第116条) ・一定期間テナント退去が必要になる大規模修繕・改修工事等請負契約注文者になる場合で、キャッシュ フロー変動がポートフォリオ全体に過大な影響を与える場合(金融商品取引業者等向け総合的な監督指針) ...

17

形式手法・モデルベース開発技術の推進

形式手法・モデルベース開発技術の推進

... 近年とくに、ソフトウェア開発におけるステークホルダ 多様性が増し、かつ、各ステークホルダは異なる背景 もとに異なる言語を用いており、まさしくバベルの塔状 況になっていると言える。言語は、それが使用される環境 に依存するところがあり、一つ言語を希求するは現実 的ではないと考えられる。ソフトウェアは、組織や団体、 ...

2

DDR3 SDRAMメモリ・インタフェースのレベリング手法の活用

DDR3 SDRAMメモリ・インタフェースのレベリング手法の活用

... 図 5. I/O エレメントにおけるスタティックおよびダイナミック遅延 起動時キャリブレーション・プロセス一部として自動 DDR3 デスキュー・アルゴリズムを実行するために、動作時 に FPGA ファブリックから遅延エレメントを獲得することができます。 図 6 に、DQ データをデスキューして DQS 中心に配置し、余分なキャプチャ・マージンを確保できるようにする様子を示します。出力遅延を使用して、出力 ...

7

法学教育におけるトレイニング型授業の実践とICT活用の手法

法学教育におけるトレイニング型授業の実践とICT活用の手法

... 実は PowerPoi ntに代表されるスライド提示にはそのような側面があ る。スライドは当初、医学系、理工系プレゼンテイションにおいて資料 写真、実験画像、図表といったものを提示するに用いられた写真用スラ イドフィルム映写を、コンピューターによって代替したものだ。それが 今や、あらゆる分野で使われるようになった。文系講義において使われ ...

26

「山村地域における森林資源の活用手法の調査」

「山村地域における森林資源の活用手法の調査」

... なくして、生涯者が健常者と同じような生活をおくることができるような街づくりため 設計思想をユニバーサルデザインと呼んでいる。つまり、これまで都市デザインは、 健常者や普通人々生活や労働を対象としていたが、ユニバーサルデザインでは、障害 者から健常者まで幅広い人々を対象としたデザインするということである。バリアフリ ...

212

効果測定に基づくポイントプログラムの有効活用

効果測定に基づくポイントプログラムの有効活用

... 舗品揃えや出店場所、そして商品開発にも 活用することができる。今後は顧客を知るツ ールとしてポイントプログラムを活用し、そ 結果として顧客理解に基づいた、企画・ 開発から販売促進に至るマーケティング活動 全般最適化を図っていくことが、収益、ひ いては利益最大化を実現させるうえで必須 ...

10

投資後の事業運営を見据えた投資案件の分析ポイントと手法

投資後の事業運営を見据えた投資案件の分析ポイントと手法

... 以上 本文中意見や見解に関わる部分は私見であることをお断りする。 トーマツグループは日本におけるデロイト トウシュ トーマツ リミテッド(英国法令に基づく保証有限責任会社)メンバーファームおよびそれら 関係会社(有限責任監査法人トーマツ、デロイト トーマツ コンサルティング株式会社、デロイト トーマツ ファイナンシャルアドバイザリー株式会社お ...

5

JAIST Repository: 健康長寿社会の実現に向けた重要疾病に関する大規模医療情報の活用の検討 : 政策意思決定のための手法開発の試み

JAIST Repository: 健康長寿社会の実現に向けた重要疾病に関する大規模医療情報の活用の検討 : 政策意思決定のための手法開発の試み

... 11 技術シナリオを作成し、それら技術 シナリオ間においてインパクト相対比較を行った。さらに、 2 型糖尿病 を克服するため技術に関する研究開 発・実用化を今後進める上で課題を検討し、我が国において今後特に重要となる 11 つ課題を抽出した。累 積重要度を指標としたデルファイ調査からは、 2 ...

5

キャンパス内の不正アクセスポイントを無線フレームの復号なく検出する手法

キャンパス内の不正アクセスポイントを無線フレームの復号なく検出する手法

... に関するセキュリティ上課題が存在する.大学では,全学として ネットワーク管理者(以下,全学ネットワーク管理者と呼ぶ)だけでなく,各サブネットワークごとに管理者 を指定していることが多く,ネットワーク全体を把握している管理者が存在しない可能性がある.本論文では, 全学ネットワーク管理者視点で,サブネットワーク管理者と連携を追加で要することなく,検査対象 AP ...

10

古本査定ソフト開発

古本査定ソフト開発

... 2.ホームページ作成手順(イベント登録手順) 3.記事を投稿するページに移動します。 4.ページを編集モードに切り替えます。 ページ上右側「ページを編集」にマウスを合わせ、 表示されるメニューから「このページを編集」をクリッ クします。 ...

23

価値関数によるソフトリアルタイムシステムのスケジューラ自動合成手法(計算機科学の理論とその応用)

価値関数によるソフトリアルタイムシステムのスケジューラ自動合成手法(計算機科学の理論とその応用)

... 衝突回避 衝突回避とは , 2 つ以上プロセス 先に定義した価値要求ように単純なタイミング リソース衝突を , 優先度を適用させることに 制約で実現できる. しかし , リソース競合が発 よって解決するものである . 衝突回避ために , $\backslash >$ 生しており , どのプロセスにリソースを許可する ...

8

サーバ仮想化システムにおけるiStorage活用のポイント

サーバ仮想化システムにおけるiStorage活用のポイント

... さらに、集 約されたサーバに適切なバックアップ措 置を行うことにより、企業 活動にとって 重要な情報を一括保護することができます。 では、仮想化テクノロジ導入は、具体的にはどのように行えば良いでしょうか? 計画性をもって仮想サーバを設置しなければ、かえって IT インフラ複雑性を増大させる ことになりかねません。仮 想 化 されて集 約 されたサーバやデータはどこに格納 ...

14

NTTドコモの「dポイント」が貯まる「dポイント広場」に自社開発のプラットフォームを提供

NTTドコモの「dポイント」が貯まる「dポイント広場」に自社開発のプラットフォームを提供

... GMO ン ー ー GMO 株式会社 代表取締役社長:森 輝幸 以下 GMO 株式会社 NTT 以下 NTT 株式会社 D2C 代表取締役社長:宝珠山 卓志 本 日 2017 年 10 月 25 日 立 上 d ン 貯 ン d ン 広場 い 自社開発 ン 構築・運用 ー 提供い ...

3

AR技術を用いたグリーティングカード作成ソフトの開発

AR技術を用いたグリーティングカード作成ソフトの開発

... ①ユーザ1(作成者)が写真を使ってARを作れる。 ②ユーザ1が作ったARをユーザ2(閲覧者)が端末を使い閲覧できる。 • 変更理由: 1. AR良さを活かせない。(あらゆる角度から見える、音声など) 2. プログラム一つ一つをしっかり理解したい。 ...

55

新製品開発プロジェクトの評価手法

新製品開発プロジェクトの評価手法

... これら3つ手法は、評価手法研究歴史では、決定論的評価法→経済論的評価法→OR 的評 価法と発展してきた。得られる評価精度もほぼこれと同じ順番になっており、OR 的評価法が もっとも高い。しかしながら、現在、実務でもっとも一般的に用いられている評価手法は評点法 (決定論的評価法)であるといわれる(浦川, 1992; 今野, 1993) ...

16

シギ・チドリ類の生息地管理に向けた広域モニタリングデータの活用手法の開発

シギ・チドリ類の生息地管理に向けた広域モニタリングデータの活用手法の開発

... 部が少なく、渡来個体数が少なかった。2008年:南池は水位が高く、干潟はほとんどない。北側 池のみに干潟ができるようになったため、個体数や種数へ影響が出ている。今年はユスリカ やミギワバエ仲間発生が少なく、スジエビようなエビが多く発生していた。2009年:シギ・チ ドリ類がよく利用していた3区埋立地は、浚渫土砂が干潟環境を形成(浚渫土砂投入は2009年6 ...

99

Show all 10000 documents...

関連した話題