|
 |
|
 |
|
|
 |
|  |
|
 Название: Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Автор: Wolfgang Schreiner
Издательство: Springer
Год: 2023
Страниц: 278
Язык: английский
Формат: pdf (true)
Размер: 10.1 MB
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and Computer Science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a “mathematical model checker” by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material. The goal of this book is to demonstrate how we can formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software. | |
Разместил: Ingvar16 14-04-2023, 04:34 | Комментарии: 0 | Подробнее
| | | |
 |
|  |
|
|
|
|
|
|
| |
|
 Название: Fibonacci Cubes with Applications and Variations
Автор: Omer Egecioglu, Sandi Klavzar, Michel Mollard
Издательство: World Scientific Publishing
Год: 2023
Страниц: 303
Язык: английский
Формат: pdf (true)
Размер: 14.6 MB
Fibonacci Cubes have been an extremely popular area of research since the 1990s. This unique compendium features the state of research into Fibonacci Cubes. It expands the knowledge in graph theoretic and combinatorial properties of Fibonacci Cubes and their variants. By highlighting various approaches with numerous examples, it provides a fundamental source for further research in the field. This useful reference text surely benefits advanced students in Computer Science and mathematics and serves as an archival record of the current state of the field. Readership: Researchers, professionals, academics and graduate students in theoretical Computer Science, graph theory and combinatorics. | |
Разместил: Ingvar16 12-04-2023, 18:14 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Simulink 5/6/7: Самоучитель
Автор: Дьяконов В.П.
Издательство: М.: ДMK-Прecc
Год: 2008
Cтраниц: 784
Формат: pdf
Размер: 11 мб
Язык: русский
Самоучитель по новейшим реализациям пакета визуального блочного имитационного моделирования Simulink 5/6/7 матричной системы MATLAB R2006/2007. Подробно описаны библиотека блоков Simulink, методика подготовки диаграмм моделей, их редактирование, настройка и запуск на исполнение. Дано описание наиболее важных пакетов расширения Simulink инструментального ящика Blockset, в том числе SimPowerSystems, SimMechanics, Aerospace, Stateflow, Signal Processing, Telecommunication, Video and Image Processing и др. | |
Разместил: rivasss 12-04-2023, 09:59 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Прикладной системный анализ
Автор: Тарасенко Ф.П.
Издательство: М.: КНОРУС
Год: 2004, 2010, 2015 (три издания в одном архиве)
Cтраниц: 224
Формат: pdf, djvu
Размер: 13 мб
Язык: русский
В основу пособия положен курс лекций, читаемый автором в Томском государственном университете по новой дисциплине — прикладному системному анализу. Содержится описание созданной в последние десятилетия теоретиками и практиками системного анализа технологии решения проблем реальной жизни. | |
Разместил: rivasss 12-04-2023, 09:10 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Graph Theory and Mobile Communications
Автор: Masakazu Sengoku
Издательство: World Scientific Publishing
Серия: Advanced Series in Electrical and Computer Engineering
Год: 2023
Страниц: 409
Язык: английский
Формат: pdf (true)
Размер: 25.9 MB
This comprehensive compendium discusses the basics of graph theory to its application, focusing on the application of graph theory to mobile communications. A mobile communication connects a mobile terminal and a base station wirelessly, and the base station enables communications all over the world via a wired and satellite communication system. This means that the mobile communication system includes wire and wireless technologies, and also hardware such as analog electric circuits, digital circuits and a software part such as computer algorithms. There are various systems having a network structure. For example, the Internet, a communication network, an electrical network, a road network, a traffic network, a human network, and so forth. The field of studying this network structure is called graph theory. In this book, we will discuss from the basics of graph theory to its application and in particular, we will focus on the application of graph theory to mobile communications. | |
Разместил: Ingvar16 12-04-2023, 05:06 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Understanding the Physics of Toys: Principles, Theory and Exercises
Автор: S. Rajasekar, R. Velusamy
Издательство: World Scientific Publishing
Год: 2023
Страниц: 471
Язык: английский
Формат: pdf (true)
Размер: 13.0 MB
Demonstrating many fundamental concepts of physics and engineering through the working principles of popular science toys is inexpensive, quickly reaching the senses and inspiring a better learning. The systematic way of setting theoretical model equations for the toys provides a remarkable experience in constructing model equations for physical and engineering systems. Given that most science toys are based on the principles of physics, and to cater to the needs of graduate and master-level programme students in physics and engineering, the present book covers more than 40 wide ranging popular toys. For each toy various features are presented including history, construction, working principle, theoretical model, a solved problem and 5–10 exercises. | |
Разместил: Ingvar16 12-04-2023, 04:43 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Tensor Algebra and Analysis for Engineers: With Applications to Differential Geometry of Curves and Surfaces
Автор: Paolo Vannucci
Издательство: World Scientific Publishing
Год: 2023
Страниц: 230
Язык: английский
Формат: pdf (true)
Размер: 11.4 MB
In modern theoretical and applied mechanics, tensors and differential geometry are two almost essential tools. Unfortunately, in university courses for engineering and mechanics students, these topics are often poorly treated or even completely ignored. At the same time, many existing, very complete texts on tensors or differential geometry are so advanced and written in abstract language that discourage young readers looking for an introduction to these topics specifically oriented to engineering applications.This textbook, mainly addressed to graduate students and young researchers in mechanics, is an attempt to fill the gap. Its aim is to introduce the reader to the modern mathematical tools and language of tensors, with special applications to the differential geometry of curves and surfaces in the Euclidean space. The exposition of the matter is sober, directly oriented to problems that are ordinarily found in mechanics and engineering. Also, the language and symbols are tailored to those usually employed in modern texts of continuum mechanics. | |
Разместил: Ingvar16 11-04-2023, 21:39 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Practical Bioinformatics for Beginners: From Raw Sequence Analysis to Machine Learning Applications
Автор: Lloyd Wai Yee Low, Martti Tapani Tammi
Издательство: World Scientific Publishing
Год: 2023
Страниц: 268
Язык: английский
Формат: pdf (true)
Размер: 25.3 MB
Next-Generation Sequencing (NGS) is increasingly common and has applications in various fields such as clinical diagnosis, animal and plant breeding, and conservation of species. This incredible tool has become cost-effective. However, it generates a deluge of sequence data that requires efficient analysis. The highly sought-after skills in computational and statistical analyses include Machine Learning and, are essential for successful research within a wide range of specializations, such as identifying causes of cancer, vaccine design, new antibiotics, drug development, personalized medicine, and increased crop yields in agriculture. This invaluable book provides step-by-step guides to complex topics that make it easy for readers to perform specific analyses, from raw sequenced data to answer important biological questions using Machine Learning methods. It is an excellent hands-on material for lecturers who conduct courses in bioinformatics and as reference material for professionals. The chapters are standalone recipes making them suitable for readers who wish to self-learn selected topics. Readers gain the essential skills necessary to work on sequenced data from NGS platforms; hence, making themselves more attractive to employers who need skilled bioinformaticians. | |
Разместил: Ingvar16 11-04-2023, 13:08 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Единая транспортная система
Автор: Троицкая Н.А., Чубуков А.Б.
Издательство: Академия
Год: 2007 - 3-е изд.
Cтраниц: 240
Формат: pdf
Размер: 13 мб
Язык: русский
Даны определения основных терминов, общая характеристика транспортной системы России, сферы деятельности магистрального городского, промышленного, специализированного и нетрадиционного видов транспорта. Приведены показатели работы транспорта и тарифные системы. Освещено влияние рыночной экономики на развитие транспорта, формы и методы взаимодействия и конкуренции между различными видами транспорта. | |
Разместил: rivasss 11-04-2023, 07:18 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
|
|
|
|
|
| |
|
 Название: Дифференциальные и разностные уравнения: Какие явления они описывают и как их решать
Автор: Гордин В.А.
Издательство: Издательский дом Высшей школы экономики
Год: 2016
Cтраниц: 530
Формат: pdf (ocr)
Размер: 24 мб
Язык: русский
В учебном пособии рассмотрены модели физики, механики, химии, биологии, экологии, экономики, социологии, метеорологии, электротехники, приложения к теории вероятностей, теории игр, вычислительной математике и т.п., основанные на дифференциальных и разностных уравнениях. Это практическое руководство к совместному использованию аналитических и вычислительных подходов также содержит задачи различной сложности для домашних и контрольных работ, семинарских занятий, практикумов, экзаменов и курсовых работ. Книга написана на основе курса, который автор в течение многих лет преподавал на отделении прикладной математики НИУ ВШЭ, и адресована студентам и аспирантам естественно-научных специальностей. | |
Разместил: rivasss 9-04-2023, 14:55 | Комментарии: 0 | Подробнее
| | | |
|
| |
|
Навигация
Вход на сайт
Реклама
