close
1.

図書
図書
1. Mental representation and processing of geographic knowledge : a computational approach
Thomas Barkowsky
出版情報: Berlin ; Tokyo : Springer, c2002  x, 174 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2541 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Mental Processing of Geographic Knowledge / 1.1：
Cognitive Maps / 1.1.1：
Mental Construction of Spatial Knowledge: An Example / 1.1.2：
Theses and Assumptions / 1.2：
Knowledge Construction and Human Memory / 1.2.1：
Characteristics of Geographic Knowledge / 1.2.2：
Spatial Knowledge Organization in Long-Term Memory / 1.2.3：
Visual Mental Images and Diagrammatic Reasoning / 1.2.4：
Research Questions and Goals / 1.3：
Research Questions / 1.3.1：
Goals / 1.3.2：
Approach: Experimental Computational Modeling / 1.4：
Computational Cognition / 1.4.1：
Building Computational Models / 1.4.2：
Modeling as Experimental Approach / 1.4.3：
Organization of this Thesis / 1.5：
State of the Art / 2：
Spatial Knowledge Conceptions: Cognitive Maps and Other Metaphors / 2.1：
Rubber Sheet Maps, Cognitive Atlases, Collages, and Geographic Information Systems / 2.1.1：
Spatial Mental Models / 2.1.3：
Other Conceptions / 2.1.4：
Human Memory / 2.2：
Working Memory / 2.2.1：
Long-Term Memory / 2.2.2：
Interacting Memory Systems in Mental Imagery / 2.2.3：
Mental Imagery / 2.3：
The Imagery Debate / 2.3.1：
Psychological and Neuroscientific Foundations / 2.3.2：
The Kosslyn Models / 2.3.3：
The 1980 Model / 2.3.3.1：
The 1994 Model / 2.3.3.2：
Spatial Reasoning / 2.4：
Topology / 2.4.1：
Orientation / 2.4.2：
Distance / 2.4.3：
Shape / 2.4.4：
Computational Geometry / 2.4.5：
Diagrammatic Reasoning / 2.5：
Propositional vs. Analogical Knowledge Representation / 2.5.1：
Types of Diagrammatic Reasoning Systems / 2.5.2：
Examples for Diagrammatic Reasoning Architectures / 2.5.3：
DEPIC-2D / 2.5.3.1：
WHISPER / 2.5.3.2：
Computational Imagery / 2.5.3.3：
Summary / 2.6：
MIRAGE - Developing the Model / 3：
Characteristics of the Model / 3.1：
Evaluating the Working Memory Representation / 3.1.1：
MIRAGE - Outline of the Model / 3.2：
Types of Entities and Spatial Relations in MIRAGE / 3.3：
Entities / 3.3.1：
Relations / 3.3.2：
Subsystems, Structures, and Processes / 3.4：
Long-Term Memory Activation / 3.4.1：
Spatial Knowledge Fragments / 3.4.1.1：
The Hierarchical Long-Term Memory Representation / 3.4.1.2：
The Access Process / 3.4.1.3：
The Activated Long-Term Memory Representation / 3.4.1.4：
The Construction Process / 3.4.1.5：
Visual Mental Image Construction / 3.4.2：
The Enriched Representation / 3.4.2.1：
The Conversion Process / 3.4.2.2：
The Visual Buffer / 3.4.2.3：
The Visualization Process / 3.4.2.4：
Image Inspection / 3.4.3：
The Inspection Result / 3.4.3.1：
The Inspection Process / 3.4.3.2：
Visual Mental Image Construction in Detail / 4：
A More Demanding Scenario / 4.1：
Diagrammatic Representations of Lean Knowledge / 4.2：
Consequences for Image Construction / 4.3：
Relaxation of Spatial Constraints / 4.3.1：
Completion of Qualitative Spatial Relations / 4.3.2：
Interpretation of Qualitative Spatial Relations / 4.3.3：
Image Revision Strategies in MIRAGE / 4.4：
Unstable Images / 4.4.1：
Omission of Facts / 4.4.2：
Revision of Relational Completion / 4.4.3：
Variation of Relational Completion / 4.4.3.1：
Relaxation of Relational Completion / 4.4.3.2：
Revision of Image Specification / 4.4.4：
Depicting Qualitative Spatial Relations / 4.4.4.1：
Depicting Unspecified Spatial Relations / 4.4.4.2：
MIRAGE Implementation / 4.5：
Computational Tools for Modeling: SIMSIS / 5.1：
The Idea of SIMSIS / 5.1.1：
The Aspect Map Model / 5.1.1.1：
Modeling Aspect Maps in SIMSIS / 5.1.1.2：
Depictions, Scenarios, and Interpretations / 5.1.2：
SIMSIS Pictures / 5.1.2.1：
SIMSIS Facts and Scenarios / 5.1.2.2：
SIMSIS Interpretations and Meaning Systems / 5.1.2.3：
Realization of the Model / 5.2：
MIRAGE Structures / 5.2.1：
Entities, Relations, and Spatial Knowledge Fragments / 5.2.1.1：
The Long-Term Memory Representations / 5.2.1.2：
MIRAGE Processes / 5.2.1.3：
The Long-Term Memory Activation Processes / 5.2.2.1：
The Image Construction Processes / 5.2.2.2：
Operation and Behavior of MIRAGE / 5.2.2.3：
Conclusion and Outlook / 6：
Results and Discussion / 6.1：
Reflecting the Theses / 6.2.1：
Spatial Knowledge Construction / 6.2.1.1：
Underdeterminacy in Long-Term Memory / 6.2.1.2：
Fragmentation and Hierarchical Organization / 6.2.1.3：
Visual Mental Imagery / 6.2.1.4：
The Parameters of the Model / 6.2.2：
Explicit Parameters / 6.2.2.1：
Implicit Parameters / 6.2.2.2：
Conclusions / 6.2.3：
Future Work / 6.3：
Extending MIRAGE / 6.3.1：
Geographic Entities and Spatial Relations / 6.3.1.1：
Partially Aggregated Knowledge Structures / 6.3.1.2：
Mental Imagery Functionality / 6.3.1.3：
Parameters of MIRAGE / 6.3.1.4：
Empirical Investigations / 6.3.2：
Use of Default Knowledge / 6.3.2.1：
Control of Image Construction / 6.3.2.2：
Processing Capacity for Mental Images / 6.3.2.3：
Use of Chunking Facilities / 6.3.2.4：
Combination of Propositional and Image-Based Reasoning / 6.3.2.5：
Application Perspectives / 6.3.3：
Adequate Presentation of Visual Information / 6.3.3.1：
External Support of Reasoning in Mental Images / 6.3.3.2：
Bibliography
Index
Introduction / 1：
Mental Processing of Geographic Knowledge / 1.1：
Cognitive Maps / 1.1.1：
2.

