close
1.

電子ブック

EB
Mike Allerhand
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to R / 1:
Why Command Lines and Scripts? / 1.1:
The R Console / 1.1.1:
Variables / 1.1.2:
Functions / 1.1.3:
Finding Functions and Getting Help / 1.2:
Libraries / 1.2.1:
Packages / 1.2.2:
Finding Functions / 1.2.3:
Getting Help / 1.2.4:
R Projects / 1.3:
Saving Your Session / 1.3.1:
Scripts / 1.3.2:
Data Structures / 2:
Vectors, Matrices, and Arrays / 2.1:
Data Frames and Lists / 2.1.2:
Creating Data / 2.1.3:
Sampling Data / 2.1.4:
Reading Data / 2.1.5:
Operations on Vectors and Matrices / 2.2:
Arithmetic Functions / 2.2.1:
Descriptive Functions / 2.2.2:
Operators and Expressions / 2.2.3:
Factors / 2.3:
Making Factors / 2.3.1:
Operations on Factors / 2.3.2:
Re-ordering and Re-labelling / 2.3.3:
Indexing / 2.4:
Indexing by Name / 2.4.1:
Indexing by Number / 2.4.2:
Inserting and Deleting Rows or Columns / 2.4.3:
Indexing with Factors / 2.4.4:
Conditional Indexing / 2.4.5:
Sorting / 2.4.6:
Reshaping / 2.5:
Stacking and Unstacking? / 2.5.1:
Reshaping: Wide and Long / 2.5.2:
Merging / 2.5.3:
Missing Values / 2.6:
Recoding Missing Values / 2.6.1:
Operations with Missing Values / 2.6.2:
Counting and Sorting Missing Values / 2.6.3:
Handling Missing Values / 2.6.4:
Mapping Functions / 2.7:
Repeated Evaluation / 2.7.1:
Applying Functions / 2.7.2:
Writing Functions / 2.8:
Anonymous Functions / 2.8.1:
Optional Arguments / 2.8.2:
Tables and Graphs / 3:
Tables / 3.1:
Frequency Tables / 3.1.1:
Tables of Cell Means and Other Summaries / 3.1.2:
Saving Tables / 3.1.3:
Graphs / 3.2:
Base Graphics / 3.2.1:
Lattice Graphics / 3.2.2:
Multiple Plot Layout / 3.2.3:
Saving Graphics / 3.2.4:
Hypothesis Tests / 4:
Probability Distributions / 4.1:
How to Run a t test / 4.2:
Linear Models / 5:
Model Formulas / 5.1:
Formula and Data Frame / 5.1.1:
Updating Model Fits / 5.1.2:
General Linear Models / 5.2:
Regression Diagnostics / 5.2.1:
Testing the Regression Coefficients / 5.2.2:
Prediction / 5.2.3:
Stepwise Regression / 5.2.4:
Extracting Information from the Fit Object / 5.2.5:
Residualizing / 5.2.6:
ANOVA / 5.3:
ANOVA Tables / 5.3.1:
Comparisons / 5.3.2:
Learning R / 5.4:
Index
Introduction to R / 1:
Why Command Lines and Scripts? / 1.1:
The R Console / 1.1.1:
2.

電子ブック

EB
Johann; Engel, Thomas Gasteiger, Thomas Engel, Johann Gasteiger
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2003
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Addresses of the Authors
Introduction / 1:
The Domain of Chemistry / 1.1:
A Chemists Fundamental Questions / 1.2:
The Scope of Chemoinformatics / 1.3:
Learning in Chemoinformatics / 1.4:
Major Tasks / 1.5:
Representation of the Objects / 1.5.1:
Data / 1.5.2:
Learning / 1.5.3:
History of Chemoinformatics / 1.6:
Structure Databases 10 / 1.6.1:
Quantitative Structure--Activity Relationships / 1.6.2:
Molecular Modeling / 1.6.3:
Structure Elucidation / 1.6.4:
Chemical Reactions and Synthesis Design / 1.6.5:
The Scope of this Book / 1.7:
Teaching Chemoinformatics / 1.8:
Representation of Chemical Compounds / 2:
Chemical Nomenclature / 2.1:
Development of Chemical Nomenclature / 2.2.1:
Representation of Chemical Elements / 2.2.2:
Characterization of Elements / 2.2.2.1:
Representation of the Empirical Formulas of (Inorganic) Compounds / 2.2.3:
Present-Day Representation / 2.2.3.1:
Representation of the Empirical Formulas of Organic Compounds / 2.2.4:
Systematic Nomenclature of Inorganic and Organic Compounds / 2.2.4.1:
Line Notations / 2.3:
Wiswesser Line Notation / 2.3.1:
Applications / 2.3.1.1:
ROSDAL / 2.3.2:
The SMILES Coding / 2.3.2.1:
Sybyl Line Notation / 2.3.3.1:
Coding the Constitution / 2.3.4.1:
Graph Theory / 2.4.1:
Basics of Graph Theory / 2.4.1.1:
Matrix Representations / 2.4.2:
Adjacency Matrix / 2.4.2.1:
Distance Matrix / 2.4.2.2:
Atom Connectivity Matrix / 2.4.2.3:
Incidence Matrix / 2.4.2.4:
Bond Matrix / 2.4.2.5:
Connection Table / 2.4.3:
Input and Output of Chemical Structures / 2.4.4:
Standard Structure Exchange Formats / 2.4.5:
Tutorial: Molfiles and SDfiles / 2.4.6:
Structure of a Molfile / 2.4.6.1:
Structure of an SDfile / 2.4.6.2:
Libraries and Toolkits / 2.4.6.3:
Processing Constitutional Information / 2.5:
Ring Perception / 2.5.1:
Minimum Number of Cycles / 2.5.1.1:
All Cycles / 2.5.1.2:
Smallest Fundamental Basis / 2.5.1.3:
Unambiguous and Unique Representations / 2.5.2:
Structure Isomers and Isomorphism / 2.5.2.1:
Canonicalization / 2.5.2.2:
The Morgan Algorithm / 2.5.3:
Tutorial: Morgan Algorithm / 2.5.3.1:
Beyond a Connection Table / 2.6:
Deficiencies in Representing Molecular Structures by a Connection Table / 2.6.1:
Representation of Molecular Structures by Electron Systems / 2.6.2:
General Concepts / 2.6.2.1:
Simple Single and Double Bonds / 2.6.2.2:
Conjugation and Aromaticity / 2.6.2.3:
Orthogonality of ûSystems / 2.6.2.4:
Non-bonding Orbitals / 2.6.2.5:
Charged Species and Radicals / 2.6.2.6:
Ionized States / 2.6.2.7:
Electron-Deficient Compounds / 2.6.2.8:
Organometallic Compounds / 2.6.2.9:
Generation of RAMSES from a VB Representation / 2.6.3:
Special Notations of Chemical Structures / 2.7:
Markush Structures / 2.7.1:
Fragment Coding / 2.7.2:
Fingerprints / 2.7.2.1:
Hashed Fingerprints / 2.7.3.1:
Hash Codes / 2.7.4:
Representation of Stereochemistry / 2.7.4.1:
Representation of Configuration Isomers and Molecular Chirality / 2.8.1:
Detection and Specification of Chirality / 2.8.2.1:
Ordered Lists / 2.8.3:
Rotational Lists / 2.8.4:
Permutation Descriptors / 2.8.5:
Stereochemistry in Molfile and SMILES / 2.8.6:
Stere / 2.8.6.1:
Foreword
Preface
Addresses of the Authors
3.

電子ブック

EB
Hans-Joachim Hubschmann
出版情報: Wiley Online Library - AutoHoldings Books , Weinheim : John Wiley & Sons, Inc., 2008
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Fundamentals / 2:
Sample Preparation / 2.1:
Solid Phase Extraction / 2.1.1:
Solid Phase Microextraction / 2.1.1.1:
Supercritical Fluid Extraction / 2.1.2:
Pressurized Fluid Extraction / 2.1.3:
Online Liquid Chromatography Clean-up / 2.1.4:
Headspace Techniques / 2.1.5:
Static Headspace Technique / 2.1.5.1:
Dynamic Headspace Technique (Purge and Trap) / 2.1.5.2:
Headspace versus Purge and Trap / 2.1.5.3:
Adsorptive Enrichment and Thermodesorption / 2.1.6:
Sample Collection / 2.1.6.1:
Calibration / 2.1.6.2:
Desorption / 2.1.6.3:
Pyrolysis and Thermal Extraction / 2.1.7:
Foil Pyrolysis / 2.1.7.1:
Curie Point Pyrolysis / 2.1.7.2:
Thermal Extraction / 2.1.7.3:
Gas Chromatography / 2.2:
Fast Gas Chromatography / 2.2.1:
Fast Chromatography / 2.2.1.1:
Ultra Fast Chromatography / 2.2.1.2:
Two Dimensional Gas Chromatography / 2.2.2:
Heart Cutting / 2.2.2.1:
Comprehensive GC x GC / 2.2.2.2:
Modulation / 2.2.2.3:
Detection / 2.2.2.4:
Data Handling / 2.2.2.5:
Moving Capillary Stream Switching / 2.2.2.6:
GC/MS Sample Inlet Systems / 2.2.3:
Carrier Gas Regulation / 2.2.3.1:
The Microseal Septum / 2.2.3.2:
Hot Sample Injection / 2.2.3.3:
Cold Injection Systems / 2.2.3.4:
Injection Volumes / 2.2.3.5:
On-column Injection / 2.2.3.6:
Cryofocusing / 2.2.3.7:
Capillary Columns / 2.2.4:
Sample Capacity / 2.2.4.1:
Internal Diameter / 2.2.4.2:
Film Thickness / 2.2.4.3:
Column Length / 2.2.4.4:
Adjusting the Carrier Gas Flow / 2.2.4.5:
Properties of Stationary Phases / 2.2.4.6:
Chromatography Parameters / 2.2.5:
The Chromatogram and its Meaning / 2.2.5.1:
Capacity Factor k' / 2.2.5.2:
Chromatographic Resolution / 2.2.5.3:
Factors Affecting the Resolution / 2.2.5.4:
Maximum Sample Capacity / 2.2.5.5:
Peak Symmetry / 2.2.5.6:
Optimisation of Flow / 2.2.5.7:
Classical Detectors for GC/MS Systems / 2.2.6:
FID / 2.2.6.1:
NPD / 2.2.6.2:
ECD / 2.2.6.3:
PID / 2.2.6.4:
ELCD / 2.2.6.5:
FPD / 2.2.6.6:
PDD / 2.2.6.7:
Connection of Classical Detectors Parallel to the Mass Spectrometer / 2.2.6.8:
Mass Spectrometry / 2.3:
Resolving Power and Resolution in Mass Spectrometry / 2.3.1:
High Resolution / 2.3.1.1:
Unit Mass Resolution / 2.3.1.2:
High and Low Resolution in the Case of Dioxin Analysis / 2.3.1.3:
Time-of-Flight Analyser / 2.3.2:
Isotope Ratio Monitoring GC/MS / 2.3.3:
Ionisation Procedures / 2.3.4:
Electron Impact Ionisation / 2.3.4.1:
Chemical Ionisation / 2.3.4.2:
Measuring Techniques in GC/MS / 2.3.5:
Detection of the Complete Spectrum (Full Scan) / 2.3.5.1:
Recording Individual Masses (SIM/MID) / 2.3.5.2:
High Resolution Accurate Mass MID Data Acquisition / 2.3.5.3:
MS/MS - Tandem Mass Spectrometry / 2.3.6:
Mass Calibration / 2.3.7:
Special Aspects of GC/MS Coupling / 2.4:
Vacuum Systems / 2.4.1:
GC/MS Interface Solutions / 2.4.2:
Open Split Coupling / 2.4.2.1:
Direct Coupling / 2.4.2.2:
Separator Techniques / 2.4.2.3:
References for Chapter 2
Evaluation of GC/MS Analyses / 3:
Display of Chromatograms / 3.1:
Total Ion Current Chromatograms / 3.1.1:
Mass Chromatograms / 3.1.2:
Substance Identification / 3.2:
Extraction of Mass Spectra / 3.2.1:
The Retention Index / 3.2.2:
Libraries of Mass Spectra / 3.2.3:
Universal Mass Spectral Libraries / 3.2.3.1:
Application Libraries of Mass Spectra / 3.2.3.2:
Library Search Procedures / 3.2.4:
The INCOS/NIST Search Procedure / 3.2.4.1:
The PBM Search Procedure / 3.2.4.2:
The SISCOM Procedure / 3.2.4.3:
Interpretation of Mass Spectra / 3.2.5:
Isotope Patterns / 3.2.5.1:
Fragmentation and Rearrangement Reactions / 3.2.5.2:
DMOX Derivatives for Location of Double Bond Positions / 3.2.5.3:
Mass Spectroscopic Features of Selected Substance Classes / 3.2.6:
Volatile Halogenated Hydrocarbons / 3.2.6.1:
Benzene/Toluene/Ethylbenzene/Xylenes (BTEX, Alkylaromatics) / 3.2.6.2:
Polyaromatic Hydrocarbons (PAH) / 3.2.6.3:
Phenols / 3.2.6.4:
Pesticides / 3.2.6.5:
Polychlorinated Biphenyls (PCBs) / 3.2.6.6:
Polychlorinated Dioxins/Furans (PCDDs/PCDFs) / 3.2.6.7:
Drugs / 3.2.6.8:
Explosives / 3.2.6.9:
Chemical Warfare Agents / 3.2.6.10:
Brominated Flame Retardants (BFR) / 3.2.6.11:
Quantitation / 3.3:
Decision Limit / 3.3.1:
Limit of Detection / 3.3.2:
Limit of Quantitation / 3.3.3:
Sensitivity / 3.3.4:
The Calibration Function / 3.3.5:
Quantitation and Standardisation / 3.3.6:
External Standardization / 3.3.6.1:
Internal Standardisation / 3.3.6.2:
The Standard Addition Procedure / 3.3.6.3:
Frequently Occurring Impurities / 3.4:
References for Chapter 3
Applications / 4:
Air Analysis According to EPA Method TO-14 / 4.1:
BTEX Using Headspace GC/MS / 4.2:
Simultaneous Determination of Volatile Halogenated Hydrocarbons and BTEX / 4.3:
Static Headspace Analysis of Volatile Priority Pollutants / 4.4:
MAGIC 60 - Analysis of Volatile Organic Compounds / 4.5:
irm-GC/MS of Volatile Organic Compounds Using Purge and Trap Extraction / 4.6:
Vinyl Chloride in Drinking Water / 4.7:
Chloral Hydrate in Surface Water / 4.8:
Field Analysis of Soil Air / 4.9:
Residual Monomers and Polymerisation Additives / 4.10:
Geosmin and Methylisoborneol in Drinking Water / 4.11:
Substituted Phenols in Drinking Water / 4.12:
GC/MS/MS Target Compound Analysis of Pesticide Residues in Difficult Matrices / 4.13:
Multi-component Pesticide Analysis by MS/MS / 4.14:
Multi-method for the Determination of 239 Pesticides / 4.15:
Nitrophenol Herbicides in Water / 4.16:
Dinitrophenol Herbicides in Water / 4.17:
Hydroxybenzonitrile Herbicides in Drinking Water / 4.18:
Routine Analysis of 24 PAHs in Water and Soil / 4.19:
Fast GC Quantification of 16 EC Priority PAH Components / 4.20:
Analysis of Water Contaminants by On-line SPE-GC/MS / 4.21:
Determination of Polar Aromatic Amines by SPME / 4.22:
Congener Specific Isotope Analysis of Technical PCB Mixtures / 4.23:
Polychlorinated Biphenyls in Indoor Air / 4.24:
Confirmation Analysis of Dioxins and Dioxin-like PCBs / 4.25:
Fast GC Analysis for PCBs / 4.26:
Analysis of Brominated Flame Retardants PBDE / 4.27:
Trace Analysis of BFRs in Waste Water Using SPME-GC/MS/MS / 4.28:
Analysis of Military Waste / 4.29:
Detection of Drugs in Hair / 4.30:
Detection of Morphine Derivatives / 4.31:
Detection of Cannabis Consumption / 4.32:
Analysis of Steroid Hormones Using MS/MS / 4.33:
Determination of Prostaglandins Using MS/MS / 4.34:
Detection of Clenbuterol by CI / 4.35:
General Unknown Toxicological-chemical Analysis / 4.36:
Clofibric Acid in Aquatic Systems / 4.37:
Polycyclic Musks in Waste Water / 4.38:
Identification and Quantification of Trichothecene Mycotoxins / 4.39:
Highly Sensitive Screening and Quantification of Environmental Components Using Chemical Ionisation with Water / 4.40:
Characterization of Natural Waxes by Pyrolysis-GC/MS / 4.41:
Quantitative Determination of Acrylate Copolymer Layers / 4.42:
References for Chapter 4
Glossary / 5:
Subject Index
Introduction / 1:
Fundamentals / 2:
Sample Preparation / 2.1:
4.

電子ブック

EB
Anthony Sofronas
出版情報: Wiley Online Library - AutoHoldings Books , Hoboken : John Wiley & Sons, Inc., 2005
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Strength of Materials / 2:
Load Calculations / 2.1:
Stress Calculations / 2.2:
Axial / 2.2.1:
Shear / 2.2.2:
Bending / 2.2.3:
Torsional / 2.2.4:
Combined Stresses / 2.2.5:
Thermal Stresses / 2.2.6:
Transient Temperatures and Stresses / 2.2.7:
High Temperature Creep / 2.2.8:
Shell Stresses / 2.2.9:
Piping Thermal Forces, Moments, Frequencies / 2.3:
Piping Failures / 2.3.1:
Allowable and Design Stresses / 2.4:
Fatigue Due to Cyclic Loading / 2.5:
Elongation and Deflection Calculations / 2.6:
Factors of Safety / 2.7:
Case History: Agitator Bearing Loading / 2.8:
Case History: Shaft Failure / 2.9:
Dynamic Loading / 2.10:
Centrifugal Force / 2.10.1:
Inertia's and WR2 / 2.10.2:
Energy Relationships / 2.10.3:
Case History: Centrifuge Bearing Failures / 2.11:
Case History: Bird Impact Force on a Windscreen / 2.12:
Case History: Torsional Impact on a Propeller / 2.13:
Case History: Start-up Torque on a Motor Coupling / 2.14:
Case History: Frictional Clamping Due to Bolting / 2.15:
Case History: Failure of a Connecting Rod in a Race Car / 2.16:
Bolting / 2.17:
Holding Capacity / 2.17.1:
Limiting Torque / 2.17.2:
Bolt Elongation and Relaxation / 2.17.3:
Torquing Methods / 2.17.4:
Fatigue of Bolts / 2.17.5:
Stripping Strength of Threads / 2.17.6:
Case History: A Power Head Gasket Leak / 2.17.7:
Ball and Roller Bearing Life Estimates / 2.18:
Case History: Bearing Life of a Shaft Support / 2.18.1:
Coupling Offset and Bearing Life / 2.18.2:
Hydrodynamic Bearings / 2.19:
Shell and Pad Failures / 2.19.1:
Gears / 2.20:
Gear Acceptability Calculations / 2.20.1:
Case History: Up-Rate Acceptability of a Gear Unit / 2.20.2:
Interference Fits / 2.21:
Keyless Hydraulically Fitted Hubs / 2.21.1:
Case History: Taper Fit Holding Ability / 2.21.2:
Case History: The Flying Hydraulically Fitted Hub / 2.21.3:
Strength of Welds / 2.22:
Fatigue of Welds / 2.23:
Repair of Machinery / 2.24:
Shafts / 2.24.1:
Housing and Cases / 2.24.2:
Gearboxes / 2.24.3:
Sleeve bearings and Bushing Clearances / 2.24.4:
Alignments / 2.24.5:
Acceptable Coupling Offset and Angular Misalignment / 2.24.6:
Vibration Measurements / 2.24.7:
Interpreting Mechanical Failures / 2.25:
Failures with Axial, Bending and Torsional Loading / 2.25.1:
Gear Teeth Failures / 2.25.2:
Spring Failures / 2.25.3:
Bolt Failures / 2.25.4:
Bearing Failures / 2.25.5:
Reading a Bearing / 2.25.6:
Large Gearbox Keyway / Shaft Failures / 2.25.7:
Case History: Sizing a Bushing Running Clearance / 2.26:
Case History: Galling of a Shaft In A Bushing / 2.27:
Case History: Remaining Fatigue Life with Cyclic Stresses / 2.28:
A Procedure for Evaluating Gasket Joints / 2.29:
Gaskets In High Temperature Service / 2.30:
"O" Ring Evaluation / 2.31:
Case History: Gasket Won't Pass Hydrotest / 2.32:
Case History: Heat Exchanger Leak Due to Temperature / 2.33:
Wear of Equipment / 2.34:
Case History: Excessive Wear of a Ball Valve / 2.35:
Vibration Analysis / 3:
Spring /Mass Systems and Resonance / 3.1:
Case History: Critical Speed Problem on Steam Turbine / 3.2:
Determining Vibration Amplitudes / 3.3:
Allowable Levels for X or F at Resonance / 3.3.1:
Case History: Vibratory Torque on Gear of a Ship System / 3.4:
Torsional Vibration / 3.5:
Case History: Torsional Vibration of Motor-Generator-Blower / 3.6:
Vibration Diagnosis and Campbell Diagrams / 3.7:
Case History: The Effect of a Suddenly Applied Torsional Load / 3.8:
Flow Induced Vibrations / 3.9:
Preface
Introduction / 1:
Strength of Materials / 2:
5.

電子ブック

EB
Kim-Kwang Raymond Choo
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
Computer Security Approach / 1.2.1:
Computational Complexity Approach / 1.2.2:
Research Objectives and Deliverables / 1.2.3:
Structure of Book and Contributions to Knowledge / 1.3:
References
Background Materials / 2:
Mathematical Background / 2.1:
Abstract Algebra and the Main Groups / 2.1.1:
Bilinear Maps from Elliptic Curve Pairings / 2.1.2:
Computational Problems and Assumptions / 2.1.3:
Cryptographic Tools / 2.1.4:
Encryption Schemes: Asymmetric Setting / 2.1.4.1:
Encryption Schemes: Symmetric Setting / 2.1.4.2:
Digital Signature Schemes / 2.1.4.3:
Message Authentication Codes / 2.1.4.4:
Cryptographic Hash Functions / 2.1.4.5:
Random Oracles / 2.1.4.6:
Key Establishment Protocols and their Basis / 2.2:
Protocol Architectures / 2.2.1:
Existing Cryptographic Keys / 2.2.1.1:
Method of Session Key Generation / 2.2.1.2:
Number of Entities / 2.2.1.3:
Protocol Goals and Attacks / 2.2.2:
Protocol Goals / 2.2.2.1:
Additional Security Attributes / 2.2.2.2:
Types of Attacks / 2.2.2.3:
A Need for Rigorous Treatment / 2.2.2.4:
The Computational Complexity Approach / 2.3:
Adversarial Powers / 2.3.1:
Definition of Freshness / 2.3.2:
Definition of Security / 2.3.3:
The Bellare-Rogaway Models / 2.3.4:
The BR93 Model / 2.3.4.1:
The BR95 Model / 2.3.4.2:
The BPR2000 Model / 2.3.4.3:
The Canetti-Krawczyk Model / 2.3.5:
Protocol Security / 2.3.6:
Summary / 2.4:
A Flawed BR95 Partnership Function / 3:
A Flaw in the Security Proof for 3PKD Protocol / 3.1:
The 3PKD Protocol / 3.1.1:
Key Replicating Attack on 3PKD Protocol / 3.1.2:
The Partner Function used in the BR95 Proof / 3.1.3:
A Revised 3PKD Protocol in Bellare-Rogaway Model / 3.2:
Defining SIDs in the 3PKD Protocol / 3.2.1:
An Improved Provably Secure 3PKD Protocol / 3.2.2:
Security Proof for the Improved 3PKD Protocol / 3.2.3:
Adaptive MAC Forger F / 3.2.3.1:
Multiple Eavesdropper Attacker ME / 3.2.3.2:
Conclusion of Proof / 3.2.3.3:
On The Key Sharing Requirement / 3.3:
Bellare-Rogaway 3PKD Protocol in CK2001 Model / 4.1:
New Attack on 3PKD Protocol / 4.1.1:
A New Provably-Secure 3PKD Protocol in CK2001 Model / 4.1.3:
Jeong-Katz-Lee Protocol JP2 / 4.2:
Protocol JP2 / 4.2.1:
New Attack on Protocol JP2 / 4.2.2:
An Improved Protocol JP2 / 4.2.3:
The Key Sharing Requirement / 4.3:
Comparison of Bellare-Rogaway and Canetti-Krawczyk Models / 4.4:
Relating The Notions of Security / 5.1:
Proving BR93 (EA+KE) to BPR2000 (EA+KE) / 5.1.1:
Proof for the key establishment goal / 5.1.1.1:
Proof for the entity authentication goal / 5.1.1.2:
Proving CK2001 to BPR2000 (KE) / 5.1.2:
Proving CK2001 to BR93 (KE) / 5.1.3:
BR93 (KE) to BR95 and BR93 (KE), CK2001 [not left arrow] BR95 / 5.1.4:
BR93 (KE)/CK2001 [not left arrow] BPR2000 (KE) / 5.1.5:
CK2001 [not left arrow] BR93 (EA+KE) / 5.1.6:
BR93 (KE) [not left arrow] CK2001 / 5.1.7:
BPR200 (KE) [not left arrow] BR95 / 5.1.8:
A Drawback in the BPR2000 Model / 5.2:
Case Study: Abdalla-Pointcheval 3PAKE / 5.2.1:
Unknown Key Share Attack on 3PAKE / 5.2.2:
An Extension to the Bellare-Rogaway Model / 5.3:
A Provably-Secure Revised Protocol of Boyd / 6.1:
Secure Authenticated Encryption Schemes / 6.1.1:
Revised Protocol of Boyd / 6.1.2:
Security Proof / 6.1.3:
Integrity attacker / 6.1.3.1:
Confidentiality attacker / 6.1.3.2:
Conclusion of Security Proof / 6.1.3.3:
An Extension to the BR93 Model / 6.2:
An Efficient Protocol in Extended Model / 6.3:
An Efficient Protocol / 6.3.1:
Integrity Breaker / 6.3.2:
Confidentiality Breaker / 6.3.2.2:
Comparative Security and Efficiency / 6.3.2.3:
A Proof of Revised Yahalom Protocol / 6.5:
The Yahalom Protocol and its Simplified Version / 7.1:
A New Provably-Secure Protocol / 7.2:
Proof for Protocol 7.2 / 7.2.1:
Conclusion of Proof for Theorem 7.2.1 / 7.2.1.1:
An Extension to Protocol 7.2 / 7.2.2:
Partnering Mechanism: A Brief Discussion / 7.3:
Errors in Computational Complexity Proofs for Protocols / 7.4:
Boyd-Gonzalez Nieto Protocol / 8.1:
Unknown Key Share Attack on Protocol / 8.1.1:
An Improved Conference Key Agreement Protocol / 8.1.2:
Limitations of Existing Proof / 8.1.3:
Jakobsson-Pointcheval MAKEP / 8.2:
Unknown Key Share Attack on JP-MAKEP / 8.2.1:
Flaws in Existing Security Proof for JP-MAKEP / 8.2.2:
Wong-Chan MAKEP / 8.3:
A New Attack on WC-MAKEP / 8.3.1:
Preventing the Attack / 8.3.2:
Flaws in Existing Security Proof for WC-MAKEP / 8.3.3:
An MT-Authenticator / 8.4:
Encryption-Based MT-Authenticator / 8.4.1:
Flaw in Existing Security Proof Revealed / 8.4.2:
Addressing the Flaw / 8.4.3:
An Example Protocol as a Case Study / 8.4.4:
On Session Key Construction / 8.5:
Chen-Kudla ID-Based Protocol / 9.1:
The ID-Based Protocol / 9.1.1:
Existing Arguments on Restriction of Reveal Query / 9.1.2:
Improved Chen-Kudla Protocol / 9.1.3:
Security Proof for Improved Chen-Kudla Protocol / 9.1.4:
McCullagh-Barreto 2P-IDAKA Protocol / 9.2:
The 2P-IDAKA Protocol / 9.2.1:
Why Reveal Query is Restricted / 9.2.2:
Errors in Existing Proof for 2P-IDAKA Protocol / 9.2.3:
Error 1 / 9.2.3.1:
Error 2 / 9.2.3.2:
Improved 2P-IDAKA Protocol / 9.2.4:
A Proposal for Session Key Construction / 9.3:
Another Case Study / 9.4:
Reflection Attack on Lee-Kim-Yoo Protocol / 9.4.1:
Complementing Computational Protocol Analysis / 9.4.2:
The Formal Framework / 10.1:
Analysing a Provably-Secure Protocol / 10.2:
Protocol Specification / 10.2.1:
Initial State of Protocol 10.1 / 10.2.1.1:
Step 1 of Protocol 10.1 / 10.2.1.2:
A Malicious State Transition / 10.2.1.3:
Protocol Analysis / 10.2.2:
Hijacking Attack / 10.2.2.1:
New Attack 1 / 10.2.2.2:
New Attack 2 / 10.2.2.3:
Analysing Another Two Protocols With Claimed Proofs of Security / 10.3:
Analysis of Protocol 10.2 / 10.3.1:
Analysis of Protocol 10.3 / 10.3.1.2:
Flaws in Refuted Proofs / 10.3.2:
A Possible Fix / 10.3.3:
Analysing Protocols with Heuristic Security Arguments / 10.4:
Case Studies / 10.4.1:
Jan-Chen Mutual Protocol / 10.4.1.1:
Yang-Shen-Shieh Protocol / 10.4.1.2:
Kim-Huh-Hwang-Lee Protocol / 10.4.1.3:
Lin-Sun-Hwang Key Protocols MDHEKE I and II / 10.4.1.4:
Yeh-Sun Key Protocol / 10.4.1.5:
Protocol Analyses / 10.4.2:
Protocol Analysis 1 / 10.4.2.1:
Protocol Analysis 2 / 10.4.2.2:
Protocol Analysis 3 / 10.4.2.3:
Protocol Analysis 4 / 10.4.2.4:
Protocol Analysis 5 / 10.4.2.5:
Protocol Analysis 6 / 10.4.2.6:
Protocol Analysis 7 / 10.4.2.7:
An Integrative Framework to Protocol Analysis and Repair / 10.5:
Case Study Protocol / 11.1:
Proposed Integrative Framework / 11.2:
Protocols Specification / 11.2.1:
Defining SIDs in Protocol 11.1 / 11.2.1.1:
Description of Goal State / 11.2.1.2:
Description of Possible Actions / 11.2.1.3:
Protocols Analysis / 11.2.2:
Protocol Repair / 11.2.3:
Conclusion and Future Work / 11.3:
Research Summary / 12.1:
Open Problems and Future Directions / 12.2:
Index
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
6.

電子ブック

