検証手法の
要求仕様の漏れ・抜け検証の手法について
... 2.1 仕様のモレ・ヌケに関する例題 タイマー機能付き電気ポットの要求仕様書 抜粋）タイマー機能例 要求番号 要求事項 １ タイマボタンを押すことで、時間を分で設定し、タイマを起動できる。 ...
28
情報処理学会研究報告 IPSJ SIG Technical Report Vol.2014-CSEC-67 No /12/5 秘密分散法における検証可能な分散情報の更新手法 神宮武志 1 古田英之 1 岩村惠市 1 本稿では, 秘密分散法の分散情報の更新手法について考える. 著者らは [
... 所有者が行うことは効率的でなく，システム側で行うこと は安全性の観点から問題がある．そこで，秘密情報を復元 せずに分散情報を更新する方法としてプロアクティブ秘密 分散法が提案されている [2]．プロアクティブ秘密分散法 は，秘密情報の安全性を一定に保つために，分散情報を定 期的に更新するものである． − 1次方程式をすべてのサ ーバが生成し，それをお互いにプロードキャストし，自身 ...
6
の検証作業を 2006 年までに完了した. 検証作業を実行できたことにより, この検証要求には現実的な手法が伴っており, 単なる理想論ではないことを確認することができたが, 要求の意図や手法について検証作業者に正しく理解させるため, 実際には, 細かな打合せや解説書が必要であった 年以降
... きる半面，RTOS のように，ある特定の目的をもったソフ トウェアに適用するには，情報が過多であったり抽象的 であったりした．そこで，アプリケーションとは異なる “RTOS” というソフトウェアの機能や使い方に着目して， これらの技術標準から，RTOS の特徴に合う検証要求と テスト技法を抽出し，具体化した．さらに，過去に宇宙 ...
7
階層クラスタリング手法を用いたコモディティ・フロー法における配分比率の安定性に対する産業連関表の行部門統合に係る影響の検証
... ている．階層クラスタリングにおいては距離の取り方が設計の重要な要素であり，ウォード法や，重心法などいくつか の代表的な手法が存在する．本稿では，対象のクラスタが統合された行部門を意味し，それぞれに時系列値を持つとい う特殊性から距離の取り方においても，後に説明される独自の方法をとっている．通常階層クラスタリングでは，何ら ...
26
2005年福岡県西方沖の地震の観測記録に基づく強震動評価手法の検証について （平成20年4月11日公表）
... 「中間報告」において計算波形で見られた周期 0.5 秒～1 秒のスペクトルの落ち込 みが指摘され、ここでは、統計的グリーン関数法の要素断層の大きさを変えること で対処することとした。 統計的グリーン関数法では、要素断層に用いる地震と本震の規模が大きく異なる 場合には、特定の周期に落ち込みが出ることが指摘されている。「レシピ」におい ...
79
非線形最小二乗法を用いた単板積層材エレメントの 強度分布推定手法の開発と有効性の検証 Development and Validation for the Estimation of the Element Strength Distribution of Laminated Veneer Lumb
... つのコンピュータープログラムから構成された。最初 のプログラムは、ラミナをセクション(長さ 15cm)に分割し、各セクションに比重を割り当 て、節あるいは FJ の有無はランダムとした。各セクションのヤング係数と引張強度につ いては、回帰式を用いて発生させた。2 番目のプログラムは FEM により集成材の最大曲げ ...
130
Ⅰ．市場リスクの計測手法
... 例えば、 経営体力の十分性を検証 することを目的とする ならば、通常の市場性資産と、流動化の難しい政策株式や 仕組債を一緒にして短期（３ヵ月など）の保有期間で、相関 を考慮したVaRを計測すると、リスクを過少評価する。 ...
74
1. 取り組みの経緯と歴史 1)JEMAにおける取り組み-その狙い 2) 業界共通のLCA 評価手法 (LCI 分析手法 ) 確立 3) 取り組みの歴史 -LCA 手法確立に向けて 1
... 算出インベントリは、 CO 2 、 SOx、NOx、BOD、COD、SS、全リン、全窒素とした （全ライフサイクルでの算出は CO 2 のみ） ● 廃棄リサイクル段階について、本格稼動している家電リサイクルプラントにおける 実測値によるデータ収集と本格稼動前の家電リサイクル実証プラントでのデータ との比較・検証を実施 ...
34
( 補足資料 ) 科学的検証と社会的検証に関する考察 立川委員提出資料 社会的検証が果たしている役割 科学的検証と社会的検証 : 車の両輪 不分別 表示を廃止できるか? IP ハンドリングとトレーサビリティの相違 日本の Non-GMO IP ハンドリングと EU の GMO トレーサビリティとの相
... 通関時の手続きとの関連 • 通関においては、各省の法律に照らして「確認」を行い、税 関が輸入を「許可」する仕組みとなっている。 • これまで GM表示は、食品衛生法の規定も受けていたこと から、食品衛生法上の確認のため、 GM、非GM、不分別の いずれかをチェックする欄が存在していた。 ...
10
目次 1. 現場検証結果の公表について 1 2. 公募の概要 公募技術 公募期間 1 3. 公募の結果 応募数 現場検証数 現場検証技術 2 4. 現場検証 宮ケ瀬ダム北岸林道トンネル 施工技術総合研究所模擬トンネル
... 14 / 28 今年度、現場検証によって実用検証技術の長所および短所が明確となり、現場への試行 的導入および今後の開発の方向性について部会として評価を行いました。長所としては、 現行手法による点検作業で必要となる車線規制時間が短縮される可能性があること、なら ...
30
はじめに 今回お話する内容は筆者が普段検証環境にて 使用してる設定手法の共有です 実施前に検証機などで十分確認し 稼働中の実機に投入する際には必ず自身で確認する様にして下さい Cisco Confidential 2
... § 今回お話する内容は筆者が普段検証環境にて 、 使用してる設定手法の共 有です 。 § 実施前に検証機などで十分確認し 、 稼働中の実機に投入する際には必ず 自身で確認する様にして下さい 。 ...
26
目次 1. 検証目的及び概要...1 1) 検証目的...1 2) 検証概要 検証環境詳細 検証アプリケーション詳細 検証方法 検証結果 考察...9
... Spark のような分散並列処理を実現するフレームワークを活用し大きくパフォーマンス改善を 実現した事例が近年多く確認されます。これらはそれぞれ Java、Scala で開発され JVM アプリケーシ ョンを対象としているため、COBOL とは無縁と思われがちです。しかし、Micro Focus は COBOL を JVM 言語の１つとして扱うことを可能とする COBOL for JVM ...
11
ASIC設計手法を用いた集積回路設計及びLSIテスタでの動作検証
... DPNT のほ か，入力信号として NUM0～3 までの合計 5 つ，出力は 小数点を表す SEGDP の他，7 本のセグメントへの信号と して合計 8 つが使用されている。それぞれの入力信号 （ DPNT，NUM3，NUM2，NUM1，NUM0）印加され た時、出力信号パターン（ SEGDP，SEGA，SEGB，SEGC， ...
5
R. A. Fisher以後の判別分析の新理論 (1) : 遺伝子解析の新手法2（LINGO Program3）の検証
... 5.2 Program3Lの判別結果 表19は，Method2をProgram3Lで判別した結果である。図8でH-SVMとSVM4は判別係数 が0になるものがなかったので，小ループで11回繰り返し判別を行ったが全係数が0でなか った。改定LP-OLDFは，58個のSMが得られ，残り867個の遺伝子のMNMが0でないことに ...
42
画像類似度測定の初歩的な手法の検証
... A.画素値の平均を用いる手法 付録より、もっとも似ている画像は f04.bmp、もっとも似ていない画像は s01.bmp である。 具体的な平均値は以下の通りである。これらの値を用いて、類似度を計算したい一方の画 像の R,G,B の平均値を(1)式の A R , A G , A B ...
19
グリーン購入品の表示の信頼性確保に関する調査手法の検証
... 保ガイドライン」という )を発行した。当社は、このガイドラインに付属する古紙配合品調査手法及び再生プラス チック配合品調査手法の作成に、検証実施機関として参加した。 そこで、信頼性確保ガイドラインの概要を示し、更にポリエチレンテレフタレート (PET)繊維に関する再生プ ...
5
国語科の読みにおける話し合い活動に，アクションラーニングの手法を取り入れる有効性に関する検証-香川大学学術情報リポジトリ
... は発言回数と言えるのではないか。Ｂは，最初 の二人組ではＡと質疑応答を行ったが，その後 発言はほとんど行わなかった。一方Ｃはパネ ラーにも選ばれ，授業中における発言回数は多 かった。ＣよりＢは発言回数は少なかったが， 自己の中で「自分の考え」「他者の考え」「教材」 との対話を繰り返していたのではないかと考え ...
14
通級による指導における児童の自立活動 ― 応用行動分析の手法を使用しての効果の検証 ―
... 示した。縦軸は行動の回数を示す。 【結果】 工夫を導入後、算数の授業中、分からない問題に出 合ったときに、 「わー」と言う行動は減り、HELP札を 静かに提示するという適切な行動が、維持できるよう になった。児童 A と振り返りをしたところ、 「わー」 と言う回数が減り、 「自信が付いた」と話していた。 しかし、算数学習の困難が減ったわけではなく、今後 も児童 A ...
2
ＳＴＡＰ現象の検証結果
... する細胞の検出は出来ず、 Oct3/4-GFP 遺伝子の発現に由来する特異的蛍光を発す る細胞は存在したとしてもごく少数である事が示唆された。また、脾臓由来の弱 酸性化処理後培養した細胞について、血球系細胞の分化マーカーCD45 と多能性マ ーカーE-cadherin の発現を検討したが、生存細胞は CD45 陽性／E-cadherin 陰性 ...
5
VaRの計測と検証
... 乱数を利用して、繰り返しリスクファクターの予想値を生成する。 上記リスクファクターの予想値に対応した当該資産・負債の現在 価値をシミュレーションにより算出する。 シミュレーションで得られた現在価値を降順に並べて、信頼水準 に相当するパーセンタイル値からＶａＲを求める。 ...
84