電子ブック
ＥＢ
2. Mental Representation and Processing of Geographic Knowledge
Thomas Barkowsky
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Mental Processing of Geographic Knowledge / 1.1：
Cognitive Maps / 1.1.1：
Mental Construction of Spatial Knowledge: An Example / 1.1.2：
Theses and Assumptions / 1.2：
Knowledge Construction and Human Memory / 1.2.1：
Characteristics of Geographic Knowledge / 1.2.2：
Spatial Knowledge Organization in Long-Term Memory / 1.2.3：
Visual Mental Images and Diagrammatic Reasoning / 1.2.4：
Research Questions and Goals / 1.3：
Research Questions / 1.3.1：
Goals / 1.3.2：
Approach: Experimental Computational Modeling / 1.4：
Computational Cognition / 1.4.1：
Building Computational Models / 1.4.2：
Modeling as Experimental Approach / 1.4.3：
Organization of this Thesis / 1.5：
State of the Art / 2：
Spatial Knowledge Conceptions: Cognitive Maps and Other Metaphors / 2.1：
Rubber Sheet Maps, Cognitive Atlases, Collages, and Geographic Information Systems / 2.1.1：
Spatial Mental Models / 2.1.3：
Other Conceptions / 2.1.4：
Human Memory / 2.2：
Working Memory / 2.2.1：
Long-Term Memory / 2.2.2：
Interacting Memory Systems in Mental Imagery / 2.2.3：
Mental Imagery / 2.3：
The Imagery Debate / 2.3.1：
Psychological and Neuroscientific Foundations / 2.3.2：
The Kosslyn Models / 2.3.3：
The 1980 Model / 2.3.3.1：
The 1994 Model / 2.3.3.2：
Spatial Reasoning / 2.4：
Topology / 2.4.1：
Orientation / 2.4.2：
Distance / 2.4.3：
Shape / 2.4.4：
Computational Geometry / 2.4.5：
Diagrammatic Reasoning / 2.5：
Propositional vs. Analogical Knowledge Representation / 2.5.1：
Types of Diagrammatic Reasoning Systems / 2.5.2：
Examples for Diagrammatic Reasoning Architectures / 2.5.3：
DEPIC-2D / 2.5.3.1：
WHISPER / 2.5.3.2：
Computational Imagery / 2.5.3.3：
Summary / 2.6：
MIRAGE - Developing the Model / 3：
Characteristics of the Model / 3.1：
Evaluating the Working Memory Representation / 3.1.1：
MIRAGE - Outline of the Model / 3.2：
Types of Entities and Spatial Relations in MIRAGE / 3.3：
Entities / 3.3.1：
Relations / 3.3.2：
Subsystems, Structures, and Processes / 3.4：
Long-Term Memory Activation / 3.4.1：
Spatial Knowledge Fragments / 3.4.1.1：
The Hierarchical Long-Term Memory Representation / 3.4.1.2：
The Access Process / 3.4.1.3：
The Activated Long-Term Memory Representation / 3.4.1.4：
The Construction Process / 3.4.1.5：
Visual Mental Image Construction / 3.4.2：
The Enriched Representation / 3.4.2.1：
The Conversion Process / 3.4.2.2：
The Visual Buffer / 3.4.2.3：
The Visualization Process / 3.4.2.4：
Image Inspection / 3.4.3：
The Inspection Result / 3.4.3.1：
The Inspection Process / 3.4.3.2：
Visual Mental Image Construction in Detail / 4：
A More Demanding Scenario / 4.1：
Diagrammatic Representations of Lean Knowledge / 4.2：
Consequences for Image Construction / 4.3：
Relaxation of Spatial Constraints / 4.3.1：
Completion of Qualitative Spatial Relations / 4.3.2：
Interpretation of Qualitative Spatial Relations / 4.3.3：
Image Revision Strategies in MIRAGE / 4.4：
Unstable Images / 4.4.1：
Omission of Facts / 4.4.2：
Revision of Relational Completion / 4.4.3：
Variation of Relational Completion / 4.4.3.1：
Relaxation of Relational Completion / 4.4.3.2：
Revision of Image Specification / 4.4.4：
Depicting Qualitative Spatial Relations / 4.4.4.1：
Depicting Unspecified Spatial Relations / 4.4.4.2：
MIRAGE Implementation / 4.5：
Computational Tools for Modeling: SIMSIS / 5.1：
The Idea of SIMSIS / 5.1.1：
The Aspect Map Model / 5.1.1.1：
Modeling Aspect Maps in SIMSIS / 5.1.1.2：
Depictions, Scenarios, and Interpretations / 5.1.2：
SIMSIS Pictures / 5.1.2.1：
SIMSIS Facts and Scenarios / 5.1.2.2：
SIMSIS Interpretations and Meaning Systems / 5.1.2.3：
Realization of the Model / 5.2：
MIRAGE Structures / 5.2.1：
Entities, Relations, and Spatial Knowledge Fragments / 5.2.1.1：
The Long-Term Memory Representations / 5.2.1.2：
MIRAGE Processes / 5.2.1.3：
The Long-Term Memory Activation Processes / 5.2.2.1：
The Image Construction Processes / 5.2.2.2：
Operation and Behavior of MIRAGE / 5.2.2.3：
Conclusion and Outlook / 6：
Results and Discussion / 6.1：
Reflecting the Theses / 6.2.1：
Spatial Knowledge Construction / 6.2.1.1：
Underdeterminacy in Long-Term Memory / 6.2.1.2：
Fragmentation and Hierarchical Organization / 6.2.1.3：
Visual Mental Imagery / 6.2.1.4：
The Parameters of the Model / 6.2.2：
Explicit Parameters / 6.2.2.1：
Implicit Parameters / 6.2.2.2：
Conclusions / 6.2.3：
Future Work / 6.3：
Extending MIRAGE / 6.3.1：
Geographic Entities and Spatial Relations / 6.3.1.1：
Partially Aggregated Knowledge Structures / 6.3.1.2：
Mental Imagery Functionality / 6.3.1.3：
Parameters of MIRAGE / 6.3.1.4：
Empirical Investigations / 6.3.2：
Use of Default Knowledge / 6.3.2.1：
Control of Image Construction / 6.3.2.2：
Processing Capacity for Mental Images / 6.3.2.3：
Use of Chunking Facilities / 6.3.2.4：
Combination of Propositional and Image-Based Reasoning / 6.3.2.5：
Application Perspectives / 6.3.3：
Adequate Presentation of Visual Information / 6.3.3.1：
External Support of Reasoning in Mental Images / 6.3.3.2：
Bibliography
Index
Introduction / 1：
Mental Processing of Geographic Knowledge / 1.1：
Cognitive Maps / 1.1.1：
3.

