close
1.

図書

図書
Ginestra Bianconi
出版情報: Oxford : Oxford University Press, c2018  xiv, 402 p. ; 26 cm
所蔵情報: loading…
2.

図書

図書
Nicolae Lobontiu
出版情報: London : Academic Press, c2018  xxiii, 759 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
Barbara F. Medina
出版情報: New York : Gordon and Breach Science Publishers, c1981  xiv, 80 p. ; 24 cm
所蔵情報: loading…
4.

図書

図書
Rodolfo J. Aguilar
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1973  x, 405 p ; 24 cm
シリーズ名: Prentice-Hall civil engineering and engineering mechanics series
所蔵情報: loading…
5.

図書

図書
John B. Benton
出版情報: Lexington, Mass. : Lexington Books, c1973  xvi, 271 p. ; 24cm
所蔵情報: loading…
6.

図書

図書
David Berlinski
出版情報: Cambridge, Mass. : MIT Press, c1976  x, 186 p. ; 24 cm
所蔵情報: loading…
7.

図書

図書
N.K. Bose
出版情報: New York : Van Nostrand Reinhold, c1982  xvi, 411 p. ; 24 cm
シリーズ名: Van Nostrand Reinhold electrical/computer science and engineering series
所蔵情報: loading…
8.

図書

図書
[by] John W. Brewer
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1974  xii, 548 p ; 24 cm
所蔵情報: loading…
9.

図書

図書
Wim K. M. Brauers
出版情報: Amsterdam ; New York : Elsevier, 1976  x, 167 p. ; 25 cm
所蔵情報: loading…
10.

図書

図書
edited by Augusto A. Legasto, Jr. , Jay W. Forrester, James M. Lyneis
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : distributors for the U.S., Elsevier/North-Holland, 1980  ix, 282 p. ; 24 cm
シリーズ名: TIMS studies in the management sciences ; v. 14
所蔵情報: loading…
11.

図書

図書
W.S. Turner ... [et al.]
出版情報: Rijswijk, The Netherlands : PANDATA , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xiii, 931 p. ; 25 cm
所蔵情報: loading…
12.

図書

図書
W. Everling
出版情報: Berlin ; New York : Springer-Verlag, 1975  iv, [4] 184 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 35
所蔵情報: loading…
13.

図書

図書
Alan V. Oppenheim, Alan S. Willsky with Ian T. Young
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983  xix, 796 p. ; 24 cm
シリーズ名: Prentice Hall signal processing series
所蔵情報: loading…
目次情報: 続きを見る
Signals and Systems / 1:
Continuous-Time and Discrete-Time Signals
Transformations of the Independent Variable
Exponential and Sinusoidal Signals
The Unit Impulse and Unit Step Functions
Continuous-Time and Discrete-Time Systems
Basic System Properties
Linear Time-Invariant Systems / 2:
Discrete-Time LTI Systems: The Convolution Sum
Continuous-Time LTI Systems: The Convolution Integral
Properties of Linear Time-Invariant Systems
Causal LTI Systems Described by Differential and Difference Equations
Singularity Functions
Fourier Series Representation of Periodic Signals / 3:
A Historical Perspective
The Response of LTI Systems to Complex Exponentials
Fourier Series Representation of Continuous-Time Periodic Signals
Convergence of the Fourier Series
Properties of Continuous-Time Fourier Series
Fourier Series Representation of Discrete-Time Periodic Signals
Properties of Discrete-Time Fourier Series
Fourier Series and LTI Systems
Filtering
Examples of Continuous-Time Filters Described by Differential Equations
Examples of Discrete-Time Filters Described by Difference Equations
The Continuous-Time Fourier Transform / 4:
Representation of Aperiodic Signals: The Continuous-Time Fourier Transform
The Fourier Transform for Periodic Signals
Properties of the Continuous-Time Fourier Transform
The Convolution Property
The Multiplication Property
Tables of Fourier Properties and Basic Fourier Transform Pairs
Systems Characterized by Linear Constant-Coefficient Differential Equations
The Discrete-Time Fourier Transform / 5:
Representation of Aperiodic Signals: The Discrete-Time Fourier Transform
Properties of the Discrete-Time Fourier Transform
Tables of Fourier Transform Properties and Basic Fourier Transform Pairs
Duality
Systems Characterized by Linear Constant-Coefficient Difference Equations
Time- and Frequency Characterization of Signals and Systems / 6:
The Magnitude-Phase Representation of the Fourier Transform
The Magnitude-Phase Representation of the Frequency Response of LTI Systems
Time-Domain Properties of Ideal Frequency-Selective Filters
Time- Domain and Frequency-Domain Aspects of Nonideal Filters
First-Order and Second-Order Continuous-Time Systems
First-Order and Second-Order Discrete-Time Systems
Examples of Time- and Frequency-Domain Analysis of Systems
Sampling / 7:
Representation of a Continuous-Time Signal by Its Samples: The Sampling Theorem
Reconstruction of a Signal from Its Samples Using Interpolation
The Effect of Undersampling: Aliasing
Discrete-Time Processing of Continuous-Time Signals
Sampling of Discrete-Time Signals
Communication Systems / 8:
Complex Exponential and Sinusoidal Amplitude Modulation
Demodulation for Sinusoidal AM. Frequency-Division Multiplexing
Single-Sideband Sinusoidal Amplitude Modulation
Amplitude Modulation with a Pulse-Train Carrier
Pulse-Amplitude Modulation
Sinusoidal Frequency Modulation
Discrete-Time Modulation
The Laplace Transform / 9:
The Region of Convergence for Laplace Transforms
The Inverse Laplace Transform
Geometric Evaluation of the Fourier Transform from the Pole-Zero Plot
Properties of the Laplace Transform
Some Laplace Transform Pairs
Analysis and Characterization of LTI System
Signals and Systems / 1:
Continuous-Time and Discrete-Time Signals
Transformations of the Independent Variable
14.

