• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

General Studies on High Level Techniques in Computer Software and Hardware

Research Project

Project/Area Number 62045007
Research Category

Grant-in-Aid for Overseas Scientific Survey.

Allocation TypeSingle-year Grants
SectionUniversity-to-University Cooperative Research
Research InstitutionIbaraki University

Principal Investigator

TAKAOKA Tadao  Professor, Department of Information Science, School of Engineering, Ibaraki University, 工学部・情報工学科, 教授 (00007824)

Co-Investigator(Kenkyū-buntansha) PRADIP Dey  Department of Computer Science, Hampton U, Associate
KEVIN D. Rei  Department of Computer and Information S, Professor
TAMAKI Hisao  Assistant Professor, Department of Information Science, School of Engineering, I, 工学部・情報工学科, 講師 (20111354)
HAYASHI Yoichi  Assistant Professor, Department of Information Science, School of Engineering, I, 講師 (20189666)
MATSUYAMA Yasuo  Associate Professor, Department of Information Science, School of Engigneering,, 助教授 (60125804)
DEY Pradip  Associate Professor, Department of Computer Science, Hampton University
REILLY Kevin D.  Professor, Department of Computer and Information Sciences, University of Alabam
BARRETT R.Br  アラバマ大学バーミングハム校, 理学部, 助教授
JOSEPH Fonta  アラバマ大学バーミングハム校, 理学部, 準教授
KEVIN D.Reil  アラバマ大学バーミングハム校, 理学部, 教授
WARREN T.Jon  アラバマ大学バーミングハム校, 理学部, 教授
滑川 英世  茨城大学, 工学部, 助手
Project Period (FY) 1987 – 1989
Project Status Completed (Fiscal Year 1989)
Budget Amount *help
¥8,900,000 (Direct Cost: ¥8,900,000)
Fiscal Year 1989: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 1988: ¥2,400,000 (Direct Cost: ¥2,400,000)
Fiscal Year 1987: ¥4,000,000 (Direct Cost: ¥4,000,000)
KeywordsAlgorithms / Programming Languages / Natural Language Processing / Neuro-computing / Computer architecture / Fuzzy reasoning / Hypercube architecute / Vector quantization
Research Abstract

This research project started in 1987 as an inter-university collaborative project to study computer software and hardware comprehensively. The partner was the University of Alabama at Birmingham (UAB). The period was three years and participants totalled twelve including both sides. During the period, six researchers from each side visited the partner university. The research areas are classified into five: (1) Algorithms, (2) Languages, (3) Neuro-computing, (4) Expert systems, and (5) Cube-connected computer architectures.
The total twelve researchers did research actively under this project and published numerous research papers in journals and conference proceedings. Only a few of them are listed in References. One major factor that characterizes the project is parallelism. In all the above five areas, progress was made based on parallelism. That is, significant speed-up of processing was made possible through parallel algorithms on a parallel computers. This is partly because UAB owns a parallel computer, Sequent Balance with 30 processors, which helped us develop parallel algorithms. As a consequence. We, Ibaraki University, replaced our VAX11/785 by a Sequent Symmetry with 20 processors and shifted to a parallel environment smoothly, which will characterize our research direction in the future.
In conclusion, this research project has been very successful and has been a good start-up of our future collaboration. Only one problem was that of accommodation. We were lodged at a hotel-like guest house of UAB, whereas researchers from UAB were accommodated in a very old wooden house of Ibaraki University. We sincerely hope to have a good accommodation in Hitachi where School of Engineering is located, like the international house recently built in the Mito headquarter of Ibaraki University.

Report

(2 results)
  • 1989 Final Research Report Summary
  • 1987 Final Research Report Summary
  • Research Products

    (26 results)

All Other

