1.
図書
Karen Holtzblatt, Hugh Beyer
出版情報:
Amsterdam : Morgan Kaufmann, c2017 xviii, 511 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
2.
図書
Marco Bernardo, Flavio Corradini (eds.)
目次情報:
続きを見る
Models and Languages / Part I:
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) / J.C.M. Baeten ; M.A. Reniers
Expressiveness of Timed Events and Timed Languages / D.R. Cacciagrano ; F. Corradini
Real Time and Stochastic Time / M. Bravetti
On the Semantic Foundations of Standard UML 2.0 / B.V. Selic
Tools and Applications / Part II:
A Tutorial on Uppaal / G. Behrmann ; A. David ; K.G. Larsen
The IF Toolset / M. Bozga ; S. Graf ; I. Ober ; J. Sifakis
Embedded Software Analysis with MOTOR / J.-P. Katoen ; H. Bohnenkamp ; R. Klaren ; H. Hermanns
Author Index
Models and Languages / Part I:
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
3.
図書
Marco Bernardo, Alessandro Bogliolo (eds.)
4.
図書
S.P. Bhattacharyya
5.
図書
Rodolfo J. Aguilar
6.
図書
Sholom M. Weiss and Casimir A. Kulikowski
出版情報:
Totowa, N.J. : Rowman & Allanheld, 1984 xii, 174 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
7.
図書
Bernard Friedland
目次情報:
続きを見る
Preface
Feedback Control / Chapter 1:
The Mechanism of Feedback / 1.1:
Feedback Control Engineering / 1.2:
Control Theory Background / 1.3:
Scope and Organization of This Book / 1.4:
Notes
References
State-Space Representation of Dynamic Systems / Chapter 2:
Mathematical Models / 2.1:
Physical Notion of System State / 2.2:
Block-Diagram Representations / 2.3:
Lagrange's Equations / 2.4:
Rigid Body Dynamics / 2.5:
Aerodynamics / 2.6:
Chemical and Energy Processes / 2.7:
Problems
Dynamics of Linear Systems / Chapter 3:
Differential Equations Revisited / 3.1:
Solution of Linear Differential Equations in State-Space Form / 3.2:
Interpretation and Properties of the State-Transition Matrix / 3.3:
Solution by the Laplace Transform: The Resolvent / 3.4:
Input-Output Relations: Transfer Functions / 3.5:
Transformation of State Variables / 3.6:
State-Space Representation of Transfer Functions: Canonical Forms / 3.7:
Frequency-Domain Analysis / Chapter 4:
Status of Frequency-Domain Methods / 4.1:
Frequency-Domain Characterization of Dynamic Behavior / 4.2:
Block-Diagram Algebra / 4.3:
Stability / 4.4:
Routh-Hurwitz Stability Algorithms / 4.5:
Graphical Methods / 4.6:
Steady State Responses: System Type / 4.7:
Dynamic Response: Bandwidth / 4.8:
Robustness and Stability (Gain and Phase) Margins / 4.9:
Multivariable Systems: Nyquist Diagram and Singular Values / 4.10:
Controllability and Observability / Chapter 5:
Introduction / 5.1:
Where Do Uncontrollable or Unobservable Systems Arise? / 5.2:
Definitions and Conditions for Controllability and Observability / 5.3:
Algebraic Conditions for Controllability and Observability / 5.4:
Disturbances and Tracking Systems: Exogenous Variables / 5.5:
Shaping the Dynamic Response / Chapter 6:
Design of Regulators for Single-Input, Single-Output Systems / 6.1:
Multiple-Input Systems / 6.3:
Where Should the Closed-Loop Poles Be Placed? / 6.4:
Linear Observers / Chapter 7:
The Need for Observers / 7.1:
Structure and Properties of Observers / 7.2:
Pole-Placement for Single-Output Systems / 7.3:
Reduced-Order Observers / 7.4:
Compensator Design by the Separation Principle / Chapter 8:
The Separation Principle / 8.1:
Compensators Designed Using Full-Order Observers / 8.2:
Robustness: Effects of Modeling Errors / 8.3:
Selecting Observer Dynamics: Robust Observers / 8.5:
Summary of Design Process / 8.7:
Linear, Quadratic Optimum Control / Chapter 9:
Why Optimum Control? / 9.1:
Formulation of the Optimum Control Problem / 9.2:
Quadratic Integrals and Matrix Differential Equations / 9.3:
The Optimum Gain Matrix / 9.4:
The Steady State Solution / 9.5:
Disturbances and Reference Inputs: Exogenous Variables / 9.6:
General Performance Integral / 9.7:
Weighting of Performance at Terminal Time / 9.8:
Random Processes / Chapter 10:
Conceptual Models for Random Processes / 10.1:
Statistical Characteristics of Random Processes / 10.3:
Power Spectral Density Function / 10.4:
White Noise and Linear System Response / 10.5:
Spectral Factorization / 10.6:
Systems with State-Space Representation / 10.7:
The Wiener Process and Other Integrals of Stationary Processes / 10.8:
Kalman Filters: Optimum Observers / Chapter 11:
Background / 11.1:
The Kalman Filter is an Observer / 11.2:
Kalman Filter Gain and Variance Equations / 11.3:
Steady State Kalman Filter / 11.4:
The "Innovations" Process / 11.5:
Reduced-Order Filters and Correlated Noise / 11.6:
Stochastic Control: The Separation Theorem / 11.7:
Choosing Noise for Robust Control / 11.8:
Matrix Algebra and Analysis / Appendix:
Bibliography
Index of Applications
Index
Preface
Feedback Control / Chapter 1:
The Mechanism of Feedback / 1.1:
8.
図書
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…
所蔵情報:
loading…
9.
図書
10.
図書
edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy
11.
図書
edited by Alison L. Kidd
出版情報:
New York : Plenum Press, c1987 xiii, 194 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
12.
図書
H.L. Capron
出版情報:
Reading, Mass. ; Tokyo : Benjamin/Cummings Pub. Co., c1986 xxvii, 525 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
13.
図書
Subrata Dasgupta
出版情報:
New York : Wiley, c1984 xvi, 300 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
14.
図書
M.A. Jackson
15.
図書
COMPSAC ; IEEE Computer Society
出版情報:
Washington, D.C. : IEEE Computer Society Press, c1987 xviii, 750 p. ; 28 cm
子書誌情報:
loading…
所蔵情報:
loading…
16.
図書
edited by John Self
出版情報:
London ; New York : Chapman and Hall, 1988 xix, 432 p. ; 24 cm
シリーズ名:
Chapman and Hall computing
子書誌情報:
loading…
所蔵情報:
loading…
17.
図書
André Blokdijk, Paul Blokdijk
出版情報:
London ; Tokyo : Academic Press, 1987 xxiii, 578 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
18.
図書
James L. Peterson
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1981 x, 290 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
19.
図書
by Rajnikant V. Patel and Neil Munro
20.
図書
Peter D. Lawrence, Konrad Mauch
21.
図書
Douglas Comer
22.
図書
edited by Ahmed A. Jerraya and Jean Mermet
目次情報:
続きを見る
Preface
Models for System-Level Synthesis
Embedded System Architectures / R. Ernst1:
Models of Computation for Embedded System Design / L. Lavagno, et al.2:
Multilanguage Specification for System Design / A.A. Jerraya, et al.3:
High-Level Specification Languages for Embedded System Design / C.D. Kloos, et al.4:
Towards A New System Level Design Language - SLDL; S.E. Schulz. Techniques for System-Level Synthesis / 5:
Hardware/Software Co-Synthesis Algorithms / W. Wolf6:
Rapid Prototyping, Emulation and Hardware-Software Co-Debugging / W. Rosenstiel7:
Dynamic Power Management of Electronic Systems / G. De Micheli, et al.8:
Compiler Generation Techniques for Embedded Processors and their Application to HW/SW Codesign / M. Imai, et al.9:
Methodologies and Tools for System-Level Synthesis
IP-Centric Methodology and Design with the SpecC Language System Level Design of Embedded Systems / D.D. Gajski, et al.10:
The Java Time Approach to Mixed Hardware-Software System Design / J.S. Young, et al.11:
Models and Methods for HW/SW Intellectual Property Interfacing / R.B. Ortega, et al.12:
Index
Preface
Models for System-Level Synthesis
Embedded System Architectures / R. Ernst1:
23.
図書
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
目次情報:
続きを見る
Methodology / I:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle / C.A.R. Hoare
A Triptych Software Development Paradigm: Domain, Requirements and Software / D. Bjørner
Real-Time Constraints Through the ProCoS Layers / A.P. Ravn ; H. Rischel
Monotonicity in Calculational Proofs / D. Gries
Programming / II:
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming / K.R. Apt ; A. Schaerf
Type and Effect Systems / F. Nielson ; H.R. Nielson
Automation / III:
Proving Theorems About Java-Like Byte Code / J S. Moore
Multiple State and Single State Tableaux for Combining Local and Global Model Checking / A. Biere ; E.M. Clarke ; Y. Zhu
On the Existence of Network Invariants for Verifying Parameterized Systems / P.A. Abdulla ; B. Jonsson
Compilation / IV:
Verification of Compilers / G. Goos ; W. Zimmermann
Translation Validation: From SIGNAL to C / A. Pnueli ; O. Shtrichman ; M. Siegel
Compilation and Synthesis for Real-Time Embedded Controllers / M. Franzle ; M. Müller-Olm
Optimization Under the Perspective of Soundness, Completeness, and Reusability / J. Knoop ; O. Ruthing
Application / V:
Verification of Automotive Control Units / T. Bienmüller ; J. Bohn ; H. Brinkmann ; U. Brockmeyer ; W. Damm ; H. Hungar ; P. Jansen
Correct Real-Time Software for Programmable Logic Controllers / E.-R. Olderog
Formal Methods for the International Space Station ISS / J. Peleska ; B. Buth
MetaFrame in Practice: Design of Intelligent Network Services / B. Steffen ; T. Margaria
Author Index
Methodology / I:
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle / C.A.R. Hoare
A Triptych Software Development Paradigm: Domain, Requirements and Software / D. Bjørner
24.
図書
Michael Thielscher
25.
図書
Robert J. Walsh
出版情報:
Englewood Cliffs, N.J. : Business and Professional Books Division, Prentice-Hall, c1985 xvi, 287 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
26.
図書
Ronald J. Norman
27.
図書
Richard D. Hackathorn
出版情報:
New York : Wiley, c1993 xxiii, 326 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
28.
図書
edited by Giovanni de Micheli and Mariagiovanna Sami
29.
図書
by John A. Stankovic
30.
図書
Andrew P. Sage
目次情報:
続きを見る
Systems Engineering Process Lifecycles
Risk Management
Systematic Measurements
Systematic Assessments of Cost
Strategic Quality Assurance and Management
Organizational Leadership, Cultures, and Process Maturity
Reengineering
Index
Systems Engineering Process Lifecycles
Risk Management
Systematic Measurements
31.
図書
edited by Ralph K. Cavin III, Wentai Liu
出版情報:
Piscataway, NJ : Available from IEEE Operations Center, c1996 x, 516 p. ; 26 cm
子書誌情報:
loading…
所蔵情報:
loading…
32.
図書
Allison Druin and Cynthia Solomon
出版情報:
New York : J. Wiley & Sons, c1996 xix, 263 p. ; 24 cm.
子書誌情報:
loading…
所蔵情報:
loading…
33.
図書
edited by Tosiyasu L. Kunii
出版情報:
Tokyo ; New York : Springer-Verlag, c1986 viii, 382 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
34.
図書
edited by M.E. Sime and M.J. Coombs
35.
図書
Grayce M. Booth
36.
図書
R.J.A. Buhr
出版情報:
Englewood Cliffs, N.J. ; Tokyo : Prentice-Hall, c1984 xv, 256 p. ; 25 cm
シリーズ名:
Prentice-Hall software series
子書誌情報:
loading…
所蔵情報:
loading…
37.
図書
Comer, Douglas E.
38.
図書
Terry Winograd, Fernando Flores
出版情報:
Norwood, N.J. : Ablex Pub. Corp., c1986 xiv, 207 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Acknowledgments
Theoretical Background / Part I:
Introduction / 1:
The question of design / 1.1:
The role of tradition / 1.2:
Our path / 1.3:
The rationalistic tradition / 2:
The rationalistic orientation / 2.1:
Language, truth, and the world / 2.2:
Decision making and problem solving / 2.3:
Cognitive science / 2.4:
Understanding and Being / 3:
Hermeneutics / 3.1:
Understanding and ontology / 3.2:
An illustration of thrownness / 3.3:
Breaking down and readiness-to-hand / 3.4:
Cognition as a biological phenomenon / 4:
The closure of the nervous system / 4.1:
Autopoiesis, evolution, and learning / 4.2:
The cognitive domain / 4.3:
Consensual domains / 4.4:
The observer and description / 4.5:
Domains of explanation / 4.6:
Language, listening, and commitment / 5:
Listening in a background / 5.1:
Meaning, commitment, and speech acts / 5.2:
Objectivity and tradition / 5.3:
Recurrence and formalization / 5.4:
Breakdown, language, and existence / 5.5:
Towards a new orientation / 6:
Cognition and being in the world / 6.1:
Knowledge and representation / 6.2:
Pre-understanding and background / 6.3:
Language and action / 6.4:
Breakdown and the ontology of design / 6.5:
Computation, Thought, and Language / Part II:
Computers and representation / 7:
Programming as representation / 7.1:
Levels of representation / 7.2:
Can computers do more than you tell them to do? / 7.3:
Computation and intelligence / 8:
Why do we ask? / 8.1:
Intelligence as rational problem solving / 8.2:
The phenomenon of blindness / 8.3:
What about learning and evolution? / 8.4:
Can pigs have wings? / 8.5:
Understanding language / 9:
Artificial intelligence and language understanding / 9.1:
The problem of background / 9.2:
Understanding as pattern recognition / 9.3:
What does it mean to understand? / 9.4:
Current directions in artificial intelligence / 10:
The forking of the paths / 10.1:
Expert systems / 10.2:
The fifth generation computer system / 10.3:
Design / Part III:
Management and conversation / 11:
Management and decision making / 11.1:
Decision making and resolution / 11.2:
Organizations as networks of commitments / 11.3:
Decision support systems / 11.4:
Tools for conversation / 11.5:
Using computers: A direction for design / 12:
A background for computer design / 12.1:
A design example / 12.2:
Systematic domains / 12.3:
Technology and transformation / 12.4:
Bibliography
Name Index
Subject Index
Preface
Acknowledgments
Theoretical Background / Part I:
39.
図書
B. Cohen, W.T. Harwood, M.I. Jackson
出版情報:
Wokingham, England ; Tokyo : Addison-Wesley, 1986 xii, 143 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
40.
図書
M. Bidoit ... [et al.], (eds.)
41.
図書
Bradley W. Dickinson
出版情報:
Englewood Cliffs, N.J. : Prentice Hall, c1991 xii, 289 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
42.
図書
Prabhat K. Andleigh, Michael R. Gretzinger
出版情報:
London : Prentice-Hall International, c1992 xvi, 495 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
43.
図書
Iain D. Craig
44.
図書
William D. Simpson ... [et al.] ; Texas Instruments Learning Center and the engineering staff of Texas Instruments Incorporated
45.
図書
Phillip Laplante
出版情報:
Piscataway, NJ : IEEE Press , Los Alamitos, CA : IEEE Press Technical Reviewers, c1993 xix, 339 p. ; 27 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Acknowledgments
Basic Real-Time Concepts
Computer Hardware
Languages Issues
The Software Life Cycle
Real-Time Specification and Design Techniques
Real-Time Kernels
Intertask Communication and Synchronization
Real-Time Memory Management
System Performance Analysis and Optimization
Queuing Models
Reliability, Testing, and Fault Tolerance
Multiprocessing Systems
Hardware/Software Integration
Real-Time Applications
Glossary
Bibliography
Index
About the Author
Preface
Acknowledgments
Basic Real-Time Concepts
46.
図書
James Rumbaugh ... [et al.]
出版情報:
Englewood Cliffs, N.J. : Prentice Hall, c1991 xii, 500 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1:
Modeling Concepts / I:
Modeling as a Design Technique / 2:
Object Modeling / 3:
Advanced Object Modeling / 4:
Dynamic Modeling / 5:
Functional Modeling / 6:
Design Methodology / II:
Methodology Preview / 7:
Analysis / 8:
System Design / 9:
Object Design / 10:
Methodology Summary / 11:
Comparison of Methodologies / 12:
Implementation / III:
From Design to Implementation / 13:
Programming Style / 14:
Object-Oriented Languages / 15:
Non-Object-Oriented Languages / 16:
Databases / 17:
Object Diagram Compiler / 18:
Computer Animation / 19:
Electrical Distribution Design System / 20:
Future of Object-Oriented Technology / 21:
OMT Graphical Notation / Appendix A:
Glossary / Appendix B:
Index
Introduction / 1:
Modeling Concepts / I:
Modeling as a Design Technique / 2:
47.
図書
by C.J. Koomen
48.
図書
edited by Robert A. Meersman, Zhongzhi Shi, Chen-Ho Kung
出版情報:
Amsterdam ; Tokyo : North-Holland , New York : Distributors for the U.S. and Canada, Elsevier, 1990 xiii, 583 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
49.
図書
Robert W. Bailey
出版情報:
Englewood Cliffs, N.J. : Prentice Hall, c1989 xi, 563 p. ; 25 cm.
子書誌情報:
loading…
所蔵情報:
loading…
50.
図書
James Martin
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1985 xviii, 392 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…