図書

図書
Paul M. Frank
出版情報: New York : Academic Press, 1978  xiv, 386 p. ; 24 cm
所蔵情報: loading…
15.

図書

図書
H.L. Capron
出版情報: Reading, Mass. ; Tokyo : Benjamin/Cummings Pub. Co., c1986  xxvii, 525 p. ; 24 cm
所蔵情報: loading…
16.

図書

図書
edited by Roger Cavallo
出版情報: Boston : Kluwer/Nijhoff , Hingham, Mass. : Distributors for North America, Kluwer Boston, c1982  x, 194 p. ; 24 cm
シリーズ名: Frontiers in systems research ; v. 2
所蔵情報: loading…
17.

図書

図書
edited by E.R. Caianiello and M.A. Aizerman
出版情報: Dordrecht ; Tokyo : D. Reidel, c1987  v, 208 p. ; 25 cm
シリーズ名: Theory and decision library ; ser. D . System theory, knowledge engineering, and problem solving
所蔵情報: loading…
18.

図書

図書
William J. Palm III
出版情報: New York : Wiley, c1983  xx, 740 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Modeling and Analysis of Mechanical Systems
Modeling of Electrical Systems
Elasticity, Damping, and Mechanical Transformers
Fluid and Thermal Systems
Frequency Response and Vibration
Introduction to Feedback Control Systems
Control System Design: Tuning, Compensation, and Digital Control
The Root Locus Method
Applications of Graphical Methods to System Design
State-Variable Methods for Control System Design
Appendices
Index
Modeling and Analysis of Mechanical Systems
Modeling of Electrical Systems
Elasticity, Damping, and Mechanical Transformers
19.

図書

図書
John Casti
出版情報: Chichester [Eng.] ; New York : J. Wiley, c1979  xiii, 203 p. ; 24 cm
シリーズ名: International series on applied systems analysis ; 7
所蔵情報: loading…
20.

図書

図書
Peter D. Blair
出版情報: Boston : M. Nijhoff Pub., 1979  163 p. ; 24 cm
シリーズ名: Studies in applied regional science ; v. 14
所蔵情報: loading…
21.

図書

