DiFX相関器で解析
JAIST Repository: モデル検査技術を利用したプログラム解析器の生成ツール
... 情報処理学会論文誌：プログラミング かど うかを検証する形式的検証法の 1 つであり 2) ，シ ステムの有限状態モデルとそのシステムが満たすべき 仕様として記述された時相論理式を与えられたとき， システムがその仕様を満たしているかど うかを網羅的 に検査する．この方法の最大の特徴は十分な計算資源 さえあれば全自動的に検証が行われるということであ る．高度な数学的な知識などが必要とされないうえ， ...
14
CUIの使い方（後編）：calcコマンド、get_dataやstore_dataの使い方、時系列データのフィルター処理、スペクトル/相関解析方法
... –UDAS上での汎用データ形式である "tplot変数" の中身について理解 し、各自の手持ちのデータから独自の tplot変数 を生成する方法を学 ぶ。 –非常に便利なtplot変数を使った演算(足し算、引き算、掛け算、時間微 分等)について学ぶ。 ...
22
分子科学計算・シミュレーションを用いた自由エネルギー変化の線形表現解析に基づく定量的構造活性相関に関する研究
... LERE-QSAR 解析の結果, 両分子の複合体形成 に伴う全自由エネルギー変化の変動は , 分散相互作用などの結合 enthalpic 変化と適応 entropic 変化の両変化項のバランスによって支配されていること, また, oseltamivir が一連の Set II 化合物のなかで最大の阻害活性を示すのは, ...
168
慢性呼吸器疾患におけるIL-17F及びNrf2の機能解析
... 第三章で著者は、以上を総括した上で、今後の展望として IL-17F の役割を詳細に検討するための in vivo のアプローチの必要性を述べている。また、MAC の感染増悪と NRAMP1 の遺伝子多型との相関 や、加齢による Nrf2 発現低下との関連などの仮説を述べている。 審査の結果の要旨 （批評） ...
3
キャラクタライズと回路解析を用いた演算増幅器の自動設計
... 作成回路数と要求仕様を決定し、次節以降の処理に適応する。要求仕様の決 定は 2 段階に分けて行う。第一段階では回路の最低要項を決定する。最低要項 とは、全ての項目において満たさなければならない最低の値である。最低要項 を全て満たした場合、第 2 段階の評価へと移行する。本研究で使用した最低要 項を表 4.3 に示す。第 2 段階では、アナログ回路設計における性能のトレード ...
79
非平衡定常系における不思議な相関 (偏微分方程式の背後にある確率過程と解の族が示す統計力学的な現象の解析)
... 明な側面を解き明かすことが広く存在する非平衡系の理解に足がかりを与えることになるか もしれない。 この講究録では、 非平衡定常系における不思議な相関について議論したい。 マクロな系が 平衡状態にあるとき、 あるところで何かの摂動を加えてもそれが遠方に伝ゎって系の性質を 大きく変えることはない。 だからこそ、 系の境界の詳細について気にすることなく、 物質の 性質について議論することができた。 ...
6
図形言語処理システムにおける図形エディタと空間解析器の統合
... 4 議論 Construct_script と Finalize_script に加え，非終端記 号が存在している間は，制約解消系を用いて属性間の 関係を指定することにより，ユーザの入力に対する一連 の処理について図形文法を用いて簡潔に記述できるよ うになる．また，認識された図形の意味に応じたイベント のバインディングも容易になる．また，エディタと解析部 が統合されており，インタラクティブに処理が行われるた ...
5
相互相関を考慮した最適なポートフォリオ選択に関する一考察 (ファイナンスの数理解析とその応用)
... 第 1 に，運用ポートフォリオについて， 1 運用年度のリスクをコントロールできなければならな い．IFRS が本格導入されることと相まって，企業年金等のリスク管理は年次ベースで行われるか らである．したがって，これと整合的なポートフォリオ選択が必要とされよう． 第 2 に，企業年金等の運用は中長期にわたって行われるため，その中長期的な目的に合ったリス ...
14
タに Wilcoxon 順位和検定 名義データにカイ二乗検定を行った 帰結の指標 (BRS FIM 運動関連 および総入院日数 ) と rfa 値の関連について まず脳出血群と脳梗塞群のそれぞれで 次に両群の総計で Spearman の順位相関解析を行った いずれの解析においても P < 0.05
... での脳卒中 DTI と帰結に関する研究 の殆どは病型別に行われてきた 1) 。し かし、これら 2 つの病型の臨床症状は 類似するところが大きく（例：上下肢 の片麻痺）、診療の現場では共通した 内容のリハビリテーションが行なわ ...
6
高速度ビデオでの運動解析プログラムの開発 - OpenMP 等を用いた相関計算並列化によるトレース高速化 - 横山直樹 ( 東海大学総合科学技術研究所 ) Development of versatile motion analysis program based on normalized cor
... Fig. 7 Analysis result for rotation of cooling fan @3,800 r.p.m. 3.3 複数の気泡の同時トラッキング 正しく撮影速度を設定することにより、この運動解析プログラムを、一般の AVI ファイルにも適 用可能である。Fig.8 に示すのは、島津製作所の超高速度ビデオシステムより高い空間分解能を持 った、Photron 社製 ...
10
JAIST Repository: 担体構造の多面的定量と多変量解析を基盤とした不均一系触媒の構造性能相関の解明
... 様 式 Ｃ−１９、Ｆ−１９、Ｚ−１９（共通） １．研究開始当初の背景 物 質 の 構 造 性 能 相 関 （ structure-performance relationship, SPR）の解明は機能性材料設計における究極 目標の一つである。不均一系触媒において、 構造とは触媒活性点の構造と触媒担体の構 造の二つを指し、両者は協奏的あるいは拮抗 的に触媒性能に影響することが知られてい る。これまで不均一系触媒に関する ...
7
主観的ウェルビーイングの分析と構造化 －因子分析と偏相関関係分析を用いた心理的要因間の関係解析－
... 以上のように，主観的ウェルビーイングには様々な心理的 要因が相互に影響を与えている事を本研究の分析結果で示し た．ただし，本研究はアンケートにより一時点の心理状態を 抽出した横断研究であり，因果関係の議論は十分に行えない． そのため，本研究で得られた要因間の関係性の構造に基づき， 要因間の直接的・間接的な関係をさらに詳細に明らかにして いくことは今後の課題である．加えて，調査時期は ...
11
7 重症度の評価：相関係数，偏相関係数，内的整合性
... これを選択実行すると産後 1 ヵ月の EPDS 得点は妊娠後期の不安と r = 0.348 (p < .001) ，妊娠後期の抑うつ と r = .273 (p < .001) の有意の相関を示した。 ここから分かるように，2 変数（例えば産後 1 ヵ月の抑うつと妊娠後期の抑うつ）の関係を見るのに，一方を ...
47
7 重症度の評価：相関係数，偏相関係数，内的整合性
... これを選択実行すると産後 1 ヵ月の EPDS 得点は妊娠後期の不安と r = 0.348 (p < .001) ，妊娠後期の抑うつ と r = .273 (p < .001) の有意の相関を示した。 ここから分かるように，2 変数（例えば産後 1 ヵ月の抑うつと妊娠後期の抑うつ）の関係を見るのに，一方を ...
46
目次 T2K 実験 ニュートリノ振動解析 外挿 ( 前置検出器 後置検出器 ) の 手法 Toy MCによるデモンストレーション まとめ 2
... Fractional change in flux • フラックスが複数の変数に依存(例例:パイオンのp-‐‑‒θ) • 変数間の相関関係に従って複数の変数を変化させたフラックスサ ンプルを⼤大量量に作成. それらを⽤用いてcovarianceを計算 ...
17
黒糖焼酎及びラム酒における揮発性成分間の相関解析
... （1）アルデヒド類・アルコール類 アセトアルデヒド，2- ノナノン，n- プロピルアル コール，イソアミルアルコール及びβ- フェネチルア ルコールは，全体として活性酢酸アミル（2-Methylbu- tyl acetate），酢酸ヘキシル，酪酸エチル，カプロン 酸エステル，カプリル酸エステル，カプリン酸エステ ル，ノナン酸エチル，ペンタデカン酸エチル，ラウリ ン酸エチル，ミリスチン酸エチル，パルミチン酸エチ ...
42
JAIST Repository: サロゲート法に基づく持続発声母音の基本周期揺らぎの高次相関解析
... 4. 1 音声合成法 現在主流となっている音声合成法には，線形予測法 （ LPC ）に代表される分析合成型と音声波形をそのま ま符号圧縮する波形符号化型の二つのタイプが存在す る [20] ．一般に，符号量を減少させるのには，分析合 成型が有効であるとされ，通信等に幅広く応用されて いるが，音質面では符号量の多い波形符号化型の方が 優れていると考えられている．本研究では，基本周期 ...
10
自己相関法による屋久島沖合漁場のゴマサバ漁獲量変動の周期解析
... tapeinocephalus BLEEKER, in the Fishing Ground off The Yaku Island by Use of Auto-correlation Coefficient. URL http://hdl.handle.net/10232/13709.[r] ...
11
空間相関を考慮した ベイズ統計による PM2.5濃度解析
... まとめ • PM 2.5 濃度を、＜広域的な特徴＞・＜地域的な特 徴＞・＜局所的な特徴＞に分けて評価。 • ＜広域的な影響＞は 夏場や春 に高くなった。 • ＜地域的な特徴＞は 名古屋港近辺で高くなった 。 ...
10
Chameleon-Effectを用いた量子相関のシミュレーション (情報科学としての函数解析とその周辺)
... となる. ここで , $a= \frac{1}{3}\pi,$ $b= \frac{2}{3}\pi,$ $c=\pi$ とすると Bell の不等式は $|\langle S_{a}S_{b}\rangle-\langle S_{a}S_{c}\rangle|\geq 1-\langle S_{b}S_{c}\rangle$ (2.7) となる . これより, 量子論において Be 垣の不等式は成り立たないことになる ...
9