Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці
Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
Подобные документы
Дослідження питання щодо сучасних програмних засобів для імітаційного моделювання. Особливості імітаційного моделювання систем із дискретними та неперервними процессами. Комплекс програм, який описує функціонування об’єктів та виконує логічні операції.
статья, добавлен 05.08.2024Покращення засобів комп’ютерного моделювання в’язких течій газу в міжлопаткових каналах. Синтез основних форм вінців турбомашин з використанням способів керуванням відривом потоку в них. Метод побудови розв’язків варіаційної задачі аеродинаміки решіток.
автореферат, добавлен 11.08.2014Змістовий огляд предметної області, основні вимоги до системи. Уніфікована мова моделювання UML: її призначення. Розробка моделі програмної системи засобами UML: вид з погляду прецедентів, проектування, реалізації. Діаграма прецедентів, станів, класів.
курсовая работа, добавлен 19.09.2017- 54. Інформаційна технологія оптимізації підсистем збору даних АСУТП в умовах комбінованої невизначеності
Метод оцінювання характеристик підсистем збору даних в умовах невизначеності, який ґрунтується на алгоритмічній моделі. Розробка методу комп’ютерного моделювання для дослідження ефективності й достовірності розробленого підходу і програмного забезпечення.
автореферат, добавлен 20.07.2015 Використання моделювання технологічних систем на всіх етапах створення продукції. Формування інформаційного простору підприємства. Забезпечення зв'язку проектувальника та технічного спеціаліста. Знайомство з інтерфейсом. Створення нового документа деталі.
контрольная работа, добавлен 11.01.2015Опис порівняльного аналізу методів моделювання та прогнозування, їх використання в задачах моніторингу. Значення комп’ютерних технологій для побудови моделей на основі методу групового урахування аргументів. Застосування критерію незміщеності помилок.
автореферат, добавлен 27.08.2015Класифікація геоінформаційних систем за територіальним поділом та за предметною областю інформаційного моделювання. Вивчення наукових, технічних, технологічних та прикладних аспектів проектування, створення та використання геоінформаційних систем.
курсовая работа, добавлен 23.10.2016Аналіз стану робіт в області моделювання лісових пожеж, їх теоретичне узагальнення. Моделювання універсального алгоритму розповсюдження лісової пожежі. Розробка програми для візуального відображення динаміки пожежі на електронній карті місцевості.
автореферат, добавлен 27.07.2014Аналіз методів і систем побудови комп’ютерних мереж. Організація паралельного моделювання об’єднаного трафіку. Покращення характеристик продуктивності й масштабованості. Підвищення адекватності імітаційних моделей, побудованих на основі маршрутних дерев.
автореферат, добавлен 19.07.2015Моделювання процесів комплексної переробки природного газу та керування теплообміном та низькотемпературною сепарацією, для оптимізації процесів очистки газу від конденсату і вологи. Візуалізація результатів моделювання в середовищах Flowvision і Mathlab.
статья, добавлен 13.10.2016Розробка моделі рельєфу, орієнтованої на метод зворотного трасування для використання в системах візуалізації. Алгоритми роботи спецпроцесорів у реальному часі (структурні і функціональні схеми). Перевірка моделей і алгоритмів шляхом моделювання.
автореферат, добавлен 27.04.2014Розробка комплексу орієнтованих методів, моделей, алгоритмів та інструментальних засобів для системного логістичного аналізу й імітаційного моделювання процесів в автоматизованих багаторівневих розподілених системах. Прийняття рішень і управління в БРС.
автореферат, добавлен 15.07.2014Дослідження процесу моделювання онтологій у покращеній тематично векторній моделі інформаційного пошуку. Аналіз моделювання тематичної структури колекцій документів ймовірнісними моделями та підходів у видобуванні та розв’язанні іменованих сутностей.
статья, добавлен 28.02.2016Аналіз існуючих підходів до проектування, моделювання оптимального керування логістичними інформаційними системами (ЛІС), розробка методів математичного програмування та багатофакторного оцінювання критеріїв. Сутність біллінгової інформаційної системи.
автореферат, добавлен 13.07.2014Розробка математичного забезпечення алгоритмів опису та побудови геометричних моделей поверхонь поведінки динамічних систем з нечіткими параметрами та здійснення на цій основі процесу керування системою шляхом відстеження траєкторії руху "точки".
автореферат, добавлен 29.09.2015Поняття про об’єкт моделювання та його параметри, методи та рівні. Види опису математичних моделей, їх класифікація та типи, етапи та алгоритм. Положення теорій подібності та розмірності. Поняття про класичні та узагальнені розв’язки крайових задач.
курс лекций, добавлен 22.11.2015Дослідження сутності імітаційного моделювання. Метод, який заснований на створенні та аналізі імітаційних моделей, отримав назву "машинна імітація" або "імітаційне моделювання". Можливі цілі створення й широке застосування імітаційного моделювання.
статья, добавлен 09.09.2024Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Отримання загальної передатної функції з’єднання динамічних ланок. Комп’ютерне моделювання стохастичних процесів із заданими властивостями. Розрахунок формуючого фільтра. Моделювання складних динамічних систем з стохастичними вхідними впливами.
курсовая работа, добавлен 18.10.2018Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
автореферат, добавлен 24.07.2014Особливості моделювання інтелектуальних інформаційних систем з індуктивною компонентою. Концептуальне та математичне визначення, її структурна та функціональна модель. Розроблення інформаційної системи автоматизації керування навчальним процесом "Школа".
автореферат, добавлен 13.07.2014- 72. Використання комп'ютерного моделювання лабораторних робіт на практичних заняттях з біологічної хімії
Комп'ютерне моделювання експериментальних робіт під час лабораторного практикуму з біологічної хімії для студентів-медиків. Створення віртуальної моделі експерименту. Розробка інтерактивного архіву робіт з подальшим їх розміщенням у репозитарії.
статья, добавлен 24.02.2016 Теоретичне обґрунтування вибору компонентної цінової моделі. Створення інформаційної системи моделювання ціни на рекламну продукцію підприємства. Система моделювання ціни на рекламу для всіх видів проектів з урахуванням системи знижок та ціни конкурентів.
статья, добавлен 07.05.2019Призначення систем імітаційного моделювання руху аерокосмічних та наземних об’єктів. Архітектура веб-додатку імітаційного моделювання. Особливості інтерфейсу клієнтського додатку. Дії з боку користувача, які необхідно виконати при інтерактивній роботі.
статья, добавлен 07.04.2018Сучасні технології проведення інформаційного аналізу. Особливості моделювання динамічних систем і процесів за допомогою інтерпретації мереж Петрі. Доцільність використання ієрархічного підходу до проектування шляхів ліквідації надзвичайних ситуацій.
статья, добавлен 25.10.2016