図書
by Tom DeMarco ; foreword by P.J. Plauger
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1979  xiv, 352 p. ; 24 cm
シリーズ名: Prentice-Hall software series
所蔵情報: loading…
目次情報: 続きを見る
Basic Concepts / Part 1:
The Meaning of Structured Analysis / 1.:
Conduct of the analysis phase / 2.:
The Tools of Structured Analysis / 3.:
Data Flow Diagrams / 4.:
Data Flow Diagram conventions / 5.:
Guidelines for drawing Data Flow Diagrams / 6.:
Leveled Data Flow Diagrams / 7.:
A Case Study in Structured Analysis / 8.:
Evaluation and Refinement of Data Flow Diagrams / 9.:
Data Flow Diagrams for System Specification / 10.:
Data Dictionary / Part 3:
The analysis phase Data Dictionary / 11.:
Definitions in the Data Dictionary / 12.:
Logical Data Structures / 13.:
Data Dictionary Implementation / 14.:
Process Specification / Part 4:
Description of Primitives / 15.:
Structured English / 16.:
Alternatives for Process Specification / 17.:
System Modeling / Part 5:
Use of System Models / 18.:
Building a Logical Model of the Current System / 19.:
Building a Logical Model of a Future System / 20.:
Physical Models / 21.:
Packaging the Structured Specification / 22.:
Structured Analysis for a Future System / Part 6:
Looking Ahead to the Later Project Phases / 23.:
Maintaining the Structured Specification / 24.:
Transition into the Design Phase / 25.:
Acceptance Testing / 26.:
Heuristics for Estimating / 27.:
Glossary
Bibliography
Index
Basic Concepts / Part 1:
The Meaning of Structured Analysis / 1.:
Conduct of the analysis phase / 2.:
22.

図書

図書
David G. Luenberger
出版情報: New York : Wiley, c1979  xiv, 446 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Difference and Differential Equations
Linear Algebra
Linear State Equations
Linear Systems with Constant Coefficients
Positive Linear Systems
Markov Chains
Concepts of Control
Analysis of Nonlinear Systems
Some Important Dynamic Systems
Optimal Control
References
Index
Difference and Differential Equations
Linear Algebra
Linear State Equations
23.

図書

図書
by Oskar Lange ; prepared with the collaboration of Antoni Banasiński on the basis of lectures delivered at the University of Warsaw ; translated from the Polish by Józef Stadler
出版情報: Oxford : Pergamon, 1970  xv, 183 p. ; 22 cm
所蔵情報: loading…
24.

図書

図書
James L. Peterson
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1981  x, 290 p. ; 24 cm
所蔵情報: loading…
25.

図書

図書
by Rajnikant V. Patel and Neil Munro
出版情報: Oxford ; New York : Pergamon Press, 1982  xii, 374 p. ; 23 cm
シリーズ名: International series on systems and control ; v. 4
所蔵情報: loading…
26.

図書

図書
Panos Z. Marmarelis and Vasilis Z. Marmarelis
出版情報: New York : Plenum Press, c1978  xvi, 487 p. ; 24 cm
シリーズ名: Computers in biology and medicine
所蔵情報: loading…
27.

図書

図書
compiled and introduced by R.S. MacKay and J.D. Meiss
出版情報: Bristol : Hilger, c1987  xii, 784 p. ; 24 cm
所蔵情報: loading…
28.

図書

図書
[by] Ida R. Hoos
出版情報: Berkeley : University of California Press, 1972  viii, 259 p. ; 25 cm
所蔵情報: loading…
29.

図書

図書
P.M. Anderson, A.A. Fouad
出版情報: Ames : Iowa State University Press, 1977  xi, 464 p. ; 26 cm
所蔵情報: loading…
30.

図書

図書
P. Ramalingam
出版情報: New York : Wiley, c1976  xv, 607 p. ; 24 cm
所蔵情報: loading…
31.

図書

図書
[by] Howard Frank [and] Ivan T. Frisch
出版情報: Reading, Mass. : Addison-Wesley Pub. Co, c1971  xiii, 479 p. ; 25 cm
シリーズ名: Addison-Wesley series in electrical engineering
所蔵情報: loading…
32.

図書

図書
Elwood S. Buffa
出版情報: Santa Barbara : Wiley, c1976  xii, 686 p. ; 25 cm
シリーズ名: Wiley series in management and administration
所蔵情報: loading…
33.

