close
1.

電子ブック
ＥＢ
1. ISO/IEC 8802-2:1998 ANSI/IEEE Std 802.2, 1998 edition (Incorporating ANSI/IEEE Stds 802.2c-1997, 802.2f-1997, and 802.2h-1997): IEEE International Standard for Information technology -- Telecommunications and information exchange between systems -- Local
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 1998
所蔵情報: loading…
2.

図書
図書
2. Dynamics : numerical explorations. 2nd, rev. and enl. ed
Helena E. Nusse, James A. Yorke
出版情報: New York : Springer, c1998  xvi, 608 p., [8] p. of plates ; 25 cm
シリーズ名: Applied mathematical sciences ; v. 101
所蔵情報: loading…
目次情報: 続きを見る
Preface
Getting the program running / 1：
The Dynamics program and hardware Smalldyn: a small version of Dynamics / 1.1：
Getting started with Dynamics Using the mouse Appendix: description of the interrupts / 1.2：
Questions / 1.3：
Samples of Dynamics: pictures you can make simply / 2：
Introduction Example / 2.1：
Plot a trajectory Example / 2-1a：
Draw a box Example / 2-1b：
Viewing the Parameter Menu Example / 2-1c：
Refresh the screen and continue plotting Example / 2-1d：
Clear the screen and continue plotting Example / 2-1e：
Single stepping through a trajectory Example / 2-1f：
Plot a cross at current position Example / 2-1g：
Draw axes and print picture Example / 2-1h：
Initializing Example / 2-1i：
Viewing the Y Vectors Example / 2-1j：
Find a fixed point Example / 2-1k：
Find a period 2 orbit Example / 2-1l：
Search for all periodic points of period 5 Example / 2-1m：
Change RHO Example / 2-1n：
Plotting permanent crosses Example / 2-1o：
Set storage vector y1 and initialize Example / 2-1p：
Change X Scale or Y Scale / 2-1q：
Complex pictures that are simple to make Example / 2.2：
Chaotic attractor Example / 2-2a：
Computing Lyapunov exponents Example / 2-2b：
Plotting trajectory versus time Example / 2-2c：
Graph of iterate of one dimensional map Example / 2-3a：
Cobweb plot of a trajectory Example / 2-3b：
The Henon attractor Example / 2-3c：
The first iterate of a quadrilateral Example / 2-5：
Plotting direction field and trajectories Example / 2-6：
Bifurcation diagram for the quadratic map Example / 2-7：
Bifurcation diagram with bubbles Example / 2-8：
All the Basins and Attractors Example / 2-9：
Metamorphoses in the basin of infinity Example / 2-10：
Search for all periodic points with period 10 Example / 2-11：
Search for all period 1 and period 2 points Example / 2-12：
Following orbits as a parameter is varied Example / 2-13：
The Mandelbrot set Example / 2-14：
3-Dimensional views on the Lorenz attractor Example / 2-15：
Unstable manifold of a fixed point Example / 2-17：
Stable and unstable manifolds Example / 2-18：
Plotting a Saddle Straddle Trajectory Example / 2-19a：
The unstable manifold of a fixed point Example / 2-19b：
The stable manifold of a fixed point Example / 2-19c：
Saddle Straddle Trajectory, and manifolds Example / 2-19d：
The basin of attraction of infinity Example / 2-20：
A trajectory on a basin boundary Example / 2-21：
A BST trajectory for the Tinkerbell map Example / 2-22：
Lyapunov exponent bifurcation diagram Example / 2-23：
Chaotic parameters Example / 2-24：
Box-counting dimension of an attractor Example / 2-25：
Zooming in on the Tinkerbell attractor Example / 2-26：
Period plot in the Mandelbrot set Appendix Commands for plotting a graph Commands from the Numerical / 2-27：
Explorations Menu Plotting multiple trajectories simultaneously
Screen utilities / 3：
Basic screen features (Screen Menu SM) / 3.1：
Commands for clearing the screen Commands for controlling the screen Level of Text output
Writing on pictures
The arrow keys and boxes (BoX Menu, BXM) / 3.2：
Initializing trajectories, plotting crosses, drawing circles and their iterates (Kruis Menu KM) / 3.3：
Drawing axes (AXes Menu AXM) / 3.4：
Windows and rescaling (Window Menu WM) Detailed view on the structure of an attractor / 3.5：
Zooming in or zooming out (ZOOm Menu ZOOM) / 3.6：
Setting colors (Color Menu CM and Color Table Menu CTM) Color screens Core copy of the picture / 3.7：
Color planes Commands for erasing colors
Utilities / 4：
Setting parameters (Parameter Menu PM) / 4.1：
Setting and replacing a vector (Vector Menu VM) Y Vectors "Own" and the coordinates of yÃââÇ ÃâÅô / 4.2：
Setting step size (Differential Equation Menu DEM) / 4.3：
Saving pictures and data (Disk Menu DM) Creating a batch file of commands Commands for reading disk files / 4.4：
Setting the size of the core (Size of Core Menu SCM) / 4.5：
Printing pictures (PriNter Menu PNM) Commands for specifying printer / 4.6：
Encapsulated PostScript Commands for printer options
Text to printer Printing color pictures
Printing pictures with any p
Preface
Getting the program running / 1：
The Dynamics program and hardware Smalldyn: a small version of Dynamics / 1.1：
3.

図書
図書
3. Graphical models for machine learning and digital communication
Brendan J. Frey
出版情報: Cambridge, Mass : The MIT Press, c1998  xiii, 195 p. ; 24 cm
シリーズ名: Adaptive computation and machine learning
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1：
A probabilistic perspective / 1.1：
Pattern classification / 1.1.1：
Unsupervised learning / 1.1.2：
Data compression / 1.1.3：
Channel coding / 1.1.4：
Probabilistic inference / 1.1.5：
Graphical models: Factor graphs, Markov random fields and Bayesian belief networks / 1.2：
Factor graphs / 1.2.1：
Markov random fields / 1.2.2：
Bayesian networks / 1.2.3：
Ancestral simulation in Bayesian networks / 1.2.4：
Dependency separation in Bayesian networks / 1.2.5：
Example 1: Recursive convolutional codes and turbocodes / 1.2.6：
Parameterized Bayesian networks / 1.2.7：
Example 2: The bars problem / 1.2.8：
Organization of this book / 1.3：
Probabilistic Inference in Graphical Models / 2：
Exact inference using probability propagation (the sum-product algorithm) / 2.1：
The generalized forward-backward algorithm / 2.1.1：
The burglar alarm problem / 2.1.2：
Probability propagation (the sum-product algorithm) / 2.1.3：
Grouping and duplicating variables in Bayesian networks / 2.1.4：
Exact inference in multiply-connected networks is NP-hard / 2.1.5：
Monte Carlo inference: Gibbs sampling and slice sampling / 2.2：
Inference by ancestral simulation in Bayesian networks / 2.2.1：
Gibbs sampling / 2.2.2：
Gibbs sampling for the burglar alarm problem / 2.2.3：
Slice sampling for continuous variables / 2.2.4：
Variational inference / 2.3：
Choosing the distance measure / 2.3.1：
Choosing the form of the variational distribution / 2.3.2：
Variational inference for the burglar alarm problem / 2.3.3：
Bounds and extended representations / 2.3.4：
Helmholtz machines / 2.4：
Factorial recognition networks / 2.4.1：
Nonfactorial recognition networks / 2.4.2：
The stochastic Helmholtz machine / 2.4.3：
A recognition network that solves the burglar alarm problem / 2.4.4：
Pattern Classification / 3：
Bayesian networks for pattern classification / 3.1：
Autoregressive networks / 3.2：
The logistic autoregressive network / 3.2.1：
MAP estimation for autoregressive networks / 3.2.2：
Scaled priors in logistic autoregressive networks / 3.2.3：
Ensembles of autoregressive networks / 3.2.4：
Estimating latent variable models using the EM algorithm / 3.3：
The expectation maximization (EM) algorithm / 3.3.1：
The generalized expectation maximization algorithm / 3.3.2：
Multiple-cause networks / 3.4：
Estimation by iterative probability propagation / 3.4.1：
Estimation by Gibbs sampling / 3.4.2：
Generalized EM using variational inference / 3.4.3：
Hierarchical networks / 3.4.4：
Ensembles of networks / 3.4.6：
Classification of handwritten digits / 3.5：
Logistic autoregressive classifiers: LARC-1,ELARC-1 / 3.5.1：
The Gibbs machine: GM-1 / 3.5.2：
The mean field Bayesian network: MFBN-1 / 3.5.3：
Stochastic Helmholtz machines: SHM-1, SHM-2, ESHM-1 / 3.5.4：
The classification and regression tree: CART-1 / 3.5.5：
The naive Bayes classifier: NBAYESC-1 / 3.5.6：
The k-nearest neighbor classifier: KNN-CLASS-1 / 3.5.7：
Results / 3.5.8：
Unsupervised Learning / 4：
Extracting structure from images using the wake-sleep algorithm / 4.1：
Wake-sleep parameter estimation / 4.1.1：
Automatic clean-up of noisy images / 4.1.2：
Wake-sleep estimation without positive parameter constraints / 4.1.3：
How hard is the bars problem? / 4.1.4：
Simultaneous extraction of continuous and categorical structure / 4.2：
Continuous sigmoidal Bayesian networks / 4.2.1：
Inference using slice sampling / 4.2.2：
Parameter estimation using slice sampling / 4.2.3：
Nonlinear Gaussian Bayesian networks (NLGBNs) / 4.3：
The model / 4.3.1：
Variational inference and learning / 4.3.2：
Results on the continuous stereo disparity problem / 4.3.3：
Pattern classification using the variational bound / 4.3.4：
Data Compression / 5：
Fast compression with Bayesian networks / 5.1：
Communicating extra information through the codeword choice / 5.2：
Example: A simple mixture model / 5.2.1：
The optimal bits-back coding rate / 5.2.2：
Suboptimal bits-back coding / 5.2.3：
Relationship to maximum likelihood estimation / 5.3：
The "bits-back" coding algorithm / 5.4：
The bits-back coding algorithm with feedback / 5.4.1：
Queue drought in feedback encoders / 5.4.2：
Experimental results / 5.5：
Bits-back coding with a multiple-cause model / 5.5.1：
Compressing handwritten digits / 5.5.2：
Integrating over model parameters using bits-back coding / 5.6：
Channel Coding / 6：
Review: Simplifying the playing field / 6.1：
Additive white Gaussian noise (AWGN) / 6.1.1：
Capacity of an AWGN channel / 6.1.2：
Signal constellations / 6.1.3：
Linear binary codes can get us to capacity / 6.1.4：
Bit error rate (BER) and signal-to-noise ratio (Eb/N0) / 6.1.5：
Capacity of an AWGN channel with binary signalling / 6.1.6：
Achievable BER for an AWGN channel with binary signalling / 6.1.7：
Graphical models for error correction: Turbocodes, low-density parity-check codes and more / 6.2：
Hamming codes / 6.2.1：
Convolutional codes / 6.2.2：
Decoding convolutional codes by probability propagation / 6.2.3：
Turbocodes: parallel concatenated convolutional codes / 6.2.4：
Serially-concatenated convolutional codes, low-density parity-check codes, and product codes / 6.2.5：
"A code by any other network would not decode as sweetly" / 6.3：
Trellis-constrained codes (TCCs) / 6.4：
Homogeneous trellis-constrained codes / 6.4.1：
Ring-connected trellis-constrained codes / 6.4.2：
Decoding complexity of iterative decoders / 6.5：
Parallel iterative decoding / 6.6：
Concurrent turbodecoding / 6.6.1：
Speeding up iterative decoding by detecting variables early / 6.6.2：
Early detection / 6.7.1：
Early detection for turbocodes: Trellis splicing / 6.7.2：
Future Research Directions / 6.7.3：
Modularity and abstraction / 7.1：
Faster inference and learning / 7.2：
Scaling up to the brain / 7.3：
Improving model structures / 7.4：
Iterative decoding / 7.5：
Iterative decoding in the real world / 7.6：
Unification / 7.7：
References
Index
Preface
Introduction / 1：
A probabilistic perspective / 1.1：
4.

図書
図書
4. Kinematics of human motion
Vladimir M. Zatsiorsky
出版情報: Champaign, Ill. : Human Kinetics, c1998  xi, 419 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Notations and Conventions
Kinematic Geometry of Human Motion: Body Position and Displacement / Chapter 1：
Defining body location / 1.1：
The coordinate method / 1.1.1：
Cartesian versus oblique coordinates / 1.1.2：
Defining body orientation / 1.2：
Fixation of a local system with a rigid body / 1.2.1：
Fixation of a somatic system with a human body / 1.2.2：
Indirect method of defining body orientation / 1.2.3：
What is ""body rotation""? / 1.2.4：
Describing position and displacement / 1.2.5：
Advantages and disadvantages of the various angular conventions / 1.2.6：
Determining body position from experimental recordings / 1.2.7：
Three-dimensional representation of human movement: Eye movement / 1.3：
Eye orientation / 1.3.1：
Motions actually made by the human eye (Donders' law and Listing's law) / 1.3.2：
Rotation surfaces. The laws obeyed by the pointing head and arm movements / 1.3.3：
Summary / 1.4：
Questions for Review / 1.5：
Bibliography / 1.6：
Kinematic Geometry of Human Motion: Body Posture / Chapter 2：
Joint configuration / 2.1：
Technical and somatic systems / 2.1.1：
The clinical reference system / 2.1.2：
Globographic representation / 2.1.3：
Segment coordinate systems / 2.1.4：
Joint rotation convention / 2.1.5：
Kinematic chains / 2.2：
Degrees of freedom. Mobility of kinematic chains / 2.2.1：
Open kinematic chains: The end-effector mobility / 2.2.2：
Kinematics models and mobility of the human body / 2.2.3：
Constraints on human movements / 2.2.4：
Position analysis of kinematic chains / 2.2.5：
Biological solutions to kinematic problems / 2.3：
Internal representation of the immediate extrapersonal space / 2.3.1：
Internal representation of the body posture / 2.3.2：
Differential Kinematics of Human Movement / 2.4：
Velocity of a kinematic chain / 3.1：
Planar movement / 3.1.1：
Motion in three dimensions / 3.1.2：
Acceleration of a kinematic chain / 3.2：
Acceleration of a planar two-link chain / 3.2.1：
Acceleration of a two-link chain in three dimensions / 3.2.2：
Acceleration of a multi-link chain / 3.2.3：
Jerk and snap / 3.2.4：
Biological solutions to the problems of differential kinematics: Control of movement velocity / 3.3：
Control of approach: The tau hypothesis / 3.3.1：
Control of velocity in reaching movement / 3.3.2：
Joint Geometry and Joint Kinematics / 3.4：
Intrajoint kinematics / 4.1：
Articular surfaces and types of joints / 4.1.1：
Movement of articular surfaces / 4.1.2：
Geometry and algebra of intra-articular motion / 4.1.3：
Ligaments and joint motion: A joint as a mechanical linkage / 4.1.4：
Centers and axes of rotation / 4.2：
Planar joint movement / 4.2.1：
Three-dimensional joint movement / 4.2.2：
Kinematics of Individual Joints / 4.3：
Nominal joint axes / 5.1：
The joints of the foot / 5.2：
Metatarsophalangeal joints. The foot as a two-speed construction / 5.2.1：
The joints of the midfoot / 5.2.2：
The ankle joint complex / 5.3：
The talocrural joint / 5.3.1：
The subtalar joint / 5.3.2：
The knee / 5.4：
The tibiofemoral joint / 5.4.1：
The patellofemoral joint / 5.4.2：
The hip joint and the pelvic girdle / 5.5：
The spine / 5.6：
Movement in synarthroses / 5.6.1：
The lumbar and thoracic spine / 5.6.2：
The cervical region: Head and neck movement / 5.6.3：
The rib cage / 5.6.4：
The shoulder complex / 5.7：
Individual joints / 5.7.1：
Movement of the shoulder complex: The scapulohumeral rhythm / 5.7.2：
The elbow complex / 5.8：
Flexion and extension / 5.8.1：
Supination and pronation / 5.8.2：
The wrist / 5.9：
The joints of the hand / 5.10：
The joints of the thumb / 5.10.1：
The joints of the fingers / 5.10.2：
The temporomandibular joint / 5.11：
Glossary / 5.12：
Index
About the Author"
Preface
Acknowledgments
Notations and Conventions
5.

図書
図書
5. Parallel database techniques
[edited by] Mahdi Abdelguerfi, Kam-Fai Wong
出版情報: Los Alamitos, CA : IEEE Computer Society, c1998  vii, 222 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Background / 1.1：
Parallel Database Systems / 1.2：
Computation Model / 1.2.1：
Engineering Model / 1.2.2：
About this Manuscript / 1.3：
Bibliography
Request Manager / I：
Designing an Optimizer for Parallel Relational Systems / 2：
Overall Design Issues / 2.1：
Design a Simple Parallel Execution Model / 2.2.1：
The Two-Phase Approach / 2.2.2：
Parallelizing is Adding Information! / 2.2.3：
Two-Phase versus Parallel Approaches / 2.2.4：
Parallelization / 2.3：
Kinds of Parallelism / 2.3.1：
Specifying Parallel Execution / 2.3.2：
Search Space / 2.4：
Slicing Hash Join Trees / 2.4.1：
Search Space Size / 2.4.2：
Heuristics / 2.4.3：
The Two-Phase Heuristics / 2.4.4：
Cost Model / 2.5：
Exceptions to the Principle of Optimality / 2.5.1：
Resources / 2.5.2：
Skew and Size Model / 2.5.3：
The Cost Function / 2.5.4：
Search Strategies / 2.6：
Deterministic Search Strategies / 2.6.1：
Randomized Strategies / 2.6.2：
Conclusion / 2.7：
New Approaches to Parallel Join Utilizing Page Connectivity Information / 3：
The Environment and a Motivating Example / 3.1：
The Methodology / 3.3：
Definition of Parameters / 3.3.1：
The Balancing Algorithm / 3.3.2：
Schedules for Reading Join Components and Data Pages / 3.3.3：
Performance Analysis / 3.4：
The Evaluation Method / 3.4.1：
Evaluation Results / 3.4.2：
Concluding Remarks and Future Work / 3.5：
A Performance Evaluation Tool for Parallel Database Systems / 4：
Performance Evaluation Methods / 4.1：
Analytical Modeling / 4.2.1：
Benchmarks / 4.2.2：
Observations / 4.2.3：
The Software Testpilot / 4.3：
The Experiment Specification / 4.3.1：
The Performance Assessment Cycle / 4.3.2：
The System Interface / 4.3.3：
The Software Testpilot and Oracle/Ncube / 4.4：
Database System Performance Assessment / 4.4.1：
The Oracle/Ncube Interface / 4.4.2：
Preliminary Results / 4.5：
Load Placement in Distributed High-Performance Database Systems / 4.6：
Investigated System / 5.1：
System Architecture / 5.2.1：
Load Scenarios / 5.2.2：
Trace Analysis / 5.2.3：
Load Setup / 5.2.4：
Load Placement Strategies Investigated / 5.3：
Scheduling Strategies for Transactions / 5.4：
Simulation Results / 5.5：
Influence of Scheduling / 5.5.1：
Evaluation of the Load Placement Strategies / 5.5.2：
Lessons Learned / 5.5.3：
Decision Parameters Used / 5.5.4：
Conclusion and Open Issues / 5.6：
Parallel Machine Architecture / II：
Modeling Recovery in Client-Server Database Systems / 6：
Uniprocessor Recovery and Formal Approach to Modeling Recovery / 6.1：
Basic Formal Concepts / 6.2.1：
Logging Mechanisms / 6.2.2：
Runtime Policies for Ensuring Correctness / 6.2.3：
Data Structures Maintained for Efficient Recovery / 6.2.4：
Restart Recovery--The ARIES Approach / 6.2.5：
LSN Sequencing Techniques for Multinode Systems / 6.3：
Recovery in Client-Server Database Systems / 6.4：
Client-Server EXODUS (ESM-CS) / 6.4.1：
Client-Server ARIES (ARIES/CSA) / 6.4.2：
Shared Nothing Clients with Disks (CD) / 6.4.3：
Summary of Recovery Approaches in Client-Server Architectures / 6.4.4：
Parallel Strategies for a Petabyte Multimedia Database Computer / 6.5：
Multimedia Data Warehouse, Databases, and Applications / 7.1：
Three Waves of Multimedia Database Development / 7.2.1：
National Medical Practice Knowledge Bank Application / 7.2.2：
Massively Parallel Architecture, Infrastructure, and Technology / 7.3：
Parallelism / 7.3.1：
Teradata-MM Architecture, Framework, and New Concepts / 7.4：
Teradata-MM Architecture / 7.4.1：
Key New Concepts / 7.4.2：
SQL3 / 7.4.3：
Federated Coordinator / 7.4.4：
Teradata Multimedia Object Server / 7.4.5：
Parallel UDF Execution Analysis / 7.5：
UDF Optimizations / 7.5.1：
PRAGMA Facility / 7.5.2：
UDF Value Persistence Facility / 7.5.3：
Spatial Indices for Content-Based Querying / 7.5.4：
The MEDUSA Project / 7.6：
Indexing and Data Partitioning / 8.1：
Standard Systems / 8.2.1：
Grid Files / 8.2.2：
Dynamic Load Balancing / 8.3：
Data Access Frequency / 8.3.1：
Data Distribution / 8.3.2：
Query Partitioning / 8.3.3：
The MEDUSA Architecture / 8.4：
Software / 8.4.2：
Grid File Implementation / 8.4.3：
Load Balancing Strategy / 8.4.4：
MEDUSA Performance Results / 8.5：
Test Configuration / 8.5.1：
Transaction Throughput / 8.5.2：
Speedup / 8.5.3：
Load Balancing Test Results / 8.5.4：
Conclusions / 8.6：
Partitioned Data Store / III：
System Software of the Super Database Computer SDC-II / 9：
Architectural Overview of the SDC-II / 9.1：
Design and Organization of the SDC-II System Software / 9.3：
Parallel Execution Model / 9.3.1：
I/O Model and Buffer Management Strategy for Bulk Data Transfer / 9.3.2：
Process Model and Efficient Flow Control Mechanism / 9.3.3：
Structure of the System Software Components / 9.3.4：
Evaluation of the SDC-II System / 9.4：
Details of a Sample Query Processing / 9.4.1：
Comparison with Commercial Systems / 9.4.2：
Data Placement in Parallel Database Systems / 9.5：
Overview of Data Placement Strategies / 10.1：
Declustering and Redistribution / 10.2.1：
Placement / 10.2.2：
Effects of Data Placement / 10.3：
STEADY and TPC-C / 10.3.1：
Dependence on Number of Processing Elements / 10.3.2：
Dependence on Database Size / 10.3.3：
Contributors / 10.4：
Introduction / 1：
Background / 1.1：
Parallel Database Systems / 1.2：
6.

