Litgu.ru - Литературный Гуру

Название: Геометрия. 7-11 классы
Автор: Татьяна Виноградова
Издательство: Москва
Год: 2019
Формат: pdf
Страниц: 110
Размер: 19,37 Мб
Язык: русский

В пособии представлены алгоритмы решения типовых задач и примеров по геометрии, изучаемых в 7—11 классах. Перед каждым алгоритмом помещён краткий теоретический блок по теме с необходимыми правилами и формулами. После алгоритма приведён пример решения задачи, даны задания для самостоятельного выполнения.

Название: Блюда шорской бабушки
Автор: Телякова В.М.
Издательство: Кемерово: НФИ ФГБОУ ВПО "Кемеровский Государственный университет
Год: 2014
Формат: pdf
Страниц: 182
Размер: 26 mb
Язык: русский

Учебное пособие представляет собой лингво-культурологический очерк «Блюда шорской бабушки». Это плод совместной многолетней работы автора и студентов шорского отделения Кузбасской государственной педагогической академии, которые посещали мой спецкурс, посвященный языкам и культуре коренных народов Сибири и Дальнего Востока. Эта исследовательская работа содержит этнографические, культурологические и лингвистические сведения о шорской кухне, отражающей традиции, верования, виды промыслов и традиционных занятий этого этноса.
Пособие нацелено на формирование знаний по определенному кругу вопросов и активизацию речевых навыков студентов по теме «Пища шорского народа», что способствует созданию у них профессиональных, общекультурных и информационных компетенций. В первую очередь пособие предназначено студентам, изучающим язык, литературу, историю и культуру шорского народа, но оно будет интересно и для всех людей, неравнодушных к традициям и культуре коренных малочисленных народов Кузбасса.

Название: Методы оптимизации в примерах и задачах
Автор: Пантелеев А.В., Летова Т.А.
Издательство: М.: Высшая школа
Год: 2005 - 2-е изд., исправл.
Cтраниц: 544
Формат: pdf
Размер: 21 мб
Язык: русский

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

Название: Monte Carlo Methods Utilizing Mathematica: Applications in Inverse Transform and Acceptance-Rejection Sampling
Автор: Sujaul Chowdhury
Издательство: Springer
Серия: Synthesis Lectures on Mathematics & Statistics
Год: 2023
Страниц: 151
Язык: английский
Формат: pdf (true), epub
Размер: 10.2 MB

This book provides practical demonstrations of how to carry out definite integrals with Monte Carlo methods using Mathematica. Random variates are sampled by the inverse transform method and the acceptance-rejection method using uniform, linear, Gaussian, and exponential probability distribution functions. A chapter on the application of the Variational Quantum Monte Carlo method to a simple harmonic oscillator is included. These topics are all essential for students of mathematics and physics. The author includes thorough background on each topic covered within the book in order to help readers understand the subject. The book also contains many examples to show how the methods can be applied.

Название: 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.