close
1.

図書

図書
Eiji Fujiwara
出版情報: Hoboken, N.J. : Wiley-Interscience, c2006  xiii, 701 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Faults and Failures / 1.1:
Error Models / 1.2:
Error Recovery Techniques for Dependable Systems / 1.3:
Code Design Process for Dependable Systems / 1.4:
References
Mathematical Background and Matrix Codes / 2:
Introduction to Algebra / 2.1:
Linear Codes / 2.2:
Basic Matrix Codes / 2.3:
Exercises
Design Techniques for Matrix Codes / 3:
Minimum-Weight & Equal-Weight-Row Codes / 3.1:
Odd-Weight-Column Codes / 3.2:
Even-Weight-Row Codes / 3.3:
Odd-Weight-Row Codes / 3.4:
Rotational Codes / 3.5:
Code Design Techniques for Matrix Codes
Codes for High-Speed Memories I: Bit Error Control Codes / 4:
Modified Hamming SEC-DED Codes / 4.1:
Modified Double-Bit Error Correcting BCH Codes / 4.2:
On-Chip ECCs / 4.3:
Codes for High-Speed Memories II: Byte Error Control Codes / 5:
Single-Byte Error Correcting (SbEC) Codes / 5.1:
Single-Byte Error Correcting and Double-Byte Error Detecting (SbEC-DbED) Codes / 5.2:
Single-Byte Error Correcting and Single p-Byte within a Block Error Detecting (SbEC-Spb=BED) Codes / 5.3:
Codes for High-Speed Memories III: Bit / Byte Error Control Codes / 6:
Single-Byte / Burst Error Detecting SEC-DED Codes / 6.1:
Single-Byte Error Correcting and Double-Bit Error Detecting (SbEC-DED) Codes / 6.2:
Single-Byte Error Correcting and Double-Bit Error Correcting (SbEC-DEC) Codes / 6.3:
Single-Byte Error Correcting and Single-Byte Plus Single-Bit Error Detecting (SbEC-(Sb?S)ED) Codes / 6.4:
Codes for High-Speed Memories IV: Spotty Byte Error Control Codes / 7:
Spotty Byte Errors / 7.1:
Single Spotty Byte Error Correcting (St=bEC) Codes / 7.2:
Single Spotty Byte Error Correcting and Single-Byte Error Detecting (St=bEC-SbED) Codes / 7.3:
Single Spotty Byte Error Correcting and Double Spotty Byte Error Detecting (St=bEC-Dt=bED) Codes / 7.4:
A General Class of Spotty Byte Error Control Codes / 7.5:
Single-Byte Error Correcting and Single p-Byte within a Block Error Detecting (SbEC-S[subscript pxb/B]ED) Codes / 8:
Paralled Decoding for Burst / Byte Error Control Codes
Parallel Decoding Burst Error Control Codes / 8.1:
Parallel Decoding Cyclic Burst Error Correcting Codes / 8.2:
Transient Behavior of Parallel Encoder / Decoder Circuits of Error Control Codes / 8.3:
Codes for High-Speed Memories III: Bit/Byte Error Control Codes
Codes for Error Location: Error Locating Codes / 9:
Error Location of Faulty Packages and Faulty Chips / 9.1:
Block Error Locating (Sb=pbEL) Codes / 9.2:
Single-Bit Error Correcting and Single-Block Error Locating (SEC-Sb=pbEL) Codes / 9.3:
Single-Bit Error Correcting and Single-Byte Error Locating (SEC-Se=bEL) Codes / 9.4:
Single-Byte Error Correcting and Single-Byte Plus Single-Bit Error Detecting (SbEC-(Sb + S)ED) Codes
Burst Error Locating Codes / 9.5:
Code Conditions for Error Locating Codes / 9.6:
Codes for Unequal Error Control / Protection (UEC / UEP) / 10:
Error Models for UEC Codes and UEP Codes / 10.1:
Fixed-Byte Error Control UEC Codes / 10.2:
Burst Error Control UEC / UEP Codes / 10.3:
Single Spotty Byte Error Correcting (S[subscript t/b]EC) Codes / 10.4:
Application of the UEC / UEP Codes
Single Spotty Byte Error Correcting and Single-Byte Error Detecting (S[subscript t/b]EC-SbED) Codes
Codes for Mass Memories / 11:
Single Spotty Byte Error Correcting and Double Spotty Byte Error Detecting (S[subscript t/b]EC-D[subscript t/b]ED) Codes / 11.1:
Tape Memory Codes
Magnetic Disk Memory Codes / 11.2:
Optical Disk Memory Codes / 11.3:
Coding for Logic and System Design / 12:
Parallel Decoding Burst / Byte Error Control Codes / 12.1:
Self-checking Concept
Self-testing Checkers / 12.2:
Self-checking ALU / 12.3:
Self-checking Design for Computer Systems / 12.4:
Codes for Data Entry Systems / 13:
M-Ary Asymmetric Errors in Data Entry Systems / 13.1:
M-Ary Asymmetric Symbol Error Correcting Codes / 13.2:
Nonsystematic M-Ary Asymmetric Error Correcting Codes with Deletion / Insertion / Adjacent-Symbol-Transposition Error Correction Capabilities / 13.3:
Codes for Two-Dimentional Matrix Symbols / 13.4:
Block Error Locating (S[subscript b/pxb]EL) Codes / 14:
Codes for Multiple / Distributed Storage
Single-Bit Error Correcting and Single-Block Error Locating (SEC-S[subscript b/pxb]EL) Codes
Single-Bit Error Correcting and Single-Byte Error Locating (SEC-S[subscript e/b]EL) Codes
Codes for Unequal Error Control/Protection (UEC / UEP)
Codes for Two-Dimensional Matrix Symbols
Codes for Multiple / Distributed Storage Systems
MDS Array Codes Tolerating Multiple-Disk Failures / 14.1:
Codes for Distributed Storage Systems / 14.2:
Index
Preface
Introduction / 1:
Faults and Failures / 1.1:
2.

