В учебном пособии, написанном преподавателями химического факультета МГУ им. М. В. Ломоносова, изложены современные теоретические основы химической термодинамики и химической кинетики, рассмотрены их практические приложения. По сравнению с первым (Экзамен, 2005) новое издание существенно переработано и дополнено. Книга состоит из двух частей: в первой — теория, во второй — задачи, вопросы, упражнения, а также таблицы физико-химических данных, основные формулы, математический минимум. Ко всем задачам даны ответы или указания к решению. Для студентов и преподавателей университетов и технических вузов, а также профильных химических школ.

Атлас содержит описание и географическую привязку объектов культурного и природного наследия этой территории, расположенной на берегах Камы и и Малого Черемшана. Главной достопримечательностью является Билярское городище - археологические остатки столицы Волжско-Камской Булгарии X - начала XIII века. Это один из крупнейших археологических памятников Европы. С 1992 года он функционирует уже как Билярский государственный историко-археологический и природный музей-заповедник. В состав заповедника вошли историко-археологический музей, Билярское городище, Балынгузское городище, Горкинское и Николаев-Баранское городища, природно-ландшафтные и историко-культурные памятники, кладбище с часовней-склепом известного химика-органика А.М. Бутлерова, дом-музей академика А.Е. Арбузова, архитектурно-культовый комплекс "Святой ключ". На территории района отмечены также многочисленные археологические памятники, старинные храмы, памятные места и памятники природы. 

Атлас содержит описание и географическую привязку объектов культурного и природного наследия Верхнеуслонского района, расположенного на западе Республики Татарстан, в северо-восточной части Приволжской возвышенности, так называемом Услонском плато. Пятую часть района составляют особо охраняемые природные объекты. Ценным является Государственный природный заказник "Свияжский" (занимает почти 13 тыс. га). Главной достопримечательностью является Макарьевский монастырь - памятник архитектуры XVII-XIX веков. Деревня Кзыл Байрак является родиной выдающегося татарского композитора Салиха Сайдашева. Отмечены архитектурные памятники промышленного наследия - мукомольного, спиртового производств и других промыслов, памятники археологии и старинные храмы различных архитектурных стилей. Уникальным явлением является современный город Иннополис, основанный 9 июня 2012 г. - один из трех наукоградов в Российской Федерации. 

В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и анализ процессов и систем; разработка, анализ и тестирование программных систем, методы и инструментальные средства разработки программных систем.

Представлены результаты выполнения проектов, поддержанных грантами РФФИ (проекты № 18-01-00359, № 18-37-00070) и научного фонда НИУ ВШЭ (проект № 17-05-0020).

Материалы сборника могут представлять интерес для научных работников, специалистов в области программной инженерии, разработчиков информационных систем различного назначения, студентов и аспирантов, изучающих информационные технологии.

В сборник включены статьи, относящиеся к следующим направлениям научной работы: моделирование и анализ процессов и систем; разработка, анализ и тестирование программных систем, методы и инструментальные средства разработки программных систем.

Представлены результаты выполнения проектов, поддержанных грантами РФФИ (проекты № 18-01-00359, № 18-37-00070) и научного фонда НИУ ВШЭ (проект № 17-05-0020).

Материалы сборника могут представлять интерес для научных работников, специалистов в области программной инженерии, разработчиков информационных систем различного назначения, студентов и аспирантов, изучающих информационные технологии.

Издание может быть использовано в качестве учебного пособия для студентов, обучающихся по специальностям 30.05.02 "Медицинская биофизика", 30.05.01 "Медицинская биохимия", 31.05.01 "Лечебное дело (врач-исследователь)" в соответствии с учебными программами ФГОС-3.1.

Для врачей клиницистов, эпидемиологов и биофизиков.

Книга представляет собой учебное пособие из двух частей по основам схемотехники и интернета вещей на примере наиболее популярных плат Arduino Uno и Raspberry Pi 3. Во введении первой части книги представлены все рассматриваемые компоненты соответствующего набора интернет-вещей, а также краткая теория по резисторам, макетным платам, светодиодам и технике безопасности. Далее приводятся 34 практических задания-эксперимента, в каждом из которых рассмотрена работа платы Arduino Uno с очередным модулем или компонентом из набора, начиная с простых заданий, и заканчивая сложными. В каждом задании представлены: перечень необходимых компонентов, краткая теория по принципам работы компонента, принципам его подключения к плате и сути задания, принципиальная схема и схема с макетной платой по подключению компонентов к плате, выполненные в формате среды разработки Fritzing, а также – код программы для среды Arduino IDE. Вторая часть книги содержит теорию по основам интернета вещей, инструкцию по установке и работе операционной системы для интернета вещей Android Things и реализацию на основе этой системы 5 практических примеров с использованием платы Raspberry Pi 3. Задания этой части книги построены по схожему принципу, однако содержат значительно большее количество комментариев по коду разрабатываемых в среде Android Studio приложений и некоторые необходимые теоретические и практические элементы – архитектуру интернета вещей в общем виде, перечень сервисов, которые предоставляют облачные платформы интернета вещей, инструкцию по использованию одной из этих платформ, эскизы пользовательского интерфейса и скриншоты получающегося в результате приложения для Android Things, а также многое другое. В списке использованных источников есть ссылки на код и библиотеки для некоторых заданий.