EB
Kim-Kwang Raymond Choo
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
Computer Security Approach / 1.2.1:
Computational Complexity Approach / 1.2.2:
Research Objectives and Deliverables / 1.2.3:
Structure of Book and Contributions to Knowledge / 1.3:
References
Background Materials / 2:
Mathematical Background / 2.1:
Abstract Algebra and the Main Groups / 2.1.1:
Bilinear Maps from Elliptic Curve Pairings / 2.1.2:
Computational Problems and Assumptions / 2.1.3:
Cryptographic Tools / 2.1.4:
Encryption Schemes: Asymmetric Setting / 2.1.4.1:
Encryption Schemes: Symmetric Setting / 2.1.4.2:
Digital Signature Schemes / 2.1.4.3:
Message Authentication Codes / 2.1.4.4:
Cryptographic Hash Functions / 2.1.4.5:
Random Oracles / 2.1.4.6:
Key Establishment Protocols and their Basis / 2.2:
Protocol Architectures / 2.2.1:
Existing Cryptographic Keys / 2.2.1.1:
Method of Session Key Generation / 2.2.1.2:
Number of Entities / 2.2.1.3:
Protocol Goals and Attacks / 2.2.2:
Protocol Goals / 2.2.2.1:
Additional Security Attributes / 2.2.2.2:
Types of Attacks / 2.2.2.3:
A Need for Rigorous Treatment / 2.2.2.4:
The Computational Complexity Approach / 2.3:
Adversarial Powers / 2.3.1:
Definition of Freshness / 2.3.2:
Definition of Security / 2.3.3:
The Bellare-Rogaway Models / 2.3.4:
The BR93 Model / 2.3.4.1:
The BR95 Model / 2.3.4.2:
The BPR2000 Model / 2.3.4.3:
The Canetti-Krawczyk Model / 2.3.5:
Protocol Security / 2.3.6:
Summary / 2.4:
A Flawed BR95 Partnership Function / 3:
A Flaw in the Security Proof for 3PKD Protocol / 3.1:
The 3PKD Protocol / 3.1.1:
Key Replicating Attack on 3PKD Protocol / 3.1.2:
The Partner Function used in the BR95 Proof / 3.1.3:
A Revised 3PKD Protocol in Bellare-Rogaway Model / 3.2:
Defining SIDs in the 3PKD Protocol / 3.2.1:
An Improved Provably Secure 3PKD Protocol / 3.2.2:
Security Proof for the Improved 3PKD Protocol / 3.2.3:
Adaptive MAC Forger F / 3.2.3.1:
Multiple Eavesdropper Attacker ME / 3.2.3.2:
Conclusion of Proof / 3.2.3.3:
On The Key Sharing Requirement / 3.3:
Bellare-Rogaway 3PKD Protocol in CK2001 Model / 4.1:
New Attack on 3PKD Protocol / 4.1.1:
A New Provably-Secure 3PKD Protocol in CK2001 Model / 4.1.3:
Jeong-Katz-Lee Protocol JP2 / 4.2:
Protocol JP2 / 4.2.1:
New Attack on Protocol JP2 / 4.2.2:
An Improved Protocol JP2 / 4.2.3:
The Key Sharing Requirement / 4.3:
Comparison of Bellare-Rogaway and Canetti-Krawczyk Models / 4.4:
Relating The Notions of Security / 5.1:
Proving BR93 (EA+KE) to BPR2000 (EA+KE) / 5.1.1:
Proof for the key establishment goal / 5.1.1.1:
Proof for the entity authentication goal / 5.1.1.2:
Proving CK2001 to BPR2000 (KE) / 5.1.2:
Proving CK2001 to BR93 (KE) / 5.1.3:
BR93 (KE) to BR95 and BR93 (KE), CK2001 [not left arrow] BR95 / 5.1.4:
BR93 (KE)/CK2001 [not left arrow] BPR2000 (KE) / 5.1.5:
CK2001 [not left arrow] BR93 (EA+KE) / 5.1.6:
BR93 (KE) [not left arrow] CK2001 / 5.1.7:
BPR200 (KE) [not left arrow] BR95 / 5.1.8:
A Drawback in the BPR2000 Model / 5.2:
Case Study: Abdalla-Pointcheval 3PAKE / 5.2.1:
Unknown Key Share Attack on 3PAKE / 5.2.2:
An Extension to the Bellare-Rogaway Model / 5.3:
A Provably-Secure Revised Protocol of Boyd / 6.1:
Secure Authenticated Encryption Schemes / 6.1.1:
Revised Protocol of Boyd / 6.1.2:
Security Proof / 6.1.3:
Integrity attacker / 6.1.3.1:
Confidentiality attacker / 6.1.3.2:
Conclusion of Security Proof / 6.1.3.3:
An Extension to the BR93 Model / 6.2:
An Efficient Protocol in Extended Model / 6.3:
An Efficient Protocol / 6.3.1:
Integrity Breaker / 6.3.2:
Confidentiality Breaker / 6.3.2.2:
Comparative Security and Efficiency / 6.3.2.3:
A Proof of Revised Yahalom Protocol / 6.5:
The Yahalom Protocol and its Simplified Version / 7.1:
A New Provably-Secure Protocol / 7.2:
Proof for Protocol 7.2 / 7.2.1:
Conclusion of Proof for Theorem 7.2.1 / 7.2.1.1:
An Extension to Protocol 7.2 / 7.2.2:
Partnering Mechanism: A Brief Discussion / 7.3:
Errors in Computational Complexity Proofs for Protocols / 7.4:
Boyd-Gonzalez Nieto Protocol / 8.1:
Unknown Key Share Attack on Protocol / 8.1.1:
An Improved Conference Key Agreement Protocol / 8.1.2:
Limitations of Existing Proof / 8.1.3:
Jakobsson-Pointcheval MAKEP / 8.2:
Unknown Key Share Attack on JP-MAKEP / 8.2.1:
Flaws in Existing Security Proof for JP-MAKEP / 8.2.2:
Wong-Chan MAKEP / 8.3:
A New Attack on WC-MAKEP / 8.3.1:
Preventing the Attack / 8.3.2:
Flaws in Existing Security Proof for WC-MAKEP / 8.3.3:
An MT-Authenticator / 8.4:
Encryption-Based MT-Authenticator / 8.4.1:
Flaw in Existing Security Proof Revealed / 8.4.2:
Addressing the Flaw / 8.4.3:
An Example Protocol as a Case Study / 8.4.4:
On Session Key Construction / 8.5:
Chen-Kudla ID-Based Protocol / 9.1:
The ID-Based Protocol / 9.1.1:
Existing Arguments on Restriction of Reveal Query / 9.1.2:
Improved Chen-Kudla Protocol / 9.1.3:
Security Proof for Improved Chen-Kudla Protocol / 9.1.4:
McCullagh-Barreto 2P-IDAKA Protocol / 9.2:
The 2P-IDAKA Protocol / 9.2.1:
Why Reveal Query is Restricted / 9.2.2:
Errors in Existing Proof for 2P-IDAKA Protocol / 9.2.3:
Error 1 / 9.2.3.1:
Error 2 / 9.2.3.2:
Improved 2P-IDAKA Protocol / 9.2.4:
A Proposal for Session Key Construction / 9.3:
Another Case Study / 9.4:
Reflection Attack on Lee-Kim-Yoo Protocol / 9.4.1:
Complementing Computational Protocol Analysis / 9.4.2:
The Formal Framework / 10.1:
Analysing a Provably-Secure Protocol / 10.2:
Protocol Specification / 10.2.1:
Initial State of Protocol 10.1 / 10.2.1.1:
Step 1 of Protocol 10.1 / 10.2.1.2:
A Malicious State Transition / 10.2.1.3:
Protocol Analysis / 10.2.2:
Hijacking Attack / 10.2.2.1:
New Attack 1 / 10.2.2.2:
New Attack 2 / 10.2.2.3:
Analysing Another Two Protocols With Claimed Proofs of Security / 10.3:
Analysis of Protocol 10.2 / 10.3.1:
Analysis of Protocol 10.3 / 10.3.1.2:
Flaws in Refuted Proofs / 10.3.2:
A Possible Fix / 10.3.3:
Analysing Protocols with Heuristic Security Arguments / 10.4:
Case Studies / 10.4.1:
Jan-Chen Mutual Protocol / 10.4.1.1:
Yang-Shen-Shieh Protocol / 10.4.1.2:
Kim-Huh-Hwang-Lee Protocol / 10.4.1.3:
Lin-Sun-Hwang Key Protocols MDHEKE I and II / 10.4.1.4:
Yeh-Sun Key Protocol / 10.4.1.5:
Protocol Analyses / 10.4.2:
Protocol Analysis 1 / 10.4.2.1:
Protocol Analysis 2 / 10.4.2.2:
Protocol Analysis 3 / 10.4.2.3:
Protocol Analysis 4 / 10.4.2.4:
Protocol Analysis 5 / 10.4.2.5:
Protocol Analysis 6 / 10.4.2.6:
Protocol Analysis 7 / 10.4.2.7:
An Integrative Framework to Protocol Analysis and Repair / 10.5:
Case Study Protocol / 11.1:
Proposed Integrative Framework / 11.2:
Protocols Specification / 11.2.1:
Defining SIDs in Protocol 11.1 / 11.2.1.1:
Description of Goal State / 11.2.1.2:
Description of Possible Actions / 11.2.1.3:
Protocols Analysis / 11.2.2:
Protocol Repair / 11.2.3:
Conclusion and Future Work / 11.3:
Research Summary / 12.1:
Open Problems and Future Directions / 12.2:
Index
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
7.

電子ブック

EB
Boy; Herrmann, Wolfgang A. Cornils, Boy Cornils, Wolfgang A. Herrmann
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2004
所蔵情報: loading…
目次情報: 続きを見る
Introduction. / 1:
Introduction / B. Cornils, ; W.A. Herrmann.
Basic Aqueous Chemistry. / 2:
Organic Chemistry in Water / A. Lubineau, ; J. Auge, ; M.-C. Scherrmann.2.1:
Origin of the Reactivity in Water. / 2.1.1:
Pericyclic Reactions / 2.1.3:
Diels - Alder Reactions. / 2.1.3.1:
Hetero Diels -Alder Reactions. / 2.1.3.2:
Other Cycloadditions. / 2.1.3.3:
Claisen Rearrangements. / 2.1.3.4:
Carbonyl Additions. / 2.1.4:
Aldol-type Reactions. / 2.1.4.1:
Michael-type Reactions. / 2.1.4.2:
Allylation Reactions. / 2.1.4.3:
Oxido-reductions. / 2.1.5:
Oxidations. / 2.1.5.1:
Reductions. / 2.1.5.2:
Radical Reactions. / 2.1.6:
Outlook. / 2.1.7:
Organometallic Chemistry in Water / W.A. Herrmann, ; F.E. Kuhn.2.2:
Water as a Solvent and Ligand. / 2.2.1:
Organometallic Reactions of Water. / 2.2.3:
Catalytic Reactions with Water. / 2.2.4:
Water-gas Shift Reaction. / 2.2.4.1:
Wacker- Hoechst Acetaldehyde Process. / 2.2.4.2:
Olefin Hydration. / 2.2.4.3:
Hydrodimerization. / 2.2.4.4:
Water-soluble Metal Complexes. / 2.2.5:
Perspectives. / 2.2.6:
Characterization of Organometallic Compounds in Water / G. Laurenczy.2.3:
General Survey. / 2.3.1:
Effect of High Hydrostatic Pressure on Aqueous Organometall lic Systems. / 2.3.3:
Aqueous Organometallics with Pressurized Gases. / 2.3.4:
Concluding Remarks. / 2.3.5:
Catalysts for an Aqueous Catalysis. / 3:
Variation of Central Atoms. / 3.1:
Transition Metals / D.J. Darensbourg, ; C.G. Ortiz.3.1.1:
Water-soluble Catalysts by Virtue of Water-soluble Ligands / 3.1.1.1:
Water-soluble Catalysts through Water Coordination. / 3.1.1.3:
Lanthanides in Aqueous-phase Catalysis / S. Kobayashi.3.1.2:
Aldol Reactions. / 3.1.2.1:
Mannich-type Reactions. / 3.1.2.3:
Micellar Systems. / 3.1.2.4:
Asymmetric Catalysis in Aqueous Media. / 3.1.2.6:
Conclusions / 3.1.2.7:
Variation of Ligands. / 3.2:
Monophosphines / O. Stelzer , ; S. Rossenbach, ; D. Hoff.3.2.1:
General Features, Scope, and Limitations. / 3.2.1.1:
Anionic Phosphines. / 3.2.1.2:
Cationic Phosphines. / 3.2.1.3:
Nonionic Water-soluble Phosphines. / 3.2.1.4:
Diphosphines and Other Phosphines / M. Schreuder Goedheijt, ; P.C.J. Kamer, ; J.N.H. Reek, P.W.N.M. van Leeuwen.3.2.2:
General. / 3.2.2.1:
Diphosphines - Introduction of Sulfonate Groups by Direct Sulfonation. / 3.2.2.2:
Introduction of Sulfonate Groups During Synthesis. / 3.2.2.3:
Diphosphines with Quaternized Aminoalkyl or Aminoaryl Groups. / 3.2.2.4:
Diphosphines with Hydroxyalkyl or Polyether Substituents / 3.2.2.5:
Carboxylated Diphosphines. / 3.2.2.6:
Amphiphilic Diphosphines. / 3.2.2.7:
Other Phosphines. / 3.2.2.8:
Ligands or Complexes Containing Ancillary Functionalities / P. Kalck, ; M. Urrutigoity.3.2.3:
Complexes Containing at Least Two Classical Functionalities. / 3.2.3.1:
Cationic Complexes / 3.2.3.2:
Immobilization on Silica Supports. / 3.2.3.3:
Macromolecular Ligands or Supports. / 3.2.3.4:
Ligands not Containing Phosphorus. / 3.2.3.5:
Additional Perspectives. / 3.2.3.6:
Tenside Ligands / G. Papadogianakis.3.2.4:
Tenside Phosphines and Amines / 3.2.4.1:
Hydroformylation Reactions Catalyzed by Transition Metal Surfactant -Phosphine Complexes. / 3.2.4.3:
Hydrogenation Reactions Catalyzed by Transition Metal Surfactant -Phosphine Complexes. / 3.2.4.4:
Carbonylation Reactions Catalyzed by Transition Metal Surfactant -Phosphine Complexe / 3.2.4.5:
Introduction. / 1:
Introduction / B. Cornils, ; W.A. Herrmann.
Basic Aqueous Chemistry. / 2:
8.

電子ブック

