Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
Подобные документы
Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Дослідження основних проблем підготовки фахівців автотранспортного профілю. Аналіз використання системи автоматизованого проектування у процесі вивчення технічних дисциплін та розробка методів використання комп’ютерної графіки для активізації навчання.
статья, добавлен 29.10.2017Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Сутність концепції автоматизованого проектування ІАСУ. Складність задачі опрацювання раціональних рішень при створенні ІАСУ. Адаптивна технологія проектування певного об’єкта управління в умовах ІАСУ та методологічні проблеми в системному проектуванні.
контрольная работа, добавлен 30.11.2011Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Основні поняття про системи автоматизованого проектування освітлення. САПР світлотехнічних систем для проектування освітлювальних установок. Програми та особливості їх застосування. Порівняльний аналіз САПР для оптичного програмного забезпечення.
учебное пособие, добавлен 16.09.2017Розгляд системи автоматизованого проектування надземних ділянок магістральних трубопроводів. Наведення структури та UML-діаграми класів системи, опис функції її елементів та обчислювальних модулей. Розробка математичного і програмного забезпечення.
статья, добавлен 26.12.2016Сутність процесу проектування біомедичної радіоелектронної апаратури. Система автоматизованого проектування: структура та підсистеми, компоненти та забезпечення. Перелік програмного забезпечення, що використовується в при проектуванні, вимоги до нього.
контрольная работа, добавлен 25.05.2020Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
автореферат, добавлен 24.07.2014Розробка функціональної схеми автоматизованого проектування лопаткових компресорів, основою якої є програмне забезпечення на мови програмування Delphi для моделювання профілів лопаток. Енергетичні перетворення в компресорах газотурбінних двигунів.
статья, добавлен 28.10.2016Характеристика основних методів побудови систем підтримки прийняття рішень агрегованими структурами з використанням інформаційних технологій і засобів штучного інтелекту. Структура моделі цілеспрямованого діалогу систем автоматизованого проектування.
статья, добавлен 14.09.2016Математичні моделі мікропомп та актюаторів гідравлічних мікроелектромеханічних систем з врахуванням особливостей автоматизованого проектування. Інформаційне та лінгвістичне забезпечення для систем проектування гідравлічних мікроелектромеханічних систем.
автореферат, добавлен 30.08.2014Основні програмні продукти які використовуються під час викладання електротехнічних дисциплін. Застосування комп'ютерно-інформаційних технологій у проектно-конструкторській роботі. Система автоматизованого проектування електронних пристроїв P-CAD.
статья, добавлен 28.02.2017Розгляд функцій систем автоматизованого проектування за критерієм наявності в одному пакеті можливостей. Загальна характеристика автоматизації процесу проектування прес-форм для литва термопластів під тиском. Аналіз середовища Autodesk Inventor.
статья, добавлен 18.05.2020Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Аналіз генераторів псевдовипадкових послідовностей для завдань автентифікації користувачів. Наявність впливу значень параметрів генерації на її якість. Діапазони вхідних параметрів генерації для підвищення відсотку проходження тестів на випадковість.
статья, добавлен 06.02.2017Особливості використання нових технологій у процесі навчання. Розробка мультимедійних матеріалів для дисциплін "Системи автоматизованого проектування" і "Комп’ютеризовані системи технологічної підготовки виробництва", ефективність їх використання.
дипломная работа, добавлен 29.08.2014Тенденції розвитку комп'ютерного геометричного моделювання як базової складової сучасних машинобудівних систем автоматизованого проектування. Визначення перспективних напрямків наукових досліджень у галузі прикладної геометрії та інженерної графіки.
статья, добавлен 28.10.2016Дослідження необхідності проектування управлінських систем та їхнього застосування в бізнесі. Визначення, історія розвитку, принципи та функції CRM-систем. Розробка множини продукційних правил інтелектуальної складової інформаційної системи управління.
статья, добавлен 29.08.2016- 46. Комплексна методика проектування моделей інтелектуальних систем діагностики та методи оцінки якості
Розгляд процесу технології проектування інтелектуальних систем, що дає нові можливості для управління даним процесом. Комплексна методика проектування довідкових систем, заснована на семантичній технології комп'ютерних систем різного рівня інтелекту.
статья, добавлен 21.06.2016 Синтез двійкового суматора за допомогою програмного пакету Decomposer, для вирішення завдань автоматизованого логічного синтезу цифрових схем з використанням методів багаторівневої декомпозиції та їх реалізації на мікросхемах програмованої логіки.
курсовая работа, добавлен 15.03.2014Визначення поняття "проектування". Опис практичної роботи проектування обкладинки при використанні графічних засобів (колажу векторних зображень, фотографій), виконання елементів композиції та переведення їх у вектори за допомогою комп’ютерних програм.
отчет по практике, добавлен 17.09.2014Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Розробка багатомодульних гібридних нейромереж й методів підвищення продуктивності та зменшення обсягу фізичної пам’яті псевдоінверсних нейромереж. Проектування методу видалення застарілої інформації шляхом динамічного рознасичення асоціативної пам’яті.
автореферат, добавлен 22.07.2014