図書
図書
3. Qualitative methods in nonlinear dynamics : novel approaches to Liapunov's matrix functions
A.A. Martynyuk
出版情報: New York : Marcel Dekker, c2002  x, 301 p. ; 24 cm
シリーズ名: Monographs and textbooks in pure and applied mathematics ; 246
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminaries / 1：
Introduction / 1.1：
Nonlinear Continuous Systems / 1.2：
General equations of nonlinear dynamics / 1.2.1：
Perturbed motion equations / 1.2.2：
Definitions of Stability / 1.3：
Scalar, Vector and Matrix-Valued Liapunov Functions / 1.4：
Auxiliary scalar functions / 1.4.1：
Comparison functions / 1.4.2：
Vector Liapunov functions / 1.4.3：
Matrix-valued metafunction / 1.4.4：
Comparison Principle / 1.5：
Liapunov-Like Theorems / 1.6：
Matrix-valued function and its properties / 1.6.1：
A version of the original theorems of Liapunov / 1.6.2：
Advantages of Cone-Valued Liapunov Functions / 1.7：
Stability with respect to two measures / 1.7.1：
Stability analysis of large scale systems / 1.7.2：
Liapunov's Theorems for Large Scale Systems in General / 1.8：
Why are matrix-valued Liapunov functions needed? / 1.8.1：
Stability and instability of large scale systems / 1.8.2：
Notes / 1.9：
Qualitative Analysis of Continuous Systems / 2：
Nonlinear Systems with Mixed Hierarchy of Subsystems / 2.1：
Mixed hierarchical structures / 2.2.1：
Hierarchical matrix function structure / 2.2.2：
Structure of hierarchical matrix function derivative / 2.2.3：
Stability and instability conditions / 2.2.4：
Linear autonomous system / 2.2.5：
Examples of third order systems / 2.2.6：
Dynamics of the Systems with Regular Hierarchy Subsystems / 2.3：
Ikeda-Siljak hierarchical decomposition / 2.3.1：
Hierarchical Liapunov's matrix-valued functions / 2.3.2：
Linear nonautonomous systems / 2.3.3：
Stability Analysis of Large Scale Systems / 2.4：
A class of large scale systems / 2.4.1：
Construction of nondiagonal elements of matrix-valued function / 2.4.2：
Test for stability analysis / 2.4.3：
Linear large scale system / 2.4.4：
Discussion and numerical example / 2.4.5：
Overlapping Decomposition and Matrix-Valued Function Construction / 2.5：
Dynamical system extension / 2.5.1：
Liapunov matrix-valued function construction / 2.5.2：
Test for stability of system (2.5.1) / 2.5.3：
Numerical example / 2.5.4：
Exponential Polystability Analysis of Separable Motions / 2.6：
Statement of the Problem / 2.6.1：
A method for the solution of the problem / 2.6.2：
Autonomous system / 2.6.3：
Polystability by the first order approximations / 2.6.4：
Integral and Lipschitz Stability / 2.7：
Definitions / 2.7.1：
Sufficient conditions for integral and asymptotic integral stability / 2.7.2：
Uniform Lipschitz stability / 2.7.3：
Qualitative Analysis of Discrete-Time Systems / 2.8：
Systems Described by Difference Equations / 3.1：
Matrix-Valued Liapunov Functions Method / 3.3：
Auxiliary results / 3.3.1：
Comparison principle application / 3.3.2：
General theorems on stability / 3.3.3：
Large Scale System Decomposition / 3.4：
Stability and Instability of Large Scale Systems / 3.5：
Auxiliary estimates / 3.5.1：
Autonomous Large Scale Systems / 3.5.2：
Hierarchical Analysis of Stability / 3.7：
Hierarchical decomposition and stability conditions / 3.7.1：
Novel tests for connective stability / 3.7.2：
Controlled Systems / 3.8：
Nonlinear Dynamics of Impulsive Systems / 3.9：
Large Scale Impulsive Systems in General / 4.1：
Notations and definitions / 4.2.1：
Sufficient stability conditions / 4.2.2：
Instability conditions / 4.2.4：
Hierarchical Impulsive Systems / 4.3：
Analytical Construction of Liapunov Function / 4.4：
Structure of hierarchical matrix-valued Liapunov function / 4.4.1：
Structure of the total derivative of hierarchical matrix-valued function / 4.4.2：
Uniqueness and Continuability of Solutions / 4.5：
On Boundedness of the Solutions / 4.6：
Novel Methodology for Stability / 4.7：
Stability conditions / 4.7.1：
Applications / 4.8：
Estimations of Asymptotic Stability Domains in General / 5.1：
A fundamental Zubov's result / 5.2.1：
Some estimates for quadratic matrix-valued functions / 5.2.2：
Algorithm of constructing a point network covering boundary of domain E / 5.2.3：
Numerical realization and discussion of the algorithm / 5.2.4：
Illustrative examples / 5.2.5：
Construction of Estimate for the Domain E of Power System / 5.3：
Oscillations and Stability of Some Mechanical Systems / 5.4：
Three-mass systems / 5.4.1：
Nonautonomous oscillator / 5.4.2：
Absolute Stability of Discrete Systems / 5.5：
References / 5.6：
Subject Index
Preface
Preliminaries / 1：
Introduction / 1.1：
4.

