Математические структуры и моделирование

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

Ключевые слова

Массовый спектр локализованных состояний квантовых микрообъектов исследуется в рамках холистической (нелокальной) схемы Гейзенберга. Предполагается, что квантовый микрообъект как объект модуса потенции существует вне пространства-времени и представляется в виде суперпозиции векторов состояния несепарабельного гильбертова пространства. Показывается, что массы состояний лептонного (за исключением нейтрино) и адронного секторов спектра материи пропорциональны массе покоя электрона с точностью до 0,41%.

Ключевые слова

Предлагается новая структура аналитического представления схемы n независимых испытаний Бернулли посредством упорядоченных подмножеств m (m < n) номеров успешных и n-m неуспешных испытаний. При этом вероятностная характеристика типа P_{n}(m) определяется суммированием биномиальной формулы {p^{m}(1-p)^{n-m}} по всем таким подмножествам, а не простым умножением на число сочетаний C_{n}^{m}. Приведены соответствующие выражения для вероятности успехов с двумя и k > 2 исходами опытов, для случаев равных и разных вероятностей исходов в различных испытаниях. В этой символике получены выражения для расчёта соответствующих вероятностей заданного количества успешных испытаний при наличии зависимости вероятностей исходов от некоторого параметра, изменяющегося во времени (от испытания к испытанию), регулярно или случайно. Таким образом, создан базис для применения схемы зависимых испытаний к оценке вероятностных характеристик сложных стохастических систем, сетевой архитектуры, в частности, характеризуемых некоторым изменяющимся показателем качества. В заключении приведено выражение для математического ожидания вероятности m успешных испытаний из n в случае случайного параметра, от которого зависят вероятности исходов. Формулируется гипотеза о возможности применения конечномерной характеристической функции случайного параметра в соответствующем выражении при экспоненциальной зависимости вероятности исхода опыта от случайного параметра.

Ключевые слова

The integral convolution-type equations of the first kind on the sphere are important for the geometric tomography. They have been studied by many researchers. In this paper, we consider the uniqueness and stability of solutions of such equations. We prove the uniqueness of the solution for the equation with the kernel of convolution type and obtain a formula for the average value of a function on a subsphere. The latter is used for the deriving of the inversion formula of Radon spherical transformation on sphere. For the Blaschke-Levy equation and for the convolution type singular integral equations of the linear transfer theory, the uniqueness theorems are proved and find estimates for the stability of solutions are found. In all the cases we use the expansion of a function into series of spherical harmonics.

Ключевые слова

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

Ключевые слова

Рассматривается нелинейная шестимерная динамическая система, моделирующая функционирование простейшего молекулярного репрессилятора. Установлены достаточные условия существования устойчивого цикла в её фазовом портрете.

Ключевые слова

В статье исследуются равновесные состояния Нэша для лесных экосистем с учётом взаимосвязи в рамках теории дифференциальных игр.

Ключевые слова

Проведено сравнение алгоритмов классификации с обучением ФОРДИАСИМПТ, латентный анализ на базе метода штрафных функций, КОРА, наивный байесовский классификатор, метод k ближайших соседей, дерево решений на базе прироста информации и снижения средней энтропии на примере многомерных бинарных показателей.

Ключевые слова

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

Ключевые слова

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

Ключевые слова

Построена параметрическая модель изменения численности абитуриентов университета по малой выборке. В качестве входного параметра взято количество выпускников школ региона. С помощью информационных критериев выбран порядок авторегрессии-скользящего среднего. Применяя функцию по идентификации систем пакета Scilab, получили прогноз по количеству абитуриентов для приёмной кампании 2017 года. Идентичный результат получен через идентификацию модели в виде передаточной функции.

Ключевые слова

When we need to add several integers, computers add them one by one, while we usually add them digit by digit: first, we add all the lowest digits, then we add all next lowest digits, etc. Which way is faster? Should we learn from computers or should we teach computers to add several integers our way? \\ In this paper, we show that the computer way is faster. This adds one more example to the list of cases when computer-based arithmetic algorithms are much more efficient than the algorithms that we humans normally use.

Ключевые слова

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

It has been recently shown that it is possible to ``cheat'' many machine learning algorithms --- i.e., to perform minor modifications of the inputs that would lead to a wrong classification. This feature can be used by adversaries to avoid spam detection, to create a wrong identification allowing access to classified information, etc. In this paper, we propose a solution to this problem: namely, instead of applying the original machine learning algorithm to the original inputs, we should first perform a random modification of these inputs. Since machine learning algorithms perform well on random data, such a random modification ensures us that the algorithm will, with a high probability, work correctly on the modified inputs. An additional advantage of this idea is that it also provides an additional privacy protection.

Ключевые слова

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

Ключевые слова