ivdon3@bk.ru
Рассматривается тестирование безопасных приложений, с использованием различных методик и предложением графорасчетной модели тестограмм
Ключевые слова: тестирование безопасности приложений, тестограммы, тестовые деревья
05.13.06 - Автоматизация и управление технологическими процессами и производствами (по отраслям) , 05.13.18 - Математическое моделирование, численные методы и комплексы программ
Статья посвящена актуальной проблеме преодоления ограничений, накладываемых протоколом IP и применяемыми совместно с ним сетевыми технологиями, в частности трансляцией адресов, на структуру компьютерных сетей и доступность отдельных её узлов. В ней предлагается метод построения виртуальных сетевых туннелей на основе принципов стеганографии с использованием служебных сетевых протоколов, кратко описаны недостатки существующих технологий туннелирования. В работе достаточно подробно изложен предлагаемый метод стеганографической инкапсуляции сетевых пакетов, описаны принципы формирования заголовков пакетов, приведены примеры протоколов для инкапсуляции. Материал статьи изложен последовательно, грамотно и соответствует общепринятым требованиям к научным работам. Представленный подход к решению задачи построения виртуальных туннелей обладает научной новизной и имеет практическую ценность.
Ключевые слова: Инкапсуляция, интернет протоколы, многоуровневые сетевые модели, стеганография, стеганографическая инкапсуляция пакетов, туннелирование
Статья посвящена проблеме защиты данных от перехвата в результате выполнения атак типа «человек посередине». Предлагаемая методика выявления данных атак основывается на анализе заголовков транзитных пакетов, проходящих через шлюз по умолчанию. На основе полученных данных строится таблица соответствия IP и MAC адресов, для которой программными средствами обеспечивается актуальность и достоверность. Адреса пакетов, проходящих через шлюз, сравниваются с записями в данной таблице и, в случае несовпадения и невозможности подтверждения правильности адресов в заголовках канального и сетевого уровней, делается вывод о наличии в сети дополнительного промежуточного узла, появившегося в результате подмены шлюза по умолчанию. В статье приводятся подходы к программной реализации данной методики, описывается алгоритм анализа пакетов.
Ключевые слова: локальная сеть, «человек посередине», DHCP-spoofing, ARP-poisoning, анализ трафика, шлюз, сетевой адрес, пакет, ARP-таблица
05.13.01 - Системный анализ, управление и обработка информации (по отраслям)
В статье рассмотрена проблема формального доказательства существования логически допустимой последовательности изучения контента образовательного модуля (дисциплины). При этом контент рассматривается как некоторая иерархическая модульная структура, состоящая из элементарных модулей. Каждый модуль такой структуры рассматривается как отображение входных понятий (термов) в выходные, которые осваиваются в данном модуле. Под входными термами понимаются понятия, необходимые для освоения в данном модуле выходных термов. В статье вводится понятие дидактической зависимости между входными и выходными термами. Данные зависимости являются формальным аппаратом описания ограничений в логической модели контента. Приведены правила преобразования дидактических зависимостей. Модульная структура контента и дидактические зависимости рассматриваются как формальный аппарат описания семантики предметной области. Показано, что введение множества неявных термов и правила преобразований дидактических зависимостей позволяют упростить логическую модель контента, не нарушая ее семантику. Введено понятие «замыкание множества входных термов модуля», приведен алгоритм его построения и алгоритм проверки логической связности образовательного контента.
Ключевые слова: модуль, учебно-методические комплексы, контет, дисциплина, алгоритм, терм, автоматизация
05.13.01 - Системный анализ, управление и обработка информации (по отраслям)
В работе рассматриваются вопросы построения архитектуры и разработки структуры базы данных для хранения структуры химических соединений и их последующего интеллектуального анализа при помощи эвристических алгоритмов.
Предложена структура базы данных, позволяющая хранить информацию о строении химических соединений с различной степенью детализации. Такой подход позволяет упростить формирование структурных дескрипторов, используемых при построении моделей «структура-свойство» на основе генетических алгоритмов.организации и освоения новой продукции на имеющихся производственных площадях.
Ключевые слова: архитектура базы данных, химические соединения, интеллектуальный анализ данных, эвристические алгоритмы
05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.13.18 - Математическое моделирование, численные методы и комплексы программ
Представлены результаты исследования в области методов классификации плохо структурированных коллекций разнородных документов. Предложен метод и разработан гибридный алгоритм классификации текстовых документов. Выполнена теоретическая оценка сложности предложенного метода и произведено экспериментальное исследование.
Ключевые слова: нечеткая логика, байесовская классификация, классификация текстовых документов.
05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.13.18 - Математическое моделирование, численные методы и комплексы программ
Описывается методика формирования обучающей выборки для обучения искусственных нейронных сетей при их использовании в задачах, связанных с поиском в таблицах баз данных строк, содержащих ошибки. Основной задачей при этом является обеспечение репрезентативности выборки. Выделены три составляющих репрезентативности — достаточность, разнообразие и равномерность. Предложены подходы к обеспечению каждого из указанных требований. Приводятся расчёты достаточного количества строк для обучения нейронных сетей различных типов, а также результаты экспериментов, подтверждающие корректность теоретических расчётов.
Ключевые слова: базы данных, достоверность, нейронные сети, обучение, обучающая выборка, репрезентативность
05.13.01 - Системный анализ, управление и обработка информации (по отраслям) , 05.13.18 - Математическое моделирование, численные методы и комплексы программ
Разработана функциональная схема дизель-генератора переменной скорости вращения на базе синхронного генератора. Разработана функциональная схема и алгоритм работы интеллектуального сервопривода топливного насоса дизель-генераторной установки переменной скорости вращения. В статье использованы материалы госконтракта № 16.526.12.6016 от 11.10.2011
Ключевые слова: единая электростанция, двигатель внутреннего сгорания, синхронный генератор, синхронный двигатель, преобразователь частоты
В последнее время в свете создания единого информационного пространства обострилась проблема организации актуальных баз данных в территориально-разделенных подразделениях одного предприятия, не имеющих общей локальной вычислительной сети и разрешения для работы с базами данных через сеть интернет. Основным решением является организация синхронизации электронных данных на внешних носителях.
Разработанное приложение позволяет в автоматизированном порядке находить различия в базах данных справочника материалов и сортаментов, дополнять базу данных любого из подразделений элементами, которые отсутствуют в ней и имеются в данных других подразделений.
Предлагаемая статья предназначена для специалистов, занимающихся организацией единого информационного пространства в области конструкторско-технологической подготовки производства посредством создания и администрирования актуальных баз данных.
Ключевые слова: база данных, справочник материалов и сортаментов, алгоритм, синхронизация, программа, предприятие
05.13.12 - Системы автоматизации проектирования (по отраслям)
В статье анализируется возможность применения ранговых критериев для статистического анализа двух выборок. Рассматриваются критерии Вилкоксона, Ван дер Вардена и Манна-Уитни для проверки гипотезы о совпадении центральных тенденций сравниваемых выборок, критерий Сиджела-Тьюки для проверки гипотезы о равенстве размахов варьирования и критерий Колмогорова-Смирнова для проверки гипотезы о равенстве законов распределения. Анализ проводится на данных о курсах доллара США в различных банках.
Ключевые слова: статистика, ранг, выборка, гипотезы статистические, критическое значение, нормальное распределение, сопряжённые пары
05.13.18 - Математическое моделирование, численные методы и комплексы программ
Сведения об авторах выпуска №2 (2013)
Ключевые слова: авторы
Предлагается интеллектуальный метод оценки достоверности данных (верификации), содержащихся в базах данных, основанный на теории искусственных нейронных сетей. Метод включает три этапа: кластеризация данных с помощью сети Кохонена, обучение радиально-базисной сети и вычисление с ее использованием оценки достоверности строк таблицы базы данных. Для создания радиально-базисных сетей и их обучения методом обратного распространения ошибки разработано программное средство. Предложенный метод верификации данных может использоваться в различных прикладных информационных системах.
Ключевые слова: базы данных, реляционная алгебра, верификация, радиально-базисные нейронные сети, обучение нейронных сетей, сети Кохонена, кластеризация.
Ключевые слова:
05.13.01 - Системный анализ, управление и обработка информации (по отраслям)
Сведения об авторах выпуска №1 за 2012 год
Ключевые слова: авторы