図書

図書
edited by B.K. Ghosh, Ning Xi, T.J. Tarn
出版情報: San Diego, CA : Academic Press, c1999  xii, 428 p. ; 27 cm
シリーズ名: Academic Press series in engineering
所蔵情報: loading…
3.

図書

図書
L. Sciavicco and B. Siciliano
出版情報: Lodon ; Tokyo : Springer, c2000  xxiii, 377 p. ; 24 cm
シリーズ名: Advanced textbooks in control and signal processing
所蔵情報: loading…
4.

図書

図書
T. Imada
出版情報: Tokyo : Springer, c2008  xii, 223 p. ; 25 cm
シリーズ名: Agent based social systems / ed by Hiroshi Deguchi ; v. 5
所蔵情報: loading…
目次情報: 続きを見る
Preface to the Original Japanese Edition
Acknowledgments for the English Edition
On the Composition of This Book
List of Tables and Figures
Introduction Scope of the Self-Organization Theory
What is Self-Organization? / 1:
Cybernetic Self-Organization / 2:
Synergetic Self-Organization / 3:
Horizon of the Self-Organization Theory / 4:
Origin of the Self-Organization Theory: Control and Social Development / Part I:
From Social Change to Self-Organization / Chapter 1:
Formation of Systems Paradigm
Social Change and Concept of Structure
System Analysis of Social Change
Toward the Self-Organization Theory
Principles of Self-Organization and the Theory of Social Development / Chapter 2:
What is Social Development?
Basic Logic of Self-Organization
Structure and Control of Social System
Conditions for Social Development and Adaptive Control
Application to the Theory of Social Planning / 5:
Elaboration of the Self-Organization Theory: Metamorphosing of System and Individual / Part II:
Signification and Reflexive System / Chapter 3:
Linguistic and Semantic Turn in Social Theory
Reflexion and Scientific View
Theory of Reflexive System
Language Game and Self-Organization
Self-Organization and Postmodernity / Chapter 4:
Fluctuation of Modernity
Metamorphosis of Society
Identity and Self-Organization: Transformation of Self-Image
Self in Chaos
Toward a Theory of Postmodern Identity
Reflexion Thought / 6:
Development of the Self-Organization Theory: Deconstruction of the Society / Part III:
Beyond Network Theory / Chapter 5:
Admiration of Network?
Rhizome Theory and Self-Organization
Anticontrol Type of Self-Organization: A Case Study of the Kobe Steelers Rugby Team
Toward a Support-based Social System / Chapter 6:
Decontrol and Increasing Support Activities
The Theory of Support
Some Cases of the Support
Opening Publicness from Support
End Notes
Bibliography
Author Index
Subject Index
Preface to the Original Japanese Edition
Acknowledgments for the English Edition
On the Composition of This Book
5.

