+
КРИТЕРИЙ НОРМАЛЬНОЙ СХОДИМОСТИ ДЛЯ СИММЕТРИЧЕСКИХ ФУНКЦИЙ ОТ ЗАВИСИМЫХ ВЕЛИЧИН
стр.5-11
Получены необходимые и достаточные условия для справедливости центральной предельной теоремы для симметрических функций от случайных величин, в которой масштабная нормировка осуществляется правильно меняющимися последовательностями произвольного положительного порядка. Эти условия включат в себя и так называемые минимальные условия слабой зависимости.
Загружаем данные из библиотечной системы...
Ключевые слова
+
АНАЛИЗ В КОСМИЧЕСКИХ РАССЛОЕНИЯХ НА ОСНОВЕ ГРУПП U(1,1) И U(2): СЛУЧАИ SU(2,2)-ДЕЙСТВИЙ В ИХ 2- И 4-НАКРЫТИЯХ
стр.12-22
Левичев А.В., Пальянов А.Ю.
В данной работе, являющейся непосредственным продолжением предыдущей статьи этих же авторов (А.В. Левичев, А.Ю. Пальянов, Математические структуры и моделирование, 2016, № 4(40), с. 24-38), продолжено получение тех методов, которые необходимы для анализа однородных векторных расслоений на основе параллелизующей группы U(1,1). В частности, изучен вопрос совместимости (введённого Панейтцем и Сигалом) {\it условия согласованности} с SU(2,2)-действиями в U(1,1),U(2) и в их 2- и 4-накрытиях. В контексте U(2)-параллелизации исправлены неточности доказательства справедливости (технически важной при работе с индуцированными представлениями) формулы Панейтца-Сигала (см. Corollary 4.1.2 of S.M.~Paneitz and I.E. Segal, J. Funct. Anal., 47(1982), p. 78-142.).
Загружаем данные из библиотечной системы...
Ключевые слова
+
СИНДРОМ CАЙМОНА В ПРОБЛЕМЕ НАДЁЖНОСТИ КОМПЬЮТЕРНЫХ ДОКАЗАТЕЛЬСТВ
стр.23-29
Статья посвящена философско-математическим аспектам использования компьютера в формализованном математическом доказательстве. Проблема надёжности компьютерных доказательств отражается в востребованности экспериментальной математики в научном познании.
Загружаем данные из библиотечной системы...
Ключевые слова
+
МЕТОДОЛОГИЧЕСКИЙ ПРАГМАТИЗМ ПРОБЛЕМНО-ОРИЕНТИРОВАННОГО ОБУЧЕНИЯ МАТЕМАТИКЕ
стр.30-36
Статья посвящена проблемно-ориентированному обучению высшей математике на основе проблемного подхода к конкретным задачам и идее методологического прагматизма, которая выражается в критике идеи абсолютного обоснования математики и образовательной аргументации.
Загружаем данные из библиотечной системы...
Ключевые слова
+
КОРРЕЛЯЦИЯ РЕФЛЕКСИИ И МЕЖВРЕМЕННЫХ ПЕРЕХОДОВ
стр.37-42
Исследуются этические проблемы, связанные с работой квантовой машины времени.
Загружаем данные из библиотечной системы...
Ключевые слова
+
CAN MASS BE NEGATIVE?
стр.43-50
Kreinovich V., Soloviev S.
Overcoming the force of gravity is an important part of space travel and a significant obstacle preventing many seemingly reasonable space travel schemes to become practical. Science fiction writers like to imagine materials that may help to make space travel easier. Negative mass - supposedly causing anti-gravity - is one of the popular ideas in this regard. But can mass be negative? In this paper, we show that negative masses are not possible - their existence would enable us to create energy out of nothing, which contradicts to the energy conservation law.
Загружаем данные из библиотечной системы...
Ключевые слова
+
THE SUMS OF \MATHBFMI\CDOTVI AND \MATHBFMI\CDOTV2I ARE PRESERVED, WHY NOT SUM OF \MATHBFMI\CDOTV3I: A PEDAGOGICAL REMARK
стр.49-51
McClure J., Kosheleva O., Kreinovich V.
University of Texas at El Paso, El Paso, Texas 79968, USA} \abstractEng{Students studying physics sometimes ask a natural question: the momentum - sum of mi⋅vi - is preserved, the energy - one half of the sum of mi⋅v2i - is preserved, why not sum of mi⋅v3i? In this paper, we give a simple answer to this question.}
Загружаем данные из библиотечной системы...
Ключевые слова
+
МОДЕЛИРОВАНИЕ РАВНОВЕСНОЙ ЭВОЛЮЦИИ ФОРМИРОВАНИЯ ЛЕСНОГО БИОЦЕНОЗА НА СПЛОШНЫХ ВЫРУБКАХ
стр.52-58
Володченкова Л.А., Гуц А.К.
Показано, что восстановление леса после вырубки может описываться как равновесная по Нэшу эволюция.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ОБ АСИМПТОТИЧЕСКОМ ПОВЕДЕНИИ РЕШЕНИЙ ЗАДАЧИ КОШИ ДЛЯ СИСТЕМЫ ФУНКЦИОНАЛЬНО-ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ГИПЕРБОЛИЧЕСКОГО ТИПА
стр.57-70
Для указанного в названии класса систем доказаны необходимые и достаточные условия экспоненциальной устойчивости и дихотомии решений задачи Коши в терминах нулей (λ,μ) определителя матричного пучка - символа функционально-дифференциального оператора в левой части системы. Приведён иллюстрирующий пример.
Загружаем данные из библиотечной системы...
Ключевые слова
+
АЛГОРИТМ РАСЧЁТА БЛОЧНОГО КРИТЕРИЯ ИНТЕРВАЛЬНОЙ ПРОГНОЗИРУЕМОСТИ ДИНАМИЧЕСКОГО ПОКАЗАТЕЛЯ НА ОСНОВЕ КОЭФФИЦИЕНТА ТАРСИТАНО-ЛОМБАРДО
стр.69-80
Краковский Ю.М., Лузгин А.Н.
Предложен и протестирован алгоритм расчёта блочного критерия интервальной прогнозируемости динамического показателя на основе непараметрического коэффициента корреляции Тарситано-Ломбардо. Экспериментально показано, что значение блочного критерия интервальной прогнозируемости, рассчитанное по предыстории динамического показателя, позволяет количественно оценить целесообразность проведения интервального прогнозирования динамического показателя, исходя из его статистических свойств. Интервальное прогнозирование заключается в определении интервала (из двух заранее заданных), в котором будет находиться будущее значение показателя на основе оценок вероятностей этих событий. При этом разделительная граница интервалов задаётся расчётным способом, исходя из статистических свойств динамического показателя. Предложенный алгоритм расчёта блочного критерия интервальной прогнозируемости динамического показателя реализован на языке программирования .
Загружаем данные из библиотечной системы...
Ключевые слова
+
УСТРАНЕНИЕ ИЗБЫТОЧНОСТИ ДАННЫХ СЕЙСМИЧЕСКОГО МОНИТОРИНГА ГИДРОРАЗРЫВА ПЛАСТА
стр.81-94
Рабинович Е.В., Вайнмастер П.И., Шефель Г.С.
Важным этапом мониторинга гидроразрыва пластов являет- ся построение графической модели трещиноватой зоны. Однако реальные данные, регистрируемые в процессе гидроразрыва, характеризуются боль- шой интенсивностью сейсмической активности в области мониторинга, что затрудняет корректное построение такой модели. Поэтому актуальной яв- ляется задача устранения избыточности сейсмических данных. В статье рассматривается оригинальный алгоритм, позволяющий устранить избы- точность за счёт выделения ограниченного набора локальных гипоцентров сейсмической активности. В основе алгоритма лежат методы кластерного и факторного анализа. Факторный анализ использован для выявления схо- жих характеристик и сокращения количества переменных, используемых для описания сейсмического источника. Кластерный анализ применён для обнаружения «облаков» сейсмической эмиссии и выделения их локальных гипоцентров. Полученные результаты использованы для построения трёх- мерной графической модели трещины.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ИДЕНТИФИКАЦИЯ ЗАКРЕПЛЕНИЯ ТРУБОПРОВОДА С~ИСПОЛЬЗОВАНИЕМ МИНИМАЛЬНОГО КОЛИЧЕСТВА СОБСТВЕННЫХ ЧАСТОТ
стр.95-107
Шагаев В.Р., Ахтямов А.М.
Рассматриваются колебания трубопровода с жидкостью. Ра- нее было показано, что если жидкость не течёт по трубопроводу, то по всем собственным частотам изгибных колебаний трубопровода вид закреп- ления трубопровода определяется однозначно с точностью до перестано- вок закреплений на его концах. Задача идентификации краевых условий решалась также и по девяти собственным частотам. В настоящей статье количество собственных значений, с помощью которых можно однозначно с точностью до перестановок закреплений на его концах восстановить кра- евые условия, уменьшено до пяти. Количество спектральных данных уда- лось уменьшить за счёт того, что если ранее решалась линейная система 9-ти уравнений, то в настоящей статье решается система пяти нелинейных уравнений относительно четырёх неизвестных коэффициентов из краевых условий, приведённых к канонической форме. Представлен пример реше- ния этой обратной задачи. Приведены также два контрпримера, в которых показано, что меньшего числа собственных значений для идентификации вообще говоря недостаточно. В первом контрпримере показано, что четы- рёх ненулевых собственных частот ещё недостаточно для идентификации вида закрепления трубопровода. Во втором контрпримере показано, что в отдельных случаях необходима информация о том, является ли нуль собственным значением.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ОБЩАЯ СХЕМА СОВРЕМЕННОЙ ПСИХОЛОГИИ. МЕСТО РЕФЛЕКСИВНЫХ ИССЛЕДОВАНИЙ В СИСТЕМЕ НАУК.
стр.108-110
Cтенограмма дистанционного выступления на конференции «Рефлексивный театр ситуационного центра» 29.11.2016 (Ирвайн, США - Омск, Россия). Отредактировано автором.
Загружаем данные из библиотечной системы...
Ключевые слова
+
БАЗОВАЯ МОДЕЛЬ ПРОЦЕССОВ РЕФЛЕКСИИ В ИНТЕЛЛЕКТУАЛЬНЫХ АВТОМАТИЗИРОВАННЫХ ОБУЧАЮЩИХ СИСТЕМАХ
стр.111-121
Рассматриваются вопросы создания интеллектуальных автоматизированных обучающих систем с функцией рефлексии. При использовании теории рефлексивных игр В.А. Лефевра в структуру планировщика обучающей системы вводится интеллектуальный рефлексивный агент (ИРА), обеспечивающий поиск компромиссных решений при взаимодействии моделей ученика, учителя, предметного тьютора и методиста. Приводятся базовые компоненты модели рефлексивного восприятия ИРА ученика и учебной ситуации с учётом специфики принятия решений для различных этапов обучения.
Загружаем данные из библиотечной системы...
Ключевые слова
+
КОНСТРУКТОР МОДЕЛЕЙ СУБЪЕКТОВ РЕФЛЕКСИВНЫХ ИГР: ВЕРСИЯ 1
стр.122-130
Конструктор субъектов рефлексивных игр рассматривается как компонент поддержки рефлексивного управления в проекте «Ген-Гуру». Проект реализуется с использованием кросс-технологий ситуационного центра. Анализируются ключевые идеи системы моделей В.А. Лефевра. Перечисляются варианты детализации моделей для повышения точности моделирования ситуаций. Рассматривается специфика моделирования таких субъектов, как индивиды и роботы.
Загружаем данные из библиотечной системы...
Ключевые слова
+
О ФОРМАЛЬНОМ ОПРЕДЕЛЕНИИ АБСТРАКЦИИ
стр.131-143
В статье предлагается формальное определение абстрагирования как отображения множества сущностей во множество подслов всех слов некоторого алфавита, иерархии абстракций как отношения на множестве подслов языка и интерпретации. Также получен ряд ограничений, которым обладает механизм абстрагирования.
Загружаем данные из библиотечной системы...
Ключевые слова
+
УТОЧНЕНИЕ К СТАТЬЕ О ФОРМАЛИЗАЦИИ ПРОЦЕССА РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
стр.144-147
В статье «О формализации процесса разработки программного обеспечения» даны определения процесса разработки как процесса редактирования текста программы, скорости данного процесса и сформулировано достаточное условие линейной скорости. В определении скорости процесса разработки необходимо существование предела. Но требуемый предел может и не существовать. В этой статье приводится определение скорости процесса разработки, не требующее существования предела, и пе- реформулируется достаточное условие линейной скорости в соответствии с новым определением.
Загружаем данные из библиотечной системы...
Ключевые слова
+
ОПРЕДЕЛЕНИЕ ОПТИМАЛЬНОГО НАБОРА СРЕДСТВ ЗАЩИТЫ КОМПЬЮТЕРНОЙ СИСТЕМЫ МЕТОДОМ МОНТЕ-КАРЛО
стр.148-158
Гуц А.К., Вахний Т.В., Пахотин И.Ю.
В статье представлено программное приложение, позволяю- щее на основе теории игр находить наиболее оптимальный набор средств защиты компьютерной системы методом Монте-Карло.
Загружаем данные из библиотечной системы...
Ключевые слова
+
РАЗРАБОТКА СТРУКТУРНОЙ МОДЕЛИ КУРСА ПОДГОТОВКИ К ЕГЭ ПО ИНФОРМАТИКЕ В ПРОФОРИЕНТАЦИОННОЙ ШКОЛЕ ФКН
стр.159-167
Статья посвящена анализу тем единого государственного экзамена по информатике и построению на его основе структурной модели курса для профориентационной школы факультета компьютерных наук. Проведён анализ информационных ресурсов, являющихся источниками задач для подготовки. Структурная модель дополнена темами, обеспечивающими логичность следования и связность тем.
Загружаем данные из библиотечной системы...
Ключевые слова
