Обратная одномерная задача с неизвестным источником
Стр: 387-394
Рубрики журнала
"Образовательные ресурсы и технологии"
Образовательная средаМетодики и технологии обучения и воспитанияИнформационные технологииМатематическая кибернетикаМетодологические исследованияУправление в социальных и экономических системахПрикладная геоинформатикаОбразование в интересах устойчивого развитияВсе рубрики
Все рубрики
Выпуск: 2016-2 (14)
Ключевые слова: Интегральные преобразования, Оператор, Билинейная система интегральных уравнений, Теоремы единственности.
Аннотация: Исследуется обратная одномерная задача с неизвестным источником и неиз-вестным переменным коэффициентом в волновом уравнении по двум известным ре-шениям прямой задачи в фиксированных точках плоскости. Методом интегральных преобразований задача редуцируется к обратной задаче Штурма-Лиувилля. Доказаны теоремы единственности.
Об одной кубатурной формуле c участием производных
Стр: 400-404
Выпуск: 2016-2 (14)
Ключевые слова: Кубатурные формулы, Функциональные пространства Соболева.
Аннотация: Разработан алгоритм замены некоторых узлов решетки другими для минимиза-ции нормы функционала погрешности при выполнении условия согласования порядка сходимости с шагом решетки и гладкостью функции вдоль выбранных координатных направлений. Результаты полученного метода проверены на контрольных примерах.
Динамика заглубления перемешанного слоя жидкости в трехмерных расчетах
Стр: 404-409
Выпуск: 2016-2 (14)
Ключевые слова: Трехмерное численное моделирование, Турбулентное замыкание, Заглубление перемешанного слоя.
Аннотация: С использованием трехмерной численной модели выполнены расчеты заглубления перемешанного слоя под действием ветровой нагрузки в стратифицированном водоеме прямоугольной формы. Проведено сравнение результатов для различных моделей турбулентности.
Верификация логических описаний с функциональной неопределенностью на основе моделирования
Стр: 409-416
Выпуск: 2016-2 (14)
Ключевые слова: Автоматизация проектирования, Верификация, Моделирование.
Аннотация: Рассматривается подход к верификации логических описаний комбинационных устройств для случая, когда исходное функциональное описание проектируемой схемы не полностью определено. Предлагаемый подход основан на моделировании поведения схемы для общего случая, когда входные стимулы представляются троичными векторами.
Сезонная динамика течений в озере Шира по натурным наблюдениям 2014-2015 гг.
Стр: 417-423
Выпуск: 2016-2 (14)
Ключевые слова: Динамика ветровых течений, Спектральный анализ.
Аннотация: В статье на основе данных натурных наблюдений проанализирована изменчивость ветровых течений на озере Шира в период 2014-2015 гг. Проведен спектральный анализ внутренних волн, вызванных переменным ветром.