Advances In Computers, Vol. 32

Advances in COMPUTERS VOLUME 32 Contributors to This Volume M. W. BRIGHT CHUXIN CHEN A. R. HURSON SABUROMUROGA KENTL. NORMAN ROY G. SALTMAN MOHANM. TRIVEDI Advances in COMPUTERS EDITED BY MARSHALL C. YOVITS Purdue School of Science Indiana University- Purdue University at Indianapolis Indianapolis, Indiana VOLUME 32 ACADEMIC PRESS, INC. Harcourt Brace Jovanovich, Publishers Boston San Diego New York London Sydney Tokyo Toronto 'IkIS HOOK IS PRINTED O N ACID-FREE PAPER. @ COPYRIGHT 0 1991 BY ACADEMIC PRESS,INC. ALL RIGHTS RESERVED. NO PART O F THIS PUBLICATION MAY HE REPRODUCED OR TRANSMITTED IN ANY FORM OR BY ANY MEANS, ELECTRONIC OR MECHANICAL, INCLUDING PHOTOCOPY, RECORDING, OR ANY INFORMATION STORAGE AND RETRIEVAL SYSTEM, WITHOUT PERMISSION IN WRITING FROM THE PUBLISHER. ACADEMIC PRESS, INC. 1250 Sixth Avenue, San Diego, CA 92101 Llniled Kingdom Edition published by ACADEMIC PRESS LIMITED 24-28 Oval Road, London NWI 7DX LIBRARY OF CONGRESS CATALOG CARDNUMBER:59-15761 ISBN 0-12-012132-8 PRINTED IN THE UNITED SrATES OF AMERICA 91 92 93 94 987654 32I Contents CONTRIBUTORS . . . PREFACE . . . . . . . . . . . . . . . . . . . . . . vii ix . . . . . . . . . . . . . . . . . Computer-Aided Logic Synthesis for VLSl Chips Saburo Muroga 1. Introduction . . . . . . . . . . . . . . . . . . 2. Design of Minimal Logic Networks by Integer Programming . 3. Transduction Method for the Design of NOR Logic Networks . 4. Logic Design of MOS Networks . . . . . . . . . . . 5. New Logic-Synthesis System. SYLON . . . . . . . . . 6. Conclusions . . . . . . . . . . . . . . . . . . References . . . . . . . . . . . . . . . . . . . . . . . . . . 1 5 31 66 74 96 96 Sensor-Driven intelligent Robotics . Mohan M Trlvedi and ChuXin Chen Introduction . . . . . . . . . . . . . . . . . . . Role of Sensors in Intelligent Robotics . . . . . . . . . . ROBOSIGHT: A Vision System for Inspection and Manipulation . A Frame-Based Architecture for Intelligent Robots . . . . . . Experimental Verification of the Autonomous Spill-Cleaning System . . . . . . . . . . . . . . . . 6. Summary and Discussion . . . . . . . . . . . . . . . Acknowledgments . . . . . . . . . . . . . . . . . References . . . . . . . . . . . . . . . . . . . . Bibliography . . . . . . . . . . . . . . . . . . . 1. 2. 3. 4. 5. 105 107 122 128 139 143 144 145 147 Multidatabase Systems: An Advanced Concept in Handling Distributed Data . . . . A R Hurson and M W Bright 1. Introduction . . . . . . . . . . . . . . . . . . . 2. What Is a Multidatabase? . . . . . . . . . . . . . . . 3. Multidatabase Issues . . . . . . . . . . . . . . . . 4. Multidatabase Design Choices . . . . . . . . . . . . . 5 . Analysis of Existing Multidatabase Systems . . . . . . . . 6. The Future of Multidatabase Systems . . . . . . . . . . 150 151 159 170 176 180 CONTENTS Vi 7. Summary and Future Developments . . . . Appendix A: Review of Multidatabase Projects References . . . . . . . . . . . . . . . . . . . . . 185 . . . . . . . 187 . . . . . . 195 Models of the Mind and Machine: Information Flow and Control between Humans and Computers Kent L. Norman 1. 2. 3. 4. Introduction . . . . . . Models of Human-Computer Interface Design . . . . . Conclusion and Su