Directorate for Mathematical and Physical REPORT NO' *Artificial
Total Page:16
File Type:pdf, Size:1020Kb
DOCUMENT RESUME ED 259 943 SE 045 918 TITLE Division of Computer Research Summary of Awards, Fiscal Year 1984. INSTITUTION National Science Foundation, Washington, DC. Directorate for Mathematical and Physical Sciences. REPORT NO' NSF-84-77 PUB DATE 84 NOTE 93p. PUB TYPE Reports - Descriptive (141) EDRS PRICE MF01/PC04 Pigs Postage. DESCRIPTORS *Artificial Intelligence; *Computer Oriented Programs; *Computers; *Computer Science; Databases; *Grants; Higher Education; Mathematics; Program Descriptions IDENTIFIERS National Science Foundation ABSTRACT Provided in this report are summaries of grants awarded by the National Science Foundation Division of Computer Research in fiscal year 1984. Similar areas of research are grouped (for the purposes of this report only) into these major categories: (1) computational mathematics; (2) computer systems design; (3) intelligent systems;(4) software engineering; (5) software systems science; (6) special projects, such as database management, computer-based modeling, and privacy and security of computer systems; (7) theoretical computer science; (8) computer research equipment; and (9) coordinated experimental research. Also included are presidential young investigator awards and awards for small business innovation research. Within each category, awards are listed alphabetically by state and institution. Each entry includes the grantee institution, name of the principal investigator(s), project title, award identification number, award amount, award duration, and desCription. (This report lists fewer than the actual number of projects currently receiving support because the duration of some grants exceeds 1 year.) (JN) /1 ********************:-************************************************** * Reproductions suiplied by EDRS are the best that can be made * * from the original document. * *********************************************************************** No S or IND IMP U.E. DEPARTMENT OF EDUCATION . NATIONAL INSTITUTE OF EDUCATION EDUCATIONAL RESOURCES INFORMATION CENTER (ERIC) 4Thus document has been reproduce(' as received from the person or organization originating It LI Minor changes have been made to improve reproduction quality A Points of view or opinions .stated in this docu moot do not necessarily represent official NIE position or policy. NM MIIIMOL__ A Ila_ IIM GM MI6 =NI IMO A G M 11=1 al. 00 "PERMISSION TO REPRODUCE THIS 0-- MATERIAL HAS BEEN GRANTED SY Li) klattnal &ience_ Emoda iort. 4.84 111, 4te 0 ,:. TO THE EDUCATIONAL RESOURCES ill INFORMATION CENTER (ERIC)." M 4%46- a as ID .1M 1M1. MN, :.: 1 The Foundation provides awards for research in the sciences and engineerin The awardee is wholly responsible for the conduct of such research and pre- paration of the results for publication. The Foundation, therefore, does not assume responsibility for such findings or their interpretation. The Foundation welcomes proposals on behalf of all qualified scientists and engineers, and F,trongly encourages women and minorities to compete fully in any of the research and research-related Programs described in this document. In accordance with Federal statutes and regulations and NSF policies, no person on grounds of race, color, age, sex, national origin, or physical handicap shall be excluded from participation in, denied the benefits of, or be subject to discrimination under any program or activity receiving financial assistance from the National Science Foundation. NSF has TDD (Telephonic Device for the` Deaf) capability which enables individuals with hearing impairments to communicate with the Division of Personnel Management for information relating to NSF programs, employment, or general information. This number is (202) 357-7492. } Preface The purpoLe of this report is to provide the scientific community with a summary of those grants awarded by the Division of Computer Research in Fiscal Year 1984. The report lists fewer than the actual number of projects currently receiving support because the duration of some grants exceeds one year. Similar areas of researcil are grouped together for reader convenience. The reader is cautioned, however, not to assume these categories represent either the totality or interests of each program or the total scope of each grant. Projects may bridge several programs or deal with topics not explicitly mentioned herein. Thus, these categories have been assigned administratively and for the purposes of this report only.* In this document, grantee institutions and principal investigators are identified first. Award identification numbers, award amounts, and award durations are enumerated after the individual project titles, Within each category, awards are listed alphabetically by state and institution. Readers wishing further information on any pat ticular project described in this report are advised to contact principal investigators directly. Kent K. Curtis Division Director Division ,of Computer Research *To get an idea of the scope of possible programs. consult What Can Be Automated? The Computer Science and Engineering Research Study (COSERS 1. Bruce Arden (Ed.), MIT Press, Cambridge. MA (1980). iii Table of Contents Page Preface iii Table of Contents iv Introduction vi Staff vii Summary viii Computational Mathematics 1 Computer Systems Design 7 VLSI Design Methodology 7 Computer System Architecture 8 Fault Tolerance and Reliability 14 Computer System Performance Measurement and Evaluation 15 Computer Graphics 16 Intelligent Systems 17 Computer Vision and Image Processing 17 Natural Language and Signal Understanding 20 Automatic Theorem Proving, Concept Learning, and Inference 23 Knowledge Representation and Problem Solving 25 Software Engineering 31 Quality Software 31 Symbolic and Algebraic Manipulation 32 Software Studies and Metrics 33 Program Testing and Verification 35 Software Tools and Programming Environfrients 36 Software Systems Science 41 Programming Languages: Design, Semantics, Implementation 41 Operating Systems and Concurrency 42 Data Bases 43 Programming Methodology 45 Distributed Computing 48 Verification 49 Special Projects 51 Data Handling, Data Manipulation. Database Research 51 Privacy & Security 51 The Societal Impact of Computing 52 Modelling & Simulation 53 Networking, Computer Communications, & Distributed Computing 53 Other Projects, Symposia, Colloquia, and Studies 55 Theoretical Computer Science 57 Concrete Complexity and Analysis of Algorithms 57 Parallel. Distributed. and Data Base Models 62 Foundations of Computer Science 67 Automata and Language-based Models 70 iv Compdter Research Equipment 73 Coordinated Expqrimental Research , . 77 Experimental Computer Research 77 Computer Science Research Network (CSNET) 82 Presidential Young Investigator Awards 83 Small Business Innovation Research 87 V 6 1 s INTRODUCTION This report provides summaries of awards made by the National including: advanced programming languages and optimizing Science Foundation (NSF) through the Division of Computer compilers; functional and re: ational specification; program Research in Fiscal Year 1984. transforming systems; systems for the verification and proof of In Fiscal Year 1984, the Division of Computer Research correctness of programs; the study of the concurrency of orera- Award Activities were carried out through eight programs. tions; the dist.overy of new algorithms and itiiproved measures Topics of interest to the Foundation include, but are not limited, of effectiveness of known algorithms. to the folrowing: Special Projects. Computer Systems Design New directions in computer science alai applications includ- Principles of computer systems design relating to the struc- ing computer networks; database management; computer-based ture of computer systems or the process of systems design. modeling; privacy and security of computer systems; and other Topics include, but are not limited to: computer system architec- topics of special nterest in computer science. ture; distributed computer systems; integrated hardware/soft- ware systems; performance measurement and evaluation; fault Theoretical Computer Science tolerant systems; logic design; computer graphics; man- machine interact;rm; and VLSI design methodology. The scope Theories of computation and formal languages; analysis of of this program includes experimental implementation where algorithms; theoretical models for computation; and other the- that is an integral part of the research. oretical problems concerned with the foundations of computer science. - Intelligent Systems Computer Research Equipment Computer-based systems that have some of the characteristics of intelligence. Relevant areas of inquiry include: knowledge Support of special purpose equipment needed by more than one engineering; automated theorem-proving; mechanical inferenc- computer research project and difficult to justify on a single ing; problem solving; pattern analysis; computer vision; natural project. language and speech understanding; and areas related to the automatic analysis and handling of complex tasks. Coordinated Experimental Research Software Engineering Experim, eta! Computer Research The establishment and enhancement of experimental research facilities, needed tech- The structure and design process of computer software, es- nical and professional support personnel, and necessary mainte- pecially verification, testing, portability, reliability, and human nance,of facilities; large multi-investigator projects in experi- interfacing to numeric and non-numeric software systems. mental