Рудаков Игорь Владимирович

С. 99-112

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

Разработан алгоритм автоматического сравнения эталонных и тестовых контуров штриховок в системах автоматизированного проектирования. Алгоритм основан на итерационном сравнении вершин двух контуров, учитывая кривизну кривой. Выполнен расчет временной сложности алгоритма. Программный модуль на основе разработанного алгоритма интегрирован в систему nanoCAD. Для автоматического запуска используется универсальный проигрыватель, написанный на Visual Studio Coded UI Tests. Приводится сравнение ручного и автоматизированного тестирования поиска контуров. Рассчитана экономическая эффективность применения разработанного программного модуля.

С. 235-251

С. 269-280

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

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

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

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

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