Название: Boolean Systems: Topics in Asynchronicity
Автор: Serban E. Vlad
Издательство: Academic Press/Elsevier
Год: 2023
Страниц: 438
Язык: английский
Формат: pdf (true)
Размер: 10.2 MB

The Boolean functions may be iterated either asynchronously, when their coordinates are computed independently of each other, or synchronously, when their coordinates are computed at the same time. In Boolean Systems: Topics in Asynchronicity, a book addressed to mathematicians and computer scientists interested in Boolean systems and their use in modelling, author Serban E. Vlad presents a consistent and original mathematical theory of the discrete-time Boolean asynchronous systems. The purpose of the book is to set forth the concepts of such a theory, resulting from the synchronous Boolean system theory and mostly from the synchronous real system theory, by analogy, and to indicate the way in which known synchronous deterministic concepts generate new asynchronous nondeterministic concepts. The reader will be introduced to the dependence on the initial conditions, periodicity, path-connectedness, topological transitivity, and chaos.

Название: Методы расчета магнитных систем электрических аппаратов. Программа Ansys
Автор: Буль О.Б.
Издательство: М.: Академия
Год: 2006
Формат: DJVU
Страниц: 288
Размер: 29 mb
Язык: русский

Описана конечно-элементная компьютерная программа Ansys, позволяющая проводить моделирование инженерных устройств, расчет которых сводится к анализу полей любой природы. Рассмотрены возможности программы Ansys по расчету магнитных систем постоянного и переменного тока в стационарном и нестационарном режимах, без учета нелинейной характеристики магнитного материала и с ее учетом.
Даны примеры интерактивных и командных анализов в Ansys осесимметричной разомкнутой магнитной системы и магнитной системы с одним зазором при трехмерном поле.
Для студентов высших учебных заведений.

Название: Regularity of the One-phase Free Boundaries
Автор: Bozhidar Velichkov
Издательство: Springer
Год: 2023
Страниц: 249
Язык: английский
Формат: pdf (true), epub
Размер: 18.2 MB

This book is an introduction to the regularity theory for free boundary problems. The free boundary problems are a special type of boundary value problems, in which the domain, where the PDE is solved, depends on the solution of the boundary value problem. The focus is on the one-phase Bernoulli problem, which is of particular interest as it deeply influenced the development of the modern free boundary regularity theory and is still an object of intensive research. The exposition is organized around four main theorems, which are dedicated to the one-phase functional in its simplest form. Many of the methods and the techniques presented here are very recent and were developed in the context of different free boundary problems. We also give the detailed proofs of several classical results, which are based on some universal ideas and are recurrent in the free boundary, PDE and the geometric regularity theories. This book is aimed at graduate students and researches and is accessible to anyone with a moderate level of knowledge of elliptical PDEs.

Название: Аналитическая геометрия в примерах и задачах
Автор: Бортаковский А.С., Пантелеев А.В.
Издательство: М.: Высшая школа
Год: 2005
Cтраниц: 496
Формат: pdf
Размер: 28 мб
Язык: русский

Приведены основные понятия, теоремы и методы решения задач по всем разделам курса: векторной алгебре, системам координат, преобразованиям плоскости и пространства, уравнениям линий и поверхностей первого и второго порядков. Описаны некоторые приложения аналитической геометрии в механике, теории оптимизации и математическом анализе.

Название: Navigating the Engineering Organization: A New Engineer's Guide
Автор: Robert M. Santer
Издательство: CRC Press
ISBN: ‎1032102527
Год: 2023
Формат: PDF
Страниц: 408
Размер: 55,3 МБ
Язык: Английский

Transitioning new engineers into professionals who can blend in and contribute to the technical organization is, at best, doubtful. Trained in the "nuts and bolts" of a technical subject, new engineers have little to no training on the "soft" skills of how to work within an organization. This robust guide shows new engineers how to quickly operate and succeed within their new engineering organization.

