Springer-Verlag London Limeted : Springer e-books - 搜索

zlib/no-category/Almeida, Anibal T.. Auteur, Khatib, Oussama/Autonomous Robotic Systems [Ressource électronique]_119882510.pdf

Autonomous Robotic Systems [Ressource électronique] Almeida, Anibal T.. Auteur, Khatib, Oussama London : Springer-Verlag : Springer e-books, 1998

This book constitutes the presentations made at the Advanced Research Workshop on Autonomous Robotic Systems, which was held at the University of Coimbra, Portugal, June 1997. The aim of the meeting was to bring together leading researchers in the area of autonomous systems for mobility and manipulation, and the aim of this book is to share the presentations with the reader. The book presents the most recent developments in the field. Topics include sensors and navigation in mobile robots, robot co-operation, telerobotics, legged robots, climbing robots and applications. Existing and emerging applications of autonomous syst ems are described in great detail, including applications in forestry, cleaning, mining, tertiary buildings, assistance to the elderly and handicapped, and surgery. The chapters are written in a structured and advanced tutorial style by leading specialists from Europe, Australia, Japan and USA. The style will allow the reader to grasp the state-of-the-art and research directions in the area of autonomous systems.Content: Front Matter....Pages -Autonomous outdoor mobile robot navigation the EDEN project....Pages 1-19Active vision for autonomous systems....Pages 20-49Sensors for mobile robot navigation....Pages 50-81Application of odor sensors in mobile robotics....Pages 82-95Advanced telerobotics....Pages 97-124Cooperative behavior between autonomous agents....Pages 125-140Mobile manipulator systems....Pages 141-148Forestry robotics - why, what and when....Pages 149-162Robotics for the mining industry....Pages 163-181HelpMate®, the trackless robotic courier: A perspective on the development of a commercial autonomous mobile robot....Pages 182-210Intelligent wheelchairs and assistant robots....Pages 211-221Robots in surgery....Pages 222-234Legged walking machines....Pages 235-263Climbing robots....Pages 264-275Back Matter....Pages -, Series:...

英语 [en] · PDF · 5.7MB · 1998 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Subbaram Naidu, D.. Auteur/Aeroassisted Orbital Transfer [Ressource électronique] : Guidance and Control Strategies_119819927.pdf

Aeroassisted Orbital Transfer [Ressource électronique] : Guidance and Control Strategies Subbaram Naidu, D.. Auteur Berlin, Heidelberg : Springer-Verlag London Limited : Springer e-books, 1994

The concept of aeroassisting for orbital transfer has been recognized as one of the critical technologies for pioneering the space frontier. In space transportation systems, aeroassisting (or aerobraking), defined as the deceleration resulting from the effects of atmospheric drag upon a vehicle during orbital operations, opens new mission opportunities, especially with regard to the establishment of the permanent Space Station Freedom and space explorations to other planets such as Mars. The main areas of research reported in this monograph are atmospheric entry problem by the method of matched asymptotic expansions, coplanar and non-coplanar orbital transfers with aeroassist technology, orbital plan change with aerocruise, and neighbouring optimal guidance. A special feature is the bibliography which will provide the reader with a literature status for further research.Content: Front Matter....Pages -Chapter 1. Introduction....Pages 1-9Chapter 2. Atmospheric entry problem....Pages 10-29Chapter 3. Fuel optimal control for coplanar orbital transfer....Pages 30-54Chapter 4. Fuel optimal control for noncoplanar orbital transfer....Pages 55-82Chapter 5. Orbital plane change with aerocruise....Pages 83-129Chapter 6. Optimal guidance for orbital transfer....Pages 130-151Back Matter....Pages -, Series: Lecture Notes in Control and Information Sciences 188, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 2.6MB · 1994 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Zinober, Alan S. I.. Auteur/Variable Structure and Lyapunov Control [Ressource électronique]_119093628.pdf

Variable Structure and Lyapunov Control [Ressource électronique] Zinober, Alan S. I.. Auteur Berlin, Heidelberg : Springer-Verlag London Limited : Springer e-books, 1994

This book covers a wide range of up-to-date sliding mode Variable Structure Control (VSC) and Lyapunov Control research and design techniques for the robust control of uncertain systems. In direct contrast to most adaptive controllers, these deterministic controllers employ fixed nonlinear feedback control functions, which operate effectively over a specified magnitude range of system parameter variations and disturbances. There are 18 chapters covering and discussing such topics as the theoretical and practical design of controllers for uncertain multivariable systems, novel algebraic approaches for sliding mode control, discrete-time control, and the stabilizing VSC of uncertain infinite-dimensional systems. The main areas of application include electric motor drives, robotics, flight control and space systems, as well as power electronics and chemical processes, some of which are described in the book.Content: Front Matter....Pages -An introduction to sliding mode variable structure control....Pages 1-22An algebraic approach to sliding mode control....Pages 23-49Robust tracking with a sliding mode....Pages 51-74Sliding surface design in the frequency domain....Pages 75-86Sliding mode control in discrete-time and difference systems....Pages 87-107Generalized sliding modes for manifold control of distributed parameter systems....Pages 109-131Digital variable structure control with pseudo-sliding modes....Pages 133-159Robust observer-controller design for linear systems....Pages 161-180Robust stability analysis and controller design with quadratic Lyapunov functions....Pages 181-203Universal controllers: Nonlinear feedback and adaptation....Pages 205-225Lyapunov stabilization of a class of uncertain affine control systems....Pages 227-248The role of morse-Lyapunov functions in the design of nonlinear global feedback dynamics....Pages 249-267Polytopic coverings and robust...

英语 [en] · PDF · 5.6MB · 1994 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Young, K.D.. Auteur, Özgüner, Ü/Variable structure systems, sliding mode and nonlinear control [Ressource électronique]_119099249.pdf

Variable structure systems, sliding mode and nonlinear control [Ressource électronique] Young, K.D.. Auteur, Özgüner, Ü London : Springer-Verlag : Springer e-books, 1999

This book comprises a selection of papers that were first presented at VSS98 (5th International Workshop on Variable Structure Systems) held in Sarasota, Florida. This workshop was the fifth in a series of VSS international workshops, and the first to be held in the United States. Work presented herein on theoretical developments and applications on VSS and Sliding Mode, reflects how trends have advanced beyond the original ideas that are now well documented in a number of books and research monographs. In particular, the concepts of Sliding Sector and Second Order Sliding Mode introduced in this volume, will stimulate discussions and invite further extensions. Also, the focus on Sampled Data systems represents a positive trend towards practical industrial implementations of sliding mode controllers.Content: Front Matter....Pages -Sliding sector for variable structure system....Pages 1-25On discrete variable structure control with switching sector....Pages 27-41Variable structure control of nonlinear sampled data systems by second order sliding modes....Pages 43-67On sampled data variable structure control systems....Pages 69-92Sliding mode control of systems with delayed states and controls....Pages 93-107On global stabilization of nonlinear dynamical systems....Pages 109-122A general canonical form for sliding mode control of nonlinear systems....Pages 123-142Handling stiction with variable structure control....Pages 143-166Equivalent value filters in disturbance estimation and state observation....Pages 167-179Sliding mode control of a car-like mobile robot using single-track dynamic model....Pages 181-191Park vector based sliding mode control of UPS with unbalanced and nonlinear load....Pages 193-209Dynamical adaptive sliding mode control of observable minimum-phase uncertain nonlinear systems....Pages 211-235Symbolic computing tools for nonsmooth dynamics and...

英语 [en] · PDF · 6.2MB · 1999 · 📗 未知类型的图书 · zlib · Save

upload/misc/IXKXcI5mZnjhFnLAUPaa/E-Books/computer/computersother/9783540850229_storage_management_in_data_centers_5175.pdf