All Publications (26 results)

  • [Publications] T.Takaoka: "An Efficient Parallel Algorithm for the All Pairs Shortest Path Problem." Lecture Notes in Computer Science,SpringerーVerlag. 344. 276-287 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] R.F.Zhu;T.Takaoka: "A Technique for Two Dimensional Pattern Matching." Communications of the ACM. 32 No.9. 1110 1120 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] P.Dey;B.R.Bryant;T.Takaoka: "Lexical Ambiguity in Tree Adjoining Grammars." Information Processing Letters.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Y.Matsuyama: "Generalized Vector Quantization with Optimal Connection of Elements." Proceedings of IEEE International Conference on Information Theory. 164-165 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T.Moon;Y.Matsuyama;K.D.Reilly: "Image Compression Using Neural Networks:Review and Prospects." Proceedings of ACM Southeast Regional Conference. 239-243 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Y.Hayashi;E.Tazaki;K.Yoshida and P.Dey: "Medical Diagnosis Using Simplified Multiーdimensional Fuzzy Reasoning." Proceedings of IEEE 1988 International Conference on Systems,Man and Cybernetics. 1. 58-62 (1988)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] 林陽一,中井正人: "ニューラルネットワークを用いたファジィIF-THENルールの自動抽出" 電気学会論文誌. 110-C No.3. 198-206 (1990)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T.Sato;H.Tamaki: "Existential Confirmation." New Generation Computing. 6. 421-438 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T.Sato;H.Tamaki: "First Order Compiler:A Deterministic Logic Program Synthesis Algorithm." Journal of Symbolic Computation. 8. 605-627 (1989)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T. Takaoka: "An Efficient Parallel Algorithm for the All Pairs Shortest Path Problem." Lecture Notes in Computer Science, Springer-Verlag. 344. 276-287 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] R.F. Zhu and T. Takaoka: "A Technique for Two Dimensional Pattern Matching." Communications of the ACM. 32, No.9. 1110-1120 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] P. Dey, B.R. Bryant and T. Takaoka: "Lexical Ambiguity in Tree Adjoining Grammars." Information Processing Letters.

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Y. Matsuyama: "Generalized Vector Quantization with Optimal Connection of Elements." Proceedings of IEEE International Conference on Information Theory. 164-165 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T. Moon, Y. Matsuyama and K.D. Reilly: "Image Compression Using Neural Networks: Review and Prospects." Proceedings of ACM Southeast Regional Conference. 239-243 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Y. Hayashi, E. Tazaki, K. Yoshida and P. Dey: "Medical Diagnosis Using Simplified Multi-dimensional Fuzzy Reasoning." Proceedings of IEEE 1988 International Conference on Systems, Man and Cybernetics. 1. 58-62 (1988)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] Y. Hayashi and M. Nakai: "Automated Extraction of Fuzzy IF-THEN Rules Using Neural Networks." The Transactions of the Institute of Electrical Engineers of Japan. 110-C, No.3. 198-206 (1990)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T. Sato and H. Tamaki: "Existential Confirmation." New Generation Computing. 6. 421-438 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T. Sato and H. Tamaki: "First Order Compiler: A Deterministic Logic Program Synthesis Algorithm." Journal of Symbolic Computation. 8. 605-627 (1989)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1989 Final Research Report Summary
  • [Publications] T.Takaoka: Information Processing Letters. Vol.26.No.4. (1987)

    • Related Report
      1987 Final Research Report Summary
  • [Publications] F.Perez;T.Takaoka: IEEE Trans.on ASSP. Vol.ASSPー35.No.35. (1987)

    • Related Report
      1987 Final Research Report Summary
  • [Publications] B.Bryant;B.Edupusanty;K.Sundararaghavan T.Takaoka: Proreedings of1988ACM Computer Science Conference. (1988)

    • Related Report
      1987 Final Research Report Summary
  • [Publications] Y.Matsuyama: Proceedings of GLOBECOM. 25.1. (1987)

    • Related Report
      1987 Final Research Report Summary
  • [Publications] 松山泰男: 電子情報通信学会論文誌. Vol.J70ーA. (1987)

    • Related Report
      1987 Final Research Report Summary
  • [Publications] Y.Hayashi;M.Nakai;P.Dey: Proceedings of1988ACM Computer Science Conference. (1988)

    • Related Report
      1987 Final Research Report Summary
  • [Publications] H.Tamaki: Proceedings of 4th International Conference on Logic Progrsmming. (1987)

    • Related Report
      1987 Final Research Report Summary
  • [Publications] H.Tamaki: 日本ソフトウェア科学会第4回大会. (1988)

    • Related Report
      1987 Final Research Report Summary

URL: 

Published: 1987-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi