LITMIR.BIZ

Представлен оригинальный подход к отысканию максимального независимого множества (максимальной клики) в нечетком графе. Подход базируется на представлении нечетких отношений формулами многозначных логик Я. Лукасевича и использованием их для интерпретации модальных отношений. Модальность типа «возможно» интерпретируется формулой трехзначного исчисления со значением истинности не ниже 0,5; модальность типа «необходимо» интерпретируется формулой трехзначного исчисления со значением истинности, равным 1. Введены правила исчисления выводов в нечетких модальных системах, позволяющие находить трехзначные эквиваленты произвольных модальных формул.

Подробнее

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

Подробнее

Данное учебное пособие предназначено для преподавателей и студентов-бакалавров биолого-химического факультета направления подготовки 050100 – Педагогическое образование. В пособии представлены темы лекционных занятий, для самостоятельного изучения, практических работ и темы для рефератов. Специально подобранные задания позволяют организовать самостоятельное изучение отдельных тем, вопросов и источников.

Подробнее

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

Подробнее

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

Подробнее

В основе построения скоринговых систем могут быть использованы различные математико-статистические модели. Эти модели могут быть получены методами линейной регрессии, логистической регрессии, дискриминантного анализа, деревьев решений, нейронных сетей и других методов. В статье рассматривается пример построения модели поведенческого скоринга в банковской сфере на основе нейронной сети в программе IBM SPSS Statistics. Приводятся методика моделирования, последовательность настройки параметров сети в диалоговых окнах процедур программы SPSS, программный код синтаксиса команд SPSS для реализации рассмотренного алгоритма, а также результаты моделирования. Эти результаты могут быть использованы в учебном процессе для проведения лабораторных работ и практикумов при обучении методам нейросетевого моделирования в программе SPSS, а также для самостоятельных исследований.

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее

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

Подробнее