図書

図書
edited by W. Harmon Ray, Demetrios G. Lainiotis
出版情報: New York : M. Dekker, c1978  x, 597 p. ; 24 cm
シリーズ名: Control and systems theory / editor, Jerry M. Mendel ; associate editors, Karl J. Aström, Michael Athans, David G. Luenberger ; v. 6
所蔵情報: loading…
34.

図書

図書
Robert L. Flood and Ewart R. Carson
出版情報: New York : Plenum Press, c1988  xv, 289 p. ; 26 cm
所蔵情報: loading…
35.

図書

図書
by Avraham Feintuch, Richard Saeks
出版情報: New York ; Tokyo : Academic Press, 1982  xiii, 310 p. ; 24 cm
シリーズ名: Pure and applied mathematics ; 102
所蔵情報: loading…
36.

図書

図書
Shankar Sastry
出版情報: New York ; Tokyo : Springer, c1999  xxv, 667 p. ; 25 cm
シリーズ名: Interdisciplinary applied mathematics ; v. 10
所蔵情報: loading…
37.

図書

図書
Dietmar Findeisen
出版情報: Berlin : Springer, c2000  xxi, 383 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
From the contents: Theory of Dynamic Systems
Classification of Units
Systems Modelling by Diagrams
Systems Modelling by Governing Equations
Model Formulation by Equations of Motion
Concepts of Mobility and Dynamics Compliance
Power System Dynamics
Generalized Theorems and Properties of Two-Port Signal Networks
Special Theorems of Transmission in Mechanical Lumped Networks
Appendix
Complete System Responses
Time and Frequency Responses
From the contents: Theory of Dynamic Systems
Classification of Units
Systems Modelling by Diagrams
38.

図書

図書
Richard A. Layton
出版情報: New York : Springer, c1998  xiii, 155 p. ; 24 cm
シリーズ名: Mechanical engineering series
所蔵情報: loading…
39.

図書

図書
Julius S. Bendat
出版情報: New York : Wiley, c1998  xiii, 474 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Linear Systems, Random Data
Zero-Memory Nonlinear Systems
Direct and Reverse MI/SO
Techniques for Analysis and Identification of Nonlinear Systems
Parallel Linear and Nonlinear Systems
Determination of Physical Parameters with Memory in Nonlinear Systems
Nonlinear System Response Properties of a Naval Frigate from Measured Ocean Engineering Data
Nonlinear System Response Properties of a Naval Barge from Measured Ocean Engineering Data
Bilinear and Trilinear Systems
Input Output Relations for Bilinear and Trilinear Systems
References
Index
Glossary of Symbols
Linear Systems, Random Data
Zero-Memory Nonlinear Systems
Direct and Reverse MI/SO
40.

図書