図書
図書
4. Fundamentals and applications of microfluidics
Nam-Trung Nguyen, Steven T. Wereley
出版情報: Boston : Artech House, c2002  xiii, 471 p. ; 24 cm
シリーズ名: MEMS--Microelectromechanical systems series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Introduction / Chapter 1：
Microfluidics--The Emerging Technology / 1.1：
What Is Microfluidics? / 1.1.1：
Commercial Aspects / 1.1.2：
Scientific Aspects / 1.1.3：
Milestones of Microfluidics / 1.2：
Device Development / 1.2.1：
Technology Development / 1.2.2：
Organization of the Book / 1.3：
References
Fluid Mechanics Theory / Chapter 2：
Intermolecular Forces / 2.1：
The Three States of Matter / 2.1.2：
Continuum Assumption / 2.1.3：
Continuum Fluid Mechanics at Small Scales / 2.2：
Gas Flows / 2.2.1：
Liquid Flows / 2.2.2：
Boundary Conditions / 2.2.3：
Parallel Flows / 2.2.4：
Low Reynolds Number Flows / 2.2.5：
Entrance Effects / 2.2.6：
Surface Tension / 2.2.7：
Molecular Approaches / 2.3：
MD / 2.3.1：
DSMC Technique / 2.3.2：
Electrokinetics / 2.4：
Electro-Osmosis / 2.4.1：
Electrophoresis / 2.4.2：
Dielectrophoresis / 2.4.3：
Conclusion / 2.5：
Problems
Fabrication Techniques for Microfluidics / Chapter 3：
Basic Microtechniques / 3.1：
Photolithography / 3.1.1：
Additive Techniques / 3.1.2：
Subtractive Techniques / 3.1.3：
Pattern Transfer Techniques / 3.1.4：
Silicon-Based Micromachining Techniques / 3.2：
Silicon Bulk Micromachining / 3.2.1：
Silicon Surface Micromachining / 3.2.2：
Polymer-Based Micromachining Techniques / 3.3：
Thick Resist Lithography / 3.3.1：
Polymeric Surface Micromachining / 3.3.2：
Soft Lithography / 3.3.3：
Microstereo Lithography / 3.3.4：
Micromolding / 3.3.5：
Other Micromachining Techniques / 3.4：
Assembly and Packaging of Microfluidic Devices / 3.4.1：
Wafer Level Assembly and Packaging / 3.5.1：
Device Level Packaging / 3.5.2：
Biocompatibility / 3.6：
Material Response / 3.6.1：
Tissue and Cellular Response / 3.6.2：
Biocompatibility Tests / 3.6.3：
Experimental Flow Characterization / Chapter 4：
Pointwise Methods / 4.1：
Full-Field Methods / 4.1.2：
Overview of Micro-PIV / 4.2：
Fundamental Physics Considerations of Micro-PIV / 4.2.1：
Special Processing Methods for Micro-PIV Recordings / 4.2.2：
Advanced Processing Methods Suitable for Both Micro/Macro-PIV Recordings / 4.2.3：
Micro-PIV Examples / 4.3：
Flow in a Microchannel / 4.3.1：
Flow in a Micronozzle / 4.3.2：
Flow Around a Blood Cell / 4.3.3：
Flow in Microfluidic Biochip / 4.3.4：
Conclusions / 4.3.5：
Extensions of the Micro-PIV technique / 4.4：
Microfluidic Nanoscope / 4.4.1：
Microparticle Image Thermometry / 4.4.2：
Infrared Micro-PIV / 4.4.3：
Particle Tracking Velocimetry / 4.4.4：
Microfluidics for External Flow Control / Chapter 5：
Velocity and Turbulence Measurement / 5.1：
Velocity Sensors / 5.1.1：
Shear Stress Sensors / 5.1.2：
Turbulence Control / 5.2：
Microflaps / 5.2.1：
Microballoon / 5.2.2：
Microsynthetic Jet / 5.2.3：
Microair Vehicles / 5.3：
Fixed-Wing MAV / 5.3.1：
Flapping-Wing MAV / 5.3.2：
Microrotorcraft / 5.3.3：
Microrockets / 5.3.4：
Microfluidics for Internal Flow Control: Microvalves / Chapter 6：
Design Considerations / 6.1：
Actuators / 6.1.1：
Valve Spring / 6.1.2：
Valve Seat / 6.1.3：
Pressure Compensation Design / 6.1.4：
Pneumatic Valves / 6.2：
Pneumatic Actuators / 6.2.1：
Design Examples / 6.2.2：
Thermopneumatic Valves / 6.3：
Thermopneumatic Actuators / 6.3.1：
Thermomechanical Valves / 6.3.2：
Solid-Expansion Valves / 6.4.1：
Bimetallic Valves / 6.4.2：
Shape-Memory Alloy Valves / 6.4.3：
Piezoelectric Valves / 6.5：
Piezoelectric Actuators / 6.5.1：
Electrostatic Valves / 6.5.2：
Electrostatic Actuators / 6.6.1：
Electromagnetic Valves / 6.6.2：
Electromagnetic Actuators / 6.7.1：
Electrochemical Valves / 6.7.2：
Capillary-Force Valves / 6.9：
Capillary-Force Actuators / 6.9.1：
Microfluidics for Internal Flow Control: Micropumps / 6.9.2：
Mechanical Pumps / 7.1：
Check-Valve Pumps / 7.1.1：
Peristaltic Pumps / 7.1.3：
Valveless Rectification Pumps / 7.1.4：
Rotary Pumps / 7.1.5：
Centrifugal Pumps / 7.1.6：
Ultrasonic Pumps / 7.1.7：
Nonmechanical Pumps / 7.2：
Electrical Pumps / 7.2.1：
Surface Tension Driven Pumps / 7.2.2：
Chemical Pumps / 7.2.3：
Magnetic Pumps / 7.2.4：
Scaling Law for Micropumps / 7.3：
Microfluidics for Internal Flow Control: Microflow Sensors / Chapter 8：
Nonthermal Flow Sensors / 8.1：
Differential Pressure Flow Sensors / 8.1.1：
Drag Force Flow Sensors / 8.1.2：
Lift Force Flow Sensors / 8.1.3：
Coriolis Flow Sensors / 8.1.4：
Electrohydrodynamic Flow Sensors / 8.1.5：
Thermal Flow Sensors / 8.2：
Thermoresistive Flow Sensors / 8.2.1：
Thermocapacitive Flow Sensors / 8.2.3：
Thermoelectric Flow Sensors / 8.2.4：
Thermoelectronic Flow Sensors / 8.2.5：
Pyroelectric Flow Sensors / 8.2.6：
Frequency Analog Sensors / 8.2.7：
Microfluidics for Life Sciences and Chemistry / Chapter 9：
Microfilters / 9.1：
Microneedles / 9.1.1：
Micromixers / 9.2.1：
Microreactors / 9.3.1：
Microdispensers / 9.4.1：
Microseparators / 9.5.1：
Gas Chromatography / 9.6.1：
Liquid Chromatography / 9.6.3：
List of Symbols / 9.6.4：
Resources for Microfluidics Research / Appendix B：
Abbreviations of Different Plastics / Appendix C：
Linear Elastic Deflection Models / Appendix D：
About the Authors
Index
Preface
Acknowledgments
Introduction / Chapter 1：
5.

図書
図書
5. Polymer solutions : an introduction to physical properties
Iwao Teraoka
出版情報: New York : Wiley, c2002  xv, 338 p ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Models of Polymer Chains / 1：
Introduction / 1.1：
Chain Architecture / 1.1.1：
Models of a Linear Polymer Chain / 1.1.2：
Real Chains and Ideal Chains / 1.1.3：
Ideal Chains / 1.2：
Random Walk in One Dimension / 1.2.1：
Random Walks in Two and Three Dimensions / 1.2.2：
Dimensions of Random-Walk Chains / 1.2.3：
Problems / 1.2.4：
Gaussian Chain / 1.3：
What is a Gaussian Chain? / 1.3.1：
Dimension of a Gaussian Chain / 1.3.2：
Entropy Elasticity / 1.3.3：
Real Chains / 1.3.4：
Excluded Volume / 1.4.1：
Dimension of a Real Chain / 1.4.2：
Self-Avoiding Walk / 1.4.3：
Semirigid Chains / 1.4.4：
Examples of Semirigid Chains / 1.5.1：
Wormlike Chain / 1.5.2：
Branched Chains / 1.5.3：
Architecture of Branched Chains / 1.6.1：
Dimension of Branched Chains / 1.6.2：
Molecular Weight Distribution / 1.6.3：
Average Molecular Weights / 1.7.1：
Typical Distributions / 1.7.2：
Concentration Regimes / 1.7.3：
Concentration Regimes for Linear Flexible Polymers / 1.8.1：
Concentration Regimes for Rodlike Molecules / 1.8.2：
Thermodynamics of Dilute Polymer Solutions / 1.8.3：
Polymer Solutions and Thermodynamics / 2.1：
Flory-Huggins Mean-Field Theory / 2.2：
Model / 2.2.1：
Free Energy, Chemical Potentials, and Osmotic Pressure / 2.2.2：
Dilute Solutions / 2.2.3：
Coexistence Curve and Stability / 2.2.4：
Polydisperse Polymer / 2.2.5：
Phase Diagram and Theta Solutions / 2.2.6：
Phase Diagram / 2.3.1：
Theta Solutions / 2.3.2：
Coil-Globule Transition / 2.3.3：
Solubility Parameter / 2.3.4：
Static Light Scattering / 2.3.5：
Sample Geometry in Light-Scattering Measurements / 2.4.1：
Scattering by a Small Particle / 2.4.2：
Scattering by a Polymer Chain / 2.4.3：
Scattering by Many Polymer Chains / 2.4.4：
Correlation Function and Structure Factor / 2.4.5：
Structure Factor of a Polymer Chain / 2.4.6：
Light Scattering of a Polymer Solution / 2.4.7：
Other Scattering Techniques / 2.4.8：
Size Exclusion Chromatography and Confinement / 2.4.9：
Separation System / 2.5.1：
Plate Theory / 2.5.2：
Partitioning of Polymer with a Pore / 2.5.3：
Calibration of SEC / 2.5.4：
SEC With an On-Line Light-Scattering Detector / 2.5.5：
Appendixes / 2.5.6：
Review of Thermodynamics for Colligative Properties in Nonideal Solutions / 2.A：
Osmotic Pressure / 2.A.1：
Vapor Pressure Osmometry / 2.A.2：
Another Approach to Thermodynamics of Polymer Solutions / 2.B：
Correlation Function of a Gaussian Chain / 2.C：
Dynamics of Dilute Polymer Solutions / 3：
Dynamics of Polymer Solutions / 3.1：
Dynamic Light Scattering and Diffusion of Polymers / 3.2：
Measurement System and Autocorrelation Function / 3.2.1：
Autocorrelation Function / 3.2.2：
Dynamic Structure Factor of Suspended Particles / 3.2.3：
Diffusion of Particles / 3.2.4：
Diffusion and DLS / 3.2.5：
Dynamic Structure Factor of a Polymer Solution / 3.2.6：
Hydrodynamic Radius / 3.2.7：
Particle Sizing / 3.2.8：
Diffusion From Equation of Motion / 3.2.9：
Diffusion as Kinetics / 3.2.10：
Concentration Effect on Diffusion / 3.2.11：
Diffusion in a Nonuniform System / 3.2.12：
Viscosity / 3.2.13：
Viscosity of Solutions / 3.3.1：
Measurement of Viscosity / 3.3.2：
Intrinsic Viscosity / 3.3.3：
Flow Field / 3.3.4：
Normal Modes / 3.3.5：
Rouse Model / 3.4.1：
Normal Coordinates / 3.4.2：
Equation of Motion for the Normal Coordinates in the Rouse Model / 3.4.3：
Results of the Normal-Coordinates / 3.4.4：
Results for the Rouse Model / 3.4.5：
Zimm Model / 3.4.6：
Dynamic Structure Factor / 3.4.7：
Motion of Monomers / 3.4.9：
Dynamics of Rodlike Molecules / 3.4.10：
Diffusion Coefficients / 3.5.1：
Rotational Diffusion / 3.5.2：
Dynamics of Wormlike Chains / 3.5.3：
Appendices / 3.5.6：
Evaluation of [left angle bracket]q[subscript i superscript 2 right angle bracket subscript eq] / 3.A：
Evaluation of [left angle bracket]exp[ik [middle dot] (Aq - Bp) right angle bracket] / 3.B：
Initial Slope of S[subscript 1](k,t) / 3.C：
Thermodynamics and Dynamics of Semidilute Solutions / 4：
Semidilute Polymer Solutions / 4.1：
Thermodynamics of Semidilute Polymer Solutions / 4.2：
Blob Model / 4.2.1：
Scaling Theory and Semidilute Solutions / 4.2.2：
Partitioning with a Pore / 4.2.3：
Dynamics of Semidilute Solutions / 4.2.4：
Cooperative Diffusion / 4.3.1：
Tube Model and Reptation Theory / 4.3.2：
References / 4.3.3：
Further Readings
Delta Function / A1：
Fourier Transform / A2：
Integrals / A3：
Series / A4：
Index
Preface
Models of Polymer Chains / 1：
Introduction / 1.1：
6.

