Information Processing 1962PDF电子书下载

CHAPTER Ⅰ OPENING SESSION 1

The Spectrum of Information Processing＆A．WALTHER 3

The Impact of Information Processing on Mankind＆I．L．AUERBACH 8

CHAPTER Ⅱ SURVEY SESSION 15

Some Examples of Numerical Methods and the Philosophy behind Them＆E．STIEFEL 17

Towards a Mathematical Science of Computation＆J．MCCARTHY 21

Digital Computers,Mathematical Logic and Principal Limitations of Computability＆H．GUMIN 29

CHAPTER Ⅲ BUSINESS INFORMATION SYSTEMS 33

1．Business Data Processing I 35

Business Data Processing － A Review＆GRACE M． HOPPER 35

Integrated Information Processing for Management of Nationalized Industries＆D．W．HOOPER 40

Data Processing in English Banks＆R．HINDLE 45

Computer Uses at Lamp Department,Canadian General Electric＆A．LEIGH 51

2．Business Data Processing II 57

Standardized Comparisons of Computer Performance＆J．A．GOSDEN and R．L．SISSON 57

Mathematical Analysis of Merge-Sorting Techniques＆W．C．CARTER 62

Some Airline Applications of Monte-Carlo System Simulations＆J．P．JEANNIOT and P．J．SANDIFORD 67

The Construction of Class-Teacher Time-Tables＆C．C．GOTLIEB 73

Extending Management Capability by Electronic Computers＆A．VAZSONYI 78

3．Panel on Business Systems＆R．W．STARREVELD,Organizer 83

CHAPTER Ⅳ SCIENTIFIC INFORMATION PROCESSING 91

1．Algebra 93

On a Modification of the QD-Algorithm with Graeffe-Type Convergence＆H．RUTISHAUSER 93

Sur certains procédés itératifs non linéaires de résolution de systèmes d＇équations du premier degré＆N．GASTINEL 97

Les polynomes d＇interpolation de matrices carrées à coefficients matriciels et les méthodes itératives de résolution numérique des équations de matrices carrées de forme quelconque＆A．KORGANOFF 102

A Method for Solving Simultaneous Polynomial Equations＆P．H．BLUNDELL 107

Strategy for Multidimensional Neutron Group Diffusion Computations＆E．L．WACHSPRESS 112

On Some Methods for Computing the Roots of Polynomials＆J．L．HOWLAND 116

2．Partial Differential Equations 122

Partial Differential Equations of the Mixed Type and Methods of Their Solution＆A．A．DORODNICYN 122

Automatic Calculation and Programming of Difference Equations for Elliptic Boundary Value Problems＆M．ENGELI and P．LAUCHLI 126

Numerical Studies of Implicit Iterative Methods for Solving Elliptic Difference Equations＆D．J．EVANS 132

Numerical Calculation of Shock Waves＆L．GUERRI 141

A Methematical Model of Drug Distribution and the Solution of Differential-Difference Equations＆BELLA KOTKIN 145

3．Differential and Integral Equations 149

Acceleration Techniques in Numerical Analysis,with Particular Reference to Problems in One Independent Variable＆P．WYNN 149

Nouvelle méthode pour l＇integration approchée des équations differentielles＆J．KUNTZMANN 157

Recherche des solutions d＇une équation de convolution＆J．ARSAC 163

A Difference Method for the Approximate Solution of the Initial Value Problem for Systems of Quasi-Linear Partial Differential Equations of the First Order＆R．ALBRECHT and W．URICH 169

4．Optimization Programming 173

Large Linear Programs＆A．J．HOFFMAN 173

The Method of Sequential Analysis of Variants for Determination of Optimal Solutions＆V．S．MICHALEVITCH 177

The Use of Approximation Methods in Linear Programming＆J．HABR 180

Application of the Steepest Ascent Method to Concave Programming＆T．PIETRZYKOWSKI 185

A Breakpoint Technique for Network Problems＆J．M．BENNETT 190

Application de la programmation linéaire en nombres entiers à un problème de découpe＆F．GENUYS 195

5．Symposium on Matrix Computations＆A．S．HOUSEHOLDER,Organizer 198

6．Symposium on Stability of Numerical Calculations＆G．DAHLQUIST,Organizer 207

7．Symposium on Industrial Simulation＆G．BRETSCHNEIDER,Organizer 213

8．Symposium on Data Reduction＆B．LANGEFORS,Organizer 218

CHAPTER Ⅴ REAL-TIME INFORMATION PROCESSING 223

1．Real-Time Information Processing 225

Vue d＇ensemble des problèmes fondamentaux du traitement des informations en temps réel＆F．H．RAYMOND 225

The Control of Traffic Signals with an Electronic Computer － A New Application of Real-Time Data Processing＆L．CASCIATO 231

Utilisation of an Analogue-to-Digital Linkage System in a Big Scientific Computing Centre＆C．GREEN,A．DEBROUX,G．P．DEL BIGIO,A．GAZZANO,H．D＇HOOP,A．RIOTTE and A．VAN．WAUWE 256

