Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці
Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
Подобные документы
Комп’ютерне моделювання з використанням Flow Simulation аеродинамічних умов у сушильній камері з відцентровим псевдозрідженим шаром продукту та інфрачервоним теплопідведенням і оптимізація її конструкції на основі аналізу результатів моделювання.
статья, добавлен 28.02.2016Розробка програмного інструментарію для моделювання й тестування адаптивних систем керування розрядноімпульсними технологіями. Забезпечення надійності підтримки необхідних технологічних режимів в умовах стохастичності та невизначеності збурюючих впливів.
статья, добавлен 14.07.2016- 103. Дослідження інформаційних конфліктів у системі навчання ЗСУ за допомогою імітаційного моделювання
Впровадження сучасних інформаційних технологій та засобів імітаційного моделювання у систему бойової та оперативної підготовки підрозділів. Аналіз нарощування можливостей систем імітаційного моделювання та об’єктивного контролю ведення бойових дій.
статья, добавлен 19.12.2023 Розробка алгоритму моделювання СМО типу: багатоканальної системи обслуговування із загальним вхідним потоком вимог, орбітою обмеженої ємності. Алгоритм статистичного моделювання залежності кількості вимог в системі масового обслуговування типу від часу.
статья, добавлен 30.10.2016Процедури отримання структур цифрових фільтрів по повній матриці. Формулюванням умов розташування елементів затримки в матриці для отримання структур цифрових фільтрів, що реалізовуються. Створенням допоміжних програм для реалізації отриманих методик.
автореферат, добавлен 22.04.2014Поняття та сутність інформаційної системи. Інфологічне моделювання предметної області, створення логічної моделі. Характеристика система управління базами даних. Реалізація логічної моделі у середовищі Microsoft Access. Генерація схеми бази даних.
курсовая работа, добавлен 20.07.2014Моделювання складних зображень. Опис структурних частин відображень - орнаментів. Алгоритм синтезу орнаментального відтворення вишивки. Рекурсивний підхід до груп перетворень. Площина та смуга в матричному вигляді. Формування мінімального рисунку.
автореферат, добавлен 10.01.2014Розробка алгоритмів катакаустик і фронтів відбитих хвиль на основі геометричного моделювання. Методи складання аналітичних описів еквірефлектів. Розробка трасування променів математичних більярдів для кола, засобами математичного процесора Maple V.
автореферат, добавлен 05.01.2014Розробка інформаційних технологій для моделювання розвитку туристичної інфраструктури території з використанням асинхронних автоматів. Обґрунтування доцільності поєднання інтелектуальних технологій аналізу з можливостями геоінформаційних систем.
статья, добавлен 26.12.2016Характеристика особливостей розвитку grid-технології, яка покладена в основу роботи віртуальних організацій. Дослідження аналітичних, імітаційних, комбінованих, інформаційних, структурно-системних та ситуаційних підходів до моделювання grid-систем.
статья, добавлен 26.02.2016- 111. Удосконалення методики вивчення нестаціонарних явищ на основі імітаційного комп’ютерного моделювання
Динаміка інтеграції традиційних технологій навчання в умовах інформаційно-освітнього середовища. Аналіз ефективності імітаційного комп’ютерного моделювання під час навчання. Програмно-методичне забезпечення процесу дослідження інтерференції світла.
статья, добавлен 23.06.2016 Методами нелінійних розрахунків пластин і оболонок з тріщинами. Розвиток, удосконалення та спеціалізація методу R-функцій. Розробка математичної бази та системи Pole-shell на мові RL, алгоритмів, програмних можливостей системи, технології її експлуатації.
автореферат, добавлен 22.04.2014Розгляд поєднання елементів теорії прийняття рішень з системами захисту інформації. Комплексне дослідження питання процедури прийняття рішення як процесу. Формалізація як вид знакового моделювання. Автоматизація в діяльності особи, яка приймає рішення.
статья, добавлен 07.05.2023Обґрунтування математичної моделі фотоплетизмосигналу у вигляді лінійного періодичного випадкового процесу. Розробка методів аналізу та імітаційного моделювання ФПГ-сигналу для потреб діагностики та виявлення функціональних порушень у судинному руслі.
автореферат, добавлен 13.07.2014Викладення процесу моделювання динамічного підпису людини на базі стохастичного підходу. Математична модель, методи попереднього, статистичного оброблення та комп’ютерного імітаційного моделювання динамічного підпису. Огляд аутентифікаційних ознак особи.
автореферат, добавлен 24.07.2014Розгляд життєвого циклу моделювання космічних об’єктів та побудування ймовірнісних моделей переходів. Запропонування системи рівнянь Колмогорова, що визначає потоки ймовірностей станів моделі життєвого циклу. Чисельні розв’язки математичної моделі.
статья, добавлен 26.07.2016Значення, сутність та загальні принципи інформаційного моделювання, його використання у сайтобудуванні. Методика розробки інформаційної моделі контенту університетського веб-сайту, що функціонує в інтегрованому інформаційно-комунікаційному просторі вузів.
статья, добавлен 22.03.2016Побудова функціональної моделі IDEF0. Моделювання широкого кола систем і визначення функцій. Створення нової моделі, контекстної діаграми з єдиною роботою, яку виконує система в цілому. Типи граничних стрілок, їх призначення. Використання кодів ICOM.
лабораторная работа, добавлен 21.11.2021Програмне забезпечення для проведення імітаційного моделювання телекомунікаційних мереж. Переваги застосування таких програм в порівнянні з побудовою мережі. Застосування програмного продукту Riberbed Modeler Academic Edition в навчальних закладах.
статья, добавлен 27.07.2016Викладення процесу розроблення методів геометричного моделювання криволінійних обводів з наперед заданими умовами зміни кривини й оптимізації форми для проектування форм агрегатів, що працюють у рухомому середовищі: способи моделювання сплайнових ліній.
автореферат, добавлен 27.02.2014- 121. Моделювання та автоматизоване управління розподілом цільового продукту в трубопровідних системах
Розробка статистичної моделі функціонування розподільного трубопроводу. Процес моделювання та автоматизованого управління розподілом продуктів у трубопровідних системах. Визначення об'єму резервної ємності водопровідно-каналізаційного господарства.
автореферат, добавлен 25.02.2014 Пошук шляхів підвищення ефективності управління децентралізованими технічними системами. Розробка методичного, математичного, алгоритмічного та програмного забезпечення для оптимізації та моделювання процесів функціонування децентралізованих систем.
автореферат, добавлен 27.08.2014Особливості вивчення 3D моделювання у процесі професійної підготовки майбутніх учителів інформатики та учителів природничо-математичних дисциплін засобами комп’ютерного моделювання: соціально-конструктивістський підхід. Моделювання в освітньому процесі.
статья, добавлен 17.02.2022Автоматизація підтримки прийняття рішень при формуванні розкладів занять в умовах невизначеності. Побудова бази нечітких квантів. Моделювання міркувань диспетчерів для комп’ютеризації навчальних процесів. Розробка методу оцінки якості подання знань.
автореферат, добавлен 29.09.2015Визначення та характеристика змісту основного завдання моделювання систем візуальної інформації транспортних центрів. Дослідження й аналіз однієї з характерних рис формування систем візуальної інформації - їх достатньо швидкого морального старіння.
статья, добавлен 17.11.2021