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

理論に基づく現象の応用

林地の収益還元価評定に関する理論的及び応用的研究

林地の収益還元価評定に関する理論的及び応用的研究

... 林地の収益還元価評 定 に関す る理論的及び応用的研究 増 とすべ きであり ,「 基準」の言 う様 に「還元利回 り」 を適宜操作 してこれに対応するのは不合理であり課 りで ある。何故なら ,危 険性 が存在 しているため還元利率 を それだけ低めると言 うことは,複 利計算の構造 からして , 還元期間が長ければ長い程幾何級数的に危険 (従 って火 災保険料 )が[r] ...

22

HOKUGA: 世界経済の動学的応用一般均衡モデル-Dynamic GTAP Model-の理論構造

HOKUGA: 世界経済の動学的応用一般均衡モデル-Dynamic GTAP Model-の理論構造

... め 応用一般 衡モデル(Applied General Equilibrium Model)は産業連関表,貿易統計等 データおよび計量経済的手法等により推計された各種パラメータ数値等を用い,会計的定義式, 経済主体最適化行動から導出された行動方程式,および財や生産要素市場 衡式などから理 論的構築された経済一般 ...

74

実は今から 3 年ほど前に バイオメカニクス という 生物の体の使い方をスポーツに応用した生体系力学に出会いました 例えば チーターの足の速さも カエルが高く飛べるのも 鳥が空を飛ぶのもすべて 生体系力学にかかればその原理は証明でき 人間が行う動作に応用できます その理論をテニスに応用したテニス上達

実は今から 3 年ほど前に バイオメカニクス という 生物の体の使い方をスポーツに応用した生体系力学に出会いました 例えば チーターの足の速さも カエルが高く飛べるのも 鳥が空を飛ぶのもすべて 生体系力学にかかればその原理は証明でき 人間が行う動作に応用できます その理論をテニスに応用したテニス上達

... 実は今から3年ほど前「バイオメカニクス」という 生物使い方をスポーツ応用した生体系力学出会いました。 例えば、 チーター速さも、カエルが高く飛べるも、鳥が空を飛ぶもすべて ...

19

PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

... PE-CTT 解法提案を行う.提案方法では,ま ず PE-CTT を多目的重み付き部分 Max-CSP として定式化 を行う.この際,すべて制約は基数制約として記述される. 次に基数制約を SAT ソルバーで扱うため SAT 符号化を 行う.本稿では SAT 符号化法として, Sequential Counter , Totalizer ...

4

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

... k 2 > · · · > 0 なので,この手続きは停止する. p (> 1) 回 SAT ソルバー呼び出し停止した場合, M p−1 が φ WPMS 解である. 図 1 QwMaxSAT 手続きを示す.図中 solve(A) は SAT ソルバー呼び出しを示す.節集合 ...

4

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

