Розроблення та верифікація програмно-апаратного середовища для виявлення та візуалізації помилок у мережах CAN
This paper presents the development of a software environment for simulation, detection, and visualization of errors in Controller Area Network (CAN) systems based on the Flutter framework. Theproposedapproachintroducesanextendedobject-orienteddatamodelwithembeddedGroundTruthlabels, anabling control...
Збережено в:
| Дата: | 2026 |
|---|---|
| Автори: | Дзелендзяк, Павло, Наконечний, Ростислав |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України
2026
|
| Теми: | |
| Онлайн доступ: | https://www.fmmit.lviv.ua/index.php/fmmit/article/view/439 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Physico-mathematical modeling and informational technologies |
| Завантажити файл: | |
Репозитарії
Physico-mathematical modeling and informational technologiesСхожі ресурси
Оптоелектронна система передачі даних з швидким декодуванням й високою криптографічного стійкістю
за авторством: Бевз, О. М., та інші
Опубліковано: (2014)
за авторством: Бевз, О. М., та інші
Опубліковано: (2014)
Еквідистантність та одиничні коди
за авторством: Мартинюк, Тетяна Борисівна, та інші
Опубліковано: (2022)
за авторством: Мартинюк, Тетяна Борисівна, та інші
Опубліковано: (2022)
Перенос похибок та середніх вимірів фізичної величини для елементарних функцій ax та loga x
за авторством: Rode, G. G.
Опубліковано: (2019)
за авторством: Rode, G. G.
Опубліковано: (2019)
Перенос похибок та середнiх вимiрiв фiзичної величини для елементарних функцiй x2 та √x
за авторством: Rode, G. G.
Опубліковано: (2018)
за авторством: Rode, G. G.
Опубліковано: (2018)
Перенос похибок та середнiх вимiрiв фiзичної величини для елементарних функцiй cos(x) та arccos(x)
за авторством: Rode, G. G.
Опубліковано: (2019)
за авторством: Rode, G. G.
Опубліковано: (2019)
Лептони як елементарні кубіти: доцільність та проблеми
за авторством: Kervalishvili, P.J.
Опубліковано: (2026)
за авторством: Kervalishvili, P.J.
Опубліковано: (2026)
Аналітичне забезпечення ефективної діяльності мережевого ритейлера
за авторством: Fedorenko, Oleksandra
Опубліковано: (2020)
за авторством: Fedorenko, Oleksandra
Опубліковано: (2020)
МОДЕЛЮВАННЯ НАДІЙНОСТІ СТРУКТУРОВАНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
за авторством: Трунов, Александр Николаевич, та інші
Опубліковано: (2008)
за авторством: Трунов, Александр Николаевич, та інші
Опубліковано: (2008)
Каталітичні властивості ієрархічних Ti-MFI цеолітів у процесі одержання циклічних карбонатів зі стиролу під тиском СО2
за авторством: Kyryliuk, Dmytro V., та інші
Опубліковано: (2024)
за авторством: Kyryliuk, Dmytro V., та інші
Опубліковано: (2024)
Про вторинний спектр модулів
за авторством: Maloid-Hliebova, M. O.; Львівський національний університет ім. Івана Франка, Львів
Опубліковано: (2021)
за авторством: Maloid-Hliebova, M. O.; Львівський національний університет ім. Івана Франка, Львів
Опубліковано: (2021)
Верифікація нового знання
за авторством: Сіменач, Б.І.
Опубліковано: (2006)
за авторством: Сіменач, Б.І.
Опубліковано: (2006)
Реєстрація параметрів автоматизованого програмно-апаратного комплексу медичного призначення
за авторством: Сліпченко, В.Г., та інші
Опубліковано: (2018)
за авторством: Сліпченко, В.Г., та інші
Опубліковано: (2018)
Якість технології мобільного зв'язку LTE 4G
за авторством: Утрерас, А. Ю., та інші
Опубліковано: (2015)
за авторством: Утрерас, А. Ю., та інші
Опубліковано: (2015)
ВЕРИФІКАЦІЯ РЕЗУЛЬТАТІВ СПЕКТРАЛЬНОГО АНАЛІЗУ РИТМОКАРДІОГРАМИ
за авторством: Яворська, Є. Б.
Опубліковано: (2013)
за авторством: Яворська, Є. Б.
Опубліковано: (2013)
Верифікація результатів спектрального аналізу ритмокардіограми
за авторством: Яворська, Є.Б.
Опубліковано: (2009)
за авторством: Яворська, Є.Б.
Опубліковано: (2009)
Нейронна мережа з фізичною інформацією для оброблення сигналів та зв’язку мережевого трафіку
за авторством: Zolotukhin, Oleg, та інші
Опубліковано: (2026)
за авторством: Zolotukhin, Oleg, та інші
Опубліковано: (2026)
Державний суверенітет: соціально-філософська верифікація страхом
за авторством: Туренко, О.С.
Опубліковано: (2009)
за авторством: Туренко, О.С.
Опубліковано: (2009)
Фреймворк загального тестування для розподілу задач на основі технологій штучного інтелекту
за авторством: Слободян, Р.В., та інші
Опубліковано: (2026)
за авторством: Слободян, Р.В., та інші
Опубліковано: (2026)
МОДЕЛЮВАННЯ ПРИТИСКНИХ МАГНІТІВ МОБІЛЬНИХ РОБОТІВ КОЛО-ПОЛЬОВИМ МЕТОДОМ
за авторством: Черно, О.О., та інші
Опубліковано: (2021)
за авторством: Черно, О.О., та інші
Опубліковано: (2021)
МОДЕЛЮВАННЯ ПРИТИСКНИХ МАГНІТІВ МОБІЛЬНИХ РОБОТІВ КОЛО-ПОЛЬОВИМ МЕТОДОМ
за авторством: Черно, О.О., та інші
Опубліковано: (2021)
за авторством: Черно, О.О., та інші
Опубліковано: (2021)
Розробка апаратного та програмного забезпечення системи дистанційного контролю геометричних параметрів колісних пар залізничних вагонів
за авторством: Шаповалов, Є.В., та інші
Опубліковано: (2017)
за авторством: Шаповалов, Є.В., та інші
Опубліковано: (2017)
АНАЛІЗ ОБЧИСЛЮВАЛЬНОЇ СКЛАДНОСТІ GPU-ОРІЄНТОВАНИХ ПАРАЛЕЛЬНО-ІЄРАРХІЧНИХ ОБЧИСЛЮВАЛЬНИХ СИСТЕМ ТА ОЦІНЮВАННЯ ПРОДУКТИВНОСТІ ЇХ АПАРАТНОГО ЗАБЕЗПЕЧЕННЯ
за авторством: Яровий, А. А., та інші
Опубліковано: (2014)
за авторством: Яровий, А. А., та інші
Опубліковано: (2014)
Контекстно-асоціативний підхід до автоматизованого виправлення орфографічних помилок
за авторством: Тарасенко, В.П., та інші
Опубліковано: (2009)
за авторством: Тарасенко, В.П., та інші
Опубліковано: (2009)
Контекстно-асоціативний підхід до автоматизованого виправлення орфографичних помилок
за авторством: Tarasenko, V. P., та інші
Опубліковано: (2009)
за авторством: Tarasenko, V. P., та інші
Опубліковано: (2009)
Пріоритизація тестів як метод швидкого виявлення серйозних помилок
за авторством: Malishevsky, Alexey G.
Опубліковано: (2010)
за авторством: Malishevsky, Alexey G.
Опубліковано: (2010)
Порівняння точності позиціювання методом трилатерації та методом на базі генетичного алгоритму
за авторством: Yamnenko, Iuliia, та інші
Опубліковано: (2021)
за авторством: Yamnenko, Iuliia, та інші
Опубліковано: (2021)
Cинхронне оброблення ортогональних циклічних АФМ-сигналів в умовах невизначеності коефіцієнта посилення приймального тракту
за авторством: Sadchenko, Andrey, та інші
Опубліковано: (2024)
за авторством: Sadchenko, Andrey, та інші
Опубліковано: (2024)
ВЕРИФІКАЦІЯ СКІНЧЕННО-ЕЛЕМЕНТНОЇ МОДЕЛІ КОНТАКТУ ГОРИЗОНТАЛЬНОЇ ОБОЛОНКОВОЇ СТРУКТУРИ З ЛОЖЕМЕНТОМ
за авторством: KUCHERENKO, O. Ye., та інші
Опубліковано: (2025)
за авторством: KUCHERENKO, O. Ye., та інші
Опубліковано: (2025)
Модель інформаційного об’єкта для електронної бібліотеки та її верифікація
за авторством: Новицький, О.В.,, та інші
Опубліковано: (2020)
за авторством: Новицький, О.В.,, та інші
Опубліковано: (2020)
Чутливість матриць ПЗЗ із електронним множенням
за авторством: Sizov, F. F., та інші
Опубліковано: (2018)
за авторством: Sizov, F. F., та інші
Опубліковано: (2018)
Верхня та нижня оцінки помилок роботи узагальнених kNN класифікаторів
за авторством: Таянов, В.А.
Опубліковано: (2009)
за авторством: Таянов, В.А.
Опубліковано: (2009)
МАТЕМАТИЧНА МОДЕЛЬ РЕАКТИВНИХ ДВИГУНІВ МАЛОЇ ТЯГИ НА «ЗЕЛЕНОМУ» ПАЛИВІ ТА ЇЇ ВЕРИФІКАЦІЯ
за авторством: TIMOSHENKO, V. I., та інші
Опубліковано: (2025)
за авторством: TIMOSHENKO, V. I., та інші
Опубліковано: (2025)
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
за авторством: Безверха, М.А., та інші
Опубліковано: (2010)
за авторством: Безверха, М.А., та інші
Опубліковано: (2010)
Aналіз основних інформаційних загроз і впливів у сучасних мікроконтролерних системах (аналітичний огляд)
за авторством: Маліновський, В.І., та інші
Опубліковано: (2023)
за авторством: Маліновський, В.І., та інші
Опубліковано: (2023)
Диференціальний метод встановлення порівняльної небезпеки помилок авіадиспетчерів в професійній діяльностi
за авторством: Рева, О.М., та інші
Опубліковано: (2019)
за авторством: Рева, О.М., та інші
Опубліковано: (2019)
Масштабно-енергетичні кореляційні співвідношення для вогнищ землетрусів Закарпаття: деякі наслідки та енергетична верифікація
за авторством: Назаревич, А.В., та інші
Опубліковано: (2009)
за авторством: Назаревич, А.В., та інші
Опубліковано: (2009)
Моделі оптимального обсягу замовлення товарів у кредит з урахуванням помилок приймального контролю
за авторством: Єгорова, О.В., та інші
Опубліковано: (2013)
за авторством: Єгорова, О.В., та інші
Опубліковано: (2013)
Використання інформації про вартість тестів та серйозність помилок у процесі пріоритезації тестів
за авторством: Malishevsky, A. G.
Опубліковано: (2017)
за авторством: Malishevsky, A. G.
Опубліковано: (2017)
Реконструкція та верифікація просторової структури молекул тубулінів представників Diplomonadida, Kinetoplastida, Amoebida, Saccharomycetes та Microsporea
за авторством: Співак, С.І., та інші
Опубліковано: (2015)
за авторством: Співак, С.І., та інші
Опубліковано: (2015)
Оцінка прямих втрат металу при продувці в конвертері засобами низькотемпературного моделювання та її верифікація
за авторством: Молчанов, Л.С., та інші
Опубліковано: (2025)
за авторством: Молчанов, Л.С., та інші
Опубліковано: (2025)
Схожі ресурси
-
Оптоелектронна система передачі даних з швидким декодуванням й високою криптографічного стійкістю
за авторством: Бевз, О. М., та інші
Опубліковано: (2014) -
Еквідистантність та одиничні коди
за авторством: Мартинюк, Тетяна Борисівна, та інші
Опубліковано: (2022) -
Перенос похибок та середніх вимірів фізичної величини для елементарних функцій ax та loga x
за авторством: Rode, G. G.
Опубліковано: (2019) -
Перенос похибок та середнiх вимiрiв фiзичної величини для елементарних функцiй x2 та √x
за авторством: Rode, G. G.
Опубліковано: (2018) -
Перенос похибок та середнiх вимiрiв фiзичної величини для елементарних функцiй cos(x) та arccos(x)
за авторством: Rode, G. G.
Опубліковано: (2019)