図書
Gary William Flake
出版情報: Cambridge, Mass : The MIT Press, c1998  xviii, 493 p. ; 24 cm
シリーズ名: Bradford book
所蔵情報: loading…
目次情報: 続きを見る
Preface
How to Read This Book
Dealing with Difficult Subjects
Personal Motivation
Acknowledgments
Introduction / 1:
Simplicity and Complexity / 1.1:
The Convergence of the Sciences / 1.2:
The Silicon Laboratory / 1.3:
Computation / I:
Number Systems and Infinity / 2:
Introduction to Number Properties / 2.1:
Counting Numbers / 2.2:
Rational Numbers / 2.3:
Irrational Numbers / 2.4:
Further Reading / 2.5:
Computability and Incomputability / 3:
Godelization / 3.1:
Models of Computation / 3.2:
Lisp and Stutter / 3.3:
Equivalence and Time Complexity / 3.4:
Universal Computation and Decision Problems / 3.5:
Incomputability / 3.6:
Number Sets Revisited / 3.7:
Postscript: Computation / 3.8:
Godel's Incompleteness Result / 4.1:
Incompleteness versus Incomputability / 4.2:
Discrete versus Continuous / 4.3:
Incomputability versus Computability / 4.4:
Fractals / 4.5:
Self-Similarity and Fractal Geometry / 5:
The Cantor Set / 5.1:
The Koch Curve / 5.2:
The Peano Curve / 5.3:
Fractional Dimensions / 5.4:
Random Fractals in Nature and Brownian Motion / 5.5:
Further Exploration / 5.6:
L-Systems and Fractal Growth / 5.7:
Production Systems / 6.1:
Turtle Graphics / 6.2:
Affine Transformation Fractals / 6.3:
A Review of Linear Algebra / 7.1:
Composing Affine Linear Operations / 7.2:
The Multiple Reduction Copy Machine Algorithm / 7.3:
Iterated Functional Systems / 7.4:
The Mandelbrot Set and Julia Sets / 7.5:
Iterative Dynamical Systems / 8.1:
Complex Numbers / 8.2:
The Mandelbrot Set / 8.3:
The M-Set and Computability / 8.4:
The M-Set as the Master Julia Set / 8.5:
Other Mysteries of the M-Set / 8.6:
Postscript: Fractals / 8.7:
Algorithmic Regularity as Simplicity / 9.1:
Stochastic Irregularity as Simplicity / 9.2:
Effective Complexity / 9.3:
Chaos / 9.4:
Nonlinear Dynamics in Simple Maps / 10:
The Logistic Map / 10.1:
Stability and Instability / 10.2:
Bifurcations and Universality / 10.3:
Prediction, Layered Pastry, and Information Loss / 10.4:
The Shadowing Lemma / 10.5:
Characteristics of Chaos / 10.6:
Strange Attractors / 10.7:
The Henon Attractor / 11.1:
A Brief Introduction to Calculus / 11.2:
The Lorenz Attractor / 11.3:
The Mackey-Glass System / 11.4:
Producer-Consumer Dynamics / 11.5:
Producer-Consumer Interactions / 12.1:
Predator-Prey Systems / 12.2:
Generalized Lotka-Volterra Systems / 12.3:
Individual-Based Ecology / 12.4:
Unifying Themes / 12.5:
Controlling Chaos / 12.6:
Taylor Expansions / 13.1:
Vector Calculus / 13.2:
Inner and Outer Vector Product / 13.3:
Eigenvectors, Eigenvalues, and Basis / 13.4:
OGY Control / 13.5:
Controlling the Henon Map / 13.6:
Postscript: Chaos / 13.7:
Chaos and Randomness / 14.1:
Randomness and Incomputability / 14.2:
Incomputability and Chaos / 14.3:
Complex Systems / 14.4:
Cellular Automata / 15:
One-Dimensional CA / 15.1:
Wolfram's CA Classification / 15.2:
Langton's Lambda Parameter / 15.3:
Conway's Game of Life / 15.4:
Natural CA-like Phenomena / 15.5:
Autonomous Agents and Self-Organization / 15.6:
Termites / 16.1:
Virtual Ants / 16.2:
Flocks, Herds, and Schools / 16.3:
Competition and Cooperation / 16.4:
Game Theory and Zero-Sum Games / 17.1:
Nonzero-Sum Games and Dilemmas / 17.2:
Iterated Prisoner's Dilemma / 17.3:
Stable Strategies and Other Considerations / 17.4:
Ecological and Spatial Worlds / 17.5:
Final Thoughts / 17.6:
Natural and Analog Computation / 17.7:
Artificial Neural Networks / 18.1:
Associative Memory and Hebbian Learning / 18.2:
Recalling Letters / 18.3:
Hopfield Networks and Cost Optimization / 18.4:
Postscript: Complex Systems / 18.5:
Phase Transitions in Networks / 19.1:
Phase Transitions in Computation / 19.2:
Phase Transitions and Criticality / 19.3:
Adaptation / 19.4:
Genetics and Evolution / 20:
Biological Adaptation / 20.1:
Heredity as Motivation for Simulated Evolution / 20.2:
Details of a Genetic Algorithm / 20.3:
A Sampling of GA Encodings / 20.4:
Schemata and Implicit Parallelism / 20.5:
Other Evolutionary Inspirations / 20.6:
Classifier Systems / 20.7:
Feedback and Control / 21.1:
Production, Expert, and Classifier Systems / 21.2:
The Zeroth Level Classifier System / 21.3:
Experiments with ZCS / 21.4:
Neural Networks and Learning / 21.5:
Pattern Classification and the Perceptron / 22.1:
Linear Inseparability / 22.2:
Multilayer Perceptrons / 22.3:
Backpropagation / 22.4:
Function Approximation / 22.5:
Internal Representations / 22.6:
Other Applications / 22.7:
Postscript: Adaptation / 22.8:
Models and Search Methods / 23.1:
Search Methods and Environments / 23.2:
Environments and Models / 23.3:
Adaptation and Computation / 23.4:
Epilogue / 23.5:
Duality and Dichotomy / 24:
Web of Connections / 24.1:
Interfaces to Hierarchies / 24.2:
Limitations on Knowledge / 24.3:
Source Code Notes
Glossary
Bibliography
Index
Preface
How to Read This Book
Dealing with Difficult Subjects
41.

