Search results: Found 6

Listing 1 - 6 of 6
Sort by
Predicting software performance in symmetric multi-core and multiprocessor Environments

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866443815 Year: Volume: 3 Pages: IV, 291 p. DOI: 10.5445/KSP/1000011806 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:01
License:

Loading...
Export citation

Choose an application

Abstract

With today's rise of multi-core processors, concurrency becomes a ubiquitous challenge in software development.Performance prediction methods have to reflect the influence of multiprocessing environments on software performance in order to help software architects to find potential performance problems during early development phases. In this thesis, we address the influence of the operating system scheduler on software performance in symmetric multiprocessing environments.

Product lines for digital information products

Author:
ISBN: 9783866441330 Year: Pages: XIV, 220 p. DOI: 10.5445/KSP/1000006402 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Digital information products are an important class of widely used digital products, whose core benefit is the delivery of information or education (e.g., electronic books, online newspapers, e-learning courses).This book introduces a novel and systematic approach, Product Lines for Digital Information Products (PLANT), which focuses on the creation of variants of such products within a product line, and which extends concepts from the area of software product lines.

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISSN: 0302-9743 ISBN: 9783319893655 9783319893662 Year: Pages: 583 DOI: https://doi.org/10.1007/978-3-319-89366-2 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-26 16:52:58
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Authors: --- ---
ISBN: 9783030439460 Year: Pages: 285 DOI: 10.1007/978-3-030-43946-0 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-05-14 09:30:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.

Batteries and Supercapacitors Aging

Authors: ---
ISBN: 9783039287147 / 9783039287154 Year: Pages: 214 DOI: 10.3390/books978-3-03928-715-4 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2020-06-09 16:38:57
License:

Loading...
Export citation

Choose an application

Abstract

Electrochemical energy storage is a key element of systems in a wide range of sectors, such as electro-mobility, portable devices, and renewable energy. The energy storage systems (ESSs) considered here are batteries, supercapacitors, and hybrid components such as lithium-ion capacitors. The durability of ESSs determines the total cost of ownership, the global impacts (lifecycle) on a large portion of these applications and, thus, their viability. Understanding ESS aging is a key to optimizing their design and usability in terms of their intended applications. Knowledge of ESS aging is also essential to improve their dependability (reliability, availability, maintainability, and safety). This Special Issue includes 12 research papers and 1 review article focusing on battery, supercapacitor, and hybrid capacitor aging.

Keywords

battery --- operative dependability --- selection algorithm --- capacitance --- state-of-charge monitoring --- self-discharge --- supercapacitor --- aging --- lithium-ion capacitor --- aging model --- langmuir isotherm --- lifetime prediction --- aging mechanisms --- calendar aging --- floating aging --- autonomous devices --- lead-acid batteries --- Petri nets --- second life battery --- lithium-ion --- electrical characterization --- state-of-health (SOH) --- partial coulometric counter --- lithium-ion --- NMC --- aging --- ampere-hour throughput --- incremental capacity analysis --- accelerated ageing --- battery management system --- battery management system (BMS) --- calendar ageing --- cycling ageing --- electric vehicle --- embedded algorithm --- incremental capacity analysis --- incremental capacity analysis (ICA) --- lithium-ion battery --- lithium iron phosphate --- LFP --- LiFePO4 --- remaining capacity --- state of health (SoH) --- incremental capacity analysis --- lithium-ion --- electric vehicles --- driving cycles --- cell degradation --- lithium-ion --- batteries --- ageing --- post-mortem analysis --- lithium-ion battery --- lamination --- electrochemical impedance spectroscopy --- fast-charging capability --- lifetime --- abuse test --- lithium-ion capacitor --- safety --- temperature --- thermal runaway --- battery life testing --- capacitance --- state-of-charge determination --- state-of-health --- aging --- impedance spectroscopy --- pseudo-charge --- Li-Ion battery --- Ni-rich cathode --- degradation --- cathode-electrolyte interphase --- electro mobility --- n/a

Intelligent Control in Energy Systems

Author:
ISBN: 9783039214150 9783039214167 Year: Pages: 508 DOI: 10.3390/books978-3-03921-416-7 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Science (General) --- Physics (General)
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

