SCI Библиотека

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

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

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

Исследуется критерий полноты на множестве мультиопераций ранга 3 относительно оператора импликативного замыкания. Задача является частным случаем проблемы конечной классификации мультиопераций, заданных на произвольном множестве. Получено описание всех предполных множеств. Описаны выразительные возможности оператора, в том числе найдены условия, при которых множество операций импликативно порождает все множество мультиопераций. Полученный результат может быть использован при изучении мультиопераций, заданных на произвольном множестве.

Logical-probabilistic machine learning (LPML) is an AI method able to explicitly work with a priori knowledge represented in data models. This feature significantly complements traditional deep learning knowledge acquiring. Object ontologies are a promising example of such a priori models. They are an expanded logical analog of object oriented programming models. While forming the core of the bSystem platform, object ontologies allow solving the applied problems of high complexity, in particular, in the field of management. The combination of LPML and object ontologies is capable of solving the forecasting problems, the tasks of automated control, problem detection, decision making, and business process synthesis. The proximity of object ontologies to the LPML formalism due to the same semantic modeling background makes it possible to integrate them within a single hybrid formal system, which is presented in this paper. In the paper we introduce the approach to integration of these two formalisms and provide some algorithmic basis for the implementation of the resulting hybrid formalism on the bSystem platform.

Найдены необходимые и достаточные условия регулярности силовской p-подгруппы P группы Шевалле типа F4 или E6, определенной над кольцом классов вычетов целых чисел по модулю pm, когда простое число p отлично от 37, 41, 43, 47. Для перечисленных значений p группа P регулярна, если экспонента m не превосходит числа 3; при m больше, чем 3, ответ остается неизвестным.

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

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

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

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