ABSTRACT
The concept of a mathematical laboratory has been developing throughout the lifetime of computers. The capabilities made available in systems supporting these laboratories range from symbolic integration, differentiation, polynomial and power series manipulation; through mathematical simulation; to direct control experimental systems. About 1961 two trends, one toward what has become known as on-line computation, the other toward time sharing gained enough recognition to develop national support and subsequently have come to represent what is now known as modern computation. An on-line system provides interactive facilities by which a user can exert deterministic influence over the computation sequence; a time-sharing system provides a means by which partial computations on several different problems may be interleaved in time and share facilities according to predetermined sharing algorithms. For reasons of economy it is hard to put a single user in direct personal control (on-line, that is) of a large scale computer. It is equally or more difficult to get adequate computation power for significant scientific applications out of any small scale economical computer. Consequently, on-line computing has come to depend upon time-sharing as its justifiable mode of implementation. On the other hand, valuable on-line applications have formed one of the major reasons for pushing forward the development of time-sharing systems. At present, both efforts have reached such a stage of fruition that one finds many systems incorporating selective aspects of the early experimental systems of both types.
In this chapter, we will bring out some of the key features of highly interactive direct control systems that have implications for continuing design effort aimed at furthering the development of experimental mathematical laboratories. We then present a brief description of the foundations of an existing facility at the University of California at Santa Barbara and illustrate its use in a typical application. Finally, we discuss some extension of the system which will provide deeper power for future experimental applications.
References
- 1.The T.R.W. Canoga Park System Culler, G.J., and B.D. Fried: An On-Line Computing Center for Scientific Problems, Proc. 1963 Pacific Computer Conference of the IEEE, March 1963, p. 221.Google Scholar
- 2.The S.T.L. Space Park System Culler, G.J., and B.D. Fried: The T.R.W. Two station On-Line Scientific Computer and General Description, Computer Augmentation of Human Reasoning, Spartan Press, 1965.Google Scholar
- 3.The Columbia University System Klerer, M, and J. May: Two-Dimensional Programming, Conference Proceedings of the Fall Joint Computer Conference 1965, Spartan Books, pp. 63-73, 1965.Google Scholar
- 4.The Amtran System Albert, M.R., P.C. Clem, L.A. Flenker, J. Reinfelds, R.N. Seitz, and L.H. Wood: The Amtran Sampler System INstruction Manual, NASA Technical Memorandum, NASA TM X-53342, July 1966.Google Scholar
- 5.The University of California, Santa Barbara System Culler, G.J.: The User's Manual for an On-Line System, On-Line Computing, McGraw Hill, 1967.Google Scholar
- 6.The MAP System Kaplow, R., S. Strong J. Brachett: MAP- A System for On-Line Mathematical Analysis, MIT Publication, MAC TR 24, January 1966.Google Scholar
- 7.The Harvard System Ruyle, A.: The Development of Systems for On-Line Mathematics at Harvard, ACM Symposium on Interactive Systems for Experimental Applied Mathematics, August 1967.Google Scholar
- 1.Culler, G.J., B.D. Fried, R.W. Huff, and J.R. Schrieffer; Solution of the Gap Equation for a Superconductor, Phys. Rev. Letters, vol. 8, p. 399, 1962.Google Scholar
Cross Ref
- 2.Fried, B.D., and G.J. Culler: Plasma Oscillations in an External Electric Field, Phys. Fluids, vol. 6, p. 1128. 1963.Google Scholar
- 3.Schrieffer, J.R., D.J. Scalapino, and J.W. Wilkins: Effective Tunneling Density of States in Superconductors, Phys. Rev. Letters, vol. 10, p. 336, 1963.Google Scholar
Cross Ref
- 4.Johnson, Kenneth, and Marshall Baker: Quantum Electrodynamics, Phys. Letters, vol. 11, p. 518, 1963.Google Scholar
Cross Ref
- 5.Cheng, Hung, and David Sharp: Formulation and Numerical Solution of Sets of Dynamical Equations for Regge Pole Parameters, Phys. Rev. Letters, vot. 132, p. 1854, 1963.Google Scholar
- 6.Field, E.C., and B.D. Fried: Solution of Kinetic Equation for an Unstable Plasma in an Electric Field, Phys. Fluids, vol. 7, p. 1937, 1964.Google Scholar
Cross Ref
- 7.Bullock, D.L., : Exchange Ratio in CuP2 2H20 TRW/STL Report 9891-6001-RU-000, April 1965.Google Scholar
- 8.Dixon, W.J., : AV to Enter Orbit About Mars, TRW IOC VM-2, April 1965.Google Scholar
- 9.DeNuzzo, J.: On-Line Solution of 2-D Trajectory Equations, TRW/STL Report 9801-6013-TU-000, May 1965.Google Scholar
- 10.Nishinago, R.G.: Preliminary Design Considerations for a Gyro-damped Gravity Gradient Satellite, TRW/STL Report 8427-6005-RU-000, May 1965.Google Scholar
- 11.Margulies, R.S.: Response of a Peak-reading Instrument to a Contaminated Signal, TRW/STL Report 9990-6963-TU-000, June 1965.Google Scholar
- 12.Pate, N.C., and S.M. Zivi: An Analysis of the Efficiency of Elliots Liquid Metal MHD Energy Conversion Cycle and IT Applicability to the Power Range of 3 to 30 KWE, TRW Systems Report 9806-602-MU-000, July 1965.Google Scholar
- 13.Fried, B.D., and L.O. Heflinger: Scaling Law for MHD Acceleration. TRW Systems Report 9801-6014-RU-000. July 1965.Google Scholar
- 14.Fried. R.D., and S.L. Ossakow: The Kinetic Equation for an Unstable Plasma in Parallel Electric and Magnetic Fields, UCLA Report R-3 Plasma Physics Group, November 1965.Google Scholar
- 15.Fried, B.D. and A.Y. Wong: Stability Limits for Longitudinal Waves in Ion Beam-Plasma Interactions. TRW Systems Report 9801-6015-RU-000. August 1965.Google Scholar
- 16.Coward, D.J.: Exact Inversion of Plasma Dispersion Relations. Phys. Fluids.Google Scholar
- 17.Collins. L: The Calculation of Unpaired Electron Density on the Nucleus of Many-electrons with a Thomas-Fermi-Dirac Potential.Google Scholar
- 18.Madon, Rabi: Superperturbation and Super-perturbation Theory Bounds on Electron Hydrogen Scattering.Google Scholar
Index Terms
Mathematical laboratories: a new power for the physical and social sciences




Comments