From: japancs@cs.arizona.edu (Japan CS Project)
Newsgroups: comp.research.japan
Subject: Journal of Information Processing, Vol 14, No. 2 (1991)
Date: 16 Nov 92 21:15:48 GMT


------------------------------------------------------------------------
Journal of Information Processing, Vol 14, No. 2 (1991)

            published by

Information Processing Society of Japan  (in English)
------------------------------------------------------------------------

[Collection and dissemination of this information supported in part by
 ONR Grant N0001492J1737.]


Research Contributions

121 	Orthomin (k) Method for Linear Least Squares Problem
	 by Zhang Shao Liang(1) and Y. Oyanagi(2)
           (1)  Institute of Computational Fluid Dynamics, Hara-machi 
             2-1-4, Meguro, Tokyo 152, Japan
           (2)  Department of Information Science, University of Tokyo,
             Hongo, Tokyo 113, Japan

126 	Design Verification of Sequential Control Circuits Based on
 	Theorem-Proving Method
	 by N. Yamada(1), Y. Kobayashi(1), Y. Ueda(2), S. Matsuda(3),
          S. Muto(3) and J. Yoshizawa(3)
           (1)  Energy Research Laboratory, Hitachi, Ltd. 1168
             Moriyama-cho, Hitachi, Ibaraki 316, Japan
           (2)  Systems Engineering Division, Hitachi, Ltd. 6, Kanda-
             surugadai 4 chome, Chiyoda-ku, Tokyo 101, Japan
           (3)  Computer & Communication Research Center, The Tokyo 
             Electric Power Co. 1-3 Uchisaiwai, 1 chome, Chiyoda-ku,
             Tokyo 100, Japan

134 	Intelligent Visual Interaction with Image Database Systems-
 	Toward the Multimedia Personal Interface-
	 by T. Kato(1), T. Kurita(2) and H. Shimogaki(3)
          (1)  Interactive Interface Systems Section, Intelligent Systems
            Division, Electrotechnical Laboratory, 1-1-4, Umezono,
            Tsukuba City, Ibaraki 305, Japan
          (2)  Mathematical Infomatics Section, Information Science 
            Division, Electrotechnical Laboratory, 1-14, Umezono,
            Tsukuba City, Ibaraki 305, Japan
          (3)  Kyodo Printing, Co.

144 	A Fast and Simple Method for Curve Drawing-A New Approach
 	Using Logarithmic Number Systems
	 by T. Kurokawa(1) and T. Mizukoshi(2)
           (1)  Department of Industrial Engineering, Aichi Institute of 
             Technology, 1247 Yachigusa, Yagusa-cho, Toyota 470-03, Jap
           (2)  Oki Technosystems Laboratory, 3-8-10 Uchiyama-cho,
             Chigusa-ku, Nagoya, 464, Japan

153 	Structuring and Derivation in Algebraic	Specification/Programming
        Language Systems
	 by K. Futatsugi
           Electrotechnical Laboratory (ETL), 1-1-4 Umezona, Tsukuba
           Science City, Ibaraki 305, Japan

164 	Completeness of Logical Functions Realized by Asynchronous
        Sequential Circuits
	 by H. Sato(1), A. Nozaki(2) and Grant Pogosyan(3)
           (1)  Department of Information and Computer Sciences,
             Faculty of Engineering, Saitama University.
           (2)  Division of Natural Science, International Christian
             University

172 	Third-Order Semi-lmplicit Runge-Kutta Methods for Time-
   	Dependent Index-One Differential-Algebraic Equations
	 by T. Koto
          International Institute for Advanced Study of Social
	  Information Science, Fujitsu Ltd.

178 	Reliability Assessment Measures Based on Software Reliability 	Growth Model with Normalized Method
	 by J. Hishitani, S. Yamada and S. Osaki
          Faculty of Engineering, Hiroshima University, Higashi- 
          Hiroshima-shi, 724, Japan.

184 	Message Driven Groupware Design Based on an Office
        Procedure Model, OM-1
 	 by H. Ishii and M. Ohkubo 
           NTT Human Interface Laboratories.

192 	Precise Formulation and Applicability of a Software Reliability
        Growth Model Based on Hyper-Geometric Distribution
 	 by Raymond Jacoby(1) and Y. Tohma(2)
           (1)  TOSHIBA Corp., Systems & Software Engineering Laboratory,
             Saiwai-ku, Kawasaki-shi,  210, Japan
           (2)  Department of Computer Science, Tokyo Institute of
             Technology, Meguro-ku, Ookayama, 2-12-1, Tokyo 152, Japan

Short Note

204 	An Addendum to the Previous Paper "Runge-Kutta Type
        Seventh-order Limiting Formula (1989)"
	 by H. Ono and H. Toda
           Faculty of Engineering, Chiba University

208 	Abstracts from "Transactions of Information Processing
        Society of Japan"

219 	Contents of JOHO SHORI

223 	Profiles of Authors

Information for Authors

Questionnaire