Met-Watch:A Technique for Processing and Scanning Meteorological Data with a Digital Computer＆R．B．STAUFFER and T．H．LEWIS 242

Nouvelle méthode de calcul du Dispatching Economique d＇un réseau de transport d＇enérgie＆J．CARPENTIER 247

2．Symposium on Mixed Analog-Digital Systems＆J．CARTERON,Organizer 252

3．Panel on Numerical Control＆D．T．ROSS,Organizer 258

CHAPTER Ⅵ INFORMATION RETRIEVAL 265

1．Information Retrieval 267

Information Retrieval － Review and Prospectus＆A．KENT 267

The Multi-List System for Real-Time Storage and Retrieval＆N．S．PRYWES and H．J．GRAY 273

Le SYNTOL (Syntagmatic Organization Language)＆J．C．GARDIN and F．LEVY 279

A Method for Using Computers in Information Classification＆R．M．NEEDHAM 284

Interrogating a Computer in Natural Language＆D．R．SWANSON 288

2．Symposium on Advanced Methods in Information Storage and Retrieval＆J．G．SANTESMASES,Organizer 294

CHAPTER Ⅶ LANGUAGE TRANSLATION 299

1．Linguistic Analysis and Mechanical Translation of Langues 301

The Use of Computers in Research on Machine Translation＆OLGA F．KOULAGINA 301

Multiple-Path Syntactic Analyzer＆S．KUNO and A．G．OETTINGER 306

On Some Axiomatic Systems for Formal Grammars and Languages＆K．CULIK 313

Rules of Interpretation － An Approach to the Problem of Computation in the Semantics of Natural Language＆M．KAY 318

Machine Translation and/or an International Language＆K．G．SELLIN 323

2．Symposium on Modern Techniques of Language Translation＆A．SESTIER,Organizer 326

3．Panel on Semantics and Syntactics＆A．G．OETTINGER,Organizer 333

CHAPTER Ⅷ DIGITAL COMMUNICATION 339

1．Digital Communication 341

A Survey of Several Aspects of Data Communication＆E．P．G．WRIGHT 341

Computer-to-Computer Communication at 2．5．Magabits．sec＆N．CLARK and A．C．GANNET 347

Dependence of Speech Quality on Transmitted Information Rate in a Band Compression System＆E．ROTHAUSER and F．LENK 354

Self-Correcting Decoding Circuits＆K．STEINBUCH and F．ZENDEH 359

Message Protection Features of the DATACOM Program＆A．E．MILLER,A．B．SHAFRITZ and J．R．SMITH 367

2．Symposium on Coding Theory＆H．C．A．VAN DUUREN,Organizer 373

CHAPTER Ⅸ ARTIFICIAL PERCEPTION 377

1．Automata Theory 379

Toward a Theory of Automata Based on more Realistic Primitive Elements＆A．W．BURKS 379

Fundamentals of a Theory of Asynchronous Information Flow＆C．A．PETRI 386

Finite and Combinatorial Automata．Turing Automata with a Programming Tape＆J．BECVAR 391

Toward Inductive Inference Automata＆L．J．FOGEL 395

Generalization of an Elementary Perceiving and Memorizing Machine＆E．A．FEIGENBAUM and H．A．SIMON 401

2．Machine Learning 407

Learning,Generality and Problem Solving＆A．NEWELL 407

Computer Simulations of a Perceptual Learning Model for Sensory Pattern Recognition,Concept Formation and Symbol Transformation＆C．VOSSLER and L．UHR 413

Self-Organizing Grouping － A Learning Structure＆V．KUDIELKA 419

The Development of a Conditional Probability Computer for Control Applications＆H．C．RATZ and G．H．M．THOMAS 423

Simulation of a Learning Machine for Playing GO＆H．REMUS 428

3．Artificial Perception 433

Digital Computer Usage in Analysis of Electroencephalograph and Similar Quasi-Rhythmic Patterns＆M．G．SAUNDERS 433

Towards the Automation of Binocular Depth Perception＆B．JULESZ 439

The Phonetic Typewriter＆T．SAKAI and S．DOSHITA 445

MUSE － A Sound Synthesizer＆W．SLAWSON 451

Un système analogique-digital pour la reconnaissance de caractères＆M．NADLER 456

Machine Recognition of Cursive Writing＆L．D．EARNEST 462

4．Symposium on Pattern Recognition＆A．L．SAMUEL,Organizer 467

5．Symposium on Biological and Psychological Aspects of Pattern Recognition＆T．A．KALIN,Organizer 471

6．Symposium on Artificial Intelligence＆M．MINSKY,Organizer 478

CHAPTER Ⅹ ADVANCED TECHNIQUES I 485

1．Programming Languages and their Processing 487

Programming Languages and their Processing＆K．SAMELSON 487

ALGOL 60 Processors and a Processor Generator＆M．PAUL 493

An Algorithm for the Translation of ALGOL Statements＆W．M．KEESE,Jr．,and H．D．HUSKEY 498