The editors of this Special Issue titled “Intelligent Control in Energy Systems” have attempted to create a book containing original technical articles addressing various elements of intelligent control in energy systems. In response to our call for papers, we received 60 submissions. Of those submissions, 27 were published and 33 were rejected. In this book, we offer the 27 accepted technical articles as well as one editorial. Authors from 15 countries (China, Netherlands, Spain, Tunisia, United Sates of America, Korea, Brazil, Egypt, Denmark, Indonesia, Oman, Canada, Algeria, Mexico, and the Czech Republic) elaborate on several aspects of intelligent control in energy systems. The book covers a broad range of topics including fuzzy PID in automotive fuel cell and MPPT tracking, neural networks for fuel cell control and dynamic optimization of energy management, adaptive control on power systems, hierarchical Petri Nets in microgrid management, model predictive control for electric vehicle battery and frequency regulation in HVAC systems, deep learning for power consumption forecasting, decision trees for wind systems, risk analysis for demand side management, finite state automata for HVAC control, robust ?-synthesis for microgrids, and neuro-fuzzy systems in energy storage.

Keywords

lithium-ion battery pack --- soft internal short circuit --- model-based fault detection --- battery safety --- internal short circuit resistance --- load frequency control --- model uncertainty --- ?-synthesis --- differential evolution --- decision tree --- preventive control --- Fault Ride Through Capability --- doubly-fed induction generator --- ancillary service --- frequency regulation --- demand response --- commercial/residential buildings --- HVAC systems --- model predictive control --- rule-based control --- position control --- static friction --- exhaust gas recirculation (EGR) valve system --- automotive application --- hybrid electric vehicle --- compound structured permanent-magnet motor --- energy management strategy --- instantaneous optimization minimum power loss --- back propagation (BP) neural network --- power transformer winding --- vibration characteristics --- multiphysical field analysis --- short-circuit experiment --- winding-fault characteristics --- occupancy model --- occupancy-based control --- model predictive control --- energy efficiency --- building climate control --- solar monitoring system --- photovoltaic array --- energy management --- demand side management --- operation limit violations --- probabilistic power flow --- network sensitivity --- neural networks --- railway --- high-speed railway --- neutral section --- medium voltage --- thyristor --- AC static switch --- adaptive backstepping --- nonlinear power systems --- sliding mode control --- error compensation --- ?-class function --- energy internet --- multi-energy complementary --- integrated energy systems --- distribution network planning --- electric power consumption --- multi-step forecasting --- long short term memory --- convolutional neural network --- system identification --- parameter estimation --- system modelling --- model reduction --- polynomial expansion --- orthogonal least square --- industrial process --- electric vehicle --- battery packs --- active balance --- model predictive control --- hierarchical Petri nets --- urban microgrids --- phase-load balancing --- fuzzy logic controller --- MPPT: maximum power point tracking --- photovoltaic system --- step-up boost converter --- proton exchange membrane fuel cell --- four phases interleaved boost converter --- neural network controller --- AC-DC converters --- bridgeless SEPIC PFC converter --- repetitive controller --- current distortion --- current controller design --- stochastic power system operating point drift --- wind integrated power system --- power oscillations --- adaptive damping control --- continuous voltage control --- multiple-point control --- interaction minimization --- pilot point --- adjacent areas --- ANFIS --- artificial neural network --- fuzzy --- small scale compressed air energy storage (SS-CAES) --- voltage controlling --- electric meter --- error estimation --- line loss --- RLS --- double forgetting factors --- hybrid power plant --- control architecture --- coordination of reserves --- frequency support --- frequency control dead band --- fast frequency response --- frequency containment reserve --- line switching --- voltage violations --- three-stage --- fractional order fuzzy PID controller --- neural network algorithm --- PEM fuel cell --- MPPT operation --- sensitivity analysis --- intelligent control --- artificial intelligence --- energy management system --- smart micro-grid --- energy systems --- intelligent buildings --- forecasting --- multi-agent control --- optimization

Listing 1 - 6 of 6
Sort by
Narrow your search