Аннотация

Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.

Аннотация

Рассматриваются три класса задач о локализованных формах движения тонких оболочек: стационарные и квазистационарные задачи о собственных и параметрических колебаниях, а также нестационарные задачи о бегущих волновых пакетах. С использованием асимптотических методов строятся формы колебаний, локализованые в окрестности некоторых фиксированных либо подвижных линий или точек на поверхности оболочки. Исследуется зависимость форм колебаний, собственных частот, области параметрической неустойчивости, а также динамических характеристик бегущих волновых пакетов от геометрии оболочки, физических характеристик материала, способа закрепления краев, а также характера стационарного и нестационарного нагружения оболочки. Для специалистов в области теории оболочек, инженеров, аспирантов и студентов старших курсов. Издание осуществлено при поддержке Российского фонда фундаментальных исследований по проекту 09-01-07017

Аннотация

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

Аннотация

Монография посвящена исследованию асимптотических свойств широкого класса стохастических моделей, возникающих в математической статистике, теории перколяции, статистической физике и теории надежности. В книге содержится множество разнообразных примеров упомянутых моделей, описываемых с помощью марковских процессов, случайных мер, устойчивых законов, ферромагнетиков Изинга, процессов с локальным взаимодействием, случайных графов. Устанавливаются основные предельные теоремы теории вероятностей, а также даются их различные применения. Монография представляет собой первое замкнутое и детальное изложение материала, накопленного в изучаемой области за весь период развития вплоть до настоящего времени. Часть текста основана на лекциях, читавшихся авторами в МГУ им. М. В. Ломоносова. Для научных работников, профессорско-преподавательского состава, аспирантов, студентов старших курсов математических специальностей университетов.

Аннотация

В монографии обобщены известные методы построения адаптивных систем управления для объектов с запаздыванием и разработаны новые принципы построения адаптивных и робастных систем для различных типов объектов по выходу, когда измерению недоступны производные выходных сигналов. Приводятся результаты по применению методов расширенной ошибки и алгоритмов высокого порядка для различных типов объектов с запаздыванием. Предложен и обоснован принцип конструирования новых алгоритмов адаптации высокого порядка. Синтезированы адаптивные системы управления для объектов с запаздывающим управлением с использованием адаптивного прогнозатора и без него. Исследуется новый принцип построения адаптивных и робастных систем управления с использованием последовательного компенсатора для различных типов динамических объектов: с запаздыванием и без запаздывания, для линейных и нелинейных. Все предлагаемые подходы теоретически обоснованы, приводятся числовые примеры и результаты их моделирования. Часть результатов ранее не публиковалась. Книга предназначена научным работникам, инженерам, преподавателям, аспирантам и студентам, специализирующимся в области автоматического управления и прикладной математики. Издание осуществлено при поддержке Российского фонда фундаментальных исследований по проекту 08-08-0710

Аннотация

В книге известных специалистов по нелинейной динамике и теории солитонов О.М. Брауна и Ю.С. Кившаря систематически изложены, с наиболее общей точки зрения, концепции и методы низкоразмерной нелинейной физики, базирующиеся на модели ФК и ее обобщениях. Представлен панорамный взгляд на общие свойства и нелинейную динамику моделей твердого тела, включая фундаментальные физические понятия. Приведено детальное обсуждение приложений модели ФК к физическим системам разного типа (дислокации и краудионы в твердых телах, доменные границы, джозефсоновские контакты, биологические молекулы и поверхности кристаллов). Введены и описаны многие важные понятия, такие, как нелинейная динамика дискретных систем, динамика солитонов и их взаимодействие, соизмеримые и несоизмеримые системы, статистическая механика нелинейных систем, ратчеты и неравновесная динамика взаимодействующих многочастичных систем. Рассмотрены также соответствующие нелинейные уравнения, исследованы свойства их решений и детально описаны методы их анализа. Книга дает возможность неспециалисту ознакомиться с основами современных междисциплинарных концепций и методов физики твердого тела и нелинейной динамики. Она найдет широкий круг читателей в среде аспирантов и научных сотрудников.

Аннотация

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

Аннотация

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

Аннотация

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

Аннотация

В монографии систематически излагаются основные понятия и методы асимптотического анализа, как классические, так и разработанные в последнее время. Книга будет полезна студентам и аспирантам математических и технических специальностей, а также исследователям, столкнувшимся с асимптотическими проблемами. Издание осуществлено при поддержке Российского фонда фундаментальных исследований по проекту 08-01-07004