単体テスト設計手法「要素分析」を用いて、実現
![意の上で決定する手法 CC-Case[5] [6] を提案している. また CC-Case は CC とアシュアランスケースを用いてセキュリティ要求分析と保証を実現する手法である. これまでの CC-Case では,CC 認証を伴うセキュリティ要件定義中心を主たる目的として提案してきたが, 本来,](data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACH5BAEAAAAALAAAAAABAAEAAAICRAEAOw==)
意の上で決定する手法 CC-Case[5] [6] を提案している. また CC-Case は CC とアシュアランスケースを用いてセキュリティ要求分析と保証を実現する手法である. これまでの CC-Case では,CC 認証を伴うセキュリティ要件定義中心を主たる目的として提案してきたが, 本来,
... CC をベースにするが，製品（システム）と製品（システ ム）の関係性や運用時の変更要求管理・インシデント管理 を通じた製品（システム）の脆弱性対処においては，CC の応用とは異なるソリューションを想定している．また CC 認証制度が個々の製品のセキュリティ目標（ST: Security Target）中心の評価から、プロテクションプロファイル（PP: Protection ...
8
情報処理学会研究報告 IPSJ SIG Technical Report 調音運動 HMM 音声合成における調音特徴 - 声道パラメータ変換と音源の改良 小野田高幸 桂田浩一 新田恒雄 音声認識と合成を同じ調音運動モデルを用いて実現するシステムの開発を行っている. 調音特徴を用いて HMM を設計す
... 音声認識と合成を同じ調音運動モデルを用いて実現するシステムの開発を行っ ている．調音特徴を用いて HMM を設計することにより，音声認識と合成に共通 な調音運動のワンモデルを実現している．合成では，HMM が生成する調音特徴 ...
6
図 1 提案手法概要 本研究では,R-200 を用いて, 実時間処理を実現し, 視覚障がい者に対して, 骨伝導イヤフォンを通じた音による提示を目標とする. 3. ジャイロセンサの統合これまで [1] はタブレット端末内の加速度センサのみを用いて RGB-D カメラの鉛直方向からの傾きを算出していた.
... サ を 用 い た 歩 行 安 全 領 域 の 検 出 手 法 を 提 案 し た ． 図 1 に 提 案 手 法 概 要 を 示 す ． 本 手 法 で は ， タ ブ レ ッ ト 端 末 に RGB-D カ メ ラ を 装 着 し ， 進 行 方 向 の デ プ ス 画 像 を 取 得 す る ． ま た 同 時 に タ ブ レ ッ ト 端 末 内 の 加 速 度 ...
5
粒子線の"リアルタイム見える化"を実現する新手法－飛跡に沿って発生する制動放射線に着目－
... 代表的なものとして、治療ビームに沿って体内に生成される放射性同位元素 から放出される陽電子の分布を測定し、測定結果から治療ビームの飛跡や到達 名古屋大学大学院医学系研究科（研究科長・高橋雅英）の山本誠一教授、大 学院修士課程の安藤昂輝氏は、量子科学技術研究開発：山口充孝主任研究員、 河地有木プロジェクトリーダー、名古屋陽子線治療センター、早稲田大学と ...
4
生体認証システムにおける人工物を用いた攻撃に対するセキュリティ評価手法の確立に向けて
... 4. 今後金融分野において生体認証システムを活用するうえでの 留意点 （ 1 ） 第三者による評価・認証を得た生体認証システムの登場 3 節において示したように、国際的な研究活動、わが国の産官連携プロジェクト、 生体認証システム関連の国際標準化等が積極的に進められており、セキュリティ評 価手法の確立、および、生体認証システムのセキュリティにかかる第三者による評 ...
36
情報連携を実現するモデルベース手法のためのUML/SysMLについて
... かんたんな自己紹介 • オージス総研について – 大阪ガス株式会社の100％出資の情報子会社 – 主に情報システムの構築、運用サービスを提供 – 1990年代よりオブジェクト指向の普及に力を入れる ...
55
数式処理を用いた設計技術
... モデルベース設計によって，効率化・コスト削 減・高付加価値化を実現していく上でかぎとなるの が，数理制約問題処理技術や最適化技術である。現 在のところ，これらの技術は，数値的な計算を前提 とした各種アルゴリズムに支えられている。しかし， 計算機の飛躍的な性能向上に伴ってこれらの技術の 普及が進むとともに，多くの実用上重要な問題が， ...
8
先進的な設計 検証技術の適用事例報告書 2105 年度版 PART Ⅱ 設計事例 SEC-2015-A A-9 ソニーの電子お薬手帳システム harmo に適用した セキュリティ設計分析手法 1 1. 概要 本編では ソフトウェアの仕様 設計に対するセキュリティ分析技術 ( セキュリ
... 図 15-A-9-10 ノード分解例：【攻撃者】は【情報資産】を【READ】できない 図 15-A-9-10 では、情報資産が存在し得る「場所」に着目して、ノードを分解している。 「場所」の概念は重要である。なぜなら情報資産が存在する場所に応じて、攻撃者の攻撃方 法も異なるし防御する側の防御方法も異なるからだ。たとえばモバイルアプリ内に情報資産 ...
21
分析手法の選択 燃費や車体重量 排気量に応じて減税措置が異なるエコカー減税 グリーン化特例の分析には 車種別データ等を扱うことができる非集計モデルが適切である 分析手法の分類 車体課税における税制グリーン化の分析に係る先行研究の多くは 部分均衡分析の手法が使われている 本分析手法のロジットモデルは
... 環境性能割が導入され、その他の車体課税は平成28年度税制改正大綱が2030年まで継続と仮定。新車販売台数、自動車諸元（車体重量、排気量、燃費、車両価格等）、減税対象車割合、平均走行距離、ガソリ ン価格、排出係数等を用いて、各年の車体課税の税率変更に伴う新車販売構成の変化に伴うCO 2 排出量の増減を推計し、ケース間のCO 2 排出量の差分を各年の新車によるCO 2 ...
7
旅行ブログエントリを用いて分析を行う. 旅行ブログエントリでは 旅行者の実体験や感想が率直に記述されており, これらを分析することは旅行者の観点に基づいた分析であると言える. ソーシャルメディアを用いて分析を行っている研究では, 藤原ら [5] の研究がある. 藤原らは,YouTube, Twitt
... リ を 対 象 に 観 光 分 析 を 行 っ て い る 研 究 が 多 数 存 在 し て い る ． 旅 行 ブ ロ グ エ ン ト リ は ， 作 成 や 読 み 手 と の コ ミ ュ ニ ケ ー シ ョ ン が 容 易 で あ り ， 匿 名 性 も 確 保 さ れ や す い こ と か ら ， 旅 行 や 観 光 の 記 録 や 感 想 ， 意 見 を ...
8
進化的計算手法を用いた建築計画に関する研究
... EMO 手法の一つである多目的進化的アル ゴリズム（MOGA）で生成された建築間取り案が最適化されることを実験的に示 す．また，多様な建築間取り案が生成できるようニッチ手法の EMO への導入の効 果も評価する．この実験結果は，提案した空間生成アルゴリズムと成長ルールが， 空間計画支援システムに応用できることを裏付ける．3 番目の EMO への IEC 手法 ...
133
「鍼灸針」を用いた分析法を応用し、生きたマウスの内因性代謝物（メタボライト）のリアルタイム・モニタリング手法の開発に成功
... 1 を網羅 的に解析する技術「メタボローム解析（メタボロミクス）」が、バイオマーカーの探索や生体の機 能解明に関わる研究等に幅広く応用されるようになってきています。現 在、メタボロームの分 析には主として質量分析計 2 が用いられますが、質量分析計では生体成分をイオン化して測 ...
5
ソフトウェア要求分析から詳細設計までシームレスにつなぐ開発手法
... （図表は外出しにしてよい） 3. 《ｘｘｘの場合》システムは、ｘｘｘを行う。 （条件と、それに伴う振る舞いは代替系列で表現しても良いし、ディシジョンマトリクスで記載しても良い。分岐が複雑な 場合はアクティビティ図やフローチャート、状態遷移表で表現しても良い） ...
24
単体テスト設計のコツ
... http://www.gaio.co.jp/event/event.html 単体テストはどの開発プロジェクトでも実施しますが、明確に実施方法が定まっていません。 そんな開発現場で活用してもらうために単体テストに特化した教育コンテンツを揃えています。 ...
32
要旨 MALDI( マトリックス支援レーザー脱離イオン化 ) 法は 多くがアミノ酸から構成される生体分子の定性分析に用いられてきた さらに近年 定量分析の手法としても着目されてきている しかしながら MALDI 法を用いた定量分析技術が一般に利用されるに至るには 未だ完全には理解されていない MAL
... については言及されていない。その後、柘植と星名は 20 種類のアミノ酸とマトリ ックス剤に CHCA と 2,5-ジヒドロキシ安息香酸（DHB）を用いて、幅広い混合比 について MALDI スペクトルを測定し、プロトン化モデルの検証を行った 7 。その 結果、 3 つのアミノ酸（Arg、His、Lys）は GB から予想されるよりもプロトン化 ...
23
ための手法として主成分分析がどのように使われているか例を示す. これにより, 主成分分析を事象や個人のもつ特性の識別に適応することの正当性を示す. (1) 因子分析法 各種の事物に対するイメージの共通因子を発見する手法として, 因子分析法および因子分析法を用いて行う SD(semantic diff
... ない．インターネットショッピングでの応用を考える場合，テストデータにおい て個々人の配色イメージ感性類似度を計算し，その値が似ている人を探し，その 人が感性評価を行っている他の商品群に対する買い物の際に，その人の評価を参 考にするという流れになる．よって，異なる商品群の集合に対して，感性の類似 ...
7
ASIC設計手法を用いたLSI回路設計に関する研究
... CPU 設計においては、アーキテクチャ設 計から初めて実際の回路として LSI チップ製作まで行う ことが出来た。これらの設計手法は HDL を用いた FPGA 設計では考慮できない ASIC の高度な設計を行うことが ...
7
非線形の屈折による効果により 低い精度の結果となって いる 近似による手法もいくつか提案されており 焦点距 離を調整する手法 [7] や レンズ歪みを用いた近似 [8] 両 者の組み合わせ [9] などの手法がある しかしながら こ れらの近似手法はいずれも精度の問題から エピポーラ幾 何を用いた対
... レーザーと水中ハウジングからなる，プロトタイプを用いて手法を検証した． キーワード：プロジェクタ・カメラシステム，ワンショット復元，水中 3 次元計測 1. はじめに パターン投影によるアクティブ 3 次元計測は，さまざま なアプリケーション，たとえば拡張現実や健康診断，ゲー ムや映画などにおいて広く用いられている．典型的なアク ティブ 3 ...
7
ASIC設計手法を用いたビット幅拡張CPUの設計
... のデータを利用する事によっ て回路論理合成を行う際にある程度の CPU の動作周波数 を予測し、クロック周波数の制約を決めることが出来る。 このクロック制約の決め方は最初に動作周波数を与え論 理合成を行った後，タイミング解析を行い 1 クロックの間 に処理が実行できるかの時間的マージンを調整する。時間 ...
6
算数が苦手な学生に対するリメディアル指導過程の分析 : テキストマイニングを用いて
... 困難を感じていた。その状況を，算数リメディアル教育 を受けることによって克服してきた。このリメディアル の記録は，前報（田北他 2016）で報告した。前報の実 践で第一筆者（田北）は，小学校レベルの算数について は正確に理解できるようになった。しかし，算数の問題 を解くことが出来るようになったからといって，算数を ...
12