В статье рассмотрена практика верификации проектного решения, представленного алгоритмом (моделью работы потока реального времени Real) в аппаратно-программном средстве, опирающаяся на авторскую методологию верификации на этапе системного проектирования. Алгоритм включает оркестровку и хореографию проектируемого аппаратно-программного средства. Выявляются ошибки хорошей согласованности, корректности и темпора́льные ошибки.
Следует отметить, что исследование велось в рамках решения проблемы по модернизации аппаратно-программного средства сложного изделия, состоящего из бортового компьютера и специализированного программного обеспечения. Бортовой компьютер работает в жестком реальном времени, сопряжен с окружающими блоками и стойками по шине и синхронизирован с работой изделия по внешнему импульсу прерывания. Полученные сведения от верификации повышают качество алгоритмов аппаратно-программного средства, а автоматизация верификации сокращает трудоемкость разработки проектного решения.В статье рассмотрена практика верификации проектного решения, представленного алгоритмом (моделью работы потока реального времени Real) в аппаратно-программном средстве, опирающаяся на авторскую методологию верификации на этапе системного проектирования. Алгоритм включает оркестровку и хореографию проектируемого аппаратно-программного средства. Выявляются ошибки хорошей согласованности, корректности и темпора́льные ошибки.
Следует отметить, что исследование велось в рамках решения проблемы по модернизации аппаратно-программного средства сложного изделия, состоящего из бортового компьютера и специализированного программного обеспечения. Бортовой компьютер работает в жестком реальном времени, сопряжен с окружающими блоками и стойками по шине и синхронизирован с работой изделия по внешнему импульсу прерывания. Полученные сведения от верификации повышают качество алгоритмов аппаратно-программного средства, а автоматизация верификации сокращает трудоемкость разработки проектного решения.
Идентификаторы и классификаторы
Сегодня человеческая жизнь напрямую зависит от функционирования автоматизированных систем, и проблема обеспечения правильности программных, аппаратных модулей аппаратно-программных средств приобрела первостепенное значение. Современное аппаратно-программное средство изделия влечет за собой сложные проектные решения. При этом сама сложность проектного решения является источником ошибок, поэтому обеспечение качества и сокращение трудоемкости разработки проектных решений являются фундаментальной научно-технической проблемой в САПР.
Список литературы
- Войт Н.Н. Верификация проектных, технологических и эксплуатационных ошибок ситуационного класса в автоматизированном проектировании // Автоматизация процессов управления. 2022. № 4 (70). С. 98–108. DOI: 10.35752/1991-2927_2022_4_70_98.
- Афанасьев А.Н., Войт Н.Н., Кириллов С.Ю. Автоматизация проектирования потоков работ в промышленном производстве // Автоматизация процессов управления. 2019. № 1 (55). С. 57–65.
- Войт Н.Н. Доказательство корректности граф-схем потоков проектных работ в автоматизации проектирования // Автоматизация процессов управления. 2021. № 2 (64). С. 23–33.
- Войт Н.Н. Принцип «ансамбль» и аналитическая модель организации потоков проектных работ // Автоматизация процессов управления. 2020. № 3 (61). С. 124–137.
- Войт Н.Н. Темпоральная автоматная RVTI-грамматика с магазинной памятью // Информационные технологии в моделировании и управлении: подходы, методы, решения : сб. тр. V Всерос. науч. конф. с междунар. участием, Тольятти, 20–22 апреля 2022 г. / отв. за вып. Е.В. Панюкова. Тольятти : Тольяттинский государственный университет, 2022. С. 143–148. EDN USZXDV.
- Свидетельство о государственной регистрации программы для ЭВМ 2018666687 Российская Федерация. Анализатор диаграмматических моделей потоков работ, представленных на языке BPMN / А.Н. Афанасьев, Н.Н. Войт, С.Ю. Кириллов [и др.] ; правообладатель Ульяновский государственный технический университет. № 2018664036 ; заявл. 06.12.2018 ; опубл. 19.12.2018. EDN VQAAGG.
- Lopes T., Guerreiro S. Assessing Business Process Models: a Literature Review on Techniques for BPMN Testing and Formal Verification // Business Process Management Journal. 2023. Vol. 29, no. 8. pp. 133–162. URL: www.emerald.com/insight/content/doi/10.1108/BPMJ-108/BPMJ-
11-2022-0557 (дата обращения: 26.11.2024). - Häußler M., Esser S., Borrmann A. Code Compliance Checking of Railway Designs by Integrating BIM, BPMN and DMN // Automation in Construction. 2021. Vol. 121. 103427. URL: https://doi.org/10.1016/j.autcon.2020.103427 (дата обращения: 26.11.2024).
- The Biggest Business Process Management Problems to Solve Before we die / I. Beerepoot, C. Di Ciccio, H.A. Reijers et al. // Computers in Industry. 2023. Vol. 146. 103837. DOI: 10.1016/j.compind.2022.103837.
- A Formal Approach for the Analysis of BPMN Collaboration Models / F. Corradini, F. Fornari, A. Polini, B. Re, F. Tiezzi, A. Vandin // Journal of Systems and Software. 2021. Vol. 180. 111007. DOI: 10.1016/j. jss.2021.111007.
- Dechsupa C., Vatanawood W., Thongtak A. An Automated Framework for BPMN Model VerificationAchieving Branch Coverage // Engineering Journal. 2021. Vol. 25, no. 2. pp. 135–150. DOI: 10.4186/ej.2021.25.2.135.
- Guerreiro S. Conceptualizing on Dynamically Stable Business Processes Operation: a Literature Review on Existing Concepts // Business Process Management Journal. 2020. Vol. 27, no. 1. pp. 24–54. DOI: 10.1108/ BPMJ-02-2020-0072.
- An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models / S. Meghzili, A. Chaoui, M. Strecker, E. Kerkouche // International Journal of Software Innovation. 2020. Vol. 8, iss. 1. pp. 17–49. DOI: 10.4018/IJSI.2020010102.
- Automated Regression Tests: a No-Code Approach for BPMN-based Process-Driven Applications / K. Schneid, L. Stapper, S. Thöne, H. Kuchen // IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC). Gold Coast, Australia, 2021. pp. 31–40. DOI:
10.1109/EDOC52215.2021.00014. - Суюнова Г.Б., Гайворонская Н.А., Половинко Е.В. Методы оптимизации экономических и социальных систем с использованием технологий моделирования бизнес-процессов // Моделирование, оптимизация и информационные технологии. 2018. Т. 6, № 1. C. 176–184.
- Виролайнен А.В. Моделирование бизнес-процессов // Лучшая научная статья 2019 : сб. ст. XXIV Междунар. науч.-исслед. конкурса. Пенза, 2019, С. 82–86.
- Чернышов А.С. Анализ методов моделирования автоматизированных систем // Информационные технологии и автоматизация управления : матер. X Все- рос. науч.-практ. конф. студентов, аспирантов, работников образования и промышленности. Омск, 2019.
С. 363–370. - Копп А.М., Орловский Д.Л. Подход к анализу и оптимизации моделей бизнес-процессов в нотации BPMN // Радіоелектроніка, інформатика, управління. 2018. № 2 (45). С. 108–116.
- Сергиевский М.В., Кирпичникова К.К. Валидация и оптимизация диаграмм классов UML // Cloud of Science. 2018. Т. 5, № 2. С. 367–378.
- Богдан И., Задорожний А. Классификация ошибок на UML-диаграммах, возникающих в ходе разработки IT-проектов // Технічні науки та технології. 2018. № 1 (11). С. 68–78.
Выпуск
Другие статьи выпуска
В работе представлены основные методы повышения устойчивости функционирования мультисервисной сети связи плавучего энергетического блока, которая является основой его автоматизированной системы управления производством. Показано, что актуальность и важность результатов выполненного исследования определяются тем, что плавучий энергетический блок является энергетическим предприятием, реализующим непрерывный цикл производства, функционирующим в сложных географических и климатических условиях, вследствие чего сетевые элементы могут подвергаться различным деструктивным воздействиям.
Показано, что сочетание методов нагруженного резервирования с восстановлением, оперативной поддержки принятия решений по оценке технического состояния сетевых элементов на основе концепции распределенных интеллектуальных агентов, а также применение сетевых технологий, допускающих их аппаратно-программную реализацию, позволяет значительно повысить показатели устойчивости функционирования мультисервисной сети связи плавучего энергетического блока.
Представлен алгоритм оценки погрешностей идентификации параметров тепловых эквивалентных полупроводниковых изделий по результатам измерения переходной тепловой характеристики (ПТХ). С помощью компьютерного моделирования по представленному алгоритму выполнен расчет случайных погрешностей определения пара- метров одно- и двухзвенной тепловой эквивалентной цепи. Показано, что погрешности зависят от выбора моментов времени, в которые составляется и решается система уравнений, связывающих значения ПТХ с параметрами схемы. Путем выбора моментов времени в точках наибольшей и наименьшей крутизны ПТХ возможно достичь минимальной погрешности определения параметров тепловой эквивалентной цепи.
В статье описан подход к структурно-параметрической идентификации смесителя непрерывного действия, на вход которого поступает массопоток от двух спиральных дозаторов. Дано формализованное описание этапов идентификации динамических процессов смешивания. Цифровые сигналы смешивания при этом рассматриваются как стохастические. На первом этапе строится модель сигнала со спиральных дозаторов, который подается на вход смесителя непрерывного действия. Модель построена на основе использования структурного анализа и теории непрерывных дробей и представляется мультисинусоидальным сигналом с неизвестными параметрами. На следующем этапе переходят к построению математической модели самого смесителя непрерывного действия. Математическое описание алгоритма с учетом стохастичности вход-выходных сигналов смесителя предполагает предварительный расчёт корреляционных функций сигналов. Далее дискретную передаточную функцию смесителя аппроксимируют непрерывной дробью при помощи расчёта матрицы-идентификатора. Проверка качества мо- делирования на основе принципа вариации шага дискретизации показала их достаточно высокую эффективность. Актуальность работы обусловлена потребностью автоматизации процессов контроля, мониторинга и управления в области пищевых технологий.
В статье рассматривается применение когерентного оптического рефлектометра (COTDR) для проверки состояния волоконно-оптических линий связи (ВОЛС), в состав которых включены усилители. Разработана методика расчета максимальной протяженности репитативной линии связи, проверку состояния которой возможно провести с применением COTDR. Методика учитывает влияние мощности усиленной спонтанной эмиссии, генерируемой оптическими усилителями, на динамический диапазон COTDR. Верификация методики проведена с использованием разработанного на базе Научно-исследовательского центра световодной фотоники Университета ИТМО комплекта оборудования когерентной оптической временной рефлектометрии. Приведен пример расчета с использованием методики для ВОЛС с наиболее распространенной длиной регенерации и комплекта рефлектометрии, разработанного в Университете ИТМО. Созданная методика может применяться при проектировании ВОЛС для определения оптимального количества оптических усилителей и при обосновании возможности применения конкретного COTDR для диагностики ВОЛС с известными параметрами.
Качество функционирования блока усилителя мощности передающего устройства радиолокационной станции характеризуется выходной мощностью на различных частотах и зависит от характеристик поставляемых клистронов: импульсного тока катода, напряжения накала, тока накала, токопрохождения, тока управляющего электрода, потребляемой мощности, входной оптимальной мощности, выходной мощности с клистрона, импульсного тока резонаторного блока, коэффициента усиления и других. Для оценки качества работы блока предлагается решение двух задач. Первая связана с контролем стабильности параметров поставляемых клистронов. Решение этой задачи рассмотрено ранее. Вторая задача – оценка и прогнозирование выходной мощности блока по результатам испытаний. В настоящей статье предлагается подход к построению математической модели зависимости этой мощности от характеристик клистрона с применением метода опорных векторов.
Предиктивное кодирование (ПК) предполагает такую организацию нейронной сети, что на каждом ее уровне постоянно генерируется и обновляется внутреннее представление о поступающем внешнем сигнале. К настоящему времени предложены различные теоретические описания и алгоритмические представления ПК. В отличие от обычных статичных моделей машинного обучения, ПК основано на ансамблях нейронов с изменяющимся во времени поведением. Обычные искусственные нейронные сети плохо подходят для описания динамических процессов, и вместо них следует использовать импульсные (спайковые) нейронные сети. В данной работе представлены простые архитектуры динамических спайковых нейронных сетей, включающие элементы ПК для иерархического управления динамическими системами. Интеграторы, управляемые и связанные осцилляторы с ПК построены с использованием популяций импульсных нейронов с утечками (Leaky Integrate-and-Fire neurons). Показаны как обучаемые модели, так и модели, не требующие обучения. Динамические модели нейронов реализованы в свободно распространяемом пакете Nengo.
В статье исследуется влияние предварительного использования фильтра Калмана на качество обучения автоэнкодеров при обработке изображений с коррелированным шумом. Цель исследования заключается в сравнении эффективности применения фильтра Калмана с традиционными методами фильтрации, такими как медианный фильтр и фильтр Гаусса, в контексте предварительной обработки изображений. Для эксперимента использовались изображения с искусственно добавленным коррелированным шумом.
Методология включала настройку параметров фильтра Калмана для оптимального удаления коррелированного шума, а также применение медианного и Гауссового фильтров для сравнительного анализа. Оценка качества фильтрации проводилась с использованием индекса структурного сходства (SSIM) и пикового соотношения сигнал/шум (PSNR). Результаты эксперимента показывают, что фильтр Калмана значительно снижает уровень коррелированного шума, улучшая качество изображений и повышая точность обучения автоэнкодеров. Это подтверждает эффективность применения фильтра Калмана для предварительной обработки изображений и обеспечивает более чистые данные для последующих этапов машинного обучения. Результаты исследования подчеркивают важность выбора подходящих методов цифровой фильтрации шума для повышения производительности нейронных сетей.
В настоящее время одним из востребованных направлений применения интеллектуальных систем является использование нейронных систем (НС) в системах по распознаванию речи, выполняющее совместное разделение голоса и улучшение речи. Для этого необходимо различать различные шумы при смешивании чистого аудио с мешающими высказываниями.
В научной работе предложен новый подход в обучении НС при распознавании речи по двум направлениям:
во-первых, представлена обновленная функция потерь, способная напрямую учитывать производительность на уровне сигнала и транскрипции. Это позволит снизить показатель индикатора неправильно распознанных слов с 59,6 % до 55,6 % и улучшит отношение источника к искажению с ~ 4 дБ до ~ 4,1 дБ по сравнению с имеющимися аналогами. Интеграция индикатора неправильно распознанных слов в функцию потерь существенно повышает производительность разделения на уровне сигнала и транскрипции;
во-вторых, в работе предложена оригинальная модернизированная интеллектуальная система по распознаванию речи с учетом обновленной функции потерь. Преимуществом новой системы является ее возможность интегрироваться в другие системы без ограничения системной среды, что создает дополнительные возможности для более разнообразных комбинаций систем разделения и распознавания речи.В настоящее время одним из востребованных направлений применения интеллектуальных систем является использование нейронных систем (НС) в системах по распознаванию речи, выполняющее совместное разделение голоса и улучшение речи. Для этого необходимо различать различные шумы при смешивании чистого аудио смешающими высказываниями.
В статье представлены угрозы нарушения корректного функционирования систем, разработанных на основе глубоких нейронных сетей, посредством реализации против них состязательных атак уклонения и отравления данных. Состязательные атаки реализуются посредством подачи на вход системы специально подготовленных (состязательных) данных (adversarial samples), на основе которых она принимает неправильные решения. Последствия реализации состязательных атак могут быть очень серьезными, особенно в областях, критически важных для безопасности. Описаны основные виды и способы реализации атак. Рассмотрены математические модели, используемые для раз- работки состязательных атак. Представлен анализ методов защиты моделей глубоких нейронных сетей от угроз, связанных с состязательными атаками. Определено, что наиболее эффективным подходом к созданию средств.
Одной из актуальных задач логистики сегодня является задача прогнозирования загруженности складского помещения и выбора оптимальной емкости складского помещения. В настоящей статье поставлена и решена задача разработки и апробации модели динамики загрузки склада, позволяющей учесть вероятностные характеристики потоков поступления и оттока груза со склада. В качестве исследуемого параметра в модели рассмотрен один из показателей загрузки склада – объем складируемого груза, как функция времени. Объем складируемого груза в каждый момент времени зависит от объема накопленных ранее грузов, поступлений груза на склад и оттока (выдачи) груза со склада. Указанные зависимости положены в основу имитационной модели для оценки динамики объема загрузки склада. Потоки поступления и оттока грузов со склада моделируются в общем случае как нестационарные случайные процессы. Для реализации модели применяется метод статистического моделирования Монте-Карло. Требуемую емкость склада предлагается определять с использованием доверительной вероятности обработки всего объема поступающего груза. Проведены вычислительные эксперименты. Применение разработанного инструментария позволяет получить выборки возможных значений загрузки склада для каждого момента времени, оценить закон распределения возможных значений загрузки склада для каждого момента времени, получить точечные оценки параметров, оценить требуемую емкость склада.Одной из актуальных задач логистики сегодня является задача прогнозирования загруженности складского по-мещения и выбора оптимальной емкости складского помещения. В настоящей статье поставлена и решена задача разработки и апробации модели динамики загрузки склада, позволяющей учесть вероятностные характеристики потоков поступления и оттока груза со склада. В качестве исследуемого параметра в модели рассмотрен один из показателей загрузки склада – объем складируемого груза, как функция времени. Объем складируемого груза в каждый момент времени зависит от объема накопленных ранее грузов, поступлений груза на склад и оттока (выдачи) груза со склада. Указанные зависимости положены в основу имитационной модели для оценки динамики объема загрузки склада. Потоки поступления и оттока грузов со склада моделируются в общем случае как нестационарные случайные процессы. Для реализации модели применяется метод статистического моделирования Монте-Карло. Требуемую емкость склада предлагается определять с использованием доверительной вероятности обработки всего объема поступающего груза. Проведены вычислительные эксперименты. Применение разработанного инструментария позволяет получить выборки возможных значений загрузки склада для каждого момента времени, оценить закон распределения возможных значений загрузки склада для каждого момента времени, получить точечные оценки параметров, оценить требуемую емкость склада.
Современные требования к специалистам из сферы здравоохранения давно вышли за рамки непосредственно медицины. Использование современных технических средств приводит к ситуации, когда медик должен максимально быстро адаптироваться к условиям развития информационных технологий. Необходимость помимо профессиональной деятельности развиваться в смежных областях, получение опыта в таких направлениях, как информационные технологии или телемедицина [1, с. 68], приводят к постоянному повышению когнитивной нагрузки, вследствие чего снижается качество и оперативность принимаемых врачебных решений.
В рамках данной статьи будет рассмотрена проблема визуального анализа медицинских данных, а также предложены решения для снижения когнитивной нагрузки аналитика при проведении первичной обработки и анализа слабоструктурированных медицинских данных. Для решения поставленных задач предложен метод визуализации медицинских данных, предназначенный для снижения когнитивной нагрузки и, как следствие, рисков профессионального выгорания у медиков.
Представленный в статье программный модуль получен в рамках этапа разработки программного комплекса, необходимого для решения задачи повышения качества и оперативности принятия медицинских решений.
В работе оценивается списочное представление когнитивных карт декодера перестановочного декодирования (ПД) двоичных кодов, которое может быть выполнено в формате двух списков: полного списка производительных перестановок нумераторов (ППН) и полного списка непроизводительных перестановок нумераторов (НПН) символов кодового вектора. Оценивается сложность реализации процедуры поиска запрещенных для перестановки нумераторов, для двух блоковых двоичных кодов. Показано, как могут быть организованы в памяти декодера списки НПН, на основании образующих комбинаций орбит (ОКО) перестановок, с оценкой машинного времени, требуемого на формирование такого списка. При этом учитывается разнообразие трансформаций различных комбинаций избыточного кода в процедуре априорного формирования когнитивной карты. Впервые отражены свойства НПН списков для кодов различных длин. Проведено их сравнение по ряду критериев. Указывается свойство, порождающее специфические особенности ряда перестановок в процессе реализации ПД, отмечается уникальность отдельных перестановок, выявленных в ходе исследования блоковых кодов различной длины.
Целью работы является исследование изменений организации списков НПН в системе ПД в зависимости от основных характеристик применяемых в системе избыточных кодов.
Издательство
- Издательство
- НПО "МАРС"
- Регион
- Россия, Ульяновск
- Почтовый адрес
- 432057, Ульяновская обл, г Ульяновск, Заволжский р-н, ул Солнечная, влд 20
- Юр. адрес
- 432057, Ульяновская обл, г Ульяновск, Заволжский р-н, ул Солнечная, влд 20
- ФИО
- Маклаев Владимир Анатольевич (ГЕНЕРАЛЬНЫЙ ДИРЕКТОР)