Реферат: В данной работе исследована модель симуляции распределенных программ с использованием транзакционной памяти. Показаны особенности модели во время симуляции и дальнейшим этапом верификации. Продемонстрирована модель распределенной системы с использованием WSTM, написанной на языке Promela. Проведен анализ результатов выполнения асинхронных компонентов вычислений. Сделано модельное сравнение распределительной системой TORQUE. При выполнении вычисления задач на кластерных компьютерах проанализирована модель распределения ресурсов между узлами и ее верификация с помощью Spin.
О решений доменной стенки интегрируемого спинового уравнения
Реферат: Некоторые обобщенные уравнения Ландау-Лифшица являются интегрируемыми, допускают физически интересные точные решения, более того эти интегрируемые уравнения разрешимы методом обратной задачи рассеяния [1]. Исследование интегрируемых спиновых уравнений в (1+1)-, (2+1)-измерениях являются актуальным с точки зрения математической физики [2]-[5]. Интегрируемые уравнения допускают различные виды решений как решение доменной стенки [2]. Рассмотрим интегрируемое спиновое уравнение [3]. Оно имеет соответствующее представление Лакса. Кроме того уравнение обладает бесконечным числом интегралов движения. В данной работе мы строим поверхность соответствующую решению доменной стенки данного уравнения. Далее исследуем некоторые геометрические характеристики этой поверхности.
Математическое моделирование тепловой нагрузки на водную среду при различных эксплуатационных мощностях ТЭС
Реферат: В работе представлена математическая модель тепловой нагрузки на водную среду при различных эксплуатационных мощностях ТЭС, которая решается уравнениями Навье-Стокса и температуры для несжимаемой жидкости в стратифицированной среде, основанные на методе расщепления по физическим параметрам, которые аппроксимируются методом контрольного объема. На первом этапе предполагается, что перенос количества движения осуществляется только за счет конвекции и диффузии. Промежуточное поле скорости находится 5-шаговым методом Рунге-Кутта. На втором этапе, по найденному промежуточному полю скорости, находится поле давления. Уравнение Пуассона для поля давления решается методом Якоби. На третьем этапе предполагается, что перенос осуществляется только за счет градиента давления. Алгоритм задачи распараллелен на высокопроизводительной системе. Полученные численные результаты трехмерного стратифицированного турбулентного течения позволяет выявить качественно и приближенно количественно основные закономерности гидротермических процессов происходящих в водоемах.
Некоторые свойства вычислимых нумераций семейств всюду определенных функций в арифметической иерархии
Реферат: Используя обобщенное понятие Сумма (n+2)-вычислимой нумерации для семейств функций в арифметической иерархии и на основе диагональных методов было доказано, что существуют семейство F всюду определенных функций и Сумма (n+2)-вычислимая нумерация (alpha) семейства F такие, что никакая нумерация Фридберга семейства F не сводится к (alpha) . А также, что если семейство F всюду определенных функций содержит по крайней мере две функций, то F не имеет Сумма (n+2)-вычислимую главную нумерацию.
Первый регуляризованный след дифференциального оператора типа Штурма-Лиувилля на отрезке с проколотыми точками
Автор(ы): Иманбаев Н. С.*Садыбеков М. А.*
Объем документа: С. 66-71
МРНТИ: 27.39.21*
Ключевые слова: Первый регуляризованный след*дифференциальный оператор*собственное значение*
Реферат: Работа посвящена вычислению первого регуляризованного следа одного дифференциального оператора типа Штурма-Лиувилля на отрезке с проколотыми точками при интегральном возмущении условий склейки. Рассматривается оператор Штурма-Лиувилля-y(x)+q(x)y(x)=Лy(x), заданный на отрезках (пи)/n(k-1)<x<(пи)/n*k, k = 1, n; n больше или равно 2. На левом и правом концах отрезка [0, (пи)] задаются краевые условия типа Дирихле: y(0)=0, y((пи))=0. Решениями являются непрерывные на [0, (пи)] функции, первые производные которых имеют скачки в точках x=(пи)/n*k. Величина скачков выражается формулой y((пи)k/n-0)=y((пи)k/n+0)-beta k/(пи)0 y(t)dt, k=1, n-1. Основным результатом работы является точная формула первого регуляризованного следа рассматриваемого дифференциального оператора.
О полноте системы корневых функций обыкновенного дифференциального оператора второго порядка с интегральными краевыми условиями
Реферат: В работе в функциональном пространстве L2(0,1) рассмотрим обыкновенный дифференциальный оператор второго порядка L с интегральными краевыми условиями. Обыкновенные дифференциальные уравнения с интегральными краевыми условиями возникают в теории турбулентности и в теории марковских процессов. В случае двухточечных краевых условий полнота системы собственных и присоединенных функций были изучены в работах Марка Ароновича Наймарка и других ученых. Полнота системы собственных и присоединенных функций в случае интегральных краевых условий исследована в работах Юрий Ильича Любича, Андрея Андреевича Шкаликова и их учеников. В данной статье исследуется вопрос полноты системы собственных и присоединенных функций в функциональном пространстве L2(0,1). При некоторых предположения на граничные функции получено условие для полноты системы собственных и присоединенных функций оператора L в исходных терминах граничных функций в функциональном пространстве L2(0,1).
Интеллектуальные системы прогнозирования и управления на основе искусственных иммунных систем и распределенные вычисления
Автор(ы): Самигулина Г. А.*Абденова А. М.*Ақпан Д. Б.*
Реферат: В современном научном мире актуальны исследования в области искусственного интеллекта и компьютерных технологий. Бурное развитие интеллектуальных технологий в различных прикладных областях и их реальное применение во многих сферах человеческой деятельности предъявляет высокие требования к качеству разрабатываемых интеллектуальных систем, которые должны надежно работать в условиях неопределенности параметров, обладать адаптационными возможностями и функционировать в режиме реального времени. Существует множество методов, моделей и алгоритмов построения интеллектуальных систем, которые применяются в разных отраслях науки и техники. Одним из них является подход искусственных иммунных систем. В исследованиях используется направление искусственных иммунных систем, основанное на математической реализации механизмов молекулярного узнавания. При решении данных задач актуально распараллеливание специальных сервисных процедур.
Метод фиктивных областей для модели пограничного слоя атмосферы
Автор(ы): Темирбеков А. Н.*Данаев Н. Т.*
Объем документа: С. 98-107
МРНТИ: 27.37.15*
Ключевые слова: пограничный слой*фиктивный метод*
Реферат: В данной работе математически обоснован метод фиктивных областей с продолжением по младшим коэффициентам для модели пограничного слоя атмосферы. Задача решается методом расщепления по физическим процессам, для учета орографии местности применяется метод фиктивных областей. Доказана разрешимость математической модели и изучены качественные свойства решений. Доказана теорема существования и единственности решения вспомогательной задачи метода фиктивных областей для уравнения пограничного слоя атмосферы. Получены основные априорные оценки для решения задачи. Доказана теорема сходимости решения вспомогательной задачи метода фиктивных областей к решению исходной.
Об операторе Риччи унимодулярных разрешимых метрических алгебр Ли
Реферат: Определение возможных значений сигнатуры оператора Риччи инвариантных римановых метрик на заданном однородном пространстве является одной из важных задач в теории однородных римановых многообразий. Разными исследователями в данной области получен ряд результатов, наиболее интересные из которых относятся к лево-инвариантным римановым метрикам на группах Ли. В этом случае удобно отождествлять лево-инвариантные векторные поля на заданной группе Ли с элементами алгебры Ли этой группы. Такой подход позволяет переформулировать поставленную задачу и получить ее решение в терминах метрических алгебр Ли. В настоящей статье доказывается, что оператор Риччи унимодулярной разрешимой метрической алгебры Ли размерности 7, имеющей двухступенно нильпотентную производную алгебру Ли L3+3L1, имеет по крайней мере два отрицательных собственных значения.
Реферат: В работе изучается зависимость свойств суммируемых рядов Фурье и их коэффициентов, а именно, что можно сказать о коэффициентах Фурье функции, которые принадлежат пространству Лоренца L2,r. В статье получено новое доказательство теоремы Бочкарева С.В.,который показал, что неравенства типа Харди- Литтлвуда, которые показывают связь интегральных свойств функций и свойств суммируемости ее коэффициентов Фурье для тригонометрических систем имеют другой вид для функции из пространства Лоренца L2,r, чем для функции из пространства Lp,r при p не роавно 2, в случае когда r удовлетворяет следующему условию (где 2 меньше r, r меньше или равно бесконесность). Методы доказательства Бочкарева С.В. основывались на специфике тригонометрических рядов. В статье используется другой подход, базирующийся на экстраполяции линейных операторов. Этот метод позволил получить новое доказательство неравенства типа Харди - Литтлвуда в случае где 2 меньше r меньше или равно бесконечность и доказать новый результат в случае где 1 меньше r меньше или равно бесконечность для произвольных ортонормированных систем в пространствах Лоренца L2,r.
