| Project/Area Number |
17500005
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
MURAO Hirokazi The University of Electro-Communications, Faculty of Electro-Communications, Lecturer (60174265)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥3,640,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2006: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2005: ¥1,300,000 (Direct Cost: ¥1,300,000)
|
|---|
| Keywords | computer algebra / multi-thread parallel processing / OpenMP / program library / memory management and GC / Web-interface / Open MP / 陰関数描画 / 区関数 / 数式入力のWEBインターフェース / 計算機代数 / 並列処理 / マルチコア / 多項式演算 / OpenMp / 行列基本演算 / 基本行列演算 / マルチスレッド |
|---|
| Research Abstract |
The target of this research project is to design a standard and efficient program library for computer algebra, exploiting various techniques and technologies(SIMD, multi-core, …) for higher-performance on the commercially available processors. It started by extending the has-beein-ongoing research project and its results, including weird approach for efficiency and the use of asymptotically fast algorithms.
The research results of this project include the following. (1) Summary of the behavior of fast matrix multiplication algorithm in computer algebra, and proposition of an appropriate way of its use in practice. (2) To achieve higher efficiency, the application of hyper-threading technology and multicore technology via multi-threading with shared-memory is experimented. It turned out that the memory management under shared-memory parallel processing and the relation of the levels of mathematical functionalities and the grain size of computations are the keys for multi-threaded symbolic computation. (3) For the application, we investigated the costly algorithm for plotting implicit functions and proposed a new algorithm, relating with interval arithmetics. Further investigation, in conjunction with deep understanding of interval arithmetics and with high-performance multi-thread computations can be a new research subject. (4) The last one is the experimental software for easy handling of mathematical expressions. The new Web-browser tool enjoys the latest Web-technology, and is unique.
|