A Proposed ALGOL 60 Matrix Scheme＆S．J．M．DENISON 503

On Table Operating Algorithms＆A．L．LOMBARDI 509

2．Symposium on Languages for Processor Construction＆J．GREEN,Organizer 513

3．Symposium on Programming Languages＆R．W．BEMER,Organizer 518

4．Panel on Techniques for Processor Construction＆H．RUTISHAUSER,Organizer 524

CHAPTER Ⅺ ADVANCED TECHNIQUES II 533

1．Advanced Programming 535

Some Meditations on Advanced Programming＆E．W．DIJKSTRA 535

Program Organization and Record Keeping for Dynamic Storage Allocation＆A．W．HOLT 539

Programmed Control of Multi-Computer Systems＆R．PERKINS and W．C．MCGEE 545

Automatic Translation of Programs from one Computer to Another＆A．OPLER,D．FARBMAN,M．HEIT,W．KING,E．O＇CONNOR,R．GOLDFINGER,H．LANDOW,J．OGLE and D．SLESINGER 550

Requirements on a Language for Logical Data Processing＆P．LUCAS 556

2．Symposium on Advanced Computer Organization＆WALTER F．BAUER,Organizer 561

3．Symposium on Multi-Programming (Concurrent Programs)＆P．DREYFUS,Organizer 570

CHAPTER Ⅻ ADVANCED TECHNIQUES III 577

1．Memory Techniques 579

High-Speed Memories＆W．E．PROEBSTER 579

Nanosecond Speed in a Core Memory with Non-Destructive Read-Out＆J．SCHARBERT 585

Some Problems in the Design of Magnetic Film Storage Systems Operating at Millimicrosecond Speeds＆J．D．R．MCQUILLAN 590

A Read-Out Circuit for High-Speed Non-Destructively Read Stores＆G．H．PERRY and E．W．SHALLOW 597

A Tunnel-Diode High-Speed Memory＆S．TAKAHASHI,K．NAKAZAWA,K．MURATA and O．ISHII 603

2．Circuits and Components 608

Past and Future of Digital Computer Circuitry＆J．A．BRUSTMAN 608

Size and Speed of Thin-Magnetic-Film Computer Units＆H．J．HARLOFF 612

Ferrite Core Logic in All-Magnetic Technique＆U．HOLKEN 617

New Components for Ferroresonant Circuits＆M．ALIQUE,J．L．LLORET,I．SANTOS and M．A．ECED 625

Hydraulic and Pneumatic Switching Elements＆H．H．GLAETTLI 632

3．Symposium on Fast Memory Technology＆J．A．RAJCHMAN,Organizer 636

4．Symposium on Advanced Components＆A．P．SPEISER,Organizer 643

CHAPTER ⅩⅢ ADVANCED TECHNIQUES IV 649

1．System Design I 651

A Very Small Electronic Digital Computer with Stored Program Control＆H．GUMIN and F．K．KROOS 651

The Central Control Unit of the＂Atlas＂Computer＆F．H．SUMNER,G．HALEY and E．C．Y．CHEN 657

On a Flexible Implementation of Digital Computer Arithmetic＆A．AVIZIENIS 664

A Comparative Study of Propagation Speedup Circuits in Binary Arithmetic Units＆M．LEHMAN 671

2．System Design II 678

An Experimental System for Logic Design Data Accumulation and Retrieval＆R．J．PREISS 678

The KT Pilot Computer － A Micro-Programmed Computer with a Phototransistor Fixed Memory＆H．HAGIWARA,K．AMO,S．MATSUSHITA and H．YAMAUCHI 684

System Design of the ETL Mk-6 Computer＆S．TAKAHASHI,H．NISHINO,K．YOSHIHIRO and K．FUCHI 690

Design of an Arithmetic Unit Incorporating a Nesting Store＆R．H．ALLMARK and J．R．LUCKING 694

Modern Programming Methods and Problems and their Influence on the Design of Computing Instruments＆I．O．KERNER 699

3．Panel on Ultra-High-Speed Computers＆G．M．AMDAHL,Organizer 704

4．Panel on Priority Problems in Computer Systems＆M．V．WILKES,Organizer 711

5．Symposium on Optimum Routing in Large Networks＆M．L．JUNCOSA,Organizer 716

CHAPTER ⅩⅣ SWITCHING THEORY 723

1．Switching Theory 725

Fundamental Mode and Pulse Mode Operations of Sequential Circuits＆E．J．MCCLUSKEY 725

Application of a Finite Set Covering Theorem to the Simplification of Boolean Function Expressions＆M．B．WELLS 731

Digital Filters with Threshold Elements＆G．HOTZ 736

Threshold Logic with One or more than One Threshold＆P．ERCOLI and L．MERCURIO 741

Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions＆E．GOTO and H．TAKAHASI 747

2．Symposium on Switching Theory＆T．H．MOTT JR．,Organizer 753

CHAPTER ⅩⅤ EDUCATION 761

1．Panel on University Education in Information Processing 761