理論に基づく現象の応用
林地の収益還元価評定に関する理論的及び応用的研究
... 林地の収益還元価評 定 に関す る理論的及び応用的研究 増 とすべ きであり ,「 基準」の言 う様 に「還元利回 り」 を適宜操作 してこれに対応するのは不合理であり課 りで ある。何故なら ,危 険性 が存在 しているため還元利率 を それだけ低めると言 うことは,複 利計算の構造 からして , 還元期間が長ければ長い程幾何級数的に危険 (従 って火 災保険料 )が[r] ...
22
HOKUGA: 世界経済の動学的応用一般均衡モデル-Dynamic GTAP Model-の理論構造
... め に 応用一般 衡モデル（Applied General Equilibrium Model）は産業連関表，貿易統計等の データおよび計量経済的手法等により推計された各種パラメータの数値等を用い，会計的定義式， 経済主体の最適化行動から導出された行動方程式，および財や生産要素の市場 衡式などから理 論的に構築された経済の一般 ...
74
実は今から 3 年ほど前に バイオメカニクス という 生物の体の使い方をスポーツに応用した生体系力学に出会いました 例えば チーターの足の速さも カエルが高く飛べるのも 鳥が空を飛ぶのもすべて 生体系力学にかかればその原理は証明でき 人間が行う動作に応用できます その理論をテニスに応用したテニス上達
... 実は今から３年ほど前に「バイオメカニクス」という 生物の体の使い方をスポーツに応用した生体系力学に出会いました。 例えば、 チーターの足の速さも、カエルが高く飛べるのも、鳥が空を飛ぶのもすべて ...
19
PDFファイル 1D5OS11b オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... PE-CTT の解法の提案を行う．提案方法では，ま ず PE-CTT を多目的重み付き部分 Max-CSP として定式化 を行う．この際，すべての制約は基数制約として記述される． 次に基数制約を SAT ソルバーで扱うために SAT 符号化を 行う．本稿では SAT 符号化法として， Sequential Counter ， Totalizer ...
4
PDFファイル 1D4OS11a オーガナイズドセッション「OS11 SAT技術の理論，実装，応用 」
... k 2 > · · · > 0 なので，この手続きは停止する． p (> 1) 回の SAT ソルバーの呼び出しの後に停止した場合， M p−1 が φ の WPMS 解である． 図 1 に QwMaxSAT の手続きを示す．図中の solve(A) は SAT ソルバーの呼び出しを示す．節集合 ...
4
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技術の理論，実装，応用 」
... 謝辞 本研究の一部は科研費 （ 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技術の理論，実装，応用 」
... 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技術の理論，実装，応用 」
... 散制約最適化問題 (distributed constraint optimization problem ， 以下 DCOP とする ) は分散協調問題解決において盛んに研究さ れている．その目的は，全体のコストを最小とする値の割当を 探索することである． ...
4
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
Vol.51 , No.1(2002)072上野 康弘「世親の pakaja 理論批判-一因二果の応用-」
... VSC : Commentary of Vaisesikasutra, ed.[r] ...
3
れるようになった背景として, 統計理論の社会科学への応用, 特に社会調査における標本理論の応用が, アメリカを中心として急速に広まったことも忘れてはならない さて, このとき採用された方式が現在使われている労働力方式 (labour force approach) であり, 調査時における活動状態
... 従来のレイオフ中の者は失業者とするという定義は，アメリカのような 先任権制度に基づくレイオフ制度が雇用慣行として確立している国を想 定したものであり，使用者の都合で一時的に仕事を休ませるという制度は あっても，アメリカのレイオフとは全く内容の異なっている当時の西ドイ ...
24
離散ラプラス作用素の反復力学系による蝶の翅紋様の実現とこれに基づく進化モデルの構成 (第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
２次元の分子集合に基づく光メカニカル機能発現と応用
... 21) “インフルエンザ NA および HA と梅エキス抽出物 Mumefural との理論的相互作用解析”石 坪江梨花、Karl N. Kirshner、Nongluk Sriwilaijaroen 、鈴木康夫、常盤広明 3rd Negative Strand Virus-Japan Symposium （沖縄）2014 年 1 月 14 日～16 日（ポスター） 22) ...
22
RIETI - 日本経済の多地域動学的応用一般均衡モデルの開発Forward Lookingの視点に基づく地域経済分析
... ミュレーションと考えることができる。したがって、本論文のシミュレーション結果は、 理論モデルとデータとともに、パラメータの想定値にも大きく依存する。その意味で、本 論文で示された影響の大きさが、実際に生じるものと考えてはならない。当然、このよう な数値モデルの場合、モデルの感応度分析が重要となる。しかし、本論文は、モデルを広 ...
53
米国におけるSTAMP（システム理論に基づく事故モデル）研究の最新の動向
... 9 b. 自動車の製品設計への活用（信頼設計から安全設計へ） 製品設計においては設計プロセスを新しく作り変えることは容易ではなく、STPA を組み込むという理由で 製品設計プロセスを見直すことは非効率であることから、既存の設計プロセスに STPA を組み込もうという 取り組みがある。例えば、日産自動車では RFLP ...
18
Ta2O5/TiO2積層構造における抵抗変化現象とその不揮発メモリへの応用
... あることを見いだした。さらに構造の異なるデバイスにおけるこの関係を比較することによって、・ RESET が TiO 2 部分で生じること、・ Ta 2 O 5 内のフィラメントは RESET せず一定の抵抗を持つ安定なフィラメント である事を結論している。 第４章では、室温以下４K までの電気伝導測定の結果が議論されており、SET ...
4