図書
図書
6. The software project manager's handbook : principles that work at work
Dwayne Phillips
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1998  xvi, 387 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Elements of Effective Software Management / Part 1：
What Makes a Good Software Manager? / Chapter 1：
People perspective / 1.1：
Business perspective / 1.2：
Process perspective / 1.3：
Successful process techniques / 1.3.1：
Best practices / 1.3.2：
Management "secrets" / 1.3.3：
Key thoughts in this chapter / 1.4：
References
Four Basics that Work / Chapter 2：
People, process, and product / 2.1：
People / 2.1.1：
Process / 2.1.2：
Product / 2.1.3：
Balancing the 3Ps / 2.1.4：
Visibility / 2.2：
Basic visibility techniques / 2.2.1：
Using the techniques / 2.2.2：
Configuration management / 2.3：
The CM plan / 2.3.1：
Basic baselines / 2.3.2：
Activities / 2.3.3：
CM people / 2.3.4：
CM sketch / 2.3.5：
Standards / 2.4：
What Doesn't Work and Why / 2.5：
When the 3Ps are out of balance / 3.1：
When there's not enough visibility / 3.2：
When configuration management is missing or abused / 3.3：
When standards are dismissed / 3.4：
Managing a Project Day by Day / 3.5：
Balancing the 3Ps to create a good environment / 4.1：
Emotional safety / 4.1.1：
Emphasis on team empowerment / 4.1.2：
High degree of personal interaction / 4.1.3：
Good balance of work and rest / 4.1.4：
Structure that promotes success / 4.1.5：
Visibility: Project control in a simple equation / 4.2：
Collecting status / 4.2.1：
Collection guidelines / 4.2.2：
Making status visible and undistorted / 4.2.3：
Analyzing the situation / 4.2.4：
Taking action / 4.2.5：
Making and communicating decisions / 4.2.6：
Making a decision visible / 4.2.7：
Keeping the environment good / 4.2.8：
Managing an external supplier / 4.2.9：
CM: Managing baselines with milestones / 4.3：
Looking to standards for help / 4.4：
The Development Life-Cycle: Early Stages / 4.5：
Requirements / Chapter 5：
Balancing the 3Ps: Requirements gathering and analysis / 5.1：
Selecting the requirements engineer / 5.1.1：
Interviewing customers / 5.1.2：
Conducting group meetings / 5.1.3：
Diffusing tense situations / 5.1.4：
Evolving requirements / 5.1.5：
Requirements vs. design / 5.1.6：
Visibility: Making requirements known / 5.2：
An overview of techniques / 5.2.1：
Joint Application Development / 5.2.2：
Design by Walking Around / 5.2.3：
System Storyboarding Technique / 5.2.4：
Concept of operations / 5.2.5：
Mind maps / 5.2.6：
Gilb charts / 5.2.7：
Method 315 / 5.2.8：
Rapid prototyping / 5.2.9：
Software diagrams / 5.2.10：
The software requirements specification / 5.2.11：
Database support / 5.2.12：
Using CM / 5.3：
Using standards / 5.4：
Planning / 5.5：
Elements of a good plan / 6.1：
Balancing the 3Ps: Selecting the process / 6.2：
Prototyping / 6.2.1：
Rapid application development / 6.2.2：
Microsoft process / 6.2.3：
Spiral process / 6.2.4：
Process improvement mechanisms / 6.2.5：
Making the project visible: Planning techniques / 6.3：
Project context / 6.3.1：
Creating a task network / 6.3.2：
Cards on the wall planning / 6.3.3：
Making the project visible: Estimating techniques / 6.4：
Rayleigh model / 6.4.1：
PSP's Probe / 6.4.2：
A technique for simple estimation / 6.4.3：
Judging an estimate / 6.4.4：
Tailoring techniques to the process model / 6.4.5：
All-in-one military and commercial standards / 6.5：
Documenting the plan / 6.6.2：
Risk Management / 6.7：
A task overview / 7.1：
Balancing the 3Ps: Uncertainty and choice / 7.2：
Risk identification / 7.2.1：
Risk planning / 7.2.2：
Risk control / 7.2.3：
Risk monitoring / 7.2.4：
Risk directing and staffing / 7.2.5：
Making risk visible / 7.3：
Risk estimating / 7.3.1：
Risk evaluation / 7.3.2：
Risk analysis products / 7.3.3：
The Development Life-Cycle: Middle to Late Stages / 7.4：
Design / Chapter 8：
The challenges of the 3Ps / 8.1：
Managing creativity / 8.1.1：
Reducing design frustration / 8.1.2：
Evaluating and selecting from design alternatives / 8.1.3：
Visibility--Expressing the design / 8.2：
Words / 8.2.1：
Pictures / 8.2.2：
Configuration control boards / 8.3：
Design documents / 8.3.2：
Tracing requirements / 8.3.3：
Standards: Writing the SDD / 8.4：
Contents / 8.4.1：
Organization / 8.4.2：
Integration and Testing / 8.5：
Some I&T myths / 9.1：
Managing the 3Ps: People / 9.2：
Managing the 3Ps: Process / 9.3：
Common testing problems / 9.3.1：
IDEA / 9.3.2：
Verification and validation / 9.3.3：
Visibility: Testing techniques and details / 9.4：
Elements of effective testing / 9.4.1：
Black box testing / 9.4.2：
White box testing / 9.4.3：
Combining white box and black box testing / 9.4.4：
Integration testing / 9.4.5：
Acceptance testing / 9.4.6：
Regression testing / 9.4.7：
Cleanroom testing / 9.4.8：
How testing relates to other activities / 9.5：
Controlling test artifacts / 9.5.2：
Using the requirements traceability matrix / 9.5.3：
Standards: Documenting the test plan / 9.6：
Software Maintenance / 9.7：
What is maintenance? / 10.1：
Maintenance or development? / 10.1.1：
Maintenance activities / 10.1.2：
Why use configuration management? / 10.1.3：
Why is it so expensive and difficult? / 10.1.4：
Balancing the 3Ps: Managing the maintainers / 10.2：
Balancing the 3Ps: Managing the process / 10.3：
Balancing the 3Ps: Making the most of the product / 10.4：
Visibility: Understanding the maintenance stages / 10.5：
Identification and classification / 10.5.1：
Analysis / 10.5.2：
Implementation / 10.5.3：
System test / 10.5.5：
Acceptance test / 10.5.6：
Delivery / 10.5.7：
Keeping baselines straight / 10.6：
Managing releases / 10.6.2：
Pacing the process / 10.6.3：
Applying the Principles / 10.7：
Cookbook / Chapter 11：
Essentials / 11.1：
Use journals and decision records / 11.1.1：
Perform all CM activities / 11.1.2：
Manage day by day / 11.1.3：
Use standards / 11.1.4：
Conduct post-mortems / 11.1.5：
OPT: A waterfall project / 11.2：
Context / 11.2.1：
Project details / 11.2.2：
System upgrade: An evolutionary project / 11.3：
CTRan: A spiral project / 11.3.1：
Risks / 11.4.1：
Quadrants of the spiral / 11.4.3：
Cycles of the spiral / 11.4.5：
Appendices / 11.5：
Documents for the OPT Project / Appendix A：
OPT Executive Sponsor Memorandum
OPT Project Context Document
OPT Configuration Management Plan
OPT Concept of Operations
OPT Software Requirements Specification
OPT Software Project Management Plan
OPT Software Design Description
Configuration Management / Appendix B：
Will the Real CM please stand up? / B.1：
The main ingredients / B.2：
Baselines / B.3：
Basics / B.3.1：
Applying baselines in a waterfall project / B.3.2：
Applying baselines in a non-waterfall project / B.3.3：
Documenting baselines / B.3.4：
Baseline contents / B.3.5：
Interface control documents / B.3.6：
CM Activities / B.4：
Identification / B.4.1：
Control / B.4.2：
Auditing / B.4.3：
Status accounting / B.4.4：
CM staff / B.5：
Project manager / B.5.3：
CM plan / B.6：
A CM sketch / B.7：
Summary / B.8：
Structured Analysis and Design / Appendix C：
Structured analysis / C.1：
Environmental model / C.1.2：
Preliminary behavioral model / C.1.3：
Final behavioral model / C.1.4：
Finished essential model / C.1.5：
Structured design / C.2：
User implementation model / C.2.1：
Systems implementation model / C.2.2：
Program implementation model / C.2.3：
Annotated Bibliography / Appendix D：
Index
About the Author
Preface
Elements of Effective Software Management / Part 1：
What Makes a Good Software Manager? / Chapter 1：
7.

図書
図書
7. Behavior-based robotics
Ronald C. Arkin
出版情報: Cambridge, Mass. ; London, England : MIT Press, c1998  xiv, 491 p. ; 24 cm
シリーズ名: Intelligent robotics and autonomous agents
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Whence Behavior? / Chapter 1：
Toward Intelligent Robots / 1.1：
Precursors / 1.2：
Cybernetics / 1.2.1：
Artificial Intelligence / 1.2.2：
Robotics / 1.2.3：
The Spectrum Of Robot Control / 1.3：
Deliberative/Hierarchical Control / 1.3.1：
Reactive Systems / 1.3.2：
Related Issues / 1.4：
What's Ahead / 1.5：
Animal Behavior / Chapter 2：
What Does Animal Behavior Offer Robotics? / 2.1：
Neuroscientific Basis For Behavior / 2.2：
Neural Circuity / 2.2.1：
Brain Structure and Function / 2.2.2：
Abstract Neuroscientific Models / 2.2.3：
Schema-Theoretic Methods / 2.2.3.1：
Neural Networks / 2.2.3.2：
Psychological Basis For Behavior / 2.3：
Ethological Basis For Behavior / 2.4：
Representative Examples Of Bio-Robots / 2.5：
Ant Chemotaxis / 2.5.1：
Fly Vision / 2.5.2：
Cockroach Locomotion / 2.5.3：
Primate Brachiation / 2.5.4：
Robotic Honeybee / 2.5.5：
Chapter Summary / 2.6：
Robot Behavior / Chapter 3：
What Are Robotic Behaviors? / 3.1：
A Navigational Example / 3.1.1：
Basis for Robotic Behavior / 3.1.3：
Expression Of Behaviors / 3.2：
Stimulus-Response Diagrams / 3.2.1：
Functional Notation / 3.2.2：
Finite State Acceptor Diagrams / 3.2.3：
Formal Methods / 3.2.4：
RS / 3.2.4.1：
Situated Automata / 3.2.4.2：
Behavioral Encoding / 3.3：
Discrete Encoding / 3.3.1：
Continuous Functional Encoding / 3.3.2：
Assembling Behaviors / 3.4：
Emergent Behavior / 3.4.1：
Notation / 3.4.2：
Behavioral Coordination / 3.4.3：
Competitive Methods / 3.4.3.1：
Cooperative Methods / 3.4.3.2：
Behavioral Assemblages / 3.4.4：
Behavior-Based Architectures / 3.5：
What Is A Robotic Architecture? / 4.1：
Definitions / 4.1.1：
Computability / 4.1.2：
Evaluation Criteria / 4.1.3：
Organizing Principles / 4.1.4：
A Foraging Example / 4.2：
Subsumption Architecture / 4.3：
Behaviors in Subsumption / 4.3.1：
Coordination in Subsumption / 4.3.2：
Design in Subsumption-Based Reactive Systems / 4.3.3：
Foraging Example / 4.3.4：
Evaluation / 4.3.5：
Subsumption Robots / 4.3.6：
Motor Schemas / 4.4：
Schema-Based Behaviors / 4.4.1：
Schema-Based Coordination / 4.4.2：
Design in Motor Schema-Based Systems / 4.4.3：
Schema-Based Robots / 4.4.4：
Other Architectures / 4.5：
Circuit Architecture / 4.5.1：
Colony Architecture / 4.5.3：
Animate Agent Architecture / 4.5.4：
DAMN / 4.5.5：
Skill Network Architecture / 4.5.6：
Other Efforts / 4.5.7：
Architectural Design Issues / 4.6：
Representational Issues for Behavioral Systems / 4.7：
Representational Knowledge / 5.1：
What Is Knowledge? / 5.1.1：
Characteristics of Knowledge / 5.1.2：
Representational Knowledge For Behavior-Based Systems / 5.2：
Short-Term Behavioral Memory / 5.2.1：
Long-Term Memory Maps / 5.2.2：
Sensor-Derived Cognitive Maps / 5.2.2.1：
A Priori Map-Derived Representations / 5.2.2.2：
Perceptual Representations / 5.3：
Hybrid Deliberative/Reactive Architectures / 5.4：
Why Hybridize? / 6.1：
Biological Evidence In Support Of Hybrid Systems / 6.2：
Traditional Deliberative Planners / 6.3：
Deliberation: To Plan Or Not To Plan? / 6.4：
Layering / 6.5：
Representative Hybrid Architectures / 6.6：
AuRa / 6.6.1：
Atlantis / 6.6.2：
Planner-Reactor Architecture / 6.6.3：
The Procedural Reasoning System / 6.6.4：
Other Hybrid Architectures / 6.6.5：
Perceptual Basis for Behavior-Based Control / 6.7：
A Break From Tradition / 7.1：
What Does Biology Say? / 7.2：
The Nature of Perceptual Stimuli / 7.2.1：
Neuroscientific Evidence / 7.2.2：
Psychological Insights / 7.2.3：
Affordances / 7.2.3.1：
A Modified Action-Perception Cycle / 7.2.3.2：
Perception as Communication-An Ethological Stance / 7.2.4：
A Brief Survey Of Robotic Sensors / 7.3：
Dead Reckoning / 7.3.1：
Ultrasound / 7.3.2：
Computer Vision / 7.3.3：
Laser Scanners / 7.3.4：
Modular Perception / 7.4：
Perceptual Schemas / 7.4.1：
Visual Routines / 7.4.2：
Perceptual Classes / 7.4.3：
Lightweight Vision / 7.4.4：
Action And Perception / 7.5：
Action-Oriented Perception / 7.5.1：
Active Perception / 7.5.2：
The Role of Attention in Human Visual Processing / 7.5.5.1：
Hardware Methods for Focus of Attention / 7.5.5.2：
Knowledge-Based Focus-of-Attention Methods / 7.5.5.3：
Perceptual Sequencing / 7.5.6：
Sensor Fusion for Behavior-Based Systems / 7.5.7：
Representative Examples Of Behavior-Based Perception / 7.6：
Road Following / 7.6.1：
Visual Tracking / 7.6.2：
Adaptive Behavior / 7.7：
Why Should Robots Learn? / 8.1：
Opportunities For Learning In Behavior-Based Robotics / 8.2：
Reinforcement Learning / 8.3：
Learning to Walk / 8.3.1：
The Learning Algorithm / 8.3.1.1：
Robotic Results / 8.3.1.2：
Learning to Push / 8.3.2：
Learning to Shoot / 8.3.2.1：
Learning In Neural Networks / 8.3.3.1：
Classical Conditioning / 8.4.1：
Adaptive Heuristic Critic Learning / 8.4.2：
Learning New Behaviors Using an Associative Memory / 8.4.3：
Genetic Algorithms / 8.5：
What Are Genetic Algorithms? / 8.5.1：
Genetic Algorithms for Learning Behavioral Control / 8.5.2：
Classifier Systems / 8.5.3：
On-Line Evolution / 8.5.4：
Evolving Form Concurrently with Control / 8.5.5：
Hybrid Genetic/Neural Learning and Control / 8.5.6：
Fuzzy Behavioral Control / 8.6：
What Is Fuzzy Control? / 8.6.1：
Fuzzy Behavior-Based Robotic Systems / 8.6.2：
Flakey / 8.6.2.1：
Marge / 8.6.2.2：
Learning Fuzzy Rules / 8.6.3：
Other Types Of Learning / 8.7：
Case-Based Learning / 8.7.1：
Memory-based Learning / 8.7.2：
Explanation-Based Learning / 8.7.3：
Social Behavior / 8.8：
Are Two (Or N) Robots Better Than One? / 9.1：
Ethological Considerations / 9.2：
Characterization Of Social Behavior / 9.3：
Reliability / 9.3.1：
Social Organization / 9.3.2：
Communication / 9.3.3：
Spatial Distribution / 9.3.4：
Congregation / 9.3.5：
Performance / 9.3.6：
What Makes A Robotic Team? / 9.4：
Social Organization And Structure / 9.5：
The Nerd Herd / 9.5.1：
Alliance Architecture / 9.5.2：
Stagnation Behaviors / 9.5.3：
Societal Agents / 9.5.4：
Army Ant Project / 9.5.5：
Interrobot Communication / 9.6：
The Need for Communication / 9.6.1：
Communication Range / 9.6.2：
Communication Content / 9.6.3：
Guaranteeing Communication / 9.6.4：
Distributed Perception / 9.7：
Social Learning / 9.8：
L-Alliance / 9.8.1：
Tropism System Cognitive Architecture / 9.8.3：
Learning by Imitation / 9.8.4：
Case Study: Ugv Demo II / 9.9：
Formation Behaviors / 9.9.1：
Multiagent Mission Specification / 9.9.2：
Team Teleautonomy / 9.9.3：
Fringe Robotics: Beyond Behavior / 9.10：
Issues Of The Robot Mind / 10.1：
On Computational Thought / 10.1.1：
On Consciousness / 10.1.2：
On Emotions / 10.1.3：
On Imagination / 10.1.4：
Issues Of The Robot Body / 10.2：
Hormones and Homeostasis / 10.2.1：
The Homeostat / 10.2.1.1：
Subsumption-Based Hormonal Control / 10.2.1.3：
Immune Systems / 10.2.2：
Nanotechnology / 10.2.3：
On Equivalence (Or Better) / 10.3：
Opportunities / 10.4：
References / 10.5：
Name Index
Subject Index
Foreword
Preface
Whence Behavior? / Chapter 1：
8.

図書
図書
8. Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York, USA
edited by David Gries, Willem-Paul de Roever
出版情報: London : Chapman & Hall, c1998  viii, 486 p. ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. Natural Working Fluids '98, IIR - Gustav Lorentzen Conference : proceedings of the conference of Commission B2 with B1, E1 & E2, (June 2-5, 1998), Oslo, Norway = Fluides Actifs Naturels, Conference IIF - Gustav Lorentzen : compte rendu de la conférence de la Commission B2 with B1, E1 & E2
issued by International Institute of Refrigeration = edité par Institut International du Froid
出版情報: Paris : Institut International du Froid, [1998]  766 p ; 24 cm
シリーズ名: Science et technique du froid = Refrigeration science and technology ; 1998-4
所蔵情報: loading…
10.

図書
図書
10. Wavelength division multiple access optical networks
Andrea Borella, Giovanni Cancellieri, Franco Chiaraluce
出版情報: Boston : Artech House, c1998  x, 322 p. ; 24 cm
シリーズ名: The Artech House optoelectronics library
所蔵情報: loading…
目次情報: 続きを見る
Preface
Optical Networking / Chapter 1：
Brief History of Optical Communications / 1.1：
Main Features of WDMA Optical Networks / 1.2：
Classification / 1.3：
Practical Limits / 1.4：
Passive Components / 1.5：
Active Devices and Apparatuses / 1.6：
EDFAs / 1.7：
Traffic Aspects / 1.8：
References
Single-Hop Optical Networks / Chapter 2：
General Concepts / 2.1：
Transmission Protocols / 2.2：
Fixed and Semifixed Assignment Protocols / 2.2.1：
Random Access Protocols with No Pretransmission Coordination / 2.2.2：
Random Access Protocols with Pretansmission Coordination / 2.2.3：
Outline of Performance Comparison and Final Remarks on the Transmission Protocols / 2.2.4：
Experimental Broadcast-and-Select Single-Hop Networks / 2.3：
Lambdanet / 2.3.1：
Rainbow / 2.3.2：
Fox / 2.3.3：
Hypass / 2.3.4：
Bhypass / 2.3.5：
Photonic Knockout Switch / 2.3.6：
Passive Photonic Loop / 2.3.7：
Star-Track / 2.3.8：
Fiber Delay Line Switching Matrix / 2.3.9：
Symfonet / 2.3.10：
Mesh with Broadcast-and-Select / 2.3.11：
An Example of Wavelength-Routing WDMA Network: The Linear Lightwave Network / 2.4：
The LLN Architecture / 2.4.1：
Routing Constraints / 2.4.2：
Performance with Different Routing Schemes / 2.4.3：
Multihop Optical Networks / Chapter 3：
Preliminary Remarks / 3.1：
Basic Characteristics of Multihop Networks / 3.1.1：
Meaning and Importance of Some Performance Parameters / 3.1.2：
Manhattan Street Networks / 3.2：
Network Architecture / 3.2.1：
Some Topological Characteristics of a MSN / 3.2.2：
Distributed Routing Rules in MSNs / 3.2.3：
All-Optical Implementation of MSNs / 3.2.4：
Bidirectional MSNs / 3.2.5：
Characteristic Parameters of a BMSN / 3.2.6：
Bidirectional Manhattan Topology with Uplinks / 3.2.7：
Routing in BMSNs / 3.2.8：
Shuffle Networks / 3.3：
The Perfect Shuffle Topology / 3.3.1：
Shufflenets with Shared Channels / 3.3.2：
Size Modifications of Shuffle Networks Based on Multistar Architecture / 3.3.3：
Modular Expansion of Shufflenets / 3.3.4：
Channel Sharing in a Bidirectional Perfect Shuffle Topology / 3.3.5：
Routing in Shufflenets / 3.3.6：
Evolutions of the Shuffle Topology / 3.4：
Duplex Shufflenet / 3.4.1：
Gemnet / 3.4.2：
Enlarged Shufflenet Architecture / 3.4.3：
Modification of the Shufflenet Connectivity Graph / 3.4.4：
Banyan Net / 3.4.5：
De Bruijn Graph Topology / 3.5：
The de Bruijn Graph / 3.5.1：
Routing in de Brujin Networks / 3.5.2：
de Bruijn Versus Shufflenet / 3.5.3：
The Modified de Bruijn Topology / 3.5.4：
de Bruijn Network Variants / 3.5.5：
MATRIX Topology / 3.6：
Space Diversity to Avoid WDM Conversion / 3.6.1：
Network Parameters / 3.6.2：
SWIFT Architecture / 3.7：
The SWIFT Approach / 3.7.1：
The Data Link Layer / 3.7.2：
The Routing Layer / 3.7.3：
SWIFT Performance / 3.7.4：
Starnet Architecture / 3.8：
Starnet Basic Characteristics / 3.8.1：
Node Structure / 3.8.2：
The Circuit Switching and Packet Switching Subnetworks / 3.8.3：
Multihop Networks Supported by Starnet / 3.8.4：
Multilevel Optical Networks / Chapter 4：
Networks of Networks / 4.1：
Star-of-Stars Network / 4.2：
Hierarchical LLN / 4.3：
Combination of Single-Hop and Multihop Connection Modes in MONs / 4.4：
Basic Concepts for the Two-Level Case / 4.4.1：
Analysis and Optimization of MONs / 4.4.2：
Comparison with Shufflenet / 4.4.3：
Multiple Hierarchical Levels / 4.4.4：
About the Authors
Index
Preface
Optical Networking / Chapter 1：
Brief History of Optical Communications / 1.1：
11.

