《Information Processing 1962》求取 ⇩

CHAPTER ⅠOPENING SESSION1

The Spectrum of Information Processing＆A．WALTHER3

The Impact of Information Processing on Mankind＆I．L．AUERBACH8

CHAPTER ⅡSURVEY SESSION15

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

Towards a Mathematical Science of Computation＆J．MCCARTHY21

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

CHAPTER ⅢBUSINESS INFORMATION SYSTEMS33

1．Business Data Processing I35

Business Data Processing － A Review＆GRACE M． HOPPER35

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

Data Processing in English Banks＆R．HINDLE45

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

2．Business Data Processing II57

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

Mathematical Analysis of Merge-Sorting Techniques＆W．C．CARTER62

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

The Construction of Class-Teacher Time-Tables＆C．C．GOTLIEB73

Extending Management Capability by Electronic Computers＆A．VAZSONYI78

3．Panel on Business Systems＆R．W．STARREVELD,Organizer83

CHAPTER ⅣSCIENTIFIC INFORMATION PROCESSING91

1．Algebra93

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

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

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．KORGANOFF102

A Method for Solving Simultaneous Polynomial Equations＆P．H．BLUNDELL107

Strategy for Multidimensional Neutron Group Diffusion Computations＆E．L．WACHSPRESS112

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

2．Partial Differential Equations122

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

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

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

Numerical Calculation of Shock Waves＆L．GUERRI141

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

3．Differential and Integral Equations149

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

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

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

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．URICH169

4．Optimization Programming173

Large Linear Programs＆A．J．HOFFMAN173

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

The Use of Approximation Methods in Linear Programming＆J．HABR180

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

A Breakpoint Technique for Network Problems＆J．M．BENNETT190

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

5．Symposium on Matrix Computations＆A．S．HOUSEHOLDER,Organizer198

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

7．Symposium on Industrial Simulation＆G．BRETSCHNEIDER,Organizer213

8．Symposium on Data Reduction＆B．LANGEFORS,Organizer218

CHAPTER ⅤREAL-TIME INFORMATION PROCESSING223

1．Real-Time Information Processing225

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

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

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．WAUWE256

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

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

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

3．Panel on Numerical Control＆D．T．ROSS,Organizer258

CHAPTER ⅥINFORMATION RETRIEVAL265

1．Information Retrieval267

Information Retrieval － Review and Prospectus＆A．KENT267

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

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

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

Interrogating a Computer in Natural Language＆D．R．SWANSON288

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

CHAPTER ⅦLANGUAGE TRANSLATION299

1．Linguistic Analysis and Mechanical Translation of Langues301

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

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

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

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

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

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

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

CHAPTER ⅧDIGITAL COMMUNICATION339

1．Digital Communication341

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

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

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

Self-Correcting Decoding Circuits＆K．STEINBUCH and F．ZENDEH359

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

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

CHAPTER ⅨARTIFICIAL PERCEPTION377

1．Automata Theory379

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

Fundamentals of a Theory of Asynchronous Information Flow＆C．A．PETRI386

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

Toward Inductive Inference Automata＆L．J．FOGEL395

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

2．Machine Learning407

Learning,Generality and Problem Solving＆A．NEWELL407

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

Self-Organizing Grouping － A Learning Structure＆V．KUDIELKA419

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

Simulation of a Learning Machine for Playing GO＆H．REMUS428

3．Artificial Perception433

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

Towards the Automation of Binocular Depth Perception＆B．JULESZ439

The Phonetic Typewriter＆T．SAKAI and S．DOSHITA445

MUSE － A Sound Synthesizer＆W．SLAWSON451

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

Machine Recognition of Cursive Writing＆L．D．EARNEST462

4．Symposium on Pattern Recognition＆A．L．SAMUEL,Organizer467

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

6．Symposium on Artificial Intelligence＆M．MINSKY,Organizer478

CHAPTER ⅩADVANCED TECHNIQUES I485

1．Programming Languages and their Processing487

Programming Languages and their Processing＆K．SAMELSON487

ALGOL 60 Processors and a Processor Generator＆M．PAUL493

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

A Proposed ALGOL 60 Matrix Scheme＆S．J．M．DENISON503

On Table Operating Algorithms＆A．L．LOMBARDI509

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

3．Symposium on Programming Languages＆R．W．BEMER,Organizer518

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

CHAPTER ⅪADVANCED TECHNIQUES II533

1．Advanced Programming535

Some Meditations on Advanced Programming＆E．W．DIJKSTRA535

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

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

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．SLESINGER550

Requirements on a Language for Logical Data Processing＆P．LUCAS556

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

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

CHAPTER ⅫADVANCED TECHNIQUES III577

1．Memory Techniques579

High-Speed Memories＆W．E．PROEBSTER579

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

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

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

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

2．Circuits and Components608

Past and Future of Digital Computer Circuitry＆J．A．BRUSTMAN608

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

Ferrite Core Logic in All-Magnetic Technique＆U．HOLKEN617

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

Hydraulic and Pneumatic Switching Elements＆H．H．GLAETTLI632

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

4．Symposium on Advanced Components＆A．P．SPEISER,Organizer643

CHAPTER ⅩⅢADVANCED TECHNIQUES IV649

1．System Design I651

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

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

On a Flexible Implementation of Digital Computer Arithmetic＆A．AVIZIENIS664

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

2．System Design II678

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

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

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

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

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

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

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

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

CHAPTER ⅩⅣSWITCHING THEORY723

1．Switching Theory725

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

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

Digital Filters with Threshold Elements＆G．HOTZ736

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

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

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

CHAPTER ⅩⅤEDUCATION761

1．Panel on University Education in Information Processing761