Storage Management in Data Centers : Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation Albrecht Scriba, Volker Herminghaus (auth.) Springer-Verlag Berlin Heidelberg, 1, 20090421

Keine Beschreibung vorhanden. Erscheinungsdatum: 27.03.2009

英语 [en] · PDF · 9.8MB · 2009 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/upload/zlib · Save

lgli/P_Physics/PGp_Geophysics/Benestad R.E. Solar Activity and Earth's Climate (2ed., Springer, 2010)(ISBN 3642067905)(349s)_PGp_.pdf

Solar Activity and Earth's Climate (Springer Praxis Books) Rasmus E. Benestad Springer/Praxis, Springer Praxis Books / Environmental Sciences, Softcover reprint of hardcover 2nd ed. 2006, 2010

In its revised 2nd edition, this book examines current understanding of the relationship between sunspots and the Earth's climate. Opening with a brief historical review, the text moves on to scrutinize the various current hypotheses. The focus is on how information on the solar cycle and Earth's climate is gathered, and includes discussion of observations, methododology and the physics involved, with the necessary statistics and analysis also provided.

英语 [en] · PDF · 6.1MB · 2010 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

ia/polarseasoceanog0000unse.pdf

Polar Seas Oceanography (Springer Praxis Books / Geophysical Sciences) Vladimir A. Volkov, Ola M. Johannessen, Victor E. Borodachev, Gennadiy N. Voinov, Lasse H. Pettersson, Leonoid P. Bobylev, Alexei V. Kouraev Chichester, United Kingdom : Springer : Published in association with Praxis Pub, Springer-Praxis books in geophysical sciences, London, New York, Chichester, UK, England, 2002

Rapid development of Earth observation satellite using remote sensing techniques enables observations of the oceanic processes by sea and airborne study to be carried out over vast areas in a short time. This first book written by Russian and Norwegian scientists is an analysis of studies of the Kara Sea and presents a unique catalogue of environmental and pollution data of the joint Norwegian and Russian oceanographic expedition studies of the Kara Sea spanning three decades. Erscheinungsdatum: 01.06.2002

英语 [en] · PDF · 30.7MB · 2002 · 📗 未知类型的图书 · 🚀/ia · Save

scihub/10.1007/978-3-642-04898-2.pdf

International Encyclopedia of Statistical Science Volume 120 || Lovric, Miodrag Springer Berlin Heidelberg : Springer e-books : Imprint : Springer : Springer e-books, 10.1007/97, 2011

The goal of this book is multidimensional: a) to help reviving Statistics education in many parts in the world where it is in crisis. For the first time authors from many developing countries have an opportunity to write together with the most prominent world authorities. The editor has spent several years searching for the most reputable statisticians all over the world. International contributors are either presidents of the local statistical societies, or head of the Statistics department at the main university, or the most distinguished statisticians in their countries. b) to enable any non-statistician to obtain quick and yet comprehensive and highly understandable view on certain statistical term, method or application c) to enable all the researchers, managers and practicioners to refresh their knowledge in Statistics, especially in certain controversial fields. d) to revive interest in statistics among students, since they will see its usefulness and relevance in almost all branches of Science

英语 [en] · PDF · 1.4MB · 2011 · 📘 非小说类图书 · 🚀/lgli/scihub/zlib · Save

lgli/A:\compressed\10.1007%2F978-1-4471-0081-2.pdf

E-Management : The Impact of E-Business on Today’s IT Manager Ian Gouge (auth.) Springer-Verlag London, Practitioner Series, Practitioner Series, 1, 2003

In today's rush towards e-Business many organizations have failed to recognize that the responsibilities of IT Managers have significantly changed. No longer do the tried and trusted methods of the 3- or 4-GL lifecycle retain the value they once possessed; and the more we try to fit new e-Business developments into old and ill-fitting processes and practices, the greater the danger of compromising the business altogether. Ian Gouge offers an insight into the very real - and new - challenges faced by IT managers and professionals, such as: - What is e-Business? - What are the implications of e-Business for the IT Professional? - What are the 'systems' expectations of both internal and external customers? What does the IT Manager need to consider to make an effective contribution to the new business model e-Management is a valuable guide for those responsible for the management of IT in the burgeoning world of e-Business. It also provides insight for those business managers who are more dependent on information technology for their business than perhaps they realise.

英语 [en] · 法语 [fr] · PDF · 11.1MB · 2003 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

upload/misc/IXKXcI5mZnjhFnLAUPaa/E-Books/engineering/control/9781849961868_bayesian_inference_for_probabilistic_risk_assessment_45d3.pdf

Bayesian Inference for Probabilistic Risk Assessment: A Practitioner's Guidebook (Springer Series in Reliability Engineering) Dana Kelly, Curtis Smith (auth.) Springer London : Imprint: Springer, Springer Series in Reliability Engineering, Springer series in reliability engineering, 1, 2011

__Bayesian Inference for Probabilistic Risk Assessment__ provides a Bayesian foundation for framing probabilistic problems and performing inference on these problems. Inference in the book employs a modern computational approach known as Markov chain Monte Carlo (MCMC). The MCMC approach may be implemented using custom-written routines or existing general purpose commercial or open-source software. This book uses an open-source program called OpenBUGS (commonly referred to as WinBUGS) to solve the inference problems that are described. A powerful feature of OpenBUGS is its automatic selection of an appropriate MCMC sampling scheme for a given problem. The authors provide analysis “building blocks” that can be modified, combined, or used as-is to solve a variety of challenging problems. The MCMC approach used is implemented via textual scripts similar to a macro-type programming language. Accompanying most scripts is a graphical Bayesian network illustrating the elements of the script and the overall inference problem being solved. __Bayesian Inference for Probabilistic Risk Assessment__ also covers the important topics of MCMC convergence and Bayesian model checking. __Bayesian Inference for Probabilistic Risk Assessment__ is aimed at scientists and engineers who perform or review risk analyses. It provides an analytical structure for combining data and information from various sources to generate estimates of the parameters of uncertainty distributions used in risk and reliability models.

英语 [en] · PDF · 4.4MB · 2011 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/upload/zlib · Save

upload/misc/IXKXcI5mZnjhFnLAUPaa/E-Books/robotics/9783662438589_new_development_in_robot_vision_623d.pdf

New Development in Robot Vision (Cognitive Systems Monographs, 23) Yu Sun, Aman Behal, and Chi-Kit Ronald Chung (eds.) Springer-Verlag Berlin Heidelberg, Cognitive Systems Monographs, Cognitive Systems Monographs 23, 1, 2015

"The field of robotic vision has advanced dramatically recently with the development of new range sensors. Tremendous progress has been made resulting in significant impact on areas such as robotic navigation, scene/environment understanding, and visual learning. This edited book provides a solid and diversified reference source for some of the most recent important advancements in the field of robotic vision. The book starts with articles that describe new techniques to understand scenes from 2D/3D data such as estimation of planar structures, recognition of multiple objects in the scene using different kinds of features as well as their spatial and semantic relationships, generation of 3D object models, approach to recognize partially occluded objects, etc. Novel techniques are introduced to improve 3D perception accuracy with other sensors such as a gyroscope, positioning accuracy with a visual servoing based alignment strategy for microassembly, and increasing object recognition reliability using related manipulation motion models. For autonomous robot navigation, different vision-based localization and tracking strategies and algorithms are discussed. New approaches using probabilistic analysis for robot navigation, online learning of vision-based robot control, and 3D motion estimation via intensity differences from a monocular camera are described. This collection will be beneficial to graduate students, researchers, and professionals working in the area of robotic vision."--back cover

英语 [en] · PDF · 17.1MB · 2015 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/upload/zlib · Save

