Другие журналы
|
Рудаков Игорь Владимирович
Адаптация алгоритма локализации текстовых областей для видеопотока
Инженерное образование # 11, ноябрь 2016 DOI: 10.7463/1116.0850126 С. 99-112
Моделирование распространения компьютерных вирусов методом параллельных вычислений
Инженерный вестник # 12, декабрь 2015 УДК: 519.711.2 В данной статье была рассмотрена проблема производительности модели распространения вирусов в компьютерных сетях на основе цепи Маркова. Приведена классификация существующих методов. В качестве основного был выбран метод параллельных вычислений, так как для операций с матрицами довольно просто применять данный подход, что также позволяет повысить скорость работы модели и программного обеспечения. В результате исследования метода распространения вирусов в компьютерных сетях с использованием параллельных вычислений был сделан следующий вывод о том, что разработанный метод позволяет повысить не только производительность модели, но и улучшить качество разработанного ПО.
Алгоритм автоматического обнаружения ошибок в поиске контуров штриховок в системе nanoCAD
Инженерный вестник # 11, ноябрь 2015 УДК: 519.6 Разработан алгоритм автоматического сравнения эталонных и тестовых контуров штриховок в системах автоматизированного проектирования. Алгоритм основан на итерационном сравнении вершин двух контуров, учитывая кривизну кривой. Выполнен расчет временной сложности алгоритма. Программный модуль на основе разработанного алгоритма интегрирован в систему nanoCAD. Для автоматического запуска используется универсальный проигрыватель, написанный на Visual Studio Coded UI Tests. Приводится сравнение ручного и автоматизированного тестирования поиска контуров. Рассчитана экономическая эффективность применения разработанного программного модуля.
Методы верификации программного обеспечения
Инженерное образование # 10, октябрь 2015 DOI: 10.7463/1015.0823129 С. 235-251
Исследование перцептивных хеш-функций изображений
Инженерное образование # 08, август 2015 DOI: 10.7463/0815.0800596 С. 269-280
Поиск некорректной начальной маркировки иерархической сети Петри на основе диаграмм состояний UML
Инженерный вестник # 12, декабрь 2014 УДК: 519.6 В современной индустрии программного обеспечения (ПО) широко используется объектно-ориентированный подход к анализу и проектированию ПО с применением языка UML. Некорректное представление сложных алгоритмов и механизмов синхронизации на UML-диаграммах приводит к взаимным блокировкам потоков и другим проблемам при функционировании ПО. Поэтому особый интерес для разработчиков ПО представляют методы преобразования и анализа правильности UML-диаграмм. Статья посвящена разработке метода поиска некорректных маркировок иерархической сети Петри, построенной на основе диаграмм состояний и деятельности UML. Под некорректной маркировкой понимается начальное состояние сети Петри, которое при определенной последовательности срабатываний переходов приводит к тупиковой ситуации.
Представление формальной макромодели функционального блока сложной дискретной структуры в виде логической сети
Инженерный вестник # 10, октябрь 2014 УДК: 004.94 В статье рассматривается вопрос иерархического моделирования сложных дискретных систем с использованием макромоделей устройств на уровне функциональных блоков для анализа и контроля правильности их функционирования на ранних этапах разработки и проектирования. Показано, что функционирование макромодели блока сложной дискретной структуры может быть представлено функционированием логической сети, описывающей блок, что позволяет решить задачу декомпозиции макромодели функционального блока. Приведена макромодель функционального блока сложной дискретной структуры, формализованная логической последовательностной схемой .
Методика иерархического исследования сложных дискретных структур
Инженерное образование # 06, июнь 2012 DOI: 10.7463/0612.0370230 Предлагаемая методика иерархического исследования сложных дискретных структур позволяет осуществить анализ функционирования сложной структуры с использованием методов макромоделирования и последующей автоматической декомпозиции. Практическая реализация иерархического исследования сложных дискретных структур опирается на технологию объектно-ориентированного программирования. В качестве инструментального средства анализа и верификации структуры разработан язык моделирования, ориентированный на транзакты. Методика апробирована при моделировании транспортного потока в путепроводе тоннельного типа.
Алгоритм декомпозиции формальной модели сложного дискретного устройства.
Инженерное образование # 05, май 2012 DOI: 10.7463/0512.0369895 Современные САПР находят все большее применение для проектирования сложных технических систем (микропроцессорных и робототехнических систем, систем управления). Важнейшей составляющей САПР является создание математического обеспечения таких систем для иерархического сквозного проектирования сложных устройств. Моделирование сложных технических систем представляет собой задачу большой размерности, поэтому одним из методов исследования таких систем является метод декомпозиции, позволяющий разбивать исследуемую схему на части, проверяя правильность функционирования как отдельного функционального блока, так и всего сложного устройства в целом.
77-30569/350020 Распознавание текстового изображения с учетом морфологии слова
Инженерное образование # 04, апрель 2012 Проанализированы алгоритмы автоматического исправления опечаток в документах. Предложен метод коррекции грамматических ошибок с помощью морфологического анализа. Разработан программный комплекс, позволяющий распознавать текстовые изображения с помощью нейронной сети и исправлять ошибки распознавания с помощью предложенного метода. Создание специализированного хранилища для словаря позволило увеличить производительность и уменьшить сложность выборки слова для работы программного комплекса. Выявлена зависимость точности исправления от положения ошибки в слове.
|
|
||||||||||||||||||||||||||||||||
|