Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
Подобные документы
Визначення архітектурних особливостей високонавантажених інтернет-проектів та шаблонів проектування їх інтерфейсів. Проведення тестування та визначення залежностей часу виконання запиту від об'ємів даних та схем формування результуючих наборів даних.
статья, добавлен 25.02.2016Опис проектування та програмування інформаційної системи "Обліку споживачів електроенергії". Перелік вимог до програмно-апаратного комплексу і баз даних. Розробка системи оперативної довідки, створення інсталяційного пакету додатка і його екранних форм.
контрольная работа, добавлен 19.07.2017Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Характеристика основних програмних продуктів, які використовуються під час викладання електротехнічних дисциплін. Застосування комп'ютерно-інформаційних технологій у проектно- конструкторській роботі. Автоматизація проектування електронних пристроїв.
статья, добавлен 05.03.2019Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Розробка підходу до взаємодії між системами розпізнавання та інтерпретації природної мови. Характеристика логіко-граматичних моделей конструювання діалога користувача з комп'ютерною системою. Розгляд середовища проектування природно-мовних інтерфейсів.
автореферат, добавлен 07.03.2014Розгляд теоретико-методичних основ ефективного використання та впровадження інформаційних систем і технологій проектування в контексті систем гнучкого планування діяльності підприємств. Застосування інформаційних технологій автоматизації розрахунків.
статья, добавлен 10.05.2023Дослідження взаємодії гвинтової пари двох спряжених поверхонь та розробка нових методів та алгоритмів геометричного проектування системи нових моделей перспективних викопувальних робочих органів коренезбиральних машин. Вдосконалення існуючих конструкцій.
автореферат, добавлен 25.06.2014Класифікація геоінформаційних систем за територіальним поділом та за предметною областю інформаційного моделювання. Вивчення наукових, технічних, технологічних та прикладних аспектів проектування, створення та використання геоінформаційних систем.
курсовая работа, добавлен 23.10.2016Розробка інформаційних технологій перетворення і аналізу цифрових зображень, що базуються на теорії трикутних норм та нечіткій логіці. Вивчення основних методів підвищення контрасту цифрових зображень. Побудова нових методів фільтрації шуму на зображенні.
автореферат, добавлен 25.08.2015Етапи проектування мікропроцесорних систем, формалізація вимог до них. Джерела помилок, перевірка правильності проекту. Основні характеристики і логічна структура типового мікропроцесора. Система команд, режими адресації, типи архітектур і класифікація.
реферат, добавлен 19.02.2010- 87. Проектування багатовимірних робастних систем управління польотом з елементами штучного інтелекту
Методика навчання й адаптації нечітких регуляторів у складі комбінованої системи управління польотом з використанням еталонної моделі. Програмно-алгоритмічне забезпечення для розв’язання завдань автоматизованого проектування та головні вимоги до нього.
автореферат, добавлен 28.08.2015 - 88. Метод та засіб моніторингу дефектів проектування об’єктно-орієнтованого програмного забезпечення
Розробка методики побудови моделей дефектів проектування, які дають можливість отримувати про них інформацію. Особливість моніторингу недоліків конструювання об’єктно-орієнтованого програмного забезпечення, який забезпечує спостереження за їх розвитком.
автореферат, добавлен 20.07.2015 Аналіз методів та підходів, що використовуються при дослідженні систем управління спеціального призначення. Характеристика аспектів найефективніших методів аналізу та контролю проектів СУСП, що базуються на комп’ютерних технологіях проектування.
автореферат, добавлен 22.02.2014Технологія розробки управлінських інформаційних систем та керування технологічними процесами проектування. Контроль та корекція плану робіт по створенню систем. Розробка основних критеріїв оцінок та порівняльний аналіз електронних систем документообігу.
автореферат, добавлен 28.07.2014Проект бази даних для автоматизованого вирішення задач "Облік оплати водопостачальних послуг". Опис інфологічної моделі бази даних та її складових частин. Побудова діаграми "Сутність-зв'язок". Реалізація проекту СУБД MS Access, MySQL та MS SQL Server.
курсовая работа, добавлен 19.02.2017Розробка специфікації вимог до кожного з двох користувачів, у тому числі: визначення вимог до даних; розробка вимог до транзакцій. Концептуальне проектування бази даних. Атрибути, які належать сутностям. Етапи та особливості проектування бази даних.
курсовая работа, добавлен 20.02.2010Створення методу вибору оптимальної моделі розподілення обчислювальних навантажень для систем автоматизованого проектування в структурі проектної організації. Визначення параметрів порівняння моделей, варіантів отримання значень розрахунку і вимірювання.
статья, добавлен 27.07.2016Опис параметрів сигналізації та системи автоматизованого проектування Компас-3D. Побудова функціональної схеми автоматичного контролю та керування процесом пергонки з водяною парою. Пульт керування та схеми зовнішніх електричних та трубних проводок.
курсовая работа, добавлен 06.10.2013Суть технічної проблеми, що виникла на сучасному етапі розвитку науки, техніки і технологій. Аналіз етапів проектування додатків. Варіантний аналіз та обґрунтування вибору засобів реалізації. Розробка функціональної частини додатка і тестування програми.
дипломная работа, добавлен 28.01.2017Аналіз засобів проектування корпоративного порталу. Опис програмного та апаратного середовища функціонування об’єкта проектування. Функціонально-структурна схема роботи Інтернет-сайта. Основні механізми взаємодії компонентів інформаційної системи.
курсовая работа, добавлен 31.05.2017Об’єктно-орієнтований аналіз і процес робочого проектування. Структура даних за стосунку та розробка класів. Тестування працездатності системи класів та процес обґрунтування вибору алгоритмів. Розробка програми у вигляді гри для розважальних цілей.
контрольная работа, добавлен 08.11.2012Поняття комутаційного елемента, його функціональні властивості. Переваги використання комутаційного елемента замість логічних елементів при розробці цифрових схем. Алгоритм побудови обчислювальної схеми. Довільна арифметична чи логічна функція.
автореферат, добавлен 23.11.2013Розробка автоматизованого розрахункового модулю для обліку основних засобів. Використання програм VFP6 для проектування автоматизованого розрахункового модулю по обліку основних засобів. Приклади його використання, індексне поле, таблиця "надходжень".
контрольная работа, добавлен 15.09.2009Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015