図書

図書
The Rand Fire Project ; editors, Warren E. Walker, Jan M. Chaiken, Edward J. Ignall ; contributing authors, Rae W. Archibald ... [et al.] ; editorial consultant, Barry Richman
出版情報: New York : North Holland, c1979  xxi, 673 p. ; 24 cm
シリーズ名: Publications in operations research series ; v. 2
所蔵情報: loading…
42.

図書

図書
Robert J. Walsh
出版情報: Englewood Cliffs, N.J. : Business and Professional Books Division, Prentice-Hall, c1985  xvi, 287 p. ; 25 cm
所蔵情報: loading…
43.

図書

図書
Frédéric Geurts
出版情報: Berlin : Springer, c1998  xiv, 280 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1426
所蔵情報: loading…
目次情報: 続きを見る
Foreword / Michel Sintzoff
Preface
Prologue: Aims, Themes, and Motivations / 1:
Complex Relational Dynamical Systems / 1.1:
The Context: A First Contact with Dynamical Systems / 1.1.1:
Mutual Exclusion / 1.1.2:
Social Pressure / 1.1.3:
On the Chaotic Demography of Rabbits / 1.1.4:
Tools and Motivations / 1.2:
Overview of the Monograph / 1.3:
Mathematical Framework: Iterated Relations and Composition / Part I:
Dynamics of Relations / 2:
Functional Discrete-Time Dynamical Systems / 2.1:
Relational Dynamical Systems / 2.2:
Point-Level Nondeterministic Dynamics / 2.2.1:
Set-Level Deterministic Dynamics / 2.2.2:
Comparison / 2.2.3:
Preliminary Definitions and Properties / 2.3:
Basic Definitions About Relations / 2.3.1:
Notions from Topology / 2.3.2:
Monotonicity and General Junctivity Properties / 2.3.3:
Fixpoint Theorems / 2.3.4:
Elementary Properties / 2.3.5:
Metric Properties / 2.3.6:
Transfinite Iterations / 2.4:
Motivation / 2.4.1:
Transfinite Fixpoint Theorem / 2.4.2:
Transfinite Limits of Iterations / 2.4.3:
Discussion / 2.5:
Relations vs Functions / 2.5.1:
Set-Level Dynamics and Predicate-Transformers / 2.5.2:
Point-Level Dynamics and Trace Semantics / 2.5.3:
Nondeterminism and Probabilistic Choices / 2.5.4:
Time Structure / 2.5.5:
Dynamics of Composed Relations / 3:
Structural Composition / 3.1:
Composition of Relations / 3.2:
Unary Operators / 3.2.1:
N-Ary Operators / 3.2.2:
Composed Dynamical Systems / 3.2.3:
One-Step Set-Level Evolution of Composed Relations / 3.3:
Point-Level Dynamics of Composed Systems / 3.3.2:
Algebraic Properties of Composition Operators / 3.4:
Composition of Unary Operators / 3.4.1:
Composition of Unary and N-Ary Operators / 3.4.2:
Composition of N-Ary Operators / 3.4.3:
Fixpoint Theory for the Composition / 3.4.4:
Composition Operators / 3.5:
Nondeterminism and Probabilities Revisited / 3.5.2:
Fixpoint Operator and Composition / 3.5.3:
Abstract Complexity: Abstraction, Invariance, Attraction / Part II:
Abstract Observation of Dynamics / 4:
Observation of Systems / 4.1:
Trace-Based Dynamics / 4.2:
Symbolic Observation / 4.3:
Abstraction of Systems / 4.4:
Qualitative Abstract Verification / 4.5:
Observation as Abstraction / 4.6:
Observation and Abstraction: Related Work / 4.7:
Symbolic Dynamics vs Astract Observation / 4.7.2:
Invariance, Attraction, Complexity / 4.7.3:
Invariance / 5.1:
Forward and Backward Invariance / 5.1.1:
Global Invariance / 5.1.2:
Strong Invariance / 5.1.3:
Structure of Invariants / 5.2:
Trace-Parametrized Invariants / 5.2.1:
Fullness and Atomicity / 5.2.2:
Chaos / 5.2.3:
Fullness Implies Trace Chaos / 5.2.4:
Fullness and Atomicity Imply Knudsen Chaos / 5.2.5:
Devaney vs Trace vs Knudsen Chaos / 5.2.6:
Fullness and Atomicity Criteria / 5.3:
Criteria / 5.3.1:
Case Studies: Dyadic Map, Cantor Relation, Logistic Map / 5.3.2:
Attraction / 5.4:
Intuition: From Reachability to Attraction / 5.4.1:
From Weak to Full Attraction / 5.4.2:
A Taxonomy of Attraction / 5.4.3:
Attraction Criteria / 5.5:
Attraction by Invariants / 5.6:
Invariance and Attraction: Related Notions / 5.7:
Energy-Like Functions / 5.7.2:
Dynamical Complexity / 5.7.3:
Abstract Compositional Analysis of Systems: Dynamics and Computations / Part III:
Compositional Analysis of Dynamical Properties / 6:
Aims and Informal Results / 6.1:
Inversion / 6.2:
Restrictions / 6.3:
Domain Restriction / 6.3.1:
Range Restriction / 6.3.2:
Negation / 6.4:
Sequential Composition / 6.5:
Intersection / 6.6:
Union / 6.7:
Products / 6.8:
Free Product / 6.8.1:
Connected Product / 6.8.2:
Combining Union with Free Product / 6.9:
Compositionality: Summary / 6.10:
Limitations and Open Problems / 6.10.2:
Related Work / 6.10.3:
Emergence of Complexity by Structural Composition / 6.10.4:
Case Studies: Compositional Analysis of Dynamics / 7:
A Collection of Complex Behaviors / 7.1:
Smale Horseshoe Map / 7.2:
Cantor Relation / 7.3:
From Cantor Relation to Truncated Logistic Map / 7.4:
Paperfoldings / 7.5:
Introduction / 7.5.1:
Paperfolding Sequences / 7.5.2:
Dynamical Complexity of Paperfoldings / 7.5.3:
Partial Conclusions / 7.5.4:
Discussion: Compositional Dynamical Complexity / 7.6:
Experimental Compositional Analysis of Cellular Automata / 8:
Aims and Motivations: Attraction-Based Classification and Composition / 8.1:
Preliminary Notions / 8.2:
Cellular Automata / 8.2.1:
Transfinite Attraction / 8.2.2:
Shifted Hamming Distance / 8.2.3:
Experimental Classification / 8.3:
Formal Attraction-Based Classification / 8.4:
Type-<$>{\cal N}<$> Cellular Automata / 8.4.1:
Type-<$>{\cal F}<$> Cellular Automata / 8.4.3:
Type-<$>{\cal P}<$> Cellular Automata / 8.4.4:
Type-<$>{\cal S}<$> Cellular Automata / 8.4.5:
Type-<$>{\cal A}<$> Cellular Automata / 8.4.6:
Structural Organizations of CA Classes / 8.4.7:
Motivation: Simulation vs Theoretical Results / 8.5.1:
Linear Periodicity Hierarchy / 8.5.2:
Periodicity Clustering / 8.5.3:
Organization w.r.t. Shifted Hamming Distance / 8.5.4:
Dynamical Complexity in CA / 8.5.5:
Conjectures in CA Composition / 8.6:
Complexity by Composition of Shifts / 8.7:
Rules 2 and 16 / 8.7.1:
A More Precise Conjecture / 8.7.2:
Qualitative Analysis and Complexity Measures / 8.8:
Compositional Analysis of Complex CA / 8.9:
Local Disjunction, Local Union, and Global Union / 8.9.1:
Comparison and Summary of Results / 8.9.2:
Summary and Partial Conclusion / 8.10:
Open Questions / 8.10.2:
Classification: State-of-the-Art / 8.10.3:
Aperiodicity in Cellular Automata / 8.10.4:
Related Work in Composition / 8.10.5:
Compositional Analysis of Computational Properties / 9:
Automata as Dynamical Systems / 9.1:
Comparing Dynamical Systems / 9.2:
Extrinsic Method / 9.2.1:
Intrinsic Method / 9.2.2:
Our Comparison / 9.2.3:
From Locality to Globality / 9.3:
Turing Machines / 9.3.1:
Continuous Functions / 9.3.2:
General Model / 9.3.4:
Comparison Through Simulation / 9.4:
Simulation / 9.4.1:
Choice of Coding / 9.4.2:
From TM to CA / 9.4.3:
From CA to CF / 9.4.4:
Weak Hierarchy / 9.4.5:
Topological and Metric Properties / 9.5:
Continuity / 9.5.1:
Shift-Invariance / 9.5.2:
Lipschitz Property / 9.5.3:
Shift-Vanishing Effect / 9.5.4:
Nondeterminism / 9.5.5:
Summary / 9.5.6:
Computability of Initial Conditions / 9.6:
Hierarchy of Systems / 9.7:
Composition and Computation / 9.8:
Further Work / 9.8.2:
Epilogue: Conclusions and Directions for Future Work / 9.8.3:
Contributions and Related Work / 10.1:
Mathematical Framework / 10.1.1:
Compositional Analysis / 10.1.2:
Directions for Future Research / 10.2:
A Patchwork of Open Technical Issues / 10.2.1:
Fractal Image Compression / 10.2.2:
Distributed Dynamical Optimization / 10.2.3:
Distributed Systems and Self-Stabilization / 10.2.4:
Probabilistic Systems and Measures / 10.2.5:
Higher-Order Systems, Control, and Learning / 10.2.6:
Design of Attraction-Based Systems / 10.2.7:
The Garden of Structural Similarities / 10.3:
Coda: Compositional Complexity Revisited / 10.4:
Bibliography
Glossary of Symbols
Index
Foreword / Michel Sintzoff
Preface
Prologue: Aims, Themes, and Motivations / 1:
44.

