- Table View
- List View
Verallgemeinerte Funktionen: Grundlagen und Anwendungsbeispiele (essentials)
by Stefan SchäfflerDieses essential bietet eine Einführung in die theoretischen Grundlagen und Anwendungen der verallgemeinerten Funktionen. Nach zwei typischen Anwendungen verallgemeinerter Funktionen wird die Theorie entwickelt, wobei zum besseren Verständnis nur die fundamentalen Ideen vorgestellt werden, sodass keine funktionalanalytischen Kenntnisse vorausgesetzt werden. Danach folgt eine systemtheoretische Untersuchung von LTI-Systemen unter Einbeziehung der Dirac-Distribution und die Modellierung gezupfter schwingender Saiten. Den Abschluss bildet die Modellierung technischer Rauschprozesse am Beispiel des kontinuierlichen weißen Rauschens.
Verallgemeinerte stochastische Prozesse
by Stefan SchäfflerDieses Lehrbuch behandelt die in Natur- und Ingenieurwissenschaften eine zentrale Rolle spielenden Rauschprozesse, wie weißes Rauschen in der Raumsondenkommunikation oder thermisches Rauschen und Schrotrauschen in elektronischen Bauelementen.In dieser Form einzigartig, entwickelt der Autor die mathematische Theorie der verallgemeinerten stochastischen Prozesse und spricht dabei die Anwendung dieser mathematischen Objekte in der Praxis (z.B. Schaltkreissimulation, digitale Nachrichtenübertragung und Bildverarbeitung) an; somit dient dieses Lehrbuch auch als praxisrelevante Einführung in die Modellierung und Verwendung technischer Rauschprozesse. Die mathematische Modellierung von Rauschprozessen führt auf die Theorie stochastischer Prozesse auf Basis verallgemeinerter Funktionen (Distributionen), ohne die kein Handy funktionieren und Anwendungen wie die Simulation komplexer elektronischer Schaltungen unmöglich wäre.Für Anwender und interessierte Mathematiker bietet dieses Werk erstmals einen mathematisch fundierten Einblick in diese Thematik.
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings (Lecture Notes in Computer Science #11181)
by Mohamed Faouzi Atig Saddek Bensalem Simon Bliudze Bruno MonsuezThis book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018. The 11 full papers in this volume, presented together with one abstract and two invited papers, were carefully reviewed and selected from 23 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems.
Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings (Lecture Notes in Computer Science #12519)
by Belgacem Ben Hedia Yu-Fang Chen Gaiyun Liu Zhenhua YuThis book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead. The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings (Lecture Notes in Computer Science #13182)
by Bernd Finkbeiner Thomas WiesThis book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Verifying Calculations - Forty Years On
by Ludovic Chamoin Pedro DíezThis work provides an overview of a posteriori error assessment techniques for Finite Element (FE) based numerical models. These tools aim at estimating and controlling the discretization error in scientific computational models, being the basis for the numerical verification of the FE solutions. The text discusses the capabilities and limitations of classical methods to build error estimates which can be used to control the quality of numerical simulations and drive adaptive algorithms, with a focus on Computational Mechanics engineering applications. Fundamentals principles of residual methods, smoothing (recovery) methods, and constitutive relation error (duality based) methods are thus addressed along the manuscript. Attention is paid to recent advances and forthcoming research challenges on related topics. The book constitutes a useful guide for students, researchers, or engineers wishing to acquire insights into state-of-the-art techniques for numerical verification.
Verkannt, verfemt, vergessen: Geschichten aus der europäischen Mathematik der Neuzeit
by Heinz Klaus StrickSobald Sie sich eingehender mit der Geschichte der Mathematik beschäftigen, werden Sie auch auf Personen stoßen, deren Namen Ihnen bislang unbekannt waren oder von deren Bedeutung für die Entwicklung der Mathematik Sie bisher nichts wussten. Dieses Buch bietet Ihnen einen Einblick in das Leben und Wirken von 67 besonderen Persönlichkeiten aus dem europäischen Raum – und geht bei der Betrachtung der Einzelschicksale jeweils auch der Frage nach, warum diese Personen vergleichsweise unbekannt sind, warum sie regelrecht „vergessen“ wurden. Die Gründe dafür sind vielfältig und meist in den jeweiligen politischen, gesellschaftlichen oder individuellen Lebensumständen zu finden – viele wurden diskriminiert und konnten ihre Fähigkeiten gar nicht erst entfalten, andere waren Ihrer Zeit voraus und blieben lange Zeit unverstanden. Über die historische Einordnung hinaus werden einige der mathematischen Beiträge dieser Personen dargestellt – so ausgewählt, dass sie mit denin der gymnasialen Oberstufe üblicherweise vermittelten Kenntnissen nachvollzogen werden können. Die in diesem Buch enthaltenen Darstellungen beginnen mit Persönlichkeiten aus dem 16. Jahrhundert und schließen somit chronologisch an das Buch Geschichten aus der Mathematik desselben Autors an, sind aber unabhängig davon lesbar. Das Buch richtet sich an alle, die sich für die Entwicklung der Wissenschaften interessieren und dabei insbesondere ein tieferes Verständnis für die menschlichen Aspekte der Mathematik entwickeln möchten.
Verkehrsdynamik und -simulation
by Martin Treiber Arne KestingDas Lehrbuch liefert eine umfassende Darstellung der Modellierung und Dynamik des Straßenverkehrs. Es erschließt Studierenden ein Gebiet, das bisher nur in der englischsprachigen Originalliteratur dargestellt wurde. Aktuelle Anwendungen in Bereichen wie Verkehrsmanagement, Fahrer-Assistenzsysteme oder Verkehrstelematik stellen den Praxisbezug her, zahlreiche Abbildungen und Übungsaufgaben vertiefen das Verständnis. Das Buch richtet sich an Physik- und Verkehrsingenieurstudenten sowie Studierende der Informatik, Mathematik und technischer Richtungen.
Vermittlung und Erwerb von Mathematischer Modellierungskompetenz: Zur Förderung eines ganzheitlichen Bildes der Mathematik im Schulunterricht (essentials)
by Alexander BrödnerDieses Buch bietet eine grundlegende Einführung in die wichtigsten Aspekte der Vermittlung und des Erwerbs von mathematischer Modellierungskompetenz im Schulkontext. In den letzten Jahren hat sich unter anderem anhand der Covid-19 Pandemie mehr denn je gezeigt, wie Mathematik im Allgemeinen und das mathematische Modellieren im Speziellen zum Verständnis globaler Herausforderungen und Möglichkeiten zu ihrer Bewältigung beiträgt. Deshalb sollte die mathematische Modellierungskompetenz eine zentrale Rolle im Schulunterricht spielen. Dies kann auch zur Vermittlung eines ganzheitlichen Bildes der Mathematik beitragen. Doch der Prozess von Vermittlung und Erwerb einer solchen Kompetenz ist komplex und mit vielfältigen Schwierigkeiten verbunden. Angesichts dieser Ausgangslage fasst das Buch Geschichte und Definition der Modellierungskompetenz im Mathematikunterricht zusammen, stellt die damit verbundenen Ziele und Perspektiven dar, veranschaulicht theoretische Hintergrundüberlegungen, stellt Modellierungsaufgaben und passende Lernumgebungen vor und weist auf notwendige Teilkompetenzen und mögliche Hindernisse beim Erwerb von Modellierungskompetenz hin. Letztendlich wird damit auch der Anspruch der Vermittlung eines ganzheitlichen Bildes der Mathematik im Schulunterricht angesprochen. Als Zusammenfassung der wichtigsten Aspekte des mathematischen Modellierungskompetenz im Schulkontext richtet sich das Buch an Mathematikdidaktiker*innen und Lehrkräfte aller Schulformen.
Verpflegung | Wohnen | Digitale Teilhabe: Inter- und transdisziplinäre Perspektiven der Alltagsversorgung zur Lebensqualität im Alter
by Jana Rückert-John Christine Küster Stephanie HagspihlIn diesem Buch zum Thema Lebensqualität im Alter wird ein inter- und trans-disziplinärer Ansatz gewählt, um neue Einsichten zu vermitteln. Der spezielle Fokus in den Beiträgen liegt dabei auf den Themen Verpflegung, Wohnen und digitale Teilhabe, wobei die einzelnen Beiträge jeweils inter- und transdisziplinäre Perspektiven aufzeigen. Der steigende Anteil bzw. die steigende Zahl älterer Menschen und deren lebensnotwendige Alltagsversorgung und Alltagsgestaltung für mehr Lebensqualität betrifft die gesamte Gesellschaft. Die anstehenden Herausforderungen wachsender Disparitäten und wegbrechender Strukturen der Versorgung Älterer für ein „gutes Leben aller“ werden nur inter- und transdisziplinär zu lösen sein.
Verräumlichte Subjektivierung: Aktivierung und Kulturalisierung im Altenpflegeheim (Subjektivierung und Gesellschaft/Studies in Subjectivation)
by Linda MaackDas Buch zeigt aus einer rassismuskritischen Perspektive die Konstitution von (‚kultursensiblen‘) Altenpflegeheimen sowie darin eingelassene Subjekte und Adressierungen. Durch die Betrachtung von (‚kultursensiblen‘) Altenpflegeeinrichtungen werden diese Organisationen als zentrale Akteure der Subjektivierung thematisiert. In der diskursanalytischen Studie wird insbesondere der ‚Raum‘ als empirisches Konzept entwickelt, welcher das Subjekt durch Ein- und Ausschlüsse ‚kulturalisierend‘ hervorbringt. Damit leistet die Studie einen innovativen Beitrag zum Zusammenhang von Raum, Organisation und Subjektivierung.
Verschlüsseln, Signieren, Angreifen: Eine kompakte Einführung in die Kryptografie
by Olaf ManzDieses Buch erläutert kompakt, ohne theoretischen Überbau und mit möglichst wenig mathematischem Formalismus die wesentlichen Konzepte bei der Verschlüsselung schützenswerter Nachrichten und Daten. Hierbei liegt der Fokus auf der Beschreibung der historisch und für die Praxis wichtigen Chiffrier-, Signatur- und Authentifikationsverfahren. Dabei wird sowohl auf symmetrische Verschlüsselungen als auch auf Public-Key-Chiffren eingegangen. Angesprochen werden jeweils auch die Strategien, mit deren Hilfe man Verschlüsselungen angreift und zu „knacken“ versucht. Besonderer Wert gelegt wird auf die Darstellung des praktischen Einsatzes von Chiffren, insbesondere im alltäglichen Umfeld. Das Buch eignet sich für Arbeitsgruppen an MINT-Schulen und die MINT-Lehrerfortbildung, für Einführungskurse an Hochschulen wie auch für interessierte Schüler und Erwachsene.
Vertex-Frequency Analysis of Graph Signals (Signals and Communication Technology)
by Ljubiša Stanković Ervin SejdićThis book introduces new methods to analyze vertex-varying graph signals. In many real-world scenarios, the data sensing domain is not a regular grid, but a more complex network that consists of sensing points (vertices) and edges (relating the sensing points). Furthermore, sensing geometry or signal properties define the relation among sensed signal points. Even for the data sensed in the well-defined time or space domain, the introduction of new relationships among the sensing points may produce new insights in the analysis and result in more advanced data processing techniques. The data domain, in these cases and discussed in this book, is defined by a graph. Graphs exploit the fundamental relations among the data points. Processing of signals whose sensing domains are defined by graphs resulted in graph data processing as an emerging field in signal processing.Although signal processing techniques for the analysis of time-varying signals are well established, the corresponding graph signal processing equivalent approaches are still in their infancy. This book presents novel approaches to analyze vertex-varying graph signals. The vertex-frequency analysis methods use the Laplacian or adjacency matrix to establish connections between vertex and spectral (frequency) domain in order to analyze local signal behavior where edge connections are used for graph signal localization. The book applies combined concepts from time-frequency and wavelet analyses of classical signal processing to the analysis of graph signals. Covering analytical tools for vertex-varying applications, this book is of interest to researchers and practitioners in engineering, science, neuroscience, genome processing, just to name a few. It is also a valuable resource for postgraduate students and researchers looking to expand their knowledge of the vertex-frequency analysis theory and its applications. The book consists of 15 chapters contributed by 41 leading researches in the field.
Vertrauen in die Polizei: Schweiz – Europa – Welt
by Sabrina PfisterDas vorliegende Buch befasst sich mit Vertrauen in die Polizei, wobei die Makroebene wie auch die Individualebene betrachtet und miteinander verknüpft werden. Auf der Makroebene fokussiert die Autorin die wahrgenommene Korruption, auf der Individualebene individuelle Werte sowie Migrationshintergründe als Erklärungsfaktoren. Insbesondere der Einfluss von Werten auf Vertrauen in die Polizei wurde bisher kaum untersucht. In dieser Analyse werden anhand einer Fallstudie über die Schweiz wie anhand welt- und europaweiter Ländervergleiche die Faktoren sowohl auf der Individual- als auch auf der Länderebene analysiert und folgende Forschungsfrage empirisch bearbeitet: Wie lassen sich Vertrauensunterschiede in die Polizei zwischen Menschen in einem Land und zwischen Ländern erklären? Es zeigt sich, dass öffentliche Korruption (gemessen mit dem Corruption Perceptions Index), die vier individuellen Werte «Bewahrung», «Macht», «Selbstbestimmung» und «Universalismus» nach der Wertetheorie von S. H. Schwartz (1992) und ein allenfalls vorhandener Migrationshintergrund Unterschiede im Vertrauen in die Polizei erklären können.
The Very Berry Counting Book (Jerry Pallotta's Counting Books)
by Jerry Pallotta"Children can learn to count from one to 10 in a berry appetizing way. This lovely counting book, reminiscent of old-fashioned botanical illustrations, introduces children to a variety of berries." -Kirkus ReviewsBest-selling author Jerry Pallotta&’s latest counting book is for the youngest readers to devour. Covering familiar North American berries like blueberries and strawberries, as well as lesser-known ones such as mul-berries and salmonberries, this fruity board book combines evocative adjectives with berry names, numbers, and colors in a sweet and simple way. Joy Newton&’s botanical illustrations bring a vintage farm-stand feel to each page. Berries are a healthy finger food toddlers are familiar with. Learning their names and the numbers from one to ten is sure to delight.
A Very British Affair
by Terence C. MillsThis book develops the major themes of time series analysis from its formal beginnings in the early part of the 20th century to the present day through the research of six distinguished British statisticians, all of whose work is characterised by the British traits of pragmatism and the desire to solve practical problems of importance.
The Vexing Case of Igor Shafarevich, a Russian Political Thinker
by Krista BerglundThis is the first comprehensive study about the non-mathematical writings and activities of the Russian algebraic geometer and number theorist Igor Shafarevich (b. 1923). In the 1970s Shafarevich was a prominent member of the dissidents' human rights movement and a noted author of clandestine anti-communist literature in the Soviet Union. Shafarevich's public image suffered a terrible blow around 1989 when he was decried as a dangerous ideologue of anti-Semitism due to his newly-surfaced old manuscript Russophobia. The scandal culminated when the President of the National Academy of Sciences of the United States suggested that Shafarevich, an honorary member, resign. The present study establishes that the allegations about anti-Semitism in Shafarevich's texts were unfounded and that Shafarevich's terrible reputation was cemented on a false basis.
Viability and Resilience of Complex Systems
by Nigel Gilbert Guillaume DeffuantOne common characteristics of a complex system is its ability to withstand major disturbances and the capacity to rebuild itself. Understanding how such systems demonstrate resilience by absorbing or recovering from major external perturbations requires both quantitative foundations and a multidisciplinary view on the topic. This book demonstrates how new methods can be used to identify the actions favouring the recovery from perturbations. Examples discussed include bacterial biofilms resisting detachment, grassland savannahs recovering from fire, the dynamics of language competition and Internet social networking sites overcoming vandalism. The reader is taken through an introduction to the idea of resilience and viability and shown the mathematical basis of the techniques used to analyse systems. The idea of individual or agent-based modelling of complex systems is introduced and related to analytically tractable approximations of such models. A set of case studies illustrates the use of the techniques in real applications, and the final section describes how one can use new and elaborate software tools for carrying out the necessary calculations. The book is intended for a general scientific audience of readers from the natural and social sciences, yet requires some mathematics to gain a full understanding of the more theoretical chapters. It is an essential point of reference for those interested in the practical application of the concepts of resilience and viability
Vibration Analysis of Functionally Graded Piezoelectric Actuators (SpringerBriefs in Applied Sciences and Technology)
by Pankaj SharmaThis book presents a detailed study on the vibration analysis of functionally graded piezoelectric actuators excited under the shear effect. Two types of actuator geometries viz. beam and annular plate are considered, where the material properties are assumed to have a continuous variation in accordance with a power law distribution. The generalized differential quadrature method is used to obtain the solutions, and is compared to exact analytical results. The methodology reported and the numerical results presented will be useful for the design of devices utilizing functionally graded piezoelectric actuators under the influence of shear.
Vibration and Heat Transfer of Elastic Tube Bundles in Heat Exchangers: A Numerical Study
by Jiadong Ji Baojun Shi Haishun DengThis book systematically investigates the vibration and enhanced heat transfer of elastic tube bundles in heat exchangers. Using numerical calculation methods, it explores the working principles, optimization design, and performance enhancement of elastic tube bundle heat exchangers. The book presents research findings with clear illustrations and detailed analysis, allowing readers to gain a deep understanding and practical application of the subject. Whether from an academic research or engineering practice perspective, this book serves as a valuable reference and guide. It provides readers with insight and guidance on both theoretical and practical aspects of the field. With its comprehensive coverage and practical approach, this book is essential reading for researchers, engineers, and students interested in the vibration and heat transfer of elastic tube bundles in heat exchangers.
Vibration and Structural Acoustics Analysis
by J. Dias Rodrigues C.M.A. VasquesVibration and structural acoustics analysis has become an essential requirement for high-quality structural and mechanical design in order to assure acoustic comfort and the integrity, reliability and fail-safe behavior of structures and machines. The underlying technologies of this field of multidisciplinary research are evolving very fast and their dissemination is usually scattered over different and complementary scientific and technical publication means. In order to make it easy for developers and technology end-users to follow the latest developments and news in the field, this book collects into a single volume selected, extended, updated and revised versions of papers presented at the Symposium on Vibration and Structural Acoustics Analysis, coordinated by J. Dias Rodrigues and C. M. A. Vasques, which was organised as part of the 3rd International Conference on Integrity, Reliability & Failure (IRF'2009), co-chaired by J. F. Silva Gomes and Shaker A. Meguid, held at the Faculty of Engineering of the University of Porto, Portugal, 20-24 July 2009. These papers where chosen from the more than 60 papers presented at the conference symposium. Written by experienced practitioners and researchers in the field, this book brings together recent developments in the field, spanning across a broad range of themes: vibration analysis, analytical and computational structural acoustics and vibration, material systems and technologies for noise and vibration control, vibration-based structural health monitoring/evaluation, machinery noise/vibration and diagnostics, experimental testing in vibration and structural acoustics, applications and case studies in structural acoustics and vibration. Each chapter presents and describes the state of the art, presents current research results and discusses the need for future developments in a particular aspect of vibration and structural acoustics analysis. The book is envisaged to be an appealing text for newcomers to the subject and a useful research study tool for advanced students and faculty members. Practitioners and researchers may also find this book a one-stop reference that addresses current and future challenges in this field. The variety of case studies is expected to stimulate a holistic view of sound and vibration and related fields and to appeal to a broad spectrum of engineers such as the ones in the mechanical, aeronautical, aerospace, civil and electrical communities.
Vibration of Discrete and Continuous Systems (Mechanical Engineering Series)
by Ahmed ShabanaThis revised, updated textbook adds new focus on computational methods and the importance of vibration theory in computer-aided engineering to fundamental aspects of vibration of discrete and continuous systems covered in the previous two editions of Vibration of Discrete and Continuous Systems. Building on the book’s emphasis on the theory of vibration of mechanical, structural, and aerospace systems, the author’s modifications, including discussion of the sub-structuring and finite element formulations, complete the coverage of topics required for a contemporary, second course following Vibration Theory. The textbook is appropriate for both upper-level undergraduate and graduate courses.
Vibration Problems ICOVP 2011
by Bohdana Marvalová Ferdinand Verhulst Jaromír Horáček Jerzy T. Sawicki Jiří Náprstek Miloslav OkrouhlíkThis volume presents the Proceedings of the 10th International Conference on Vibration Problems, 2011, Prague, Czech Republic. ICOVP 2011 brings together again scientists from different backgrounds who are actively working on vibration-related problems of engineering both in theoretical and applied fields, thus facilitating a lively exchange of ideas, methods and results between the many different research areas. The aim is that reciprocal intellectual fertilization will take place and ensure a broad interdisciplinary research field. The topics, indeed, cover a wide variety of vibration-related subjects, from wave problems in solid mechanics to vibration problems related to biomechanics. The first ICOVP conference was held in 1990 at A.C. College, Jalpaiguri, India, under the co-chairmanship of Professor M.M. Banerjee and Professor P. Biswas. Since then it has been held every 2 years at various venues across the World.
Vibrations and Stability: Advanced Theory, Analysis, and Tools
by Jon Juel ThomsenAn ideal text for students that ties together classical and modern topics of advanced vibration analysis in an interesting and lucid manner. It provides students with a background in elementary vibrations with the tools necessary for understanding and analyzing more complex dynamical phenomena that can be encountered in engineering and scientific practice. It progresses steadily from linear vibration theory over various levels of nonlinearity to bifurcation analysis, global dynamics and chaotic vibrations. It trains the student to analyze simple models, recognize nonlinear phenomena and work with advanced tools such as perturbation analysis and bifurcation analysis. Explaining theory in terms of relevant examples from real systems, this book is user-friendly and meets the increasing interest in non-linear dynamics in mechanical/structural engineering and applied mathematics and physics. This edition includes a new chapter on the useful effects of fast vibrations and many new exercise problems.
Vibrations of mechanical systems with regular structure
by Mark Kempner Ludmilla BanakhVibrations in systems with a periodic structure is the subject of many ongoing research activities. This work presents the analysis of such systems with the help of the theory of representation groups by finite element methods, dynamic Compliance and dynamic rigidness methods, specially adjusted for the analysis of engineering structures. The approach presented in this book permits a simplification and facilitates the understanding of mechanical vibrations in various structures. The book includes extended studies of even complicated machinery structures with an emphasis on flight vehicle engines.