upload/misc/worldtracker.org/Science/Physics/The Physics of Phase Transitions - Concepts and Applications 2nd ed - P. Papon, et al., (Springer, 2006) WW.pdf

The physics of phase transitions : concepts and applications Pierre Papon, Jacques Leblond, Paul H.E. Meijer, S.L. Schnur Spektrum Akademischer Verlag. in Springer-Verlag GmbH, 2nd rev. ed., [Berlin], Germany, 2010

From the reviews: Pierre Papon and his co-authors succeed in covering a much wider range of transitions than I have ever seen in one book before ... Overall, we have here a treatment of strikingly wide perspective, and many readers who may not be motivated to work right through the book will find individual chapters interesting and instructive. I defy anyone who is interested in phase transformations not to learn something from this book." Nature From the reviews of the second edition: "Phase transitions presents an important phenomena in physics and plays a central role in material sciences. ... The book might assist those researchers and students in theoretical and applied physics who wish to enter this scene by offering an accessible but detailed and explicit introduction to physics of phase transitions. ... The text aims to be self-contained in explaining the subject. The book is organized with the benefit of hindsight - results are presented in the order expected to be most beneficial to the reader." (Farruh Mukhamedov, Zentralblatt MATH, Vol. 1128 (6), 2008) This book occupies an important place at the crossroads of several fields central to materials sciences. The expanded second edition incorporates new developments in the states of matter physics, and includes end-of-chapter problems and complete answers.

英语 [en] · PDF · 4.9MB · 2010 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

scihub/10.1007/978-3-642-30808-6.pdf

[Structure and Bonding] Electron Density and Chemical Bonding II Volume 147 || || Front_matter Stalke, Dietmar Springer Berlin Heidelberg : Springer e-books : Imprint : Springer : Springer e-books, 10.1007/978-3-642-30808-6, 2012

T. Koritsanszky, A. Volkov, M. Chodkiewicz: New Directions in Pseudoatom-Based X-Ray Charge Density Analysis.- B. Dittrich, D. Jayatilaka: Reliable Measurements of Dipole Moments from Single-Crystal Diffraction Data and Assessment of an In-Crystal Enhancement.- B. Engels, Th. C. Schmidt, C. Gatti, T. Schirmeister, R.F. Fink: Challenging Problems in Charge Density Determination: Polar Bonds and Influence of the Environment.- S. Fux, M. Reiher: Electron Density in Quantum Theory.- K. Meindl, J.Henn: Residual Density Analysis.- C. Gatti: The Source Function Descriptor as a Tool to Extract Chemical Information from Theoretical and Experimental Electron Densities.

英语 [en] · PDF · 0.1MB · 2012 · 📘 非小说类图书 · 🚀/lgli/scihub/zlib · Save

upload/wll/ENTER/Science/IT & AI/IT Library/239 Computer Science Springer Books/Pierluigi Argoneto, Paolo Renna - Innovative Tools for Business Coalitions in B2B Applications.pdf

Innovative Tools for Business Coalitions in B2B Applications : How Negotiation, Auction and Game Theory Can Support Small- and Medium-sized Business in E-business Argoneto, Pierluigi, Renna, Paolo Springer London : Imprint: Springer, 1st ed. 2011, London, 2011

The manufacturing industry is facing the challenges of shifting its operations from the traditional factory integration philosophy to a supply chain based e-factory philosophy, and of transforming the focus of companies from the local factory to global enterprise and business. __Innovative Tools for Business Coalitions in B2B Applications__ presents a set of innovative methodologies that can be used to face all the issues that stem from the interaction of customers and suppliers in an e-marketplace environment. The first methodology discussed is multi-agent architecture and this forms the basis of a simulation environment developed in order to test the proposed models. The second concerns a bargaining model based on the negotiation mechanism and the third centers on production planning to support agents during the bargaining phase. The fourth is the possibility of a coalition between the suppliers and the authors offer a choice of two different approaches. One is the application of Nash equilibrium to select the members of a potential coalition of sellers, while the other is a centralized approach with a profit sharing mechanism based on the Shapley value. All the innovative approaches reported in __Innovative Tools for Business Coalitions in B2B Applications__ have been statistically tested in different market conditions. The methodologies, approaches and results presented in __Innovative Tools for Business Coalitions in B2B Applications__ will be of interest to PhD students, operations managers and supply chain management researchers who develop value-added services for an e-marketplace in a business-to-business environment.

英语 [en] · PDF · 1.8MB · 2011 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/upload/zlib · Save

upload/misc/worldtracker.org/Engineering/Electrical Engineering/Fundamental Limitations In Filtering And Control.pdf

Fundamental Limitations in Filtering and Control (Communications and Control Engineering) Maria M. Seron, Julio H. Braslavsky, and Graham C. Goodwin Springer Spektrum. in Springer-Verlag GmbH, Communications and Control Engineering, 1, 1997

The issue of fundamental limitations in filtering and control lies at the very heart of any feedback system design, since it reveals what is and is not achievable on the basis of that system's structural and dynamic characteristics. Alongside new succinct treatments of Bode's original results from the 1940s, this book presents a comprehensive analysis of modern results, featuring contemporary developments in multivariable systems, sampled-data, periodic and nonlinear problems. The text gives particular prominence to sensitivity functions which measure the fundamental qualities of the system, including performance and robustness. With extensive appendices covering the necessary background on complex variable theory, this book is an ideal self-contained resource for researchers and practitioners in this field.

英语 [en] · PDF · 2.4MB · 1997 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs/nexusstc/upload/zlib · Save

ia/essentialcoldfus0000norm.pdf

Essential ColdFusion fast: Developing Web-Based Applications (Essential Series) Matthew Norman Springer London Ltd, Springer Nature, London, 2012

Essential ColdFusion fast gives the reader a working knowledge of ColdFusion and how to use it and how it integrates with other web-based technologies. Lots of working examples are included throughout, all of which are also available via a web-site that is powered by ColdFusion, which shows exactly how they work. Matthew Norman has written a 'get started quick' guide to ColdFusion, in the style of the Essential series, describing the setting up of a development system. He talks about how to achieve this on a budget, using techniques that are applicable to large scale operations as well. Anyone with a working knowledge of the internet, and who wants to learn more about what ColdFusion does and how they can start using it quickly, will find this book a real help.

英语 [en] · PDF · 13.6MB · 2012 · 📗 未知类型的图书 · 🚀/ia · Save

lgli/A:\Springer\bok%3A978-3-642-30808-6.pdf

Electron Density and Chemical Bonding II: Theoretical Charge Density Studies (Structure and Bonding Book 147) Tibor Koritsanszky, Anatoliy Volkov (auth.), Dietmar Stalke (eds.) Springer-Verlag Berlin Heidelberg, Structure and Bonding, Structure and Bonding 147, 1, 2012

T. Koritsanszky, A. Volkov, M. Chodkiewicz: New Directions in Pseudoatom-Based X-Ray Charge Density Analysis.- B. Dittrich, D. Jayatilaka: Reliable Measurements of Dipole Moments from Single-Crystal Diffraction Data and Assessment of an In-Crystal Enhancement.- B. Engels, Th. C. Schmidt, C. Gatti, T. Schirmeister, R.F. Fink: Challenging Problems in Charge Density Determination: Polar Bonds and Influence of the Environment.- S. Fux, M. Reiher: Electron Density in Quantum Theory.- K. Meindl, J.Henn: Residual Density Analysis.- C. Gatti: The Source Function Descriptor as a Tool to Extract Chemical Information from Theoretical and Experimental Electron Densities.

英语 [en] · PDF · 9.1MB · 2012 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/zlib · Save

zlib/Mathematics/Mathematical Statistics/Milan Holický/Introduction to Probability and Statistics for Engineers_25321736.azw3

Introduction to Probability and Statistics for Engineers Milan Holický Springer Science & Business Media, Springer Nature (Textbooks & Major Reference Works), Heidelberg, 2013

The theory of probability and mathematical statistics is becoming an indispensable discipline in many branches of science and engineering. This is caused by increasing significance of various uncertainties affecting performance of complex technological systems. Fundamental concepts and procedures used in analysis of these systems are often based on the theory of probability and mathematical statistics. The book sets out fundamental principles of the probability theory, supplemented by theoretical models of random variables, evaluation of experimental data, sampling theory, distribution updating and tests of statistical hypotheses. Basic concepts of Bayesian approach to probability and two-dimensional random variables, are also covered. Examples of reliability analysis and risk assessment of technological systems are used throughout the book to illustrate basic theoretical concepts and their applications. The primary audience for the book includes undergraduate and graduate students of science and engineering, scientific workers and engineers and specialists in the field of reliability analysis and risk assessment. Except basic knowledge of undergraduate mathematics no special prerequisite is required.

英语 [en] · AZW3 · 1.9MB · 2013 · 📘 非小说类图书 · 🚀/zlib · Save

ia/emanagementimpac0000goug.pdf

E-Management : The Impact of E-Business on Today’s IT Manager Ian Gouge Springer London : Imprint : Springer, Springer Nature, London, 2012

In today's rush towards e-Business many organizations have failed to recognize that the responsibilities of IT Managers have significantly changed. No longer do the tried and trusted methods of the 3- or 4-GL lifecycle retain the value they once possessed; and the more we try to fit new e-Business developments into old and ill-fitting processes and practices, the greater the danger of compromising the business altogether. Ian Gouge offers an insight into the very real - and new - challenges faced by IT managers and professionals, such as: - What is e-Business? - What are the implications of e-Business for the IT Professional? - What are the 'systems' expectations of both internal and external customers? What does the IT Manager need to consider to make an effective contribution to the new business model e-Management is a valuable guide for those responsible for the management of IT in the burgeoning world of e-Business. It also provides insight for those business managers who are more dependent on information technology for their business than perhaps they realise.

英语 [en] · PDF · 12.2MB · 2012 · 📗 未知类型的图书 · 🚀/ia · Save

lgli/D:\HDD4\!genesis\SPR_NEW_2013-12\bok%3A978-3-662-25786-9.pdf

Festschrift zur Einweihung des Neubaues der Bauingenieur-Abteilung an der Technischen Hochschule „Fridericiana“, Karlsruhe i. B (German Edition) Prof. W. Sackur, Fr. Engesser, Th. Rehbock, E. Probst, Professor Dr.-Ing. Otto Ammann, Professor K. Hoepfner, Dr. M. Näbauer, Prof. Dr.-Ing. Gaber (auth.) Springer-Verlag Berlin Heidelberg, 1921, 1921-01-01

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben. Erscheinungsdatum: 01.01.1921

德语 [de] · PDF · 5.9MB · 1921 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

upload/misc/IXKXcI5mZnjhFnLAUPaa/E-Books/engineering/metalurgy/9783662444962_advances_in_metal_forming_61ce.pdf

Advances in Metal Forming: Expert System for Metal Forming (Springer Series in Materials Science Book 206) Rahulkumar Shivajirao Hingole (auth.) Springer-Verlag Berlin Heidelberg, Springer Series in Materials Science, Springer Series in Materials Science 206, 1, 2015

This comprehensive book offers a clear account of the theory and applications of advanced metal forming. It provides a detailed discussion of specific forming processes, such as deep drawing, rolling, bending extrusion and stamping. The author highlights recent developments of metal forming technologies and explains sound, new and powerful expert system techniques for solving advanced engineering problems in metal forming. In addition, the basics of expert systems, their importance and applications to metal forming processes, computer-aided analysis of metalworking processes, formability analysis, mathematical modeling and case studies of individual processes are presented. Erscheinungsdatum: 19.09.2014

英语 [en] · PDF · 4.7MB · 2015 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/scihub/upload/zlib · Save

zlib/no-category/Villani, Stelio. Auteur/Uranium Enrichment [Ressource électronique]_119139256.pdf

Uranium Enrichment [Ressource électronique] Villani, Stelio. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1979

Content: Front Matter....Pages -Review of separation processes....Pages 1-11Cascade theory....Pages 13-543. Gaseous diffusion....Pages 55-182Centrifugation....Pages 183-244Separation nozzle....Pages 245-268Laser methods of uranium isotope separation....Pages 269-290Plasma separating effects....Pages 291-315Back Matter....Pages -, Series: Topics in Applied Physics 35, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 6.1MB · 1979 · 📗 未知类型的图书 · zlib · Save

ia/essentialflash500000huss.pdf

Essential Flash 5.0 Fast : Rapid Web Animation Fiaz Hussain Springer London : Imprint : Springer, Springer Nature, London, 2012

Macromedia's Flash 5.0 is one of the most dynamic and powerful design applications for interactive web-based animation. No doubt, the technology has given birth to a new generation of internet designers. This book reveals readers all the tips and techniques so that they can start designing quickly. Both old and new features are covered in the book. New features include: improved interface design, new creative tools, and action scripts for interactivity.

英语 [en] · PDF · 11.1MB · 2012 · 📗 未知类型的图书 · 🚀/ia · Save

lgli/A:\Springer\bok%3A978-3-642-90849-1.pdf

Gummifedern : Heft 7 Dr.-Ing. E. F. Göbel (auth.) Springer-Verlag Berlin Heidelberg, Konstruktionsbücher, Konstruktionsbücher 7, 1, 1945

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben. Erscheinungsdatum: 01.01.1945

德语 [de] · PDF · 5.8MB · 1945 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

zlib/no-category/Ershov, Andrei P.. Auteur, Knuth, Donald E/Algorithms in Modern Mathematics and Computer Science [Ressource électronique] : Proceedings, Urgench, Uzbek SSR September 16-22, 1979_119892858.pdf

Algorithms in Modern Mathematics and Computer Science [Ressource électronique] : Proceedings, Urgench, Uzbek SSR September 16-22, 1979 Ershov, Andrei P.. Auteur, Knuth, Donald E Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1981

Content: Front Matter....Pages -Al-khorezmi his background, his personality his work and his influence....Pages 1-81Algorithms in modern mathematics and computer science....Pages 82-99What are the gains of the theory of algorithms....Pages 100-234On inductive synthesis of programs....Pages 235-254Expanding constructive universes....Pages 255-260The logical approach to programming....Pages 261-289The structural synthesis of programs....Pages 290-303On finding invariant relations of program....Pages 304-314What can we do with problems of exhaustive search?....Pages 315-342The algorithmic complexity of linear algebras....Pages 343-354Algorithms in various contexts....Pages 355-360Role of a notion of algorithm in the arithmetic language semantics....Pages 361-389From logicism to proceduralism (an autobiographical account)....Pages 390-396Abstract computability on algebraic structures....Pages 397-420Algorithms and algebra....Pages 421-429On formal transformations of algorithms....Pages 430-440What should we do having proved a decision problem to be unsolvable?....Pages 441-443On the experience of riding two horses in programming....Pages 444-448Church-rosser transformers and decidable propertis of tree processing....Pages 449-457Supplement 1 summaries of oral presentations....Pages 458-465Supplement 2 technical program....Pages 466-469Supplement 3 publications on the symposium....Pages 470-473List of participants....Pages 474-476Supplement 5 photoillustrations....Pages 477-487, Series: Lecture Notes in Computer Science 122, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques...