Изобретение в середине XX века электронных компьютеров дало мощный импульс работам по автоматизации различных сторон интеллектуальной деятельности человека и привело к зарождению и бурному развитию нового научного направления – искусственного интеллекта. Одновременно возник интерес к предыстории искусственного интеллекта, в частности, к попыткам механизировать те или иные этапы процесса мышления. Так, в книге Мартина Гарднера «Логические машины и диаграммы» (1958 г.) объектом изучения стали логические машины – основанные на законах формальной логики устройства, история которых восходит к концу XIII века и которые предназначались для имитации процесса логического вывода. Эта книга давно и по праву считается классической, однако за прошедшее с момента ее появления время был накоплен значительный объем новых сведений об описанных американским ученым логических машинах. Более того, вне поля зрения Гарднера по разным причинам остались несколько логических машин, в том числе изобретенных в России.

В предлагаемой вниманию читателей книге интереснейший феномен в истории логики и вычислительной техники – логические машины – впервые в мировой научной литературе рассматривается со всей возможной полнотой. Автор подробно рассказывает об истории создания всех известных логических машин, на многочисленных примерах объясняет принципы их устройства и функционирования, приводит и обсуждает их подчас крайне противоречивые оценки современниками и потомками, а также повествует о ярких и драматических судьбах их создателей.

В этой книге излагается теория комплексных алгебраических кривых и их семейств. Она содержит описание как классических результатов, так и недавних идей, связанных с геометрией пространства модулей кривых.

Рекомендуется для студентов старших курсов математических и физических факультетов, аспирантов и научных работников, интересующихся математикой.

This book offers a concise yet thorough introduction to the notion of moduli spaces of complex algebraic curves. Over the last few decades, this notion has become central not only in algebraic geometry, but in mathematical physics, including string theory, as well.

The book begins by studying individual smooth algebraic curves, including the most beautiful ones, before addressing families of curves. Studying families of algebraic curves often proves to be more efficient than studying individual curves: these families and their total spaces can still be smooth, even if there are singular curves among their members. A major discovery of the 20th century, attributed to P. Deligne and D. Mumford, was that curves with only mild singularities form smooth compact moduli spaces. An unexpected byproduct of this discovery was the realization that the analysis of more complex curve singularities is not a necessary step in understanding the geometry of the moduli spaces.

The book does not use the sophisticated machinery of modern algebraic geometry, and most classical objects related to curves – such as Jacobian, space of holomorphic differentials, the Riemann-Roch theorem, and Weierstrass points – are treated at a basic level that does not require a profound command of algebraic geometry, but which is sufficient for extending them to vector bundles and other geometric objects associated to moduli spaces. Nevertheless, it offers clear information on the construction of the moduli spaces, and provides readers with tools for practical operations with this notion.

Based on several lecture courses given by the authors at the Independent University of Moscow and Higher School of Economics, the book also includes a wealth of problems, making it suitable not only for individual research, but also as a textbook for undergraduate and graduate coursework.

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

Для широкого круга интересующихся когнитивными и методологическими проблемами, для специалистов-обществоведов и гуманитариев, аспирантов и студентов.

Книга является учебным пособием по формальным методам верификации программ и основана на курсах лекций, читаемых автором на факультете ВМК МГУ имени М.В. Ломоносова, ФУПМ МФТИ и ФКН ВШЭ. В ней изложены основы таких подходов, как дедуктивный анализ и проверка моделей. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации требований (программные контракты и темпоральная логика линейного времени), методы доказательства корректности программ (метод индуктивных утверждений и метод фундированных множеств) и методы проверки моделей (теоретико-автоматный подход в явной и символической формах). В пособии также затрагиваются вопросы абстрактной интерпретации, разрешения ограничений, применения формальных методов в тестировании; даются сведения об инструментах Frama-C и Spin. Каждая глава сопровождается примерами и упражнениями.

