工長の計算や安定計算も可能です
道路土工擁壁工指針 (H24) に準拠 重力式擁壁の安定計算 ( 盛土土圧対応 ) 正規版 Ver 基本データの入力 2 地形データの入力 3 計算実行 Ver /01/18 Civil Tech 洋洋 本ソフトの概要 機能 道路土工 擁壁工指針 ( 平成 24 年度
... ・「道路土工・擁壁工指針(平成24年度版)」に準拠して、重力式擁壁の安定計算を行ないます。 ・切土部擁壁には対応していません。 (背面土が盛土等の単一な地盤の場合には適用可能) メニュー画面(当画面)で、①→②→③の流れに沿って作業を進めて下さい。 ...
13
安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
... トとよび, 不完全リストを用いることを許した問題 を本稿では $\mathrm{S}\mathrm{M}\mathrm{I}(\mathrm{S}\mathrm{t}\mathrm{a}\mathrm{b}\mathrm{l}\mathrm{e}$ Marriage with Incomplete lists) と表記する . 不完全リストを用いた場合にも , blocking pair の定義は拡張される ...
6
得意先登録 得意先 ( 請求先 ) の住所や回収サイト 消費税の計算方法等を登録します テキストデータ (csv 形式 ) を用いた一括登録も可能です 請求情報 得意先 ( 請求先 ) の締日や 消費税の計算に関する設定等を登録 管理情報 自社側の担当者や分類等 補助的な内容を登録 宛先 同じ得意先
... データ移行（コンバージョン）サービス (有償) 他社製品からのご移行の際、得意先・仕入先・商品マスタ等を、取引上手くん 9 で使用できる形式に変換いたします。 ※他社製品のマスタ・データをテキスト形式やエクセル等に出力したデータファイルを、ご用意していただく必要がございます。 ※料金につきましては、データファイルをお預かりの上、お見積をさせていただきます。 ...
12
木ネットワークでヒープ順序を実現する自己安定プロトコル (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
... 公開鍵暗号方式の多くは, 有限体上の乗法群における素因数分解および離散対数問題の計算困難性に基づいている . 素因数分解と離散対数問題ともに効率的なアルゴリズムを用 $\mathrm{A}\mathrm{a}$ , さまざまなプロジエクトで数値実験が行われ成果を 挙げている . 離散対数問題は位数が大きくなると計算量が多くなり, ...
6
自己相似タイル貼り構成の計算例 (数学解析の計算機上での理論的展開とその遂行可能性)
... 自己相似タイル貼りの拡張定数について次の結果が知られている. 定理 1. (Kenyon[l2J) 平面の自己相似タイル flfi りの拡張定数は complex Perron number となる . また任意の complex Perron number に対して, それを拡張定 数とする白己相似タイル貼りが存在する . ...
12
Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)
... (垣) の固有値 $\lambda$ の実部の符号で判定することができる. すなわち, $\lambda$ の実部が正ならば流れ 関数 $\prime l’$ は減衰するため安定 , 負ならば不安定になる ...(11) の固有値 $\lambda$ の実部が正から負に反転する もっとも小さい $R$ を臨界 Reynolds 数 ...
11
スコーレムの計算可能性概念に関する仮説
... スコーレムは、ヒルベルトの提案を否定するための代替案として、さらに厳しい 数学の明晰性の基準を提案したかったのではないか。特に、直観的な計算可能性 概念に対応する形式的概念を、より小さな関数のクラスによって表現されるもの として提案したかったのではないか。もしそうであるならば、lower elementary ...
6
到達可能性判定問題の計算量について(縮約版) (アルゴリズムと計算の理論)
... は帰納段階のパラメタを表す正整数として用いていることに も注意されたい . $:-_{\mathrm{A}}\delta_{:}^{-};_{\_{\mathrm{X}}.\mathrm{Y}^{=}}=.\cdot.=\backslash ...
8
BDDによる計算代数・計算幾何の不変量計算 (アルゴリズムと計算の理論)
... この安定集合としての論理式は負 $2\mathrm{C}\mathrm{N}\mathrm{F}$ 式となるので, 一般の CNF 式の場合よりもさらに効率のよ り処理が可能であり, これらのことは [6] で議論されている . $X^{-}(A, b)$ の BDD は , 対応するグラフ で [6] ...
7
安定的捻れ理論の一般化 (代数系および計算機科学基礎)
... 安定的捻れ理論の一般化 函館工業高等専門学校一般科目理数系竹花靖彦 (Yasuhiko Takehana) General Education Hakodate National College of Technology ここでは $R$ は単位元を持つ結合的環とする． Mod- $R$ で右 $R$ - 加群全体を表 し，特に断らない限り加群はユニタリーな $R$ - 加群を表すことにする． Mod- ...
10
3. 明細の金額計算に % 計算が可能 明細の金額計算時に 単位に % を使用したとき 金額 = 数量 単価 100 の % (1/100) で計算します 例 : 労務費の15.591% を 法定福利費 として計算し 明細に計上する 数量 単位 % 単価 1, 058, 000( 労務
... 「２．再計算する」は、明細にコードを入力して呼び出した時と、「再計算」処理を実行したときのみ単価 を計算しなおします。 「３．自動計算」は、一度入力された計算式の行の単価は、その対象の行の金額が変更された時、または行 ...
9
1. はじめに 本計算例は 以下の点に重点をおいて作成した一例である 本例は計算の方針や方法を画一化するものではなく 個々の建物の特性や 設計者の設計方針によっては 本例よりもより最良な設計方法により設計することも考えられ そのような設計方針を示せて計算が可能な設計者にあっては 本設計例に縛られるこ
... 5. 応力解析用に、柱スパンは 1 階の柱芯、階高は各階の大ばり・基礎ばりのはり芯とする。 6. 外力分布は Ai 分布に基づく外力分布とする。 7. 構造部材は、柱、梁、床、基礎、袖壁，垂れ壁、腰壁、方立壁とする。非構造部材は、架構 外の壁とし、これらは剛性のみ評価し、長期荷重、地震荷重には抵抗しないものとする。なお、 ...
43
Runge-Kutta 法の安定性解析と線形システム論(数値計算アルゴリズムの研究)
... $P$ 安定性を調べるのは難しいように思 ...22 の 条件の変形を行なう . 検証が可能な $P$ 安定性の判定条件を導くために , $\mathrm{R}\mathrm{K}$ 法とそ の自然連続拡張に関して , 次の条件を考える ...
8
日本原子力学会計算科学技術部会ニュースレター第 28 号 2017 年 8 月 1. 巻頭言 年度計算科学技術部会部会賞贈賞報告 2017 年度部会長巽雅洋 1 表彰小委員会委員長西田明美 年春の年会計算科学技術部会全体会議開催報告 年度計算
... する場合、やはり液体ナトリウムの高い電気伝導率に起因する非線形効果が顕在化する。 これらの電磁流量計と電磁ポンプに顕在化する非線形効果は電磁場と流体場のカップリングに 起因して起きる現象であり、これを定量的に理解するためにはコンピュータによる数値解析、すな わち電磁流体解析が必要である。特に電磁ポンプの場合、電磁場と流体場がカップリングして起き ...
44
最長共通部分配列計算における run 長の対数時間寄与 (計算機科学とアルゴリズムの数理的基礎とその応用)
... $S_{a}$ の任意の 内部頂点に対して，それがもつ二つの子が再帰的に 有効であり，かつ，それらの子の最大値を自身がも つとき，その頂点は有効であると定義する．したがっ て，有効である任意の頂点は，子孫であるすべての 葉における最大値をもつ．無効な頂点は，もはや有効 ...
8
連結文字列の圧縮長について (アルゴリズムと計算理論の新展開)
... $y$ の情報量という考え方に基づいて提案され たものである．この NID を考える際問題となるの が，Kolmogorov Complexity が計算不可能という点 である．そこで，Kolmogorov Complexity を定義す る究極の圧縮アルゴリズムを，現実に使われている ...
4
決定可能な高階単一化問題に関する研究 (アルゴリズムと計算の理論)
... 1. 各 $d\in \mathrm{I}\mathrm{C}_{L}\cup \mathrm{I}\mathrm{V}_{Tr}\cup \mathrm{P}\mathrm{M}_{L}$ は $L^{*}$ 項である . 2. $d\in \mathrm{F}\mathrm{C}_{L}\cup \mathrm{F}\mathrm{V}_{L}$ が引数 $n\geq 1$ をもち, $t_{1},$ $\cdots$ , ...
8
$O(\log n)$長の単調単項式の負例学習について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
... Kintala-Fischer [4] は NP 機械の非決定性ステッ プの回数を Polylog $(n)$ に制限することにより, $\beta-$ 階層とよばれる計算量のクラスの階層を用意した . $\overline{i\mathrm{E}}\Leftrightarrow 3\beta_{k}k$ 可ある多項式時間計算可能な 2 項 ...
6
落差工の設計計算 Ver.3 Operation Guidance 操作ガイダンス
... 本製品の入力データ「検討条件」画面における河道条件が厳しい（流量が大きく、勾配が急）ため、「跳水開始水深h1b＞ 限界水深hc」と算出されていないかを確認して下さい。 このような条件下では、護床工A区間長の算定式を適用した際、L1（落下後から跳水発生までの射流で流下する区間）が 大きな負値となり、結果として区間長が負となる場合があります。 ...
28
計算工学講演会論文集 Vol.1(1996年5月） 計算工学会
... Fig.18 Situation of respiratory detection experiment Fig.19 Experimental results of respiratory detection experiment ノイズ除去を経て得られたデータを Fig.19 に示す．呼吸 時には，顕著に周期のある 3[mVpp]の波形が観測できる ...
7