英语 [en] · PDF · 18.5MB · 1981 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Bloomfield, Robin E.. Auteur, Marshall, Lynn S, Jones, Roger B/VDM '88 VDM -- The Way Ahead [Ressource électronique] : 2nd VDM-Europe Symposium Dublin, Ireland, September 11-16, 1988 Proceedings_119092818.pdf

VDM '88 VDM -- The Way Ahead [Ressource électronique] : 2nd VDM-Europe Symposium Dublin, Ireland, September 11-16, 1988 Proceedings Bloomfield, Robin E.. Auteur, Marshall, Lynn S, Jones, Roger B Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1988

This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an active international research programme supporting this process. \"VDM - The Way Ahead\" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term \"formal method\" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.Content: Front Matter....Pages -Computing is a physical science....Pages 1-1Structuring for the VDM specification language....Pages 2-25Correctness for beginners....Pages 26-47Understanding an informal description: Office documents architecture, an ISO standard....Pages 48-63Towards a formal definition of GKS and other graphics standards....Pages 64-73Report from the BSI panel for the standardisation of VDM (IST/5/50)....Pages 74-78Formal methods in standards—A report from the BCS working group....Pages 79-85The B tool (Abstract)....Pages 86-87Specification of an operating system kernel forest and VDM compared....Pages 88-100Compiler prototyping with VDM and standard ML....Pages 101-115

英语 [en] · PDF · 15.0MB · 1988 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Milan Holický/Introduction to Probability and Statistics for Engineers_25321735.mobi

Introduction to Probability and Statistics for Engineers Milan Holický Springer Berlin Heidelberg, Berlin, Heidelberg, Springer Nature (Textbooks & Major Reference Works), Heidelberg, 2013

The theory of probability and mathematical statistics is becoming an indispensable discipline in many branches of science and engineering. This is caused by increasing significance of various uncertainties affecting performance of complex technological systems. Fundamental concepts and procedures used in analysis of these systems are often based on the theory of probability and mathematical statistics. The book sets out fundamental principles of the probability theory, supplemented by theoretical models of random variables, evaluation of experimental data, sampling theory, distribution updating and tests of statistical hypotheses. Basic concepts of Bayesian approach to probability and two-dimensional random variables, are also covered. Examples of reliability analysis and risk assessment of technological systems are used throughout the book to illustrate basic theoretical concepts and their applications. The primary audience for the book includes undergraduate and graduate students of science and engineering, scientific workers and engineers and specialists in the field of reliability analysis and risk assessment. Except basic knowledge of undergraduate mathematics no special prerequisite is required.

英语 [en] · MOBI · 3.3MB · 2013 · 📗 未知类型的图书 · 🚀/zlib · Save

lgli/M_Mathematics/MC_Calculus/MCf_Functional analysis/Stormer E. Positive linear maps of operator algebras (Springer, 2013)(ISBN 9783642343681)(O)(135s)_MCf_.pdf

Positive Linear Maps of Operator Algebras Springer Monographs in Mathematics Stormer E. Springer Berlin Heidelberg : Imprint : Springer, Springer Monographs in Mathematics, 1st ed. 2013, Berlin, Heidelberg :, 2013

This volume, setting out the theory of positive maps as it stands today, reflects the rapid growth in this area of mathematics since it was recognized in the 1990s that these applications of C*-algebras are crucial to the study of entanglement in quantum theory. The author, a leading authority on the subject, sets out numerous results previously unpublished in book form. In addition to outlining the properties and structures of positive linear maps of operator algebras into the bounded operators on a Hilbert space, he guides readers through proofs of the Stinespring theorem and its applications to inequalities for positive maps. The text examines the maps' positivity properties, as well as their associated linear functionals together with their density operators. It features special sections on extremal positive maps and Choi matrices. In sum, this is a vital publication that covers a full spectrum of matters relating to positive linear maps, of which a large proportion is relevant and applicable to today's quantum information theory. The latter sections of the book present the material in finite dimensions, while the text as a whole appeals to a wider and more general readership by keeping the mathematics as elementary as possible throughout. .

英语 [en] · PDF · 0.8MB · 2013 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save

ia/softwareengineer0000unse_p4g2.pdf

Software Engineering in C (Springer Books on Professional Computing) Peter A. Darnell, Phillip E. Margolis Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg, Springer Nature, New York, NY, 2012

The author starts with the premise that C is an excellent language for software engineering projects. The book con- centrates on programming style,particularly readability, maintainability, and portability. Documents the proposed ANSI Standard, which is expected to be ratified in 1987. This book is designed as a text for both beginner and inter- mediate-level programmers. Erscheinungsdatum: 04.09.1990

英语 [en] · PDF · 23.9MB · 2012 · 📗 未知类型的图书 · 🚀/ia · Save

upload/misc/IXKXcI5mZnjhFnLAUPaa/E-Books/computer/networking/9781447123620_service_placement_in_ad_hoc_networks_e41a.pdf

Service Placement in Ad Hoc Networks (SpringerBriefs in Computer Science) Georg Wittenburg, Jochen Schiller (auth.) Springer-Verlag London, SpringerBriefs in Computer Science, SpringerBriefs in Computer Science, 1, 2012

Introduction -- Background -- The SPi Service Placement Framework -- SPi Service Placement Algorithms -- Evaluation -- Conclusion.;Service provisioning in ad hoc networks is challenging given the difficulties of communicating over a wireless channel and the potential heterogeneity and mobility of the devices that form the network. Service placement is the process of selecting an optimal set of nodes to host the implementation of a service in light of a given service demand and network topology. The key advantage of active service placement in ad hoc networks is that it allows for the service configuration to be adapted continuously at run time. Service Placement in Ad Hoc Networks proposes the SPi service placement framework as a novel approach to service placement in ad hoc networks. The SPi framework takes advantage of the interdependencies between service placement, service discovery and the routing of service requests to minimize signaling overhead. The work also proposes the Graph Cost / Single Instance and the Graph Cost / Multiple Instances placement algorithms.

英语 [en] · PDF · 2.4MB · 2012 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/upload/zlib · Save

scihub/10.1007/978-3-642-38300-7.pdf

Introduction to Probability and Statistics for Engineers || Milan Holický (auth.) Springer Berlin Heidelberg : Springer e-books : Imprint: Springer : Springer e-books, 10.1007/97, 2013

The theory of probability and mathematical statistics is becoming an indispensable discipline in many branches of science and engineering. This is caused by increasing significance of various uncertainties affecting performance of complex technological systems. Fundamental concepts and procedures used in analysis of these systems are often based on the theory of probability and mathematical statistics. The book sets out fundamental principles of the probability theory, supplemented by theoretical models of random variables, evaluation of experimental data, sampling theory, distribution updating and tests of statistical hypotheses. Basic concepts of Bayesian approach to probability and two-dimensional random variables, are also covered. Examples of reliability analysis and risk assessment of technological systems are used throughout the book to illustrate basic theoretical concepts and their applications. The primary audience for the book includes undergraduate and graduate students of science and engineering, scientific workers and engineers and specialists in the field of reliability analysis and risk assessment. Except basic knowledge of undergraduate mathematics no special prerequisite is required.

英语 [en] · PDF · 4.2MB · 2013 · 📘 非小说类图书 · 🚀/lgli/scihub/zlib · Save

zlib/no-category/Feigenbaum, Joan. Auteur/Advances in Cryptology -- CRYPTO '91 [Ressource électronique] : Proceedings_119888829.pdf

Advances in Cryptology -- CRYPTO '91 [Ressource électronique] : Proceedings Feigenbaum, Joan. Auteur Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 1992