Разрушение технологической культуры в вузах сказалось на качестве подготовки кадров высшей квалификации. Особенно ярко это проявляется в аспирантуре, ставшей третьей ступенью обучения. Зачастую поступающие имеют весьма смутное представление о том, что такое научный поиск, в чём заключается подготовка и защита кандидатской диссертации. А проблемы выбора предмета исследований вообще уходят на задний план. Таких начинающих исследователей становится всё больше. В статье для потенциальных аспирантов рассказывается о том, как выбрать задачу для исследования. Область знаний не имеет особого значения, хотя открытым проблемам автоматики уделено внимание. Рассмотрены различные сценарии и стратегии в обнаружении задачи исследования. Выявлены признаки, по которым можно определить хорошую задачу. Никогда не стоит забывать об оценке рисков, так как задача должна быть выполнимой в пределах отведённого для аспирантуры времени. Затронуты вопросы эффективного взаимодействия с научным руководителем. О работе аспиранта судят по опубликованным работам, поэтому в статье даётся несколько советов по развитию публикационной активности. Это полезная информация именно для тех, кто впервые задумался о поступлении в аспирантуру, но по-видимости запоздалая для тех, кто уже поступил.

Данная статья представляет собой краткий обзор исследований области взаимодействия солнечного ветра с локальной межзвёздной средой. Это взаимодействие определяет глобальную структуру гелиосферы - области занятой солнечным ветром, и имеет сложный многокомпонентный характер. В статье описана трёхмерная кинетико-магнитогидродинамическая модель взаимодействия, которая включает в себя плазменную и нейтральную компоненты межзвёздной среды и солнечного ветра, гелиосферное и межвездное магнитные поля, широтные и временные изменения параметров солнечного ветра. При описании результатов особое внимание уделяется эффектам, связанным с магнитными полями. В частности, эффекту магнитного вытеснения плазмы магнитным полем в окрестности гелиопаузы. Описанная модель позволяет объяснить достаточно большое количество экспериментальных данных, полученных на космических аппаратах  Вояджер-1 и 2, Interstellar Boundary Explorer (IBEX), Solar and Heliospheric observatory (SOHO), Hubble Space Telescope (HST) и др. На основе экспериментальных данных и модели удалось определить параметры межзвездной среды и межзвездного магнитного поля. Вместе с тем, показано, что дать самосогласованное объяснение всем имеющимся данным в рамках одной модели с одним набором граничных условий не представляется возможным. Возникающие сложности показаны на примере анализа полученных на Вояджере-1 данных по рассеянному солнечному лайман-альфа излучению. 

В данной работе рассматривается классическая задача максимизации дисконтированной полезности при условии, что момент следующей покупки и получения кредита – случайный (пуассоновский). Цель исследования – моделирование случайного периода ожидания возможности изменения долга агента для того, чтобы учесть его влияние на потребление. Модель формулируется как задача оптимального стохастического управления. Потребитель в случайные моменты покупает продукт по неслучайной цене и в те же случайные моменты может брать и возвращать бессрочные кредиты. По кредитам агент непрерывно платит проценты. Он непрерывно получает дивиденды в виде внешнего поступления денег на счет и может накапливать беспроцентные безналичные деньги. Условия оптимальности получаются с помощью метода множителей Лагранжа. Достаточные условия оптимальности сводятся к уравнениям в частных производных с переменным и неизвестным запаздыванием. Их удается решить только сочетанием аналитических разложений по малому параметру (обратной величине большой частоты сделок-продаж) и численных расчетов. Особую трудность представляет регуляризация («смягчение») условий дополняющей нежесткости. В результате получены функции, определяющие оптимальное управление процессом покупок потребительского товара и размер кредита. На конечном интервале планирования можно проследить, как меняется потребление по мере приближения конца периода планирования. Во-первых, потребление определяется не запасом денег и долга в отдельности, а их разницей – собственными средствами потребителя. Во-вторых, вдали от горизонта планирования потребление мало и растет по мере приближения конечного момента времени. Такая модель может быть использована как часть описания агента-потребителя в динамических стохастических моделях общего равновесия.

Новый век кредитного скоринга и принятия решений

В сфере анализа международной торговли довольно устойчивы стереотипы, касающиеся различных аспектов систем технического регулирования анализируемых стран. Наиболее распространенный стереотип связан с утверждением, что введение страной назначения технических мер (обязательные требования к продукции, обязательная оценка соответствия, требования к маркировке и упаковке) в отношении какого-то товара неминуемо формирует барьер в торговле со странами-экспортерами. Такой вывод согласуется с логикой внешней торговли и результатами ряда исследований влияния технических мер на объем торговли [1—4]. Такие стереотипы закрепляются затем в учебниках по техническому регулированию и внешней торговле, что в дальнейшем может приводить к искаженной интерпретации технических мер. Это явление можно с большим основанием отнести к мифам в сфере анализа международной торговли, понимая под словом «миф» ложные, некритические, не основанные на практике представления. Цель статьи — показать на примерах, что в отдельных случаях наличие в стране-импортере технической меры не приводит к барьеру в торговле со странами-экспортерами. Другими словами, исходное утверждение, высказанное в первом абзаце статьи, — это в определенной степени миф.