... This paper extends the result of [1] to ROBDDs with de- scending variable-order and shows that the ROBDD from a mixed-radix base expanded PB constraint is also of poly- nomial size (for [r] ...

4

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

... 謝辞 本研究一部は科研費 ( 20240003 , 21300054 , 25330085 , 25330262 )助成を受けたものです. 参考文献 [1] Roberto As´ın, Robert Nieuwenhuis, and Albert Oliv- eras. Cardinality Networks: a theoretical and empirical study. ...

1

PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

... This paper describes a SAT solver ZENN 0.1.0, which won the 2nd prize on SAT Competition 2013 (Application, SAT) and 3rd prize on (Application SAT+UNSAT). We evaluate ZENN 0.1.0 using benchmarks of the competition. 1. ...

4

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論,実装,応用 」

... 散制約最適化問題 (distributed constraint optimization problem , 以下 DCOP とする ) は分散協調問題解決において盛ん研究さ れている.その目的は,全体コストを最小とする値割当を 探索することである. ...

4

Title 脳波を記述する積分方程式について ( 関数方程式の定性的理論とその現象解析への応用 ) Author(s) 鈴木, 貴 ; 久保, 明達 Citation 数理解析研究所講究録 (2001), 1216: 1-12 Issue Date URL

Title 脳波を記述する積分方程式について ( 関数方程式の定性的理論とその現象解析への応用 ) Author(s) 鈴木, 貴 ; 久保, 明達 Citation 数理解析研究所講究録 (2001), 1216: 1-12 Issue Date URL

... Riesz 表現定理より、 $\sigma(x)$ に対する仮定下で $\exists^{1}V\in X,$ $\int_{R^{3}}\sigma(x)\nabla V\cdot\nabla\varphi dx=<\varphi,$ $f>$ $(\forall\varphi\in X)$ (7) ...type Elliptic ...

13

荷重の確率過程の組み合わせにおける超過確率の理論解とその応用に関する考察

荷重の確率過程の組み合わせにおける超過確率の理論解とその応用に関する考察

... This paper presents an analytical procedure and solutions of exceedance probability of a threshold being ex- ceeded in a reference period for combinatiens of a specific class of stochast[r] ...

11

弾塑性接合要素のトラス置換による定式化 : 有効強度理論の一応用例

弾塑性接合要素のトラス置換による定式化 : 有効強度理論の一応用例

... elements with clifferent stress strain relations. The yielding condition of the joint element is determined by, two. factors :one takes account of possible combination in the order of th[r] ...

10

れるようになった背景として, 統計理論の社会科学への応用, 特に社会調査における標本理論の応用が, アメリカを中心として急速に広まったことも忘れてはならない さて, このとき採用された方式が現在使われている労働力方式 (labour force approach) であり, 調査時における活動状態

れるようになった背景として, 統計理論の社会科学への応用, 特に社会調査における標本理論の応用が, アメリカを中心として急速に広まったことも忘れてはならない さて, このとき採用された方式が現在使われている労働力方式 (labour force approach) であり, 調査時における活動状態

... 従来レイオフ中者は失業者とするという定義は,アメリカような 先任権制度基づくレイオフ制度が雇用慣行として確立している国を想 定したものであり,使用者都合で一時的仕事を休ませるという制度は あっても,アメリカレイオフとは全く内容異なっている当時西ドイ ...

24

離散ラプラス作用素の反復力学系による蝶の翅紋様の実現とこれに基づく進化モデルの構成 (第7回生物数学の理論とその応用)

離散ラプラス作用素の反復力学系による蝶の翅紋様の実現とこれに基づく進化モデルの構成 (第7回生物数学の理論とその応用)

... $Q$ $’\check{\dot{\lambda}}^{\acute{\triangleleft}}\searrow P_{\wedge}$ . $\cdot\backslash _{b}-\nearrow\backslash$ 以上考察もとシミュレーション解析を行なう。 シミュレーションを実行 するにあたり、 次解析法を基本とする : ...

9

習熟理論の歩行への応用

習熟理論の歩行への応用

... In engi- neering, especially in IE (Industrial Engineering), the concept of Learning Curve 4as applied to many. problems[r] ...

7

2次元の分子集合に基づく光メカニカル機能発現と応用

2次元の分子集合に基づく光メカニカル機能発現と応用

... 21) “インフルエンザ NA および HA と梅エキス抽出物 Mumefural と理論的相互作用解析”石 坪江梨花、Karl N. Kirshner、Nongluk Sriwilaijaroen 、鈴木康夫、常盤広明 3rd Negative Strand Virus-Japan Symposium (沖縄)2014 年 1 月 14 日~16 日(ポスター) 22) ...

22

RIETI - 日本経済の多地域動学的応用一般均衡モデルの開発Forward Lookingの視点に基づく地域経済分析

RIETI - 日本経済の多地域動学的応用一般均衡モデルの開発Forward Lookingの視点に基づく地域経済分析

... ミュレーションと考えることができる。したがって、本論文シミュレーション結果は、 理論モデルとデータとともに、パラメータ想定値も大きく依存する。その意味で、本 論文で示された影響大きさが、実際生じるものと考えてはならない。当然、このよう な数値モデル場合、モデル感応度分析が重要となる。しかし、本論文は、モデルを広 ...

53

米国におけるSTAMP(システム理論に基づく事故モデル)研究の最新の動向

米国におけるSTAMP(システム理論に基づく事故モデル)研究の最新の動向

... 9 b. 自動車製品設計へ活用(信頼設計から安全設計へ) 製品設計においては設計プロセスを新しく作り変えることは容易ではなく、STPA を組み込むという理由で 製品設計プロセスを見直すことは非効率であることから、既存設計プロセス STPA を組み込もうという 取り組みがある。例えば、日産自動車では RFLP ...

18

Ta2O5/TiO2積層構造における抵抗変化現象とその不揮発メモリへの応用

Ta2O5/TiO2積層構造における抵抗変化現象とその不揮発メモリへの応用

... あることを見いだした。さらに構造異なるデバイスにおけるこの関係を比較することによって、・ RESET が TiO 2 部分で生じること、・ Ta 2 O 5 内フィラメントは RESET せず一定抵抗を持つ安定なフィラメント である事を結論している。 第4章では、室温以下4K まで電気伝導測定結果が議論されており、SET ...

4

Show all 10000 documents...

関連した話題