Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці
Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
Подобные документы
Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Класифікація програм автоматизації. Моделювання й аналіз інформаційних систем, засоби їх здійснення. Уніфікована мова моделювання UML, розробка моделі програмної системи її засобами. Розробка виду з погляду прецедентів, проектування та реалізації.
курсовая работа, добавлен 19.09.2017Розробка теорії, методу та CASE-інструменту системного (системологічного) аналізу та моделювання, які вирішують проблему узгодження процедури і результатів системного аналізу з вимогами об'єктно-орієнтованої технології проектування інформаційних систем.
автореферат, добавлен 13.07.2014Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015- 10. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Основні поняття та положення теорії систем і моделювання. Класифікація моделей, їх різновиди та відмінні властивості. Вимоги та принципи моделювання, головні підходи та етапи даного процесу. Значення експерименту та його планування в процесі моделювання.
курс лекций, добавлен 07.09.2023Класифікація та характеристики основних елементів моделі систем масового обслуговування: одноканальних та багатоканальних. Процес та методи моделювання. Системний підхід до побудови моделей. Імітаційне моделювання роботи каси та потоку Пуассона.
дипломная работа, добавлен 08.04.2014Основи теорії моделювання та базові принципи моделювання складних технічних та економічних систем. Характеристика моделей систем масового обслуговування, мережі Петрі і програмних генераторів випадкових величин і процесів. Шляхи імітаційного моделювання.
учебное пособие, добавлен 12.06.2011Дослідження питань використання імітаційного моделювання в приладобудуванні. Наведення можливостей імітаційного моделювання та його переваг. Розробка імітаційної моделі автоматизованої лінії складання хвильового редуктора за допомогою системи AnyLogic.
статья, добавлен 20.11.2018Аналіз математичних моделей видовження і натягу ділянки рухомої стрічки. Побудова моделі зміщення фарб на ротаційних друкарських машинах, дослідження впливу параметрів на зміщення фарб. Розробка програмних засобів для моделювання стрічкопровідних систем.
автореферат, добавлен 22.10.2013Визначення потреби статистичного моделювання та особливостей функціонування технічних систем з динамічною структурою. Формалізація основних етапів моделювання. Розробка статистичної моделі взаємодії об’єктів впливу та системи з динамічною структурою.
статья, добавлен 14.07.2016Дякуючи ретроспективним процесам щодо питань когнітивного підходу до моделювання складних інформаційних систем виокремлено основні підходи до моделювання інформаційних систем суб’єкту господарювання; викладено підходи. Когнітивні карти та їх можливості.
статья, добавлен 09.01.2024Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Аналіз існуючих підходів у проектуванні сучасних розподілених систем імітаційного моделювання (РСІМ). Удосконалення методу синхронізації модельного часу між агентами та реалізація їх взаємодії в РСІМ. Створення транслятора імітаційного моделювання GPSS.
автореферат, добавлен 18.07.2015- 21. Моделювання не рекурсивних цифрових фільтрів (НРЦФ) засобами бібліотеки Simulink в середовищі MATLAB
Імітаційне моделювання не рекурсивних цифрових фільтрів та дослідження їх характеристик. Створення моделі фільтра в середовищі Simulink програм MATLAB. Побудова карти нулів і полюсів, імпульсної характеристики за допомогою Digital Filter Design.
лабораторная работа, добавлен 05.02.2015 Застосовування методів аналізу й синтезу при розробці обчислювальних пристроїв. Адаптація методу великих часток реального часу до вимог систем візуалізації. Синтез зображень газодинамічних об'єктів. Розробка схеми обчислювача, моделювання блоків.
автореферат, добавлен 27.08.2015Концепція єдиного підходу до імітаційного моделювання електронних систем, яка основана на особливостях вибраного класу об'єктів моделювання, засобах імітаційного моделювання, урахуванні структури середовища та використанні розподілених ресурсів. Мережа ЕО
автореферат, добавлен 05.01.2014Методи і засоби моделювання: розмовно-агрегатне моделювання, натуральне, фізичне, аналогове, комп’ютерне моделювання, математичне, імітаційне, семіотичне, мислене моделювання. Три основні компоненти процесу моделювання: суб’єкт, об’єкт, модель.
методичка, добавлен 07.06.2012Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
автореферат, добавлен 28.09.2015