Материалы в свободном доступе

Материалы по номеру

Материалы по рубрикам

Автор статьи

Технология сигнатурного анализа программного кода с целью защиты от эксплуатации уязвимостей № 3(75) 29 июня 2018 года Рубрика: Защита информации Автор статьи: Стюгин М. А. Скачать статью	В данной работе рассмотрена проблема защиты программного кода от эксплуатации уязвимостей, связанных с ошибками разработчиков, отсутствиями проверки корректности входных данных и закладными подпрограммами. Автором предлагается метод, в автоматическом режиме позволяющий обнаруживать аномалии в работе программного кода, которые могут быть ассоциированы с эксплуатацией уязвимостей. Технология позволяет корректировать программный код с целью устранения аномалий и тем самым блокировки возможных атак. Продолжение...
Программный комплекс построения линейно-мультипликативных регрессий № 3(75) 29 июня 2018 года Рубрика: Модели и методики Автор статьи: Базилевский М. П. Скачать статью	Статья посвящена проблеме спецификации регрессионных моделей, а именно, вопросу отбора наиболее информативных мультипликаций в линейно-мультипликативных регрессиях. Эта задача может быть формализована в виде задачи частично-булева линейного программирования. Поскольку решение таких задач требует привлечения вычислительных способностей современных компьютеров, то для построения линейно-мультипликативных регрессий был разработан универсальный программный комплекс, который может быть использован в технических исследованиях, экономике, бизнесе, социологии, медицине и др. Для демонстрации его работы решена задача моделирования объема пропуска крупнотоннажных контейнеров на железнодорожном пункте пропуска Забайкальск-Маньчжурия. При этом проведено тестирование скорости решения подобных вычислительных задач. Продолжение...
Формализация системно-объектного подхода «Узел-Функция-Объект» № 3(75) 29 июня 2018 года Рубрика: Модели и методики Авторы: Маторин С. И., Жихарев А. Г. Скачать статью	В статье приводятся концептуальные положения системно-объектного подхода, а также исследуется возможность формализации данного подхода алгебраическими средствами. Формальное описание системы как трехэлементной конструкции «Узел-Функция-Объект » (УФО-элемента) в виде специального объекта исчисления объектов Абади-Кардели, а также предлагаемые операции с системами как УФО-элементами используются для обоснования ряда общесистемных закономерностей. На основании классификации связей предлагается классификация УФО-элементов. Продолжение...

Технология сигнатурного анализа программного кода с целью защиты от эксплуатации уязвимостей

№ 3(75) 29 июня 2018 года
Рубрика: Защита информации
Автор статьи: Стюгин М. А.

Скачать статью

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

Продолжение...

Программный комплекс построения линейно-мультипликативных регрессий

№ 3(75) 29 июня 2018 года
Рубрика: Модели и методики
Автор статьи: Базилевский М. П.

Скачать статью

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

Продолжение...

Формализация системно-объектного подхода «Узел-Функция-Объект»

№ 3(75) 29 июня 2018 года
Рубрика: Модели и методики
Авторы: Маторин С. И., Жихарев А. Г.

Скачать статью

В статье приводятся концептуальные положения системно-объектного подхода, а также исследуется возможность формализации данного подхода алгебраическими средствами. Формальное описание системы как трехэлементной конструкции «Узел-Функция-Объект » (УФО-элемента) в виде специального объекта исчисления объектов Абади-Кардели, а также предлагаемые операции с системами как УФО-элементами используются для обоснования ряда общесистемных закономерностей. На основании классификации связей предлагается классификация УФО-элементов.

Продолжение...