図書
図書
11. Abstract compositional analysis of iterated relations : a structural approach to complex state transition systems
Frédéric Geurts
出版情報: Berlin : Springer, c1998  xiv, 280 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1426
所蔵情報: loading…
目次情報: 続きを見る
Foreword / Michel Sintzoff
Preface
Prologue: Aims, Themes, and Motivations / 1：
Complex Relational Dynamical Systems / 1.1：
The Context: A First Contact with Dynamical Systems / 1.1.1：
Mutual Exclusion / 1.1.2：
Social Pressure / 1.1.3：
On the Chaotic Demography of Rabbits / 1.1.4：
Tools and Motivations / 1.2：
Overview of the Monograph / 1.3：
Mathematical Framework: Iterated Relations and Composition / Part I：
Dynamics of Relations / 2：
Functional Discrete-Time Dynamical Systems / 2.1：
Relational Dynamical Systems / 2.2：
Point-Level Nondeterministic Dynamics / 2.2.1：
Set-Level Deterministic Dynamics / 2.2.2：
Comparison / 2.2.3：
Preliminary Definitions and Properties / 2.3：
Basic Definitions About Relations / 2.3.1：
Notions from Topology / 2.3.2：
Monotonicity and General Junctivity Properties / 2.3.3：
Fixpoint Theorems / 2.3.4：
Elementary Properties / 2.3.5：
Metric Properties / 2.3.6：
Transfinite Iterations / 2.4：
Motivation / 2.4.1：
Transfinite Fixpoint Theorem / 2.4.2：
Transfinite Limits of Iterations / 2.4.3：
Discussion / 2.5：
Relations vs Functions / 2.5.1：
Set-Level Dynamics and Predicate-Transformers / 2.5.2：
Point-Level Dynamics and Trace Semantics / 2.5.3：
Nondeterminism and Probabilistic Choices / 2.5.4：
Time Structure / 2.5.5：
Dynamics of Composed Relations / 3：
Structural Composition / 3.1：
Composition of Relations / 3.2：
Unary Operators / 3.2.1：
N-Ary Operators / 3.2.2：
Composed Dynamical Systems / 3.2.3：
One-Step Set-Level Evolution of Composed Relations / 3.3：
Point-Level Dynamics of Composed Systems / 3.3.2：
Algebraic Properties of Composition Operators / 3.4：
Composition of Unary Operators / 3.4.1：
Composition of Unary and N-Ary Operators / 3.4.2：
Composition of N-Ary Operators / 3.4.3：
Fixpoint Theory for the Composition / 3.4.4：
Composition Operators / 3.5：
Nondeterminism and Probabilities Revisited / 3.5.2：
Fixpoint Operator and Composition / 3.5.3：
Abstract Complexity: Abstraction, Invariance, Attraction / Part II：
Abstract Observation of Dynamics / 4：
Observation of Systems / 4.1：
Trace-Based Dynamics / 4.2：
Symbolic Observation / 4.3：
Abstraction of Systems / 4.4：
Qualitative Abstract Verification / 4.5：
Observation as Abstraction / 4.6：
Observation and Abstraction: Related Work / 4.7：
Symbolic Dynamics vs Astract Observation / 4.7.2：
Invariance, Attraction, Complexity / 4.7.3：
Invariance / 5.1：
Forward and Backward Invariance / 5.1.1：
Global Invariance / 5.1.2：
Strong Invariance / 5.1.3：
Structure of Invariants / 5.2：
Trace-Parametrized Invariants / 5.2.1：
Fullness and Atomicity / 5.2.2：
Chaos / 5.2.3：
Fullness Implies Trace Chaos / 5.2.4：
Fullness and Atomicity Imply Knudsen Chaos / 5.2.5：
Devaney vs Trace vs Knudsen Chaos / 5.2.6：
Fullness and Atomicity Criteria / 5.3：
Criteria / 5.3.1：
Case Studies: Dyadic Map, Cantor Relation, Logistic Map / 5.3.2：
Attraction / 5.4：
Intuition: From Reachability to Attraction / 5.4.1：
From Weak to Full Attraction / 5.4.2：
A Taxonomy of Attraction / 5.4.3：
Attraction Criteria / 5.5：
Attraction by Invariants / 5.6：
Invariance and Attraction: Related Notions / 5.7：
Energy-Like Functions / 5.7.2：
Dynamical Complexity / 5.7.3：
Abstract Compositional Analysis of Systems: Dynamics and Computations / Part III：
Compositional Analysis of Dynamical Properties / 6：
Aims and Informal Results / 6.1：
Inversion / 6.2：
Restrictions / 6.3：
Domain Restriction / 6.3.1：
Range Restriction / 6.3.2：
Negation / 6.4：
Sequential Composition / 6.5：
Intersection / 6.6：
Union / 6.7：
Products / 6.8：
Free Product / 6.8.1：
Connected Product / 6.8.2：
Combining Union with Free Product / 6.9：
Compositionality: Summary / 6.10：
Limitations and Open Problems / 6.10.2：
Related Work / 6.10.3：
Emergence of Complexity by Structural Composition / 6.10.4：
Case Studies: Compositional Analysis of Dynamics / 7：
A Collection of Complex Behaviors / 7.1：
Smale Horseshoe Map / 7.2：
Cantor Relation / 7.3：
From Cantor Relation to Truncated Logistic Map / 7.4：
Paperfoldings / 7.5：
Introduction / 7.5.1：
Paperfolding Sequences / 7.5.2：
Dynamical Complexity of Paperfoldings / 7.5.3：
Partial Conclusions / 7.5.4：
Discussion: Compositional Dynamical Complexity / 7.6：
Experimental Compositional Analysis of Cellular Automata / 8：
Aims and Motivations: Attraction-Based Classification and Composition / 8.1：
Preliminary Notions / 8.2：
Cellular Automata / 8.2.1：
Transfinite Attraction / 8.2.2：
Shifted Hamming Distance / 8.2.3：
Experimental Classification / 8.3：
Formal Attraction-Based Classification / 8.4：
Type-<$>{\cal N}<$> Cellular Automata / 8.4.1：
Type-<$>{\cal F}<$> Cellular Automata / 8.4.3：
Type-<$>{\cal P}<$> Cellular Automata / 8.4.4：
Type-<$>{\cal S}<$> Cellular Automata / 8.4.5：
Type-<$>{\cal A}<$> Cellular Automata / 8.4.6：
Structural Organizations of CA Classes / 8.4.7：
Motivation: Simulation vs Theoretical Results / 8.5.1：
Linear Periodicity Hierarchy / 8.5.2：
Periodicity Clustering / 8.5.3：
Organization w.r.t. Shifted Hamming Distance / 8.5.4：
Dynamical Complexity in CA / 8.5.5：
Conjectures in CA Composition / 8.6：
Complexity by Composition of Shifts / 8.7：
Rules 2 and 16 / 8.7.1：
A More Precise Conjecture / 8.7.2：
Qualitative Analysis and Complexity Measures / 8.8：
Compositional Analysis of Complex CA / 8.9：
Local Disjunction, Local Union, and Global Union / 8.9.1：
Comparison and Summary of Results / 8.9.2：
Summary and Partial Conclusion / 8.10：
Open Questions / 8.10.2：
Classification: State-of-the-Art / 8.10.3：
Aperiodicity in Cellular Automata / 8.10.4：
Related Work in Composition / 8.10.5：
Compositional Analysis of Computational Properties / 9：
Automata as Dynamical Systems / 9.1：
Comparing Dynamical Systems / 9.2：
Extrinsic Method / 9.2.1：
Intrinsic Method / 9.2.2：
Our Comparison / 9.2.3：
From Locality to Globality / 9.3：
Turing Machines / 9.3.1：
Continuous Functions / 9.3.2：
General Model / 9.3.4：
Comparison Through Simulation / 9.4：
Simulation / 9.4.1：
Choice of Coding / 9.4.2：
From TM to CA / 9.4.3：
From CA to CF / 9.4.4：
Weak Hierarchy / 9.4.5：
Topological and Metric Properties / 9.5：
Continuity / 9.5.1：
Shift-Invariance / 9.5.2：
Lipschitz Property / 9.5.3：
Shift-Vanishing Effect / 9.5.4：
Nondeterminism / 9.5.5：
Summary / 9.5.6：
Computability of Initial Conditions / 9.6：
Hierarchy of Systems / 9.7：
Composition and Computation / 9.8：
Further Work / 9.8.2：
Epilogue: Conclusions and Directions for Future Work / 9.8.3：
Contributions and Related Work / 10.1：
Mathematical Framework / 10.1.1：
Compositional Analysis / 10.1.2：
Directions for Future Research / 10.2：
A Patchwork of Open Technical Issues / 10.2.1：
Fractal Image Compression / 10.2.2：
Distributed Dynamical Optimization / 10.2.3：
Distributed Systems and Self-Stabilization / 10.2.4：
Probabilistic Systems and Measures / 10.2.5：
Higher-Order Systems, Control, and Learning / 10.2.6：
Design of Attraction-Based Systems / 10.2.7：
The Garden of Structural Similarities / 10.3：
Coda: Compositional Complexity Revisited / 10.4：
Bibliography
Glossary of Symbols
Index
Foreword / Michel Sintzoff
Preface
Prologue: Aims, Themes, and Motivations / 1：
12.

電子ブック
ＥＢ
12. Abstract Compositional Analysis of Iterated Relations
Frédéric Geurts
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1998
所蔵情報: loading…
目次情報: 続きを見る
Foreword / Michel Sintzoff
Preface
Prologue: Aims, Themes, and Motivations / 1：
Complex Relational Dynamical Systems / 1.1：
The Context: A First Contact with Dynamical Systems / 1.1.1：
Mutual Exclusion / 1.1.2：
Social Pressure / 1.1.3：
On the Chaotic Demography of Rabbits / 1.1.4：
Tools and Motivations / 1.2：
Overview of the Monograph / 1.3：
Mathematical Framework: Iterated Relations and Composition / Part I：
Dynamics of Relations / 2：
Functional Discrete-Time Dynamical Systems / 2.1：
Relational Dynamical Systems / 2.2：
Point-Level Nondeterministic Dynamics / 2.2.1：
Set-Level Deterministic Dynamics / 2.2.2：
Comparison / 2.2.3：
Preliminary Definitions and Properties / 2.3：
Basic Definitions About Relations / 2.3.1：
Notions from Topology / 2.3.2：
Monotonicity and General Junctivity Properties / 2.3.3：
Fixpoint Theorems / 2.3.4：
Elementary Properties / 2.3.5：
Metric Properties / 2.3.6：
Transfinite Iterations / 2.4：
Motivation / 2.4.1：
Transfinite Fixpoint Theorem / 2.4.2：
Transfinite Limits of Iterations / 2.4.3：
Discussion / 2.5：
Relations vs Functions / 2.5.1：
Set-Level Dynamics and Predicate-Transformers / 2.5.2：
Point-Level Dynamics and Trace Semantics / 2.5.3：
Nondeterminism and Probabilistic Choices / 2.5.4：
Time Structure / 2.5.5：
Dynamics of Composed Relations / 3：
Structural Composition / 3.1：
Composition of Relations / 3.2：
Unary Operators / 3.2.1：
N-Ary Operators / 3.2.2：
Composed Dynamical Systems / 3.2.3：
One-Step Set-Level Evolution of Composed Relations / 3.3：
Point-Level Dynamics of Composed Systems / 3.3.2：
Algebraic Properties of Composition Operators / 3.4：
Composition of Unary Operators / 3.4.1：
Composition of Unary and N-Ary Operators / 3.4.2：
Composition of N-Ary Operators / 3.4.3：
Fixpoint Theory for the Composition / 3.4.4：
Composition Operators / 3.5：
Nondeterminism and Probabilities Revisited / 3.5.2：
Fixpoint Operator and Composition / 3.5.3：
Abstract Complexity: Abstraction, Invariance, Attraction / Part II：
Abstract Observation of Dynamics / 4：
Observation of Systems / 4.1：
Trace-Based Dynamics / 4.2：
Symbolic Observation / 4.3：
Abstraction of Systems / 4.4：
Qualitative Abstract Verification / 4.5：
Observation as Abstraction / 4.6：
Observation and Abstraction: Related Work / 4.7：
Symbolic Dynamics vs Astract Observation / 4.7.2：
Invariance, Attraction, Complexity / 4.7.3：
Invariance / 5.1：
Forward and Backward Invariance / 5.1.1：
Global Invariance / 5.1.2：
Strong Invariance / 5.1.3：
Structure of Invariants / 5.2：
Trace-Parametrized Invariants / 5.2.1：
Fullness and Atomicity / 5.2.2：
Chaos / 5.2.3：
Fullness Implies Trace Chaos / 5.2.4：
Fullness and Atomicity Imply Knudsen Chaos / 5.2.5：
Devaney vs Trace vs Knudsen Chaos / 5.2.6：
Fullness and Atomicity Criteria / 5.3：
Criteria / 5.3.1：
Case Studies: Dyadic Map, Cantor Relation, Logistic Map / 5.3.2：
Attraction / 5.4：
Intuition: From Reachability to Attraction / 5.4.1：
From Weak to Full Attraction / 5.4.2：
A Taxonomy of Attraction / 5.4.3：
Attraction Criteria / 5.5：
Attraction by Invariants / 5.6：
Invariance and Attraction: Related Notions / 5.7：
Energy-Like Functions / 5.7.2：
Dynamical Complexity / 5.7.3：
Abstract Compositional Analysis of Systems: Dynamics and Computations / Part III：
Compositional Analysis of Dynamical Properties / 6：
Aims and Informal Results / 6.1：
Inversion / 6.2：
Restrictions / 6.3：
Domain Restriction / 6.3.1：
Range Restriction / 6.3.2：
Negation / 6.4：
Sequential Composition / 6.5：
Intersection / 6.6：
Union / 6.7：
Products / 6.8：
Free Product / 6.8.1：
Connected Product / 6.8.2：
Combining Union with Free Product / 6.9：
Compositionality: Summary / 6.10：
Limitations and Open Problems / 6.10.2：
Related Work / 6.10.3：
Emergence of Complexity by Structural Composition / 6.10.4：
Case Studies: Compositional Analysis of Dynamics / 7：
A Collection of Complex Behaviors / 7.1：
Smale Horseshoe Map / 7.2：
Cantor Relation / 7.3：
From Cantor Relation to Truncated Logistic Map / 7.4：
Paperfoldings / 7.5：
Introduction / 7.5.1：
Paperfolding Sequences / 7.5.2：
Dynamical Complexity of Paperfoldings / 7.5.3：
Partial Conclusions / 7.5.4：
Discussion: Compositional Dynamical Complexity / 7.6：
Experimental Compositional Analysis of Cellular Automata / 8：
Aims and Motivations: Attraction-Based Classification and Composition / 8.1：
Preliminary Notions / 8.2：
Cellular Automata / 8.2.1：
Transfinite Attraction / 8.2.2：
Shifted Hamming Distance / 8.2.3：
Experimental Classification / 8.3：
Formal Attraction-Based Classification / 8.4：
Type-<$>{\cal N}<$> Cellular Automata / 8.4.1：
Type-<$>{\cal F}<$> Cellular Automata / 8.4.3：
Type-<$>{\cal P}<$> Cellular Automata / 8.4.4：
Type-<$>{\cal S}<$> Cellular Automata / 8.4.5：
Type-<$>{\cal A}<$> Cellular Automata / 8.4.6：
Structural Organizations of CA Classes / 8.4.7：
Motivation: Simulation vs Theoretical Results / 8.5.1：
Linear Periodicity Hierarchy / 8.5.2：
Periodicity Clustering / 8.5.3：
Organization w.r.t. Shifted Hamming Distance / 8.5.4：
Dynamical Complexity in CA / 8.5.5：
Conjectures in CA Composition / 8.6：
Complexity by Composition of Shifts / 8.7：
Rules 2 and 16 / 8.7.1：
A More Precise Conjecture / 8.7.2：
Qualitative Analysis and Complexity Measures / 8.8：
Compositional Analysis of Complex CA / 8.9：
Local Disjunction, Local Union, and Global Union / 8.9.1：
Comparison and Summary of Results / 8.9.2：
Summary and Partial Conclusion / 8.10：
Open Questions / 8.10.2：
Classification: State-of-the-Art / 8.10.3：
Aperiodicity in Cellular Automata / 8.10.4：
Related Work in Composition / 8.10.5：
Compositional Analysis of Computational Properties / 9：
Automata as Dynamical Systems / 9.1：
Comparing Dynamical Systems / 9.2：
Extrinsic Method / 9.2.1：
Intrinsic Method / 9.2.2：
Our Comparison / 9.2.3：
From Locality to Globality / 9.3：
Turing Machines / 9.3.1：
Continuous Functions / 9.3.2：
General Model / 9.3.4：
Comparison Through Simulation / 9.4：
Simulation / 9.4.1：
Choice of Coding / 9.4.2：
From TM to CA / 9.4.3：
From CA to CF / 9.4.4：
Weak Hierarchy / 9.4.5：
Topological and Metric Properties / 9.5：
Continuity / 9.5.1：
Shift-Invariance / 9.5.2：
Lipschitz Property / 9.5.3：
Shift-Vanishing Effect / 9.5.4：
Nondeterminism / 9.5.5：
Summary / 9.5.6：
Computability of Initial Conditions / 9.6：
Hierarchy of Systems / 9.7：
Composition and Computation / 9.8：
Further Work / 9.8.2：
Epilogue: Conclusions and Directions for Future Work / 9.8.3：
Contributions and Related Work / 10.1：
Mathematical Framework / 10.1.1：
Compositional Analysis / 10.1.2：
Directions for Future Research / 10.2：
A Patchwork of Open Technical Issues / 10.2.1：
Fractal Image Compression / 10.2.2：
Distributed Dynamical Optimization / 10.2.3：
Distributed Systems and Self-Stabilization / 10.2.4：
Probabilistic Systems and Measures / 10.2.5：
Higher-Order Systems, Control, and Learning / 10.2.6：
Design of Attraction-Based Systems / 10.2.7：
The Garden of Structural Similarities / 10.3：
Coda: Compositional Complexity Revisited / 10.4：
Bibliography
Glossary of Symbols
Index
Foreword / Michel Sintzoff
Preface
Prologue: Aims, Themes, and Motivations / 1：
13.

