著者

鷹野 芙美代 関根 敦史 佐田 宏史 前川 仁孝 六沢 一昭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌. コンピューティングシステム (ISSN:03875806)

巻号頁・発行日

vol.45, no.11, pp.280-289, 2004-10-15

参考文献数

17

被引用文献数

2

---

本論文では階層的挟み撃ち探索を用いたAND/OR木の並列探索手法について提案する.証明数の小さい節点は解である可能性が高い.そのため,証明数を用いるAND/OR木の並列探索の多くは証明数の小さい節点から探索する.しかし証明数の大きい節点が解である場合は,解を見つけるのに多くの時間を必要とする.そこで,証明数の小さい節点と証明数の大きい節点の探索を並列に行い,さらに証明数の小さい節点に多くのプロセッサを割り当てる並列探索手法を提案する.このように複数プロセッサで探索することにより,従来の探索法では解を見つけるまでに時間がかかる証明数の大きい節点が解である場合にも,探索時間を短縮することができる.提案手法を共有メモリ型並列計算機に実装して評価した.評価の結果,逐次探索では時間のかかる問題に対し,スーパリニアスピードアップが確認された.

著者

直野 健 猪貝 光祥 木立 啓之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌. コンピューティングシステム (ISSN:03875806)

巻号頁・発行日

vol.46, no.7, pp.35-43, 2005-05-15

参考文献数

13

被引用文献数

5

---

計算精度と計算時間の調整が課題であったグラムシュミット直交化処理において, 与えられた最低計算精度の範囲内で最速計算を実行する方法を提案した.本方法では, 性質の異なる古典グラムシュミット, 修正グラムシュミット, DGKS型グラムシュミットの処理を同時に実行し, ユーザが与えた精度と速度の要求に最も適合する計算結果を選択する徒競走方式を採用した.PC上で提案法を実行し, その効果を検証した結果, 従来手法では直交性誤差が10^<-8>を満たさなかったケースでその誤差を10^<-14>に低減できた.また, 計算時間についても最大約4.8倍の高速化を達成し, 精度と速度の両面で提案法が有効であることが明らかになった.

著者

中田 尚 津邑 公暁 中島 浩

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌. コンピューティングシステム (ISSN:03875806)

巻号頁・発行日

vol.46, no.12, pp.98-109, 2005-08-15

被引用文献数

3

---

集積回路技術の進歩にともない, マイクロプロセッサの構造は高度化・複雑化している.このような高度なマイクロプロセッサの研究・開発や, それを組み込んだ機器のハードウェア・ソフトウェア協調設計においては, その機能・性能を検証するためのcycle accurateなシミュレータが不可欠である.しかし, 現状のシミュレータは一般に低速であり, 開発の効率化の障害となっている.これに対して, スケジューリング計算の高速化によりシミュレータの高速化が提案され, 効果をあげている.一方で, スケジューリング計算が高速化することにより, 命令エミュレーションの実行時間がシミュレーション時間全体に占める割合が相対的に大きくなっており, シミュレーションのさらなる高速化のためには, 命令エミュレーションの高速化が課題となっている.本論文では, 個々のワークロードに対して最適化されたシミュレータを生成することにより, 命令エミュレーションの高速化を図る.これにより, 可搬性を損なうことなくバイナリ変換を適用した場合と同等の高速化を達成することができる.SPEC CPU95ベンチマークを用いて評価を行った結果, SimpleScalarのsim-fastに対して, 最大34倍, 平均19倍のシミュレーション速度の向上が確認できた.

著者

近藤 弘一 笹田 昇平 小幡 雅彦 岩崎 雅史 中村 佳正

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌. コンピューティングシステム (ISSN:03875806)

巻号頁・発行日

vol.48, no.8, pp.216-225, 2007-05-15

参考文献数

13

---

本論文では非可逆画像圧縮におけるKakarala-Oeunbona (KO)の画像分解アルゴリズムを考える.KO分解では行列の特異値分解(SVD)を利用した主成分分析が行われ,2次元解散ウェーブレット変換と同様な多重解像度解析が可能である.左特異ベクトルをフィルタとして利用することが特徴である.一般に特異値の近接度が高いとき,SVD数値計算アルゴリズムによって特異ベクトルが高精度に求められるとは限らない.本論文ではKO分解における特異値の近接度を低減させるアルゴリズムを提案する.元画像に対してランダム模様のふちどりを追加することで特異値分布を変化させる.数値実験によりその効果を示し,圧縮画像の誤差評価を行う.さらには,フィルタ行列の量子化について議論する.