Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці
Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
Подобные документы
- 26. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Характеристика розвитку методів математичного та інформаційного моделювання. Відображення певної частини проблеми з удосконалення технологій процесу перевезень. Особливості створення моделі для вдосконалення процесу перевезень пасажирів у великих вузлах.
статья, добавлен 06.02.2017Розгляд віртуального моделювання в межах гносеологічного філософського аналізу. Імітація соціальної реальності за допомогою комп’ютерних технологій. Особливості імітаційного моделювання економічних систем та соціальних процесів у сучасній культурі.
статья, добавлен 09.06.2020Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
автореферат, добавлен 20.07.2015Тенденції ускладнення процесів управління в сучасному світі, становлення імітаційного моделювання в Україні. Розробка засобів моделювання на базі універсальних алгоритмічних мов, задля покращення якості управлінських рішень і прогнозування їх наслідків.
статья, добавлен 13.10.2016Доробка теоретичних і методологічних основ, методології та інструментарію моделювання, аналізу, синтезу і побудови автоматизованого управління процесами землекористування. Визначення їх спрямованості на вирішення проблем раціонального використання земель.
автореферат, добавлен 29.09.2015Опис побудови та принципів функціонування системи тривимірного імітаційного моделювання виробничих систем. Розгляд етапів будування модулю. Схема послідовності розробки імітаційної 3D-моделі. Настроювання положення та систем координат елементів.
статья, добавлен 03.11.2013Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Опис мережі в виді системи масового обслуговування. Створення імітаційної моделі СМО за допомогою спеціальної мови моделювання GPSS. Алгоритм обробки транзактів (заявок). Текст і листинг програми. Значення операндів блоків моделі. Аналіз файлів звіту.
курсовая работа, добавлен 21.03.2019Удосконалення елементів конструктивної теорії і проблемно-орієнтованого інструментарію формалізації і моделювання діагностичних методів для медичних інформаційних систем. Криптографічний захист лікарської інформації від несанкціонованого використання.
автореферат, добавлен 05.08.2014Аналіз існуючих показників ефективності технічного захисту інформаційних ресурсів автоматизованих систем. Розробка систем захисту сучасних автоматизованих систем керування і оптимізація їх параметрів на базі математичного моделювання даних процесів.
автореферат, добавлен 27.04.2014Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015- 40. Розробка засобів паралельного розв`язку систем лінійних рівнянь в САПР схемотехнічного моделювання
Блочно-діагональний LU метод з обрамленням, який задовольняє вимогам архітектури комп’ютерів. Кластерний алгоритм рівномірного завантаження процесорів Санжованні-Вінсентеллі. Структура паралельного модуля рішення систем лінійних розріджених рівнянь.
автореферат, добавлен 12.02.2014 Розробка й аналіз нових методів побудови архітектури і навчання моделі неповнозв'язної нейронної асоціативної пам'яті, які забезпечують більшу ємність пам'яті даної моделі. Розробка програмних засобів для моделювання мереж і алгоритмів навчання.
автореферат, добавлен 25.08.2014Сутність проектування та моделювання об'єктів (математичне, комп'ютерне), реалізованих за допомогою програмно-апаратних засобів. Поняття інформаційної моделі (навчальна, дослідна, науково-технічна, ігрова, імітаційна), графічний спосіб її представлення.
презентация, добавлен 05.05.2015Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014Розробка концепції моделювання механізмів процесного менеджменту інформаційних систем управління. Дослідження методів розрахунку й аналізу ефективності реалізації бізнес-процесів. Створення структури комплексу інформаційної підтримки прийняття рішень.
автореферат, добавлен 30.08.2013Розвиток елементів конструктивної теорії і проблемно-орієнтованого інструментарію моделювання гнучких виробничих систем (ГВС) зборки. Існуючі моделі, методи та алгоритми автоматизованого управління ГВС зборки. Моделі підготовки та прийняття рішень.
автореферат, добавлен 28.07.2014Методи обробки цифрових зображень. Сутність процесу підсилення відеосигналу. Визначення інтенсивності пікселів у вікні. Вибір оптимальної розмірності маски за допомогою вагових коефіцієнтів. Головні стадії математичної моделі процесу підвищення різкості.
статья, добавлен 28.09.2016На основі методології IDEF функціонального моделювання створення інформаційної моделі процесу підготування зображень просторових моделей молекул для КВС. Метод створення 3D-сцени молекули засобами розроблення для просторового моделювання молекул.
автореферат, добавлен 20.07.2015Застосування інформаційних і комп’ютерних технологій у сферах автоматизації та проектування. Дослідження властивостей і закономірностей поведінки об’єкта управління. Принципи, методи та програми моделювання промислових роботів і маніпуляційних систем.
статья, добавлен 18.11.2020Підвищення ефективності роботи систем керування в умовах комбінованої стохастичної та нечіткої невизначеності. Розробка алгоритмічного та програмного забезпечення для моделювання та покрокової оптимізації, а також метод перетворень невизначених даних.
автореферат, добавлен 27.07.2014Експериментальна розробка теоретичних і практичних основ побудови розподілених систем імітаційного моделювання на базі вдосконалення формального апарату Е-мереж за рахунок застосування додаткових механізмів синхронізації в рамках консервативного підходу.
автореферат, добавлен 26.08.2014