図書
図書
13. Incompressible flow and the finite element method : advection-diffusion and isothermal laminar flow
P. M. Gresho, R. L. Sani in collaboration with M. S. Engelman
出版情報: Chichester : Wiley, c1998  xx, 1021p ; 25cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Glossary of Abbreviations
Introduction / 1：
Incompressible Flow / 1.1：
The Finite Element Method / 1.3：
Incompressible Flow and the Finite Element Method / 1.4：
Overview of this Book; Some Subjective Discussion / 1.5：
Why Finite Elements? Why not Finite Volume? / 1.6：
The Advection-Diffusion Equation / 2：
The Continuum Equation / 2.1：
The Advective (Convective) Form / 2.1.1：
Dimensionless Forms and Limiting Cases of the Equation / 2.1.2：
The Divergence (Conservation) Form / 2.1.3：
Conservation Laws / 2.1.4：
Weak forms of PDE's/Natural Boundary Conditions / 2.1.5：
The Finite Element Equations/Discretization of the Weak Form / 2.2：
Advective Form / 2.2.1：
Divergence Form / 2.2.2：
An Absolutely Conserving Form / 2.2.3：
A Finite Difference Interpretation / 2.2.5：
A Control Volume FEM... / 2.2.6：
Some Semi-Discrete Equations / 2.3：
One Dimension / 2.3.1：
Two Dimensions with Bilinear Elements / 2.3.2：
Two Dimension with Biquadratic Elements / 2.3.3：
Two Dimensions with Serendipity Elements / 2.3.4：
Open Boundary Conditions (OBC's) / 2.4：
Two Dimensions / 2.4.1：
Some Non-Galerkin Results / 2.5：
The Lumped Mass Approximation / 2.5.1：
One-point Quadrature / 2.5.2：
Control Volume Finite Element (CVFEM) / 2.5.3：
The Group FEM/Product Approximation / 2.5.4：
The Petrov-Galerkin FEM / 2.5.5：
Dispersion, Dissipation, Phase Speed, Group Velocity, Mesh Design, and - Wiggles / 2.6：
Qualitative Discussion / 2.6.1：
Qualitative Discussion for some 1D Problems / 2.6.2：
Extension to 2D / 2.6.3：
Time Integration / 2.7：
Some Explicit ODE Methods / 2.7.1：
Application to Advection Diffusion (Scalar Transport) / 2.7.2：
Some Implicit ODE Methods / 2.7.3：
A Variable-Step Implicit Method for Advection-Diffusion / 2.7.4：
A Semi-Implicit Method / 2.7.5：
Dispersion (et al.) Errors for some Fully Discrete Methods / 2.7.6：
Concluding remarks and Suggestions / 2.7.8：
Additional Numerical Examples / 2.8：
Unstable ODE Examples / 2.8.1：
Advection-Diffusion of a Puff (Point Source) / 2.8.2：
The Rotating Cone - A Pure Advection Test Problem / 2.8.3：
The Navier-Stokes Equations / 3：
Notational Introduction / 3.1：
The Continuum, Equations (PDE's) / 3.2：
Alternate Forms of the Viscous Term / 3.3：
Stress-Divergence Form / 3.3.1：
Div-Curl Form / 3.3.2：
Curl Form / 3.3.3：
Alternate Forms of the Non-Linear Term / 3.4：
Rotational Form / 3.4.1：
Skew-Symmetric Form / 3.4.3：
A Symmetric Form / 3.4.4：
Derived Equations / 3.5：
The Pressure Poisson Equation (PPE) / 3.5.1：
The Vorticity Transport Equation / 3.5.2：
The Penalized Momentum Equation / 3.5.3：
Alternate Statements of the NS Equations / 3.6：
Velocity-Pressure in Divergence Form / 3.6.1：
Velocity-Pressure in Rotational Form / 3.6.2：
PPE Form / 3.6.3：
The Stream Function-Vorticity (-) / 3.6.4：
The Velocity-Vorticity Formulation / 3.6.5：
Other Formulations / 3.6.6：
Special Cases of Interest / 3.7：
Stokes Flow / 3.7.1：
Inviscid Flow / 3.7.2：
Potential Flow / 3.7.3：
Axisymmetric Flow / 3.7.4：
Boundary Conditions / 3.8：
u-P Equations / 3.8.1：
The Pressure Poisson Equation and Pressure Boundary Conditions / 3.8.2：
The Vorticity Transport Equation and Boundary Conditions on the Vorticity / 3.8.3：
Initial Conditions (and Well-Posedness) / 3.9：
The u-P Formulation / 3.9.1：
The PPE Formulation / 3.9.2：
Vorticity-Based Methods / 3.9.3：
Interim Summary / 3.10：
A Well-Posed IBVP for Incompressible Flow, and the Equivalence Theorem / 3.10.1：
Some Ill-Posed Problems / 3.10.2：
The Simplified PPE is also Ill-Posed / 3.10.3：
Fixing the SPPE and PPE Paradox / 3.10.4：
PPE Solutions that are not NSE Solutions / 3.10.5：
A Remark on the Penalty Method / 3.10.6：
Key Features of Incompressible Flow / 3.10.7：
Global Conservation Laws / 3.11：
Preface
Glossary of Abbreviations
Introduction / 1：
14.

図書
図書
14. Programming the finite element method. 3rd ed (: cloth ; : pbk)
I.M. Smith and D.V. Griffiths
出版情報: Chichester ; New York : Wiley, c1998  xii, 534 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgement
Preliminaries: Computer Strategies / 1：
Introduction / 1.1：
Hardware / 1.2：
Memory management / 1.3：
Vector processors / 1.4：
Parallel processors / 1.5：
BLAS libraries / 1.6：
MPI libraries / 1.7：
Applications software / 1.8：
Arithmetic / 1.8.1：
Conditions / 1.8.2：
Loops / 1.8.3：
Array features / 1.9：
Dynamic arrays / 1.9.1：
Broadcasting / 1.9.2：
Constructors / 1.9.3：
Vector subscripts / 1.9.4：
Array sections / 1.9.5：
Whole-array manipulations / 1.9.6：
Intrinsic procedures for arrays / 1.9.7：
Additional Fortran 95 features / 1.9.8：
Subprogram libraries / 1.9.9：
Structured programming / 1.9.10：
Conclusions / 1.10：
References
Spatial Discretisation by Finite Elements / 2：
Rod element / 2.1：
Rod stiffness matrix / 2.2.1：
Rod mass element / 2.2.2：
The eigenvalue equation / 2.3：
Beam element / 2.4：
Beam element stiffness matrix / 2.4.1：
Beam element mass matrix / 2.4.2：
Beam with an axial force / 2.5：
Beam on an elastic foundation / 2.6：
General remarks on the discretisation process / 2.7：
Alternative derivation of element stiffness / 2.8：
Two-dimensional elements: plane strain and plane stress / 2.9：
Energy approach / 2.10：
Plane element mass matrix / 2.11：
Axisymmetric stress and strain / 2.12：
Three-dimensional stress and strain / 2.13：
Plate-bending element / 2.14：
Summary of element equations for solids / 2.15：
Flow of fluids: Navier-Stokes equations / 2.16：
Simplified flow equations / 2.17：
Steady state / 2.17.1：
Transient state / 2.17.2：
Advection / 2.17.3：
Further coupled equations: Biot consolidation / 2.18：
Programming Finite Element Computations / 2.19：
Local coordinates for quadrilateral elements / 3.1：
Numerical integration for quadrilaterals / 3.2.1：
Analytical integration for quadrilaterals / 3.2.2：
Local coordinates for triangular elements / 3.3：
Numerical integration for triangles / 3.3.1：
Multi-element assemblies / 3.4：
"Element-by-element" or "Mesh-free" techniques / 3.5：
Conjugate gradient method / 3.5.1：
Preconditioning / 3.5.2：
Unsymmetric systems / 3.5.3：
Symmetric non-positive definite equations / 3.5.4：
Symmetric eigenvalue systems / 3.5.5：
Incorporation of boundary conditions / 3.6：
Programming using building blocks / 3.7：
Black box routines / 3.7.1：
Special purpose routines / 3.7.2：
Plane elastic analysis using quadrilateral elements / 3.7.3：
Plane elastic analysis using triangular elements / 3.7.4：
Axisymmetric strain of elastic solids / 3.7.5：
Plane steady laminar fluid flow / 3.7.6：
Mass matrix formation / 3.7.7：
Higher-order 2D elements / 3.7.8：
Three-dimensional elements / 3.7.9：
Assembly of elements / 3.7.10：
Solution of equilibrium equations / 3.8：
Evaluation of eigenvalues and eigenvectors / 3.9：
Jacobi algorithm / 3.9.1：
Lanczos algorithm / 3.9.2：
Solution of first order time dependent problems / 3.10：
Solution of coupled Navier-Stokes problems / 3.11：
Solution of coupled transient problems / 3.12：
Absolute load version / 3.12.1：
Incremental load version / 3.12.2：
Solution of second order time dependent problems / 3.13：
Modal superposition / 3.13.1：
Newmark or Crank-Nicolson method / 3.13.2：
Wilson's method / 3.13.3：
Explicit methods and other storage-saving strategies / 3.13.4：
Static Equilibrium of Structures / 4：
One-dimensional analysis of axially loaded elastic rods using 2-node rod elements / 4.1：
Analysis of elastic pin-jointed frames using 2-node rod elements in two or three dimensions / Program 4.2：
Analysis of elastic beams using 2-node beam elements (elastic foundation optional) / Program 4.3：
Analysis of elastic rigid-jointed frames using 2-node beam/ro / Program 4.4：
Preface
Acknowledgement
Preliminaries: Computer Strategies / 1：
15.

図書
図書
15. A guide to experiments in quantum optics
Hans-A. Bachor
出版情報: Weinheim : Wiley-VCH, c1998  xi, 369 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1：
Historical perspective / 1.1：
Motivation: Practical effects of quantum noise / 1.2：
How to use this guide / 1.3：
Bibliography
Classical models of light / 2：
Classical waves / 2.1：
Mathematical description of waves / 2.1.1：
The Gaussian beam / 2.1.2：
Quadrature amplitudes / 2.1.3：
Field energy, intensity, power / 2.1.4：
A classical mode of light / 2.1.5：
Classical modulations / 2.1.6：
Statistical properties of classical light / 2.2：
The origin of fluctuations / 2.2.1：
Coherence / 2.2.2：
Correlation functions / 2.2.3：
Noise spectra / 2.2.4：
An idealized classical case: Light from a chaotic source / 2.2.5：
Photons - the motivation to go beyond classical optics / 3：
Detecting light / 3.1：
The concept of photons / 3.2：
Light from a thermal source / 3.3：
Interference experiments / 3.4：
Model ling single photon experiments / 3.5：
Polarization of a single photon / 3.5.1：
Some mathematics / 3.5.2：
Polarization states / 3.5.3：
The single photon interferometer / 3.5.4：
Intensity correlation, bunching, anti-bunching / 3.6：
Single photon Rabi frequencies / 3.7：
Quantum models of light / 4：
Quantization of light / 4.1：
Some general comments on quantum mechanics / 4.1.1：
Quantization of cavity modes / 4.1.2：
Quantized energy / 4.1.3：
The quantum mechanical harmonic oscillator / 4.1.4：
Quantum statesof light / 4.2：
Number or Fock states / 4.2.1：
Coherent states / 4.2.2：
Mixed states / 4.2.3：
Quantum optical representations / 4.3：
Quadrature amplitude operators / 4.3.1：
Probability and quasi-probability distributions / 4.3.2：
Photon number distributions, Fano factor / 4.3.3：
Propagation and detection of quantum optical fields / 4.4：
Propagation in quantum optics / 4.4.1：
Detection in quantum optics / 4.4.2：
An example: The beam splitter / 4.4.3：
Quantum transfer functions / 4.5：
A linearized quantum noise description / 4.5.1：
An example: The propagating coherent state / 4.5.2：
Real laser beams / 4.5.3：
The transfer of operators, signals and noise / 4.5.4：
Side band modes as quantum states / 4.5.5：
Quantum correlations / 4.6：
Photon correlations / 4.6.1：
Quadrature correlations / 4.6.2：
Summary: The different quantum models / 4.7：
Basic optical components / 5：
Beamsplitters / 5.1：
Classical description of a beamsplitter / 5.1.1：
The beamsplitter in the quantum operator model / 5.1.2：
The beamsplitter with single photons / 5.1.3：
The beamsplitter and the photon statistics / 5.1.4：
The beamsplitter with coherent states / 5.1.5：
The beamsplitter in the noise sideband model / 5.1.6：
Comparison between a beamsplitter and a classical current junction / 5.1.7：
Interferometers / 5.2：
Classical description of an interferometer / 5.2.1：
Quantum model of the interferometer / 5.2.2：
Transfer of intensity noise through the interferometer / 5.2.3：
Sensitivity limit of an interferometer / 5.2.5：
Cavities / 5.3：
Classical description of a linear cavity / 5.3.1：
The special case of high reflectivities / 5.3.2：
The phase response / 5.3.3：
Spatial properties of cavities / 5.3.4：
Equations of motion for the cavity mode / 5.3.5：
The quantum equations of motion for a cavity / 5.3.6：
The propagation of fluctuations through the cavity / 5.3.7：
Single photons through a cavity / 5.3.8：
Other optical components / 5.4：
Lenses / 5.4.1：
Crystals and polarizers / 5.4.2：
Modulators / 5.4.3：
Optical fibres / 5.4.4：
Optical noise sources / 5.4.5：
Nonlinear processes / 5.4.6：
Lasers and Amplifiers / 6：
The laser concept / 6.1：
Technical specifications of a laser / 6.1.1：
Rate equations / 6.1.2：
Quantum model of a laser / 6.1.3：
Examples of lasers / 6.1.4：
Laser phase noise / 6.1.5：
Amplification of optical signals / 6.2：
Parametric ampli / 6.3：
Preface
Introduction / 1：
Historical perspective / 1.1：
16.

図書
図書
16. Universal wireless personal communications (: alk. paper)
Ramjee Prasad
出版情報: Boston, Mass : Artech House, 1998  xix, 637 p. ; 24 cm
シリーズ名: The Artech House mobile communications series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Introduction / Chapter 1：
An Overview / 1.1：
Universal Wireless Personal Communications / 1.2：
UMTS Objectives and Challenges / 1.2.1：
ACTS Program / 1.2.2：
Standardization of UMTS / 1.2.3：
Wireless Broadband Communication Systems / 1.3：
Millimeter Waves / 1.3.1：
Preview of the Book / 1.4：
References
Radio Propagation Aspects / Chapter 2：
Large-Scale Propagation Model / 2.1：
Medium-Scale Propagation Model / 2.3：
Sum of Lognormal Signals / 2.3.1：
Small-Scale Propagation Model / 2.4：
Sum of Exponential Signals / 2.4.1：
Rician Distribution / 2.4.2：
Nakagami Distribution / 2.4.3：
Combined Rayleigh Fading and Lognormal Shadowing / 2.5：
Fading Envelope Statistics / 2.6：
LCR / 2.6.1：
Average Fade Duration / 2.6.2：
Wireless Channel Classification / 2.7：
Coherence Bandwidth and Delay Spread / 2.7.1：
Coherence Time and Doppler Spread / 2.7.2：
Wideband Characteristics / 2.8：
Conclusions / 2.9：
Random Variable Terms / 2.9.1：
Appendix 2A
Cellular Concepts / Chapter 3：
Frequency Reuse / 3.1：
Co-channel Interference / 3.3：
Carrier-to-Interference Ratio / 3.4：
Handover/Handoff Mechanism / 3.5：
Cell Splitting / 3.6：
Types of Cellular Networks / 3.7：
Macrocellular Radio Networks / 3.7.1：
Microcellular Radio Networks / 3.7.2：
Picocellular Radio Networks / 3.7.3：
Macrocellular Systems / Chapter 4：
Co-channel Interference Probability / 4.1：
Rayleigh Fading Only / 4.2.1：
Lognormal Shadowing Only / 4.2.2：
Rayleigh Fading Plus Lognormal Shadowing / 4.2.3：
Reuse Distance / 4.2.4：
Spectrum Efficiency / 4.2.5：
System Bandwidth / 4.2.6：
Correlated Shadowing Signals / 4.2.7：
Sectorized Cell Layouts / 4.3.1：
Co-channel Interference, Thermal, Narrowband and Broadband Man-made Noise / 4.3.2.：
Performance Model / 4.4.1：
Co-channel Interference Plus Narrowband Class A Noise / 4.4.2：
Co-channel Interference Plus Broadband Class B Noise / 4.4.3：
Co-channel Interference and Narrowband Plus Broadband Impulsive Class C Noise / 4.4.4：
Appendix 4A / 4.4.5：
Microcellular Systems / Chapter 5：
CIP / 5.1：
Propagation Model / 5.2.1：
Analytical Model / 5.2.2：
Co-channel Interference, Natural, and Man-made Noise Environment / 5.2.3：
Man-made Noise / 5.3.1：
Microcellular Mobile Radio Systems / 5.3.2：
DPSK Modulation Performance / 5.3.3：
Picocellular Systems / 5.3.4：
Propagation Measurements at 1.9 GHz for Wireless Communications / 6.1：
Propagation Measurements / 6.2.1：
Formulation of CIP / 6.2.2：
Computational Results / 6.2.3：
An Illustration to Evaluate a Picocell / 6.2.4：
Wideband Indoor Channel Measurements at 2.4, 4.75, and 11.5 GHz / 6.2.5：
The Indoor Radio Channel / 6.3.1：
Analytical Model for BEP Evaluation / 6.3.2：
Appendix 6A / 6.3.4：
Appendix 6B
Adaptive Equalization / Chapter 7：
Overview of Adaptive Equalization Techniques / 7.1：
DFE / 7.2.1：
Training Algorithms for Adaptive Equalization / 7.2.2：
Communication System Model / 7.3：
Transmitter / 7.3.1：
Multipath Channel Model / 7.3.2：
Receiver / 7.3.3：
Simulation Results / 7.4：
Description of Simulation / 7.4.1：
Numerical Results / 7.4.2：
Basic CDMA Concepts / 7.5：
Spread-Spectrum Multiple Access / 8.1：
DS / 8.2.1：
FH / 8.2.2：
TH / 8.2.3：
Chirp Spread Spectrum / 8.2.4：
Hybrid Systems / 8.2.5：
Design of Pseudonoise Sequences / 8.3：
Basics / 8.3.1：
PN Codes / 8.3.2：
Random Wave Approximation / 8.3.3：
Multiple Access Protocols / 8.3.4：
Classification of Multiple Access Protocols / 9.1：
Contentionless (Scheduling) Multiple Access Protocols / 9.2.1：
Contention (Random) Multiple Access Protocols / 9.2.2：
CDMA Protocols / 9.2.3：
Some Random Access Protocols / 9.3：
Slotted ALOHA / 9.3.1：
Unslotted Nonpersistent ISMA / 9.3.2：
Slotted Nonpersistent ISMA / 9.3.3：
Slotted 1-Persistent ISMA / 9.3.4：
Slotted ISMA With Collision Detection / 9.3.5：
Capture-Model / 9.4：
Slotted ALOHA With Capture / 9.4.1：
Unslotted Nonpersistent ISMA With Capture / 9.4.2：
Slotted Nonpersistent ISMA With Capture / 9.4.3：
Slotted 1-Persistent ISMA With Capture / 9.4.4：
Slotted Nonpersistent ISMA/CD With Capture / 9.4.5：
Slotted 1-Persistent ISMA/CD With Capture / 9.4.6：
Throughput Analysis Considering Rayleigh Fading, Lognormal Shadowing, and Near-Far Effect / 9.5：
Pure Rayleigh Fading / 9.5.1：
Pure Lognormal Shadowing / 9.5.2：
Combined Rayleigh Fading and Shadowing / 9.5.3：
Combined Shadowing and Near-Far Effect / 9.5.4：
Combined Rayleigh Fading, Shadowing, and Near-Far Effect / 9.5.5：
Comparison Between Slotted ALOHA, CSMA, and ISMA / 9.5.6：
Capture Probability and Throughput Analysis in a Rician/Rayleigh Environment Using BPSK Modulation / 9.6：
Channel Model / 9.6.1：
Capture Probability / 9.6.2：
Random Access Systems With Receiver Capture / 9.6.3：
Error Correction Coding / 9.6.4：
User Data Throughput / 9.6.5：
Cellular DS-CDMA System With Imperfect Power Control and Imperfect Sectorization / 9.6.6：
Cellular DS-CDMA / 9.7.1：
Capacity Analysis / 9.7.2：
Throughput and Delay Analysis / 9.7.3：
Results / 9.7.4：
Conclusions and Recommendations / 9.7.5：
OFDM / Chapter 10：
Concept of Parallel Transmission Scheme / 10.1：
History of OFDM Transmission / 10.3：
Configuration of OFDM Transmission System / 10.4：
Configuration of the Transmitter / 10.4.1：
Configuration of the Receiver / 10.4.2：
BEP / 10.5：
Multicarrier CDMA / 10.6：
DS-CDMA and MC-CDMA Systems / 11.1：
DS-CDMA System / 11.3.1：
MC-CDMA System / 11.3.2：
MC-CDMA System Design / 11.4：
BEP Lower Bound / 11.5：
BEP Lower Bound Equivalence / 11.5.1：
Combination of Time Domain and Multicarrier Modulation / 11.6：
Multicarrier DS-CDMA Scheme / 11.7.1：
MT-CDMA Scheme / 11.7.2：
System Features Comparison / 11.7.3：
Detection Strategies Comparison / 11.7.4：
BEP Comparison / 11.8：
Appendix 11A / 11.9：
Antenna Diversity / Chapter 12：
Antenna / 12.1：
BS Antennas / 12.2.1：
Antennas for Portables / 12.2.2：
Diversity and Combining Techniques / 12.3：
Diversity Techniques / 12.3.1：
Combining Techniques / 12.3.2：
Diversity in a Frequency Nonselective Fading Channel / 12.4：
Switched Diversity and Selection Diversity Output Signals / 12.4.1：
Two-Branch Diversity / 12.4.2：
Multiple Branch Diversity / 12.4.3：
Millimeter-Wave Communications / 12.5：
Frequency Nonselective Channel / 13.1：
Received Power Versus Distance / 13.2.1：
Outage Probability / 13.2.2：
Fade Duration / 13.2.3：
Discussion / 13.2.4：
Frequency Selective Channel / 13.3：
BEP Calculations / 13.3.1：
Influence of T[subscript RMS] on BEP / 13.3.2：
Comparison of PDP Types / 13.3.3：
Dynamic Channel Assignment and DECT / 13.4：
Channel Assignment / 14.1：
The Cellular Concept / 14.2.1：
Channel Allocation Schemes / 14.2.2：
DECT as a DCA-Based Mobile Radio System / 14.2.3：
The Influence of Delay in Channel Assignment Algorithms / 14.2.4：
Channel Scanning Method / 14.3：
Number of Free Channels at Setup / 14.3.2：
The Effect of Delay / 14.3.3：
Handovers / 14.3.4：
Air Interface Multiple Access Schemes for FPLMTS/IMT-2000/UMTS / 14.4：
Spectrum Issues / 15.1：
CDMA-Based Schemes / 15.2：
Carrier Spacing and Chip Rate / 15.2.1：
Modulation and Detection / 15.2.2：
Spreading and Scrambling Codes / 15.2.3：
Multirate / 15.2.4：
Power Control / 15.2.5：
Handover / 15.2.6：
Interfrequency Handover / 15.2.7：
Multiuser Detection and Other Interference Reduction Methods / 15.2.8：
Packet Data / 15.2.9：
TDMA-Based Schemes / 15.3：
Modulation / 15.3.1：
Carrier Spacing and Symbol Rate / 15.3.2：
Burst and Frame Structures / 15.3.3：
Training Sequence Design / 15.3.4：
Radio Resource Management / 15.3.5：
Hybrid CDMA/TDMA / 15.4：
OFDM-Based Schemes / 15.5：
Bandwidth / 15.5.1：
Frame Design / 15.5.2：
Coding, Interleaving, and Frequency Hopping / 15.5.3：
Uplink Synchronization / 15.5.4：
DCA / 15.5.6：
TDD / 15.6：
WBMC / 15.7：
Standardization and Frequency Bands / 16.1：
The Need for High Data Rates / 16.3：
Services and Applications / 16.4：
Antennas and Batteries / 16.5：
Safety Considerations / 16.6：
ATM-Based Wireless (Mobile) Broadband Multimedia Systems / 16.7：
Fragments / 16.7.1：
OFDM-Based Wireless ATM Transmission System / 16.8：
System Configuration / 17.1：
Transmitter Configuration / 17.2.1：
Receiver Configuration / 17.2.2：
SATCOM / 17.3：
Potential Benefits of ATM Over SATCOM / 18.1：
Key Issues With Respect to the Operation of ATM Over SATCOM / 18.1.2：
Understanding the Traffic Profile and Its Relationship to ATM-SATCOM Links / 18.1.3：
Conceptual Analysis of Broadband Networking Via IP/ATM Over EHF SATCOM Using CDMA / 18.2：
The ATM-SATCOM Protocol Stack / 18.2.1：
CDMA for ATM-SATCOM Links / 18.2.2：
Capacity as a Function of the User Service Distribution / 18.2.3：
Error Correction and Control for ATM-SATCOM Links / 18.3：
Performance of TCP/IP Over ATM-SATCOM and Importance of Error Control and Correction / 18.3.1：
A Concept for Error Control and Correction Tailored to Service Class / 18.3.2：
A CPCS-Based Truncated SRQ Protocol for AAL 5 / 18.3.3：
FEC Options for ATM Over SATCOM / 18.3.4：
SATCOM Efficiency / 18.4：
About the Author / 18.5：
Index
Preface
Acknowledgments
Introduction / Chapter 1：
17.

図書
図書
17. Hygiene, quality & safety, in the cold chain and air conditioning : proceedings of the conference of Commissions C2 & E1, with D2/3, (September 16-18, 1998), Nantes, France = Hygiene, qualite & securite, dans la chaîne du froid et le conditionnement d'air : compte rendu de le conférence des Commissions C2 & E1, with D2/3
issued by International Institute of Refrigeration = edité par Institut International du Froid
出版情報: Paris : Institut International du Froid, [1998]  424 p. ; 24 cm
シリーズ名: Science et technique du froid = Refrigeration science and technology ; 1998-5
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Audio System for Technical Readings
T. V. Raman
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1998
所蔵情報: loading…
目次情報: 続きを見る
Audio System for Technical Readings / 1：
Motivation / 1.1：
What is ASTER? / 1.2：
Rendering Documents / 1.3：
Extending ASTER / 1.4：
Producing Different Audio Views / 1.5：
Using the Full Power of ASTER / 1.6：
Recognizing High-Level Document Structure / 2：
Document models / 2.1：
Representing Mathematical Content / 2.2：
Constructing High-Level Representations / 2.3：
Lexical Analysis and Recognition / 2.3.1：
Constructing the Quasi-Prefix Form / 2.3.2：
Macros Introduce New Object Types / 2.4：
How define-text-object Works / 2.4.1：
Rendering Instances of User-Defined Macros / 2.4.2：
Unambiguous Document Encodings / 2.5：
AFL: Audio Formatting Language / 3：
Overview / 3.1：
The Speech Component / 3.2：
Combining Different Spaces in AFL / 3.3：
Audio Formatting using Non-Speech Audio / 3.4：
The Pronunciation Component / 3.5：
Some Concluding Remarks on AFL / 3.6：
Rendering Rules and Styles / 4：
Rendering Document Content / 4.1：
Rendering Mathematics / 4.3：
Processing the Quasi-Prefix Form / 4.4：
Descriptive Renderings / 4.5：
Variable Substitution / 4.6：
Floating Objects / 4.7：
Browsing Audio Documents / 5：
Introduction / 5.1：
How Does Browsing Work? / 5.2：
Traversing High-Level Document Structure / 5.3：
Rendering the Current Selection / 5.4：
Cross-References and Bookmarks / 5.5：
Related Work / 6：
Electronic Documents / 6.1：
Summary of Work in Audio Interfaces / 6.2：
Documentation / A：
Setting Up ASTER / A.1：
The Recognizer / A.2：
AFL / A.3：
The Total Audio Space / A.3.1：
The Non-Speech Audio Component / A.3.2：
Rendering Information Structure / A.4：
The Browser / A.4.1：
Some CLOS Terminology / A.6：
Accessibility / B：
Audio System for Technical Readings / 1：
Motivation / 1.1：
What is ASTER? / 1.2：
19.

図書
図書
19. Systems implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000: Languages, Methods and Tools, 23-26 February 1998, Berlin, Germany
edited by R. N. Horspool
出版情報: London : Published by Chapman & Hall on behalf of the International Federation for Information Processing, 1998  vi, 344 p. ; 24cm
所蔵情報: loading…
20.

図書
図書
20. Data mining and reverse engineering : searching for semantics : IFIP TC2 WG2.6 IFIP Seventh Conference on Database Semantics (DS-7), 7-10 October 1997, Leysin, Switzerland
edited by Stefano Spaccapietra and Fred Maryanski
出版情報: London : Chapman & Hall, c1998  xvi, 497 p. ; 24cm
所蔵情報: loading…
21.

図書
図書
21. Abstracts of papers : 215th ACS National Meeting, Dallas, TX, March 29,- April 2, 1998 (pt. 1 ; pt. 2)
American Chemical Society
出版情報: Washington, D.C. : American Chemical Society, [1998]  2 v. ; 23 cm
所蔵情報: loading…
22.

図書

東工大
目次DB
図書
東工大
目次DB
22. Experimental methods in Organic Fluorine Chemistry (: ja ; : ne)
Tomoya Kitazume and Takashi Yamazaki
出版情報: Tokyo : Kodansha , Amsterdam : Gordon and Breach Science Publishers, 1998  vii, 260p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
General Remarks
Abbreviations
Chapter 1 Introduction 1
   1.1 Effect of Fluorine on Physical Properties 1
   1.1.1 Mimic and Block Effects 1
   1.1.2 Effect of the Electron-withdrawing Nature of Fluorine 3
   1.1.2.1 Deactivation Effect 3
   1.1.2.2 Activation Effect 5
   1.1.3 Conformational Preference Including Hydrogen Bonding Ability 7
   1.1.4 Steric Size of Fluorine-containing Groups 9
   1.2 Effect of Fluorine on Chemical Reactivity 10
   1.2.1 Stability of Cationic or Anionic Species Next to Fluorine or Fluoroalkyl Groups 10
   1.2.2 SN1 and SN2 Reactivity of Fluorinated Materials 14
   1.3 Preparation of Fluorine-containing Materials 16
   1.4 Handling Fluorinated Materials 20
   1.5 References and Notes 21
Chapter 2 Preparation of Monofluorinated Materials 31
   2.1 Fluorination 31
   2.1.1 Nucleophilic Fluorination (Substitution) 31
   2.1.2 Nucleophilic Fluorination (Addition) 42
   2.1.3 Nucleophilic Fluorination (Miscellaneous) 44
   2.1.4 Electrophilic Fluorination 45
   2.2 Carbon-Carbon Bond-forming Reactions 49
   2.2.1 Aldol Type Reactions 49
   2.2.2 Wittig Type Reactions 53
   2.2.3 Rearrangement and Cycloaddition 57
   2.2.4 Alkylations 59
   2.2.5 Miscellaneous 62
   2.3 Removal of Fluorine from Difluorinated Materials 68
   2.4 Optically Active Materials by Bioorganic Methods 70
   2.5 Substitution Reactions 72
   2.6 Miscellaneous Reactions 74
Chapter 3 Preparation of Difluorinated Materials 79
   3.1 Fluorination 79
   3.1.1 Nucleophilic Fluorination 79
   3.1.2 Electrophilic Fluorination 81
   3.1.3 Miscellaneous 82
   3.2 Difluoromethylenation 83
   3.3 Introduction of Difluoromethyl and Related Groups 85
   3.4 Carbon-Carbon Bond-forming Reactions 91
   3.4.1 Reformatsky Type Reactions 91
   3.4.2 Aldol Reactions and Claisen Condensation 95
   3.4.3 Diels-Alder Reactions 98
   3.4.4 Claisen Rearrangement 100
   3.4.5 Alkylations and Acylations 102
   3.5 Removal of Fluorine from Trifluorinated Materials 106
   3.6 Reactions of Hemiacetals 111
   3.7 Oxidations and Reductions 115
   3.8 Miscellaneous Reactions 118
Chapter 4 Preparation of Trifluorinated Materials 121
   4.1 Introduction of a Trifluoromethyl Group 121
   4.1.1 Introduction of a Trifluoromethyl Group (Nucleophilic) 121
   4.1.2 Introduction of a Trifluoromethyl Group (Electrophilic, Radical) 127
   4.1.3 Introduction of a Trifluoromethyl Group (Miscellaneous) 131
   4.2 Conversion to a Trifluoromethyl Group 132
   4.3 Carbon-Carbon Bond-forming Reactions 135
   4.3.1 Aldol Type Reactions 135
   4.3.2 Michael Reactions 140
   4.3.3 Ene Reactions 146
   4.3.4 Diels-Alder Reactions and 1,3-Dipolar Cycloadditions 148
   4.3.5 Wittig Type Reactions 152
   4.3.6 Rearrangements 154
   4.3.7 Nucleophilic Additions 158
   4.3.8 Electrophilic Additions 166
   4.3.9 Miscellaneous 172
   4.4 Reactions with Hetero Nucleophiles 175
   4.4.1 Reactions with Nitrogen Nucleophiles 175
   4.4.2 Reactions with Oxygen Nucleophiles 177
   4.4.3 Reaction with a Sulfur Nucleophile 181
   4.5 Dehydrations 183
   4.6 Oxidations and Reductions 184
   4.6.1 Oxidations 184
   4.6.2 Reductions 189
   4.7 Optical Resolutions 194
   4.7.1 Bioorganic Methods 194
   4.7.2 Chemical Method 198
   4.8 Miscellaneous Reactions 199
Chapter 5 Preparation of Poly- or Perfluorinated Materials 209
   5.1 Introduction of Poly- or Perfluorinated Groups 209
   5.1.1 Introduction of Poly- or Perfluorinated Groups (Nucleophilic) 209
   5.1.2 Introduction of Poly- or Perfluorinated Groups (Electrophilic, Radical) 212
   5.2 Carbon-Carbon Bond-forming Reactions 216
   5.2.1 Aldol Type Reactions 216
   5.2.2 Wittig Reactions 221
   5.2.3 Alkylations 223
   5.2.4 Anti-Michael Reactions 225
   5.2.5 Miscellaneous 228
   5.3 Miscellaneous Reactions 230
Appendix Representative Distributors of Fluorochemicals 233
Appendix Availability of Fluorinated Reagents 235
Compound Index 239
Reagent Index 243
Product Index 247
Author Index 256
Preface
General Remarks
Abbreviations
23.

電子ブック
ＥＢ
23. Proceedings of the 1998 2nd International Conference Biomedical Engineering Days
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1998
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. 2nd 1998 IEMT/IMC Symposium (IEEE Cat. No.98EX225)
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1998
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Proceedings of the 2nd International Conference on Bioelectromagnetism (Cat. No.98TH8269)
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1998
所蔵情報: loading…
26.

図書
図書
26. Proceedings of the 16th International Modal Analysis Conference February 2-5, 1998 Fess Parker's Doubletree Resort Santa Barbara, California (v. 1 ; v. 2)
International Modal Analysis Conference ; Society for Experimental Mechanics
出版情報: Bethel, CT : Society for Experimental Mechanics, 1998  2 v. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. 4th AIAA/CEAS Aeroacoustics Conference (19th AIAA aeroacoustics conference) June 2-4, 1998/Toulouse, France : a collection of technical papers (: set ; v. 1 ; v. 2)
AIAA/CEAS Aeroacoustics Conference ; AIAA Aeroacoustics Conference
出版情報: Reston, VA : American Institute of Aeronautics and Astronautics, 1998  2 v. (1050 p.) ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. 2nd structural specialty conference = 2e Congrès spécialisé sur les structures (:set ; v. IIIa ; v. IIIb)
general editor, J. P. Newhook ; editors, J. P. Newhook, L. G. Jaeger = éditeur en chef, J. P. Newhook ; éditeurs, J. P. Newhook, L. G. Jaeger
出版情報: Montreal, Qc : Canadian Society for Civil Engineering, [1998]  2 vols. ; 22 cm
シリーズ名: 1998 Annual conference, Halifax, Nova Scotia, June 10 to 13, 1998 : proceedings = Congrès annuel de 1998, Halifax, Nouvell-Écosse, 10-13 juin 1998 : compte rendus ; v. IIIa, IIIb
所蔵情報: loading…
29.

学位論文
学位
29. Investigation of crystal structure in complex oxide materials Ln1+xBa2-xCu3Oz(Ln=La,Nd) and Hg1-xPbxBa2-ySryCa2Cu3Oz prepared via chemical solution methods
Valery V. Petrykin
出版情報: 東京工業大学, 1998
所蔵情報: loading…
30.

図書
図書
30. Smart structures and materials 1998 : smart structures and integrated systems : 2-5 March 1998, San Diego, California (Pt. 1 ; Pt. 2)
Marc E. Regelbrugge, chair, editor ; sponsored by SPIE, SEM, ASME, BFGoodrich Aerospace
出版情報: Bellingham, Washington : SPIE, c1998  xiii, 414 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3329
所蔵情報: loading…
31.

図書
図書
31. Audio system for technical readings
T.V. Raman
出版情報: Berlin ; Tokyo : Springer-Verlag, c1998  xvi, 121 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1410
所蔵情報: loading…
目次情報: 続きを見る
Audio System for Technical Readings / 1：
Motivation / 1.1：
What is ASTER? / 1.2：
Rendering Documents / 1.3：
Extending ASTER / 1.4：
Producing Different Audio Views / 1.5：
Using the Full Power of ASTER / 1.6：
Recognizing High-Level Document Structure / 2：
Document models / 2.1：
Representing Mathematical Content / 2.2：
Constructing High-Level Representations / 2.3：
Lexical Analysis and Recognition / 2.3.1：
Constructing the Quasi-Prefix Form / 2.3.2：
Macros Introduce New Object Types / 2.4：
How define-text-object Works / 2.4.1：
Rendering Instances of User-Defined Macros / 2.4.2：
Unambiguous Document Encodings / 2.5：
AFL: Audio Formatting Language / 3：
Overview / 3.1：
The Speech Component / 3.2：
Combining Different Spaces in AFL / 3.3：
Audio Formatting using Non-Speech Audio / 3.4：
The Pronunciation Component / 3.5：
Some Concluding Remarks on AFL / 3.6：
Rendering Rules and Styles / 4：
Rendering Document Content / 4.1：
Rendering Mathematics / 4.3：
Processing the Quasi-Prefix Form / 4.4：
Descriptive Renderings / 4.5：
Variable Substitution / 4.6：
Floating Objects / 4.7：
Browsing Audio Documents / 5：
Introduction / 5.1：
How Does Browsing Work? / 5.2：
Traversing High-Level Document Structure / 5.3：
Rendering the Current Selection / 5.4：
Cross-References and Bookmarks / 5.5：
Related Work / 6：
Electronic Documents / 6.1：
Summary of Work in Audio Interfaces / 6.2：
Documentation / A：
Setting Up ASTER / A.1：
The Recognizer / A.2：
AFL / A.3：
The Total Audio Space / A.3.1：
The Non-Speech Audio Component / A.3.2：
Rendering Information Structure / A.4：
The Browser / A.4.1：
Some CLOS Terminology / A.6：
Accessibility / B：
Audio System for Technical Readings / 1：
Motivation / 1.1：
What is ASTER? / 1.2：
32.

図書
図書
32. Refrigerated transport, storage & retail display : proceedings of the conference of Commission D2/3, with D1, (March 29 to April 1, 1998), Cambridge, United Kingdom = Transport et distribution des aliments : compte rendu de la conférence de la Commission D2/3, with D1
issued by International Institute of Refrigeration = edité par Institut International du Froid
出版情報: Paris : Institut International du Froid, [1998]  328 p. ; 24 cm
シリーズ名: Science et technique du froid = Refrigeration science and technology ; 1998-2
所蔵情報: loading…
33.

図書

東工大
目次DB
図書
東工大
目次DB
33. Lithium ion batteries : fundamentals and performance (: ja)
M. Wakihara, O. Yamamoto (eds.)
出版情報: Tokyo : Kodansha , Weinheim : Wiley-VCH, 1998  xiii, 247 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
List of Contributors
Preface
1 General Concepts 1
   1.1 Introduction 1
   1.2 Design Considerations 1
   1.2.1 Definitions 1
   1.2.2 Design Considerations 3
   1.2.3 Choosing an Electrode 8
   1.2.4 Anodes 12
   1.3 Insertion of Lithium into Structures Containing Polyanions 13
   1.3.1 Close-Packed Oxide-Ion Arrays 15
   1.3.2 NASICON Frameworks 18
   1.3.3 Conclusion 24
   References 25
2 Cathode Active Materials with a Three-dimensional Spinel Framework 26
   2.1 Introduction 26
   2.2 Crystal Structure of Spinel Type Phases 27
   2.3 Synthesis Technique 28
   2.4 Relationship between Discharge Voltage and Thermodynamic Function of the Cathode Materials 30
   2.5 Phase Transformation During Intercalation Processes 33
   2.6 Doped Spinel Phases LiMyMn2-yO4(M=Co, Cr, Ni) as 4 V-Class Cathode Material 34
   2.6.1 Doping Effect on Charge-Discharge Behavior of Manganess Spinel 34
   2.6.2 OCV and Phase Transformation 36
   2.6.3 Cycling Performance 38
   2.6.4 Structure Aspects 40
   2.6.5 The Chemical Diffusion Coefficients of Lithium Ions in LixMyMn2-yO4 (M=Co and Cr) 42
   2.6.6 Low Temperature Behavior 44
   2.7 Conclusions 46
   References 47
The Relationship between Structure and Cell Properties of the Cathode for Lithium Batteries 49
   3.1 Introduction 49
   3.2 Titanium Disulfide and Intercalation Chemistry 50
   3.3 Vanadium Dichalcogenides 53
   3.4 Layered Oxides 53
   3.5 Manganese Oxides 55
   3.6 Vanadium Oxides 58
   3.7 The Future 63
   References 64
4 Design of the Lithium Anode and Electrolytes in Lithium Secondary Batteries with a Long Cycle Life 67
   4.1 Introduction 67
   4.2 Lithium Metal Anode 67
   4.2.1 Protection Films on Lithium Metal Anode 67
   4.2.2 Cycling Efficiency on Lithium Anode 69
   4.2.3 Morphology of Deposited Lithium 72
   4.2.4 Mechanism of Lithium Deposition and Dissolution 73
   4.2.5 The Amount of Dead Lithium and Cell Performance 75
   4.2.6 Improvement in the Cycling Efficiency of a Lithium Anode 77
   4.3 Safety 83
   4.3.1 Configuration of Prototype Cells 84
   4.3.2 Cell Performance 84
   4.3.3 Heat Generation in a Cell-General Considerations 86
   4.3.4 Incidents During Normal Cycling 89
   4.3.5 Safety Tests on AA-size Li/a-V2O5(-P2O5) Cells 91
   4.4 Conclusion 94
   References 94
5 Development of the Carbon Anode in Lithium Ion Batteries 98
   5.1 Introduction 98
   5.2 Structure of Carbon Materials 99
   5.3 Development of the Carbon Anode 101
   5.4 Intercalation Mechanism of Graphite 105
   5.5 Electrochemistry of Soft Carbons 108
   5.6 Electrochemistry of Hard Carbons 112
   5.7 Irreversible Surface Reactions 114
   5.8 Structural Modifications 116
   5.9 Nitrides as New Anode Materials 120
   5.9.1 Li7MnN4 and Li3FeN2 (Antifluorite Structure) 120
   5.9.2 Li3-xCoxN(Li3N Structure) 122
   5.10 Summary and Conclusions 124
   References 125
6 Electrochemical Intercalation of Lithium into Carbonaceous Materials 127
   6.1 Introduction 127
   6.1.1 Negative Electrodes in Rechargeable Lithium Batteries 127
   6.1.2 Lithium/Carbon Intercalation Compounds 128
   6.1.3 Carbonaceous Host Materials 129
   6.2 Graphitic Carbons as Host for Lithium Intercalation 131
   6.2.1 Lithium/Graphite Intercalation Compounds 132
   6.2.2 Effects of Electrolyte Composition 135
   6.3 Non-graphitic Carbons as Lithium Intercalation Hosts 140
   6.3.1 "Low Capacity" Non-graphitic Carbons 140
   6.3.2 "High Capacity" Non-graphitic Carbons 140
   6.4 Special Carbonaceous Materials as Hosts for Lithium Intercalation 144
   6.4.1 Fullerenes 144
   6.4.2 Carbonaceous Materials Containing Heteroatoms 144
   6.5 Technical Aspects 145
   6.6 Outlook 146
   References 147
7 Organic Electrolytes for Rechargeable Lithium Ion Batteries 156
   7.1 Introduction 156
   7.2 The Basic Concept for Designing Organic Electrolytes for Lithium Batteries 157
   7.2.1 Organic Solvents 157
   7.2.2 Lithium Salts 159
   7.2.3 Ionic Conductivity 159
   7.2.4 Recent Studies on Organic Electrolytes for Rechargeable Lithium Ion Batteries 161
   7.3 Effects of the Electrolyte Composition on the Electrode Characteristics of Pitch-based Carbon Fiber with Graphite Structure 163
   7.3.1 Voltammetric Behavior in PC-and EC-based Solutions 163
   7.3.2 Charge/Discharge Characteristics of the Carbon Fiber Electrode in LiCF3SO3 Solutions 167
   7.4 Effects of the Electrolyte Composition on the Electrode Characteristics of Graphitized Mesocarbon Microbeads (MCMB) 171
   7.4.1 Charge/Discharge Performance of MCMB in Electrolyte Solutions of Lithium Imide Salt 171
   7.4.2 Interfacial Characteristics between the MCMB Electrode and the Electrolyte Solutions Containing Lithium Imide Salt 173
   7.5 Effects of Electrolyte Composition on the EQCM Response of Graphjte during Cathodic Lithium Intercalation 174
   7.5.1 Effects of Solvent Composition on the First Charging Process 175
   7.5.2 Effects on the Structure Changes of Graphite during the Charge/Discharge Process 177
   7.5.3 Effects of the Electrolytic Salt on the EQCM Response of Graphite 178
   7.6 Concluding Remarks 179
   References 179
8 Performance of the First Lithium Ion Battery and Its Process Technology 181
   8.1 Introduction 181
   8.2 Anode Materials 182
   8.3 Cathode Materials 191
   8.4 Other Materials 194
   8.4.1 Electrolyte 194
   8.4.2 Separator 195
   8.4.3 PTC Devices 195
   8.5 Cell Structure 196
   8.6 Performance of Lithium Ion Secondary Batteries 197
   8.7 Possibility of Further Improvement 198
   References 198
9 All Solid-State Lithium Secondary Battery with Highly Ion Conductive Glassy Electrolyte 199
   9.1 Introduction 199
   9.2 Lithium Ion Conductive Solid Electrolytes 200
   9.3 Li3PO4-Li2SーSiS2 Glassy Electrolyte 202
   9.3.1 Synthesis and Glass-Forming Region 202
   9.3.2 Ionic Conductivity and Structure of the Glass 203
   9.3.3 Electrochemical Stability 206
   9.4 Solid-State Lithium Batteries 208
   9.4.1 Brief Review of Solid-State Lithium Batteries in Previous Studies 208
   9.4.2 Application of Li3PO4-Li2SーSiS2 Glass to the Solid-State Battery 209
   9.5 Prospects for Solid-State Lithium Batteries in the Future 214
   9.6 Summary 216
   References 216
10 Lithium Ion Plastic Batteries 218
   10.1 Introduction 218
   10.2 Polymer Electrolyte Membranes 219
   10.2.1 Types and Preparation Procedures 219
   10.2.2 Ionic Conductivity 223
   10.2.3 Electrochemical Stability Window 227
   10.2.4 Lithium Ion Transference Number 230
   10.3 Plasticized Electrodes 232
   10.4 Practical PLI Batteries 235
   10.5 New Types of PLI Batteries 236
   10.5.1 PLI Batteries with TiS2 Anodes 236
   10.5.2 The Dion Plastic Battery 240
   10.6 Conclusions 242
   References 243
Index 245
List of Contributors
Preface
1 General Concepts 1
34.

図書
図書
34. Advanced integration theory
by Corneliu Constantinescu ... [et al.]
出版情報: Dordrecht : Kluwer Academic Publishers, c1998  ix, 861 p. ; 25 cm
シリーズ名: Mathematics and its applications ; v. 454
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Introduction
Suggestions to the Reader
Preliminaries / 0：
Vector Lattices / 1：
Ordered Vector Spaces / 1.1：
Substructures, Quotients, Products / 1.2：
Bands and Orthogonality / 1.4：
Homomorphisms / 1.5：
The Order Dual of a Vector Lattice / 1.6：
Continuous Functionals / 1.7：
Order and Topology / 1.8：
Metric Spaces and Banach Spaces / 1.9：
Banach Lattices / 1.10：
Hilbert Lattices / 1.11：
Lattice Products / 1.12：
Elementary Integration Theory / 2：
Riesz Lattices / 2.1：
Daniell Spaces / 2.2：
The Closure of a Daniell Space / 2.3：
The Integral for a Daniell Space / 2.4：
Systems of Sets, Step Functions, and Stone Lattices / 2.5：
Positive Measures / 2.6：
Closure, Completion, and Integrals for Positive Measure Spaces / 2.7：
Measurable Spaces and Measurability / 2.8：
Measurability versus Integrability / 2.9：
Stieltjes Functionals and Stieltjes Measures. Lebesgue Measure / 2.10：
L[superscript p]-Spaces / 3：
Classes modulo [mu] and Convergence in Measure / 3.1：
The Holder and Minkowski Inequalities and the L[superscript p]-Spaces / 3.2：
L[superscript p]-Spaces for 0 [ p [ [infinity] / 3.3：
Uniform integrability and the Generalized Lebesgue Convergence Theorem / 3.4：
Localization / 3.5：
Products and L[superscript [infinity]] / 3.6：
Real Measures / 4：
Nullcontinuous Functionals / 4.1：
Real Measures and Spaces of Real Measures / 4.2：
Integrals for Real Measures / 4.3：
Bounded Measures / 4.4：
Atomic and Atomless Measures / 4.5：
The Radon-Nikodym Theorem. Duality / 5：
Absolute Continuity / 5.1：
The Theorem of Radon-Nikodym / 5.2：
Duality for Function Spaces / 5.3：
The Classical Theory of Real Functions / 6：
Functions of Locally Finite Variation / 6.1：
Real Stieltjes Measures / 6.2：
Absolutely Continuous Functions / 6.3：
Vitali's Covering Theorem / 6.4：
Differentiable Functions / 6.5：
Spaces of Multiply Differentiable Functions / 6.6：
Riemann-Stieltjes Integrals / 6.7：
Historical Remarks
Name Index
Subject Index
Symbol Index
Preface
Acknowledgements
Introduction
35.

図書
図書
35. Proceedings of the 1998 Conference on Information Sciences and Systems (v. 1 ; v. 2)
[conference director, Bradley W. Dickinson
出版情報: Princeton, N.J. : Department of Electrical Engineering, Princeton University, [1998]  2 v. (1023 p.) ; 28 cm
所蔵情報: loading…
36.

図書

東工大
目次DB
図書
東工大
目次DB
36. Near-field nano/atom optics and technology
M. Ohtsu, ed
出版情報: Tokyo ; New York : Springer-Verlag, 1998  xiv, 302 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Contents
List of Contributors
1. Introduction 1
   1.1 Near-Field Optics and Related Technologies 1
   1.2 History of Near-Field Optics and Related Technologies 2
   1.3 Basic Features of an Optical Near Field 3
   1.3.1 Optically “Near” System 3
   1.3.2 Effective Field and Evanescent Field 5
   1.3.3 Near-Field Detection of Effective Fields 6
   1.3.4 Role of a Probe Tip 8
   1.4 Building Blocks of Near-Field Optical Systems 9
   1.5 Comments on the Theory of Near-Field Optics 11
   1.6 Composition of This Book 13
   References 13
2. Principles of the Probe 15
   2.1 Basic Probe 15
   2.1.1 Optical Fiber Probe for the Near-Field Optical Microscope 15
   2.1.2 Principle of the Imaging Mechanism: Dipole-Dipole Interaction 16
   2.1.3 Resolution 17
   2.1.4 Contrast 19
   2.1.5 Sensitivity 24
   2.2 Functional Probe: New Contrast Mechanisms 25
   2.2.1 Signal Conversion by Functional Probes 25
   2.2.2 Absorption and Emission: Radiative and Nonradiative Energy Transfer 26
   2.2.3 Resonance, Nonlinearity, and Other Mechanisms 27
   References 29
3. Probe Fabrication 31
   3.1 Introduction 31
   3.2 Selective Etching of a Silica Fiber Composed of a Core and Cladding 34
   3.2.1 Geometrical Model of Selective Etching 34
   3.2.2 Pure Silica Fiber with a Fluorine Doped Cladding 35
   3.2.3 GeO2 Doped Fiber 36
   3.2.4 Tapered Fibers for Optical Transmission Systems 37
   3.3 Selective Etching of a Dispersion Compensating Fiber 38
   3.3.1 Shoulder-Shaped Probe 38
   3.3.1.1 Shoulder-Shaped Probe with a Controlled Cladding Diameter 38
   3.3.1.2 Shoulder-Shaped Probe with a Nanometric Flattened Apex 40
   3.3.1.3 Double-Tapered Probe 42
   3.3.2 Pencil-Shaped Probe 45
   3.3.2.1 Pencil-Shaped Probe with an Ultra-Small Cone Angle 45
   3.3.2.2 Pencil-Shaped Probe with a Nanometric Apex Diameter 47
   3.4 Protrusion-Type Probe 51
   3.4.1 Selective Resin Coating Method 52
   3.4.2 Chemical Polishing Method 54
   3.5 Hybrid Selective Etching of a Double-Cladding Fiber 56
   3.5.1 Triple-Tapered Probe 56
   3.5.2 Geometrical Model of Selective Etching of a Double-Cladding Fiber 57
   3.5.3 Application-Oriented Probes: Pencil-Shaped Probe and Triple-Tapered Probe 59
   3.6 Probe for Ultraviolet NOM Applications 62
   3.6.1 UV Single-Tapered Probe 62
   3.6.2 UV Triple-Tapered Probe 65
   3.6.2.1 Advanced Method Based on Hybrid Selective Etching of a Double Core Fiber 65
   3.6.2.2 Geometrical Model 67
   References 68
4. High-Throughput Probes 71
   4.1 Introduction 71
   4.2 Excitation of the HE-Plasmon Mode 73
   4.2.1 Mode Analysis 73
   4.2.2 Edged Probes for Exciting the HE-Plasmon Mode 74
   4.3 Multiple-Tapered Probes 77
   4.3.1 Double-Tapered Probe 77
   4.3.2 Triple-Tapered Probe 82
   References 87
5. Functional Probes 89
   5.1 Introduction 89
   5.2 Methods of Fixation 90
   5.3 Selecting a Functional Material 92
   5.4 Probe Characteristics and Applications 93
   5.4.1 Dye-Fixed Probes 93
   5.4.2 Chemical Sensing Probes 94
   5.5 Future Directions 98
   References 99
6. Instrumentation of Near-Field Optical Microscopy 101
   6.1 Operation Modes of NOM 101
   6.1.1 c-Mode NOM 102
   6.1.2 i-Mode NOM 104
   6.1.3 Comparative Features of Modes of NOM 105
   6.2 Scanning Control Modes 107
   6.2.1 Constant-height Mode 107
   6.2.2 Constant-Distance Mode 108
   6.2.2.1 Shear-force Feed Back 108
   6.2.2.2 Optical Near-Field Intensity Feedback 111
   References 114
7. Basic Features of Optical Near-Field and Imaging 117
   7.1 Resolution Characteristics 117
   7.1.1 Longitudinal Resolution 117
   7.1.2 Lateral Resolution 120
   7.2 Factors Influencing Resolution 123
   7.2.1 Influence of Probe Parameters 124
   7.2.2 Dependence on Sample-Probe Separation 124
   7.3 Polarization Dependence 125
   7.3.1 Influence of Polarization on the Images of an Ultrasmooth Sapphire Surface 126
   7.3.2 Influence of Polarization on the Images of LiNbO3 Nanocrystals 130
   References 130
8. Imaging Biological Specimens 133
   8.1 Introduction 133
   8.2 Observation of Flagellar Filaments by c-Mode NOM 133
   8.2.1 Imaging in Air 134
   8.2.2 Imaging in Water 136
   8.3 Observation of Subcellular Structures of Neurons by i-Mode NOM 136
   8.3.1 Imaging in Air Under Shear-Force Feedback 137
   8.3.1.1 Imaging of Neurons Without Dye Labeling 138
   8.3.1.2 Imaging of Neurons Labeled with Toluidine Blue 139
   8.3.2 Imaging in Water Under Optical Near-Field Intensity Feedback 140
   8.3.2.1 Imaging in Air 140
   8.3.2.2 Imaging in PBS 142
   8.4 Imaging of Microtubules by c-Mode NOM 144
   8.5 Imaging of Fluorescent-Labeled Biospecimens 145
   8.6 Imaging DNA Molecules by Optical Near-Field Intensity Feedback 148
   References 151
9. Diagnosing Semiconductor Nano-Materials and Devices 153
   9.1 Fundamental Aspects of Near-Field Study of Semiconductors 153
   9.1.1 Near-Field Spectroscopy of Semiconductors 153
   9.1.2 Optical Near Field Generated by a Small Aperture and Its Interaction with Semiconductors 154
   9.1.3 Operation in Illumination-Collection Hybrid Mode 156
   9.2 Multidiagnostics of Lateral p-n Junctions 158
   9.2.1 Sample and Experimental Set-up 158
   9.2.2 Spatially Resolved Photoluminescence Spectroscopy 159
   9.2.3 Two-Dimensional Mapping of Photoluminescence Intensity 163
   9.2.4 Collection-Mode Imaging of Electroluminescence 163
   9.2.5 Multiwavelength Photocurrent Spectroscopy 164
   9.3 Low-Temperature Single Quantum Dot Spectroscopy 169
   9.3.1 Near-Field single quantum dot spectroscopy 169
   9.3.2 Low-Temperature NOM 170
   9.3.3 Sample and Experimental Set-up 171
   9.3.4 Fundamental Performance of the System 172
   9.3.5 Physical Insight of Single Quantum Dot Photoluminescence 174
   9.3.6 Observation of Other Types of Quantum Dots 176
   9.4 Ultraviolet Spectroscopy of Polysilane Molecules 178
   9.4.1 Polysilanes 178
   9.4.2 Near-Field Ultraviolet Spectroscopy 180
   9.4.3 Imaging and Spectroscopy of Polysilane Aggregates 181
   9.5 Raman Spectroscopy of Semiconductors 183
   9.5.1 Near-Field Raman Spectroscopy 183
   9.5.2 Raman Imaging and Spectroscopy of Polydiacetylene and Si 184
   9.6 Diagnostics of A1 Stripes in an Integrated Circuit 186
   9.6.1 Principle of Detection 186
   9.6.2 Heating with a Metallized Probe 187
   9.6.3 Heating by an Apertured Probe 188
   References 189
10. Toward Nano-Photonic Devices 193
   10.1 Introduction 193
   10.2 Use of Surface Plasmons 193
   10.2.1 Principles of Surface Plasmons 193
   10.2.2 Observation of Surface Plasmons 195
   10.2.3 Toward Two-Dimensional Devices 197
   10.2.4 Toward Three-Dimensional Devices 200
   10.2.5 A Protruded Metallized Probe with an Aperture 204
   10.3 Application to High-Density Optical Memory 207
   10.3.1 Problems to Be Solved 207
   10.3.2 Approaches to Solving the Problems 208
   10.3.2.1 Structure of the Read-Out Head 208
   10.3.2.2 Storage Probe Array 210
   10.3.2.3 Track-less Read-out 210
   10.3.3 Fabrication of a Two-Dimensional Planar Probe Array 212
   References 214
11. Near-Field Optical Atom Manipulation: Toward Atom Photonics 217
   11.1 Introduction 217
   11.1.1 Control of Gaseous Atoms: From Far Field to Near Field 217
   11.1.2 Dipole Force 219
   11.1.3 Atomic Quantum Sheets: Atom Reflection Using a Planar Optical Near Field 220
   11.1.4 Atomic Quantum Wires: Atom Guidance Using a Cylindrical Optical Near Field 221
   11.1.5 Atomic Quantum Dots: Atom Manipulation Using a Localized Optical Near Field 222
   11.2 Cylindrical Optical Near Field for Atomic Quantum Wires 224
   11.2.1 Exact Light-Field Modes in Hollow Optical Fibers 224
   11.2.2 Approximate Light-Field Modes in Hollow Optical Fibers 227
   11.2.3 Field Intensity of the LP Modes 229
   11.3 Atomic Quantum Wires 230
   11.3.1 Near-Field Optical Potential 230
   11.3.2 Laser Spectroscopy of Guided Atoms with Two-Step Photoionization 231
   11.3.3 Observation of Cavity QED Effects in a Dielectric Cylinder 235
   11.3.4 Atomic Quantum Wires with a Light Coupled Sideways 239
   11.4 Optically Controlled Atomic Deposition 240
   11.4.1 Spatial Distribution of Guided Atoms 241
   11.4.2 Precise Control of Deposition Rate 243
   11.4.3 In-line Spatial Isotope Separation 244
   11.5 Near-Field Optical Atomic Funnels 246
   11.5.1 Atomic Funnel with Atomic Quantum Sheet 247
   11.5.2 Sisyphus Cooling Induced by Optical Near Field 248
   11.5.3 Monte Carlo Simulations 251
   11.6 Atomic Quantum Dots 254
   11.6.1 Phenomenological Approach to the Interaction Between Atoms and the Localized Optical Near Field 254
   11.6.2 Atom Deflection 256
   11.6.3 Atom Trap with a Sharpened Optical Fiber 258
   11.6.4 Three-Dimensional Atom Trap 259
   11.7 Future Outlook 261
   References 263
12. Related Theories 267
   12.1 Comparison of Theoretical Approaches 267
   12.2 Semi-microscopic and Microscopic Approaches 270
   12.2.1 Basic Equations 270
   12.2.2 Example of an Evanescent Field 272
   12.2.3 Direct and Indirect Field Propagators 273
   12.2.4 Electric Susceptibility of Matter 275
   12.3 Numerical Examples 277
   12.3.1 Weak vs. Strong Coupling 277
   12.3.2 Near-Field- and Far-Field-Propagating Signals 280
   12.3.3 Scanning Methods 282
   12.3.4 Possibility of Spin-Polarization Detection 284
   12.4 Effective Field and Massive Virtual Photon Model 288
   12.5 Future Direction 290
   References 290
Index 295
Preface
Contents
List of Contributors
37.

図書
図書
37. Transition metals for organic synthesis : building blocks and fine chemicals (v. 1 ; v. 2)
[edited by] Matthias Beller, Carsten Bolm
出版情報: Weinheim ; Chichester : Wiley-VCH, c1998  2 v. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface.
General. / 1：
Basic Aspects of Organic Synthesis with Transition Metals (Barry M. Trost). / 1.1：
Concepts for the Use of Transition Metals in Industrial Fine Chemical Synthesis (Wilhelm Keim). / 1.2：
Transition Metal-Catalyzed Reactions. / 2：
Hydroformylation: Applications in the Synthesis of Pharmaceuticals and Fine Chemicals (Matthias Beller and Kamal Kumar). / 2.1：
New Synthetic Applications of Tandem Reactions under Hydroformylation Conditions (Peter Eilbracht and Axel M. Schmidt). / 2.2：
Multiple Carbon-Carbon Bond Formations under Hydroformylation Conditions (Peter Eilbracht and Axel M. Schmidt). / 2.3：
Hydrocarboxylation and Hydroesterification Reactions Catalyzed by Transition Metal Complexes (Bassam El Ali and Howard Alper). / 2.4：
The Amidocarbonylation of Aldehydes (Axel Jacobi von Wangelin, Helfried Neumann, Dirk Gordes, and Matthias Beller). / 2.5：
Transition Metal-catalyzed Alkene and Alkyne Hydrocyanations (Albert L. Casalnuovo and T.V. Rajan Babu). / 2.6：
Cyclopropanation (Andreas Pfaltz). / 2.7：
Cyclomerization of Alkynes (H. Bonnemann and W. Brijoux). / 2.8：
Coupling of Aryl and Alkyl Halides with Organoboron Reagents (Suzuki Reaction) (Alexander Zapf). / 2.9 Isomerization of Olefin and the Related Reactions (Sei Otsuka and Kazuhide Tani).：
Transition Metal-Catalyzed Arylation of Amines and Alcohols (Alexander Zapf, Matthias Beller, and Thomas H. Riermeier). / 2.11：
Catalytic Enantioselective Alkylation of Alkenes by Chiral Metallocenes (Amir H. Hoveyda). / 2.12：
Palladium-Catalyzed Olefinations of Aryl Halides (Heck Reaction) and Related Transformations (Matthias Beller, Alexander Zapf, and Thomas H. Riermeier). / 2.13：
Palladium-Catalyzed Allylic Substitutions (Andreas Heumann). / 2.14：
Alkene and Alkyne Metathesis in Organic Synthesis (Oliver R. Thiel). / 2.15：
Homometallic Lanthanoids in Synthesis: Lanthanide Triflate-catalyzed Synthetic Reactions (Sh&umarc; Kobayashi). / 2.16：
Lanthanide Complexes in Asymmetric Two-Center Catalysis (Masakatsu Shibasaki, Hiroaki Sasai, and Naoki Yoshikawa). / 2.17：
Bismuth Reagents and Catalysts in Organic Synthesis (Axel Jacobi von Wangelin). / 2.18：
Transition Metal-Mediated Reactions. / 3：
Fischer-Type Carbene Complexes (Karl Heinz Dotz and Ana Minatti). / 3.1：
Titanium-Carbene Mediated Reactions (Nicos A. Petasis). / 3.2：
The McMurry Reaction and Related Transformations (Alois Furstner). / 3.3：
Chromium(II)-Mediated and -Catalyzed C-C Coupling Reactions (David M. Hodgson and Paul J. Comina). / 3.4：
Manganese(III)-Based Oxidative Free-Radical Cyclizations (Barry B. Snider). / 3.5：
Titanium-Mediated Reactions (Rudolf O. Duthaler, Frank Bienewald, and Andreas Hafner). / 3.6：
Zinc-Mediated Reactions (Axel Jacobi von Wangelin and Mathias U. Frederiksen). / 3.7：
The Conjugate Addition Reaction (A. Alexakis). / 3.8：
Carbometalation Reactions of Zinc Enolate Derivatives (Daniella Banon-Tenne and Ilan Marek). / 3.9：
Iron Acyl Complexes (Karola Ruck-Braun). / 3.10：
Iron-Diene Complexes (Hans-Joachim Knolker). / 3.11：
Chromium-Arene Complexes (Hans-Gunther Schmalz and Florian Dehmel). / 3.12：
Pauson-Khand Reactions (D. Strubing and M. Beller). / 3.13：
Subject Index.
Preface.
General. / 1：
Basic Aspects of Organic Synthesis with Transition Metals (Barry M. Trost). / 1.1：
38.

図書
図書
38. Ports '98 : conference proceedings (: set ; v. 1 ; v. 2)
sponsored by the Committee on Ports and Harbors of the Waterway, Port, Coastal, and Ocean Engineering Division of the American Society of Civil Engineers and U.S. Section of the Permanent International Association of Navigation Congresses (PIANC) ; edited by Michael A. Kraman
出版情報: Reston, Va. : American Society of Civil Engineers, c1998  2 v. (xix, 1419 p.) ; 22 cm
所蔵情報: loading…
39.

図書
図書
39. Proceedings of the Fifth European Space Power Conference (ESPC) : Tarragona, Spain, 21-25 September 1998 (: set ; v. 1 ; v. 2)
organised by European Space Agency [ESA] ... [et al.]
出版情報: Noordwijk, The Netherlands : ESA Publications Division, c1998  2 v. (xvi, 762 p.) ; 30 cm
シリーズ名: ESA SP ; 416
所蔵情報: loading…
目次情報:
v. 1. Power systems, power electronics
v. 2. Photovoltaic generators, energy storage
v. 1. Power systems, power electronics
v. 2. Photovoltaic generators, energy storage
40.

図書

東工大
目次DB
図書
東工大
目次DB
40. Advances in chemical conversions for mitigating carbon dioxide : proceedings of the fourth International Conference on Carbon Dioxide Utilization, Kyoto, Japan, September 7-11, 1997
editors, T. Inui ... [et al.]
出版情報: Amsterdam ; Tokyo : Elsevier Science, c1998  xix, 699 p. ; 25 cm
シリーズ名: Studies in surface science and catalysis ; 114
所蔵情報: loading…
目次情報: 続きを見る
Preface
Organization
Sponsoring
Special Lecture
   International Energy Agency action on climate change issues M.A. Preville and H.J. Koch (France) 1
Plenary Lecture
   Japan's basic strategy concerning countermeasures to mitigate climate change T. Namiki (Japan) 9
   Research and development on new synthetic routes for basic chemicals by catalytic hydrogenation of CO2 H. Arakawa (Japan) 19
   New approaches in CO2 reduction A. Fujishima, D.A. Tryk and T.N. Rao (Japan) 31
   Development of electrocatalysts for carbon dioxide reduction using polydentate ligands to probe structure-activity relationships D.L. DuBois (USA) 43
   Carbon dioxide and microalgae N. Kurano, T. Sasaki and S. Miyachi (Japan) 55
   Perspectives of carbon dioxide utilization in the synthesis of chemicals. coupling chemistry with biotechnology. M. Aresta (Italy) 65
Keynote Lecture
   Scope of studies on CO2 mitigation K. Yamada (Japan) 77
   Hydrogenation of CO2 toward methanol Influence of the catalysts composition and preparation on the catalytic behavior R. Kieffer and L. Udron (France) 87
   Photochemical carbon dioxide reduction with metal complexes: Differences between cobalt and nickel macrocycles E. Fujita, B.S. Brunschwig, D. Cabelli, M.W. Renner, L.R. Furenlid, T. Ogata, Y. Wada and S. Yanagida (USA) 97
   Electrochemical reduction of CO2 at metallic electrodes J. Augustynski, P. Kedzierzawski and B. Jermann (Switzerland) 107
   Super-RuBisCO: Improvement of photosynthetic performances of plants A. Yokota (Japan) 117
   Organometallic reactions with CO2 - Catalyst design and mechanisms E. Dinjus (Germany) 127
Oral Presentation
   Catalytic fixation of CO2: CO2 purity and H2 supply J.N. Armor (USA) 141
   Reduction of carbon dioxide to graphite carbon via methane by catalytic fixation with membrane reactor H. Nishiguchi, A. Fukunaga, Y. Miyashita, T. Ishihara and Y. Takita (Japan) 147
   Catalytic reaction of CO2 with C2H4 on supported Pt-Sn bimetallic catalysts J. Llorca, P. Ramirez de la Piscina, J. Sales and H. Homs (Spain) 153
   Initial transient rates and selectivities of Fischer-Tropsch synthesis with CO2 as carbon source H. Schulz, G. Schaub, M. Claeys, T. Riedel and S. Walter (Germany) 159
   Palladium-catalyzed carboxylation of allyl stannanes and carboylative coupling of allyl stannanes and allyl halides M. Shi, R. Franks and K.N. Nicholas (USA) 165
   Interaction between CO2 and propylene on Ru-Co/Al2O3-catalysts of cluster type G.D. Zakumbaeva, L.B. Shapovalova and I.A. Shlygina (Kazakhstan) 171
   Photocatalytic reduction of CO2 with H2O on titanium oxides anchored within zeolites M. Anpo, H. Yamashita, K. Ikeue, Y. Fujii, Y. Ichihashi (Japan), S.G. Zhang, D.R. Park (Korea), S. Ehara (Japan), S.-E. Park, J.-S. Chang and J.W. Yoo (Korea) 177
   Photocatalytic reduction and fixation of CO2 on cadmium sulfide nanocrystallites S. Yanagida, Y. Wada, K. Murakoshi, H. Fujiwara, T. Sakata and H. Mori (Japan) 183
   Abiotic photosynthesis of amino acids, nucleic acid bases and organic acids from CO2 dissolved in aqueous solution S. Kihara, K. Maeda, T. Hori and T. Fujinaga (Japan) 189
   Aspects of CO2 utilization toward the goal of emission reduction in Romania L. Dragos, N. Scarlat, M. Neacsu and C. Flueraru (Romania) 195
   CO2 capture and utilization for enhanced oil recovery (EOR) and underground storage A case study in JiLin Oil Field, China G. Yun, D. Liu, T. Wu, J. Wu, X. Ji and Z. Li (China) 201
   Electrocatalytic reduction of CO2 to worthier compounds on a functional dual-film electrode with a solar cell as the energy source K. Ogura, M. Yamada, M. Nakayama and N. Endo (Japan) 207
   Incorporation of CO2 into organic perfluoroalkyl derivatives by electrochemical methods E. Chiozza, M. Desigaud, J. Greiner and E. Dunach (France) 213
   Molecular tailoring of organometallic polymers for efficient catalytic CO2 reduction: mode of formation of the active species R. Ziessel (France) 219
   Electroreduction of CO2 using Cu/Zn oxides loaded gas diffusion electrodes S. Ikeda, S. Shiozaki, J. Susuki, K. Ito and H. Noda (Japan) 225
   Recent slow rate of CO2 increase and vegetation activity K. Kawahira and Y. Maeda (Japan) 231
   Production of PHA (poly hydroxyalkanoate) by genetically engineered marine cyanobacterium H. Miyasaka, H. Nakano, H. Akiyama, S. Kanai and M. Hirano (Japan) 237
   Cellulose as a biological sink of CO2 T. Hayashi, Y. Ihara, T. Nakai, T. Takeda and R. Tominaga (Japan) 243
   Possibility of molecular protection of photosynthesis under salinity stress F. Sato, Y. Arata, K. Matsuguma, M. Shiga, Y. Kanda, K. Ifuku, K. Ishikawa and T. Yoshida (Japan) 249
   Organometallic CO2 complexes in supercritical CO2: a time-resolved infrared study M.W. George, D.C. Grills, X-Z. Sun and M. Poliakoff (UK) 255
   Methanation of carbon dioxide on catalysts derived from amorphous Ni-Zr-rare earth element alloys H. Habazaki, T. Yoshida, M. Yamasaki, M. Komori, K. Shimamura, E. Akiyama, A. Kawashima and K. Hashimoto (Japan) 261
   Development of high performance Raney copper-based catalysts for methanol synthesis from CO2 and H2 J. Toyir, M. Saito, I. Yamauchi, S. Luo, J. Wu, I. Takahara and M. Takeuchi (Japan) 267
   Global carbon-recycling energy delivery system for CO2 mitigation (I) Carbon one-time recycle system towards carbon multi-recycle system H. Sano, Y. Tamaura, H. Amano and M. Tsuji (Japan) 273
   Oil extraction by highly pressurized CO2 produced in zero emission power plants Ph. Mathieu, E. Iantovski and V. Kushnirov (Belgium) 279
   Global carbon-recycling energy delivery system for CO2 mitigation (III) Fossil/solar energy hybridization system for utilization of Carbon as solar energy carrier Y. Tamaura, M. Tsuji, H. Amano and H. Sano (Japan) 285
   Review of measures to mitigate carbon dioxide emissions in the Slovak Republic and modes of utilization A. Moncmanova (Slovak Republic) 291
   Proposal of a new high-efficient gas turbine power generation system utilizing waste heat from factories P.S. Pak, H. Ueda and Y. Suzuki (Japan) 297
   Acetogenesis and the primary structure of the NADP-dependent formate dehydrogenase of Clostridium thermoaceticum, a tungsten-selenium-iron protein D.J. Gollin, X.-L. Li, S.-M. Liu and L.G. Ljungdahl (USA) 303
   Biochemical CO2 fixation by mimicking zinc (II) complex for active site of carbonic anhydrase K. Ichikawa, K. Nakata, M. Ibrahim and S. Kawabata (Japan) 309
   The biological CO2 fixation using Chlorella sp. with high capability in fixing CO2 M. Murakami, F. Yamada, T. Nishide, T. Muranaka, N. Yamaguchi and Y. Takimoto (Japan) 315
   Photobiological production of hydrogen gas Y. Asada (Japan) 321
   Hydrocarbon synthesis from CO2 over composite catalysts Y. Souma, M. Fujiwara, R. Kieffer, H. Ando and Q. Xu (Japan) 327
   CO2 for petrochemicals feedstock. Conversion to synthesis gas on metal supported catalysts. P. Gronchi, P. Centola and R. Del Rosso (Italy) 333
   Iron catalyzed CO2 hydrogenation to liquid hydrocarbons R.A. Fiato, E. Iglesia, G.W. Rice and S.L. Soled (USA) 339
   Support effects of the promoted and unpromoted iron catalysts in CO2 hydrogenation K.-W. Jun, S.-J. Lee, H. Kim, M.-J. Choi and K.-W. Lee (Korea) 345
   Methanol synthesis from CO2/H2 over Pd promoted Cu/ZnO/Al2O3 catalysts M. Sahibzada, I.S. Metcalfe and D. Chadwick (UK) 351
   A 50Kg/day class test plant for methanol synthesis from CO2 and H2 K. Ushikoshi, K. Mori, T. Watanabe, M. Takeuchi and M. Saito (Japan) 357
Poster Presentation
   Comparison of CO2 sources for the synthesis of renewable methanol M. Specht, A. Bandi, M. Elser and F. Staiss (Germany) 363
   Characteristics and economics assessment of power generation systems utilizing solar energy in various regions T. Kosugi, P.S. Pak and Y. Suzuki (Japan) 367
   Solar/chemical energy hybridization via Boudouard reaction H. Ono, M. Kawabe, M. Nezuka, M. Tsuji and Y. Tamaura (Japan) 371
   Development of active and stable nickel-magnesia solid solution catalysts for CO2 reforming of methane K. Tomishige, Y. Chen, X. Li, K. Yokoyama, Y. Sone, O. Yamazaki and K. Fujimoto (Japan) 375
   Global carbon-recycling energy delivery system for CO2 mitigation (II) Two possible ways for introducing solar energy M. Tsuji, H. Amano, Y. Tamaura, H. Sano and S. Maezawa (Japan) 379
   Efficient thermochemical cycle for CO2 reduction with coal using a reactive redox system of ferrite T. Kodama, A. Aoki, S. Miura and Y. Kitayama (Japan) 383
   Oxidative dehydrogenation of ethylbenzene with carbon dioxide over ZSM-5-supported iron oxide catalysts J.-S. Chang, S.-E. Park, W.Y. Kim (Korea) M. Anpo and H. Yamashita (Japan) 387
   Nature of CO2 adsorbed on MgO surface at low temperatures T. Ito, H. Isawa, H. Kishimoto, H. Kobayashi and K. Toi (Japan) 391
   CO2 behavior on supported KNiCa catalyst in the carbon dioxide reforming of methane S.-E. Park, J.-S. Chang, H.-S. Roh (Korea), M. Anpo and H. Yamashita (Japan) 395
   Utilization of CO2 in the reforming of natural gas on carbon supported ruthenium catalysts. Influence of MgO addition P. Ferreira-Aparicio, B. Bachiller-Baeza, A. Guerrero-Ruiz and I. Rodriguez-Ramos (Spain) 399
   Catalytic conversion of carbon dioxide to polymer blends via cyclic carbonates D.W. Park, J.Y. Moon, J.G. Yang, S.M. Jung, J.K. Lee and C.S Ha (Korea) 403
   The selective synthesis of lower olefins (C2-C4) by the CO2 hydrogenation over Iron catalysts promoted with Potassium and supported on ion exchanged (H,K) Zeolite-Y H. Kim, D.-H. Choi, S.-S. Nam, M.-J. Choi and K.-W. Lee (Korea) 407
   Hydrogenation of carbon dioxide over rhodium catalyst supported on silica M. Kishida, K. Onoue, S. Tashiro, H. Nagata and K. Wakabayashi (Japan) 411
   Dehydrogenation of ethylbenzene over iron oxide-based catalyst in the presence of carbon dioxide N. Mimura, I. Takahara, M. Saito, T. Hattori, K. Ohkuma and M. Ando (Japan) 415
   Promoting effects of CO2 on dehydrogenation of propane over a SiO2-supported Cr2O3 catalyst I. Takahara, W.-C. Chang, N. Mimura and M. Saito (Japan) 419
   Hydrogenation of carbon dioxide over Fe-Cu-Na/zeolite composite catalysts Q. Xu, D. He, M. Fujiwara, M. Tanaka, Y. Matsumura, Y. Souma, H. Ando and H. Yamanaka (Japan) 423
   Fe promoted Cu-based catalysts for hydrogenation of CO2 N. Nomura, T. Tagawa and S. Goto (Japan) 427
   The effect of rhodium precursor on ethanol synthesis by catalytic hydrogenation of carbon dioxide over silica supported rhodium catalysts H. Kusama, K. Okabe, K. Sayama and H. Arakawa (Japan) 431
   Selective formation of iso-butane from carbon dioxide and hydrogen over composite catalysts Y. Tan, M. Fujiwara, H. Ando, Q. Xu and Y. Souma (Japan) 435
   Vanadium-catalyzed acetic acid synthesis from methane and carbon dioxide Y. Taniguchi, T. Hayashida, T. Kitamura and Y. Fujiwara (Japan) 439
   Fuels and petrochemicals from CO2 via Fischer-Tropsch synthesis - steady state catalyst activity and selectivity T. Riedel, S. Walter, M. Claeys, H. Schulz and G. Schaub (Germany) 443
   Effective conversion of CO2 to methanol and dimethyl ether over hybrid catalysts K.-W. Jun, M.-H. Jung, K.S. Rama Rao, M.-J. Choi and K.-W. Lee (Korea) 447
   Characterization of CO2 methanation catalysts prepared from amorphous Ni-Zr and Ni-Zr-rare earth element alloys M. Yamasaki, H. Habazaki, T. Yoshida, M. Komori, K. Shimamura, E. Akiyama, A. Kawashima, K. Asami and K. Hashimoto (Japan) 451
   Hydrogenation of CO2 over Rh ion exchanged zeolite catalysts K.K. Bando, K. Soga, K. Kunimori, N. Ichikuni, K. Asakura, K. Okabe, H. Kusama, K. Sayama and H. Arakawa (Japan) 455
   Interconversion of Ru-Co and Ru-η1-CO2 through reversible oxide transfer reaction K. Tsuge, K. Tanaka and H. Nakajima (Japan) 459
   Physiological properties of phosphoenolpyruvate carboxylase and phosphoenolpyruvate carboxykinase from Rhodopseudomonas sp No. 7 T. Fujii, M. Sadaie, M. Saijou, T. Nagano, T. Suzuki, M. Ohtani and H. Shinoyama (Japan) 463
   Production of alkane and alkene from CO2 by a petroleum-degrading bacterium strain HD-1 M. Morikawa, T. Iwasa, K. Nagahisa, S. Yanagida and T. Imanaka (Japan) 467
   Cultivation of cyanobacterium in various types of photobioreactors for biological CO2 fixation I.S. Suh, C.B. Park, J.-K. Han and S.B. Lee (Korea) 471
   Application of photosynthetic bacteria for porphyrin production H. Yamagata, R. Matoba, T. Fujii and H. Yukawa (Japan) 475
   Utilization of micro-algae for building materials after CO2 fixation T. Otsuki, M. Yamashita, T. Hirotsu, H. Kabeya and R. Kitagawa (Japan) 479
   Photosynthetic CO2 fixation performance by a helical tubular photobioreactor incorporating Chlorella sp. under outdoor culture conditions Y. Watanabe, M. Morita and H. Saiki (Japan) 483
   Carboxylation reaction with carbon dioxide. Mechanistec studies on the Kolbe-Schmitt reaction. Y. Kosugi and K. Takahashi (Japan) 487
   From carbon dioxide to C2 organic molecules mediated by Aresta's nickel carbon dioxide complex J.K. Gong, C.A. Wright, M. Thorn, K. McCauley, J.W. McGill, A. Sutterer, S.M. Hinze and R.B. Prince (USA) 491
   Methanol homologation using carbon dioxide catalyzed by ruthenium-cobalt bimetallic complex system K. Tominaga, Y. Sasaki, T. Watanabe and M. Saito (Japan) 495
   Atmospheric CO2 fixation by dinuclear Ni(II) complex, [TRANi(II)(μ-OH)2Ni(II)TPA](ClO4)2 (TPA=Trist(pyridymethyl)amine) M. Ito, T. Ishihara and Y. Takita (Japan) 499
   Carbon dioxide fixation with lanthanoid complex S. Inoue, H. Sugimoto, N. Ishida and T. Shima (Japan) 503
   A study on methanol synthesis through CO2 hydrogenation over copper-based catalysts S.-K. Ihm, Y.-K. Park, J.-K. Jeon, K.-C. Park and D.-K. Lee (Korea) 505
   Mechanistic studies of methanol synthesis from CO2/H2 on Cu/ZnO/SiO2 catalyst D.-K. Lee, D.-S. Kim, C.M. Yoo, C.-S. Lee and I.-C. Cho (Korea) 509
   Highly effective synthesis of ethanol from CO2 on Fe, Cu-based novel catalysts T. Yamamoto and T. Inui (Japan) 513
   A study for the durability of catalysts in ethaol synthesis by hydrogenation of carbon dioxide K. Higuchi, Y. Haneda, K. Tabata, Y. Nakahara and M. Takagawa (Japan) 517
   Development of stable catalysts for liquid-phase methanol synthesis from CO2 and H2 H. Mabuse, T. Watanabe and M. Saito (Japan) 521
   Ethanol synthesis from carbon dioxide and hydrogen M. Takagawa, A. Okamoto, H. Fujimura, Y. Izawa and H. Arakawa (Japan) 525
   New preparation method of Cu/ZnO catalysts for methanol synthesis from carbon dioxide hydrogenation by mechanical alloying H. Fukui, M. Kobayashi, T. Yamaguchi, H. Kusama, K. Sayama, K. Okabe and H. Arakawa (Japan) 529
   Promoting effect of calcium addition to Pd/SiO2 catalysts in CO2 hydrogenation to methanol A. L. Bonivardi, D.L. Chiavassa and M.A. Baltanas (Argentina) 533
   Direct synthesis of gasoline from carbon dioxide via methanol as the intermediate H. Hara, T. Takeguchi and T. Inui (Japan) 537
   Comparison of CO2 hydrogenation in a catalytic reactor and in a dielecric-barrier discharge A. Bill, B. Eliasson, U. Kogelschatz and L.-M. Zhou (Switzerland) 541
   Methanol synthesis from carbon dioxide on CuO-ZnO-Al2O3 catalysts M. Hirano, T. Akano, T. Imai and K. Kuroda (Japan) 545
   Optimization of preparation conditions and improvement of stability of Cu/ZnO-based multicomponent catalysts for methanol synthesis from CO2 and H2 S. Luo, J. Wu, J. Toyir, M. Saito, M. Takeuchi and T. Watanabe (Japan) 549
   Effect of solvents on photocatalytic reduction of carbon dioxide using semiconductor photocatalysts T. Torimoto, B.-J. Liu and H. Yoneyama (Japan) 553
   Application of electrospray mass spectrometry and high performance liquid chromatography in the elucidation of photocatalytic CO2-fixation reactions H. Hori, J. Ishihara, M. Ishizuka, K. Koike, K. Takeuchi, T. Ibusuki and O. Ishitani (Japan) 557
   Photocatalytic reduction of CO2 with H2O on Ti/Si binary oxide catalysts prepared by the solgel method H. Yamashita, S. Kawasaki, M. Takeuchi, Y. Fujii, Y. Ichihashi, Y. Suzuki (Japan), S.-E. Park, J.-S. Chang, J.W. Yoo (Korea) and M. Anpo (Japan) 561
   Photoelectrochemical reduction of CO2 at a metal-particle modified p-Si electrode in nonaqueous solutions Y. Nakamura, R. Hinogami, S. Yae and Y. Nakato (Japan) 565
   Infrared spectroscopic study of CO2 and CO reduction at metal electrodes O. Koga, T. Matsuo, H. Yamazaki and Y. Hori (Japan) 569
   Influence of anions on the production efficiency in pulsed electroreduction of CO2 on metal and alloy electrodes R. Shiratsuchi, S. Ishimaru and G. Nogami (Japan) 573
   Electrochemical reduction of CO2 by using metal supported gas diffusion electrode under high pressure K. Hara, N. Sonoyama and T. Sakata (Japan) 577
   Electrochemical reduction of carbon dioxide at a platinum electrode in acetonitrile-water mixtures Y. Tomita and Y. Hori (Japan) 581
   Electrochemical reduction of CO2 in micropores T. Yamamoto, D.A. Tryk, K. Hashimoto, A. Fujishima and M. Okawa (Japan) 585
   Photoelectrochemical reduction of highly concentrated CO2 in methanol solution K. Hirota, D.A. Tryk, K. Hashimoto, M. Okawa and A. Fujishima (Japan) 589
   Studies on CO2 fixation in PNSB: Utilization of waste as the additional source of carbon for CO2 fixation by PNSB V. Brenner, M. Inui, N. Nonoura, K. Momma and H. Yukawa (Japan) 593
   Studies on CO2 fixation in PNSB: Analysis of CO2 metabolism in purple non-sulfur bacteria M. Inui, J.H. Roh, K. Momma and H. Yukawa (Japan) 597
   Crystallization and preliminary X-ray studies of phosphoenolpyruvate carboxylase from Escherichia Coli H. Matsumura, T. Nagata, T. Inoue, Y. Nagara, T. Yoshinaga, K. Izui and Y. Kai (Japan) 601
   Molecular characterization of recombinant phosphoenolpyruvate carboxylase from an extreme thermophile T. Nakamura and K. Izui (Japan) 605
   Revertant of no-active RuBisCo tobacco mutant, Sp25, obtained by chloroplast transformation method using microprojectile bombardment K. Tomizawa, T. Shikanai, A. Shimoide, C.H. Foyer and A. Yokota (Japan) 609
   Reductive TCA cycle in an aerobic bacterium Hydrogenobacter thermophilus strain TK-6 M. Ishii, K. Yoon, Y. Ueda, T. Ochiai, N. Yun, S. Takishita, T. Kodama and Y. Igarashi (Japan) 613
   Carbon dioxide fixation and biomass production with blue-green algae Spirulina platensis S. Hirata and M. Hayashitani (Japan) 617
   Chitosan-calcium carbonate composites: Biomimetic mineralization of aqueous carbonate ions into chitosan-calcium alginate hydrogels S. Hirano, K. Yamamoto, H. Inui, K.I. Draget, K.M. Varum and O. Smidsrod (Japan) 621
   Tolerance of a green alga, Scenedesmus komarekii, to environmental extremes N. Hanagata, R. Matsukawa, M. Chihara and I. Karube (Japan) 625
   Over-expressed effect of carbonic anhydrase on CO2 fixation in cyanobacterium, Synechococcus sp. PCC7942 M. Murakami, N. Yamaguchi, T. Nishide, T. Muranaka and Y. Takimoto (Japan) 629
   CO2 removal by a bioreactor with photosynthetic algae using solar-collecting and light-diffusing optical devices M. Nanba and M. Kawata (Japan) 633
   Isolation and characterization of a green alga Neochloris sp. for CO2 fixation M. Kawata, M. Nanba, R. Matsukawa, M. Chihara and I. Karube (Japan) 637
   Antioxidant activity of CO2 fixing microalgae R. Matsukawa, Y. Wada, N. Tan, N. Sakai, M. Chihara and I. Karube (Japan) 641
   Screening of polysaccharide-producing microalgae Y. Shishido, M. Kawata, R. Matsukawa, M. Chihara and I. Karube (Japan) 645
   A marine microalga utilization for a paper: Semi-batch cultivation of Tetraselmis sp. Tt-1 by a tubular bioreactor and the partial substitution of whole kenaf pulp for a paper Y. Samejima, A. Hirano, K. Hon-Nami, S. Kunito, K. Masuda, M. Hasuike, Y. Tsuyu and Y. Ogushi (Japan) 649
   Conversion of CO2 into cellulose by gene manipulation of microalgae: Cloning of cellulose synthase genes from Acetobacter xylinum Y. Umeda, A. Hirano, K. Hon-Nami, S. Kunito, H. Akiyama, T. Onizuka, M. Ikeuchi and Y. Inoue (Japan) 653
   Ethanol production from carbon dioxide by fermentative microalgae S. Hirayama, R. Ueda, Y. Ogushi, A. Hirano, Y. Samejima, K. Hon-Nami and S. Kunito (Japan) 657
   Production of polyethylene glycol and polyoxyalkylenealkylphenyl ether microspheres using supercritical carbon dioxide K. Mishima, K. Matsuyama, Y. Taruta, M. Ezawa, Y. Ito and M. Nagatani (Japan) 661
   Carbon dioxide separation from nitrogen using Y-type zeolite membranes S. Morooka, T. Kuroda and K. Kusakabe (Japan) 665
   Comparative Study of various amines for the reversible absorption capacity of carbon dioxide Y. Nagao, A. Hayakawa, H. Suzuki, S. Mitsuoka, T. Iwaki, T. Mimura and T. Suda (Japan) 669
   Kinetic analysis of CO2 recovery from flue gas by an ecotechnological system M. Tabata, T. Chohji and E. Hirai (Japan) 673
   Formation of peroxocarbonates from L3Rh(O2)Cl and L2Ni(CO2): a unique reaction mechanism with carbon dioxide insertion into the O-O bond M. Aresta, E. Quaranta, I. Tommasi, J. Mascetti, M. Tranquille and M. Borowiak (Italy) 677
Keyword Index 681
Author Index 687
Preface
Organization
Sponsoring
41.

図書
図書
41. 2nd Transportation specialty conference : design management = 2e Congrès spécialisé sur le génie des transports : conception et gestion (:set - v. IVc)
editors, S. M. Easa, A. Abd El Halim, N. Ali = éditeurs, S. M. Easa, A. Abd El Halim, N. Ali
出版情報: Montreal, Qc : Canadian Society for Civil Engineering, [1998]  3 vols. ; 22 cm
シリーズ名: 1998 Annual conference, Halifax, Nova Scotia, June 10 to 13, 1998 : proceedings = Congrès annuel de 1998, Halifax, Nouvell-Écosse, 10-13 juin 1998 : compte rendus ; v. IVa, IVb, IVc
所蔵情報: loading…
42.

図書
図書
42. 2nd World Conference on Photovoltaic Solar Energy Conversion : 15th European PV Solar Energy Conference, 27th US IEEE Photovoltaics Specialists Conference, 10th Asia/Pacific PV Science and Engineering Conference : proceedings of the International Conference, held at Vienna, Austria, 6-10 July 1998 (vol. 1 ; vol. 2 ; vol. 3)
edited by J. Schmid, ... [et al.]
出版情報: Luxembourg : Joint Research Centre, European Commission, c1998  3 v. (xxiv, 3784 p.) ; 31 cm
所蔵情報: loading…
43.

図書
図書
43. Symétries quantiques : Les Houches, session LXIV, 1 août - 8 septembre 1995 = Quantum symmetries
édité par A. Connes, K. Gawedzki, et J. Zinn-Justin
出版情報: Amsterdam ; Tokyo : Elsevier Science, c1998  xxxvii, 990 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Lecturers
Seminar Speakers
Participants
Preface (French)
Preface (English)
Mathematics / Part I.：
Fields, Strings and Duality / R. DijkgraafCourse 1.：
Introduction / 1.：
What is a quantum field theory? / 2.：
Axioms vs. path-integrals / 2.1.：
Duality / 2.2.：
Quantum mechanics / 3.：
Supersymmetric quantum mechanics / 3.1.：
Quantum mechanics and perturbative field theory / 3.2.：
Two-dimensional topological field theory / 4.：
Axioms of topological field theory / 4.1.：
Topological field theory in two dimensions / 4.2.：
Example - quantum cohomology / 4.3.：
Riemann surfaces and moduli / 5.：
The moduli space of curves / 5.1.：
Example - genus one / 5.2.：
Surfaces with punctures / 5.3.：
The stable compactification / 5.4.：
Conformal field theory / 6.：
Algebraic approach / 6.1.：
Functorial approach / 6.2.：
Free bosons / 6.3.：
Free fermions / 6.4.：
Sigma models and T-duality / 7.：
Two-dimensional sigma models / 7.1.：
Toroidal models / 7.2.：
Intermezzo - lattices / 7.3.：
Spectrum and moduli of toroidal models / 7.4.：
The two-torus / 7.5.：
Path-integral computation of the partition function / 7.6.：
Supersymmetric sigma models and Calabi-Yau spaces / 7.7.：
Calabi-Yau moduli space and special geometry / 7.8.：
Perturbative string theory / 8.：
Axioms for string vacua / 8.1.：
Intermezzo - twisting and supersymmetry / 8.2.：
Example - The critical bosonic string / 8.3.：
Example - Twisted N = 2 SCFT / 8.4.：
Example - twisted minimal model / 8.5.：
Example - topological string / 8.6.：
Functorial definition / 8.7.：
Tree-level amplitudes / 8.8.：
Families of string vacua / 8.9.：
The Gauss-Manin connection / 8.10.：
Anti-holomorphic dependence and special geometry / 8.11.：
Local special geometry / 8.12.：
Gauge theories and S-duality / 9.：
Introduction to four-dimensional geometry / 9.1.：
The Lorentz group / 9.2.：
Duality in Maxwell theory / 9.3.：
The partition function / 9.4.：
Higher rank groups / 9.5.：
Dehn twists and monodromy / 9.6.：
Moduli spaces / 10.：
Supersymmetric or BPS configurations / 10.1.：
Localization in topological field theories / 10.2.：
Quantization / 10.3.：
Families of QFTs / 10.4.：
Moduli spaces of vacua / 10.5.：
Supersymmetric gauge theories / 11.：
Twisting and Donaldson theory / 11.1.：
Observables / 11.3.：
Abelian models / 11.4.：
Rigid special geometry / 11.5.：
Families of abelian varieties / 11.6.：
BPS states / 11.7.：
Non-abelian N = 2 gauge theory / 11.8.：
The Seiberg-Witten solution / 11.9.：
Physical interpretation of the singularities / 11.10.：
Implications for four-manifold invariants / 11.11.：
String vacua / 12.：
Perturbative string theories / 12.1.：
IIA or IIB / 12.2.：
D-branes / 12.3.：
Compactification / 12.4.：
Singularities revisited / 12.5.：
String moduli spaces / 12.6.：
Example - Type II on T[superscript 6] / 12.7.：
BPS states and D-branes / 13.：
Perturbative string states / 13.1.：
Perturbative BPS states / 13.2.：
D-brane states / 13.3.：
Example - Type IIA on K3 = Heterotic on T[superscript 4] / 13.4.：
Example - Type II on T[superscript 4] / 13.5.：
Example - Type II on K3 [times] S[superscript 1] = Heterotic on T[superscript 5] / 13.6.：
Example - Type IIA on X = Type IIB on Y / 13.7.：
References
How the Algebraic Bethe Ansatz Works for Integrable Models / L.D. FaddeevCourse 2.：
General outline of the course
XXX[subscript 1/2] model. Description
XXX[subscript 1/2] model. Bethe Ansatz equations
XXX[subscript 1/2] model. Physical spectrum in the ferromagnetic thermodynamic limit
XXX[subscript 1/2] model. BAE for an arbitrary configuration
XXX[subscript 1/2] model. Physical spectrum in the antiferromagnetic case
XXX[subscript s] model
XXX[subscript s] spin chain. Applications to the physical systems
XXZ model
Inhomogeneous chains and discrete time shift
Examples of dynamical models in discrete space-time
Conclusions and perspectives
Comments on the literature on BAE / 14.：
Supersymmetric Quantum Theory, Non-Commutative Geometry, and Gravitation / J. Frohlich ; O. Grandjean ; A. RecknagelCourse 3.：
The classical theory of gravitation
(Non-relativistic) quantum theory
Reconciling quantum theory with general relativity: quantum space-time-matter
Classical differential topology and -geometry and supersymmetric quantum theory
Pauli's electron
The special case where M is a Lie group
Supersymmetric quantum theory and geometry put into perspective
Supersymmetry and non-commutative geometry
Spin[superscript c] non-commutative geometry
The spectral data of spin[superscript c] NCG / 5.1.1.：
Differential forms / 5.1.2.：
Integration / 5.1.3.：
Vector bundles and Hermitian structures / 5.1.4.：
Generalized Hermitian structure on [Omega superscript k](A) / 5.1.5.：
Connections / 5.1.6.：
Riemannian curvature and torsion / 5.1.7.：
Generalized Kahler non-commutative geometry and higher supersymmetry / 5.1.8.：
Aspects of the algebraic topology of N = n supersymmetric spectral data / 5.1.9.：
Non-commutative Riemannian geometry
N = (1, 1) supersymmetry and Riemannian geometry / 5.2.1.：
Unitary connections and scalar curvature / 5.2.2.：
Remarks on the relation between N = 1 and N = (1, 1) spectral data / 5.2.5.：
Riemannian and spin[superscript c] "manifolds" in non-commutative geometry / 5.2.6.：
Algebraic topology of N = [characters not reproducible] spectral data / 5.2.7.：
Central extensions of supersymmetry, and equivariance / 5.2.8.：
N = (n, n) supersymmetry, and supersymmetry breaking / 5.2.9.：
Reparametrization invariance, BRST cohomology, and target space supersymmetry
The non-commutative torus
Spin geometry (N = 1) / 6.1：
Integration and Hermitian structure over [Omega superscript 1 subscript D](A[alpha]) / 6.1.1.：
Connections on [Omega superscript 1 subscript D](A[alpha]) / 6.1.3.：
Riemannian geometry (N = [characters not reproducible]
Kahler geometry (N = [characters not reproducible]
Applications of non-commutative geometry to quantum theories of gravitation
From point-particles to strings
A Schwinger-Dyson equation for string Green functions from reparametrization invariance and world-sheet supersymmetry
Some remarks on M(atrix) models
Two-dimensional conformal field theories
Recap of two-dimensional, local quantum field theory / 7.4.1.：
A dictionary between conformal field theory and Lie group theory / 7.4.2.：
Reconstruction of (non-commutative) target spaces from conformal field theory
Superconformal field theories, and the topology of target spaces
The N = 1 super-Virasoro algebra / 7.6.1.：
N = 2 and N = 4 supersymmetry; mirror symmetry / 7.6.2.：
Conclusions
Lectures on the Quantum Geometry of String Theory / B.R. GreeneCourse 4.：
What is quantum geometry? / 1.1.：
The ingredients / 1.2.：
The N = 2 superconformal algebra
The algebra
Representation theory of the N = 2 superconformal algebra
Chiral primary fields / 2.3.：
Spectral flow and the U(1) projection / 2.4.：
Four examples / 2.5.：
Example one: free field theory / 2.5.1.：
Example two: nonlinear sigma models / 2.5.2.：
Example three: Landau-Ginzburg models / 2.5.3.：
Example four: minimal models / 2.5.4.：
Families of N = 2 theories
Marginal operators
Moduli spaces: I
Interrelations between various N = 2 superconformal theories
Landau-Ginzburg theories and minimal models
Minimal models and Calabi-Yau manifolds: a conjectured correspondence
Arguments establishing minimal-model/Calabi-Yau correspondence
Mirror manifolds
Strategy of the construction
Minimal models and their automorphisms
Direct calculation
Constructing mirror manifolds
Examples / 5.5.：
Implications / 5.6.：
Spacetime topology change
Basic ideas
Mild topology change
Kahler moduli space / 6.2.1.：
Complex structure moduli space / 6.2.3.：
Implications of mirror manifolds: revisited / 6.2.4.：
Flop transitions / 6.2.5.：
An example / 6.2.6.：
Drastic topology change
Strominger's resolution of the conifold singularity / 6.3.1.：
Conifold transitions and topology change / 6.3.3.：
Symmetry Approach to the XXZ Model / T. MiwaCourse 5.：
The XXZ Hamiltonian for [Delta] [ -1
Transfer matrix
Symmetry of U[subscript q](sl[subscript 2])
Corner transfer matrix
Level 1 highest weight module
Half transfer matrix
Intertwiners
The vacuum vector
Diagonalization of the transfer matrix
Local operators and difference equations
Superstring Dualities, Dirichlet Branes and the Small Scale Structure of Space / M.R. DouglasSeminar 1.：
Duality and solitons in supersymmetric field theory
Duality and solitons in superstring theory
Dirichlet branes
Short distances in superstring theory
Further directions
Testing the Standard Model and Beyond / J. EllisSeminar 2.：
Introduction to the Standard Model and its (non-topological) defects
Testing the Standard Model
The electroweak vacuum
Motivations for supersymmetry
Model building
Physics with the LHC
Quantum Group Approach to Strongly Coupled Two Dimensional Gravity / J.-L. GervaisSeminar 3.：
Basic points about Liouville theory
The basic relations between 6j symbols
The Liouville string
Concluding remarks
N = 2 Superalgebra and Non-Commutative Geometry / H. Grosse ; C. Klimcik ; P. PresnajderSeminar 4.：
Commutative supersphere
Non-commutative supersphere
Outlook
Lecture on N = 2 Supersymmetric Gauge Theory / W. LercheSeminar 5.：
Semi-classical N = 2 Yang-Mills theory for G = SU(2)
The exact quantum moduli space
Solving the monodromy problem
Picard-Fuchs equations
Generalization to SU(n)
Physics / Part II.：
Noncommutative Geometry: The Spectral Aspect / A. ConnesCourse 6.：
Noncommutative geometry: an introduction
Infinitesimal calculus
Local index formula and the transverse fundamental class
The notion of manifold and the axioms of geometry
The spectral geometry of space-time
The KZB Equations on Riemann Surfaces / G. FelderCourse 7.：
Conformal blocks on Riemann surfaces
Kac-Moody groups
Principal G-bundles
Conformal blocks
The connection
The energy-momentum tensor
Flat structures
Connections on bundles of projective spaces / 3.3.：
The Friedan-Shenker connection / 3.4.：
The Knizhnik-Zamolodchikov-Bernard equations
Dynamical r-matrices
An explicit form for the connection
Transformation properties
Moving points
Fixing the complex structure
Proof of Theorem 5.2
From Diffeomorphism Groups to Loop Spaces via Cyclic Homology / J.-L. LodayCourse 8.：
Diffeomorphism group and pseudo-isotopy space
Algebraic K-theory via Quillen +-construction
The +-construction
First definition of Waldhausen's space A(X)
The Grothendieck group K[subscript 0]
Hochschild and cyclic homology, Lie algebras
Hochschild homology
Cyclic homology
Relationship with the Lie algebra homology of matrices
Computing A(X) out of the loop space [Lambda]X
Algebraic K-theory via Waldhausen S.-construction and Wh(X)
Waldhausen S.-construction
A(X) and Wh(X) via the S.-construction
Relating Wh(X) to pseudo-isotopy
Notation and terminology in algebraic topology / Appendix A.：
Homotopy theory / A.1.：
Classifying spaces / A.2.：
Simplicial sets and classifying spaces / Appendix B.：
More on classifying spaces of categories / B.1.：
Bisimplicial sets / B.2.：
References with comments
Quantum Groups and Braid Groups / M. RossoCourse 9.：
The Yang-Baxter equation, braid groups and Hopf algebras
Drinfeld's quantum double
The dual double construction
The quantum double and its properties
Hopf pairings and a generalized double
The quantized enveloping algebra U[subscript q]G
Construction of U[subscript q]G
A Hopf pairing U[subscript +] [times] U[subscript -] [right arrow] C(q) / 4.1.1.：
Some results from representation theory
The quantum shuffle construction
The quantum shuffle Hopf algebra
Hopf bimodules
Braidings
The cotensor Hopf algebra
The quantum symmetric algebra
The examples from abelian group algebras
A classification result
Multiplicative bases in the quantum shuffle algebra / 5.3.1.：
Consequences of growth conditions / 5.3.2.：
From Index Theory to Non-Commutative Geometry / N. TelemanCourse 10.：
Differential forms on smooth and Lipschitz manifolds
Riemannian metrics and L[subscript 2]-forms on smooth and Lipschitz manifolds
Hodge theory on smooth and Lipschitz manifolds
Analytical index of Fredholm operators on smooth and Lipschitz manifolds
Topological K-theory
Symbols of elliptic operators on smooth manifolds and their index
Characteristic classes, Chern character
Stiefel-Whitney classes of real vector bundles
Chern classes of complex vector bundles
Pontrjagin classes of real vector bundles
Chern-Weyl theory on smooth manifolds
Thom isomorphism
Thom isomorphism in cohomology
Thom isomorphism in K-theory
Comparison between the Thom isomorphism in cohomology and K-theory
Index theorem for smooth manifolds
Index theorem for Lipschitz manifolds
Quasi local formulas for Thom-Hirzebruch classes on quasi conformal manifolds
Compact Quantum Groups / S.L. WoronowiczCourse 11.：
Definitions and results
The Haar measure
Unitary representations
Right regular representation
The Hopf algebras
Peter-Weyl theory
Groups with faithful Haar measure
Seiberg-Witten Invariants and Vortex Equations / O. Garcia-PradaSeminar 6.：
Preliminaries on spin geometry, almost-complex geometry and self-duality
The Seiberg-Witten invariants
Kahler complex surfaces
Non-Kahler complex surfaces
Symplectic four-manifolds
Non-Abelian monopole equations
Quantization of Poisson Algebraic Groups and Poisson Homogeneous Spaces / P. Eting of ; D. KazhdanSeminar 7.：
Quantization of Poisson algebraic and Lie groups
Quantization of Poisson homogeneous spaces
Eta and Torsion / J. LottSeminar 8.：
Eta-invariant
Analytic torsion
Eta-forms
Analytic torsion forms
Symplectic Formalism in Conformal Field Theory / A. SchwarzSeminar 9.：
Symplectic formalism in classical field theory
Superconformal geometry
Superconformal field theory
Quantization of geometry associated to the quantized Knizhnik-Zamolodchikov equations / A. VarchenkoSeminar 10.：
KZ equations
Hypergeometric functions
Geometry of hypergeometric functions
qKZ equations
Solutions to the qKZ equations and eigenvectors of commuting Hamiltonians
Solutions to the qKZ equations
Difference equations of the discrete connection
p-Homology theory
Conclusion
Lecturers
Seminar Speakers
Participants
44.

図書
図書
44. Perfect incompressible fluids
Jean-Yves Chemin ; translated by Isabelle Gallagher and Dragos Iftimie
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1998  x, 187 p. ; 25 cm
シリーズ名: Oxford lecture series in mathematics and its applications ; 14
所蔵情報: loading…
目次情報: 続きを見る
Presentation of the equations / 1：
What is a perfect fluid? / 1.1：
Prom Lagrange to Euler / 1.2：
Vorticity, pressure and dimension 2 / 1.3：
References and remarks / 1.4：
Littlewood-Paley theory / 2：
Dyadic decomposition / 2.1：
Sobolev spaces / 2.2：
Hölder spaces / 2.3：
Paradifferential calculus / 2.4：
The pressure and its gradient field / 2.5：
Concerning BiotùSavart's law / 2.6：
Lp estimates / 3.1：
L∞ estimates: some examples / 3.2：
Riesz operators and bounded functions / 3.3：
The case of smooth initial data / 3.4：
Resolution of a model problem / 4.1：
Application to Euler's equation / 4.2：
The case of bounded vorticity / 4.3：
Yudovich's theorem / 5.1：
On ordinary differential equations / 5.2：
An example / 5.3：
The vortex patch problem / 5.4：
Proof of the persistence / 5.5：
Vortex sheets / 5.6：
Presentation of the problem / 6.1：
The study of the function G / 6.2：
The limit / 6.3：
The wave front and the product / 6.4：
Presentation of the wave front / 7.1：
When can the product be defined? / 7.2：
Analytic and Gevrey wave-front sets / 7.3：
Analyticity and Gevrey regularity / 7.4：
Statement of the theorems / 8.1：
Multilinear operators / 8.2：
Regularity along the flow lines / 8.3：
Singular vortex patches / 8.4：
Local Littlewood-Paley theory / 9.1：
Dynamics of singular patches / 9.3：
References / 9.4：
Index
Presentation of the equations / 1：
What is a perfect fluid? / 1.1：
Prom Lagrange to Euler / 1.2：
45.

学位論文
学位
45. 2価チタン錯体(η[2]-propene)Ti(O-i-Pr)[2]を反応剤とするメタロエン等価反応の開発と展開
高山祐樹
出版情報: 東京 : 東京工業大学, 1998
所蔵情報: loading…
46.

図書
図書
46. 7th AIAA/USAF/NASA/ISSMO Symposium on Multidisciplinary Analysis and Optimization : a collection of technical papers, September 2-4, 1998/St. Louis, Missouri (:set - pt. 3)
AIAA/NASA/ISSMO Symposium on Multidisciplinary Analysis and Optimization ; American Institute of Aeronautics and Astronautics ; United States. Air Force ; United States. National Aeronautics and Space Administration ; International Society for Structural and Multidisciplinary Optimization
出版情報: Reston, VA : American Institute of Aeronautics and Astronautics, 1998  3 v. (XV, 2201 p.) ; 28 cm
所蔵情報: loading…
47.

図書
図書
47. Proceedings : IEEE INFOCOM '98 : the conference on computer communications : seventeenth annual joint conference of the IEEE Computer and Communications Societies, Gateway to the 21st century 29 March-2 April 1998, Hotel Nikko, San Francisco, CA USA (v. 1 : case - v. 3 : paper)
sponsored by IEEE Computer Society, IEEE Communications Society
出版情報: Piscataway, N.J. : IEEE, c1998  3 v. ; 28 cm
所蔵情報: loading…
48.

図書
図書
48. Proceedings of 2nd Electronics Packaging Technology Conferenc : [8-10 December, 1998, Raffles City Convention Center, Singapore] (: soft. ; : case.)
edited by Andrew A.O. Tay, Lim Thian Beng ; organised by IEEE Reliability/CPMT/ED Singapore Chapter ... [et al.]
出版情報: Piscataway, New Jersey : IEEE, c1998  361 p. ; 30 cm
所蔵情報: loading…
49.

図書
図書
49. California and the World Ocean '97 : taking a look at California's ocean resources : an agenda for the future : conference proceedings (v. 1 ; v. 2)
edited by Orville T. Magoon ... [et al.]
出版情報: Reston, Va. : American Society of Civil Engineers, c1998  2 v. (xxxiv, 1756 p.) ; 22 cm
所蔵情報: loading…
50.

図書
図書
50. New trends in design of control systems 1997 : a proceedins volume from the 2nd IFAC workshop, Smolenice, Slovak Republic, 7-10 September 1997
edited by Š. Kozák and M. Huba
出版情報: Oxford ; New York : Published for the International Federation of Atomatic Control by Pergamon, c1998  ix, 526 p. ; 30 cm
所蔵情報: loading…
目次情報: 続きを見る
Chapter headings
Linear and Nonlinear Control System Design
Control Design Problems in Robotics and Manufacturing
Control of Discrete Event Systems
Neural, Fuzzy and Genetic Control Systems
Large-Scale Systems
Adaptive and Selftuning Control
2-D Singular Solutions
Chapter headings
Linear and Nonlinear Control System Design
Control Design Problems in Robotics and Manufacturing
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