• Aucun résultat trouvé

Advanced Computation Research

N/A
N/A
Protected

Academic year: 2021

Partager "Advanced Computation Research"

Copied!
2
0
0

Texte intégral

(1)

XXXI. ADVANCED COMPUTATION RESEARCH

Prof. H. M. Teager E. L. Ivie R. L. Ward

N. E. Bolen U. Shimony D. U. Wilde

RESEARCH OBJECTIVES

Our objective is to develop devices, systems, and languages for fruitful interaction between scientists and computers, through the use of the computer as a powerful, on-line aid to understanding. Taking cost and computer capacity into consideration, we can provide this facility by time-sharing a slightly modified computer with a normal-sized memory. The computer is equipped with random access files and many low-cost remote consoles, each of which has low-data-rate graphical and character-producing input-output devices. The consoles can be operated simultaneously.

Work in this field has been concerned with the following problems. We have tested on-line programming and computation, utilizing a system of multiple independent type-writers. An existing digital plotter has been connected to an IBM 709 computer, and we are constructing a special-purpose computer to control multiple independent plotters. A prototype of a high-resolution graphical input device for figures and symbols that are drawn by hand is being built. Design modifications for an IBM 7090 computer have been proposed and incorporated into the Computation Center machine. Scheduling systems for time-sharing and memory allocation have been simulated and found satisfactory. An information-retrieval system for programs and data is being designed. Programming systems for recognition of handwritten input are being checked out, and new graphical languages for several major problem classes for input and output have been partially specified.1-3

In a wider sense, we are investigating theoretical problems, such as associate memories, information-retrieval systems, pattern recognition, and machine organiza-tion, with a view toward the development of a comprehensive theory of computation and information processing.

H. M. Teager

References

1. H. M. Teager, Marriage of on-line human decision with computer programs, Naval Research Logistics Quarterly, December 1960, pp. 379-383.

2. H. M. Teager, Systems considerations in real-time computer usage, ONR Sym-posium on Automated Teaching, October 12, 1961.

3. Real-time, Time-shared Computer Project, First, Second, Third, and Fourth Quarterly Progress Reports on Contract ONR 1841(69), January, March, July, October

1961.

This work is supported in part by the Computation Center, M. I. T.

(2)

Références

Documents relatifs

The main contribution of this note is the extension of some stability and convergence results ([3], [19], [15], [18], [2]) to output error systems context and the derivation of

Our goal is thus to describe input-output decoupling and linearization for nonlinear time- varying delay systems and to understand the problems that may arise when constructing

In this paper, the quadratic separation principle, belonging to the input-output framework, is considered to deal with the stability analysis of linear time-varying delay

Unknown input observer for LPV systems with parameter varying output equation, in: 9th IFAC Sym- posium on Fault Detection, Supervision and Safety for Technical Processes,

TACS consists of a selection, depending on the channel feedback, of best antennas and MIMO WiMAX code (MA, MB, MC) to be used for transmission. A similarity between [27] and our

If we choose group STIT, of which the satisfiability prob- lem is undecidable [11], as our base logic, then our input/output STIT logic will be undecidable because the

Refinement correctness as defined in Definition 3.7 ex- presses that the refining IOSTS meets all properties of the refined IOSTS..

In this paper, we describe a semantics for a lazy language based on Haskell, supporting monadic I/O, mutable variables, usual recursive definitions, and value recursion.. Our