Crypto '91 was the eleventh in a series of workshops on cryptology sponsoredby the International Association for Cryptologic Research and was held in Santa Barbara, California, in August 1991. This volume contains a full paper or an extended abstract for each of the 39 talks presented at the workshop. All theoretical and practical aspects of cryptology are represented, including: protocol design and analysis, combinatorics and authentication, secret sharing and information theory, cryptanalysis, complexity theory, cryptographic schemas based on number theory, pseudorandomness, applications and implementations, viruses, public-key cryptosystems, and digital signatures.Content: Front Matter....Pages I-XA Calculus for Access Control in Distributed Systems....Pages 1-23Deriving the Complete Knowledge of Participants in Cryptographic Protocols....Pages 24-43Systematic Design of Two-Party Authentication Protocols....Pages 44-61Combinatorial characterizations of authentication codes....Pages 62-73Universal hashing and authentication codes....Pages 74-85On Correlation-immune functions....Pages 86-100On the Size of Shares for Secret Sharing Schemes....Pages 101-113On Verification in Secret Sharing....Pages 114-128Non-Interactive and Information-Theoretic Secure Verifiable Secret Sharing....Pages 129-140Multiparty Secret Key Exchange Using a Random Deal of Cards....Pages 141-155Differential Cryptanalysis of Snefru, Khafre, REDOC-II, LOKI and Lucifer....Pages 156-171A Known Plaintext Attack of FEAL-4 and FEAL-6....Pages 172-182A switching closure test to analyze cryptosystems....Pages 183-193An Attack on the Last Two Rounds of MD4....Pages 194-203The Cryptanalysis of a New Public-Key Cryptosystem based on Modular Knapsacks....Pages 204-212A One-Round, Two-Prover, Zero-Knowledge Protocol for NP....Pages 213-224Interactive Proofs with Space Bounded Provers....Pages...

英语 [en] · PDF · 11.5MB · 1992 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Donnerberg, Hansjörg. Auteur/Atomic Simulation of Electrooptic and Magnetooptic Oxide Materials [Ressource électronique]_119886165.pdf

Atomic Simulation of Electrooptic and Magnetooptic Oxide Materials [Ressource électronique] Donnerberg, Hansjörg. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1999

This book reviews all the state-of-the-art simulation methods used to investigate the atomic-scale properties of technologically important oxide materials. Previous and many recent results are carefully discussed.Content: Front Matter....Pages -Introduction....Pages 1-5The scope of theoretical methods....Pages 7-48Barium titanate....Pages 49-104Potassium niobate and potassium tantalate....Pages 105-146Lithium niobate....Pages 147-159Strontium barium niobate....Pages 161-163Yttrium iron garnet....Pages 165-190Summary and conclusions....Pages 191-192Back Matter....Pages -, Series: Springer Tracts in Modern Physics 151, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 3.0MB · 1999 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Blakley, George Robert. Auteur, Chaum, David/Advances in Cryptology [Ressource électronique] : Proceedings of CRYPTO 84_119880477.pdf

Advances in Cryptology [Ressource électronique] : Proceedings of CRYPTO 84 Blakley, George Robert. Auteur, Chaum, David Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 1985

Content: Front Matter....Pages I-IXA Prototype Encryption System Using Public Key....Pages 3-9A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms....Pages 10-18A Public-Key Cryptosystem Based on the Word Problem....Pages 19-36Efficient Signature Schemes Based on Polynomial Equations (preliminary version)....Pages 37-46Identity-Based Cryptosystems and Signature Schemes....Pages 47-53A Knapsack Type Public Key Cryptosystem Based On Arithmetic in Finite Fields (preliminary draft)....Pages 54-65Some Public-Key Crypto-Functions as Intractable as Factorization....Pages 66-70Computing Logarithms in GF (2n)....Pages 73-82Wyner’s Analog Encryption Scheme: Results of a Simulation....Pages 83-94On Rotation Group and Encryption of Analog Signals....Pages 95-100The History of Book Ciphers....Pages 101-113An Update on Factorization at Sandia National Laboratories....Pages 114-114An LSI Digital Encryption Processor (DEP)....Pages 115-143Efficient hardware and software implementations for the DES....Pages 144-146Efficient hardware implementation of the DES....Pages 147-173A Self-Synchronizing Cascaded Cipher System with Dynamic Control of Error Propagation....Pages 174-190Efficient and Secure Pseudo-Random Number Generation (Extended Abstract)....Pages 193-202An LSI Random Number Generator (RNG)....Pages 203-230Generalized Linear Threshold Scheme....Pages 231-241Security of Ramp Schemes....Pages 242-268A Fast Pseudo Random Permutation Generator With Applications to Cryptology....Pages 269-275On the Cryptographic Applications of Random Functions (Extended Abstract)....Pages 276-288An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information....Pages 289-299Information Theory without the Finiteness Assumption, I: Cryptosystems as Group-Theoretic Objects....Pages 303-313

英语 [en] · PDF · 7.7MB · 1985 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Goldblatt, Robert. Auteur/Axiomatising the Logic of Computer Programming [Ressource électronique]_119883245.pdf

Axiomatising the Logic of Computer Programming [Ressource électronique] Goldblatt, Robert. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1982

Content: Front Matter....Pages -Conceptual background....Pages 1-35The logical structure of commands....Pages 36-107Assignments....Pages 108-182Appendix 1 Some related studies....Pages 183-204Function declarations....Pages 205-237Procedures....Pages 238-250Arrays....Pages 251-282Back Matter....Pages -, Series: Lecture Notes in Computer Science 130, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 6.1MB · 1982 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Fierz, Markus. Auteur/Vorlesungen zur Entwicklungsgeschichte der Mechanik [Ressource électronique]_119093642.pdf

Vorlesungen zur Entwicklungsgeschichte der Mechanik [Ressource électronique] Fierz, Markus. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1972

Content: Front Matter....Pages -Einleitung....Pages 1-3Die Platonische Kosmologie und die Sph?ren des Eudoxos....Pages 3-6Die Physik des Aristoteles....Pages 6-13Die Mechanik des Archimedes und seiner Nachfolger....Pages 13-22Die mittelalterliche Mechanik....Pages 23-33Von Copernicus zu Kepler....Pages 34-46“Die Renaissance des Archimedes”....Pages 47-51Galileo Galilei....Pages 52-66Die “mechanische Philosophie” des 17. Jahrhunderts....Pages 67-72Christian Huygens....Pages 73-79Isaac Newton....Pages 80-95Ausgew?hlte Literatur....Pages 96-97Back Matter....Pages -, Series: Lecture Notes in Physics 15, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

德语 [de] · PDF · 1.3MB · 1972 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Rozenberg, G.. Auteur/Advances in Petri Nets 1984 [Ressource électronique]_119887976.pdf

Advances in Petri Nets 1984 [Ressource électronique] Rozenberg, G.. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1985

Content: Front Matter....Pages -PSI: A petri net based simulator for flexible manufacturing systems....Pages 1-14Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system....Pages 15-31Concurrency axioms and D-continuous posets....Pages 32-47Frozen tokens and D-continuity: A study in relating system properties to process properties....Pages 48-61Modelling scheduling problems with timed petri nets....Pages 62-82Infinite behaviour and fairness in petri nets....Pages 83-100Petri net based models for the specification and validation of protocols....Pages 101-121A note on observable occurrence nets....Pages 122-138A lattice theoretic view of K-density....Pages 139-153Fair serializability of iterated transactions using fifo-nets....Pages 154-168Csp-programs as nets with individual tokens....Pages 169-196Design and programming of interfaces for monetic applications using petri nets....Pages 197-214Towards reachability trees for high-level petri nets....Pages 215-233The residue of vector sets with applications to decidability problems in petri nets....Pages 234-258The design of a program package for an introductory petri net course....Pages 259-266On communication protocol modelling and design....Pages 267-287On structural properties of generalized processes....Pages 288-306Stepwise construction of non-sequential software systems using a net-based specification language....Pages 307-330Liveness and duality in marked-graph-like predicate/transition nets....Pages 331-352Semantics of concurrent systems: A modular fixed-point trace approach....Pages 353-375The reachability problem for VAS....Pages 376-391K-density, N-density, and finiteness properties....Pages 392-412A net model of a local area network protocol....Pages 413-437In praise of free choice nets....Pages...