図書
図書
6. Catalysis by polyoxometalates
Ivan Kozhevnikov
出版情報: Chichester : J. Wiley & Sons, c2002  xiv, 201 p. ; 24 cm
シリーズ名: Catalysts for fine chemical synthesis ; v. 2
所蔵情報: loading…
目次情報: 続きを見る
Series Preface
Preface to Volume 2
Introduction / 1：
Scope and definitions / 1.1：
Nomenclature / 1.2：
Historical background / 1.3：
Introduction to catalysis by polyoxometalates / 1.4：
References
Properties of Polyoxometalates / 2：
Structures of polyoxometalates / 2.1：
General principles / 2.1.1：
The Keggin structure / 2.1.2：
The Wells-Dawson structure / 2.1.3：
The Anderson-Evans structure / 2.1.4：
The Dexter-Silverton structure / 2.1.5：
Crystal structure of heteropoly compounds / 2.2：
Thermal stability / 2.3：
Solubility / 2.4：
Formation and state in solution / 2.5：
Stability of polyoxometalates in solution / 2.5.1：
Polyoxometalates as ligands / 2.5.2：
Isotope exchange / 2.5.3：
Kinetics and mechanism of substitution in polyoxmetalates / 2.5.4：
Acid properties / 2.6：
Proton structure / 2.6.1：
Heteropoly acids in solutions / 2.6.2：
Acidity of solid heteropoly acids / 2.6.3：
Redox properties / 2.7：
Synthesis of Polyoxometalates / 3：
General methods of synthesis / 3.1：
Keggin polyoxometalates / 3.2：
12-Molybdosilicic acid, [alpha]-H[subscript 4 SiMo[subscript 12]O[subscript 40] / 3.2.1：
12-Tungstosilicic acid, [alpha]-H[subscript 4 SiW[subscript 12]O[subscript 40] / 3.2.2：
12-Tungstophosphoric acid, [alpha]-H[subscript 3 PW[subscript 12]O[subscript 40] / 3.2.3：
12-Molybdophosphoric acid, [alpha]-H[subscript 3 PMo[subscript 12]O[subscript 40] / 3.2.4：
12-Tungstogermanic acid, [alpha]-[H[subscript 4 GeW[subscript 12]O[subscript 40] / 3.2.5：
11-Molybdo-1-vanadophosphoric acid, H[subscript 4 PMo[subscript 11] VO[subscript 40] / 3.2.6：
10-Molybdo-2-vanadophosphoric acid, H[subscript 5 PMo[subscript 10]V[subscript 2]O[subscript 40] / 3.2.7：
9-Molybdo-3-vanadophosphoric acid, H[subscript 6 PMo[subscript 9] V[subscript 3]O[subscript 40] / 3.2.8：
Transition-metal-substituted tungstophosphates, {PW[subscript 11]MO[subscript 39]} / 3.2.9：
Wells-Dawson polyoxometalates / 3.3：
18-Tungstodiphosphoric acid, H[subscript 6 P[subscript 2]W[subscript 18]O[subscript 62] / 3.3.1：
Sandwich-type polyoxometalates / 3.4：
Na[subscript 12 WZn[subscript 3](H[subscript 2]O)[subscript 2](ZnW[subscript 9]O[subscript 34])[subscript 2] / 3.4.1：
Na[subscript 12 WCo[subscript 3 superscript II](H[subscript 2]O)[subscript 2] (Co[superscript II]W[subscript 9]O[subscript 34])[subscript 2] / 3.4.2：
K[subscript 11 WZnRu[subscript 2 superscript III](OH)(H[subscript 2]O) (ZnW[subscript 9]O[subscript 34])[subscript 2] / 3.4.3：
K[subscript 10 WZnRh[superscript III subscript 2](H[subscript 2]O)(ZnW[subscript 9]O[subscript 34])[subscript 2] / 3.4.4：
Peroxo polyoxometalates / 3.5：
Venturello complex, {PO[subscript 4 WO(O[subscript 2])[subscript 2 subscript 4]}[superscript 3-] / 3.5.1：
Polyoxometalate catalysts / 3.6：
Solid acid catalysts / 3.6.1：
Homogeneous catalysts / 3.6.2：
Acid Catalysis by Heteropoly Compounds / 4：
General overview / 4.1：
The scope of applications / 4.1.1：
Mechanistic principles / 4.1.2：
Homogeneous acid catalysis / 4.2：
Acid-catalysed reactions / 4.2.1：
Acid-catalysed reactions in biphasic liquid-liquid systems / 4.3：
Biphasic reactions / 4.3.1：
Heterogeneous acid catalysts / 4.4：
Heteropoly acid catalysts / 4.4.1：
Heterogeneous catalysis in liquid-solid systems / 4.4.2：
Heterogeneous catalysis in gas-solid systems / 4.4.3：
Deactivation and regeneration of solid heteropoly acid catalysts / 4.5：
Polyoxometalates as Catalysts for Selective Oxidation / 5：
Liquid-phase oxidation / 5.1：
Oxidation with dioxygen / 5.1.1：
Oxidation with hydrogen peroxide / 5.1.2：
Oxidation with organic peroxides / 5.1.3：
Miscellaneous oxidations / 5.1.4：
Gas-phase oxidation / 5.2：
Oxidation catalysts / 5.2.1：
Reactions / 5.2.3：
Miscellaneous Catalytic Applications of Polyoxometalates / 6：
Hydrogenation, carbonylation and related reactions / 6.1：
Polyanion-stabilised clusters / 6.2：
Polyoxometalates as catalyst precursors / 6.3：
Catalysis by Polyoxometalates in Industry / 7：
Acid catalysis / 7.1：
Hydration of olefins / 7.1.1：
Synthesis of ethyl acetate from ethylene and acetic acid / 7.1.2：
Selective oxidation / 7.2：
Oxidation of methacrolein in methacrylic acid / 7.2.1：
Oxidation of ethylene to acetic acid / 7.2.2：
Other Applications of Polyoxometalates / 8：
Analytical chemistry / 8.1：
Elemental analysis / 8.1.1：
Analysis of biomaterials / 8.1.2：
Separation / 8.2：
Processing of radioactive waste / 8.2.1：
Sorption of gases / 8.2.2：
Corrosion-resistant coatings / 8.3：
Polyoxometalates as additives to inorganic and organic matrices / 8.4：
Additives in sol-gel matrices / 8.4.1：
Additives in polymer matrices / 8.4.2：
Membranes / 8.5：
Fuel cells / 8.5.1：
Selective electrodes / 8.5.2：
Gas sensors / 8.5.3：
Polyoxometalates in medicine: antiviral and antitumoral activity / 8.6：
Index
Series Preface
Preface to Volume 2
Introduction / 1：
7.

図書
図書
7. Moduli of families of curves for conformal and quasiconformal mappings
Alexander Vasilʹev
出版情報: Berlin ; Tokyo : Springer-Verlag, c2002  ix, 211 p. ; 24 cm
シリーズ名: Lecture notes in mathematics ; 1788
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Moduli of Families of Curves and Extremal Partitions / 2：
Simple definition and properties of the modulus / 2.1：
Definition / 2.1.1：
Properties / 2.1.2：
Examples / 2.1.3：
Grötzsch lemmas / 2.1.4：
Exercises / 2.1.5：
Reduced moduli and capacity / 2.2：
Reduced modulus / 2.2.1：
Capacity and transfinite diameter / 2.2.2：
Digons, triangles and their reduced moduli / 2.2.3：
Elliptic functions and integrals / 2.3：
Elliptic functions / 2.3.1：
Elliptic integrals and JacobiÆs functions / 2.3.2：
Some frequently used moduli / 2.4：
Moduli of doubly connected domains / 2.4.1：
Moduli of quadrilaterals / 2.4.2：
Reduced moduli / 2.4.3：
Reduced moduli of digons / 2.4.4：
Symmetrization and polarization / 2.5：
Circular symmetrization / 2.5.1：
Polarization / 2.5.2：
Quadratic differentials on Riemann surfaces / 2.6：
Riemann surfaces / 2.6.1：
Quadratic differentials / 2.6.2：
Local trajectory structure / 2.6.3：
Trajectory structure in the large / 2.6.4：
Free families of homotopy classes of curves and extremal par- titions / 2.7：
The case of ring domains and quadrangles / 2.7.1：
The case of circular, strip domains, and triangles / 2.7.2：
Continuous and differentiable moduli / 2.7.3：
Moduli in Extremal Problems for Conformal Mapping / 3：
Classical extremal problems for univalent functions / 3.1：
Koebe set, growth, distortion / 3.1.1：
Lower boundary curve for the range of ( / 3.1.2：
Special moduli / 3.1.3：
Upper boundary curve for the range of ( / 3.1.4：
Two-point distortion for univalent functions / 3.2：
Bounded univalent functions / 3.2.1：
Elementary estimates / 3.3.1：
Boundary curve for the range of ( / 3.3.2：
Montel functions / 3.4：
Covering theorems / 3.4.1：
Distortion at the points of normalization / 3.4.2：
The range of ( / 3.4.3：
Univalent functions with the angular derivatives / 3.5：
Estimates of the angular derivatives / 3.5.1：
Moduli in Extremal Problems for Quasiconformal Mapping / 3.5.2：
General information and simple extremal problems / 4.1：
Quasiconformal mappings of Riemann surfaces / 4.1.1：
Growth and Hölder continuity / 4.1.2：
Quasiconformal motion of a quadruple of points / 4.1.3：
Two-point distortion for quasiconformal maps of the plane / 4.2：
Special differentials and extremal partitions / 4.2.1：
Quasisymmetric functions and the extremal maps / 4.2.2：
Boundary parameterization / 4.2.3：
The class QK. Estimations of functionals / 4.2.4：
Conclusions and unsolved problems / 4.2.5：
Two-point distortion for quasiconformal maps of the unit disk / 4.3：
Extremal problems / 4.3.1：
Moduli on Teichmüller Spaces / 5：
Some information on Teichmüller spaces / 5.1：
Moduli on Teichmüller spaces / 5.2：
Variational formulae / 5.2.1：
Three lemmas / 5.2.2：
Harmonic properties of the moduli / 5.3：
Descriptions of the Teichmüller metric / 5.4：
Invariant metrics / 5.5：
References
List of symbols
Index
Introduction / 1：
Moduli of Families of Curves and Extremal Partitions / 2：
Simple definition and properties of the modulus / 2.1：
8.

電子ブック
ＥＢ
8. Moduli of Families of Curves for Conformal and Quasiconformal Mappings
Alexander VasilÊ〓ev
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2002
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Moduli of Families of Curves and Extremal Partitions / 2：
Simple definition and properties of the modulus / 2.1：
Definition / 2.1.1：
Properties / 2.1.2：
Examples / 2.1.3：
Grötzsch lemmas / 2.1.4：
Exercises / 2.1.5：
Reduced moduli and capacity / 2.2：
Reduced modulus / 2.2.1：
Capacity and transfinite diameter / 2.2.2：
Digons, triangles and their reduced moduli / 2.2.3：
Elliptic functions and integrals / 2.3：
Elliptic functions / 2.3.1：
Elliptic integrals and JacobiÆs functions / 2.3.2：
Some frequently used moduli / 2.4：
Moduli of doubly connected domains / 2.4.1：
Moduli of quadrilaterals / 2.4.2：
Reduced moduli / 2.4.3：
Reduced moduli of digons / 2.4.4：
Symmetrization and polarization / 2.5：
Circular symmetrization / 2.5.1：
Polarization / 2.5.2：
Quadratic differentials on Riemann surfaces / 2.6：
Riemann surfaces / 2.6.1：
Quadratic differentials / 2.6.2：
Local trajectory structure / 2.6.3：
Trajectory structure in the large / 2.6.4：
Free families of homotopy classes of curves and extremal par- titions / 2.7：
The case of ring domains and quadrangles / 2.7.1：
The case of circular, strip domains, and triangles / 2.7.2：
Continuous and differentiable moduli / 2.7.3：
Moduli in Extremal Problems for Conformal Mapping / 3：
Classical extremal problems for univalent functions / 3.1：
Koebe set, growth, distortion / 3.1.1：
Lower boundary curve for the range of ( / 3.1.2：
Special moduli / 3.1.3：
Upper boundary curve for the range of ( / 3.1.4：
Two-point distortion for univalent functions / 3.2：
Bounded univalent functions / 3.2.1：
Elementary estimates / 3.3.1：
Boundary curve for the range of ( / 3.3.2：
Montel functions / 3.4：
Covering theorems / 3.4.1：
Distortion at the points of normalization / 3.4.2：
The range of ( / 3.4.3：
Univalent functions with the angular derivatives / 3.5：
Estimates of the angular derivatives / 3.5.1：
Moduli in Extremal Problems for Quasiconformal Mapping / 3.5.2：
General information and simple extremal problems / 4.1：
Quasiconformal mappings of Riemann surfaces / 4.1.1：
Growth and Hölder continuity / 4.1.2：
Quasiconformal motion of a quadruple of points / 4.1.3：
Two-point distortion for quasiconformal maps of the plane / 4.2：
Special differentials and extremal partitions / 4.2.1：
Quasisymmetric functions and the extremal maps / 4.2.2：
Boundary parameterization / 4.2.3：
The class QK. Estimations of functionals / 4.2.4：
Conclusions and unsolved problems / 4.2.5：
Two-point distortion for quasiconformal maps of the unit disk / 4.3：
Extremal problems / 4.3.1：
Moduli on Teichmüller Spaces / 5：
Some information on Teichmüller spaces / 5.1：
Moduli on Teichmüller spaces / 5.2：
Variational formulae / 5.2.1：
Three lemmas / 5.2.2：
Harmonic properties of the moduli / 5.3：
Descriptions of the Teichmüller metric / 5.4：
Invariant metrics / 5.5：
References
List of symbols
Index
Introduction / 1：
Moduli of Families of Curves and Extremal Partitions / 2：
Simple definition and properties of the modulus / 2.1：
9.

図書
図書
9. Computational contact and impact mechanics : fundamentals of modeling interfacial phenomena in nonlinear finite element analysis
Tod A. Laursen
出版情報: Berlin ; Tokyo : Springer, c2002  xv, 454 p. ; 24 cm
シリーズ名: Engineering online library
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1：
Scope of this Monograph / 1.1：
Useful Background for this Presentation / 1.2：
Overview / 1.3：
Finite Element Formulations in Nonlinear Solid Mechanics / 2：
Initial/Boundary Value Problems in the Kinematically Lin-ear Regime / 2.1：
Strong Form of the EBVP / 2.1.1：
Weak Form of the IBVP / 2.1.2：
The IBVP in the Finite Strain Case / 2.2：
Notation and Problem Formulation / 2.2.1：
Finite Strain Kinematics / 2.2.2：
Stress Definitions Appropriate for Large Deformations / 2.2.3：
Frame Indifference / 2.2.4：
The Strong Form in Finite Strains / 2.2.5：
The Weak Form in Finite Strains / 2.2.6：
Finite Element Discretization / 2.3：
Discretized Weak Form; Generation of Discrete Non-linear Equations / 2.3.1：
Discrete Nonlinear Equations for the Kinematically Linear Case / 2.3.2：
Solution Strategies for Spatially Discrete Systems / 2.4：
Quasistatics and Incremental Load Methods / 2.4.1：
Dynamics and Global Time Stepping Procedures / 2.4.2：
Local (Constitutive) Time Stepping Procedures / 2.4.3：
Nonlinear Equation Solving / 2.4.4：
Consistent Algorithmic Linearization of Material Re-sponse / 2.4.5：
The Kinematically Linear Contact Problem / 3：
Strong Forms in Linearized Frictionless Contact / 3.1：
The Signorini Problem: Contact with a Rigid Obstacle / 3.1.1：
The Two Body Contact Problem / 3.1.2：
Weak Statements of the Contact Problem / 3.2：
Variational Inequalities / 3.2.1：
The Quasistatic Elastic Case: Contact as a Problem of Constrained Optimization / 3.2.2：
Methods of Constraint Enforcement / 3.3：
Classical Lagrange Multiplier Methods / 3.3.1：
Penalty Methods / 3.3.2：
Augmented Lagrangian Methods / 3.3.3：
Inclusion of Friction into the Problem Description / 3.4：
Friction Kinematics and Traction Measures / 3.4.1：
Unregularized Coulomb Friction Laws / 3.4.2：
Regularization of Friction / 3.4.3：
Variational Statements Including Friction / 3.4.4：
Nonlocal Frictional Descriptions / 3.4.5：
Continuum Mechanics of Large Deformation Contact / 4：
Two Body Contact Problem Definition / 4.1：
Local Momentum Balances / 4.1.1：
Initial and Boundary Conditions / 4.1.2：
Contact Constraints in Large Deformations / 4.2：
The Gap Function as Defined by Closest Point Projection / 4.2.1：
Frictional Kinematics on Interfaces / 4.2.2：
Frame Indifference of Contact Rate Variables / 4.2.3：
Coulomb Friction in Large Sliding / 4.2.4：
Summary: Strong Form of the Large Deformation Contact Problem / 4.3：
Virtual Work Expressions Incorporating Contact / 4.4：
Contact Virtual Work: The Contact Integral / 4.4.1：
Linearization of Contact Virtual Work / 4.4.2：
Summary: Weak Form of the Large Deformation Con-tact Problem / 4.4.3：
Finite Element Implementation of Contact Interaction / 5：
Finite Dimensional Representation of Contact Interaction / 5.1：
Contact Surface Discretization / 5.1.1：
Numerical Integration of the Contact Integral / 5.1.2：
Contact Detection (Searching) / 5.1.3：
Time Discretization / 5.2：
Global time integration schemes / 5.2.1：
Temporally Discrete Frictional Laws for the Penalty Regularized Case / 5.2.2：
Contact Stiffness and Residual: Penalty Regularized Case / 5.3：
Three dimensional matrix expressions / 5.3.1：
Two dimensional matrix expressions / 5.3.2：
Augmented Lagrangian Constraint Enforcement Algorithms / 5.4：
Uzawa's Method (Method of Multipliers) / 5.4.1：
Algorithmic Symmetrization Using Augmented La-grangians / 5.4.2：
Augmented Lagrangian Discrete Force and Stiffness Expressions / 5.4.3：
Numerical Examples / 5.5：
General Demonstrations of the Computational Frame-work / 5.5.1：
Demonstrations of Augmented Lagrangian Algorith-mic Performance / 5.5.2：
Tribological Complexity in Interface Constitutive Models / 6：
Rate and State Dependent Friction / 6.1：
Motivation / 6.1.1：
One Dimensional Model Development / 6.1.2：
Model Incorporation into Convective Slip Advected Frame / 6.1.3：
Local Time Stepping Algorithm / 6.1.4：
Contact Force Vector and Stiffness Matrix / 6.1.5：
Thermomechanically Coupled Friction on Interfaces / 6.1.6：
Thermally Coupled Problem Definition / 6.2.1：
A Thermodynamically Consistent Friction Model / 6.2.3：
Variational Principle and Finite Element Implemen-tation / 6.2.4：
Thermodynamical Algorithmic Consistency / 6.2.5：
Constitutive Framework for Bulk Continua / 6.3.1：
Thermomechanical Interface Model Framework / 6.3.2：
A Priori Stability Estimates for Dynamic Frictional Contact / 6.3.3：
A New Partitioned Scheme for Thermomechanical Contact / 6.3.4：
Algorithmic Treatment of Contact Conditions According to the Adiabatic Split / 6.3.5：
Energy-Momentum Approaches to Impact Mechanics / 7：
Energy Stability of Traditional Schemes / 7.1：
A Model System / 7.1.1：
The Concept of Energy Stability / 7.1.2：
Influence of Contact Constraints on System Energy / 7.1.3：
Energy-Momentum Methods for Elastodynamics / 7.2：
Conservation Laws / 7.2.1：
Conservative Discretization Schemes / 7.2.2：
Energy-Momentum Algorithmic Treatment of Prictionless Impact / 7.3：
Discrete Contact Constraints / 7.3.1：
Spatial Discretization and Implementation / 7.3.2：
Introduction of Frictional and Bulk Dissipation: Energy Con-sistency / 7.3.3：
Coulomb Friction Model Formulation / 7.4.1：
Local Split of the Coulomb Model / 7.4.2：
Algorithmic Formulation / 7.4.3：
Energy Consistent Treatment of Bulk Inelasticity / 7.4.4：
Numerical Examples With Friction and Inelasticity / 7.4.5：
EM Algorithms Involving a Discontinuous Velocity Update / 7.5：
Temporally Discontinuous Velocity Update / 7.5.1：
Reexamination of Conservation Conditions / 7.5.2：
Contact Constraints / 7.5.3：
Summary of the Algorithm / 7.5.4：
Emerging Paradigms for Contact Surface Discretization / 7.5.5：
Contact Smoothing / 8.1：
An Alternative Variational Framework / 8.1.1：
Smoothing Strategies in Two Dimensions / 8.1.2：
Smoothing Strategies in Three Dimensions / 8.1.3：
Mortar-Finite Element Methods for Contact Description / 8.1.4：
Tied Contact and the Role of Mortar Formulations in Convergence / 8.2.1：
A Mortar-Finite Element Formulation of Frictional Contact / 8.2.2：
Numerical Examples of Mortar Treatment of Frictional Contact / 8.2.3：
References
Index
Preface
Introduction / 1：
Scope of this Monograph / 1.1：
10.

図書
図書
10. Modular specification and verification of object-oriented programs
Peter Müller
出版情報: Berlin : Springer, c2002  xiv, 292 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2262
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Motivation / 1.1：
Specification and Verification Technique / 1.2：
The Problem / 1.3：
Modular Correctness / 1.3.1：
The Frame Problem / 1.3.2：
Modular Verification of Type Invariants / 1.3.3：
The Extended State Problem / 1.3.4：
Alias Control / 1.3.5：
Modularity Aspects of Programs, Specifications, and Proofs / 1.4：
Modularity of Programs / 1.4.1：
Modularity of Universal Specifications / 1.4.2：
Modularity of Interface Specifications / 1.4.3：
Modularity of Correctness Proofs / 1.4.4：
Approach, Outline, and Contributions / 1.5：
Approach / 1.5.1：
Outline / 1.5.2：
Contributions / 1.5.3：
Related Work / 1.6：
Specification Techniques / 1.6.1：
Verification and Analysis Techniques / 1.6.2：
Mojave and the Universe Type System / 2：
Mojave: The Language / 2.1：
The Language Core / 2.1.1：
Modularity / 2.1.2：
Universes: A Type System for Flexible Alias Control / 2.2：
The Ownership Model / 2.2.1：
The Universe Programming Model / 2.2.2：
Programming with Universes / 2.2.3：
Examples / 2.2.4：
Formalization of the Universe Type System / 2.2.5：
Discussion / 2.2.6：
The Semantics of Mojave / 2.3：
Programming Logic / 3.1：
Formal Data and State Model / 3.1.1：
Axiomatic Semantics / 3.1.2：
Language Properties / 3.1.3：
Type Safety / 3.2.1：
Liveness Properties / 3.2.2：
Properties of Readonly Methods / 3.2.3：
Correctness / 3.3：
Correctness of Closed Programs / 3.3.1：
Correctness of Open Programs: Modular Correctness / 3.3.2：
Modular Soundness / 3.3.3：
Composition of Modular Correct Open Programs / 3.3.4：
Modular Specification and Verification of Functional Behavior / 3.4：
Foundations of Interface Specifications / 4.1：
Specification of Functional Behavior / 4.2：
Abstract Fields / 4.2.1：
Pre-post-specifications / 4.2.2：
Verification of Functional Behavior / 4.3：
Verification of Method Bodies / 4.3.1：
Proofs for Virtual Methods / 4.3.2：
Example / 4.3.3：
Modular Specification and Verification of Frame Properties / 4.4：
Meaning of Modifies-Clauses / 5.1：
Explicit Dependencies / 5.1.2：
Modularity Rules / 5.1.3：
Formalization of Explicit Dependencies / 5.2：
Declaration of Dependencies / 5.2.1：
Axiomatization of the Depends-Relation / 5.2.2：
Consistency with Representation / 5.2.3：
Formalization of the Modularity Rules / 5.2.4：
Axiomatization of the Notdepends-Relation / 5.2.5：
Formalization of Modifies-Clauses / 5.2.6：
Verification of Frame Properties / 5.4：
Local Update Property / 5.4.1：
Accessibility Properties / 5.4.3：
Modularity Theorem for Frame Properties / 5.4.4：
Leino's and Nelson's Work on Dependencies / 5.4.5：
Other Work on the Frame Problem / 5.5.2：
Modular Specification and Verification of Type Invariants / 6：
Motivation and Approach / 6.1：
Invariant Semantics for Nonmodular Programs / 6.1.1：
Problems for Modular Verification of Invariants / 6.1.2：
Specification of Type Invariants / 6.1.3：
Declaration of Type Invariants / 6.2.1：
Formal Meaning of Invariants / 6.2.2：
Verification of Type Invariants / 6.3：
Verification Methodology / 6.3.1：
Module Invariants / 6.3.2：
History Constraints / 6.4.2：
Conclusion / 6.5：
Summary and Contributions / 7.1：
The Lopex Project / 7.2：
Tool Support / 7.3：
Directions for Future Work / 7.4：
Formal Background and Notations / A：
Formal Background / A.1：
Notations / A.2：
Predefined Type Declarations / B：
Doubly Linked List / C：
Property Editor / C.2：
Auxiliary Lemmas, Proofs, and Models / D：
Auxiliary Lemmas and Proofs from Chapter 3 / D.1：
Auxiliary Lemmas and Proofs from Chapter 5 / D.2：
Auxiliary Lemmas and Proofs from Chapter 6 / D.3：
A Model for the Axiomatization of the Depends-Relation / D.4：
Bibliography
List of Figures
Index
Introduction / 1：
Motivation / 1.1：
Specification and Verification Technique / 1.2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