図書

図書
by Ralph Raymond Grams
出版情報: Springfield, Ill. : Thomas, c1972  xvi, 225 p. ; 26 cm.
所蔵情報: loading…
45.

図書

図書
Allen Tannenbaum
出版情報: Berlin ; New York : Springer-Verlag, 1981  ix, 161 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 845
所蔵情報: loading…
46.

図書

図書
A.A. Pervozvanskii and V.G. Gaitsgori
出版情報: Dordrecht [Netherlands] ; Boston : Kluwer Academic Publishers, c1988  xvii, 384 p. ; 25 cm
シリーズ名: Mathematics and its applications ; Soviet series ; [v. 12]
所蔵情報: loading…
47.

図書

図書
Jack M. Holtzman
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, [1970]  ix, 213 p. ; 24 cm
シリーズ名: Prentice-Hall networks series
Prentice-Hall electrical engineering series
所蔵情報: loading…
48.

図書

図書
Robert Hermann
出版情報: New York : M. Dekker, 1973  x, 304 p. ; 24 cm
シリーズ名: Monographs and textbooks in pure and applied mathematics ; 18
所蔵情報: loading…
49.

図書

図書
Sophie Tarbouriech and Germain Garcia, (eds)
出版情報: London ; New York : Springer-Verlag, c1997  xiv, 186 p. ; 24cm
シリーズ名: Lecture notes in control and information sciences ; 227
所蔵情報: loading…
50.

図書

図書
Ronald J. Norman
出版情報: Upper Saddle River, NJ : Prentice Hall, c1996  xxvi, 430 p. ; 24 cm
シリーズ名: Prentice Hall series in information management
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