Название: Understanding Behaviour of Distributed Systems Using mCRL2
Автор: Muhammad Atif, Jan Friso Groote
Издательство: Springer
Год: 2023
Страниц: 241
Язык: английский
Формат: pdf (true), epub
Размер: 27.6 MB

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks. We use mCRL2 (micro Common Representation Language 2) and the modal mu-calculus, which are specialised languages that specify a distributed system and formulate system properties. These languages come with an effective toolset, which is open source and can be freely used. mCRL2 is a very concise and, at the same time, extremely expressive language to specify and analyse the behaviour of distributed systems and protocols. It can easily express non-computable behavioural specifications and requirements. It goes without saying that for such descriptions, tool-supported analysis is not very fruitful. However, this implies that effectively using mCRL2 requires a good understanding of the language and formula writing in the mu-calculus.

Название: Микрокалькуляторы для всех
Автор: Пухначев Юрий Васильевич, Данилов Игорь Даниилович
Издательство: Знание
Год: 1986
Формат: pdf
Страниц: 192
Размер: 14.1 Мб
Язык: русский

Книга известных популяризаторов советских ПМК. Включает следующие задачи: рассчитывание плавки стали, построение графиков, электронный топограф, советчик врача, калькулятор в спорте, прогноз погоды по калькулятору и другие задачи.

Название: Forensic DNA Applications: An Interdisciplinary Perspective, 2nd Edition
Автор: Dragan Primorac, Moses S. Schanfield
Издательство: CRC Press
Год: 2023
Страниц: 533
Язык: английский
Формат: pdf (true)
Размер: 30.5 MB

Forensic DNA Applications: An Interdisciplinary Perspective, Second Edition is fully updated to outline the latest advances in forensic DNA testing techniques and applications. It continues to fill the need for a reference book for people working in the field of forensic molecular biology testing and research as well as individuals investigating and adjudicating cases involving DNA evidence, whether they be civil or criminal cases. DNA techniques have greatly impacted obvious traditional forensic areas, but such advances have also positively affected myriad new areas of research and inquiry. It is possible today to think about solving forensic problems that were simply unheard of even a few years ago. As such, the book pulls all relevant research and applied science together into a detailed and comprehensive collection.

Название: An Introduction to Optimal Control Theory: The Dynamic Programming Approach
Автор: Onesimo Hernandez-Lerma, Leonardo R. Laura-Guarachi, Saul Mendoza-Palacios
Издательство: Springer
Серия: Texts in Applied Mathematics
Год: 2023
Страниц: 279
Язык: английский
Формат: pdf (true), epub
Размер: 19.0 MB

This book introduces optimal control problems for large families of deterministic and stochastic systems with discrete or continuous time parameter. These families include most of the systems studied in many disciplines, including Economics, Engineering, Operations Research, and Management Science, among many others. The main objective is to give a concise, systematic, and reasonably self contained presentation of some key topics in optimal control theory. To this end, most of the analyses are based on the dynamic programming (DP) technique. This technique is applicable to almost all control problems that appear in theory and applications. They include, for instance, finite and infinite horizon control problems in which the underlying dynamic system follows either a deterministic or stochastic difference or differential equation. In the infinite horizon case, it also uses DP to study undiscounted problems, such as the ergodic or long-run average cost.

Название: Marine Phenolic Compounds: Science and Engineering
Автор: Jose Ricardo Perez Correa, Raquel Mateos
Издательство: Elsevier
ISBN: 0128235896
Год: 2023
Формат: PDF
Страниц: 540
Размер: 17.8 МБ
Язык: Английский

Marine Phenolic Compounds: Science and Engineering is a comprehensive resource on these secondary metabolites. Phenolic compounds are secondary metabolites with increasing scientific, commercial and general population interest for their wide distribution, variety and potential applications Less studied than terrestrial sources, marine organisms contain highly interesting phenolic compounds due to their exclusive structures.