英语 [en] · PDF · 12.5MB · 1985 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Bochmann, Gregor. Auteur/Architecture of Distributed Computer Systems [Ressource électronique]_119892159.pdf

Architecture of Distributed Computer Systems [Ressource électronique] Bochmann, Gregor. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1979

Content: Front Matter....Pages -Distributed systems: Definition and examples....Pages 1-30Parallelism....Pages 31-41Common problems....Pages 42-56A general formalism for the description of systems....Pages 57-95Architecture of distributed systems....Pages 96-132Message transport requirements and data transmission networks....Pages 133-139Line protocols....Pages 140-175Technological developments and standards....Pages 176-178Back Matter....Pages -, Series: Lecture Notes in Computer Science 77, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 2.7MB · 1979 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Rozenberg, Grzegorz. Auteur/Advances in Petri Nets 1988 [Ressource électronique]_119893391.pdf

Advances in Petri Nets 1988 [Ressource électronique] Rozenberg, Grzegorz. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1988

The idea behind the series of volumes Advances in Petri Netsis to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for \"Advances\" are the annual \"European Workshops on Applications and Theory of Petri Nets\"; the \"best\" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshoppapers, the \"Advances\" also present invited papers submitteddirectly for publication. The present volume Advances in Petri Nets 1988 covers the 8th \"European Workshop on Applications and Theory of Petri Nets\" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.Content: Front Matter....Pages -An environment for object-oriented conceptual programming based on PROT nets....Pages 1-19OBJSA Nets: a class of high-level nets having objects as domains....Pages 20-43On internal and external characterisations of PT-net building block behaviour....Pages 44-61Timed Petri Net schedules....Pages 62-84An exercise in concurrency: A CSP process as a condition/event system....Pages 85-105A survey on the decidability questions for classes of fifo nets....Pages 106-132The construction of EN systems from a given trace behaviour....Pages 133-153Programming a closely coupled multiprocessor system with high level petri nets....Pages 154-174Music description and processing by Petri Nets....Pages 175-199On questions of fairness and temporal logic for conflict-free Petri nets....Pages 200-226Infinitary partial Petri net languages and their relationship to other Petri net semantics....Pages 227-248Net representation of sentences...

英语 [en] · PDF · 9.1MB · 1988 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Rozenberg, Grzegorz. Auteur/Advances in Petri Nets 1993 [Ressource électronique]_119892112.pdf

Advances in Petri Nets 1993 [Ressource électronique] Rozenberg, Grzegorz. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1993

The main aims of the series of volumes \"Advances in Petri Nets\" are: - to present to the \"outside\" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research.Content: Front Matter....Pages -Replacement of open interface subnets and stable state transformation equivalence....Pages 1-25Bounded self-stabilizing Petri nets....Pages 26-50Generative families of positive invariants in Coloured nets sub-classes....Pages 51-70Autonomous and timed continuous Petri nets....Pages 71-90The Devnet: A Petri net for discrete event simulation....Pages 91-125A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets....Pages 126-147A concept of hierarchical Petri nets with building blocks....Pages 148-168Petri net tool overview 1992....Pages 169-209The minimal coverability graph for Petri nets....Pages 210-243Distributed implementation of CCS....Pages 244-266Saturation conditions for Stochastic Petri Nets....Pages 267-280Marking optimization in timed event graphs....Pages 281-300Parameterized reachability trees for Predicate/Transition nets....Pages 301-324Iterative decomposition and aggregation of Stochastic marked graph Petri nets....Pages 325-349Constraints and extensions in a Calculus of EN systems....Pages 350-370Comparability orders and measurement....Pages 371-405Deterministic systems of sequential processes: A class of

英语 [en] · PDF · 8.4MB · 1993 · 📗 未知类型的图书 · zlib · Save

scihub/10.1007/3-540-40907-6.pdf

[Topics in Applied Physics] Spin Dynamics in Confined Magnetic Structures I Volume 83 || Jacques Miltat, Gonçalo Albuquerque (auth.), Prof. Burkard Hillebrands, Dr. Kamel Ounadjela (eds.) Springer-Verlag Berlin Heidelberg : Springer e-books, 10.1007/3-, 2002

This book covers the main aspects of dynamic phenomena in confined magnetic structures so that researchers can find a comprehensive compilation of the current status in the field. Introductory chapters help newcomers to understand the basic concepts, and the more advanced chapters give the current state of the art for most spin dynamic issues in the milliseconds to femtoseconds range. Emphasis is placed on both the discussion of the experimental techniques and on the theoretical work. The comprehensive presentation of these developments makes this volume very timely and valuable for every researcher working in the field of magnetism. It describes the new experimental techniques which have advanced this field very rapidly. Among the techniques covered, particular attention is given to those involving high temporal and spatial resolutions, down to the femtosecond and submicrometer regime, as well as to techniques involving magnetic field pulses with very short rise times and durations, and new detection schemes

英语 [en] · PDF · 13.3MB · 2002 · 📘 非小说类图书 · 🚀/lgli/scihub/zlib · Save

zlib/no-category/Mehrmann, Volker Ludwig. Auteur/The Autonomous Linear Quadratic Control Problem [Ressource électronique] : Theory and Numerical Solution_119883788.pdf

The Autonomous Linear Quadratic Control Problem [Ressource électronique] : Theory and Numerical Solution Mehrmann, Volker Ludwig. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1991

A survey is given on the state of the art in theory and numerical solution of general autonomous linear quadratic optimal control problems (continuous and discrete) with differential algebraic equation constraints. It incorporates the newest developments on differential algebraic equations, Riccati equations and invariant subspace problems. In particular, it gives a decision chart of numerical methods, that can be used to determine the right numerical method according to special properties of the problem. The book closes a gap between mathematical theory, numerical solution and engineering application. The mathematical tools are kept as basic as possible in order to address the different groups of readers, mathematicians and engineers.Content: Front Matter....Pages -Introduction....Pages 1-8Notation and definitions....Pages 9-14Existence of solutions....Pages 15-26Uniqueness and stability of feedback solutions....Pages 27-38Algebraic Riccati equations and deflating subspaces....Pages 39-49Schur-forms, Hessenberg-forms and triangular decompositions....Pages 50-54Perturbation analysis....Pages 55-65Numerical preprocessing....Pages 66-69Defect correction....Pages 70-81Newton's method....Pages 82-89The sign function method....Pages 90-97Elementary transformation matrices....Pages 98-100Schur methods....Pages 101-104Unitary symplectic algorithms for special Hamiltonian or symplectic eigenvalue problems....Pages 105-112Nonunitary algorithms for real Hamiltonian or real symplectic eigenvalue problems....Pages 113-130Closed loop algorithms....Pages 131-139A combination algorithm for real Hamiltonian and symplectic eigenvalue problems....Pages 140-142Numerical algorithms for Riccati differential or difference equations....Pages 143-147A general algorithm....Pages 148-151Conclusion....Pages 152-155Statement....Pages 156-156

英语 [en] · PDF · 3.6MB · 1991 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Kuhlen, Michael. Auteur/QCD at HERA [Ressource électronique] : The Hadronic Final State in Deep Inelastic Scattering_119071909.pdf

QCD at HERA [Ressource électronique] : The Hadronic Final State in Deep Inelastic Scattering Kuhlen, Michael. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1999

