close
1.

図書

図書
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
2.

図書

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

図書

図書
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:
4.

図書

図書
by Eronini Umez-Eronini
出版情報: Pacific Grove : PWS, c1999  xiv, 993 p. ; 27 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Physical Modeling and Construction / Part I:
Introduction / 1:
Concept of Dynamic and Static Systems
Feedback Control Concept
Definition of a System
Stage One: Physical Modeling
Practice Problems
Specification of Dynamic Systems and Behavior / 2:
Introducing Mechanical Behavior Components
Some Electrical Behavior Components
Physical Modeling Examples
Stage Two-Model Construction: Preliminaries
Engineering System Models In State Space / 3:
The State Space Approach
Mechanical Systems
Incompressible Fluid Systems
Electrical Systems
Other System Models In State Space / 4:
Thermal Systems
Process Engineering Systems
Examples of Distributed-Parameter Models
Nonengineering System Examples
Generalized System Models and Analogs / 5:
The Concept of Energetic Systems
Electromechanical Systems
Other Hybrid and Integrated System Examples
Introducing Micromachined Devices
References for Part I
Model Simulation / Part II:
Response of Lumped-Parameter Systems / 6:
Stage Three: Model Solution
Review of Complex Numbers and The ir Representations
Time-Domain Solution of the Vector State Equation
Solution of the Linear Time-Discrete Model
Digital Computer Simulation of Dynamic Systems
Solution of Higher-Order Scalar Systems / 7:
Response of Second-Order Systems
Phasor Transform Solution and Sinusoidal Steady State
Introducing Mechanical Vibrations
Forced Response to Nonsinusoidal Periodic Inputs
Further Solution By Transformation / 8:
The Fourier Transform
Introducing the Laplace Transform Method
Laplace Domain Solution of the Vector State Equation
z-Domain Solution of Discrete-Time Systems
Representation of System Dynamics / 9:
Operational Block Diagrams and Related Algebra
Identification and Frequency Response
Relations Between Transfer Functions and Sate Models
Concepts in State Space
Stability of Dynamic Systems / 10:
Stability Concepts in State Space
Stability and Eigenvalue Placement
Stability of Discrete-Time Systems
Stability in the Frequency Domain
Stability and Nonlinear Systems
References for Part II
System Design / Part III:
Introducing Automatic Control Systems Design / 11:
Stage Four: Design
Classical Feedback Controllers
Root Locus and Routh Test Design
Design In the Frequency Domain / 12:
Design for Specified Performance
Design by Frequency Domain Compensation
Classical Mode Controllers and Nonlinear Examples
Multi-Loop and Other Control Configurations / 13:
Feedforward and Cascade Configurations
Multivariable Control Systems
Introducing State Observers and Adaptive Control
Introducing Continuous-Time Optimal control and the H[sub infinity] Control Concept
Discrete-Time Control Systems / 14:
Digital Computers in Control Loops
Single-Loop Digital Controllers
Discrete-Time State Space Design
Introducing Discrete-Time Optimal Control
Realization of Microcomputer Control Systems / 15:
Interfacing with External Equipment
Computer Data Acquisition and Control
Illustration of a Computer Implementation: Preliminaries
Microcomputer Realization of a Liquid Level/Flow Control System
References for Part III /
Selected Constants / Appendix A:
Properties, and Conversion Factors
Typical Values of Selected Properties
Selected Conversion Factors /
Some Elements of Linear Algebra / Appendix B:
Matrices: Definitions
Matrix Algebra
Eigenvalues and Diagonalization
Functions of a Square Matrix /
Answers to Selected (*) Problems / Appendix C:
Index
Preface
Physical Modeling and Construction / Part I:
Introduction / 1:
5.

図書

図書
edited by Pierre Ladet and François Vernadat
出版情報: London : Chapman & Hall, 1995  vi, 300 p. ; 24 cm
所蔵情報: loading…
6.

図書

図書
R.J. Wieringa
出版情報: Chichester ; New York : Wiley, c1996  xvi, 453 p. ; 25 cm
所蔵情報: loading…
7.

図書

図書
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…
8.

図書

図書
C.K. Chui, G. Chen
出版情報: New York : Springer, 1997  xiii, 261 p. ; 24 cm
シリーズ名: Springer series in information sciences ; 26
所蔵情報: loading…
9.

図書

図書
Ronald J. Norman
出版情報: Upper Saddle River, NJ : Prentice Hall, c1996  xxvi, 430 p. ; 24 cm
シリーズ名: Prentice Hall series in information management
所蔵情報: loading…
10.

図書

図書
Michael Jampel, Eugene Freuder, Michael Maher (eds.)
出版情報: Berlin ; New York : Springer, c1996  x, 309 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1106
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