図書

図書
J. Ponstein
出版情報: Cambridge [Eng.] ; New York : Cambridge University Press, 1980  xii, 205 p. ; 23 cm
シリーズ名: Cambridge tracts in mathematics ; 77
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of symbols
Approaching optimization by means of examples / 1:
An intuitive approach to mathematical programming / 2:
A global approach by bifunctions / 3:
A global approach by conjugate duality / 4:
A local approach for optimization problems in Banach spaces / 5:
Some other approaches / 6:
Some applications / 7:
Appendices
Comments on the text and related literature
References
Index
Preface
List of symbols
Approaching optimization by means of examples / 1:
6.

図書

図書
Tim Clark
出版情報: New York : Wiley, c1985  x, 332 p. ; 24 cm
シリーズ名: A Wiley-Interscience publication
所蔵情報: loading…
目次情報: 続きを見る
Chemical Calculations / Chapter 1:
Introduction / 1.1:
The Program / 1.2:
Molecular Mechanics / Chapter 2:
Applications and Parametrization / 2.1:
The MMP2 Program: Input and Output Examples / 2.3:
References
Molecular Orbital Theory / Chapter 3:
How the Programs Work / 3.1:
Geometries: The Z-Matrix / 3.3:
Geometry Optimization / 3.4:
Potential Surfaces / 3.5:
Qualitative Molecular Orbital Theory / 3.6:
Literature / 3.7:
Semiempirical Methods / Chapter 4:
Semiempirical Molecular Orbital Theory / 4.1:
MINDO/3 / 4.2:
MNDO / 4.3:
MOPAC Input and Output / 4.4:
MINDO/3 and MNDO Subject / 4.5:
Index
Ab Initio Methods / Chapter 5:
Ab Initio Molecular Orbital Theory / 5.1:
The GAUSSIAN Programs / 5.2:
GAUSSIAN82 Input and Output Examples / 5.3:
Electron Correlation / 5.4:
Appendixes
MOPAC Z-Matrices for Chapter 3 / A:
Other Useful Programs / B:
Bond Length Tables / C:
Chemical Calculations / Chapter 1:
Introduction / 1.1:
The Program / 1.2:
7.

図書

図書
Michael R. Genesereth and Nils J. Nilsson
出版情報: Los Altos, Calif. : Morgan Kaufmann, c1987  xviii, 405 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Declarative Knowledge / 2:
Inference / 3:
Resolution / 4:
Resolution Strategies / 5:
Nonmonotonic Reasoning / 6:
Induction / 7:
Reasoning with Uncertain Beliefs / 8:
Knowledge and Belief / 9:
Metaknowledge and Metareasoning / 10:
State and Change / 11:
Planning / 12:
Intelligent-Agent Architecture Answers to Exercises / 13:
Introduction / 1:
Declarative Knowledge / 2:
Inference / 3:
8.

図書

図書
edited by Keith Rathmill
出版情報: Bedford : IFS (Publications) , Berlin ; Tokyo : Springer, 1985  365 p. ; 25 cm
シリーズ名: International trends in manufacturing technology
所蔵情報: loading…
9.

図書

図書
J.H. Wilkinson, C. Reinsch ; chief editor, F.L. Bauer
出版情報: Berlin ; New York : Springer-Verlag, 1971  viii, 439 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 186 . Handbook for automatic computation ; v. 2
所蔵情報: loading…
10.

図書

図書
editors, C. Taylor, J.A. Johnson, W.R. Smith
出版情報: Swansea, U.K. : Pineridge Press, 1983  1271 p. ; 25 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