Моделі і методи спільної верифікації проектованих цифрових систем на кристалах
Поняття моделі спільної верифікації, обробка неоднорідних апаратно-програмних систем. Застосування апаратних рішень з паралельною структурою для швидкого моделювання логічних блоків та програмного забезпечення цифрових систем, база оптимізації тестів.
Подобные документы
Розробка підходу до моделювання електромеханічних систем на базі асинхронного двигуна. Форма фазної напруги. Комплексне проектування електромеханічних систем на базі асинхронного двигуна. Методи визначення критеріїв енергоефективної роботи двигуна.
статья, добавлен 14.01.2017Особливості розвитку нечітких онтологій складних систем. Розробка математичної моделі гібридного розвитку онтологій, що базується на графових моделях, теорії нечіткої логіки й дескриптивній логіці. Метод аналізу адекватності розвитку нечітких онтологій.
автореферат, добавлен 29.08.2015Модель кінцевого стану - новий засіб опису термінальних динамічних диференціальних систем, принципи її побудови. Методи оптимального та термінального керування, аналізу чутливості та коваріаційного, в яких використовуються тільки елементи даних моделей.
автореферат, добавлен 25.06.2014Розробка моделі аеродинамічних характеристик струминних елементів для систем вентиляції. Визначення критеріїв оптимізації техніко-економічних характеристик складних вентиляційних систем: вартості виготовлення, витрат на експлуатацію, ефективності.
автореферат, добавлен 29.08.2014Розробка моделей, методів, проектних процедур та алгоритмів вирішення задач автоматизованого проектування технологічних систем, які враховують особливості інформаційних процесів обробки відправлень. Їх реалізація на прикладі підприємств поштового зв'язку.
автореферат, добавлен 22.07.2014Оцінка застосування кускового періодично корельованого випадкового процесу як математичної моделі електрокардіосиґналу. Розробка методу імітаційного моделювання електрокардіосиґналу на основі кускової періодично корельованої випадкової послідовності.
автореферат, добавлен 29.07.2015Науково-технічні проблеми в створенні нових систем якісного забезпечення лезової обробки. Систематичність гармонійного аналізу випадкових похибок. Зміст полігармонійної моделі технологічних процесів для прогнозування надійності виготовленої продукції.
автореферат, добавлен 26.08.2014Формалізація математичного опису функціонування гнучких автоматизованих ліній. Характеристика моделі планування виробництва з постійним фондом робочої сили. Розробка структури реалізації діалогового програмного комплексу синтезу гнучких асинхронних лінії.
автореферат, добавлен 30.07.2014Методи побудови шкал приладів для інформаційно-вимірювальних систем. Моделі сприйняття даних оператором АСУ-ТП. Інформаційні схеми відбору даних. Базові типи невизначеності залежно від типу задач. Міри на числовій осі параметрів стану об’єкта управління.
статья, добавлен 29.08.2016Оптимізації організаційно-технологічної та технічної підготовки складального виробництва складних машинобудівних виробів. Ефективне вирішення оптимізації виробництва та впровадження систем проектування процесів на основі методів імітаційного моделювання.
статья, добавлен 29.07.2016Підвищення надійності комп’ютеризованих інформаційно-управляючих систем бізнес-критичного призначення. Удосконалення методу багатоканального дубльованого резервування, розробка архітектури, стійких до відмов АЗ і ПЗ, і обґрунтування вибору їх параметрів.
автореферат, добавлен 29.07.2014Теоретичне дослідження процесів нестаціонарного теплообміну в системах ТГУ для оцінки структури й виду передатних функцій. Особливості розробки математичного апарату і програмного забезпечення для моделювання характеристик вентиляційних систем ТГУ.
автореферат, добавлен 26.07.2014Ефективність автоматизованих виробництв в автомобілебудуванні в нових умовах. Аналітичні і імітаційні моделі виробничих систем. Розробка нового класу методів і моделей, заснованих на системному уявленні, просторово-часовому і імітаційному моделюванні.
автореферат, добавлен 20.04.2014Розгляд проблеми забезпечення швидкої збіжності процесу в адаптивній системі з еталонною моделлю. Застосування функцій Ляпунова з метою забезпечення досліджуваній системі стійкий коридор функціонування. Результати моделювання адаптивних систем.
статья, добавлен 27.04.2021Універсальні лінійні й параметричні моделі елементів хіміко-технологічних систем. Процедури оцінювання якості узагальнених моделей. Нестаціонарні моделі хіміко-технологічних систем на основі адаптивного підходу. Втрати від керування динамічними об'єктами.
автореферат, добавлен 30.07.2015Аналіз сучасних тенденцій і підходів до розробки систем обробки даних для автоматизованих систем управління технологічними процесами. Розробка математичних та інформаційних моделей, що забезпечують вирішення основних задач ефективної обробки даних.
автореферат, добавлен 30.07.2014Дослідження методів діагностики технологічних систем і побудова на цій підставі інформаційної моделі технологічного процесу обробки різанням. Математичне моделювання процесу діагностики стану технологічної системи за допомогою нейромережної теорії.
автореферат, добавлен 20.07.2015Аналіз основних методів моделювання процесів прийняття рішень і методів визначення строків та норм поливу. Побудова ієрархічного дерева логічного висновку. Формалізація часткових та узагальнених параметрів стану, що визначають необхідність у зрошенні.
автореферат, добавлен 20.07.2015Вимоги до гідроприводів, тенденції їхнього розвитку. схеми та конструкції систем керування гідроприводів з LS-регулюванням. Методики та результати експериментальних досліджень. Математичні моделі гідроприводів. Оптимізація систем керування.
автореферат, добавлен 12.02.2014Підвищення ефективності управління підприємствами й регіонами шляхом розробки теорії, інформаційної технології й відповідного інструментарію формалізації. Моделювання системи прийняття рішень, розробки методів, математичних моделей та алгоритмів.
автореферат, добавлен 30.07.2015Аналіз технічної досконалості й особливостей роботи циркуляційних масляних систем суднових двигунів внутрішнього згоряння. Імітаційні моделі масляних систем. Визначення статичних і динамічних характеристик вологовмісту в системі "масло-вода-повітря".
автореферат, добавлен 29.07.2014Розробка узагальненої постановки задач оцінювання стану і параметрів газотранспортних систем у стаціонарному режимі. Розв'язання задачі оцінки тисків, температур і витрат газу. Математична модель усталеного потокорозподілу газотранспортної системи.
автореферат, добавлен 25.04.2014Характеристика еквівалентування квазітривимірної польової моделі асинхронного двигуна з короткозамкненим ротором. Аналіз ефективності математичного моделювання режимів роботи мотора у складі електромеханічних систем з метою дослідження та проектування.
статья, добавлен 29.07.2016Розробка цифрової моделі шахтної вентиляцiйної мережі і добувних дільниць як об'єктів автоматичного керування. Дослiдження ефективностi алгоритмiв i структур систем керування на напiвнатурнiй цифровiй моделi. Цифрова модель шахтної вентиляцiйної мережі.
автореферат, добавлен 11.11.2013Розгляд використання методу виділення контурів на цифрових зображеннях із субпіксельним розрахунком координат точок цих контурів. Розробка програмного забезпечення для дослідження динамічного міжфазного натягу рідин методом фіксованої обертової краплі.
статья, добавлен 30.01.2017