EB
Center for Chemical Process Safety (Ccps, Center for Chemical Process Safety, American Institute of Chemical Engineers.
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 1995
所蔵情報: loading…
目次情報: 続きを見る
List of Tables
List of Figures
Preface
Acknowledgments
Glossary
List of Symbols
Introduction / Chapter 1:
General / 1.1:
Chemical Reactivity / 1.2:
Detonations, Deflagrations, and Runaways / 1.3:
Assessment and Testing Strategies / 1.4:
Identification of Hazardous Chemical Reactivity / Chapter 2:
Summary/Strategy / 2.1:
Hazard Identification Strategy / 2.1.1:
Exothermic Reactions / 2.1.3:
Experimental Thermal and Reactivity Measurements / 2.1.4:
Test Strategies / 2.1.5:
Overview of Thermal Stability Test methods / 2.1.6:
Examples of Interpretation and Application of Test Data / 2.1.7:
Technical Section / 2.2:
Identification of High Energy Substances / 2.2.2:
Hazard Prediction by Thermodynamic Calculations / 2.2.3:
Oxygen Balance / 2.2.3.1:
Calculation of the Reaction Enthalpy / 2.2.3.2:
Application of Computer Programs / 2.2.3.3:
Instability/Incompatibility Factors / 2.2.4:
Factors Influencing Stability / 2.2.4.1:
Redox Systems / 2.2.4.2:
Reactions with Water / 2.2.4.3:
Reactions between Halogenated Hydrocarbons and Metals / 2.2.4.4:
Practical Testing / 2.3:
Screening Tests / 2.3.1:
Thermal Analysis / 2.3.1.1:
Isoperibolic Calorimetry / 2.3.1.2:
Thermal Stability and Runaway Testing / 2.3.2:
Isothermal Storage Tests / 2.3.2.1:
Dewar Flask Testing and Adiabatic Storage Tests / 2.3.2.2:
Accelerating Rate Calorimeter (ARC) / 2.3.2.3:
Stability Tests for Powders / 2.3.2.4:
Explosibility Testing / 2.3.3:
.Detonation Testing / 2.3.3.1:
Deflagration Testing and Autoclave Testing / 2.3.3.2:
Mechanical Sensitivity Testing / 2.3.3.3:
Sensitivity to heating Under Confinement / 2.3.3.4:
Reactivity Testing / 2.3.4:
Pyrophoric Properties / 2.3.4.1:
Reactivity with Water / 2.3.4.2:
Oxidizing Properties / 2.3.4.3:
Flammability Testing / 2.3.5:
Chemical Reactivity Considerations in Process/Reactor Design and Operation / Chapter 3:
Thermal Hazards: Identification and Analysis / 3.1:
Cause, Definition, and Prevention of a Runaway / 3.1.1.1:
Some Simple Rules for Inherent Safety / 3.1.1.2:
Strategy for Inherent Safety in Design and Operation / 3.1.1.3:
Equipment to be Used for the Analysis of Hazards / 3.1.1.4:
Reactor, Heat and Mass Balance Considerations / 3.2:
Heat and Mass Balances, Kinetics, and Reaction Stability / 3.2.1:
Adiabatic Temperature Rise / 3.2.1.1:
The Reaction / 3.2.1.2:
Reaction Rate / 3.2.1.3:
Reaction Rate Constant / 3.2.1.4:
Concentration of Reactants / 3.2.1.5:
Effect of Surrounding Temperature on Stability / 3.2.1.6:
Effect of Agitation and Surface Fouling on Stability / 3.2.1.7:
Mass Balance / 3.2.1.8:
Choice of Reactor / 3.2.2:
Heat Transfer / 3.2.3:
Heat Transfer in Nonagitated Vessels / 3.2.3.1:
Heat Transfer in Agitated Vessels / 3.2.3.2:
Acquisition and Use of Process Design data / 3.3:
Bench-Scale Equipment for Batch/Tank Reactors / 3.3.1:
Reaction Calorimeter (RC1) / 3.3.2.1:
Contalab / 3.3.2.2:
CPA ThermoMetric Instruments / 3.3.2.3:
Quantitative Reaction Calorimeter / 3.3.2.4:
Specialized Rectors / 3.3.2.5:
Vent Size Package (VSP) / 3.3.2.6:
Reactive System Screening Tool (RSST) / 3.3.2.7:
Process Safety for Reactive Systems / 3.3.3:
Test Plan / 3.3.3.1:
System Under Investigation / 3.3.3.2:
Test Results / 3.3.3.3:
Malfunction and Process Deviation Testing / 3.3.3.4:
Pressure Effect / 3.3.3.5:
Results from the ARC, RSST, and VSP / 3.3.3.6:
Scale-up and Pilot Plants / 3.3.4:
General Remarks / 3.3.4.1:
Chemical Kinetics. 3 / 3.3.4.2:
List of Tables
List of Figures
Preface
9.

電子ブック

EB
H?l?ne; Lattanzi, Alessandra; Dalpozzo, Renato Pellissier, Renato Dalpozzo, Alessandra Lattanzi
出版情報: Wiley Online Library - AutoHoldings Books , Wiley-VCH, 2017
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of Abbreviations
Asymmetric Cyclopropanation / 1:
Introduction / 1.1:
Simmons-Smith Cyclopropanation / 1.2:
Chiral Substrates / 1.2.1:
Chiral Allylic Alcohols / 1.2.1.1:
Chiral Allylic Amines / 1.2.1.2:
Chiral Acetal-Directed Cyclopropanations / 1.2.1.3:
Simple Chiral Alkenes / 1.2.1.4:
Chiral Auxiliaries / 1.2.2:
Chiral Catalysts / 1.2.3:
Charette's Ligand / 1.2.3.1:
Other Stoichiometric Ligands / 1.2.3.2:
Walsh' Procedure / 1.2.3.3:
True Catalytic Procedures / 1.2.3.4:
Transition-Metal-Catalyzed Decomposition of Diazoalkanes / 1.3:
Intermolecular Cyclopropanation / 1.3.1:
Chiral Catalysts: Cobalt / 1.3.1.1:
Chiral Catalysts: Copper / 1.3.1.3:
Chiral Catalysts: Rhodium / 1.3.1.4:
Chiral Catalysts: Ruthenium / 1.3.1.5:
Chiral Catalyst: Other Metals / 1.3.1.6:
Intramolecular Cyclopropanation / 1.3.2:
Chiral Auxiliaries and Chiral Compounds / 1.3.2.1:
Chiral Stoichiometric Carbenes / 1.3.2.2:
Michael-Initiated and Other Ring Closures / 1.4:
Chiral Michael Acceptors / 1.4.1:
Chiral Nucleophiles / 1.4.2.2:
Organocatalysis / 1.4.3:
Ylides / 1.4.3.1:
Nitrocyclopropanation / 1.4.3.2:
Halocarbonyl Compounds / 1.4.3.3:
Metal Catalysis / 1.4.4:
Other Ring Closures / 1.4.5:
Miscellaneous Reactions / 1.5:
Rearrangement of Chiral Oxiranes / 1.5.1:
Cycloisomerization of 1,n-Enynes / 1.5.2:
Denitrogenation of Chiral Pyrazolines / 1.5.3:
C-H Insertion / 1.5.4:
Addition to Cyclopropenes / 1.5.5:
Other Methods / 1.5.6:
Conclusions / 1.6:
References
Asymmetric Aziridination / 2:
Aziridination Based on the Use of Chiral Substrates / 2.1:
Addition to Alkenes / 2.2.1:
Aziridination via Nitrene Transfer to Alkenes / 2.2.1.1:
Aziridination via Addition-Elimination Processes / 2.2.1.2:
Addition to Imines / 2.2.1.3:
Methylidation of Imines / 2.2.2.1:
Aza-Darzens and Analogous Reactions / 2.2.2.2:
Addition/Elimination Processes / 2.2.2.3:
Addition to Azirines / 2.2.2.4:
Aziridination via Intramolecular Substitution / 2.2.4:
From 1,2-Amino Alcohols / 2.2.4.1:
From 1,2-Amino Halides / 2.2.4.2:
From 1,2-Azido Alcohols / 2.2.4.3:
From 1,2-Amino Sulfides and 1,2-Amino Selenides / 2.2.4.4:
From Epoxides / 2.2.4.5:
Aziridination Based on the Use of Chiral Catalysts / 2.2.5:
Cu-Catalyzed Aziridination / 2.3.1:
Rh-Catalyzed Aziridination / 2.3.1.2:
Ru-Catalyzed Aziridination / 2.3.1.3:
Catalysis by Other Metals / 2.3.1.4:
Organocatalyzed Aziridination / 2.3.1.5:
Aziridination via Carbene Transfer to Imines / 2.3.2:
Carbene Methodology / 2.3.2.1:
Sulfur-Ylide-Mediated Aziridination / 2.3.2.2:
Kinetic Resolutions of Aziridines / 2.3.3:
Asymmetric Epoxidation / 2.4:
Asymmetric Epoxidations Based on the Use of Chiral Auxiliaries / 3.1:
Asymmetric Metal-Catalyzed Epoxidations / 3.3:
Ti-, Zr-, Hf-Catalyzed Epoxidations / 3.3.1:
V-, Nb-, Ta-Catalyzed Epoxidations / 3.3.2:
Cr-, Mo-, W-Catalyzed Epoxidations / 3.3.3:
Mn-, Re-, Fe-, Ru-Catalyzed Epoxidations / 3.3.4:
Pt-, Zn-, Lanthanoid-Catalyzed Epoxidations / 3.3.5:
Asymmetric Organocatalyzed Epoxidations / 3.4:
Phase-Transfer Catalyst / 3.4.1:
Polyamino Acids and Aspartate-Derived Peracids / 3.4.2:
Chiral Dioxiranes, Iminium Salts, and Alkyl Hydroperoxides / 3.4.3:
Chiral Amines / 3.4.4:
Kinetic Resolution of Racemic Epoxides / 3.5:
Asymmetric Sulfur-Ylide-Mediated Epoxidations / 3.6:
Asymmetric Darzens-Type Epoxidations / 3.7:
Chiral Auxiliary- and Reagent-Mediated Darzens Reactions / 3.7.1:
Catalytic Asymmetric Darzens Reactions / 3.7.2:
Other Ylide-Mediated Epoxidations / 3.8:
Asymmetric Biocatalyzed Synthesis of Epoxides / 3.9:
Asymmetric Oxaziridination / 3.10:
Oxaziridination Using Chiral Substrates / 4.1:
Oxaziridination Using Chiral Catalysts / 4.3:
Kinetic Resolutions / 4.4:
Asymmetric Azirination and Thiirination / 4.5:
Asymmetric Azirination / 5.1:
Neber Approaches / 5.2.1:
Elimination Approaches / 5.2.2:
Other Approaches / 5.2.3:
Asymmetric Thiirination / 5.3:
Conversion of Epoxides / 5.3.1:
Condensation of Sulfur-Stabilized Carbanions to Carbonyl Compounds / 5.3.2:
Intramolecular Nucleophilic Substitution / 5.3.3:
Index / 5.3.4:
Preface
List of Abbreviations
Asymmetric Cyclopropanation / 1:
10.

電子ブック

EB
Alain Nouailhat
出版情報: Wiley Online Library - AutoHoldings Books , Hoboken : John Wiley & Sons, Inc., 2007
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Acknowledgements
Preface
What are Nanos? / Chapter 1:
What are we talking about? / 1.1:
References / 1.2:
Two basic facts / 1.2.1:
Two approaches / 1.2.2:
Two key points / 1.2.3:
Some bonus material for economists / 1.3:
Some Science to Get You Started / Chapter 2:
Quantum physics / 2.1:
From the traditional world to the quantum world / 2.1.1:
Two fundamental concepts / 2.1.2:
Wave-corpuscle duality / 2.1.2.1:
Probability in the quantum world / 2.1.2.2:
The key players / 2.2:
The electron / 2.2.1:
The cornerstone of matter / 2.2.1.1:
Electronic states / 2.2.1.2:
The quantification of energy / 2.2.1.3:
Bonds / 2.2.1.4:
The photon / 2.2.2:
The wave / 2.2.2.1:
The energy grain / 2.2.2.2:
Molecules / 2.3:
From the smallest molecule to the largest and their spectacular properties / 2.3.1:
Functionality / 2.3.2:
Solid matter / 2.4:
Insulators or conductors / 2.4.1:
Semi-conductors / 2.4.2:
Silicon crystal / 2.4.2.1:
Electrons and holes / 2.4.2.2:
Junctions / 2.4.2.3:
Nanomaterials / 2.4.3:
Quantum boxes: between the atom and the crystal / 2.5:
Some bonus material for physicists / 2.6:
Luminescence / 2.6.1:
The laser device / 2.6.2:
The Revolution in Techniques Used in Observation and Imagery / Chapter 3:
Observing with photons / 3.1:
The optical microscope in visible light / 3.1.1:
X-ray machines / 3.1.2:
Observing with electrons / 3.2:
The transmission electron microscope (TEM) / 3.2.1:
The scanning electron microscope (SEM) / 3.2.2:
Touching the atoms / 3.3:
Observing how our brain functions / 3.4:
Nuclear magnetic resonance / 3.4.1:
Functional magnetic resonance imaging / 3.4.2:
Some bonus material for researchers / 3.5:
The Marriage of Software and Hardware / Chapter 4:
Small is beautiful / 4.1:
Miniaturization / 4.2:
Integration / 4.3:
The silicon planet / 4.3.1:
An expanding universe / 4.3.2:
Programs / 4.4:
Some bonus material for mathematicians / 4.5:
Mechanics of the Living World / Chapter 5:
Proteins - molecules with exceptional properties / 5.1:
The program of cellular production / 5.1.1:
Reading instructions and the production of proteins / 5.1.2:
How does it work? / 5.1.3:
Molecular disfunctioning / 5.1.4:
External causes / 5.1.4.1:
Internal causes / 5.1.4.2:
Intervention of human beings / 5.2:
Medication / 5.2.1:
The creation of those famous GMOs (Genetically Modified Organisms) / 5.2.2:
Manipulation of embryos / 5.2.3:
Some bonus material for biologists / 5.3:
The Uses of Nanotechnologies / Chapter 6:
New objects / 6.1:
Carbon in all its states / 6.1.1:
Nanodiamonds / 6.1.1.1:
Carbon nanotubes / 6.1.1.2:
A handful of gold atoms / 6.1.2:
Ground-breaking products / 6.2:
Surface treatment / 6.2.1:
Incorporation in a composite environment / 6.2.2:
From micro to nanosystems / 6.3:
Miniature components - MEMS / 6.3.1:
A print head for inkjet printers / 6.3.1.1:
Airbags / 6.3.1.2:
A microlens for miniaturized optics / 6.3.1.3:
Magnetic disk readheads: quantum nanostructures / 6.3.1.4:
Microsources of energy: key points for embedded systems / 6.3.2:
Micromotors / 6.3.3:
A global integration / 6.4:
Some bonus material for engineers / 6.5:
Nanos are Changing the World / Chapter 7:
A simulation or a virtual world / 7.1:
Understanding nature / 7.2:
Understanding energy / 7.2.1:
Understanding materials / 7.2.2:
Understanding information / 7.2.3:
Understanding life / 7.2.4:
Watch out for nanomedicine / 7.3:
Nanosciences and our future / 7.4:
Essential ethics / 7.5:
Conclusion / 7.6:
Appendices
European Parliament Resolution on Nanosciences and Nanotechnologies / Appendix A:
Eight Guidelines on Nanotechnologies Issued by the CNRS Ethics Committee / Appendix B:
Abbreviations
Bibliography
Figures
Index
Foreword
Acknowledgements
Preface
11.

電子ブック

EB
Igor Bernik
出版情報: Wiley Online Library - AutoHoldings Books , Hoboken : Wiley-ISTE, 2014
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Acknowledgement
Cybercrime / Chapter 1:
The perpetrators of cybercrime / 1.1:
Motives of the perpetrators of cybercrime / 1.1.1:
Types of offenders / 1.1.2:
Organization of perpetrators / 1.1.3:
Tools for implementing attacks / 1.2:
System protection against attacks / 1.3:
Fear of cybercrime / 1.4:
Investigation of cybercrime / 1.5:
Cost of cybercrime / 1.6:
Measuring the cost of cybercrime model / 1.6.1:
Cost framework for cybercrime model / 1.6.2:
Laws and legal bodies / 1.7:
The Council of Europe Convention on Cybercrime / 1.7.1:
Agreement on Trade-Related Aspects of Intellectual Property Rights / 1.7.2:
Digital Millennium Copyright Act / 1.7.3:
United Nations Charter / 1.7.4:
Cybercrime conclusion / 1.8:
Cyberwarfare / Chapter 2:
Information and cyberspace / 2.1:
Cyberspace and ICT / 2.1.1:
Information power and information conflict / 2.1.2:
Understanding cyberwarfare / 2.2:
The nature of cyberwarfare / 2.2.1:
Types and techniques of cyberwarfare / 2.2.2:
Perpetrators and victims of cyberwarfare / 2.3:
Committing cyberwarfare / 2.4:
Espionage / 2.4.1:
Active warfare / 2.4.2:
Information operations / 2.4.3:
Propaganda activity / 2.4.4:
Organizations and cyberwarfare / 2.5:
Industrial espionage / 2.5.1:
Politically and ideologically motivated groups - perpetrators of cyberwarfare / 2.5.2:
The role of countries in cyberwarfare / 2.6:
The United States / 2.6.1:
China / 2.6.2:
Russia / 2.6.3:
India / 2.6.4:
Iran / 2.6.5:
Israel / 2.6.6:
North Korea / 2.6.7:
Efforts against cyberwarfare: international and national legislation / 2.7:
Defense against cyberwarfare / 2.8:
Cyberwarfare conclusion / 2.9:
Conclusion
Bibliography
Index
Introduction
Acknowledgement
Cybercrime / Chapter 1:
12.

電子ブック

EB
Eric Setton, Bernd Girod
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Background / 2:
Video Compression / 2.1:
H.264 Video Coding / 2.1.1:
Distortion Models / 2.1.2:
Video Streaming / 2.2:
Error Resilience / 2.2.1:
Congestion Control / 2.2.2:
Path Diversity / 2.2.3:
Multicast Architectures / 2.3:
IP Multicast / 2.3.1:
Content Delivery Networks / 2.3.2:
Peer-to-Peer Systems / 2.4:
Peer-to-Peer File Transfer, the Example of BitTorrent / 2.4.1:
Peer-to-Peer Streaming / 2.4.2:
Streaming over Throughput-Limited Paths / 3:
Video Encoding for Throughput-Limited Paths / 3.1:
End-to-End Rate-Distortion Performance Model / 3.1.1:
Experimental Results / 3.1.2:
Congestion-Distortion Optimized Scheduling / 3.2:
Channel Model / 3.2.1:
Evaluating a Schedule / 3.2.2:
Randomized Schedule Search / 3.2.3:
CoDiO Light / 3.2.4:
Chapter Summary / 3.2.5:
Peer-to-Peer Control Protocol / 4:
Protocol Description / 4.1:
Different Peer States / 4.1.1:
Different Tree Connection States / 4.1.2:
Multicast Source / 4.1.3:
Protocol Settings / 4.1.4:
Experimental Protocol Evaluation / 4.2:
Experimental Setup / 4.2.1:
Control Protocol Traffic Distribution / 4.2.2:
Join and Rejoin Latency / 4.2.3:
Scalability / 4.2.4:
Limiting Throughput / 4.2.5:
Video Streaming over a Peer-to-Peer Network / 4.3:
Video Streaming Protocol / 5.1:
Video Packet Transmission / 5.1.1:
Retransmissions / 5.1.2:
Peer-to-Peer CoDiO Scheduling / 5.2:
Sender-Driven Prioritization / 5.2.1:
Distortion-Optimized Retransmission Scheduling / 5.2.2:
Scheduler Evaluation / 5.2.3:
Video Sessions / 5.3:
Diversity / 5.3.2:
CoDiO P2P / 5.3.3:
Conclusions and Future Work / 5.4:
Conclusions / 6.1:
Future Work / 6.2:
Video Experiments / A:
Encoding Structures / A.1:
Latency-Constrained Video Streaming / A.1.2:
Error-Resilient Decoding / A.1.3:
Quality Metric / A.1.4:
Video Sequences / A.2:
Container / A.2.1:
Foreman / A.2.2:
Mobile / A.2.3:
Mother & Daughter / A.2.4:
News / A.2.5:
Salesman / A.2.6:
References
Index
Introduction / 1:
Background / 2:
Video Compression / 2.1:
13.

電子ブック

EB
Eric Setton, Bernd Girod
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Background / 2:
Video Compression / 2.1:
H.264 Video Coding / 2.1.1:
Distortion Models / 2.1.2:
Video Streaming / 2.2:
Error Resilience / 2.2.1:
Congestion Control / 2.2.2:
Path Diversity / 2.2.3:
Multicast Architectures / 2.3:
IP Multicast / 2.3.1:
Content Delivery Networks / 2.3.2:
Peer-to-Peer Systems / 2.4:
Peer-to-Peer File Transfer, the Example of BitTorrent / 2.4.1:
Peer-to-Peer Streaming / 2.4.2:
Streaming over Throughput-Limited Paths / 3:
Video Encoding for Throughput-Limited Paths / 3.1:
End-to-End Rate-Distortion Performance Model / 3.1.1:
Experimental Results / 3.1.2:
Congestion-Distortion Optimized Scheduling / 3.2:
Channel Model / 3.2.1:
Evaluating a Schedule / 3.2.2:
Randomized Schedule Search / 3.2.3:
CoDiO Light / 3.2.4:
Chapter Summary / 3.2.5:
Peer-to-Peer Control Protocol / 4:
Protocol Description / 4.1:
Different Peer States / 4.1.1:
Different Tree Connection States / 4.1.2:
Multicast Source / 4.1.3:
Protocol Settings / 4.1.4:
Experimental Protocol Evaluation / 4.2:
Experimental Setup / 4.2.1:
Control Protocol Traffic Distribution / 4.2.2:
Join and Rejoin Latency / 4.2.3:
Scalability / 4.2.4:
Limiting Throughput / 4.2.5:
Video Streaming over a Peer-to-Peer Network / 4.3:
Video Streaming Protocol / 5.1:
Video Packet Transmission / 5.1.1:
Retransmissions / 5.1.2:
Peer-to-Peer CoDiO Scheduling / 5.2:
Sender-Driven Prioritization / 5.2.1:
Distortion-Optimized Retransmission Scheduling / 5.2.2:
Scheduler Evaluation / 5.2.3:
Video Sessions / 5.3:
Diversity / 5.3.2:
CoDiO P2P / 5.3.3:
Conclusions and Future Work / 5.4:
Conclusions / 6.1:
Future Work / 6.2:
Video Experiments / A:
Encoding Structures / A.1:
Latency-Constrained Video Streaming / A.1.2:
Error-Resilient Decoding / A.1.3:
Quality Metric / A.1.4:
Video Sequences / A.2:
Container / A.2.1:
Foreman / A.2.2:
Mobile / A.2.3:
Mother & Daughter / A.2.4:
News / A.2.5:
Salesman / A.2.6:
References
Index
Introduction / 1:
Background / 2:
Video Compression / 2.1:
14.

電子ブック

EB
Guozheng; Kan, Qianhua Kang, Qianhua Kan
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2017
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Monotonic Elastoplastic Deformation / 1.1:
Cyclic Elastoplastic Deformation / 1.2:
Cyclic Softening/Hardening Features / 1.2.1:
Mean Stress Relaxation / 1.2.2:
Ratchetting / 1.2.3:
Contents of This Book / 1.3:
References
Fundamentals of Inelastic Constitutive Models / 1:
Fundamentals of Continuum Mechanics
Kinematics / 1.1.1:
Definitions of Stress Tensors / 1.1.2:
Frame-Indifference and Objective Rates / 1.1.3:
Thermodynamics / 1.1.4:
The First Thermodynamic Principle / 1.1.4.1:
The Second Thermodynamic Principle / 1.1.4.2:
Constitutive Theory of Solid Continua / 1.1.5:
Constitutive Theory of Elastic Solids / 1.1.5.1:
Constitutive Theory of Elastoplastic Solids / 1.1.5.2:
Classical Inelastic Constitutive Models
J2 Plasticity Model
Unified Visco-plasticity Model
Fundamentals of Crystal Plasticity
Single Crystal Version / 1.3.1:
Polycrystalline Version / 1.3.2:
Fundamentals of Meso-mechanics for Composite Materials / 1.4:
Eshelby's Inclusion Theory / 1.4.1:
Mori-Tanaka's Homogenization Approach / 1.4.2:
Cyclic Plasticity of Metals: I. Macroscopic and Microscopic Observations and Analysis of Micro-mechanism / 2:
Macroscopic Experimental Observations / 2.1:
Cyclic Softening/Hardening Features in More Details / 2.1.1:
Uniaxial Cases / 2.1.1.1:
Multiaxial Cases / 2.1.1.2:
Ratchetting Behaviors / 2.1.2:
Thermal Ratchetting / 2.1.2.1:
Microscopic Observations of Dislocation Patterns and Their Evolutions / 2.2:
FCC Metals / 2.2.1:
Uniaxial Case / 2.2.1.1:
Multiaxial Case / 2.2.1.2:
BCC Metals / 2.2.2:
Micro-mechanism of Ratchetting / 2.2.2.1:
Uniaxial Ratchetting / 2.3.1:
Multiaxial Ratchetting / 2.3.1.2:
Summary / 2.3.2:
Cyclic Plasticity of Metals: II. Constitutive Models / 3:
Macroscopic Phenomenological Constitutive Models / 3.1:
Framework of Cyclic Plasticity Models / 3.1.1:
Governing Equations / 3.1.1.1:
Brief Review on Kinematic Hardening Rules / 3.1.1.2:
Combined Kinematic and Isotropic Hardening Rules / 3.1.1.3:
Viscoplastic Constitutive Model for Ratchetting at Elevated Temperatures / 3.1.2:
Nonlinear Kinematic Hardening Rules / 3.1.2.1:
Nonlinear Isotropic Hardening Rule / 3.1.2.2:
Verification and Discussion / 3.1.2.3:
Constitutive Models for Time-Dependent Ratchetting / 3.1.3:
Separated Version / 3.1.3.1:
Unified Version / 3.1.3.2:
Evaluation of Thermal Ratchetting / 3.1.4:
Physical Nature-Based Constitutive Models / 3.2:
Crystal Plasticity-Based Constitutive Models / 3.2.1:
Application to Polycrystalline Metals / 3.2.1.1:
Dislocation-Based Crystal Plasticity Model / 3.2.2:
Multi-mechanism Constitutive Model / 3.2.2.1:
2M1C Model / 3.2.3.1:
2M2C Model / 3.2.3.2:
Two Applications of Cyclic Plasticity Models / 3.3:
Rolling Contact Fatigue Analysis of Rail Head / 3.3.1:
Experimental and Theoretical Evaluation to the Ratchetting of Rail Steels / 3.3.1.1:
Finite Element Simulations / 3.3.1.2:
Bending Fretting Fatigue Analysis of Axles in Railway Vehicles / 3.3.2:
Equivalent Two-Dimensional Finite Element Model / 3.3.2.1:
Finite Element Simulation to Bending Fretting Process / 3.3.2.2:
Predictions to Crack Initiation Location and Fretting Fatigue Life / 3.3.2.3:
Thermomechanically Coupled Cyclic Plasticity of Metallic Materials at Finite Strain / 3.4:
Cyclic Plasticity Model at Finite Strain / 4.1:
Framework of Finite Elastoplastic Constitutive Model / 4.1.1:
Equations of Kinematics / 4.1.1.1:
Constitutive Equations / 4.1.1.2:
Kinematic and Isotropic Hardening Rules / 4.1.1.3:
Logarithmic Stress Rate / 4.1.1.4:
Finite Element Implementation of the Proposed Model / 4.1.2:
Discretization Equations of the Proposed Model / 4.1.2.1:
Implicit Stress Integration Algorithm / 4.1.2.2:
Consistent Tangent Modulus / 4.1.2.3:
Verification of the Proposed Model / 4.1.3:
Determination of Material Parameters / 4.1.3.1:
Simulation of Monotonic Simple Shear Deformation / 4.1.3.2:
Simulation of Cyclic Free-End Torsion and Tension-Torsion Deformations / 4.1.3.3:
Simulation of Uniaxial Ratchetting at Finite Strain / 4.1.3.4:
Thermomechanically Coupled Cyclic Plasticity Model at Finite Strain / 4.2:
Framework of Thermodynamics / 4.2.1:
Kinematics and Logarithmic Stress Rate / 4.2.1.1:
Thermodynamic Laws / 4.2.1.2:
Generalized Constitutive Equations / 4.2.1.3:
Restrictions on Specific Heat and Stress Response Function / 4.2.1.4:
Specific Constitutive Model / 4.2.2:
Nonlinear Kinematic Hardening Rule / 4.2.2.1:
Simulations and Discussions / 4.2.2.2:
Cyclic Viscoelasticity-Viscoplasticity of Polymers / 4.3:
Experimental Observations / 5.1:
Uniaxial Strain-Controlled Cyclic Tests / 5.1.1:
Multiaxial Strain-Controlled Cyclic Tests / 5.1.1.2:
Cyclic Viscoelastic Constitutive Model / 5.1.2:
Original Schapery's Model / 5.2.1:
Main Equations of Schapery's Viscoelastic Model / 5.2.1.1:
Simulations and Discussion / 5.2.1.2:
Extended Schapery's Model / 5.2.2:
Main Modification / 5.2.2.1:
Cyclic Viscoelastic-Viscoplastic Constitutive Model / 5.2.2.2:
Main Equations / 5.3.1:
Viscoelasticity / 5.3.1.1:
Viscoplasticity / 5.3.1.2:
Cyclic Plasticity of Particle-Reinforced Metal Matrix Composites / 5.3.2:
Uniaxial Ratchetting at Room Temperature / 6.1:
Uniaxial Ratchetting at 573K / 6.1.2.2:
Time-Independent Cyclic Plasticity / 6.2:
Main Equations of the Time-Independent Cyclic Plasticity Model / 6.2.1.1:
Basic Finite Element Model and Simulations / 6.2.1.2:
Effect of Interfacial Bonding / 6.2.1.3:
Results with 3D Multiparticle Finite Element Model / 6.2.1.4:
Time-Dependent Cyclic Plasticity / 6.2.2:
Finite Element Model / 6.2.2.1:
Meso-mechanical Time-Independent Plasticity Adodel / 6.2.2.2:
Framework of the Model / 6.3.1:
Time-Independent Cyclic Plasticity Model for the Matrix / 6.3.1.1:
Extension of the Mori-Tanaka Homogenization Approach / 6.3.1.2:
Numerical Implementation of the Model / 6.3.2:
Under the Strain-Controlled Loading Condition / 6.3.2.1:
Under the Stress-Controlled Loading Condition / 6.3.2.2:
Continuum and Algorithmic Consistent Tangent Operators / 6.3.2.3:
Meso-mechanical Time-Dependent Plasticity Model / 6.3.3:
Time-Dependent Cyclic Plasticity Model for the Matrix / 6.4.1:
Mori-Tanaka Homogenization Approach / 6.4.1.2:
Generalized Incrementally Affine Linearization Formulation / 6.4.2:
Extension of Mori-Tanaka's Model / 6.4.2.2:
Algorithmic Consistent Tangent Operator and Its Regularization / 6.4.2.3:
Numerical Integration of the Viscoplasticity Model / 6.4.2.4:
Under Monotonic Tension / 6.4.3:
Under Strain-Controlled Cyclic Loading Conditions / 6.4.3.2:
Time-Dependent Uniaxial Ratchetting / 6.4.3.3:
Thermomechanical Cyclic Deformation of Shape-Memory Alloys / 6.5:
Degeneration of Super-Elasticity and Transformation Ratchetting / 7.1:
Thermomechanical Cyclic Deformation Under Strain-Controlled Loading Conditions / 7.1.1.1:
Thermomechanical Cyclic Deformation Under Uniaxial Stress-Controlled Loading Conditions / 7.1.1.2:
Thermomechanical Cyclic Deformation Under Multiaxial Stress-Controlled Loading Conditions / 7.1.1.3:
Rate-Dependent Cyclic Deformation of Super-Elastic NiTi SMAs / 7.1.2:
Thermomechanical Cyclic Deformation Under Stress-Controlled Loading Conditions / 7.1.2.1:
Thermomechanical Cyclic Deformation of Shape-Memory NiTi SMAs / 7.1.3:
Pure Mechanical Cyclic Deformation under Stress-Controlled Loading Conditions / 7.1.3.1:
Thermomechanical Cyclic Deformation with Thermal Cycling and Axial Stress / 7.1.3.2:
Phenomenological Constitutive Models / 7.2:
Pure Mechanical Version / 7.2.1:
Thermodynamic Equations and Internal Variables / 7.2.1.1:
Main Equations of Constitutive Model / 7.2.1.2:
Predictions and Discussions / 7.2.1.3:
Thermomechanical Version / 7.2.2:
Strain Definitions / 7.2.2.1:
Evolution Rules of Transformation and Transformation-Induced Plastic Strains / 7.2.2.2:
Simplified Temperature Field / 7.2.2.3:
Evolution Rules of Internal Variables / 7.2.2.4:
Explicit Scale Transition Rule / 7.3.1.3:
Verifications and Discussions / 7.3.1.4:
Thermomechanical Coupled Analysis for Temperature Field / 7.3.2:
Index / 7.3.2.4:
Introduction
Monotonic Elastoplastic Deformation / 1.1:
Cyclic Elastoplastic Deformation / 1.2:
15.

電子ブック

EB
Samuel Szoniecky
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2018
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Use of the Ecosystem Concept on the Web / Chapter 1:
For marketing / 1.1:
For personal data / 1.2:
For services and applications / 1.3:
For dynamic interactivity / 1.4:
For pictorial analogies / 1.5:
For the information and communication sciences / 1.6:
Ecosystem Modeling: A Generic Method of Analysis / Chapter 2:
Hypertextual gardening fertilized by the chaos of John Cage / 2.1:
An entrepreneurial experience / 2.2:
Objectives / 2.2.1:
Principle of the game / 2.2.2:
Motivations / 2.2.3:
Why model a cognitive ecology? / 2.2.3.1:
The relevance of the garden analogy / 2.2.3.2:
Strategic interests and potential benefits / 2.2.4:
The maturation of a research project / 2.3:
Evaluating index activity / 2.3.1:
Folksonomies explorer / 2.3.2:
Tweet Palette: Semantic mapping / 2.3.3:
Fundamental Principles for Modeling an Existence / Chapter 3:
Key concepts for thinking about knowledge ecosystems / 3.1:
The noosphere / 3.1.1:
Enaction / 3.1.2:
Complexity / 3.1.3:
Trajective reason / 3.1.4:
Agency / 3.1.5:
Spinozist principles for an ethical ontology / 3.2:
Spinoza: ethical ontology / 3.2.1:
Limitations of Spinozism / 3.2.2:
Three dimensions of existence and three kinds of knowledge / 3.2.3:
Spinozist symbol politics / 3.2.4:
Spinozist ethics for the Web / 3.2.5:
The ontological principles of Descola / 3.2.6:
Principles of ontological matrices / 3.2.7:
The Web as analogist ontology / 3.2.8:
Principles of computer models / 3.2.9:
From Zeno to Turing via Spinoza / 3.2.10:
The search for the perfect language / 3.2.11:
Semantic knowledge management / 3.3:
The boundaries of ontologies / 3.3.1:
The semantic sphere IEML / 3.3.2:
Graphical Specifications for Modeling Existences / Chapter 4:
Principles of graphical modeling / 4.1:
Unified modeling language / 4.1.1:
Graphic partitions and diagrams / 4.1.2:
Fixed image versus dynamic diagram / 4.1.3:
Semantic maps / 4.2:
Maps of physical spaces / 4.2.1:
Time maps / 4.2.2:
Maps of conceptual spaces / 4.2.3:
Interpretation maps / 4.2.4:
Graphical modeling rules / 4.3:
Physical dimensions / 4.3.1:
Actors / 4.3.2:
Concepts / 4.3.3:
Relations / 4.3.4:
Calculating the complexity of an ecosystem / 4.3.5:
Web Platform Specifications for Knowledge Ecosystems / Chapter 5:
The generic management of resources / 5.1:
Non-digital resources / 5.1.1:
Digital resources / 5.1.2:
Management of digital resources / 5.1.3:
Principles for developing a Web ecosystem platform / 5.2:
Databases as a model of the ecosystem / 5.2.1:
Algorithmic platform to manage the ecosystem / 5.2.2:
Editorial platform for controlling collaborative practices / 5.2.3:
Client applications to explore ecosystem views / 5.2.4:
From technical specification to the organization of collective intelligence / 5.2.5:
Conclusion
Appendix
Bibliography
Index
Introduction
Use of the Ecosystem Concept on the Web / Chapter 1:
For marketing / 1.1:
16.

電子ブック

EB
Center for Chemical Process Safety, Center for Chemical Process Safety (CCPS), American Institute of Chemical Engineers.
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 1998
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Acronyms and Abbreviations
Introduction / 1:
Objective / 1.1:
Scope / 1.2:
Design Codes and Regulations, and Sources of Information / 1.3:
Organization of This Book / 1.4:
General Pressure Relief Systems Design Criteria / 1.5:
Process Hazards Analysis / 1.5.1:
Process Safety Information / 1.5.2:
Problems Inherent in Pressure Relief and Effluent Handling System Design / 1.5.3:
Relief Design Criteria and Strategy / 2:
Limitations of the Technology / 2.1:
General Pressure Relief Strategy / 2.2:
Mechanism of Pressure Relief / 2.2.1:
Approach to Design / 2.2.2:
Limitations of Systems Actuated by Pressure / 2.2.3:
Considerations of Consequences / 2.2.4:
Codes, Standards, and Guidelines / 2.3:
Scope of Principal USA Documents / 2.3.1:
General Provisions / 2.3.2:
Protection by System Design / 2.3.3:
Relief Device Types and Operation / 2.4:
General Terminology / 2.4.1:
Pressure Relief Valves / 2.4.2:
Rupture Disk Devices / 2.4.3:
Devices in Combination / 2.4.4:
Miscellaneous Nonreclosing Devices / 2.4.5:
Miscellaneous Low-Pressure Devices / 2.4.6:
Miscellaneous Relief System Components / 2.4.7:
Selection of Pressure Relief Devices / 2.4.8:
Relief System Layout / 2.5:
General Code Requirements / 2.5.1:
Low-Pressure Devices / 2.5.2:
Series/Parallel Devices / 2.5.5:
Header System / 2.5.6:
Mechanical Integrity / 2.5.7:
Material Selection / 2.5.8:
Drainage and Freeze-up Provisions / 2.5.9:
Noise / 2.5.10:
Design Flows and Code Provisions / 2.6:
Safety Valves / 2.6.1:
Relief Valves / 2.6.2:
Low Pressure Devices / 2.6.3:
Scenario Selection Considerations / 2.6.4:
Events Requiring Relief Due to Overpressure / 2.7.1:
Design Scenarios / 2.7.2:
Fluid Properties and System Characterization / 2.8:
Data Sources/Determination/Estimation / 2.8.1:
Pure-Component Properties / 2.8.2:
Mixture Properties / 2.8.3:
Phase Behavior / 2.8.4:
Chemical Reaction / 2.8.5:
Miscellaneous Fluid Characteristics / 2.8.6:
Fluid Behavior in Vessel / 2.9:
Accounting for Chemical Reaction / 2.9.1:
Two-Phase Venting Conditions and Effects / 2.9.2:
Flow to Fluids through Relief Systems / 2.10:
Conditions for Two-Phase Flow / 2.10.1:
Nature of Compressible Flow / 2.10.2:
Stagnation Pressure and Critical Pressure Ratio / 2.10.3:
Flow Rate to Effluent Handling System / 2.10.4:
Relief System Reliability / 2.11:
Relief Device Reliability / 2.11.1:
System Reliability / 2.11.2:
International Codes and Standards / Appendix 2A:
Property Mixing Rules / Appendix 2B:
Code Case: Protection by System Design / Appendix 2C:
Relief System Design and Rating Computations / 3:
Purpose and Scope / 3.1:
Required Background / 3.1.2:
Vessel Venting Background / 3.2:
General / 3.2.1:
material and Energy Balances / 3.2.2:
Two-Phase Venting Technology / 3.2.3:
Methods of Solution / 3.2.5:
Venting Requirements for Nonreacting Cases / 3.3:
Thermal Expansion / 3.3.1:
Fire Exposure / 3.3.2:
Loss of Heating/Cooling Control / 3.3.3:
Excess Inflow/Outflow / 3.3.4:
Structural Failure / 3.3.5:
Loss of Agitation / 3.3.6:
Miscellaneous / 3.3.7:
Vent Rate for Reacting Systems / 3.4:
Computer Simulations / 3.4.1:
Special-Case Integral Equations / 3.4.3:
Computational Strategy and Tools for Relief Flow / 3.5:
Gas/Vapor Flow / 3.5.1:
Two-Phase Flow / 3.5.2:
Nozzle and Piping Configuration for COMFLOW and TPHEM / 3.5.3:
Relief System Sizing and Rating / 3.6:
Pipe Runs / 3.6.1:
Safety / 3.6.2:
Preface
Acknowledgments
Acronyms and Abbreviations
17.

電子ブック

EB
Khemais Saanouni, K. Saanouni
出版情報: Wiley Online Library - AutoHoldings Books , Wiley-ISTE, 2012
所蔵情報: loading…
目次情報: 続きを見る
Preface
Principle of Mathematical Notations
Elements of Continuum Mechanics and Thermodynamics / Chapter 1:
Elements of kinematics and dynamics of materially simple continua / 1.1:
Homogeneous transformation and gradient of transformation / 1.1.1:
Homogeneous transformation / 1.1.1.1:
Gradient of transformation and its inverse / 1.1.1.2:
Polar decomposition of the transformation gradient / 1.1.1.3:
Transformation of elementary vectors, surfaces and volumes / 1.1.2:
Transformation of an elementary vector / 1.1.2.1:
Transformation of an elementary volume: the volume dilatation / 1.1.2.2:
Transformation of an oriented elementary surface / 1.1.2.3:
Various definitions of stretch, strain and strain rates / 1.1.3:
On some definitions of stretches / 1.1.3.1:
On some definitions of the strain tensors / 1.1.3.2:
Strain rates and rotation rates (spin) tensors / 1.1.3.3:
Volumic dilatation rate, relative extension rate and angular sliding rate / 1.1.3.4:
Various stress measures / 1.1.4:
Conjugate strain and stress measures / 1.1.5:
Change of referential or configuration and the concept of objectivity / 1.1.6:
Impact on strain and strain rates / 1.1.6.1:
Impact on stress and stress rates / 1.1.6.2:
Impact on the constitutive equations / 1.1.6.3:
Strain decomposition into reversible and irreversible parts / 1.1.7:
On the conservation laws for the materially simple continua / 1.2:
Conservation of mass: continuity equation / 1.2.1:
Principle of virtual power: balance equations / 1.2.2:
Energy conservation. First law of thermodynamics / 1.2.3:
Inequality of the entropy. Second law of thermodynamics / 1.2.4:
Fundamental inequalities of thermodynamics / 1.2.5:
Heat equation deducted from energy balance / 1.2.6:
Materially simple continuum thermodynamics and the necessity of constitutive equations / 1.3:
Necessity of constitutive equations / 1.3.1:
Some fundamental properties of constitutive equations / 1.3.2:
Principle of determinism or causality axiom / 1.3.2.1:
Principle of local action / 1.3.2.2:
Principle of objectivity or material indifference / 1.3.2.3:
Principle of material symmetry / 1.3.2.4:
Principle of consistency / 1.3.2.5:
Thermodynamic admissibility / 1.3.2.6:
Thermodynamics of irreversible processes. The local state method / 1.3.3:
A presentation of the local state method / 1.3.3.1:
Internal constraints / 1.3.3.2:
Mechanics of generalized continua. Micromorphic theory / 1.4:
Principle of virtual power for micromorphic continua / 1.4.1:
Thermodynamics of micromorphic continua / 1.4.2:
Thermomechanically-Consistent Modeling of the Metals Behavior with Ductile Damage / Chapter 2:
On the main schemes for modeling the behavior of materially simple continuous media / 2.1:
Behavior and fracture of metals and alloys: some physical and phenomenological aspects / 2.2:
On the microstructure of metals and alloys / 2.2.1:
Phenomenology of the thermomechanical behavior of polycrystals / 2.2.2:
Linear elastic behavior / 2.2.2.1:
Inelastic behavior / 2.2.2.2:
Inelastic behavior sensitive to the loading rate / 2.2.2.3:
Initial and induced anisotropies / 2.2.2.4:
Other phenomena linked to the shape of the loading paths / 2.2.2.5:
Phenomenology of the inelastic fracture of metals and alloys / 2.2.3:
Micro-defects nucleation / 2.2.3.1:
Micro-defects growth / 2.2.3.2:
Micro-defects coalescence and final fracture of the RVE / 2.2.3.3:
A first definition of the damage variable / 2.2.3.4:
From ductile damage at a material point to the total fracture of a structure by propagation of macroscopic cracks / 2.2.3.5:
Summary of the principal phenomena to be modeled / 2.2.4:
Theoretical framework of modeling and main hypotheses / 2.3:
The main kinematic hypotheses / 2.3.1:
Choice of kinematics and compliance with the principle of objectivity / 2.3.1.1:
Decomposition of strain rates / 2.3.1.2:
On some rotating frame choices / 2.3.1.3:
Implementation of the local state method and main mechanical hypotheses / 2.3.2:
Choice of state variables associated with phenomena being modeled / 2.3.2.1:
Definition of effective variables: damage effect functions / 2.3.2.2:
State potential: state relations / 2.4:
State potential in case of damage anisotropy / 2.4.1:
Formulation in strain space: Helmholtz free energy / 2.4.1.1:
Formulation in stress space: Gibbs free enthalpy / 2.4.1.2:
State potential in the case of damage isotropy / 2.4.2:
Microcracks closure: quasi-unilateral effect / 2.4.2.1:
Concept of micro-defect closure: deactivation of damage effects / 2.4.3.1:
State potential with quasi-unilateral effect / 2.4.3.2:
Dissipation analysis: evolution equations / 2.5:
Thermal dissipation analysis: generalized heat equation / 2.5.1:
Heat flux vector: Fourier linear conduction model / 2.5.1.1:
Generalized heat equation / 2.5.1.2:
Intrinsic dissipation analysis: case of time-independent plasticity / 2.5.2:
Damageable plastic dissipation: anisotropic damage with two yield surfaces / 2.5.2.1:
Damageable plastic dissipation: anisotropic damage with a single yield surface / 2.5.2.2:
Incompressible and damageable plastic dissipation: isotropic damage with two yield surfaces / 2.5.2.3:
Incompressible and damageable plastic dissipation: single yield surface / 2.5.2.4:
Intrinsic dissipation analysis: time-dependent plasticity or viscoplasticity / 2.5.3:
Damageable viscoplastic dissipation without restoration: anisotropic damage with two viscoplastic potentials / 2.5.3.1:
Viscoplastic dissipation with damage: isotropic damage with a single viscoplastic potential and restoration / 2.5.3.2:
Some remarks on the choice of rotating frames / 2.5.4:
Modeling some specific effects linked to metallic material behavior / 2.5.5:
Effects on non-proportional loading paths on strain hardening evolution / 2.5.5.1:
Strain hardening memory effects / 2.5.5.2:
Cumulative strains or ratchet effect / 2.5.5.3:
Yield surface and/or inelastic potential distortion / 2.5.5.4:
Viscosity-hardening coupling: the Piobert-Lüders peak / 2.5.5.5:
Accounting for the material microstructure / 2.5.5.6:
Some specific effects on ductile fracture / 2.5.5.7:
Modeling of the damage-induced volume variation / 2.6:
On the compressibility induced by isotropic ductile damage / 2.6.1:
Concept of volume damage / 2.6.1.1:
State coupling and state relations / 2.6.1.2:
Dissipation coupling and evolution equations / 2.6.1.3:
Modeling of the contact and friction between deformable solids / 2.7:
Kinematics and contact conditions between solids / 2.7.1:
Impenetrability condition / 2.7.1.1:
Equilibrium condition of contact interface / 2.7.1.2:
Contact surface non-adhesion condition / 2.7.1.3:
Contact unilaterality condition / 2.7.1.4:
On the modeling of friction between solids in contact / 2.7.2:
Time-independent friction model / 2.7.2.1:
Nonlocal modeling of damageable behavior of micromorphic continua / 2.8:
Principle of virtual power for a micromorphic medium: balance equations / 2.8.1:
State potential and state relations for a micromorphic solid / 2.8.2:
Dissipation analysis: evolution equations for a micromorphic solid / 2.8.3:
Continuous tangent operators and thermodynamic admissibility for a micromorphic solid / 2.8.4:
Transformation of micromorphic balance equations / 2.8.5:
On the micro-macro modeling of inelastic flow with ductile damage / 2.9:
Principle of the proposed meso-macro modeling scheme / 2.9.1:
Definition of the initial RVE / 2.9.2:
Localization stages / 2.9.3:
Constitutive equations at different scales / 2.9.4:
State potential and state relations / 2.9.4.1:
Intrinsic dissipation analysis: evolution equations / 2.9.4.2:
Homogenization and the mean values of fields at the aggregate scale / 2.9.5:
Summary of the meso-macro polycrystalline model / 2.9.6:
Numerical Methods for Solving Metal Forming Problems / Chapter 3:
Initial and boundary value problem associated with virtual metal forming processes / 3.1:
Strong forms of the initial and boundary value problem / 3.1.1:
Posting a fully coupled problem / 3.1.1.1:
Some remarks on thermal conditions at contact interfaces / 3.1.1.2:
Weak forms of the initial and boundary value problem / 3.1.2:
On the various weak forms of the IBVP / 3.1.2.1:
Weak form associated with equilibrium equations / 3.1.2.2:
Weak form associated with heat equation / 3.1.2.3:
Weak form associated with micromorphic damage balance equation / 3.1.2.4:
Summary of the fully coupled evolution problem / 3.1.2.5:
Temporal and spatial discretization of the IBVP / 3.2:
Time discretization of the IBVP / 3.2.1:
Spatial discretization of the IBVP by finite elements / 3.2.2:
Spatial semi-discretization of the weak forms of the IBVP / 3.2.2.1:
Examples of isoparametric finite elements / 3.2.2.2:
On some global resolution scheme of the IBVP / 3.3:
Implicit static global resolution scheme / 3.3.1:
Newton-Raphson scheme for the solution of the fully coupled IBVP / 3.3.1.1:
On some convergence criteria / 3.3.1.2:
Calculation of the various terms of the tangent matrix / 3.3.1.3:
The purely mechanical consistent Jacobian matrix / 3.3.1.4:
Implicit global resolution scheme of the coupled IBVP / 3.3.1.5:
Dynamic explicit global resolution scheme / 3.3.2:
Solution of the mechanical problem / 3.3.2.1:
Solution of thermal (parabolic) problem / 3.3.2.2:
Solution of micromorphic damage problem / 3.3.2.3:
Sequential scheme of explicit global resolution of the IBVP / 3.3.2.4:
Numerical handling of contact-friction conditions / 3.3.3:
Lagrange multiplier method / 3.3.3.1:
Penalty method / 3.3.3.2:
On the search for contact nodes / 3.3.3.3:
On the numerical handling of the incompressibility condition / 3.3.3.4:
Local integration scheme: state variables computation / 3.4:
On numerical integration using the Gauss method / 3.4.1:
Local integration of constitutive equations: computation of the stress tensor and the state variables / 3.4.2:
On the numerical integration of first-order ODEs / 3.4.2.1:
Choice of constitutive equations to integrate / 3.4.2.2:
Integration of time-independent plastic constitutive equations: the case of a von Mises isotropic yield criterion / 3.4.2.3:
Integration of time-independent plastic constitutive equations: the case of a Hill quadratic anisotropic yield criterion / 3.4.2.4:
Integration of the constitutive equation in the case of viscoplastic flow / 3.4.2.5:
Calculation of the rotation tensor: incremental objectivity / 3.4.2.6:
Remarks on the integration of the micromorphic damage equation / 3.4.2.7:
On the local integration of friction equations / 3.4.3:
Adaptive analysis of damageable elasto-inelastic structures / 3.5:
Adaptation of time steps / 3.5.1:
Adaptation of spatial discretization or mesh adaptation / 3.5.2:
On other spatial discretization methods / 3.6:
An outline of non-mesh methods / 3.6.1:
On the FEM-meshless methods coupling / 3.6.2:
Application to Virtual Metal Forming / Chapter 4:
Why use virtual metal forming? / 4.1:
Model identification methodology / 4.2:
Parametrical study of specific models / 4.2.1:
Choosing typical constitutive equations / 4.2.1.1:
Isothermal uniaxial tension (compression) load without damage / 4.2.1.2:
Accounting for ductile damage effect / 4.2.1.3:
Accounting for initial anisotropy in inelastic flow / 4.2.1.4:
Identification methodologies / 4.2.2:
Some general remarks on the issue of identification / 4.2.2.1:
Recommended identification methodology / 4.2.2.2:
Illustration of the identification methodology / 4.2.2.3:
Using a nonlocal model / 4.2.2.4:
Some applications / 4.3:
Sheet metal forming / 4.3.1:
Some deep drawing processes of thin sheets / 4.3.1.1:
Some hydro-bulging test of thin sheets and tubes / 4.3.1.2:
Cutting processes of thin sheets / 4.3.1.3:
Bulk metal forming processes / 4.3.2:
Classical bulk metal forming processes / 4.3.2.1:
Bulk metal forming processes under severe conditions / 4.3.2.2:
Toward the optimization of forming and machining processes / 4.4:
Appendix: Legendre-Fenchel Transformation
Bibliography
Index
Preface
Principle of Mathematical Notations
Elements of Continuum Mechanics and Thermodynamics / Chapter 1:
18.

電子ブック

EB
John Impagliazzo
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
19.

電子ブック

EB
Laura L. Pullum, Majorie A. Darrah, Brian J. Taylor
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Overview / 1:
Definitions and Conventions / 1.1:
Organization of the Book / 1.2:
Areas of Consideration for Adaptive Systems / 2:
Safety-Critical Adaptive System Example and Experience / 2.1:
Hazard Analysis / 2.2:
Development of a Neural Network Fault Model / 2.2.1:
Requirements for Adaptive Systems / 2.3:
Rule Extraction / 2.4:
What is Rule Extraction? / 2.4.1:
Rule Formats and Definitions / 2.4.2:
Types of Rule Extraction / 2.4.3:
How is Rule Extraction Useful in V&V? / 2.4.4:
Advantages and Disadvantages / 2.4.5:
Modified Life Cycle for Developing Neural Networks / 2.5:
Nested Loop Model of Neural Network Development Process / 2.5.1:
Safety Life Cycle for Hybrid Neural Networks / 2.5.2:
Operational Monitors / 2.6:
Testing Considerations / 2.7:
Interface Testing / 2.7.1:
Function Testing / 2.7.2:
Knowledge Testing / 2.7.3:
Structure Testing / 2.7.4:
Neural Network Testing Tools / 2.7.5:
Training Set Analysis / 2.8:
Training Data with Too Many or Too Few Inputs / 2.8.1:
"The Curse of Dimensionality" / 2.8.2:
Data Redundancy / 2.8.3:
Irrelevant Data / 2.8.4:
Combining Different Data Sets into One / 2.8.5:
Processing the Training Data / 2.8.6:
Data Outliers / 2.8.7:
Use of Rule Extraction/Insertion/Refinement with Training Data / 2.8.8:
Training Data and Operational Monitoring / 2.8.9:
Version Control of the Training Process / 2.8.10:
Stability Analysis / 2.9:
Configuration Management of Neural Network Training and Design / 2.10:
Simulations of Adaptive Systems / 2.11:
Neural Network Visualization / 2.12:
Adaptive System and Neural Network Selection / 2.13:
General Adaptive Systems / 2.13.1:
Neural Network Systems at a High Level / 2.13.2:
Neural Network Systems at a Low Level / 2.13.3:
Neural Network Taxonomy / 2.13.4:
Verification and Validation of Neural Networks - Guidance / 3:
Process: Management / 3.1:
Activity: Management of V&V / 3.1.1:
Process: Acquisition / 3.2:
Activity: Acquisition Support V&V / 3.2.1:
Process: Supply / 3.3:
Activity: Planning V&V / 3.3.1:
Process: Development / 3.4:
Activity: Concept V&V / 3.4.1:
Activity: Requirements V&V / 3.4.2:
Activity; Design V&V / 3.4.3:
Activity: Implementation V&V / 3.4.4:
Activity: Test V&V / 3.4.5:
Activity: Installation and Checkout V&V / 3.4.6:
Process: Operation / 3.5:
Activity: Operation V&V / 3.5.1:
Process: Maintenance / 3.6:
Activity: Maintenance V&V / 3.6.1:
Recent Changes to IEEE Std 1012 / 4:
References / Appendix A:
Acronyms / Appendix B:
Definitions / Appendix C:
Preface
Acknowledgements
Overview / 1:
20.

電子ブック

EB
John Impagliazzo
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2006
所蔵情報: loading…
21.

電子ブック

EB
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:
22.

電子ブック

EB
Mengfei; Hua, Gengxin; Feng, Yanjun; Gong, Jian; Yang, Mengfei Yang, Yanjun Feng, Jian Gong, Gengxin Hua, Mengfei Yang
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Incorporated, 2017
所蔵情報: loading…
目次情報: 続きを見る
Brief Introduction
Preface
Introduction / 1:
Fundamental Concepts and Principles of Fault-tolerance Techniques / 1.1:
Fundamental Concepts / 1.1.1:
Reliability Principles / 1.1.2:
Reliability Metrics / 1.1.2.1:
Reliability Model / 1.1.2.2:
The Space Environment and Its Hazards for the Spacecraft Control Computer / 1.2:
Introduction to Space Environment / 1.2.1:
Solar Radiation / 1.2.1.1:
Galactic Cosmic Rays (GCRs) / 1.2.1.2:
Van Allen Radiation Belt / 1.2.1.3:
Secondary Radiation / 1.2.1.4:
Space Surface Charging and Internal Charging / 1.2.1.5:
Summary of Radiation Environment / 1.2.1.6:
Other Space Environments / 1.2.1.7:
Analysis of Damage Caused by the Space Environment / 1.2.2:
Total Ionization Dose (TID) / 1.2.2.1:
Single Event Effect (SEE) / 1.2.2.2:
Internal/surface Charging Damage Effect / 1.2.2.3:
Displacement Damage Effect / 1.2.2.4:
Other Damage Effect / 1.2.2.5:
Development Status and Prospects of Fault Tolerance Techniques / 1.3:
References
Fault-Tolerance Architectures and Key Techniques / 2:
Fault-tolerance Architecture / 2.1:
Module-level Redundancy Structures / 2.1.1:
Backup Fault-tolerance Structures / 2.1.2:
Cold-backup Fault-tolerance Structures / 2.1.2.1:
Hot-backup Fault-tolerance Structures / 2.1.2.2:
Triple-modular Redundancy (TMR) Fault-tolerance Structures / 2.1.3:
Other Fault-tolerance Structures / 2.1.4:
Synchronization Techniques / 2.2:
Clock Synchronization System / 2.2.1:
Basic Concepts and Fault Modes of the Clock Synchronization System / 2.2.1.1:
Clock Synchronization Algorithm / 2.2.1.2:
System Synchronization Method / 2.2.2:
The Real-time Multi-computer System Synchronization Method / 2.2.2.1:
System Synchronization Method with Interruption / 2.2.2.2:
Fault-tolerance Design with Hardware Redundancy / 2.3:
Universal Logic Model and Flow in Redundancy Design / 2.3.1:
Scheme Argumentation of Redundancy / 2.3.2:
Determination of Redundancy Scheme / 2.3.2.1:
Rules Obeyed in the Scheme Argumentation of Redundancy / 2.3.2.2:
Redundancy Design and Implementation / 2.3.3:
Basic Requirements / 2.3.3.1:
FDMU-Design / 2.3.3.2:
CSSU Design / 2.3.3.3:
IPU Design / 2.3.3.4:
Power Supply Isolation Protection / 2.3.3.5:
Testability Design / 2.3.3.6:
Others / 2.3.3.7:
Validation of Redundancy by Analysis / 2.3.4:
Hardware FMEA / 2.3.4.1:
Redundancy Switching Analysis (RSA) / 2.3.4.2:
Analysis of the Common Cause of Failure / 2.3.4.3:
Reliability Analysis and Checking of the Redundancy Power / 2.3.4.4:
Analysis of the Sneak Circuit in the Redundancy Management Circuit / 2.3.4.5:
Validation of Redundancy by Testing / 2.3.5:
Testing by Failure Injection / 2.3.5.1:
Specific Test for the Power of the Redundancy Circuit / 2.3.5.2:
Other Things to Note / 2.3.5.3:
Fault Detection Techniques / 3:
Fault Model / 3.1:
Fault Model Classified by Time / 3.1.1:
Fault Model Classified by Space / 3.1.2:
Fault Detection Methods for CPLTs / 3.2:
Fault Detection Methods Used for CPUs / 3.2.2.1:
Example of CPU Fault Detection / 3.2.2.2:
Fault Detection Methods for Memory / 3.2.3:
Fault Detection Method for ROM / 3.2.3.1:
Fault Detection Methods for RAM / 3.2.3.2:
Fault Detection Methods for I/Os / 3.2.4:
Bus Techniques / 4:
Introduction to Space-borne Bus / 4.1:
Fundamental Terminologies / 44.1:
The MIL-STD-1553B Bus / 4.2:
Fault Model of the Bus System / 4.21:
Bus-level Faults / 4.2.1.1:
Terminal Level Faults / 4.2.1.2:
Redundancy Fault-tolerance Mechanism of the Bus System / 4.2.2:
The Bus-level Fault-tolerance Mechanism / 4.2.2.1:
The Bus Controller Fault- tolerance Mechanism / 4.2.2.2:
Fault-tolerance Mechanism of Remote Terminals / 4.2.2.3:
The CAN Bus / 4.3:
The Bus Protocol / 4.3.1:
Physical Layer Protocol and Fault-tolerance / 4.3.2:
Node Structure / 4.3.2.1:
Bus Voltage / 4.3.2.2:
Transceiver and Controller / 4.3.2.3:
Physical Fault-tolerant Features / 4.3.2.4:
Data Link Layer Protocol and Fault-tolerance / 4.3.3:
Communication Process / 4.3.34:
Message Sending / 4.3.3.2:
The President Mechanism of Bus Access / 4.3.3.3:
Coding / 4.3.3.4:
Data Frame / 4.3.3.5:
Error Detection / 4.3.3.6:
The Space-Wire Bus / 4.4:
Connector / 4.4.1:
Cable / 4.4.1.2:
Low Voltage Differential Signal / 4.4.1.3:
Data Filter (DS) Coding / 4.4.1.4:
Packet Character / 4.4.2:
Packet Parity Check Strategy / 4.4.2.2:
Packet Structure / 4.4.2.3:
Communication Link Control / 4.4.2.4:
Networking and Routing / 4.4.3:
Major Technique used by the SpaceWire Network / 4.4.3.1:
SpaceWire Router / 4.4.3.2:
Fault-tolerance Mechanism / 4.4.4:
Other Buses / 4.5:
The IEEE 1394 Bus / 4.5.1:
Ethernet / 4.5.2:
The I2C Bus / 4.5.3:
Software Fault-Tolerance Techniques / 5:
Software Fault-tolerance Concepts and Principles / 5.1:
Software Faults / 5.1.1:
Software Fault-tolerance / 5.1.2:
Software Fault Detection and Voting / 5.1.3:
Software Fault Isolation / 5.1.4:
Software Fault Recovery / 5.1.5:
Classification of Software Fault-tolerance Techniques / 5.1.6:
Single-version Software Fault-tolerance Techniques / 5.2:
Checkpoint and Restart / 5.2.1:
Software-implemented Hardware Fault-tolerance / 5.2.2:
Control Flow Checking by Software Signatures (CFCSS) / 5.2.2.1:
Error Detection by Duplicated Instructions (EDDI) / 5.2.2.2:
Software Crash Trap / 5.2.3:
Multiple-version Software Fault-tolerance Techniques / 5.3:
Recovery Blocks (RcB) / 5.3.1:
N-version Programming (NVP) / 5.3.2:
Distributed Recovery Blocks (DRB) / 5.3.3:
N Self-checking Programming (NSCP) / 5.3.4:
Consensus Recovery Block (CRB) / 5.3.5:
Acceptance Voting (AV) / 5.3.6:
Advantage and Disadvantage of Multiple-version Software / 5.3.7:
Data Diversity Based Software Fault-tolerance Techniques / 5.4:
Data Re-expression Algorithm (DRA) / 5.4.1:
Retry Blocks (RtB) / 5.4.2:
N copy Programming (NCP) / 5.4.3:
Two-pass Adjudicators (TPA) / 5.4.4:
Fault-Tolerance Techniques for FPGA / 6:
Effect of the Space Environment on FPGAs / 6.1:
Single Event Transient Effect (SET) / 6.1.1:
Single Event Upset (SEU) / 6.1.2:
Single Event Latch-up (SEL) / 6.1.3:
Single Event Burnout (SEB) / 6.1.4:
Single Event Gate Rupture (SEGR) / 6.1.5:
Single Event Functional Interrupt (SEFI) / 6.1.6:
Fault Modes of SRAM-based FPGAs / 6.2:
Structure of a SRAM-based FPGA / 6.2.1:
Faults Classification and Fault Modes Analysis of SRAM-based FPGAs / 6.2.2:
Faults Classification / 6.2.2.1:
Fault Modes Analysis / 6.2.2.2:
Fault-tolerance Techniques for SRAM-based FPGAs / 6.3:
SRAM-based FPGA Mitigation Techniques / 6.3.1:
The Triple Modular Redundancy (TMR) Design Technique / 6.3.1.1:
The Inside RAM Protection Technique / 6.3.1.2:
The Inside Register Protection Technique / 6.3.1.3:
EDAC Encoding and Decoding Technique / 6.3.1.4:
Fault Detection Technique Based on DMR and Fault Isolation Technique Based on Tristate Gate / 6.3.1.5:
SRAM-based FPGA Reconfiguration Techniques / 6.3.2:
Single Fault Detection and Recovery Technique Based on ICAP+FrameECC / 6.3.2.1:
Multi-fault Detection and Recovery Technique Based on ICAP Configuration Read-back+RS Coding / 6.3.2.2:
Dynamic Reconfiguration Technique Based on EAPR / 6.3.2.3:
Fault Recovery Technique Based on Hardware Checkpoint / 6.3.2.4:
Summary of Reconfiguration Fault-tolerance Techniques / 6.3.2.5:
Typical Fault-tolerance Design of SRAM-based FPGA / 6.4:
Fault-tolerance Techniques of Anti-fuse Based FPGA / 6.5:
Fault-Injection Techniques / 7:
Basic Concepts / 7.1:
Experimenter / 7.1.1:
Establishing the Fault Model / 7.1.2:
Conducting Fault-injection / 7.1.3:
Target System for Fault-injection / 7.1.4:
Observing the System's Behavior / 7.1.5:
Analyzing Experimental Findings / 7.1.6:
Classification of Fault-injection Techniques / 7.2:
Simulated Fault-injection / 7.2.1:
Transistor Switch Level Simulated Fault-injection / 7.2.1.1:
Logic Level Simulated Fault-injection / 7.2.1.2:
Functional Level Simulated Fault-injection / 7.2.1.3:
Hardware Fault-injection / 7.2.2:
Software Fault-injection / 7.2.3:
Injection During Compiling / 7.2.3.1:
Injection During Operation / 7.2.3.2:
Physical Fault-injection / 7.2.4:
Mixed Fault-injection / 7.2.5:
Fault-injection System Evaluation and Application / 7.3:
Injection Controllability / 7.3.1:
Injection Observability / 7.3.2:
Injection Validity / 7.3.3:
Fault-injection Application / 7.3.4:
Verifying the Fault Detection Mechanism / 7.3.4.1:
Fault Effect Domain Analysis / 7.3.4.2:
Fault Restoration / 7.3.4.3:
Coverage Estimation / 7.3.4.4:
'Delay Time / 7.3.4.5:
Generating Fault Dictionary / 7.3.4.6:
Software Testing / 7.3.4.7:
Fault-injection Platform and Tools / 7.4:
Fault-injection Platform in Electronic Design Automation (EDA) Environment / 7.4.1:
Computer Bus-based Fault-injection Platform / 7.4.2:
Serial Accelerator Based Fault-injection Case / 7.4.3:
Future Development of Fault-injection Technology / 7.4.4:
Intelligent Fault-Tolerance Techniques / 8:
Evolvable Hardware Fault-tolerance / 8.1:
Fundamental Concepts and Principles / 8.1.1:
Evolutionary Algorithm / 8.1.2:
Encoding Methods / 8.1.2.1:
Fitness Function Designing / 8.1.2.2:
Genetic Operators / 8.1.2.3:
Convergence of Genetic Algorithm / 8.1.2.4:
Programmable Devices / 8.1.3:
ROM / 8.1.3.1:
PAL and GAL / 8.1.3.2:
FPGA / 8.1.3.3:
VRC / 8.1.3.4:
Evolvable Hardware Fault-tolerance Implementation Methods / 8.1.4:
Modeling and Organization of Hardware Evolutionary Systems / 8.1.4.1:
Reconfiguration and Its Classification / 8.1.4.2:
Evolutionary Fault-tolerance Architectures and Methods / 8.1.4.3:
Evolutionary Fault-tolerance Methods at Various Layers of the Hardware / 8.1.4.4:
Method Example / 8.1.4.5:
Artificial Immune Hardware Fault-tolerance / 8.2:
Biological Immune System and its Mechanism / 8.2.1:
Adaptive Immunity / 8.2.1.2:
Artificial Immune Systems / 8.2.1.3:
Fault-tolerance Principle of Immune Systems / 8.2.1.4:
Fault-tolerance Methods with Artificial Immune System / 8.2.2:
Artificial Immune Fault-tolerance System Architecture / 8.2.2.1:
Immune Object / 8.2.2.2:
Immune Control System / 8.2.2.3:
Working Process of Artificial Immune Fault-tolerance System / 8.2.2.4:
Implementation of Artificial Immune Fault-tolerance / 8.2.3:
Hardware / 8.2.3.1:
Software / 8.2.3.2:
Acronyms
Index
Brief Introduction
Preface
Introduction / 1:
23.

電子ブック

EB
Rene Van den Braembussche
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2019
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
List of Symbols
Introduction / 1:
Application of Centrifugal Compressors / 1.1:
Achievable Efficiency / 1.2:
Diabatic Flows / 1.3:
Transformation of Energy in Radial Compressors / 1.4:
Performance Map / 1.5:
Theoretical Performance Curve / 1.5.1:
Finite Number of Blades / 1.5.2:
Real Performance Curve / 1.5.3:
Degree of Reaction / 1.6:
Operating Conditions / 1.7:
Compressor Inlets / 2:
Inlet Guide Vanes / 2.1:
Influence of Prerotation on Pressure Ratio / 2.1.1:
Design of IGVs / 2.1.2:
The Inducer / 2.2:
Calculation of the Inlet / 2.2.1:
Determination of the Inducer Shroud Radius / 2.2.1.1:
Optimum Incidence Angle / 2.2.2:
Inducer Choking Mass Flow / 2.2.3:
Radial Impeller Flow Calculation / 3:
Inviscid Impeller Flow Calculation / 3.1:
Meridional Velocity Calculation / 3.1.1:
Blade to Blade Velocity Calculation / 3.1.2:
Optimal Velocity Distribution / 3.1.3:
3D Impeller Flow / 3.2:
3D Inviscid Flow / 3.2.1:
Boundary Layers / 3.2.2:
Secondary Flows / 3.2.3:
Shrouded-unshrouded / 3.2.3.1:
Full 3D Geometries / 3.2.4:
Performance Predictions / 3.3:
Flow in Divergent Channels / 3.3.1:
Impeller Diffusion Model / 3.3.2:
Two-zone Flow Model / 3.3.3:
Calculation of Average Flow Conditions / 3.3.4:
Influence of the Wake/let Velocity Ratio v on Impeller Performance / 3.3.5:
Slip Factor / 3.4:
Disk Friction / 3.5:
The Diffuser / 4:
Vaneless Diffusers / 4.1:
One-dimensional Calculation / 4.1.1:
Circumferential Distortion / 4.1.2:
Three-dimensional Flow Calculation / 4.1.3:
Vaned Diffusers / 4.2:
Curved Vane Diffusers / 4.2.1:
Channel Diffusers / 4.2.2:
The Vaneless and Semi-vaneless Space / 4.2.3:
The Diffuser Channel / 4.2.4:
Detailed Geometry Design / 5:
Inverse Design Methods / 5.1:
Analytical Inverse Design Methods / 5.1.1:
Inverse Design by CFD / 5.1.2:
Optimization Systems / 5.2:
Parameterized Definition of the Impeller Geometry / 5.2.1:
Search Mechanisms / 5.2.2:
Gradient Methods / 5.2.2.1:
Zero-order Search Mechanisms / 5.2.2.2:
Evolutionary Methods / 5.2.2.3:
Metamodel Assisted Optimization / 5.2.3:
Muitiobjective and Constraint Optimization / 5.2.4:
Muitiobjective Ranking / 5.2.4.1:
Constraints / 5.2.4.2:
Muitiobjective Design of Centrifugal Impellers / 5.2.4.3:
Multipoint Optimization / 5.2.5:
Design of a Low Solidity Diffuser / 5.2.5.1:
Multipoint Impeller Design / 5.2.5.2:
Robust Optimization / 5.2.6:
Volutes / 6:
Inlet Volutes / 6.1:
Inlet Bends / 6.1.1:
Vaned Inlet Volutes / 6.1.2:
Tangential Inlet Volute / 6.1.4:
Outlet Volutes / 6.2:
Volute Flow Model / 6.2.1:
Main Geometrical Parameters / 6.2.2:
Detailed 3D Flow Structure in Volutes / 6.2.3:
Design Mass Flow Operation / 6.2.3.1:
Lower than Design Mass Flow / 6.2.3.2:
Higher than Design Mass Flow / 6.2.3.3:
Central Elliptic Volutes / 6.2.4:
High Mass Flow Measurements / 6.2.4.1:
Medium and Low Mass Flow Measurements / 6.2.4.2:
Volute Outlet Measurements / 6.2.4.3:
Internal Rectangular Volutes / 6.2.5:
Medium Mass Flow Measurements / 6.2.5.1:
Low Mass Flow Measurements / 6.2.5.3:
Volute Cross Sectional Shape / 6.2.6:
Volute Performance / 6.2.7:
Experimental Results / 6.2.7.1:
Detailed Evaluation of Volute Loss Model / 6.2.7.2:
3D analysis of Volute Flow / 6.2.8:
Volute-diffuser Optimization / 6.3:
Non-axisymmetric Diffuser / 6.3.1:
Increased Diffuser Exit Width / 6.3.2:
Impeller Response to Outlet Distortion / 7:
Experimental Observations / 7.1:
Theoretical Predictions / 7.2:
1D Model / 7.2.1:
CFD- Mixing Plane Approach / 7.2.2:
3D Unsteady Flow Calculations / 7.2.3:
Impeller with 20 Full Blades / 7.2.3.1:
Impeller with Splitter Vanes / 7.2.3.2:
Inlet and Outlet Flow Distortion / 7.2.4:
Parametric Study / 7.2.4.1:
Frozen Rotor Approach / 7.2.5:
Radial Forces / 7.3:
Computation of Radial Forces / 7.3.1:
Off-design Performance Prediction / 7.4:
Impeller Response Model / 7.4.1:
Diffuser Response Model / 7.4.2:
Volute Flow Calculation / 7.4.3:
Impeller Outlet Pressure Distribution / 7.4.4:
Evaluation and Conclusion / 7.4.5:
Stability and Range / 8:
Distinction Between Different Types of Rotating Stall / 8.1:
Vaneless Diffuser Rotating Stall / 8.2:
Theoretical Stability Calculation / 8.2.1:
Comparison with Experiments / 8.2.2:
Influence of the Diffuser Inlet Shape and Pinching / 8.2.3:
Abrupt Impeller Rotating Stall / 8.3:
Theoretical Prediction Models / 8.3.1:
Comparison with Experimental Results / 8.3.2:
Progressive Impeller Rotating Stall / 8.4:
Vaned Diffuser Rotating Stall / 8.4.1:
Return Channel Rotating Stall / 8.5.1:
Surge / 8.6:
Lumped Parameter Surge Model / 8.6.1:
Mild Versus Deep Surge / 8.6.2:
An Alternative Surge Prediction Model / 8.6.3:
Operating Range / 9:
Active Surge Control / 9.1:
Throttle Valve Control / 9.1.1:
Variable Plenum Control / 9.1.2:
Active Magnetic Bearings / 9.1.3:
Close-coupled Resistance / 9.1.4:
Bypass Valves / 9.2:
Increased Impeller Stability / 9.3:
Dual Entry Compressors / 9.3.1:
Casing Treatment / 9.3.2:
Enhanced Vaned Diffuser Stability / 9.4:
Impeller-diffuser Matching / 9.5:
Enhanced Vaneless Diffuser Stability / 9.6:
Low Solidity Vaned Diffusers / 9.6.1:
Half-height Vanes / 9.6.2:
Rotating Vaneless Diffusers / 9.6.3:
Bibliography
Index
Preface
Acknowledgements
List of Symbols
24.

電子ブック

EB
Christian Rockenhäuser
出版情報: SpringerLink Books - AutoHoldings , Springer Fachmedien Wiesbaden, 2015
所蔵情報: loading…
25.

電子ブック

EB
Hajime Akimoto
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2020
所蔵情報: loading…
目次情報: 続きを見る
Preface
Historical Background of Atmospheric Secondary Aerosol Research / 1:
Introduction / 1.1:
Secondary Inorganic Aerosols / 1.2:
Sulfate / 1.2.1:
Nitrate / 1.2.2:
Secondary Organic Aerosols / 1.3:
Photochemical Smog / 1.3.1:
Blue Haze / 1.3.2:
References
Fundamentals of Multiphase Chemical Reactions / 2:
Gas-Liquid Phase Equilibrium and Equilibrium in Liquid Phase / 2.1:
Fundamentals of Thermodynamics / 2.2.1:
Internal Energy and Enthalpy / 2.2.1.1:
Entropy / 2.2.1.2:
Gibbs Energy / 2.2.1.3:
Chemical Potential / 2.2.1.4:
Chemical Equilibrium and Equilibrium Constant / 2.2.2:
Chemical Equilibrium / 2.2.2.1:
Equilibrium Constant of Gas-Phase Reaction / 2.2.2.2:
Equilibrium Constant of Liquid-Phase Reaction / 2.2.2.3:
A Temperature Dependence of Equilibrium Constant
Gas-Liquid Equilibrium and Henry's Law Constant / 2.2.3:
Hydration of Carbonyl Compounds and Effective Henry's Law Constant / 2.2.4:
pH and Equilibrium in the Aqueous Solution / 2.2.5:
Dissociation Equilibrium of Pure Water and pH / 2.2.5.1:
Ion Dissociation and Equilibrium in Aqueous Solution / 2.2.5.2:
Reactions in the Liquid Phase / 2.3:
Thermodynamics and Activity Coefficients of Nonideal Solutions / 2.3.1:
Salting-in, Salting-out / 2.3.1.1:
Chemical Kinetics of Aqueous-Phase Reaction / 2.3.2:
Diffusion Process and Chemical Reaction Kinetics / 2.3.2.1:
Transition State Theory of Solution Reaction and Thermodynamic Expression / 2.3.2.2:
Cage Effect and Aqueous-Phase Solvent Effect / 2.3.3:
Cage Effect / 2.3.3.1:
Solvent Effect in the Aqueous Phase / 2.3.3.2:
Uptake Coefficient and Resistance Model / 2.4:
Accommodation Coefficient and Uptake Coefficient / 2.4.1:
Resistance Model / 2.4.2:
Physical Chemistry of Interface Reaction / 2.5:
Langmuir-Hinshelwood Mechanism and Eley-Rideal Mechanism / 2.5.1:
Resistance Model Including Interface Reaction / 2.5.2:
Surface Tension of Air-Water Interface and Thermodynamics of Accommodation Coefficient / 2.5.3:
Surface Tension / 2.5.3.1:
Thermodynamics of Accommodation Coefficient at Air-Water Interface / 2.5.3.2:
Chemical Compositions and Physical Characters of Particles / 2.6:
Elemental and Molecular Composition of Particles / 2.6.1:
Inorganic Elements and Compounds / 2.6.1.1:
Organic Compounds / 2.6.1.2:
van Krevelen Diagram / 2.6.1.3:
Molecular Composition and Vapor Pressure / 2.6.2:
Gas-Particle Partitioning and Volatility Basis Set Model / 2.6.3:
Gas-Particle Partitioning and SOA Formation Yield / 2.6.3.1:
Volatility Basis Set Model / 2.6.3.2:
Gas-Aqueous Phase Partitioning of Hydrophilic Compounds / 2.6.3.3:
A Phase State of Particles and Mass Transfer
Gas-Phase Reactions Related to Secondary Organic Aerosols / 3:
Ozone Reactions / 3.1:
Properties and Reactions of Criegee Intermediates / 3.2.1:
Direct Detection of Criegee Intermediate and Molecular Structure / 3.2.1.1:
Formation of CH2OO in Ozone-Ethene Reaction / 3.2.1.2:
Formation of syn- and anti-CH3CHOO in Ozone-Alkene Reactions / 3.2.1.3:
Alkenes and Dialkenes / 3.2.2:
Ethene / 3.2.2.1:
>C3 Alkenes / 3.2.2.2:
1,3-Butadiene / 3.2.2.3:
Isoprene / 3.2.3:
Cycloalkenes / 3.2.4:
Cyclohexene / 3.2.4.1:
1-Methylcyclohexene / 3.2.4.2:
Methylenecyclohexane / 3.2.4.3:
Monoterpenes / 3.2.5:
¿-Pinene / 3.2.5.1:
ß-Pinene / 3.2.5.2:
Limonene / 3.2.5.3:
Sesquiterpenes / 3.2.6:
OH Radical-Induced Oxidation Reactions / 3.3:
Alkanes / 3.3.1:
Reactions of Alkyl Peroxy Radicals / 3.3.1.1:
Reactions of Alkoxy Radicals / 3.3.1.2:
Alkynes / 3.3.2:
Alkenes, Dialkenes, and Cycloalkenes / 3.3.3:
Alkenes / 3.3.3.1:
Cycloalkenes and Methylene cyclohexane / 3.3.3.2:
Fundamental Processes of OH-Induced Oxidation Reaction / 3.3.4:
HOx Radicals Regeneration Reaction / 3.3.4.2:
Formation of Isoprene Hydroxy Hydroperoxide (ISOPOOH) and Isoprene Epoxydiol (IEPOX) / 3.3.4.3:
Formation of Hydroxy Isoprene Nitrates / 3.3.4.4:
Reactions of Methyl Vinyl Ketone and Methacrolein / 3.3.4.5:
Monocyclic Aromatic Hydrocarbons / 3.3.5:
Benzene / 3.3.6.1:
Toluene / 3.3.6.2:
Polycyclic Aromatic Hydrocarbons / 3.3.7:
Naphthalene / 3.3.7.1:
Other Polycyclic Aromatic Hydrocarbons / 3.3.7.2:
Carbonyl Compounds: OH Radical Reactions and Photolysis / 3.3.8:
Glyoxal / 3.3.8.1:
Methylglyoxal / 3.3.8.2:
Glycolaldehyde / 3.3.8.3:
Hydroxyacetone / 3.3.8.4:
NO3 Oxidation Reactions / 3.4:
Monocyclic and Polycyclic Aromatic Hydrocarbons / 3.4.1:
Phenol, and Cresol / 3.4.3.1:
Aqueous-Phase Reactions Related to Secondary Organic Aerosols / 3.4.3.2:
OH Radical Reactions / 4.1:
UV Absorption Spectrum of OH Radicals in Aqueous Solution / 4.2.1:
Formation of OH Radicals in Cloud/Fog Droplets and Deliquescent Aerosols / 4.2.2:
Reaction Rate Constants of OH Radicals in the Aqueous Phase / 4.2.3:
Reactions of Formaldehyde and OH Radical Chain Reaction / 4.2.4:
OH Radical Reactions and Photolysis of ≥C2 Carbonyl Compounds / 4.2.5:
Glyoxal and Glyoxylic Acid / 4.2.5.1:
Methylglyoxal, Pyruvic Acid, and Acetic Acid / 4.2.5.2:
Glycolaldehyde and Glycolic Acid / 4.2.5.3:
Methacrolein and Methyl Vinyl Ketone / 4.2.5.4:
Oligomer Formation Reactions from ≥C2 Carbonyl Compounds / 4.2.6:
Glyoxal and Methylglyoxal / 4.2.6.1:
Methyl Vinyl Ketone and Methacrolein / 4.2.6.2:
Nonradical Reactions / 4.3:
Diels-Alder Reaction / 4.3.1:
Hemiacetal and Acetal Formation Reactions / 4.3.2:
1,4-Hydroxycarbonyl Compounds / 4.3.2.1:
Aldol Reaction / 4.3.3:
Acetaldehyde / 4.3.3.1:
Esterification Reactions / 4.3.3.2:
Formation Reactions of Organic Sulfates / 4.4:
C2 and C3 Carbonyl Compounds / 4.4.1:
Formation Reactions of Organic Nitrogen Compounds / 4.4.2:
Organic Nitrates / 4.5.1:
Imidazoles / 4.5.2:
Heterogeneous Oxidation Reactions at Organic Aerosol Surfaces / 5:
Aging of Organic Aerosols in the Atmosphere / 5.1:
Reactions of Ozone / 5.3:
Oleic Acid and Unsaturated Long-Chain Carboxylic Acids / 5.3.1:
Squalene / 5.3.2:
Reactions of OH Radicals / 5.3.3:
Squalane and Long-Chain Alkanes / 5.4.1:
Levoglucosan, Erythritol, and Hopane / 5.4.2:
Saturated Dicarboxylic Acids / 5.4.3:
Squalene and Long-Chain Unsaturated Carboxylic Acids / 5.4.4:
Reactions of NO3 Radicals / 5.4.5:
Levoglucosan, Squalane, Long-Chain Alkane, and Alkanoic Acid / 5.5.1:
Squalene and Oleic Acid / 5.5.2:
Reactions at the Air-Water and Air-Solid Particle Interface / 5.5.3:
Molecular Pictures and Reactions at the Air-Water Interface / 6.1:
Thermodynamics of Adsorption / 6.2.1:
OH, HO2, and O3 / 6.2.1.1:
Organic and Inorganic Compounds / 6.2.1.2:
Microscopic Picture of Molecules / 6.2.2:
Air-Pure Water Interface / 6.2.2.1:
Hydrophilic Organic Compounds / 6.2.2.2:
Amphophilic Organic Compounds (Surfactants) / 6.2.2.3:
Hydrophobic Organic Compounds / 6.2.2.4:
NH3 and SO2 / 6.2.2.5:
Reactions of O3 and Organic Compounds / 6.2.3:
Oleic Acid / 6.2.3.1:
Sesquiterpene Criegee Intermediates / 6.2.3.2:
Reactions of OH Radicals and Organic Compounds / 6.2.3.3:
Carboxylic and Dicarboxylic Acids / 6.2.4.1:
Organic Sulfur Compounds / 6.2.4.2:
Air-Sea Salt Particle, Seawater, and Sulfate/Nitrate Aerosol Interface / 6.3:
Microscopic View of Interface of Air and Alkaline Halide Aqueous Solution / 6.3.1:
Reactions at the Interface of Sea Salt and Alkali Halide Aqueous Solution / 6.3.2:
Reaction with O3 / 6.3.2.1:
Reaction with OH Radicals / 6.3.2.2:
Uptake of HO2 Radicals / 6.3.2.3:
Reaction with N2O5 / 6.3.2.4:
Reaction with HNO3 / 6.3.2.5:
Reactions of Organic Compounds at the Air-Seawater and Air-Sea Salt Interface / 6.3.3:
Microscopic View of the Interface of Air and Sulfate/Nitrate Aqueous Solution / 6.3.4:
Sulfate Ion (SO42-) / 6.3.4.1:
Nitrate Ion (NO3-) / 6.3.4.2:
Reactions on Snow/Ice Surface / 6.4:
Formation of NO¿ in the Photochemical Reaction of NO3- / 6.4.1:
Formation of Inorganic Halogens on the Snow Ice and Sea Ice Surface / 6.4.2:
Reactions with N2O5 / 6.4.2.1:
Interface of Water and Mineral Dust, Quartz, and Metal Oxide Surface / 6.5:
Microscopic View of Adsorbed Water on Mineral Surface / 6.5.1:
HONO Formation Reaction from NO2 on the Mineral Surface / 6.5.2:
Dark Reaction / 6.5.2.1:
Photochemical Reaction / 6.5.2.2:
Reaction of Organic Monolayer on Mineral Surface / 6.5.3:
Atmospheric New Particle Formation and Cloud Condensation Nuclei / 7:
Classical Homogeneous Nucleation Theory / 7.1:
Homogeneous Nucleation in One-Component Systems / 7.2.1:
Homogeneous Nucleation in Two-Component Systems / 7.2.2:
Atmospheric New Particle Formation / 7.3:
New Particle Formation Rate and Growth Rate / 7.3.1:
Sulfuric Acid in New Particle Formation / 7.3.2:
Basic Substances in New Particle Formation / 7.3.3:
Organic Species in New Particle Formation / 7.3.4:
Other Species in New Particle Formation / 7.3.5:
Iodine Oxides / 7.3.5.1:
Atmospheric Ions / 7.3.5.2:
Field Observation of Nanoclusters / 7.3.6:
Aerosol Hygroscopicity and Cloud Condensation Nuclei / 7.4:
Kohler Theory / 7.4.1:
Nonideality of Solution in a Droplet / 7.4.2:
Hygroscopicity Parameter, K / 7.4.3:
Field Observations of Secondary Organic Aerosols / 8:
Global Budget of Aerosols / 8.1:
Analysis Methods of Ambient Aerosol Compositions / 8.3:
Positive Matrix Factorization / 8.3.1:
Mass Spectrum Peak Intensity and Elemental Ratio / 8.3.2:
Elemental Composition / 8.3.3:
Marine Air / 8.4:
Forest Air / 8.5:
Amazon Tropical Forest / 8.5.1:
Finland Boreal Forest / 8.5.2:
Urban/Rural Air / 8.6:
Characterization of Ambient Aerosols / 8.6.1:
PMF Analysis / 8.6.1.1:
Mass Signal Intensity Ratio and Elemental Ratio / 8.6.1.2:
Particle Size Distribution / 8.6.1.3:
Molecular Composition / 8.6.1.4:
Dicarboxylic Acid / 8.6.2.1:
Plant Origin VOC Tracers / 8.6.2.2:
Anthropogenic VOC Tracer / 8.6.2.3:
Organic Sulfate / 8.6.2.4:
Organic Nitrates and Imidazoles / 8.6.2.5:
High-Molecular-Weight Compounds and Oligomers / 8.6.2.6:
Index
Preface
Historical Background of Atmospheric Secondary Aerosol Research / 1:
Introduction / 1.1:
26.

電子ブック

EB
John Gerhard Erickson, Paul Fears Wiley, Vernon Paul Wystrach
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2007
所蔵情報: loading…
27.

電子ブック

EB
Roland Scheer, Hans-Werner Schock
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2011
所蔵情報: loading…
目次情報: 続きを見る
Preface
Symbols and Acronyms
Introduction / 1:
History of Cu(In,Ga)(S,Se)2 Solar Cells / 1.1:
Milestones of Cu(In,Ga)(S,Se)2 Development / 1.1.1:
History of CdTe Solar Cells / 1.2:
Milestones of CdTe Development / 1.2.1:
Prospects of Chalcogenide Photovoltaics / 1.3:
Thin Film Heterostructures / 2:
Energies and Potentials / 2.1:
Charge Densities and Fluxes / 2.2:
Energy Band Diagrams / 2.3:
Rules and Conventions / 2.3.1:
Absorber/Window / 2.3.2:
Absorber/Buffer/Window / 2.3.3:
Interface States / 2.3.4:
Interface Dipoles / 2.3.5:
Deep Bulk States / 2.3.6:
Bandgap Gradients / 2.3.7:
Diode Currents / 2.4:
Superposition Principle and Shifting Approximation / 2.4.1:
Regions of Recombination / 2.4.2:
Radiative Recombination / 2.4.3:
Auger Recombination / 2.4.4:
Defect Related Recombination / 2.4.5:
SCR Recombination / 2.4.5.1:
QNR Recombination / 2.4.5.2:
Back Surface Recombination / 2.4.5.3:
Interface Recombination / 2.4.5.4:
Parallel Processes / 2.4.6:
SCR and QNR Recombination / 2.4.6.1:
SCR and IF Recombination / 2.4.6.2:
Barriers for Diode Current / 2.4.7:
Bias Dependence / 2.4.8:
Non-Homogeneities / 2.4.9:
Light Generated Currents / 2.5:
Generation Currents / 2.5.1:
Generation Function / 2.5.2:
Photo Current / 2.5.3:
Collection Function / 2.5.4:
Absorber Quasi Neutral Region / 2.5.4.1:
QNR with Graded Bandgap / 2.5.4.2:
QNR with Back Surface Field / 2.5.4.3:
Absorber Space Charge Region / 2.5.4.4:
Buffer Layer / 2.5.4.5:
Simulating the Collection Function / 2.5.4.6:
Quantum Efficiency and Charge Collection Efficiency / 2.5.5:
Barriers for Photo Current / 2.5.6:
Voltage Dependence of Photo Current / 2.5.7:
Width of SCR / 2.5.7.1:
Photo Current Barriers / 2.5.7.2:
Device Analysis and Parameters / 2.6:
Equivalent Circuits / 2.6.1:
DC Equivalent Circuit / 2.6.1.1:
AC Equivalent Circuit / 2.6.1.2:
Module Equivalent Circuit / 2.6.1.3:
Current-Voltage Analysis / 2.6.2:
External Collection Efficiency / 2.6.2.1:
Diode Parameters / 2.6.2.2:
Open Circuit Voltage / 2.6.2.3:
Fill Factor / 2.6.2.4:
Capacitance-Voltage Analysis / 2.6.3:
Admittance Spectroscopy / 2.6.4:
Design Rules for Heterostructure Solar Cells and Modules / 3:
Absorber Bandgap / 3.1:
Band Alignment / 3.2:
Emitter Doping and Doping Ratio / 3.3:
Fermi Level Pinning / 3.4:
Absorber Doping / 3.5:
Absorber Thickness / 3.6:
Grain Boundaries / 3.7:
Back Contact Barrier / 3.8:
Buffer Thickness / 3.9:
Front Surface Gradient / 3.10:
Back Surface Gradients / 3.11:
Monolithic Series Interconnection / 3.12:
Thin Film Material Properties / 4:
AII-BVI Absorbers / 4.1:
Physico-Chemical Properties / 4.1.1:
Lattice Dynamics / 4.1.2:
Electronic Properties / 4.1.3:
Practical Doping Limits / 4.1.3.1:
Defect Spectroscopy / 4.1.3.2:
Minority Carrier Lifetime / 4.1.3.3:
Optical Properties / 4.1.4:
CdTe / 4.1.4.1:
Multinary Phases / 4.1.4.2:
Surface Properties / 4.1.5:
Properties of Grain Boundaries / 4.1.6:
AI-BIII-C2VI Absorbers / 4.2:
Ternary Phase Diagrams / 4.2.1:
Diffusion Coefficients / 4.2.1.2:
Single Point Defects / 4.2.2:
Defect Complexes / 4.2.3.2:
Carrier Mobility / 4.2.3.3:
Minority Carrier lifetime / 4.2.3.6:
Ternary Semiconductors / 4.2.4:
Multinary Semiconductors / 4.2.4.2:
Surface Composition / 4.2.5:
Surface Electronics / 4.2.5.2:
Buffer Layers / 4.2.6:
Window Layers / 4.4:
Low Resistance Windows / 4.4.1:
High Resistance Windows / 4.4.2:
Interfaces / 4.5:
Thin Film Technology / 5:
CdTe Cells and Modules / 5.1:
Substrates / 5.1.1:
Window Layers for CdTe Cells / 5.1.2:
Buffer Layers for CdTe Cells / 5.1.3:
CdTe Absorber Layer / 5.1.4:
Activation by Chlorine Treatment / 5.1.5:
Influence of Oxygen / 5.1.6:
Influence of Copper / 5.1.7:
Back Contact / 5.1.8:
Surface Modification / 5.1.8.1:
Primary and Secondary Contacts / 5.1.8.2:
Module Fabrication and Life Cycle Analysis / 5.1.9:
Cu(In,Ga)(S,Se)2 Cells and Modules / 5.2:
Back Contacts / 5.2.1:
Cu(In,Ga)(S,Se)2 Absorber Layers / 5.2.3:
Co-evaporation / 5.2.3.1:
Deposition Reaction / 5.2.3.2:
Sputtering / 5.2.3.3:
Epitaxy, Chemical Vapor Deposition, and Vapor Transport Processes / 5.2.3.4:
Influence of Sodium / 5.2.4:
Influence of Gallium / 5.2.5:
Influence of Sulfur / 5.2.6:
Buffer Layers of CIGS / 5.2.7:
Chemical Bath Deposited CdS / 5.2.8.1:
Alternative Buffer Layers / 5.2.8.2:
Window Layers of CIGS / 5.2.9:
Module Fabrication / 5.2.10:
Photovoltaic Properties of Standard Devices / 6:
CdTe Device Properties / 6.1:
Solar Cell Parameters / 6.1.1:
Collection Functions / 6.1.2:
Device Anomalies / 6.1.4:
Transient Effects and Metastability / 6.1.5:
Device Model / 6.1.6:
Stability / 6.1.7:
AI-BIII-C2VI Device Properties / 6.2:
Relaxed State / 6.2.1:
Models for Relaxed State / 6.2.4.2:
Red light Effect / 6.2.4.3:
Forward Bias Effect / 6.2.4.4:
Blue Light Effect / 6.2.4.5:
White Light Effect / 6.2.4.6:
Reverse Bias Effect / 6.2.4.7:
Models for Metastability / 6.2.4.8:
Implications for Module Testing / 6.2.4.9:
Appendix A: Frequently Observed Anomalies / 6.2.5:
JV Curves / 7.1:
Roll Over Effect / 7.1.1:
Crossover / 7.1.2:
Kink in Light JV Curve / 7.1.3:
Violation of Shifting Approximation / 7.1.4:
Reduced Jsc but High Voc / 7.2:
Reduced Voc but High Jsc / 7.2.2:
High Jsc but Low FF / 7.2.3:
Diode Parameter A > 2 / 7.3:
Activation Energy Ea < Eg,a / 7.3.2:
Diode Quality Factor Illumination Dependent / 7.3.3:
Diode Quality Factor Temperature-Dependent / 7.3.4:
Quantum Efficiency / 7.4:
High Jsc but Low EQE / 7.4.1:
Low Jsc but High EQE / 7.4.2:
Low Blue Response in IQE / 7.4.3:
Low Red Response in IQE / 7.4.4:
Quantum Efficiency Low at All Wavelengths / 7.4.5:
Apparent Quantum Efficiency / 7.4.6:
Transient Effects / 7.5:
Voc Time-Dependent with dVoc/dt > 0 / 7.5.1:
Voc Time-Dependent with dVoc/dt < 0 / 7.5.2:
Appendix B: Tables / 8:
References
Index
Preface
Symbols and Acronyms
Introduction / 1:
28.

電子ブック

EB
Sophie Pell??
出版情報: Wiley Online Library - AutoHoldings Books , Wiley-ISTE, 2017
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Introduction
Responsibility in Business and Enterprise / Chapter 1:
Different notions of responsibility / 1.1:
Legal responsibility / 1.2:
Civil liability of companies and directors / 1.2.1:
Criminal liability of physical and moral persons / 1.2.2:
Structure and responsibility / 1.3:
Corporate social responsibility / 1.4:
Different definitions of CSR / 1.4.1:
Different levels of "social" responsibility / 1.4.2:
Tools for CSR / 1.4.3:
Conclusion / 1.5:
Justifications for Corporate Responsibility / Chapter 2:
Social and legal responsibility / 2.1:
Shareholder rights and interests / 2.1.1:
The company as a locus of responsibility / 2.1.2:
Economic efficiency, financial performance and CSR / 2.2:
Ethical principles and informational asymmetry / 2.2.1:
Promoting profitable ethics / 2.2.2:
Stakeholder interests and transaction costs / 2.2.3:
The search for empirical correlation / 2.2.4:
Explicitly normative justifications for responsibility / 2.3:
Innovation and Responsibility / 2.4:
Defining innovation / 3.1:
Corporate social responsibility and the promotion of innovation / 3.2:
Innovation and classic forms of responsibility / 3.2.1:
CSR and innovation: scope and limitations / 3.2.2:
The need for moral innovation / 3.3:
Epistemological and moral innovation / 3.3.1:
The financial crisis and the responsibility of theorists / 3.3.2:
Responsible innovation / 3.4:
Understandings of responsible innovation / 3.4.1:
The conflict between innovation and responsibility / 3.4.2:
Practices of responsible innovation / 3.5:
Co-construction, participation and responsible innovation / 3.5.1:
"Social" innovation / 3.5.2:
Responsibility as Virtue in Innovation / 3.6:
Responsibility as virtue or care / 4.1:
Broadening perspectives / 4.4.1:
Networks of interrelations as the basis for responsibility / 4.4.2:
Responsibility and virtue in CSR / 4.2:
"Moral capitalism" / 4.2.1:
Determiners of moral reasoning / 4.2.2:
Bibliography / 4.3:
Index
Foreword
Introduction
Responsibility in Business and Enterprise / Chapter 1:
29.

電子ブック

EB
Adam Todd, Jason H. Gill, Paul W. Groundwater
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2018
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / Section 1:
The Global Burden of Cancer / 1.1:
References
Cancer Staging and Classification / 1.2:
Benign Tumour (or neoplasm) / 1.2.1:
Malignant Tumour (or cancer) / 1.2.2:
Tumour Nomenclature and Classification / 1.2.3:
Cellular Differentiation and Tumour Grade / 1.2.4:
Tumour Invasion and Metastasis / 1.2.5:
Clinical Staging of Cancer / 1.2.6:
Cellular and Molecular Basis of Cancer / 1.3:
Oncogenes / 1.3.1:
Tumour Suppressor Genes / 1.3.2:
Role of Epigenetics and Gene Promoter Regulation in Tumourigenesis / 1.3.3:
Multistage Tumourigenesis / 1.3.4:
Oncogene Addiction / 1.3.5:
Hallmarks of Cancer / 1.3.6:
Principles of Cancer Treatment / 1.3.7:
The Anticancer Agents / Section 2:
Agents Which Act Directly on DNA / 2.1:
Nitrogen Mustards and Nitrosoureas / 2.1.1:
Temozolomide / 2.1.2:
Platinum-containing Agents / 2.1.3:
Gemcitabine / 2.1.4:
Camptothecin and Its Analogues / 2.1.5:
Podophyllotoxins / 2.1.6:
Anthracyclines / 2.1.7:
Epigenetic Targeting Agents / 2.1.8:
Antimetabolites / 2.2:
Cytarabine / 2.2.1:
Methotrexate / 2.2.2:
5-Fluorouracil / 2.2.3:
6-Mercaptopurine / 2.2.4:
Antimicrotubule Agents / 2.3:
Taxanes / 2.3.1:
Vinca Alkaloids / 2.3.2:
Anti-hormonal Agents / 2.4:
Bicalutamide / 2.4.1:
Tamoxifen / 2.4.2:
Anastrozole / 2.4.3:
Kinase Inhibitors / 2.5:
Discovery / 2.5.1:
Synthesis / 2.5.2:
Mode of Action / 2.5.3:
Mechanism of Resistance / 2.5.4:
Adverse Drug Reactions / 2.5.5:
The Cancers / Section 3:
Breast Cancer / 3.1:
Key points
Epidemiology / 3.1.1:
Presentation / 3.1.2:
Diagnosis / 3.1.3:
Staging / 3.1.4:
Treatments / 3.1.5:
Colorectal Cancer / 3.2:
Leukaemia / 3.2.1:
Lung Cancer / 3.3.1:
Oesophageal Cancer / 3.4.1:
Ovarian Cancer / 3.5.1:
Pancreatic Cancer / 3.6.1:
Prostate Cancer / 3.7.1:
Skin Cancers / 3.8.1:
Testicular Cancer / 3.9.1:
Index / 3.10.1:
Preface
Introduction / Section 1:
The Global Burden of Cancer / 1.1:
30.

電子ブック

EB
Zivorad R. Lazic
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2004
所蔵情報: loading…
目次情報: 続きを見る
Preface
Discrete Distributions / I Introduction to Statistics for Engineers:
Continuous Distribution / 1.1.2:
Normal Distributions / 1.1.3:
Statistical Inference / 1.2:
Statistical Hypotheses / 1.2.1:
Statistical Estimation / 1.3:
Point Estimates / 1.3.1:
Interval Estimates / 1.3.2:
Control Charts / 1.3.3:
Control of Type II error-b / 1.3.4:
Sequential Tests / 1.3.5:
Tests and Estimates on Statistical Variance / 1.4:
Analysis of Variance / 1.5:
Regression analysis / 1.6:
Simple Linear Regression / 1.6.1:
Multiple Regression / 1.6.2:
Polynomial Regression / 1.6.3:
Nonlinear Regression / 1.6.4:
Correlation Analysis / 1.7:
Correlation in Linear Regression / 1.7.1:
Correlation in Multiple Linear Regression / 1.7.2:
Design and Analysis of Experiments / II:
Introduction to Design of Experiments (DOE) / 2.0:
Preliminary Examination of Subject of Research / 2.1:
Defining Research Problem / 2.1.1:
Selection of the Responses / 2.1.2:
Selection of Factors, Levels and Basic Level / 2.1.3:
Measuring Errors of Factors and Responses / 2.1.4:
Screening Experiments / 2.2:
Preliminary Ranking of the Factors / 2.2.1:
Active Screening Experiment-Method of Random Balance / 2.2.2:
Active Screening Experiment Plackett-Burman Designs / 2.2.3:
Completely Randomized Block Design
Latin Squares / 2.2.4:
Graeco-Latin Square / 2.2.5:
Youdens Squares / 2.2.6:
Basic Experiment-Mathematical Modeling / 2.3:
Full Factorial Experiments and Fractional Factorial Experiments / 2.3.1:
Second-order Rotatable Design (Box-Wilson Design) / 2.3.2:
Orthogonal Second-order Design (Box-Benken Design) / 2.3.3:
D-optimality, B k -designs and Hartleys Second-order Designs / 2.3.4:
Conclusion after Obtaining Second-order Model / 2.3.5:
Statistical Analysis / 2.4:
Determination of Experimental Error / 2.4.1:
Significance of the Regression Coefficients / 2.4.2:
Lack of Fit of Regression Models / 2.4.3:
Experimental Optimization of Research Subject / 2.5:
Problem of Optimization / 2.5.1:
Gradient Optimization Methods / 2.5.2:
Nongradient Methods of Optimization / 2.5.3:
Simplex Sum Rotatable Design / 2.5.4:
Canonical Analysis of the Response surface / 2.6:
Examples of Complex Optimizations / 2.7:
Mixture Design "Composition-Property" / III:
Screening Design "Composition-Property" / 3.1:
Simplex Lattice Screening Designs / 3.1.1:
Full Factorial Combined with Mixture Design-Crossed Design / 3.1.2:
Answers to Selected Problems / Appendix.A.1:
Tables of Statistical Functions / A.2:
Index
Preface
Discrete Distributions / I Introduction to Statistics for Engineers:
Continuous Distribution / 1.1.2:
31.

電子ブック

EB
Mahmoud Hamdan, Dominic M. Desiderio, Mahmoud H. Hamdan
出版情報: Wiley Online Library - AutoHoldings Books , Hoboken : John Wiley & Sons, Inc., 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Introduction
Overview / 1:
Cancer Biomarkers / 1.1:
Phases of Biomarkers Development / 1.3:
New Approach to Biomarkers Discovery / 1.4:
New and Powerful Technologies / 1.4.1:
Promising Sources for Biomarkers / 1.4.2:
DNA Methylation / 1.4.2.1:
Mitochondrial DNA Mutations / 1.4.2.2:
Phosphatidylinositol-3 Kinases (PI3Ks) / 1.4.2.3:
Profi ling Tyrosine Phosphorylation / 1.4.2.4:
Proteins Expression / 1.4.2.5:
Initiatives Relevant to Biomarkers Discovery / 1.5:
Initiatives of the Human Proteome Organization (HUPO) / 1.5.1:
Data Mining in Cancer Research / 1.5.2:
Concluding Remarks / 1.6:
References
Proteomic Platforms for Biomarkers Discovery / 2:
Surface Enhanced Laser Desorption Ionization / 2.1:
Some Basic Considerations / 2.1.1:
Protein Capture Surfaces / 2.1.2:
Enrichment/prefractionation Prior to SELDI Analysis / 2.1.3:
Combinatorial Affi nity / 2.1.3.1:
Magnetic Beads / 2.1.3.2:
Stacked Sorbents / 2.1.3.3:
Organic Solvent Extraction / 2.1.3.4:
Bioinformatics in SELDI / 2.2:
Some Representative SELDI Applications / 2.3:
Addressing Reproducibility in SELDI Analysis / 2.3.1:
Limitations and Other Open Questions Regarding Current SELDI / 2.3.2:
Other Open Questions / 2.3.3:
Outlook / 2.3.4:
Two-dimensional Polyacrylamide Gel Electrophoresis / 2.4:
Sample Preparation / 2.4.1:
Reducing Sample Complexity / 2.4.2:
Various Nomenclatures In-gel Analysis / 2.4.3:
Multiple-gels Two-dimensional Analyses / 2.4.3.1:
Two-dimensional DIGE Analysis / 2.4.3.2:
Multiphoton Detection Imaging / 2.4.3.3:
Stable-isotope Labeling with Amino Acids in Cell Culture (SILAC) / 2.4.3.4:
Laser Capture Microdissection / 2.5:
MS Analysis of Gel-separated Proteins / 2.6:
Representative Applications of 2-DE for Biomarkers Discovery / 2.7:
Protein Microarrays / 2.8:
Analytical Protein Microarrays / 2.8.1:
Substrates and Protein Attachment Methods / 2.8.2:
Detection Strategies / 2.8.3:
Surface Plasmon Resonance (SPR) / 2.8.3.1:
Atomic Force Microscopy (AFM) / 2.8.3.2:
Enzyme-linked Immunosorbent Assay (ELISA) / 2.8.3.3:
Radio Isotope Labeling / 2.8.3.4:
Fluorescence Detection / 2.8.3.5:
Functional Protein Microarrays / 2.8.4:
Reverse-phase Protein Microarrays / 2.8.5:
Future Prospects / 2.8.6:
Multidimensional Liquid Chromatography Coupled to MS / 2.9:
Protein Labeling / 2.9.1:
Labeling a Specifi c Amino Acid / 2.9.2:
Stable Isotope Incorporation / 2.9.3:
Limitations of Labeling / 2.9.4:
Chromatographic Separation / 2.10:
Three Dimensional Separation / 2.10.1:
Two-dimensional Chromatography / 2.10.2:
Basic Considerations Regarding MudPIT / 2.10.3:
Mass Spectrometry and Data Analysis / 2.10.4:
Data Analysis and Interpretation / 2.10.5:
Application of Multidimensional Chromatography/MS / 2.10.6:
Outlook for Multidimensional LC/MS / 2.10.7:
Imaging Mass Spectrometry / 2.11:
Tissue Preparation and Matrix Application / 2.11.1:
MS Acquisition / 2.11.2:
Some Representative Applications of Imaging MS / 2.11.3:
Current Limitations and Potential Developments / 2.11.4:
Some Existing Cancer Biomarkers / 3:
Historic Glimpse at PSA / 3.1:
Prostate-specifi c Antigen / 3.3:
PSA as a Screening Marker / 3.4:
Improving the Specifi city of PSA / 3.5:
Free/Complexed PSA / 3.5.1:
PSA Isoforms / 3.5.2:
Impact of Age, Race, and PSA Velocity / 3.5.3:
Looking for Other Solutions / 3.6:
Genetic Alterations / 3.6.1:
Phosphorylated Akt / 3.6.2:
Existing Biomarkers for Ovarian Cancer / 3.7:
Preface
Acknowledgments
Introduction
32.

電子ブック

EB
Abhishek Singh., Abhishek Singh, Baibhav Singh
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Assembly Language
Introduction / 1.0:
Registers / 1.1:
General Purpose Register / 1.1.1:
FLAGS Register / 1.1.2:
80x86 Instruction Format / 1.2:
Instruction Prefix / 1.2.1:
Lock and Repeat Prefixes / 1.2.2:
Segment Override Prefixes / 1.2.3:
Opcode / 1.2.4:
Instructions / 1.3:
Basic Instructions / 1.3.1:
Floating Point Instruction / 1.3.2:
Stack Setup / 1.4:
Passing Parameters in C to the Procedure / 1.4.1:
Local Data Space on the Stack / 1.4.2:
Calling Conventions / 1.5:
cdecl calling convention / 1.5.1:
fastcall calling convention / 1.5.2:
stdcall calling convention / 1.5.3:
thiscall / 1.5.4:
Data Constructs / 1.6:
Global Variables / 1.6.1:
Local Variables / 1.6.2:
Imported Variables / 1.6.3:
Thread Local Storage (TLS) / 1.6.5:
Executable Data Section / 1.6.6:
Representation of Arithmetic Operations in Assembly / 1.7:
Multiplication / 1.7.1:
Division / 1.7.2:
Modulo / 1.7.3:
Representation of Data Structure in Assembly / 1.8:
Representation of Array in Assembly / 1.8.1:
Representation of Linked List in Assembly / 1.8.2:
Virtual Function Call in Assembly / 1.9:
Representation of classes in Assembly / 1.9.1:
Conclusion / 1.10:
Fundamental of Windows
Memory Management / 2.0:
Virtual Memory Management / 2.1.1:
Virtual Memory Management in Windows NT / 2.1.1.1:
Impact of Hooking / 2.1.1.2:
Segmented Memory Management / 2.1.2:
Paged Memory Management / 2.1.3:
Kernel Memory and User Memory / 2.2:
Kernel Memory Space / 2.2.1:
Section Object / 2.2.2:
Virtual Address Descriptor / 2.3:
User Mode Address Space / 2.3.1:
Memory Management in Windows / 2.3.2:
Objects and Handles / 2.3.3:
Named Objects / 2.3.4:
Processes and Threads / 2.4:
Context Switching / 2.4.1:
Context Switches and Mode Switches / 2.4.1.1:
Synchronization Objects / 2.4.2:
Critical Section / 2.4.2.1:
Mutex / 2.4.2.2:
Semaphore / 2.4.2.3:
Event / 2.4.2.4:
Metered Section / 2.4.2.5:
Process Initialization Sequence / 2.5:
Application Programming Interface / 2.5.1:
Reversing Windows NT / 2.6:
ExpEchoPoolCalls / 2.6.1:
ObpShowAllocAndFree / 2.6.2:
LpcpTraceMessages / 2.6.3:
MmDebug / 2.6.4:
NtGlobalFlag / 2.6.5:
SepDumpSD / 2.6.6:
CmLogLevel and CmLogSelect / 2.6.7:
Security Features in Vista / 2.7:
Address Space Layout Randomization (ASLR) / 2.7.1:
Stack Randomization / 2.7.2:
Heap Defenses / 2.7.3:
NX / 2.7.4:
/GS / 2.7.5:
Pointer Encoding / 2.7.6:
Cryptographic API in Windows Vista / 2.7.7:
Crypto-Agility / 2.7.8:
CryptoAgility in CNG / 2.7.9:
Algorithm Providers / 2.7.10:
Random Number Generator / 2.7.11:
Hash Functions / 2.7.12:
Symmetric Encryption / 2.7.13:
Asymmetric Encryption / 2.7.14:
Signatures and Verification / 2.7.15:
Portable Executable File Format / 2.8:
PE file Format / 3.0:
Import Address Table / 3.2:
Executable and Linking Format / 3.3:
ELF Header / 3.3.1:
The Program Header Table / 3.3.2:
Reversing Binaries for Identifying Vulnerabilities / 3.4:
Stack Overflow / 4.0:
CAN-2002-1123 Microsoft SQL Server 'Hello' Authentication Buffer Overflow" / 4.1.1:
CAN-2004-0399 Exim Buffer Overflow / 4.1.2:
Stack Checking / 4.1.3:
Off-by-One Overflow / 4.2:
OpenBSD 2.7 FTP Daemon Off-by-One / 4.2.1:
Non-Executable Memory / 4.2.3:
Heap Overflows / 4.3:
Heap Based Overflows / 4.3.1:
Integer Overflows / 4.4:
Types Integer Overflow / 4.4.1:
CAN-2004-0417 CVS Max dotdot Protocol Command Integer Overflow / 4.4.2:
Format String / 4.5:
Format String Vulnerability / 4.5.1:
Format String Denial of Service Attack / 4.5.2:
Format String Vulnerability Reading Attack / 4.5.3:
SEH Structure Exception Handler / 4.6:
Exploiting the SEH / 4.6.1:
Writing Exploits General Concepts / 4.7:
Stack Overflow Exploits / 4.7.1:
Injection Techniques / 4.7.2:
Optimizing the Injection Vector / 4.7.3:
The Location of the Payload / 4.8:
Direct Jump (Guessing Offsets) / 4.8.1:
Blind Return / 4.8.2:
Pop Return / 4.8.3:
No Operation Sled / 4.8.4:
Call Register / 4.8.5:
Push Return / 4.8.6:
Calculating Offset / 4.8.7:
Fundamental of Reverse Engineering / 4.9:
Anti-Reversing Method / 5.0:
Anti Disassembly / 5.2.1:
Linear Sweep Disassembler / 5.2.1.1:
Recursive Traversal Disassembler / 5.2.1.2:
Evasion of Disassemble / 5.2.1.3:
Self Modifying Code / 5.2.2:
Virtual Machine Obfuscation / 5.2.3:
Anti Debugging Techniques / 5.3:
BreakPoints / 5.3.1:
Software Breakpoint / 5.3.1.1:
Hardware Breakpoint / 5.3.1.2:
Detecting Hardware BreakPoint / 5.3.1.3:
Virtual Machine Detection / 5.4:
Checking Fingerprint Inside Memory, File System and Registry / 5.4.1:
Checking System Tables / 5.4.2:
Checking Processor Instruction Set / 5.4.3:
Unpacking / 5.5:
Manual Unpacking of Software / 5.5.1:
Finding an Original Entry Point of an Executable / 5.5.1.1:
Taking Memory Dump / 5.5.1.2:
Import Table Reconstruction / 5.5.1.3:
Import Redirection and Code emulation / 5.5.1.4:
Appendix / 5.6:
Index
Assembly Language
Introduction / 1.0:
Registers / 1.1:
33.

電子ブック

EB
Abhishek Singh., Abhishek Singh, Baibhav Singh
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Assembly Language
Introduction / 1.0:
Registers / 1.1:
General Purpose Register / 1.1.1:
FLAGS Register / 1.1.2:
80x86 Instruction Format / 1.2:
Instruction Prefix / 1.2.1:
Lock and Repeat Prefixes / 1.2.2:
Segment Override Prefixes / 1.2.3:
Opcode / 1.2.4:
Instructions / 1.3:
Basic Instructions / 1.3.1:
Floating Point Instruction / 1.3.2:
Stack Setup / 1.4:
Passing Parameters in C to the Procedure / 1.4.1:
Local Data Space on the Stack / 1.4.2:
Calling Conventions / 1.5:
cdecl calling convention / 1.5.1:
fastcall calling convention / 1.5.2:
stdcall calling convention / 1.5.3:
thiscall / 1.5.4:
Data Constructs / 1.6:
Global Variables / 1.6.1:
Local Variables / 1.6.2:
Imported Variables / 1.6.3:
Thread Local Storage (TLS) / 1.6.5:
Executable Data Section / 1.6.6:
Representation of Arithmetic Operations in Assembly / 1.7:
Multiplication / 1.7.1:
Division / 1.7.2:
Modulo / 1.7.3:
Representation of Data Structure in Assembly / 1.8:
Representation of Array in Assembly / 1.8.1:
Representation of Linked List in Assembly / 1.8.2:
Virtual Function Call in Assembly / 1.9:
Representation of classes in Assembly / 1.9.1:
Conclusion / 1.10:
Fundamental of Windows
Memory Management / 2.0:
Virtual Memory Management / 2.1.1:
Virtual Memory Management in Windows NT / 2.1.1.1:
Impact of Hooking / 2.1.1.2:
Segmented Memory Management / 2.1.2:
Paged Memory Management / 2.1.3:
Kernel Memory and User Memory / 2.2:
Kernel Memory Space / 2.2.1:
Section Object / 2.2.2:
Virtual Address Descriptor / 2.3:
User Mode Address Space / 2.3.1:
Memory Management in Windows / 2.3.2:
Objects and Handles / 2.3.3:
Named Objects / 2.3.4:
Processes and Threads / 2.4:
Context Switching / 2.4.1:
Context Switches and Mode Switches / 2.4.1.1:
Synchronization Objects / 2.4.2:
Critical Section / 2.4.2.1:
Mutex / 2.4.2.2:
Semaphore / 2.4.2.3:
Event / 2.4.2.4:
Metered Section / 2.4.2.5:
Process Initialization Sequence / 2.5:
Application Programming Interface / 2.5.1:
Reversing Windows NT / 2.6:
ExpEchoPoolCalls / 2.6.1:
ObpShowAllocAndFree / 2.6.2:
LpcpTraceMessages / 2.6.3:
MmDebug / 2.6.4:
NtGlobalFlag / 2.6.5:
SepDumpSD / 2.6.6:
CmLogLevel and CmLogSelect / 2.6.7:
Security Features in Vista / 2.7:
Address Space Layout Randomization (ASLR) / 2.7.1:
Stack Randomization / 2.7.2:
Heap Defenses / 2.7.3:
NX / 2.7.4:
/GS / 2.7.5:
Pointer Encoding / 2.7.6:
Cryptographic API in Windows Vista / 2.7.7:
Crypto-Agility / 2.7.8:
CryptoAgility in CNG / 2.7.9:
Algorithm Providers / 2.7.10:
Random Number Generator / 2.7.11:
Hash Functions / 2.7.12:
Symmetric Encryption / 2.7.13:
Asymmetric Encryption / 2.7.14:
Signatures and Verification / 2.7.15:
Portable Executable File Format / 2.8:
PE file Format / 3.0:
Import Address Table / 3.2:
Executable and Linking Format / 3.3:
ELF Header / 3.3.1:
The Program Header Table / 3.3.2:
Reversing Binaries for Identifying Vulnerabilities / 3.4:
Stack Overflow / 4.0:
CAN-2002-1123 Microsoft SQL Server 'Hello' Authentication Buffer Overflow" / 4.1.1:
CAN-2004-0399 Exim Buffer Overflow / 4.1.2:
Stack Checking / 4.1.3:
Off-by-One Overflow / 4.2:
OpenBSD 2.7 FTP Daemon Off-by-One / 4.2.1:
Non-Executable Memory / 4.2.3:
Heap Overflows / 4.3:
Heap Based Overflows / 4.3.1:
Integer Overflows / 4.4:
Types Integer Overflow / 4.4.1:
CAN-2004-0417 CVS Max dotdot Protocol Command Integer Overflow / 4.4.2:
Format String / 4.5:
Format String Vulnerability / 4.5.1:
Format String Denial of Service Attack / 4.5.2:
Format String Vulnerability Reading Attack / 4.5.3:
SEH Structure Exception Handler / 4.6:
Exploiting the SEH / 4.6.1:
Writing Exploits General Concepts / 4.7:
Stack Overflow Exploits / 4.7.1:
Injection Techniques / 4.7.2:
Optimizing the Injection Vector / 4.7.3:
The Location of the Payload / 4.8:
Direct Jump (Guessing Offsets) / 4.8.1:
Blind Return / 4.8.2:
Pop Return / 4.8.3:
No Operation Sled / 4.8.4:
Call Register / 4.8.5:
Push Return / 4.8.6:
Calculating Offset / 4.8.7:
Fundamental of Reverse Engineering / 4.9:
Anti-Reversing Method / 5.0:
Anti Disassembly / 5.2.1:
Linear Sweep Disassembler / 5.2.1.1:
Recursive Traversal Disassembler / 5.2.1.2:
Evasion of Disassemble / 5.2.1.3:
Self Modifying Code / 5.2.2:
Virtual Machine Obfuscation / 5.2.3:
Anti Debugging Techniques / 5.3:
BreakPoints / 5.3.1:
Software Breakpoint / 5.3.1.1:
Hardware Breakpoint / 5.3.1.2:
Detecting Hardware BreakPoint / 5.3.1.3:
Virtual Machine Detection / 5.4:
Checking Fingerprint Inside Memory, File System and Registry / 5.4.1:
Checking System Tables / 5.4.2:
Checking Processor Instruction Set / 5.4.3:
Unpacking / 5.5:
Manual Unpacking of Software / 5.5.1:
Finding an Original Entry Point of an Executable / 5.5.1.1:
Taking Memory Dump / 5.5.1.2:
Import Table Reconstruction / 5.5.1.3:
Import Redirection and Code emulation / 5.5.1.4:
Appendix / 5.6:
Index
Assembly Language
Introduction / 1.0:
Registers / 1.1:
34.

電子ブック

EB
Serge Linckels, Christoph Meinel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to E-Librarian Services / 1:
From Ancient to Digital Libraries / 1.1:
From Searching to Finding / 1.2:
Searching the Web / 1.2.1:
Searching Multimedia Knowledge Bases / 1.2.2:
Exploratory Search / 1.2.3:
E-Librarian Services / 1.3:
Overview / 1.3.1:
Early Question-Answering Systems / 1.3.2:
Natural Language Interface / 1.3.3:
No Library without a Librarian / 1.3.4:
Characteristics of an E-Librarian Service / 1.3.5:
Overview and Organization of the Book / 1.4:
Key Technologies of E-Librarian Services / Part I:
Semantic Web and Ontologies / 2:
What is the Semantic Web? / 2.1:
The Vision of the Semantic Web / 2.1.1:
Semantic Web vs. Web N.O / 2.1.2:
Three Principles Ruling the Semantic Web / 2.1.3:
Architecture / 2.1.4:
Ontologies / 2.2:
Ontology Structure / 2.2.1:
Upper and Domain Ontologies / 2.2.2:
Linked Data / 2.2.3:
Expressivity of Ontologies / 2.2.4:
XML Extensible Markup Language / 2.3:
XML: Elements, Attributes and Values / 2.3.1:
Namespaces and Qualified Names / 2.3.2:
XML Schema / 2.3.3:
Complete Example / 2.3.4:
Limitations of XML / 2.3.5:
RDF-Resource Description Framework / 2.4:
RDF Triples and Serialization / 2.4.1:
RDF Schema / 2.4.2:
Limitations of RDF / 2.4.3:
Owl 1 and Owl 2 - Web Ontology Language / 2.5:
Instances, Classes and Restrictions in Owl / 2.5.1:
From Owl 1 to Owl 2 / 2.5.2:
Sparql, the Query Language / 2.5.4:
Description Logics and Reasoning / 3:
DL- Description Logics / 3.1:
Concept Descriptions / 3.1.1:
DL Languages / 3.1.2:
Equivalences between OWL and DL / 3.1.3:
DL Knowledge Base / 3.2:
Terminologies (TBox) / 3.2.1:
World Descriptions (ABox) / 3.2.2:
Interpretations / 3.3:
Interpreting Individuals, Concepts, and Roles / 3.3.1:
Modeling the Real World / 3.3.2:
Inferences / 3.4:
Standard Inferences / 3.4.1:
Non-Standard Inferences / 3.4.2:
Natural Language Processing / 4:
Overview and Challenges / 4.1:
Syntax, Semantics and Pragmatics / 4.1.1:
Difficulties of NLP / 4.1.2:
Zipf's law / 4.1.3:
Dealing with Single Words / 4.2:
Tokenization and Tagging / 4.2.1:
Morphology / 4.2.2:
Building Words over an Alphabet / 4.2.3:
Operations over Words / 4.2.4:
Semantic Knowledge Sources / 4.3:
Semantic relations / 4.3.1:
Semantic resources / 4.3.2:
Dealing with Sentences / 4.4:
Phrase Types / 4.4.1:
Phrase Structure / 4.4.2:
Grammar / 4.4.3:
Formal languages / 4.4.4:
Phrase structure ambiguities / 4.4.5:
Alternative parsing techniques / 4.4.6:
Multi-Language / 4.5:
Semantic Interpretation / 4.6:
Information Retrieval / 5:
Retrieval Process / 5.1:
Document Indexation and Weighting / 5.2:
Index of terms / 5.2.1:
Weighting / 5.2.2:
Retrieval Models / 5.3:
Boolean Model / 5.3.1:
Vector Model / 5.3.2:
Probabilistic Model / 5.3.3:
Page Rank / 5.3.4:
Semantic Distance / 5.3.5:
Other Models / 5.3.6:
Retrieval Evaluation / 5.4:
Precision, Recall, and Accuracy / 5.4.1:
Design and Utilization of E-Librarian Services / Part II:
Ontological Approach / 6:
Expert Systems / 6.1:
Classical Expert Systems / 6.1.1:
Ontology-Driven Expert Systems / 6.1.2:
Towards an E-Librarian Service / 6.2:
Reasoning Capabilities of an E-Librarian Service / 6.2.1:
Deploying an Ontology / 6.2.2:
Designing the Ontological Background / 6.2.3:
Semantic Annotation of the Knowledge Base / 6.3:
Computer-Assisted Creation of metadata / 6.3.1:
Automatic Generation of metadata / 6.3.2:
Design of the Natural Language Processing Module / 7:
Overview of the Semantic Interpretation / 7.1:
Logical Form / 7.1.1:
Processing of a User Question / 7.1.2:
NLP Pre-Processing / 7.2:
Domain Language / 7.2.1:
Lemmatization / 7.2.2:
Handling Spelling Errors / 7.2.3:
Ontology Mapping / 7.3:
Domain Dictionary / 7.3.1:
Mapping of Words / 7.3.2:
Resolving Ambiguities / 7.3.3:
Generation of a DL-Concept Description / 7.4:
Without Syntactic Analysis / 7.4.1:
With Syntactic Analysis / 7.4.2:
How much NLP is Sufficient? / 7.4.3:
Optimization and Normal Form / 7.4.4:
General Limitations and Constraints / 7.5:
Role Quantifiers / 7.5.1:
Conjunction and Disjunction / 7.5.2:
Negation / 7.5.3:
Open-Ended and Closed-Ended Questions / 7.5.4:
Formulations / 7.5.5:
Others / 7.5.6:
Multiple-Language Feature / 7.6:
Designing the Multimedia Information Retrieval Module / 8:
Overview of the MIR Module / 8.1:
Knowledge Base and metadata / 8.1.1:
Retrieval Principle / 8.1.2:
The Concept Covering Problem / 8.1.3:
Identifying Covers / 8.2:
Computing the Best Covers / 8.3:
Miss and Rest / 8.3.1:
Size of a Concept Description / 8.3.2:
Best Covers / 8.3.3:
Ranking / 8.4:
Algorithm for the Retrieval Problem / 8.5:
User Feedback / 8.6:
Direct User Feedback / 8.6.1:
Collaborative Tagging and Social Networks / 8.6.2:
Diversification of User Feedback / 8.6.3:
Implementation / 9:
Knowledge Layer / 9.1:
Inference Layer / 9.1.2:
Communication Layer / 9.1.3:
Presentation Layer / 9.1.4:
Development Details / 9.2:
Processing Owl and DL in Java / 9.2.1:
Client Front-End with Ajax Autocompleter / 9.2.2:
The Soap Web Service Interface / 9.2.3:
Applications / Part III:
Best practices / 10:
Computer History Expert System (CHESt) / 10.1:
Description / 10.1.1:
Experiment / 10.1.2:
Mathematics Expert System (MatES) / 10.2:
Benchmark Test / 10.2.1:
The Lecture Butler's E-Librarian Service / 10.2.3:
Benchmark Tests / 10.3.1:
Appendix / Part IV:
XML Schema Primitive Datatypes / A:
Reasoning Algorithms / B:
Structural Subsumption / B.1:
Example 1 / B.2.1:
Example 2 / B.2.2:
Brown Tag Set / C:
Part-of-Speech Taggers and Parsers / D:
POS Taggers / D.1:
Parsers / D.2:
Probabilistic IR Model / E:
Probability Theory / E.1:
References / E.2:
Index
Introduction to E-Librarian Services / 1:
From Ancient to Digital Libraries / 1.1:
From Searching to Finding / 1.2:
35.

電子ブック

EB
Ivars Bilinskis
出版情報: Wiley Online Library - AutoHoldings Books , Chichester : John Wiley & Sons, Inc., 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Frequently Used Symbols and Abbreviations
Introduction: Signal Digitizing and Digital Processing / 1:
Subject Matter / 1.1:
Digitizing Dictates Processing Preconditions / 1.2:
Connecting Computers to the Real-life World / 1.2.1:
Widening of the Digital Domain / 1.2.2:
Digital Signal Representation / 1.2.3:
Complexity Reduction of Systems / 1.2.4:
Approach to the Development of Signal Processing Systems / 1.3:
Alias-free Sampling Option / 1.4:
Anti-aliasing Irregularity of Sampling / 1.4.1:
Sparse Nonuniform Sampling / 1.4.2:
Nonuniform Sampling Events / 1.4.3:
Remarks in Conclusion / 1.5:
Bibliography
Digitizing / Part 1:
Randomization as a Tool / 2:
Randomized Versus Statistical Signal Processing / 2.1:
Accumulation of Empirical Experience / 2.2:
Using Monte Carlo Methods for Signal Processing / 2.2.1:
Polarity Coincidence Methods / 2.2.2:
Stochastic-Ergodic Method / 2.2.3:
Stochastic Computing / 2.2.4:
Dithering / 2.2.5:
Generalized Scheme of Randomized Digitizing / 2.2.6:
Discovery of Alias-free Signal Processing / 2.3:
Early Academic Research in Randomized Temporal Sampling / 2.3.1:
Early Research in Randomized Spatial Signal Processing / 2.3.2:
Engineering Experience / 2.3.3:
Randomization Leading to DASP / 2.4:
DASP Mission / 2.4.1:
Demonstrator of DASP Advantages and Limitations / 2.4.2:
Some of the Typically Targeted Benefits / 2.5:
Periodic Versus Randomized Sampling / 3:
Periodic Sampling as a Particular Sampling Case / 3.1:
Generalized Sampling Model / 3.1.1:
Spectra of Sampled Signals / 3.2:
Spectra of Periodically Sampled Signals / 3.2.1:
Spectra of Randomly Sampled Signals / 3.2.2:
Aliasing Induced Errors at Seemingly Correct Sampling / 3.3:
Overlapping of Sampled Signal Components / 3.4:
Various Approaches to Randomization of Sampling / 3.5:
Randomized Quantization / 4:
Randomized Versus Deterministic Quantization / 4.1:
Basics / 4.1.1:
Input-Output Characteristics / 4.1.2:
Rationale of Randomizing / 4.1.3:
Deliberate Introduction of Randomness / 4.2:
Various Models / 4.2.1:
Quantization Errors / 4.3:
Probability Density Function of Errors / 4.3.1:
Variance of Randomly Quantized Signals / 4.3.2:
Quantization Noise / 4.4:
Covariance between the Signal and Quantization Noise / 4.4.1:
Spectrum / 4.4.2:
Pseudo-randomized Quantizing / 5:
Pseudo-randomization Approach / 5.1:
Optimal Quantizing / 5.2:
Single-threshold Quantizing / 5.2.1:
Multithreshold Quantizing / 5.2.2:
Implementation Approaches / 5.2.3:
Input-Output Relationships / 5.3:
Covariance between Signal and Quantization Noise / 5.4:
Spectrum of the Pseudo-randomized Quantization Noise / 5.5.2:
Preface
Frequently Used Symbols and Abbreviations
Introduction: Signal Digitizing and Digital Processing / 1:
36.

電子ブック

EB
Serge Linckels, Christoph Meinel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to E-Librarian Services / 1:
From Ancient to Digital Libraries / 1.1:
From Searching to Finding / 1.2:
Searching the Web / 1.2.1:
Searching Multimedia Knowledge Bases / 1.2.2:
Exploratory Search / 1.2.3:
E-Librarian Services / 1.3:
Overview / 1.3.1:
Early Question-Answering Systems / 1.3.2:
Natural Language Interface / 1.3.3:
No Library without a Librarian / 1.3.4:
Characteristics of an E-Librarian Service / 1.3.5:
Overview and Organization of the Book / 1.4:
Key Technologies of E-Librarian Services / Part I:
Semantic Web and Ontologies / 2:
What is the Semantic Web? / 2.1:
The Vision of the Semantic Web / 2.1.1:
Semantic Web vs. Web N.O / 2.1.2:
Three Principles Ruling the Semantic Web / 2.1.3:
Architecture / 2.1.4:
Ontologies / 2.2:
Ontology Structure / 2.2.1:
Upper and Domain Ontologies / 2.2.2:
Linked Data / 2.2.3:
Expressivity of Ontologies / 2.2.4:
XML Extensible Markup Language / 2.3:
XML: Elements, Attributes and Values / 2.3.1:
Namespaces and Qualified Names / 2.3.2:
XML Schema / 2.3.3:
Complete Example / 2.3.4:
Limitations of XML / 2.3.5:
RDF-Resource Description Framework / 2.4:
RDF Triples and Serialization / 2.4.1:
RDF Schema / 2.4.2:
Limitations of RDF / 2.4.3:
Owl 1 and Owl 2 - Web Ontology Language / 2.5:
Instances, Classes and Restrictions in Owl / 2.5.1:
From Owl 1 to Owl 2 / 2.5.2:
Sparql, the Query Language / 2.5.4:
Description Logics and Reasoning / 3:
DL- Description Logics / 3.1:
Concept Descriptions / 3.1.1:
DL Languages / 3.1.2:
Equivalences between OWL and DL / 3.1.3:
DL Knowledge Base / 3.2:
Terminologies (TBox) / 3.2.1:
World Descriptions (ABox) / 3.2.2:
Interpretations / 3.3:
Interpreting Individuals, Concepts, and Roles / 3.3.1:
Modeling the Real World / 3.3.2:
Inferences / 3.4:
Standard Inferences / 3.4.1:
Non-Standard Inferences / 3.4.2:
Natural Language Processing / 4:
Overview and Challenges / 4.1:
Syntax, Semantics and Pragmatics / 4.1.1:
Difficulties of NLP / 4.1.2:
Zipf's law / 4.1.3:
Dealing with Single Words / 4.2:
Tokenization and Tagging / 4.2.1:
Morphology / 4.2.2:
Building Words over an Alphabet / 4.2.3:
Operations over Words / 4.2.4:
Semantic Knowledge Sources / 4.3:
Semantic relations / 4.3.1:
Semantic resources / 4.3.2:
Dealing with Sentences / 4.4:
Phrase Types / 4.4.1:
Phrase Structure / 4.4.2:
Grammar / 4.4.3:
Formal languages / 4.4.4:
Phrase structure ambiguities / 4.4.5:
Alternative parsing techniques / 4.4.6:
Multi-Language / 4.5:
Semantic Interpretation / 4.6:
Information Retrieval / 5:
Retrieval Process / 5.1:
Document Indexation and Weighting / 5.2:
Index of terms / 5.2.1:
Weighting / 5.2.2:
Retrieval Models / 5.3:
Boolean Model / 5.3.1:
Vector Model / 5.3.2:
Probabilistic Model / 5.3.3:
Page Rank / 5.3.4:
Semantic Distance / 5.3.5:
Other Models / 5.3.6:
Retrieval Evaluation / 5.4:
Precision, Recall, and Accuracy / 5.4.1:
Design and Utilization of E-Librarian Services / Part II:
Ontological Approach / 6:
Expert Systems / 6.1:
Classical Expert Systems / 6.1.1:
Ontology-Driven Expert Systems / 6.1.2:
Towards an E-Librarian Service / 6.2:
Reasoning Capabilities of an E-Librarian Service / 6.2.1:
Deploying an Ontology / 6.2.2:
Designing the Ontological Background / 6.2.3:
Semantic Annotation of the Knowledge Base / 6.3:
Computer-Assisted Creation of metadata / 6.3.1:
Automatic Generation of metadata / 6.3.2:
Design of the Natural Language Processing Module / 7:
Overview of the Semantic Interpretation / 7.1:
Logical Form / 7.1.1:
Processing of a User Question / 7.1.2:
NLP Pre-Processing / 7.2:
Domain Language / 7.2.1:
Lemmatization / 7.2.2:
Handling Spelling Errors / 7.2.3:
Ontology Mapping / 7.3:
Domain Dictionary / 7.3.1:
Mapping of Words / 7.3.2:
Resolving Ambiguities / 7.3.3:
Generation of a DL-Concept Description / 7.4:
Without Syntactic Analysis / 7.4.1:
With Syntactic Analysis / 7.4.2:
How much NLP is Sufficient? / 7.4.3:
Optimization and Normal Form / 7.4.4:
General Limitations and Constraints / 7.5:
Role Quantifiers / 7.5.1:
Conjunction and Disjunction / 7.5.2:
Negation / 7.5.3:
Open-Ended and Closed-Ended Questions / 7.5.4:
Formulations / 7.5.5:
Others / 7.5.6:
Multiple-Language Feature / 7.6:
Designing the Multimedia Information Retrieval Module / 8:
Overview of the MIR Module / 8.1:
Knowledge Base and metadata / 8.1.1:
Retrieval Principle / 8.1.2:
The Concept Covering Problem / 8.1.3:
Identifying Covers / 8.2:
Computing the Best Covers / 8.3:
Miss and Rest / 8.3.1:
Size of a Concept Description / 8.3.2:
Best Covers / 8.3.3:
Ranking / 8.4:
Algorithm for the Retrieval Problem / 8.5:
User Feedback / 8.6:
Direct User Feedback / 8.6.1:
Collaborative Tagging and Social Networks / 8.6.2:
Diversification of User Feedback / 8.6.3:
Implementation / 9:
Knowledge Layer / 9.1:
Inference Layer / 9.1.2:
Communication Layer / 9.1.3:
Presentation Layer / 9.1.4:
Development Details / 9.2:
Processing Owl and DL in Java / 9.2.1:
Client Front-End with Ajax Autocompleter / 9.2.2:
The Soap Web Service Interface / 9.2.3:
Applications / Part III:
Best practices / 10:
Computer History Expert System (CHESt) / 10.1:
Description / 10.1.1:
Experiment / 10.1.2:
Mathematics Expert System (MatES) / 10.2:
Benchmark Test / 10.2.1:
The Lecture Butler's E-Librarian Service / 10.2.3:
Benchmark Tests / 10.3.1:
Appendix / Part IV:
XML Schema Primitive Datatypes / A:
Reasoning Algorithms / B:
Structural Subsumption / B.1:
Example 1 / B.2.1:
Example 2 / B.2.2:
Brown Tag Set / C:
Part-of-Speech Taggers and Parsers / D:
POS Taggers / D.1:
Parsers / D.2:
Probabilistic IR Model / E:
Probability Theory / E.1:
References / E.2:
Index
Introduction to E-Librarian Services / 1:
From Ancient to Digital Libraries / 1.1:
From Searching to Finding / 1.2:
37.

電子ブック

EB
Joakim Nivre
出版情報: SpringerLink Books - AutoHoldings , Springer Netherlands, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Inductive Dependency Parsing / 1.1:
The Need for Robust Disambiguation / 1.2:
Outline of the Book / 1.3:
Natural Language Parsing / 2:
Syntactic Representations / 2.1:
Two Notions of Parsing / 2.2:
Grammar Parsing / 2.2.1:
Text Parsing / 2.2.2:
Competence and Performance / 2.2.3:
Methods for Text Parsing / 2.3:
Grammar-Driven Text Parsing / 2.3.1:
Data-Driven Text Parsing / 2.3.2:
Converging Approaches / 2.3.3:
Evaluation Criteria / 2.3.4:
Robustness / 2.4.1:
Disambiguation / 2.4.2:
Accuracy / 2.4.3:
Efficiency / 2.4.4:
Dependency Parsing / 3:
Dependency Grammar / 3.1:
The Notion of Dependency / 3.1.1:
Varieties of Dependency Grammar / 3.1.2:
Parsing with Dependency Representations / 3.2:
Grammar-Driven Dependency Parsing / 3.2.1:
Data-Driven Dependency Parsing / 3.2.2:
The Case for Dependency Parsing / 3.2.3:
A Framework for Dependency Parsing / 3.3:
Texts, Sentences and Tokens / 3.3.1:
Dependency Graphs / 3.3.2:
Parsing Algorithm / 3.3.3:
Configurations / 3.4.1:
Transitions / 3.4.2:
Deterministic Parsing / 3.4.3:
Algorithm Analysis / 3.4.4:
Evaluation Criteria Revisited / 3.4.5:
A Framework for Inductive Dependency Parsing / 4:
Inductive Inference / 4.1.1:
History-Based Models / 4.1.3:
Parsing Methods / 4.1.4:
Learning Methods / 4.1.5:
Oracle Parsing / 4.1.6:
Features and Models / 4.2:
Feature Functions / 4.2.1:
Static Features / 4.2.2:
Dynamic Features / 4.2.3:
Feature Models / 4.2.4:
Memory-Based Learning / 4.3:
Memory-Based Learning and Classification / 4.3.1:
Learning Algorithm Parameters / 4.3.2:
Memory-Based Language Processing / 4.3.3:
MaltParser / 4.4:
Architecture / 4.4.1:
Implementation / 4.4.2:
Treebank Parsing / 5:
Treebanks and Parsing / 5.1:
Treebank Evaluation / 5.1.1:
Treebank Learning / 5.1.2:
Treebanks for Dependency Parsing / 5.1.3:
Experimental Methodology / 5.2:
Treebank Data / 5.2.1:
Models and Algorithms / 5.2.2:
Evaluation / 5.2.3:
Feature Model Parameters / 5.3:
Part-of-Speech Context / 5.3.1:
Dependency Structure / 5.3.2:
Lexicalization / 5.3.3:
Learning Curves / 5.3.4:
Neighbor Space and Distance Metric / 5.4:
Weighting Schemes / 5.4.2:
Final Evaluation / 5.5:
Accuracy and Efficiency / 5.5.1:
Related Work / 5.5.2:
Error Analysis / 5.5.3:
Conclusion / 6:
Main Contributions / 6.1:
Future Directions / 6.2:
References
Index
Introduction / 1:
Inductive Dependency Parsing / 1.1:
The Need for Robust Disambiguation / 1.2:
38.

電子ブック

EB
Henri Ulrich
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2009
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
General Introduction / 1:
References
1-Carbon Cumulenes / 2:
Sulfines, R2C SO / 2.1:
Sulfenes, R2C S(O)O / 2.2:
Other 1-Carbon Cumulenes / 2.3:
2-Carbon Cumulenes / 3:
Carbon Oxides, O C O, CO / 3.1:
Carbon Sulfides, S C S, S CO / 3.2:
Carbon Nitrides / 3.3:
Center Carbon Phosphorallenes, P C P / 3.4:
1,2-Dicarbon Cumulenes / 4:
Ketenes, R2C C O / 4.1:
Thioketenes, R2C C S / 4.2:
Ketenimines, R2C C NR / 4.3:
1-Silaallenes, R2C C Si / 4.4:
1-Phosphaallenes, R2C C P / 4.5:
Other Metal Allenes / 4.6:
1,3-Dicarbon Cumulenes / 5:
Thiocarbonyl S-ylides, R2C S CH2 / 5.1:
2-Azaallenium Salts, R(Ce)C N+ C(Ce)R / 5.2:
1-Oxa-3-azoniabutatriene Salts, R2C N+ C O / 5.3:
1-Thia-3-azabutatriene Salts, R2C N+ C S / 5.4:
Phosphorus Ylides / 5.5:
1,2,3-Tricarbon Cumulenes / 6:
Allenes, R2C CR2 / 6.1:
[3] Cumulenes, R2C C C CR2 / 6.2:
[4] Cumulenes, R2C C C C CR2 / 6.3:
[5] Cumulenes, R2C C C C C CR2 / 6.4:
Noncarbon Cumulenes / 7:
Azides, RN N N / 7.1:
Triazaallenium Salts, RN N+ NR / 7.2:
Sulfur Oxides / 7.3:
Sulfur Nitrides / 7.4:
Cationic Boron Cumulenes, R2N B NR / 7.5:
Index
Preface
Acknowledgements
General Introduction / 1:
39.

電子ブック

EB
Tze-Chien Sum
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2019
所蔵情報: loading…
目次情報: 続きを見る
Basic Properties and Early Works in Organic-Inorganic Perovskites / Part 1:
Structural, Optical, and Related Properties of Some Perovskites Based on Lead and Tin Halides: The Effects on Going from Bulk to Small Particles / George C. Papavassiliou and George A. Mousdis and Ioannis Koutselas1.1:
Introduction / 1.1.1:
Materials Based on Saturated Organic Moiety / 1.1.2:
Bulk Perovskites (SC)MX3 / 1.1.2.1:
Particulate Perovskites (SC)MX3 / 1.1.2.2:
Bulk Perovskites of the Type (BC) 2MX4 / 1.1.2.3:
Particulate Perovskites of the Type (BC) 2MX4 / 1.1.2.4:
Bulk Perovskites of the Type (SC) n-1 (BC) 2MnX3n+1 / 1.1.2.5:
Particulate Perovskites of the Type n-1 (BC) 2MnX3n+1 / 1.1.2.6:
Some Common Features in the Properties of 3D and q-2D Systems / 1.1.2.7:
Low-Dimensional (LD) Perovskites / 1.1.2.8:
Related Properties / 1.1.2.9:
Perovskites Consisting of Non-saturated Organic Moiety BC / 1.1.3:
Other Perovskite Structures / 1.1.4:
References
Ab Initio and First Principles Studies of Halide Perovskites / Jacky Even and Claudine Katan1.2:
Introduction to Ab Initio and DFT Studies of All-inorganic, 3D and Layered Hybrid Organic Metal Halide Perovskites / 1.2.1:
Brillouin Zone Folding, Lattice Strain, and Topology of the Electronic Structure / 1.2.2:
Importance of Spin-Orbit Coupling (SOC) / 1.2.3:
Interplay of SOC and Loss of Inversion Symmetry: Rashba and Dresselhaus Effects / 1.2.4:
Collective Vibrations, Stochastic Cation Reorientations, and Molecular Dynamics / 1.2.5:
Excitonics in 2D Perovskites / Wee Kiang Chong and David Giovanni and Tze-Chien Sum1.3:
Introduction to Two-dimensional Perovskites / 1.3.1:
Excitonic Properties and Optical Transitions in 2D-OlHPs / 1.3.2:
White Light Emission (WLE) from 2D-OIHPs / 1.3.3:
Energy Transfer Mechanism / 1.3.3.1:
Broadband Defect Emission / 1.3.3.2:
Self-trapped Excitons / 1.3.3.3:
Role of Organic Framework in Broadband 2D-OIHP Emitters / 1.3.3.4:
Strong Exciton-Photon Coupling in 2D-OIHPs / 1.3.4:
Jaynes-Cummings Model / 1.3.4.1:
Exciton-Photon Coupling in 2D Perovskites Thin Films: Optical Stark Effect / 1.3.4.2:
Exciton-Photon Coupling in 2D Perovskite Microcavities: Exciton-Polariton / 1.3.4.3:
Concluding Remarks / 1.3.5:
Working Principles of Perovskite Solar Cells / Pablo P. Boix and Sonia R. Raga and Nripan Mathewsl:
Charge Generation / 2.1.1:
Charge Transport / 2.1.3:
Charge Recombination / 2.1.4:
Charge Extraction/Injection: Interfacial Effects / 2.1.5:
Ionic Mechanisms / 2.1.6:
The Photophysics of Halide Perovskite Solar Cells / Mingjie Li and Bo Wu and Tze-Chien Sum2.1.7:
Introduction to Photophysics Studies of Halide Perovskites / 2.2.1:
Optical Properties of CH3NH3PbI3 Polycrystalline Thin Films / 2.2.2:
Electronic Band Structure and Optical Transitions / 2.2.2.1:
Exciton Binding Energies and Photoexcited Species: Excitons Versus Free Carriers / 2.2.2.2:
Carrier Diffusion Lengths, Carrier Mobilities, and Defects / 2.2.2.3:
Transient Spectral Features and Charge Dynamics / 2.2.2.4:
Photophysical Processes and Their Recombination Constants / 2.2.2.5:
Hot Carriers in Perovskites / 2.2.2.6:
Summary and Outlook / 2.2.2.7:
Energetics and Charge Dynamics at Perovskite Interfaces / 2.2.3:
Energetics at the Perovskite/Charge Transport Layer Interfaces / 2.2.3.1:
Charge-Transfer Dynamics at the Perovskite/Charge-Transport Layer Interface / 2.2.3.3:
Toward Perovskite Single-Crystal Photovoltaics / 2.2.3.4:
Absorption and Emission Properties / 2.2.4.1:
Surface Versus Bulk Optical Properties / 2.2.4.2:
Carrier Lifetimes, Diffusion Lengths, and Diffusion Coefficients / 2.2.4.3:
Transient Spectral Features and Excitation Dynamics / 2.2.4.4:
Recombination Constants in the Surface and Bulk Regions of Perovskite Single Crystals / 2.2.4.5:
Charge-Selective Contact Materials for Perovskite Solar Cells (PSCs) / Peng Gao and Mohammad Khaja Nazeeruddin2.2.5:
Hole-Selective Electron-Blocking Materials (HTMs) / 2.3.1:
Organic HTMs / 2.3.1.1:
Molecular HTMs / 2.3.1.1.1:
Polymeric HTMs / 2.3.1.1.2:
Organometallic Complex HTMs / 2.3.1.1.3:
Inorganic Hole-Selective Electron-Blocking Materials / 2.3.1.2:
Electron-Selective Hole-Blocking Materials / 2.3.2:
Inorganic Electron-Selective Hole-Blocking Materials / 2.3.2.1:
TiO2 / 2.3.2.1.1:
ZnO / 2.3.2.1.2:
SnO2 / 2.3.2.1.3:
Organic Electron-Selective Hole-Blocking Materials / 2.3.2.2:
Composite ETMs / 2.3.2.3:
Conclusion / 2.3.3:
Beyond Methylammonium Lead Iodide Perovskite / TeckM. Koh and Biplab Ghosh and Padinhare C. Harikesh and Subodh Mhaisaikar and Nripan Mathews2.4:
Introduction: Beyond CH3NH3PbI3 / 2.4.1:
Multidimensional Perovskites / 2.4.1.1:
Multidimensional Perovskite Photovoltaics / 2.4.1.2:
Theoretical Calculations for Pb-Free Halide Perovskites / 2.4.2:
ASnX3 Perovskites: 3D Pb-Free Structures / 2.4.2.1:
A2SnX6 Perovskites: Metal-Deficient Structures / 2.4.2.2:
Germanium-Based Perovskites / 2.4.2.3:
Bismuth/Antimony-Based Perovskites / 2.4.2.4:
Double Perovskites: Hybrid Binary Metal Structures / 2.4.2.5:
Experimental Efforts in Pb-Free Perovskite Photovoltaics / 2.4.3:
Sn2+ and Ge2+ as Replacements for Pb2+ / 2.4.3.1:
A2SnX6 as a Stable Alternative to ASnX3 / 2.4.3.2:
Cu2+: an Alternative Divalent Metal Cation / 2.4.3.3:
Bi3+ and Sb3+: Toward Trivalent Metal Cations / 2.4.3.4:
Concluding Remarks and Outlook / 2.4.4:
Halide Perovskite Tandem Solar Cells / Teodor K. Todorov and Oki Gunowan and Supratik Guha2.5:
Tandem Device Type and Performance Limitations / 2.5.1:
Single TCE/Two-Terminal (2-T) Monolithic Stack / 2.5.2.1:
Multi-TCE/Two-Terminal (2-T) Mechanical Stack / 2.5.2.2:
Multi-TCE/Three-Terminal (3-T) Mechanical Stack / 2.5.2.3:
Multi-TCE/Four-Terminal (4-T) Mechanical Stack / 2.5.2.4:
Multi-TCE/Four-Terminal (4-T) Spectrum Split / 2.5.2.5:
Perovskite Tandem Photovoltaic Device Research / 2.5.3:
Conclusion and Outlook / 2.5.4:
Perovskite Light Emitting Devices / Part III:
Perovskite Light-Emitting Devices - Fundamentals and Working Principles / Michele Sessolo and Maria-Grazia La-Placa and Laura Martínez-Sarti and Henk J. Bolink3.1:
Excitons, Free Carriers, and Trap States in Hybrid Perovskite Thin Films / 3.1.1:
Hybrid Perovskite Light-Emitting Diodes / 3.1.2:
Hybrid Perovskite Nanostructures and Nanoparticles / 3.1.3:
Inorganic Cesium Lead Halide Quantum Dots / 3.1.3.1:
Quasi-2D Hybrid Lead Halide Perovskites / 3.1.3.2:
Final Considerations / 3.1.3.3:
Toward Electrically Driven Perovskite Lasers - Prospects and Obstacles / Songtao Chen and Arto Nurmikko3.2:
Electrical Injection in Perovskite-Based Light-Emitting Diodes (LEDs) / 3.2.1:
Optical Gain in Thin-film Solid-state Perovskites / 3.2.3:
Integrating Optical Resonators and Perovskite Gain Media / 3.2.4:
The Way Forward Toward Electrical Injection / 3.2.5:
Summary / 3.2.6:
Beyond Perovskite Photovoltaics / Part IV:
Novel Spin Physics in Organic-Inorganic Perovskites / Chuang Zhang and Dali Sun and Zeev V. Vardeny4.1:
Magnetic Field Effect (MFE) on Photocurrent (PC), Photoluminescence (PL), and Electroluminescence (EL) / 4.1.1:
Observation of MFE in the CH3NH3PbI3-x Clx Films and Devices / 4.1.2.1:
MFE in Hybrid Perovskites; Morphology Dependence / 4.1.2.2:
The "Universal" Plot and the Spin-mixing Process via ¿g of Electrons and Holes / 4.1.2.3:
High Magnetic Field Optical Phenomena / 4.1.3:
Direct Measurement of ¿g by Field-Induced Circularly Polarized Emission / 4.1.3.1:
Magneto-absorption Spectroscopy at Ultrahigh Magnetic Field / 4.1.3.2:
Spin-Polarized Carrier Dynamics / 4.1.4:
Direct Measurement of Spin-pair Lifetime by Picosecond Pump-Probe Spectroscopy / 4.1.4.1:
Determination of Spin Relaxation Time from Circular Pump-Probe Technique / 4.1.4.2:
Acknowledgements / 4.1.5:
Perovskite Solar Cells for Photoelectrochemical Water Splitting and CO2 Reduction / Gurudayal and Joel Ager and Nripan Mathews4.2:
Photoelectrochemical Generation of H2 / 4.2.1:
PEC Electrode Materials / 4.2.1.2:
Tandem Configurations / 4.2.2:
Photoanode-Photocathode Strategy / 4.2.2.1:
PEC-PV Tandem System / 4.2.2.2:
Photovoltaic-Electrocatalyst (PV-EC) Structure / 4.2.2.3:
EC/PEC-PV Approach for CO2 Reduction / 4.2.3:
Index / 4.2.4:
Basic Properties and Early Works in Organic-Inorganic Perovskites / Part 1:
Structural, Optical, and Related Properties of Some Perovskites Based on Lead and Tin Halides: The Effects on Going from Bulk to Small Particles / George C. Papavassiliou and George A. Mousdis and Ioannis Koutselas1.1:
Introduction / 1.1.1:
40.

電子ブック

EB
Jelke G. Bethlehem, Fannie Cobben, Barry Schouten
出版情報: Wiley Online Library - AutoHoldings Books , Hoboken : John Wiley & Sons, Inc., 2011
所蔵情報: loading…
目次情報: 続きを見る
Preface
The Nonresponse Problem / Chapter 1:
Introduction / 1.1:
Theory / 1.2:
Causes and Effect of Nonresponse / 1.2.1:
Errors in Surveys / 1.2.2:
Nonresponse and Undercoverage / 1.2.3:
Response Rates / 1.2.4:
Representativity / 1.2.5:
Application / 1.3:
Summary / 1.4:
Key Terms / 1.5:
References / 1.6:
Exercises / 1.7:
Basic Theoretical Concepts / Chapter 2:
Basic Concepts of Sampling / 2.1:
Basic Concepts of Estimation / 2.2.2:
The Fixed Response Model / 2.2.3:
The Random Response Model / 2.2.4:
The Effect of Nonresponse on the Confidence Interval / 2.2.5:
Missing Data Mechanisms / 2.2.6:
Reducing Nonresponse / 2.3:
Influences of Sociodemographic and Survey Design Features / 3.1:
Respondent-Interviewer Interaction / 3.2.3:
Tailoring and Maintaining Interaction / 3.2.4:
Language Problems / 3.3:
Noncontact / 3.3.3:
Refusals / 3.3.4:
Nonresponse and the Mode of Data Collection / 3.4:
The Early History / 4.1:
The Rise of Sampling / 4.1.2:
The Impact of Computer Technology / 4.1.3:
Face-to-Face Surveys / 4.2:
Telephone Surveys / 4.2.2:
Mail Surveys / 4.2.3:
Web Surveys / 4.2.4:
Mixed Mode Surveys / 4.2.5:
Analysis of Nonresponse / 4.3:
How to Detect a Bias? / 5.1:
Where to Find Auxiliary Variables? / 5.2.2:
Methods of Analysis / 5.2.3:
Bivariate Analysis / 5.3:
Multivariate Analysis / 5.3.2:
An International Comparison of Nonresponse / 5.4:
Correspondence Analysis / 6.1:
Multinomial Multilevel Modeling / 6.2.2:
Nonresponse and Representativity / 6.3:
What Is Representative Response? / 7.1:
Indicators for Representative Response / 7.2.2:
Worst-Case Nonresponse Bias / 7.2.3:
Partial Indicators for Representative Response / 7.2.4:
How to Use R-Indicators? / 7.2.5:
R-Indicators / 7.3:
Partial R-Indicators / 7.3.2:
Weighting Adjustment Techniques / 7.4:
Poststratification / 8.1:
Linear Weighting / 8.2.1:
Multiplicative Weighting / 8.3.1:
Other Weighting Issues / 8.4.1:
Calibration Estimation / 8.5.1:
Constraining the Values of Weights / 8.5.2:
Consistent Person and Household Weights / 8.5.3:
Selection of Auxiliary Variables / 8.6:
The Auxiliary Variable Selection Problem / 9.1:
The Construction of Auxiliary Variables / 9.2.2:
Linked Data and Population Totals / 9.2.3:
Variable Selection Strategies / 9.2.4:
Modeling Nonresponse / 9.3:
Modeling Survey Target Variables / 9.3.2:
Combining Models for Nonresponse and Target Variables / 9.3.3:
Selection Based on Variance of Calibration Weights / 9.3.4:
Selection Based on Worst-Case Nonresponse Bias / 9.3.5:
A Comparision of the Various Selection Strategies / 9.3.6:
Re-Approaching Nonrespondents / 9.4:
The Callback Approach / 10.1:
The Basic-Question Approach / 10.2.2:
The Politz and Simmons Approach / 10.2.3:
Design of the Study / 10.3:
Analysis of Response in the LFS and the Re-Approaches / 10.3.2:
Conclusions / 10.3.3:
The Use of Response Propensities / 10.4:
The Response Propensity / 11.1:
Traditional Nonresponse Adjustment Methods / 11.2.2:
Nonresponse Adjustment Methods Based on the Response Propensity / 11.2.3:
Estimating Response Propensities / 11.3:
Balancing Property / 11.3.2:
Application to GPS Data / 11.3.3:
Analysis and Adjustment Accounting for the Cause of Nonresponse / 11.4:
Methods for Nonresponse Analysis / 12.1:
Alternative Methods for Nonresponse Adjustment / 12.2.2:
Nonresponse Analysis with Different Types of Response / 12.3:
A Sequential Weight Adjustment for Nonresponse / 12.3.2:
Sample Selection Model to Adjust for Nonresponse / 12.3.3:
Adaptive Survey Designs / 12.4:
What are Adaptive Survey Designs? / 13.1:
Survey Strategies and Survey Design Features / 13.2.2:
Quality Objective Functions / 13.2.3:
Cost Functions / 13.2.4:
Estimating Response Probabilities / 13.2.5:
Item Nonresponse / 13.3:
Single Imputation Techniques / 14.1:
A General Imputation Model / 14.2.2:
Properties of Single Imputation / 14.2.3:
Effects of Imputation of the Mean on Bias and Variance / 14.2.4:
Effects of Random Imputation / 14.2.5:
EM Imputation / 14.2.6:
Multiple Imputation / 14.2.7:
Miscellaneous Topics / 14.3:
Combined Treatment of Unit and Item Nonresponse / 15.1:
Nonresponse in Longitudinal Studies / 15.2.2:
Paradata / 15.2.3:
Consistency Between Survey Statistics / 15.2.4:
Index / 15.3:
Preface
The Nonresponse Problem / Chapter 1:
Introduction / 1.1:
41.

電子ブック

EB
Jin Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
Scientific visualization and information visualization / 1.1.2:
Information retrieval / 1.2:
Browsing vs. query searching / 1.2.1:
Information at micro-level and macro-level / 1.2.2:
Spatial Characteristics of information space / 1.2.3:
Spatial characteristics of browsing / 1.2.4:
Perceptual and cognitive perspectives of visualization / 1.3:
Perceptual perspective / 1.3.1:
Cognitive perspective / 1.3.2:
Visualization for information retrieval / 1.4:
Rationale / 1.4.1:
Three information retrieval visualization paradigms / 1.4.2:
Procedures of establishing an information retrieval visualization model / 1.4.3:
Summary / 1.5:
Information Retrieval Preliminaries / Chapter 2:
Vector space model / 2.1:
Term weighting methods / 2.2:
Stop words / 2.2.1:
Inverse document frequency / 2.2.2:
The Salton term weighting method / 2.2.3:
Another term weighting method / 2.2.4:
Probability term weighting method / 2.2.5:
Similarity measures / 2.3:
Inner product similarity measure / 2.3.1:
Dice co-efficient similarity measure / 2.3.2:
The Jaccard co-efficient similarity measure / 2.3.3:
Overlap co-efficient similarity measure / 2.3.4:
Cosine similarity measure / 2.3.5:
Distance similarity measure / 2.3.6:
Angle-distance integrated similarity measure / 2.3.7:
The Pearson r correlation measure / 2.3.8:
Information retrieval (evaluation) models / 2.4:
Direction-based retrieval (evaluation) model / 2.4.1:
Distance-based retrieval (evaluation) model / 2.4.2:
Ellipse retrieval (evaluation) model / 2.4.3:
Conjunction retrieval (evaluation) model / 2.4.4:
Disjunction evaluation model / 2.4.5:
The Cassini oval retrieval (evaluation) model / 2.4.6:
Clustering algorithms / 2.5:
Non-hierarchical clustering algorithm / 2.5.1:
Hierarchical clustering algorithm / 2.5.2:
Evaluation of retrieval results / 2.6:
Visualization Models for Multiple Reference Points / 2.7:
Multiple references points / 3.1:
Model for fixed multiple reference points / 3.2:
Models for movable multiple reference points / 3.3:
Description of the original VIBE algorithm / 3.3.1:
Discussions about the model / 3.3.2:
Model for automatic reference point rotation / 3.4:
Definition of the visual space / 3.4.1:
Rotation of a reference point / 3.4.2:
Implication of information retrieval / 3.5:
Euclidean Spatial Characteristic Based Visualization Models / 3.6:
Euclidean space and its characteristics / 4.1:
Introduction to the information retrieval evaluation models / 4.2:
The distance-angel-based visualization model / 4.3:
The visual space definition / 4.3.1:
Visualization for information retrieval evaluation models / 4.3.2:
The angle-angle-based visualization model / 4.4:
The distance-distance-based visualization model / 4.4.1:
Kohonen Self-Organizing Map-An Artificial Neural Network / 4.5.1:
Introduction to neural networks / 5.1:
Definition of neural network / 5.1.1:
Characteristics and structures of neuron network / 5.1.2:
Kohonen self-organizing maps / 5.2:
Kohonen self-organizing map structures / 5.2.1:
Learning processing of the SOM algorithm / 5.2.2:
Feature map labeling / 5.2.3:
The SOM algorithm description / 5.2.4:
Implication of the SOM in information retrieval / 5.3:
Pathfinder Associative Network / 5.4:
Pathfinder associative network properties and descriptions / 6.1:
Definitions of concepts and explanations / 6.1.1:
The algorithm description / 6.1.2:
Graph layout method / 6.1.3:
Implications on information retrieval / 6.2:
Author co-citation analysis / 6.2.1:
Term associative network / 6.2.2:
Hyperlink / 6.2.3:
Search in Pathfinder associative networks / 6.2.4:
Multidimensional Scaling / 6.3:
MDS analysis method descriptions / 7.1:
Classical MDS / 7.1.1:
Non-metric MDS / 7.1.2:
Metric MDS / 7.1.3:
Implications of MDS techniques for information retrieval / 7.2:
Definitions of displayed objects and proximity between objects / 7.2.1:
Exploration in a MDS display space / 7.2.2:
Discussion / 7.2.3:
Internet Information Visualization / 7.3:
Introduction / 8.1:
Internet characteristics / 8.1.1:
Internet information organization and presentation methods / 8.1.2:
Internet information utilization / 8.1.3:
Challenges of the internet / 8.1.4:
Internet information visualization / 8.2:
Visualization of internet information structure / 8.2.1:
Internet information seeking visualization / 8.2.2:
Visualization of web traffic information / 8.2.3:
Discussion history visualization / 8.2.4:
Ambiguity in Information Visualization / 8.3:
Ambiguity and its implication in information visualization / 9.1:
Reason of ambiguity in information visualization / 9.1.1:
Implication of ambiguity for information visualization / 9.1.2:
Ambiguity analysis in information retrieval visualization models / 9.2:
Ambiguity in the Euclidean spatial characteristic based information models / 9.2.1:
Ambiguity in the multiple reference point based information visualization models / 9.2.2:
Ambiguity in the Pathfinder network / 9.2.3:
Ambiguity in SOM / 9.2.4:
Ambiguity in MDS / 9.2.5:
The Implication of Metaphors in Information Visualization / 9.3:
Definition, basic elements, and characteristics of a metaphor / 10.1:
Cognitive foundation of metaphors / 10.2:
Mental models, metaphors, and human computer interaction / 10.3:
Metaphors in human computer interaction / 10.3.1:
Mental models / 10.3.2:
Mental models in HCI / 10.3.3:
Metaphors in information visualization retrieval / 10.4:
Rationales for using metaphors / 10.4.1:
Metaphorical information retrieval visualization environments / 10.4.2:
Procedures and principles for metaphor application / 10.5:
Procedure for metaphor application / 10.5.1:
Guides for designing a good metaphorical visual information retrieval environment / 10.5.2:
Benchmarks and Evaluation Criteria for Information Retrieval Visualization / 10.6:
Information retrieval visualization evaluation / 11.1:
Benchmarks and evaluation standards / 11.2:
Factors affecting evaluation standards / 11.2.1:
Principles for developing evaluation benchmarks / 11.2.2:
Four proposed categories for evaluation criteria / 11.2.3:
Descriptions of proposed benchmarks / 11.2.4:
Afterthoughts / 11.3:
Comparisons of the introduced visualization models / 12.1:
Issues and challenges / 12.3:
Bibliography / 12.4:
Index
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
42.

電子ブック

EB
Jin Zhang
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
Scientific visualization and information visualization / 1.1.2:
Information retrieval / 1.2:
Browsing vs. query searching / 1.2.1:
Information at micro-level and macro-level / 1.2.2:
Spatial Characteristics of information space / 1.2.3:
Spatial characteristics of browsing / 1.2.4:
Perceptual and cognitive perspectives of visualization / 1.3:
Perceptual perspective / 1.3.1:
Cognitive perspective / 1.3.2:
Visualization for information retrieval / 1.4:
Rationale / 1.4.1:
Three information retrieval visualization paradigms / 1.4.2:
Procedures of establishing an information retrieval visualization model / 1.4.3:
Summary / 1.5:
Information Retrieval Preliminaries / Chapter 2:
Vector space model / 2.1:
Term weighting methods / 2.2:
Stop words / 2.2.1:
Inverse document frequency / 2.2.2:
The Salton term weighting method / 2.2.3:
Another term weighting method / 2.2.4:
Probability term weighting method / 2.2.5:
Similarity measures / 2.3:
Inner product similarity measure / 2.3.1:
Dice co-efficient similarity measure / 2.3.2:
The Jaccard co-efficient similarity measure / 2.3.3:
Overlap co-efficient similarity measure / 2.3.4:
Cosine similarity measure / 2.3.5:
Distance similarity measure / 2.3.6:
Angle-distance integrated similarity measure / 2.3.7:
The Pearson r correlation measure / 2.3.8:
Information retrieval (evaluation) models / 2.4:
Direction-based retrieval (evaluation) model / 2.4.1:
Distance-based retrieval (evaluation) model / 2.4.2:
Ellipse retrieval (evaluation) model / 2.4.3:
Conjunction retrieval (evaluation) model / 2.4.4:
Disjunction evaluation model / 2.4.5:
The Cassini oval retrieval (evaluation) model / 2.4.6:
Clustering algorithms / 2.5:
Non-hierarchical clustering algorithm / 2.5.1:
Hierarchical clustering algorithm / 2.5.2:
Evaluation of retrieval results / 2.6:
Visualization Models for Multiple Reference Points / 2.7:
Multiple references points / 3.1:
Model for fixed multiple reference points / 3.2:
Models for movable multiple reference points / 3.3:
Description of the original VIBE algorithm / 3.3.1:
Discussions about the model / 3.3.2:
Model for automatic reference point rotation / 3.4:
Definition of the visual space / 3.4.1:
Rotation of a reference point / 3.4.2:
Implication of information retrieval / 3.5:
Euclidean Spatial Characteristic Based Visualization Models / 3.6:
Euclidean space and its characteristics / 4.1:
Introduction to the information retrieval evaluation models / 4.2:
The distance-angel-based visualization model / 4.3:
The visual space definition / 4.3.1:
Visualization for information retrieval evaluation models / 4.3.2:
The angle-angle-based visualization model / 4.4:
The distance-distance-based visualization model / 4.4.1:
Kohonen Self-Organizing Map-An Artificial Neural Network / 4.5.1:
Introduction to neural networks / 5.1:
Definition of neural network / 5.1.1:
Characteristics and structures of neuron network / 5.1.2:
Kohonen self-organizing maps / 5.2:
Kohonen self-organizing map structures / 5.2.1:
Learning processing of the SOM algorithm / 5.2.2:
Feature map labeling / 5.2.3:
The SOM algorithm description / 5.2.4:
Implication of the SOM in information retrieval / 5.3:
Pathfinder Associative Network / 5.4:
Pathfinder associative network properties and descriptions / 6.1:
Definitions of concepts and explanations / 6.1.1:
The algorithm description / 6.1.2:
Graph layout method / 6.1.3:
Implications on information retrieval / 6.2:
Author co-citation analysis / 6.2.1:
Term associative network / 6.2.2:
Hyperlink / 6.2.3:
Search in Pathfinder associative networks / 6.2.4:
Multidimensional Scaling / 6.3:
MDS analysis method descriptions / 7.1:
Classical MDS / 7.1.1:
Non-metric MDS / 7.1.2:
Metric MDS / 7.1.3:
Implications of MDS techniques for information retrieval / 7.2:
Definitions of displayed objects and proximity between objects / 7.2.1:
Exploration in a MDS display space / 7.2.2:
Discussion / 7.2.3:
Internet Information Visualization / 7.3:
Introduction / 8.1:
Internet characteristics / 8.1.1:
Internet information organization and presentation methods / 8.1.2:
Internet information utilization / 8.1.3:
Challenges of the internet / 8.1.4:
Internet information visualization / 8.2:
Visualization of internet information structure / 8.2.1:
Internet information seeking visualization / 8.2.2:
Visualization of web traffic information / 8.2.3:
Discussion history visualization / 8.2.4:
Ambiguity in Information Visualization / 8.3:
Ambiguity and its implication in information visualization / 9.1:
Reason of ambiguity in information visualization / 9.1.1:
Implication of ambiguity for information visualization / 9.1.2:
Ambiguity analysis in information retrieval visualization models / 9.2:
Ambiguity in the Euclidean spatial characteristic based information models / 9.2.1:
Ambiguity in the multiple reference point based information visualization models / 9.2.2:
Ambiguity in the Pathfinder network / 9.2.3:
Ambiguity in SOM / 9.2.4:
Ambiguity in MDS / 9.2.5:
The Implication of Metaphors in Information Visualization / 9.3:
Definition, basic elements, and characteristics of a metaphor / 10.1:
Cognitive foundation of metaphors / 10.2:
Mental models, metaphors, and human computer interaction / 10.3:
Metaphors in human computer interaction / 10.3.1:
Mental models / 10.3.2:
Mental models in HCI / 10.3.3:
Metaphors in information visualization retrieval / 10.4:
Rationales for using metaphors / 10.4.1:
Metaphorical information retrieval visualization environments / 10.4.2:
Procedures and principles for metaphor application / 10.5:
Procedure for metaphor application / 10.5.1:
Guides for designing a good metaphorical visual information retrieval environment / 10.5.2:
Benchmarks and Evaluation Criteria for Information Retrieval Visualization / 10.6:
Information retrieval visualization evaluation / 11.1:
Benchmarks and evaluation standards / 11.2:
Factors affecting evaluation standards / 11.2.1:
Principles for developing evaluation benchmarks / 11.2.2:
Four proposed categories for evaluation criteria / 11.2.3:
Descriptions of proposed benchmarks / 11.2.4:
Afterthoughts / 11.3:
Comparisons of the introduced visualization models / 12.1:
Issues and challenges / 12.3:
Bibliography / 12.4:
Index
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
43.

電子ブック

EB
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
The Next Step Forward / 1.3:
Cooperative Bug Isolation / 1.4:
Instrumentation Framework / 2:
Basic Instrumentation Strategy / 2.1:
Sampling the Bernoulli Way / 2.1.1:
From Blocks to Functions / 2.1.2:
Interprocedural Issues / 2.1.3:
Instrumentation Schemes for Distributed Debugging / 2.2:
Issues in Remote Sampling / 2.2.1:
Counter-Based Instrumentation Schemes / 2.2.2:
Additional Instrumentation Schemes / 2.2.3:
Performance and Optimizations / 2.3:
Static Branch Prediction / 2.3.1:
Weightless Functions / 2.3.2:
Empty and Singleton Regions / 2.3.3:
Local Countdown Caching / 2.3.4:
Random Countdown Generation / 2.3.5:
Path Balancing / 2.3.6:
Statically Selective Sampling / 2.3.7:
Optimization Recap / 2.3.8:
Adaptive Sampling / 2.4:
Nonuniformity Via Multiple Countdowns / 2.4.1:
Nonuniformity Via Non-Unit Site Weights / 2.4.2:
Policy Notes / 2.4.3:
Realistic Sampling Rates / 2.5:
Practical Considerations / 3:
Native Compiler Integration / 3.1:
Static Site Information / 3.1.1:
Libraries and Plugins / 3.2:
Threads / 3.3:
Next-Sample Countdown / 3.3.1:
Predicate Counters / 3.3.2:
Compilation Unit Registry and Report File / 3.3.3:
Time Stamp Clock / 3.3.4:
Performance Evaluation / 3.3.5:
Privacy and Security / 3.4:
User Interaction / 3.5:
Status of the Public Deployment / 3.6:
Resource Requirements / 3.6.1:
Reporting Trends / 3.6.2:
Techniques for Statistical Debugging / 4:
Notation and Terminology / 4.1:
Predicate Elimination / 4.2:
Instrumentation Strategy / 4.2.1:
Elimination Strategies / 4.2.2:
Data Collection and Analysis / 4.2.3:
Refinement over time / 4.2.4:
Performance Impact / 4.2.5:
Limitations and Insights / 4.2.6:
Regularized Logistic Regression / 4.3:
Crash Prediction Using Logistic Regression / 4.3.1:
Moss: A Multiple-Bug Challenge / 4.3.2:
Nonuniform Sampling / 4.4.1:
Analysis Results / 4.4.2:
Iterative Bug Isolation and Elimination / 4.5:
Increase Scores / 4.5.1:
Statistical Interpretation / 4.5.2:
Balancing Specificity and Sensitivity / 4.5.3:
Redundancy Elimination / 4.5.4:
Case Studies / 4.6:
Moss / 4.6.1:
CCRYPT / 4.6.2:
BC / 4.6.3:
EXIF / 4.6.4:
Rhythmbox / 4.6.5:
Related Work / 5:
Static Analysis / 5.1:
Profiling and Tracing / 5.2:
Dynamic Analysis / 5.3:
Conclusion / 6:
References
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
44.

電子ブック

EB
Masao Nagasaki, Atsushi Doi, Andreas Dress, Hiroshi Matsuno, Satoru Miyano, Ayumu Saito, Martin Vingron, Martin Vingron, Gene Myers, Robert Giegerich, Walter Fitch, Pavel A. Pevzner. edited by Andreas Dress
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Introduction / 1:
Intracellular Events / 1.1:
Transcription, Translation, and Regulation / 1.1.1:
Signaling Pathways and Proteins / 1.1.2:
Metabolism and Genes / 1.1.3:
Intracellular Reactions and Pathways / 1.2:
Pathway Databases / 2:
Major Pathway Databases / 2.1:
KEGG / 2.1.1:
BioCyc / 2.1.2:
Ingenuity Pathways Knowledge Base / 2.1.3:
TRANSPATH / 2.1.4:
ResNet / 2.1.5:
Signal Transduction Knowledge Environment (STKE): Database of Cell Signaling / 2.1.6:
Reactome / 2.1.7:
Metabolome.jp / 2.1.8:
Summary and Conclusion / 2.1.9:
Software for Pathway Display / 2.2:
Ingenuity Pathway Analysis (IPA) / 2.2.1:
Pathway Builder / 2.2.2:
Pathway Studio / 2.2.3:
Connections Maps / 2.2.4:
Cytoscape / 2.2.5:
File Formats for Pathways / 2.3:
Gene Ontology / 2.3.1:
PSI MI / 2.3.2:
CellML / 2.3.3:
SBML / 2.3.4:
BioPAX / 2.3.5:
CSML/CSO / 2.3.6:
Pathway Simulation Software / 3:
Simulation Software Backend / 3.1:
Architecture: Deterministic, Probabilistic, or Hybrid? / 3.1.1:
Methods of Pathway Modeling / 3.1.2:
Major Simulation Software Tools / 3.2:
Gepasi/COPASI / 3.2.1:
Virtual Cell / 3.2.2:
Systems Biology Workbench (SBW), Cell Designer, JDesigner / 3.2.3:
Dizzy / 3.2.4:
E-Cell / 3.2.5:
Cell Illustrator / 3.2.6:
Summary / 3.2.7:
Starting Cell Illustrator / 4:
Installing Cell Illustrator / 4.1:
Operating Systems and Hardware Requirements / 4.1.1:
Cell Illustrator Lineup / 4.1.2:
Installing and Running Cell Illustrator / 4.1.3:
License Install / 4.1.4:
Basic Concepts in Cell Illustrator / 4.2:
Basic Concepts / 4.2.1:
Entity / 4.2.2:
Process / 4.2.3:
Connector / 4.2.4:
Rules for Connecting Elements / 4.2.5:
Icons for Elements / 4.2.6:
Editing a Model on Cell Illustrator / 4.3:
Adding Elements / 4.3.1:
Model Editing and Canvas Controls / 4.3.2:
Simulating Models / 4.4:
Simulation Settings / 4.4.1:
Graph Settings / 4.4.2:
Executing Simulation / 4.4.3:
Simulation Parameters and Rules / 4.5:
Creating a Model with Discrete Entity and Process / 4.5.1:
Creating a Model with Continuous Entity and Process / 4.5.2:
Concepts of Discrete and Continuous / 4.5.3:
Pathway Modeling Using Illustrated Elements / 4.6:
Creating Pathway Models Using Cell Illustrator / 4.7:
Degradation / 4.7.1:
Translocation / 4.7.2:
Transcription / 4.7.3:
Binding / 4.7.4:
Dissociation / 4.7.5:
Inhibition / 4.7.6:
Phosphorylation by Enzyme Reaction / 4.7.7:
Conclusion / 4.8:
Pathway Modeling and Simulation / 5:
Modeling Signaling Pathway / 5.1:
Main Players: Ligand and Receptor / 5.1.1:
Modeling EGFR Signaling with EGF Stimulation / 5.1.2:
Modeling Metabolic Pathways / 5.2:
Chemical Equations and Pathway Representations / 5.2.1:
Michaelis-Menten Kinetics and Cell Illustrator Pathway Representation / 5.2.2:
Creating Glycolysis Pathway Model / 5.2.3:
Simulation of Glycolysis Pathway / 5.2.4:
Improving the Model / 5.2.5:
Modeling Gene Regulatory Networks / 5.3:
Biological Clocks and Circadian Rhythms / 5.3.1:
Gene Regulatory Network for Circadian Rhythms in Mice / 5.3.2:
Modeling Circadian Rhythms in Mice / 5.3.3:
Creating Hypothesis by Simulation / 5.3.4:
Computational Platform for Systems Biology / 5.4:
Gene Network of Yeast / 6.1:
Computational Analysis of Gene Network / 6.2:
Displaying Gene Network / 6.2.1:
Layout of Gene Networks / 6.2.2:
Pathway Search Function / 6.2.3:
Extracting Subnetworks / 6.2.4:
Comparing Two Subnetworks / 6.2.5:
Further Functionalities for Systems Biology / 6.3:
Languages for Pathways: CSML 3.0 and CSO / 6.3.1:
SaaS Technology / 6.3.2:
Pathway Parameter Search / 6.3.3:
Much Faster Simulation / 6.3.4:
Exporting Pathway Models to Programming Languages / 6.3.5:
Pathway Layout Algorithms / 6.3.6:
Pathway Database Management System / 6.3.7:
More Visually: Automatic Generation of Icons / 6.3.8:
Bibliographic Notes
Index
Foreword
Preface
Introduction / 1:
45.

電子ブック

EB
Jean-Pierre Briffaut
出版情報: Wiley Online Library - AutoHoldings Books , Wiley-ISTE, 2019
所蔵情報: loading…
目次情報: 続きを見る
Preface
Dedication
Complexity and Systems Thinking / Chapter 1:
Introduction: complexity as a problem / 1.1:
Complexity in perspective / 1.2:
Etymology and semantics / 1.2.1:
Methods proposed for dealing with complexity from the Middle Ages to the 17th Century and their current outfalls / 1.2.2:
System-based current methods proposed for dealing with complexity / 1.3:
Evolution of system-based methods in the 20th Century / 1.3.1:
The emergence of anew science of mind / 1.3.2:
Systems thinking and structuralism / 1.4:
Systems thinking / 1.4.1:
Structuralism / 1.4.2:
Systems modeling / 1.4.3:
Biodata of two figureheads in the development of cybernetics / 1.5:
Ludwig von Bertalanffy (1901-1972) / 1.5.1:
Heinz von Forster (1911-2002) / 1.5.2:
References / 1.6:
Agent-based Modeling of Human Organizations / Chapter 2:
Introduction / 2.1:
Concept of agenthood in the technical world / 2.2:
Some words about agents explained / 2.2.1:
Some implementations of the agenthood paradigm / 2.2.2:
Concept of agenthood in the social world / 2.3:
Cursory perspective of agenthood in the social world / 2.3.1:
Organization as a collection of agents / 2.3.2:
BDI agents as models of organization agents / 2.4:
Description of BDI agents / 2.4.1:
Comments on the structural components of BDI agents / 2.4.2:
Patterns of agent coordination / 2.5:
Organizational coordination / 2.5.1:
Contracting for coordination / 2.5.2:
Coordination by multi-agent planning / 2.5.3:
Negotiation patterns / 2.6:
Theories behind the organization theory / 2.7:
Structural and functional theories / 2.7.1:
Cognitive and behavioral theories / 2.7.2:
Organization theory and German culture / 2.7.3:
Organizations and complexity / 2.8:
Structural complexity / 2.8.1:
Behavioral complexity in group decision-making / 2.8.2:
Autonomous agents and complexity in organization operations: inexorable stretch to artificial organization / 2.8.3:
Complexity and Chaos / 2.9:
Complexity and chaos in physics and chemistry / 3.1:
Introductory considerations / 3.2.1:
Quadratic iterator modeling the dynamic behavior of animal and plant populations / 3.2.2:
Traces of chaotic behavior in different contexts / 3.2.3:
Order out of chaos / 3.3:
Determinism out of an apparent random algorithm / 3.3.1:
Chaos game and MRCM (Multiple Reduction Copy Machine) / 3.3.2:
Randomness and its foolery / 3.3.3:
Chaos in organizations - the certainty of uncertainty / 3.4:
Chaos and big data: what is data deluge? / 3.4.1:
Change management and adaptation of information systems / 3.4.2:
Conclusion / 3.5:
Appendices
Notions of Graph Theory for Analyzing Social Networks / Appendix 1:
Time Series Analysis with a View to Deterministic Chaos / Appendix 2:
Index
Preface
Dedication
Complexity and Systems Thinking / Chapter 1:
46.

電子ブック

EB
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
The Next Step Forward / 1.3:
Cooperative Bug Isolation / 1.4:
Instrumentation Framework / 2:
Basic Instrumentation Strategy / 2.1:
Sampling the Bernoulli Way / 2.1.1:
From Blocks to Functions / 2.1.2:
Interprocedural Issues / 2.1.3:
Instrumentation Schemes for Distributed Debugging / 2.2:
Issues in Remote Sampling / 2.2.1:
Counter-Based Instrumentation Schemes / 2.2.2:
Additional Instrumentation Schemes / 2.2.3:
Performance and Optimizations / 2.3:
Static Branch Prediction / 2.3.1:
Weightless Functions / 2.3.2:
Empty and Singleton Regions / 2.3.3:
Local Countdown Caching / 2.3.4:
Random Countdown Generation / 2.3.5:
Path Balancing / 2.3.6:
Statically Selective Sampling / 2.3.7:
Optimization Recap / 2.3.8:
Adaptive Sampling / 2.4:
Nonuniformity Via Multiple Countdowns / 2.4.1:
Nonuniformity Via Non-Unit Site Weights / 2.4.2:
Policy Notes / 2.4.3:
Realistic Sampling Rates / 2.5:
Practical Considerations / 3:
Native Compiler Integration / 3.1:
Static Site Information / 3.1.1:
Libraries and Plugins / 3.2:
Threads / 3.3:
Next-Sample Countdown / 3.3.1:
Predicate Counters / 3.3.2:
Compilation Unit Registry and Report File / 3.3.3:
Time Stamp Clock / 3.3.4:
Performance Evaluation / 3.3.5:
Privacy and Security / 3.4:
User Interaction / 3.5:
Status of the Public Deployment / 3.6:
Resource Requirements / 3.6.1:
Reporting Trends / 3.6.2:
Techniques for Statistical Debugging / 4:
Notation and Terminology / 4.1:
Predicate Elimination / 4.2:
Instrumentation Strategy / 4.2.1:
Elimination Strategies / 4.2.2:
Data Collection and Analysis / 4.2.3:
Refinement over time / 4.2.4:
Performance Impact / 4.2.5:
Limitations and Insights / 4.2.6:
Regularized Logistic Regression / 4.3:
Crash Prediction Using Logistic Regression / 4.3.1:
Moss: A Multiple-Bug Challenge / 4.3.2:
Nonuniform Sampling / 4.4.1:
Analysis Results / 4.4.2:
Iterative Bug Isolation and Elimination / 4.5:
Increase Scores / 4.5.1:
Statistical Interpretation / 4.5.2:
Balancing Specificity and Sensitivity / 4.5.3:
Redundancy Elimination / 4.5.4:
Case Studies / 4.6:
Moss / 4.6.1:
CCRYPT / 4.6.2:
BC / 4.6.3:
EXIF / 4.6.4:
Rhythmbox / 4.6.5:
Related Work / 5:
Static Analysis / 5.1:
Profiling and Tracing / 5.2:
Dynamic Analysis / 5.3:
Conclusion / 6:
References
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
47.

電子ブック

EB
Masao Nagasaki, Atsushi Doi, Andreas Dress, Hiroshi Matsuno, Satoru Miyano, Ayumu Saito, Martin Vingron, Martin Vingron, Gene Myers, Robert Giegerich, Walter Fitch, Pavel A. Pevzner. edited by Andreas Dress, Gene Myers
出版情報: SpringerLink Books - AutoHoldings , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Introduction / 1:
Intracellular Events / 1.1:
Transcription, Translation, and Regulation / 1.1.1:
Signaling Pathways and Proteins / 1.1.2:
Metabolism and Genes / 1.1.3:
Intracellular Reactions and Pathways / 1.2:
Pathway Databases / 2:
Major Pathway Databases / 2.1:
KEGG / 2.1.1:
BioCyc / 2.1.2:
Ingenuity Pathways Knowledge Base / 2.1.3:
TRANSPATH / 2.1.4:
ResNet / 2.1.5:
Signal Transduction Knowledge Environment (STKE): Database of Cell Signaling / 2.1.6:
Reactome / 2.1.7:
Metabolome.jp / 2.1.8:
Summary and Conclusion / 2.1.9:
Software for Pathway Display / 2.2:
Ingenuity Pathway Analysis (IPA) / 2.2.1:
Pathway Builder / 2.2.2:
Pathway Studio / 2.2.3:
Connections Maps / 2.2.4:
Cytoscape / 2.2.5:
File Formats for Pathways / 2.3:
Gene Ontology / 2.3.1:
PSI MI / 2.3.2:
CellML / 2.3.3:
SBML / 2.3.4:
BioPAX / 2.3.5:
CSML/CSO / 2.3.6:
Pathway Simulation Software / 3:
Simulation Software Backend / 3.1:
Architecture: Deterministic, Probabilistic, or Hybrid? / 3.1.1:
Methods of Pathway Modeling / 3.1.2:
Major Simulation Software Tools / 3.2:
Gepasi/COPASI / 3.2.1:
Virtual Cell / 3.2.2:
Systems Biology Workbench (SBW), Cell Designer, JDesigner / 3.2.3:
Dizzy / 3.2.4:
E-Cell / 3.2.5:
Cell Illustrator / 3.2.6:
Summary / 3.2.7:
Starting Cell Illustrator / 4:
Installing Cell Illustrator / 4.1:
Operating Systems and Hardware Requirements / 4.1.1:
Cell Illustrator Lineup / 4.1.2:
Installing and Running Cell Illustrator / 4.1.3:
License Install / 4.1.4:
Basic Concepts in Cell Illustrator / 4.2:
Basic Concepts / 4.2.1:
Entity / 4.2.2:
Process / 4.2.3:
Connector / 4.2.4:
Rules for Connecting Elements / 4.2.5:
Icons for Elements / 4.2.6:
Editing a Model on Cell Illustrator / 4.3:
Adding Elements / 4.3.1:
Model Editing and Canvas Controls / 4.3.2:
Simulating Models / 4.4:
Simulation Settings / 4.4.1:
Graph Settings / 4.4.2:
Executing Simulation / 4.4.3:
Simulation Parameters and Rules / 4.5:
Creating a Model with Discrete Entity and Process / 4.5.1:
Creating a Model with Continuous Entity and Process / 4.5.2:
Concepts of Discrete and Continuous / 4.5.3:
Pathway Modeling Using Illustrated Elements / 4.6:
Creating Pathway Models Using Cell Illustrator / 4.7:
Degradation / 4.7.1:
Translocation / 4.7.2:
Transcription / 4.7.3:
Binding / 4.7.4:
Dissociation / 4.7.5:
Inhibition / 4.7.6:
Phosphorylation by Enzyme Reaction / 4.7.7:
Conclusion / 4.8:
Pathway Modeling and Simulation / 5:
Modeling Signaling Pathway / 5.1:
Main Players: Ligand and Receptor / 5.1.1:
Modeling EGFR Signaling with EGF Stimulation / 5.1.2:
Modeling Metabolic Pathways / 5.2:
Chemical Equations and Pathway Representations / 5.2.1:
Michaelis-Menten Kinetics and Cell Illustrator Pathway Representation / 5.2.2:
Creating Glycolysis Pathway Model / 5.2.3:
Simulation of Glycolysis Pathway / 5.2.4:
Improving the Model / 5.2.5:
Modeling Gene Regulatory Networks / 5.3:
Biological Clocks and Circadian Rhythms / 5.3.1:
Gene Regulatory Network for Circadian Rhythms in Mice / 5.3.2:
Modeling Circadian Rhythms in Mice / 5.3.3:
Creating Hypothesis by Simulation / 5.3.4:
Computational Platform for Systems Biology / 5.4:
Gene Network of Yeast / 6.1:
Computational Analysis of Gene Network / 6.2:
Displaying Gene Network / 6.2.1:
Layout of Gene Networks / 6.2.2:
Pathway Search Function / 6.2.3:
Extracting Subnetworks / 6.2.4:
Comparing Two Subnetworks / 6.2.5:
Further Functionalities for Systems Biology / 6.3:
Languages for Pathways: CSML 3.0 and CSO / 6.3.1:
SaaS Technology / 6.3.2:
Pathway Parameter Search / 6.3.3:
Much Faster Simulation / 6.3.4:
Exporting Pathway Models to Programming Languages / 6.3.5:
Pathway Layout Algorithms / 6.3.6:
Pathway Database Management System / 6.3.7:
More Visually: Automatic Generation of Icons / 6.3.8:
Bibliographic Notes
Index
Foreword
Preface
Introduction / 1:
48.

電子ブック

EB
Christian M. Reidys
出版情報: SpringerLink Books - AutoHoldings , Springer New York, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
RNA secondary structures / 1.1:
RNA pseudoknot structures / 1.2:
Sequence to structure maps / 1.3:
Folding / 1.4:
RNA tertiary interactions: a combinatorial perspective / 1.5:
Basic concepts / 2:
k-Noncrossing partial matchings / 2.1:
Young tableaux, RSK algorithm, and Weyl chambers / 2.1.1:
The Weyl group / 2.1.2:
From tableaux to paths and back / 2.1.3:
The generating function via the reflection principle / 2.1.4:
D-finiteness / 2.1.5:
Symbolic enumeration / 2.2:
Singularity analysis / 2.3:
Transfer theorems / 2.3.1:
The supercritical paradigm / 2.3.2:
Some ODEs / 2.4:
n-Cubes / 2.4.2:
Some basic facts / 2.5.1:
Random subgraphs of the n-cube / 2.5.2:
Vertex boundaries / 2.5.3:
Branching processes and Janson's inequality / 2.5.4:
Exercises / 2.6:
Tangled diagrams / 3:
Tangled diagrams and vacillating tableaux / 3.1:
The bijection / 3.2:
Enumeration / 3.3:
Combinatorial analysis / 4:
Cores and Shapes / 4.1:
Cores / 4.1.1:
Shapes / 4.1.2:
Generating functions / 4.2:
The GF of cores / 4.2.1:
The GF of k-noncrossing, ?-canonical structures / 4.2.2:
Asymptotics / 4.3:
k-Noncrossing structures / 4.3.1:
Canonical structures / 4.3.2:
Modular k-noncrossing structures / 4.4:
Colored shapes / 4.4.1:
The main theorem / 4.4.2:
Probabilistic Analysis / 4.5:
Uniform generation / 5.1:
Partial matchings / 5.1.1:
Central limit theorems / 5.1.2:
The central limit theorem / 5.2.1:
Arcs and stacks / 5.2.2:
Hairpin loops, interior loops, and bulges / 5.2.3:
Discrete limit laws / 5.3:
Irreducible substructures / 5.3.1:
The limit distribution of nontrivial returns / 5.3.2:
DP folding based on loop energies / 5.4:
Secondary structures / 6.1.1:
Pseudoknot structures / 6.1.2:
Combinatorial folding / 6.2:
Motifs / 6.2.1:
Skeleta / 6.2.3:
Saturation / 6.2.4:
Neutral networks / 7:
Neutral networks as random graphs / 7.1:
The giant / 7.2:
Cells / 7.2.1:
The number of vertices contained in cells / 7.2.2:
The largest component / 7.2.3:
Neutral paths / 7.3:
Connectivity / 7.4:
References / 7.5:
Index
Introduction / 1:
RNA secondary structures / 1.1:
RNA pseudoknot structures / 1.2:
49.

電子ブック

EB
Gian Piero Zarri
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Basic Principles / 1:
Narrative Information in an NKRL Context / 1.1:
Narratology and NKRL / 1.1.1:
The Notion of "Event" in an NKRL Context / 1.1.2:
Knowledge Representation and NKRL / 1.2:
"Standard" Ontologies and the "n-ary" Problem / 1.2.1:
A Plain "n-ary" Solution and Some Related Problems / 1.2.2:
In the Guise of Winding Up / 1.3:
The Knowledge Representation Strategy / 2:
Architecture of NKRL: the Four "Components" / 2.1:
The Data Structures of the Four Components / 2.2:
Definitional/Enumerative Data Structures / 2.2.1:
Descriptive/Factual Data Structures / 2.2.2:
Second-order Structures / 2.3:
The Completive Construction / 2.3.1:
Binding Occurrences / 2.3.2:
The Semantic and Ontological Contents / 2.4:
The Organization of the HClass Hierarchy / 3.1:
General Notions about Ontologies / 3.1.1:
HClass Architecture / 3.1.2:
The Organization of the HTemp Hierarchy / 3.2:
Recent Examples of "Structured" Ontological Systems / 3.2.1:
Main Features of Some Specific HTemp Structures / 3.2.2:
The Query and Inference Procedures / 3.3:
"Search Patterns" and Low-level Inferences / 4.1:
The Algorithmic Structure of Fum / 4.1.1:
Temporal Information and Indexing / 4.1.2:
High-level Inference Procedures / 4.2:
General Remarks about Some Reasoning Paradigms / 4.2.1:
Hypothesis Rules / 4.2.2:
Transformation Rules / 4.2.3:
Integrating the Two Main Inferencing Modes of NKRL / 4.2.4:
Inference Rules and Internet Filtering / 4.2.5:
Conclusion / 4.3:
Technological Enhancements / 5.1:
Theoretical Enhancements / 5.2:
Appendix A
Appendix B
References
Index
Basic Principles / 1:
Narrative Information in an NKRL Context / 1.1:
Narratology and NKRL / 1.1.1:
50.

電子ブック

EB
Jorge Ancheyta
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2017
所蔵情報: loading…
目次情報: 続きを見る
About the Author
Preface
Fundamentals of Chemical Reaction Kinetics / 1:
Concepts of Stoichiometry / 1.1:
Stoichiometric Number and Coefficient / 1.1.1:
Molecularity / 1.1.2:
Reaction Extent / 1.1.3:
Molar Conversion / 1.1.4:
Types of Feed Composition in a Chemical Reaction / 1.1.5:
Limiting Reactant / 1.1.6:
Molar Balance in a Chemical Reaction / 1.1.7:
Relationship between Conversion and Physical Properties of the Reacting System / 1.1.8:
Reacting Systems / 1.2:
Mole Fraction, Weight Fraction and Molar Concentration / 1.2.1:
Partial Pressure / 1.2.2:
Isothermal Systems at Constant Density / 1.2.3:
Relationship between Partial Pressure (pA) and Conversion (xA) / 1.2.3.1:
Relationship between Partial Pressure (pA) and Total Pressure (P) / 1.2.3.2:
Relationship between Molar Concentration (CA) and Total Pressure (P) / 1.2.3.3:
Isothermal Systems at Variable Density / 1.2.4:
General Case of Reacting Systems / 1.2.5:
Kinetic Point of View of the Chemical Equilibrium / 1.2.6:
Concepts of Chemical Kinetics / 1.3:
Rate of Homogeneous Reactions / 1.3.1:
Power Law / 1.3.2:
Relationship between kp and kc / 1.3.2.1:
Units of kc and kp / 1.3.2.2:
Elemental and Non-elemental Reactions / 1.3.3:
Comments on the Concepts of Molecularity and Reaction Order / 1.3.4:
Dependency of k with Temperature / 1.3.5:
Arrhenius Equation / 1.3.5.1:
Frequency Factor and Activation Energy / 1.3.5.2:
Evaluation of the Parameters of the Arrhenius Equation / 1.3.5.3:
Modified Arrhenius Equation / 1.3.5.4:
Description of Ideal Reactors / 1.4:
Batch Reactors / 1.4.1:
Modes of Operation / 1.4.1.1:
Data Collection / 1.4.1.2:
Mass Balance / 1.4.1.3:
Continuous Reactors / 1.4.2:
Space-Time and Space-Velocity / 1.4.2.1:
Plug Flow Reactor / 1.4.2.2:
Continuous Stirred Tank Reactor / 1.4.2.3:
Irreversible Reactions of One Component / 2:
Integral Method / 2.1:
Reactions of Zero Order / 2.1.1:
Reactions of the First Order / 2.1.2:
Reaction of the Second Order / 2.1.3:
Reactions of the nth Order / 2.1.4:
Differential Method / 2.2:
Numerical Differentiation / 2.2.1:
Method of Approaching the Derivatives (-dCA/dt) to (δCA/δt) or (dxA/dt) to (δxA/δt) / 2.2.1.1:
Method of Finite Differences / 2.2.1.2:
Method of a Polynomial of the nth Order / 2.2.1.3:
Graphical Differentiation / 2.2.2:
Method of Area Compensation / 2.2.2.1:
Method of Approaching the Derivative (-dCA/dt) to (δCA/δt) / 2.2.2.2:
Summary of Results / 2.2.2.3:
Method of Total Pressure / 2.3:
Reactions of the Second Order / 2.3.1:
Differential Method with Data of Total Pressure / 2.3.4:
Method of the Half-Life Time / 2.4:
Reaction of the nth Order / 2.4.1:
Direct Method to Calculate k and n with Data of t1/2 / 2.4.5:
Extension of the Method of Half-Life Time (t1/2) to Any Fractional Life Time (t1/m) / 2.4.6:
Calculation of Activation Energy with Data of Half-Life Time / 2.4.7:
Some Observations of the Method of Half Life Time / 2.4.8:
Calculation of n with Two Data of t1/2 Measured with Different CAo / 2.4.8.1:
Generalization of the Method of Half-Life Time for Any Reaction Order / 2.4.8.2:
Irreversible Reactions with Two or Three Components / 3:
Irreversible Reactions with Two Components / 3.1:
Method of Stoichiometric Feed Composition / 3.1.1:
Method of Non-stoichiometric Feed Composition / 3.1.1.2:
Method of a Reactant in Excess / 3.1.1.3:
Stoichiometric Feed Composition / 3.1.2:
Feed Composition with a Reactant in Excess / 3.1.2.2:
Non-stoichiometric Feed Compositions / 3.1.2.3:
Method of Initial Reaction Rates / 3.1.3:
Irreversible Reactions between Three Components / 3.2:
Case 1: Stoichiometric Feed Composition / 3.2.1:
Case 2: Non-stoichiometric Feed Composition / 3.2.2:
Case 3: Feed Composition with One Reactant in Excess / 3.2.3:
Case 4: Feed Composition with Two Reactants in Excess / 3.2.4:
Reversible Reactions / 4:
Reversible Reactions of First Order / 4.1:
Reversible Reactions of Second Order / 4.2:
Reversible Reactions with Combined Orders / 4.3:
Complex Reactions / 5:
Yield and Selectivity / 5.1:
Simultaneous or Parallel Irreversible Reactions / 5.2:
Simultaneous Reactions with the Same Order / 5.2.1:
Case 1: Reactions with Only One Reactant / 5.2.1.1:
Case 2: Reactions with Two Reactants / 5.2.1.2:
Simultaneous Reactions with Combined Orders / 5.2.2:
Consecutive or In-Series Irreversible Reactions / 5.2.2.1:
Consecutive Reactions with the Same Order / 5.3.1:
Calculation of CRmax and t* / 5.3.1.1:
Calculation of CRmax and t* for k1 = k2 / 5.3.1.2:
Consecutive Reactions with Combined Orders / 5.3.2:
Special Topics in Kinetic Modelling / 6:
Data Reconciliation / 6.1:
Data Reconciliation Method / 6.1.1:
Results and Discussion / 6.1.2:
Source of Data / 6.1.2.1:
Global Mass Balances / 6.1.2.2:
Outlier Determination / 6.1.2.3:
Analysis of Results / 6.1.2.4:
Conclusions / 6.1.3:
Methodology for Sensitivity Analysis of Parameters / 6.2:
Description of the Method / 6.2.1:
Initialization of Parameters / 6.2.1.1:
Non-linear Parameter Estimation / 6.2.1.2:
Sensitivity Analysis / 6.2.1.3:
Residual Analysis / 6.2.1.4:
Experimental Data and the Reaction Rate Model from the Literature / 6.2.2:
Results of Non-linear Estimation / 6.2.2.2:
Analysis of Residuals / 6.2.2.4:
Methods for Determining Rate Coefficients in Enzymatic Catalysed Reactions / 6.2.3:
The Michaelis-Menten Model / 6.3.1:
Origin / 6.3.1.1:
Development of the Model / 6.3.1.2:
Importance of Vmax and Km / 6.3.1.3:
Methods to Determine the Rate Coefficients of the Michaelis-Menten Equation / 6.3.2:
Linear Regression / 6.3.2.1:
Graphic Method / 6.3.2.2:
Non-linear Regression / 6.3.2.3:
Application of the Methods / 6.3.3:
Experimental Data / 6.3.3.1:
Calculation of Kinetic Parameters / 6.3.3.2:
Discussion of Results / 6.3.4:
A Simple Method for Estimating Gasoline, Gas and Coke Yields in FCC Processes / 6.3.5:
Introduction / 6.4.1:
Methodology / 6.4.2:
Choosing the Kinetic Models / 6.4.2.1:
Reaction Kinetics / 6.4.2.2:
Estimation of Kinetic Parameters / 6.4.2.3:
Evaluation of Products Yields / 6.4.2.4:
Advantages and Limitations of the Methodology / 6.4.2.5:
Estimation, of Activation Energies during Hydrodesulphurization of Middle Distillates / 6.4.3:
Experiments / 6.5.1:
Experimental Results / 6.5.3:
Effect of Feed Properties on Kinetic Parameters / 6.5.3.2:
Problems / 6.5.4:
Nomenclature
References
Index
About the Author
Preface
Fundamentals of Chemical Reaction Kinetics / 1:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