The book provides a review of the hadronic final state measurements at HERA in deep inelastic scattering. It covers general event properties, particle spectra, heavy flavours, jets, event shape measurements, QCD instantons and small-x physics. The emphasis is on experimental results, providing quick access to the data (complete up to fall 1997) for reference. The results are discussed in the context of QCD.Content: Front Matter....Pages -Introduction....Pages 1-7Theoretical framework....Pages 9-25Inclusive cross-sections....Pages 27-34Models for hadron production in DIS....Pages 35-55General event properties....Pages 57-86The quark fragmentation region....Pages 87-102Jets....Pages 103-117Low-x physics....Pages 119-137Instantons....Pages 139-150Summary....Pages 151-154Back Matter....Pages -, Series: Springer Tracts in Modern Physics 150, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 2.9MB · 1999 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Meyer, Paul-André. Auteur/Quantum Probability for Probabilists [Ressource électronique]_119073189.pdf

Quantum Probability for Probabilists [Ressource électronique] Meyer, Paul-André. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1995

In recent years, the classical theory of stochastic integration and stochastic differential equations has been extended to a non-commutative set-up to develop models for quantum noises. The author, a specialist of classical stochastic calculus and martingale theory, tries to provide an introduction to this rapidly expanding field in a way which should be accessible to probabilists familiar with the Ito integral. It can also, on the other hand, provide a means of access to the methods of stochastic calculus for physicists familiar with Fock space analysis. For this second edition, the author has added about 30 pages of new material, mostly on quantum stochastic integrals.Content: Front Matter....Pages -Non-commutative probability....Pages 1-11Spin....Pages 13-42The harmonic oscillator....Pages 43-56Fock space (1)....Pages 57-102Fock space (2): Multiple fock spaces....Pages 103-124Stochastic calculus in Fock space....Pages 125-194Independent increments....Pages 195-208Back Matter....Pages -, Series: Lecture Notes in Mathematics 1538, Edition: 2nd ed., L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 5.0MB · 1995 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Rozenberg, Grzegorz. Auteur/Advances in Petri Nets 1990 [Ressource électronique]_119893283.pdf

Advances in Petri Nets 1990 [Ressource électronique] Rozenberg, Grzegorz. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1991

The main idea behind the series of volumes Advances in PetriNets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth International Conference on Applications and Theory of Petri Nets held in Bonn, Germany, in June 1989. Additional highlights of this volume include a tutorial on refinements of Petri nets by W. Brauer, R. Gold, and W. Vogler, and a tutorial on analysis and synthesis of free choice systems by J. Esparza and M. Silva, both prepared in the framework of the ESPRIT Basic Research Actions Project DEMON.Content: Front Matter....Pages -A survey of behaviour and equivalence preserving refinements of petri nets....Pages 1-46A distributed simulator for high order Petri nets....Pages 47-63Petri nets with uncertain markings....Pages 64-78Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows....Pages 79-112Improving the linearly based characterization of P/T nets....Pages 113-145Linear invariants in commutative high level nets....Pages 146-164Vicinity respecting net morphisms....Pages 165-185Regular stochastic petri nets....Pages 186-209Circuits, handles, bridges and nets....Pages 210-242On the analysis and synthesis of free choice systems....Pages 243-286Petri net models of a distributed election protocol on a unidirectional ring....Pages 287-312Hierarchies in coloured petri nets....Pages 313-341Coloured petri nets: A high level language for system...

英语 [en] · PDF · 12.3MB · 1991 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Rozenberg, Grzegorz. Auteur/Advances in Petri Nets 1992 [Ressource électronique]_119891700.pdf

Advances in Petri Nets 1992 [Ressource électronique] Rozenberg, Grzegorz. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1992

The main aims of the series of volumes \"Advances in Petri Nets\" are: - to present to the \"outside\" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume have been selected from papers submitted by participants in DEMON. The papers have been refereed and appear in revised form. The volume contains technical contributions giving insights into a number of major achievements of the DEMON project. It also contains four survey papers covering important research areas. The volume begins witha description of DEMON given by its coordinator E. Best.Content: Front Matter....Pages -Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —....Pages 1-20The box calculus: A new causal algebra with multi-label communication....Pages 21-69Modular functional modelling of petri nets with individual tokens....Pages 70-88Interleaving semantics and action refinement with atomic choice....Pages 89-107Maximality preservation and the ST-idea for action refinements....Pages 108-151A fifo-net model for processes with asynchronous communication....Pages 152-178A basic-net algebra for program semantics and its application to occam....Pages 179-214The effect of Vector synchronization: Residue and loss....Pages 215-250Modelling systems with dynamic priorities....Pages 251-266On distributed languages and models for concurrency....Pages 267-291Partial words versus processes: A short comparison....Pages 292-303A survey of basic...

英语 [en] · PDF · 8.1MB · 1992 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Porter, William A.. Auteur, Kak, Subhash C/Advances in Communications and Signal Processing [Ressource électronique]_119894682.pdf

Advances in Communications and Signal Processing [Ressource électronique] Porter, William A.. Auteur, Kak, Subhash C Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1989

This international conference on \"Advances in Communications and Control Systems\" was held to bring together researchers in communications, control systems, computing and signal processing to explore common themes and present research results of broad interest. The focus of the conference was on presenting research results in a fashion that would make them accessible to groups wider than that of the narrow specialist. Many papers, therefore, are of a type that might be termed survey/research. The topics include control theory, communication detection, high speed computing, distributed parameter systems, nonlinear systems, stochastic optimization, source coding, robust control and applications, and neural networks. Selected papers from the conference are presented both in this book and in its companion volume Advances in Computing and Control.Content: Front Matter....Pages -Performance analysis of non-orthogonal block designs for Fh/MFSK Systems under partial band interference....Pages 1-14Probability of error comparison of linear and iterative multiuser detectors....Pages 15-26Recent progress in Multiuser Detection....Pages 27-38Minimax causal transmission of Gaussian stochastic processes over channels subject to correlated jamming....Pages 39-49Efficient MSK spread-spectrum signaling....Pages 50-58On parameter estimation in DS/SSMA formats....Pages 59-70Orthogonal signalling and diversity in partial-band interference....Pages 71-82Applications of robustness measures in signal detection....Pages 83-90Robust multiple hypothesis tests....Pages 91-102Detecting a transient signal by bispectral analysis....Pages 103-114An important pathology of finite dimensional approximations of statistical estimators....Pages 115-120Counterexamples in detection and estimation....Pages 121-132On the convergence of the projection method for an autoregressive process and a matched DPCM...

英语 [en] · PDF · 10.5MB · 1989 · 📗 未知类型的图书 · zlib · Save

zlib/no-category/Kuhlen, Michael. Auteur/QCD at HERA [Ressource électronique] : The Hadronic Final State in Deep Inelastic Scattering_119077416.pdf

QCD at HERA [Ressource électronique] : The Hadronic Final State in Deep Inelastic Scattering Kuhlen, Michael. Auteur Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1999

The book provides a review of the hadronic final state measurements at HERA in deep inelastic scattering. It covers general event properties, particle spectra, heavy flavours, jets, event shape measurements, QCD instantons and small-x physics. The emphasis is on experimental results, providing quick access to the data (complete up to fall 1997) for reference. The results are discussed in the context of QCD.Content: Front Matter....Pages -Introduction....Pages 1-7Theoretical framework....Pages 9-25Inclusive cross-sections....Pages 27-34Models for hadron production in DIS....Pages 35-55General event properties....Pages 57-86The quark fragmentation region....Pages 87-102Jets....Pages 103-117Low-x physics....Pages 119-137Instantons....Pages 139-150Summary....Pages 151-154Back Matter....Pages -, Series: Springer Tracts in Modern Physics 150, L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

英语 [en] · PDF · 2.9MB · 1999 · 📗 未知类型的图书 · zlib · Save