Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці
Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
Подобные документы
Аналіз існуючих людино-машинних систем колективної взаємодії. Розробка параметрів, критеріїв оцінювання та математичної моделі (її удосконалення) локальної людино-машинної системи колективної взаємодії зі спільним засобом відображення інформації.
автореферат, добавлен 30.07.2014Розробка архітектури та способи підвищення ефективності алгоритмів методів групового урахування аргументів в задачах моделювання складних систем на основі гібридизації алгоритмів ітераційного і комбінаторного типів та застосування онлайн-технологій.
автореферат, добавлен 29.07.2015Напрями дослідження мереж на кристалі та підходи до їх моделювання. Характеристика аналітичне, високорівневе та низькорівневе імітаційне моделювання. Застосування мови програмування SystemC як альтернативне рішення з побудови моделей мереж на кристалі.
статья, добавлен 24.03.2016Розробка методів для автоматизації синтезу моделей. Модифікування існуючих технологій базових елементів мікроелектромеханічних систем. Аналіз імітаційної тривимірної моделі технологічних операцій виготовлення елементів мікроелектромеханічних систем.
автореферат, добавлен 28.08.2015Побудова комп’ютерної моделі. Проведення експериментів, орієнтованих на розв’язання задач моделювання. Валідація апріорних вхідних даних. Розширення можливостей імітаційного інструментарію на основі сучасних мов та технологій розподілених обчислень.
автореферат, добавлен 14.09.2015Особливості моделювання періодичних процесів, знаходження оптимального проходження процесу стерилізації, від якого залежать якість і тривалість зберігання продуктів. Використання принципів об’єктно-орієнтованого моделювання та уніфікованої мови UML.
статья, добавлен 25.11.2016Побудова корпоративних конференц-систем на базі протоколу ІР. Моделювання імітаційної моделі серверу. Забезпечення конфіденційності голосової інформації в конференц-системах. Використання криптографічних перетворень без виникнення часової затримки.
автореферат, добавлен 11.08.2015Розгляд методу моделювання ієрархічних структур даних у вигляді списків суміжності та таблиці зв’язків. Розгляд для кожного методу прикладів написання запитів для розв’язання типових завдань, які зустрічаються під час роботи з деревовидними структурами.
статья, добавлен 05.04.2023Особливості моделювання одноканальних систем масового обслуговування, що мають на вході декілька потоків заявок з пріоритетами. Приклад моделі роботи складу для двох дисциплін обслуговування механіків (без врахування пріоритету і з його врахуванням).
лабораторная работа, добавлен 21.12.2021Оцінка показників безвідмовності конструктивних елементів і об'єкта за інформацією про ПБ елементів нижнього конструктивного рівня. Алгоритми моделювання мереж Байєса та оцінки надійності інфраструктурних систем. Інженерія надійності та безпека системи.
статья, добавлен 20.04.2021Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.
статья, добавлен 29.06.2016Застосування ЕОМ для автоматизації проектування і технологічної підготовки виробництва. Структура систем автоматизованого синтезу пристроїв. Побудова елементів по розрізах і моделювання деталей у системі КОМПАС. Особливості використання системи AutoCAD.
методичка, добавлен 16.10.2012Характеристика імітаційного моделювання системи керування транспортного робота на основі Arduino Uno. Дослідження руху моделі транспортного робота в обмеженому робочому просторі ("шахова дошка") з довільним, заздалегідь невідомим розміщенням перешкод.
статья, добавлен 21.04.2020Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Етапи розв’язування задач використання комп’ютера. Поняття абстрактного моделювання та особливості комп’ютерного моделювання. Вибір методу розв’язання задачі за допомогою комп’ютера. Алгоритмічні мови, які призначені для створення описів алгоритмів.
презентация, добавлен 06.12.2015Підвищення ефективності організаційних систем управління проектами на основі удосконалювання організаційних структур та методів управління з використанням системної структуризації, алгоритмізації й імітаційного моделювання управлінських процесів.
автореферат, добавлен 05.07.2014Класифікація живих клітин на основі логічної моделі інформаційних систем за рівнем складності. Побудова моделі передавання інформації від дочірніх клітин до батьківських. Обґрунтування неможливості побудови клітин вищих рівнів клітинами нижчих рівнів.
статья, добавлен 22.03.2024Багаторазове повторення петлі дій, складеної з чотирьох послідовних взаємодіючих процесів: спостереження, орієнтація, прийняття рішення, дія. Моделювання діяльності та прийняття рішень у бізнесі, політиці, соціології у тих сферах, де конкуруюча сторона.
статья, добавлен 21.03.2016Аналіз сучасних автоматизованих систем управління на транспорті та математичних моделей, які застосовуються в них пасажирським транспортом. Розробка математичної моделі функціонування маршруту з урахуванням впливу найбільш значущих стохастичних чинників.
автореферат, добавлен 05.11.2013Створення теоретичної та алгоритмічної бази для моделювання деформації геометричних об’єктів шляхом їх занурення у векторне поле. Розробка методу інтерполяції, який дозволяє позбутися недоліків існуючих методів при моделюванні векторного поля деформації.
автореферат, добавлен 30.07.2015Дослідження способів деформативного моделювання об'єктів за напрямками: фізично орієнтовані та методи геометричних перетворень. Розробка математичного апарату політочкових перетворень для моделювання площинних об'єктів, що зазнали деформаційних змін.
автореферат, добавлен 22.04.2014Розробка методу автоматизованого геометричного моделювання сегмента раціональної кубічної кривої плоского обводу першого порядку гладкості. Програмна реалізація алгоритму в графічному редакторі Autocad. Переміщення точки S у межах "дозволених" областей.
статья, добавлен 02.10.2018Уніфікована мова моделювання UML. Використання інформаційних технологій в індустрії розваг. Розробка моделі програмної системи засобами UML. Особливості створення покрокової рольової гри. Інтеграція проектування, розробки додатків в програмне середовище.
курсовая работа, добавлен 19.09.2017