数式処理と数値計算の連携
1 研究実施の概要 さまざまな ものづくり において シミュレーション技術は設計 製造の効率化 高品質化 高付加価値化実現に不可欠な技術です 本研究では 計算機パワーをフルに活用して効率的に高品質な処理を実現しうる技術の確立を目的として 数値数式ハイブリッド計算に基づくロバスト最適化プラットフォーム
... 数値・数式ハイブリッド最適化のアルゴリズムの開発を行い、その成果を制御系設計・ 各種システムの解析設計への適用を通じて有効性を示してきました。実際、現在のものづ くりの現場では、システマティックでより精密な設計が柔軟にできる環境が強く望まれて ...
59
数式処理を用いた設計技術
... 数値計算に基づく設計では，設計パラメタを変え て数値シミュレーションを繰り返して，所望のパラ メタ値を求めるため，パラメタの選択などは，設計 者の知識や経験に依存することになる。また，設計 品質を向上させるためには通常，多くのシミュレー ションの繰り返しが必要となるが，開発や製品化の ...
8
電子化診療記録の計算機処理における特徴と課題に関する研究 : e-phenotyping技術確立に向けて
... こ の フ レ ー ム ワ ー ク に annotation 結 果 の 症 例 数 を 適 用 し た 計 算 結 果 か ら 、 e- phenotyping 研究において、目標精度が感度または特異度 95%以下、または陽性的中率 80% 以下の場合には病名記載と検体検査値の診断基準を正しく識別するための技術開発を行う ...
2
Microsoft Word - 03-数値計算の基礎.docx
... ３．非線型方程式の反復解法 非線型方程式の解は直接求めることが出来ない。また，元数の大きい連立一次方程式を 直接法で解くと時間がかかりすぎることがある。このような場合には，計算を繰り返し て解を十分精度の良いものに近づけていく方法が用いられる。このような方法は反復法 と呼ばれる。ここでは，２つの代表的な方法を採り上げる。 ...
17
数値計算ライブラリの使用方法 「実習編」
... 基本データは２次元配列として、プロセスグリッド上に分散配置 ブロックサイズ (NB)を基本単位として、大きな行列の対応箇所のみ保有 FORTRANのC-Major方式に則って、同一列のブロックは１次元目が連続メモリ アクセスとなるようにメモリ上に格納される ...
31
数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
... 数式処理は，計算機上で代数的な記号演算を行い入力された式を式のまま変形し，計算機代数とも呼ばれ る．多くの計算では浮動小数ではなく任意多倍長の整数または有理数を用い，誤差のない結果を返す．例え ...
11
パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
... $QE$ を用いて決定変数 $x_{1}$ を消去すると，以下のような論理式を得る． $\psi_{Feasible}(\theta, y)\equiv y^{2}+2\theta y+2\theta^{2}\leq 1\wedge y\leq\theta\wedge 0\leq\theta\leq 1$ 図 1 は $\psi_{Feasible}$ ...
15
ビ Ⅱ5-2 (1-3) セル内容の連結 数式を書く際に +, -, *, / を使うと数値を使った通常の四則計算をしますが & を使うと複数の値の連結をすることができます ( 例 ) A1 に 10 A2 に 20 B1 に あいう B2 に かきく と入っているとき 数式表示結果 1 = A1
... ［ページレイアウト］タブ＞［テーマ］グループ＞「フォント」でフォントを変更すると、 このブック全体（他のシートも含めて）のフォントが変更されてしまうので注意する。 手順④⑤：手順④の塗りつぶしの色と手順⑤の塗りつぶしの色は、違うものにする。 手順⑧： ...
9
ランダムウォークの境界条件・偏微分方程式の数値計算
... R の問題はありません . 2018-05-29 火 に最終的に確定します . (0) 日本語の説明 (1) ランダムウォークの座標の初期条件と漸化式 , (2) 確率 p(x, t) の初期条件と漸化式 , (3) マルコフ連鎖の推移図と初期分布 , (4) マル ...
38
カーネルベンチマークコード 開発の目的 エクサスケール規模のシミュレーションの核となる数値計算アルゴリズムの中で 特に重要なものについて 数値計算ライブラリ等を用いてそのコストを推定するためにカーネルベンチマークを作成し 評価に使用する 対象計算アルゴリズム 固有値計算 ( 実数密行列 標準固有値計
... EigenExaについて • 理化学研究所ホームページ 2013年12月5日 60 秒でわかるプレスリリース 」より • 「京」を使い世界最高速の固有値計算に成功 • 行列の固有値計算では行列を簡単な形式（形状）に変換し、それを中間形式と して取り扱います。理研の研究チームは、帯行列（ゼロでない要素が対角線上 ...
26
数式処理システムMathematicaを用いた高校生による数学研究 II (数学ソフトウェアとその効果的教育利用に関する研究)
... Queen 問題のような本格的な数学研究だけではなく,生徒のアイディアを活かした研究 やミニ研究も行なっており,今回はその中の1つであるナイトツアーについて紹介する. ナイトツアーはチェスのナイトを動かしてボードの全てのマスを埋め尽くすことが出来 るかというゲームであり,今は全てのマスを埋め尽くすためにはどのような経路を辿れ ...
11
CCS HPCサマーセミナー 並列数値計算アルゴリズム
... 考察（1/2） • FFTE 4.1に自動チューニングを適用することにより性 能が向上していることが分かる． • これは，FFTE 4.1において固定されていた全対全通 信方式およびブロックサイズが，自動チューニングによ り最適化されたことが理由と考えられる． ...
51
CCS HPCサマーセミナー 並列数値計算アルゴリズム
... 考察（1/2） • FFTE 4.1に自動チューニングを適用することにより性 能が向上していることが分かる． • これは，FFTE 4.1において固定されていた全対全通 信方式およびブロックサイズが，自動チューニングによ り最適化されたことが理由と考えられる． ...
51
2011 年ハイパフォーマンスコンピューティングと計算科学シンポジウム High Performance Computing Symposium 2011 HPCS /1/19 数値計算ポリシーインターフェース付 行列計算ライブラリの開発と評価櫻井隆雄 直野健 片桐孝洋 中島研吾 黒
... POLICY と EPS の値により 再直交化の実装方式とライブラリへの再投入の有 無といった動作の違いがある． 最直交化方式は EPS が ...る．その他の引数は設定部および外部設定ファイル の指定により設定し，ライブラリに投入する．ライ ブ ラ リ が 解 を 出 力 し た 際 に POLICY が ...
9
VBA 給与計算 年末調整 の年度更新処理とデータの移行について VBA 給与計算 年末調整 の年度更新処理は 開始 メニューの 前年データ読込 ボタンで前年分のファイルから直接データの移行ができます 前年分と本年分のシステムファイルが同じフォルダにないと この処理は実行できません この処理前に フ
... 年版では、「開始」メニューの「給与の支払者データの登録」フォームから「源泉徴収票の年度」 と「給与支払報告書の年度」を直接変更することで、「給与所得の源泉徴収票」や年末調整の各申告書と連動して 新元号への変更に対応することにしました。 ...
7
日経記事の計算機処理における日本語WordNetの有効性
... Cabocha の構文解析 結果を示している。第２カラム目が文節番号、第３カラム目が係り先の文 節番号である。文節番号は ０ から始まる整数で、- １ という文節番号は係 り先がないことを示している。第４カラム目は主辞 / 機能語の位置である。 主辞は文節内で最も機能を果たす語のことで、機能語は文節内で語彙的意 ...
10
e-サイエンス基盤としての 計算機センターPOP(Point-of-Presence) 連携
... RENKEI-POP設置拠点（H21まで） H22新規設置拠点 国立遺伝学研究所 新学術領域研究「ゲノム支援」にて、データ処理基盤として使 用予定。主に、遺伝研@三島 => TSUBAME2.0@東工大への データ転送に利用 ...
14
SENAC Vol. 52, No. 2( ) 37 [ 大規模科学計算システム ] アプリケーションサービスの紹介 情報部情報基盤課共同利用支援係 はじめに 本センター大規模科学計算システムでは 分子軌道計算 数式処理 データ処理等の各アプリケーションソフトウェアをサービスしています
... じめ行っていますので、 通常は作業の必要はありません。 アプリケーションが利用できないという場合には、 この設定が変更されていることが考えられます。 .cshrc ファ イル (csh を利用する場合、センターの規定値) または .login ファイル（sh を利用する場合）に、センターで用意 している初期設定ファイル /usr/skel/Cshrc または/usr/skel/Login ...
15
Title KETpicによる曲面描画と教育利用 ( 数式処理と教育教育における数式処理システムの効果的利用に関する研究 ) : 数学 Author(s) 金子, 真隆 ; 阿部, 孝之 ; 関口, 昌由 ; 山下, 哲 ; 高遠, Citation 数理解析研究所講究録 (2009), 1624:
... の曲面描画は、学生の手元に残して繰り返し使わせることにより数学的な概念を定着さ せる教材の作成ツールとして、数理科学の教育者の潜在的なニーズに応えられる可能性 がある。 今後の課題としては、 まず技術的な面として、複数の曲面を描画できるようにするこ とが挙げられる。 ...
11
圧縮性LESを用いたエアリード楽器の発音機構の数値解析 (数値解析と数値計算アルゴリズムの最近の展開)
... 圧縮流体のソルバーを用いて，音波も含めた流体現象のシミュレーションを行うとき，最も問 題になるのは音波がどの程度再現されているかである．普通，音波の位相速度は流体の流速に比 べ速いので，流体の解析に特化したソルバーでは，音波の伝搬が巧く再現されない可能性がある ...
11