実行プロセス数と処理効率
ポジティブ気分と一般知識構造を用いた情報処理プロセス:適応レベルからの考察
... す曖昧な情報（e.g., 常日頃から乱暴な人物である） を与えてその人物が有罪かどうかを尋ねるのに対し て，後者は，与えられたカテゴリ情報（e.g., 職業情 報として図書館の司書）に適合する情報（e.g., 真面 目な行動情報）と不適合する情報（e.g., 不真面目な 行動情報）を与えてその人物の印象判断を尋ねる。 このように，印象形成パラダイムでは，与えられた カテゴリ情報（e.g., 職業情報として図書館の司書） ...
7
魂動デザインを実現する高精度高効率金型製作プロセスへの革新
... である生産技術部門では，ビジネス効率を最大化するこ と，すなわち「お客様への提供価値を高めつつ，量産準 備段階でのムダを排除した高効率な生産プロセスを確立 すること」と定義し，その実現を目指している。 お客様への提供価値の 1 つである魂動デザインは「生 命感」を共通の思想として，ボディーに反射する繊細な ...
6
低温・溶液プロセスで高効率・高信頼性ペロブスカイト太陽電池を実現
... ② ナノメートル（ nm） 百万分の一ミリメートル ③ 相互拡散法（Interdiffusion method） University of Nebraska-Lincoln のJinsong Huang らにより開 発された、ペロブスカイト層を溶液プロセスで作製する 際に用いる成膜法の一つ。順番に塗布プロセスで堆積し たヨウ化鉛層とメチルアンモニウム層を約 100℃にてア ...
4
行列Horner法の拡張と効率化 (数式処理研究の新たな発展)
... の計算コストに占める割合は小さくなり， Horner 法の部分の効率化が，計算全体の効率化に寄与するので ある． 我々が本稿で行った計算機実験の対象は，行列の次元，多項式の次数ともに数十次の “ 中程度” の大きさ の問題にとどまっているが，我々が提案する効率化は，行列の次元，多項式の次数ともに数百次から数千 ...
13
プラズマ処理によりリチウムイオン電池の充放電効率がアップ
... ここで示された粉末表面修飾法は、さらに、熱プラズマプロセッシングの応用分野の拡 大にも寄与する。現在、熱プラズマを利用した材料プロセッシングでもっとも広く使われ ている（実用化されている）のは、熱プラズマの熱的側面を有効に利用した微粒子合成と プラズマ溶射の分野である。一方、熱プラズマ中には高濃度の活性化学種が含まれること から、化学的側面を顕在化させて有効に使うと従来にないナノ構造をもった材料合成が可 ...
8
実行時最適化のためのコード生成インタフェース (プログラム変換と記号・数式処理)
... $\text{生成拡張生成機_{}\alpha^{D}}\alpha^{A}B$ の $A,$ $B,$ $D$ の選択には順列組 み合わせがある。 $S$ をソース言語、 $M$ をマシン語とす る。 $\mathrm{C}$ -Mix[ $1|t4\mathrm{i}\alpha_{\alpha}s_{sS}$ をオフライン部分計算に使って いる。 $S$ は ANSI $\mathrm{C}$ 言語である。 ...
12
マルチデータモデルDBのためのSQLクエリ処理効率化
... Sparkは細分化されたタスクを各サーバに振り分けることで並列分散 Sparkタスク: 並列分散用に分割されたデータ(レコード群)・処理のセット データ読込みタスクを順次振分け・実行することで、並列な外部DBスキャンを実現 Sparkクラスタ ...
26
硫化物再処理プロセスにおける核分裂生成物の挙動
... 11% とウランより高い溶解率であったが， Ru の場合には 1% とほとんど溶解しないことが分かっ た． Ce や Zr は酸化物の場合， IV 価の CeO 2 や ZrO 2 が安定であり，これらは UO 2 と同じ結晶構造 を持ち，硫化においても UO 2 と同様の挙動を示したものと考えられる． Ba の場合には， BaS が酸に ...
7
モジュラー計算の擬似並列実行(数式処理における理論とその応用の研究)
... ていることがわかる。 しかしながら、乗除算に関しては、効果は 2 倍程度で、大きくはない。(4) 式 によると、 $T_{\mathrm{S}}$ が $T_{\mathrm{C}}$ に比べてそれほど大きくはないのではないかと思われる。 この予想を裏付けるため、 153 節に与えた 2 つのプロシジャ mplus と mcplus, および乗算に対する 同様の 2 つのプロシジャmtimes ...
7
階層グラフ書換え言語LMNtal処理系における非同期実行の実現
... 1 はじめに LMNtal[8] は階層グラフの書換えに基づく並行言 語モデルであり，プロセス・データ・メッセージの 統一的な扱いを特徴としている．これらの実体を構 造化する手段としてリンク（チャネル）と膜とが用 意されており，リンクによって接続関係（グラフ構 造）を，膜によって多重集合とその階層関係を表現 することができる．計算はグラフ書換え規則の適用 ...
9
SPRAT:実行時自動チューニング機能を備えるストリーム処理記述用言語
... • ツールによる支援方法を検討(滝沢G) • 既存アプリの分析と再設計の指針を検討（江川G) – 実装を抽象化して提供する仕組み • プログラミングインタフェースの観点から検討(滝沢G) • 数値演算ライブラリの観点から検討(高橋G) ...
32
共有資源の利用制限の自動調整によるプロセスの動作の効率化
... Resource Manager は, Linux カーネルが提供する Control Group[2] の機能を用いることで, プロセスを グループ単位で管理でき, 利用可能な資源の量の制限値 を一括で設定することができる. また, Control Group では, 1 つのグループで複数の資源の利用制限を設定で きるため, 柔軟に資源管理を行える. ...
2
一般逆行列のmodulo計算アルゴリズムとその効率(数式処理における理論と応用の研究)
... また、使用ソフトは富士通情報社会科学研で開発中の数式処理システム $\mathrm{R}\mathrm{i}\mathrm{s}\mathrm{a}/\mathrm{A}\mathrm{s}\mathrm{i}\mathrm{r}$ である。 以下、実行時間比とは (modulo による計算時間)/(割算による計算時間) の値を表すもの とする。 なお、 実験 $1$ ), $3$ ...
10
JAIST Repository: 近似手法と数式処理の融合による実数多項式制約の効率化
... 区間制約伝播は、区間演算による真にとりう る値をカヴァーする近似を行い、区間の分 割・細分化により近似を詳細化する。その結 果が空である場合に充足不能（UNSAT), 結果 が近似値すべてが制約を満たす場合に充足 可能（SAT）を検出する。そのため、SAT の検 出が遅い欠点がある。この欠点を補うため、 SAT は１インスタンスの発見があればよいこ とに着目し、テスト手法を組み合わせた手法 を提案した。いずれも ...
5
Software Engineering Center Information-technology Promotion Agency, Japan プロセス改善推進者育成コース プロセス改善とは 独立行政法人情報処理推進機構技術本部ソフトウェア エンジニアリング センタープロセス改善 Workin
... プロジェクト実施の上で、いつも同じような迷走を繰り返したくない 業務のやり方をパターンかしてはどうか 教訓を積み重ね、ノウハウを蓄積してはどうか プロセスの品質、コスト、工数、工期などを的確にコントロールしたい コントロールするための仕組みを導入したらどうか ...
15
Fraction-freeによる行列式の計算効率(数式処理における理論とその応用の研究)
... 結果は表 4 であり, これより以下のようなことが理解できる. $.\mathrm{S}\mathrm{y}1_{\mathrm{V}\mathrm{e}\mathrm{S}}\mathrm{t}\mathrm{e}\mathrm{r}$ の fraction-free を用いたプログラムでは, 多項式の演算もできる . . 整数要素と同様に, single-step より two-step は , ...
12
情報処理学会研究報告 IPSJ SIG Technical Report 並列 FMO プログラム OpenFMO の性能最適化 稲富雄一, 眞木淳, 高見利也, 本田宏明, 小林泰三, 南里豪志, 青柳睦, 南一生 数万 ~ 数 10 万並列での効率的な実行を目指して, 並列フラグメント分子軌道プ
... 16（4 プロセス 4 スレッド）の場合を基準（速度向 上比＝１）として，ワーカスレッド数を 32，64，128，248 と変化させた場合の速度向 上比を小規模電子状態計算全体，分子積分計算部分（カットオフ計算含む），および， SCF 計算部分それぞれで示したものである．これを見ると，計算負荷が大きな分子積 分部分は 200 並列を超えてもほぼ linear scaling ...
8
CG法の最近の前処理のロバスト性と効率化について : 閾値によるドロッピングと対角緩和処理 (数値解析と新しい情報技術)
... Computing and Communications Center, Kyushu University 梗概 : 近年 , 共役勾配法 (Conjugate Gradient method, 以下 $\mathrm{C}\mathrm{G}$ 法と略す ) 系統の反復法の新しい前処理 (pre- conditioning) 法が次々と提案されている . 代表的なものとして, 例えぱ, M. ...
9
データ仮想化における効率的なクエリ処理の実装と評価
... Presto と 同 等 で あ っ た ．提 案 手 法 の 処 理 詳 細 を 確 認 す る と ， 中 間 デ ー タ 再 配 置 処 理 に 時 間 を 要 し て い る こ と が 分 か っ た （ 表 1）． タ ス ク に つ い て ， PLAN は Presto 内 で の 実 行 計 画 を 生 成 す る た め の 所 用 時 間 で あ る ．そ れ 以 外 に ...
8
酸性鉱山廃水の 効果的な生物的処理プロセスの開発
... 9 ．試作した装置による鉱水処理試験 ジャーファメンターを用いた試験で，鉱水を pH 3.5で 通気撹拌することによって，鉄の酸化が確認できたので， 柵原鉱水処理場に設置した鉱水処理試験装置（Fig. 6 ） を用いて，鉱水処理試験を行った．柵原鉱水処理場のヒ 素処理後の鉱水（680 mg Fe/L）を酸化槽に注入し，pH ...
8