Modelling and Implementation of Complex Systems, Salim Chikhi; Abdelmalek Amine; Allaoua Chaoui; Mo
Автор: Li Название: Advanced Design and Implementation of Virtual Machine ISBN: 146658260X ISBN-13(EAN): 9781466582606 Издательство: Taylor&Francis Рейтинг: Цена: 16078.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also pragmatic code snippets; to understand not only research topics, but also engineering solutions. This book meets these demands by providing a unique description that combines high level design with low level implementations and academic advanced topics with commercial solutions. This book takes a holistic approach to the design of VM architecture, with contents organized into a consistent framework, introducing topics and algorithms in an easily understood step by step process. It focuses on the critical aspects of VM design, which are often overlooked in other works, such as runtime helpers, stack unwinding and native interface. The algorithms are fully illustrated in figures and implemented in easy to digest code snippets, making the abstract concepts tangible and programmable for system software developers.
Описание: Includes the refereed proceedings of the 15th International GI/ITG Conference on `Measurement, Modelling and Evaluation of Computing Systems` and `Dependability and Fault Tolerance`, held in Essen, Germany, in March 2010.
Автор: Manish Patel; Sylvia Nagl Название: The Role of Model Integration in Complex Systems Modelling ISBN: 3642422950 ISBN-13(EAN): 9783642422959 Издательство: Springer Рейтинг: Цена: 16977.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With no similar books on the market, this volume is a welcome addition. Many current methods use `shallow integration` that employ output-input linking. This book goes further, setting out a systems biology and tumour modeling method called `deep integration`.
Описание: Design and Modeling of Anti Wind Up PID Controllers.- A Hybrid Global Optimization Algorithm: Particle Swarm Optimization in Association with a Genetic Algorithm.- Towards Robust Performance Guarantees for Models Learned from High-Dimensional Data.- Expert-Based Method of Integrated Waste Management Systems for Developing Fuzzy Cognitive Map.- Leukocyte Detection through an Evolutionary Method.- PWARX model identification based on clustering approach.- Supplier quality evaluation using a fuzzy multi criteria decision making approach.- Concept Trees: Building Dynamic Concepts from Semi-Structured Data using Nature-Inspired Methods.- Swarm Intelligence Techniques and Their Adaptive Nature with Applications.- Signal Based Fault Detection and Diagnosis for rotating electrical machines: Issues and Solutions.- Modelling Of Intrusion Detection System Using Artificial Intelligence -Evaluation Of Performance Measures.- Enhanced Power System Security Assessment through Intelligent Decision Trees.- Classification of Normal and Epileptic Seizure EEG Signals based on Empirical Mode Decomposition.- A Rough Set Based Total Quality Management Approach in Higher Education.- Iterative Dual Rational Krylov and Iterative SVD-Dual Rational Krylov Model Reduction for Switched Linear Systems.- Household Electrical Consumption Modeling through Fuzzy Logic Approach.- Modeling, Identification and Control of irrigation station with sprinkling: Takagi- Sugeno approach.- Review and Improvement of Several Optimal Intelligent Pitch Controllers and Estimator of WECS via Artificial Intelligent Approaches.- Secondary and Tertiary Structure Prediction of Proteins: A Bioinformatic Approach.- Approximation of Optimized Fuzzy Logic Controller for Shunt Active Power Filter.-Soft Computing Techniques For Optimal Capacitor Placement.- Advanced Metaheuristics-based Approach for Fuzzy Control Systems Tuning.- Robust Estimation Design for Unknown Inputs Fuzzy Bilinear Models: Application to Faults Diagnosis.- Unit Commitment Optimization Using Gradient-Genetic algorithm and Fuzzy logic approaches.- Impact of Hardware/Software Partitioning and MicroBlaze FPGA Configurations on the Embedded Systems Performances.- A Neural Approach to Cursive Handwritten Character Recognition using Features Extracted from Binarization Technique.- System Identification Technique and Neural Networks for Material Lifetime Assessment Application.- Measuring Software Reliability: A Trend using Machine Learning Techniques.- Hybrid Metaheuristic Approach for Scheduling of Aperiodic OS Tasks.
Автор: Mohamed Haddar; Mohamed Slim Abbes; Jean-Yves Chol Название: Multiphysics Modelling and Simulation for Systems Design and Monitoring ISBN: 3319145312 ISBN-13(EAN): 9783319145310 Издательство: Springer Рейтинг: Цена: 36570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In addition to providing a detailed description of the methods and their applications, the book also identifies new research issues, challenges and opportunities, thus providing researchers and practitioners with both technical information to support their daily work and a new source of inspiration for their future research.
Автор: Vitezslav Styskala; Dmitrii Kolosov; Vaclav Snasel Название: Intelligent Systems for Computer Modelling ISBN: 3319276425 ISBN-13(EAN): 9783319276427 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Finite Element Modelling of T-Plate for Treatment of Distal Radius.- The Enlarged D-Q Model of Induction Motor with the Iron Loss and Saturation Effect of Magnetizing and Leakage Inductance.- Fuzzy Model Based Intelligent Prediction of Objective Events.- Using Multiple Scanning Devices for 3-D Modeling.- More Effective Control of Linear Switched-Reluctance Motor Based on the Research of Electromagnetic Processes of Field Theory Methods Linear Electrical Machines.- Numerical Simulation of the Structural Elements of a Mobile Micro-Hydroelectric Power Plant of Derivative Type.- Complex System Modeling with General Dierential Equations Solved by Means of Polynomial Networks.- Monte Carlo Probabilistic Approach Applied for Solving Problems in Mining Engineering.- Investment Funds Management Strategy Based on Polynomial Regression in Machine Learning.- Detecting Hidden Patterns in European Song Contest - Eurovision 2014.- Numerical Solution of Volterra Linear Integral Equation of the Third Kind.- Cluster Analysis of Data with Reduced Dimensionality: an Empirical Study.- Comparison of Energy Near-Optimal Control Laws for the Drives with Constant and Linear Frictions.- Systems of Temporal Logic for a Use of Engineering. Toward a More Practical Approach.- Software Determining Optimum Order for Maintenance.- Statistical Evaluation of Dimmable Interior Lighting System Consumption Using Daylight .- User Identication by Biometric Methods.- Energy Modelling of the Building.- Reconstruction of 4D CTA Brain Perfusion Images UsingTransformation Methods.- Segmentation of Macular Lesions Using Active Shape Contour Method.- Mathematical and Experimental Analyses of a Compression Ignition (CI) Engine Run on a Bioethanol Diesel Emulsion.- Modelling of Antiphase Noise Reduction of a Transformer.
Автор: Xiao-Ping Zhang; Christian Rehtanz; Bikash Pal Название: Flexible AC Transmission Systems: Modelling and Control ISBN: 364244508X ISBN-13(EAN): 9783642445088 Издательство: Springer Рейтинг: Цена: 23508.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The extended and revised second edition of this successful monograph presents advanced modeling, analysis and control techniques of Flexible AC Transmission Systems (FACTS). The book covers comprehensively a range of power-system control problems: from steady-state voltage and power flow control, to voltage and reactive power control, to voltage stability control, to small signal stability control using FACTS controllers.
In the six years since the first edition of the book has been published research on the FACTS has continued to flourish while renewable energy has developed into a mature and booming global green business. The second edition reflects the new developments in converter configuration, smart grid technologies, super power grid developments worldwide, new approaches for FACTS control design, new controllers for distribution system control, and power electronic controllers in wind generation operation and control. The latest trends of VSC-HVDC with multilevel architecture have been included and four completely new chapters have been added devoted to Multi-Agent Systems for Coordinated Control of FACTS-devices, Power System Stability Control using FACTS with Multiple Operating Points, Control of a Looping Device in a Distribution System, and Power Electronic Control for Wind Generation.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Автор: Edward Layer; Krzysztof Tomczyk Название: Measurements, Modelling and Simulation of Dynamic Systems ISBN: 3642045871 ISBN-13(EAN): 9783642045875 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A close look at analog-to-digital systems offers insight on dynamic measurement methods in this concise introduction. The construction and properties of measurement sensors are analyzed, as these represent the primary components for all measurement systems.
Описание: The book, to the best of the editor’s knowledge, is the first text of its kind that presents both the traditional and the modern aspects of ‘dialysis modeling and control’ in a clear, insightful and highly comprehensive writing style. It provides an in-depth analysis of the mathematical models and algorithms, and demonstrates their applications in real world problems of significant complexity. The material of this book can be useful to advanced undergraduate and graduate biomedical engineering students. This text provides an important focus on helping students understand how new concepts are related to and rely upon concepts previously presented. Also, researchers and practitioners in the field of dialysis, control systems, soft computing may benefit from it. The material is organized into 32 chapters.This book explains concepts in a clear, matter-of-fact style. In order to make the reader aware of the applied side of the subject, the book includes: Chapter openers with a chapter outline, chapter objectives, key terms list, and abstract. Solved numerical examples to illustrate the application of a particular concept, and also to encourage good problem-solving skills. More than 1000 questions to give the readers a better insight to the subject. Case studies to understand the significance of the joint usage of the dialysis modeling and control techniques in interesting problems of the real world. Summation and deepening of authors' works in recent years in the fields related. So the readers can get latest information, including latest research surveys and references related to the subjects through this book. It is hoped that through this book the reader will: Understand the fundamentals of dialysis systems and recognize when it is advantageous to use them. Gain an understanding of the wide range of dialysis modeling techniques Be able to use soft computing techniques in dialysis applications. Gain familiarity with online systems of dialysis and their applications. Recognize the relationship between conceptual understanding and problem-solving approaches. The editors would like to take this opportunity to thank all the authors for their contributions to this textbook. Without the hard work of our contributors, this book would have not been possible. The encouragement and patience of series Editor, Thomas Ditzinger is very much appreciated. Without his continuous help and assistance during the entire course of this project, the production of the book would have taken a great deal longer.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
