Моделі і методи спільної верифікації проектованих цифрових систем на кристалах
Поняття моделі спільної верифікації, обробка неоднорідних апаратно-програмних систем. Застосування апаратних рішень з паралельною структурою для швидкого моделювання логічних блоків та програмного забезпечення цифрових систем, база оптимізації тестів.
Подобные документы
Особливості розробки ефективних методів ідентифікації сенсорних систем, специфіка формального опису методу компараторної ідентифікації і характеристика застосування побудованих моделей для вивчення різних типів економічних, технічних і біологічних систем.
автореферат, добавлен 27.07.2014Розробка, теоретичне та експериментальне обґрунтування методів розрахунку на міцність і жорсткість неоднорідних багатокомпонентних СЗМ систем при тепловому, контактному, електромагнітному навантаженнях. Проектування нової техніки і прогресивних технологій
автореферат, добавлен 07.03.2014- 53. Методи та засоби керування режимами систем електропостачання потужних дугових сталеплавильних печей
Аналіз режимів систем електропостачання дугових сталеплавильних печей. Вивчення існуючих методів і засобів для забезпечення електромагнітної сумісності та комутаційної надійності таких систем. Характеристика силового електрообладнання керованого фільтра.
автореферат, добавлен 22.06.2014 Визначення параметрів, необхідних для побудови інтегрованої схеми ХТС. Моделювання автоматизованої установки ректифікації частково розчинної азеотропної суміші в програмному середовищі UniSim Design. Створення комп’ютерної моделі інтегрованої схеми.
статья, добавлен 24.03.2016Характеристика основних результатів моделювання робочого процесу пластикації кондитерських мас та їх застосування для вдосконалення обладнання. Побудова моделі руйнування блоків жиру в маслорізці. Аналіз параметрів процесу керування жирової маси.
статья, добавлен 22.03.2016Безпека функціонування енергоустановок електростанцій шляхом застосування в управлінні технологічними процесами уніфікованого методу автоматизованої діагностики тепломасообмінних систем і устаткування на основі апарату математичного моделювання.
автореферат, добавлен 26.07.2014Розвиток елементів проблемно-орієнтованого інструментарію моделювання технології виробництва. Рішення задач удосконалювання технології виробництва на основі автоматизованого багатоальтернативного аналізу й оптимального вибору технологічних систем.
автореферат, добавлен 22.04.2014Методи синтезу регуляторів автоматичних систем керування об'єктами з транспортним запізнюванням. Реалізація оптимального керування об'єктами. Математичні моделі ланки чистого запізнювання. Рекомендації з використання алгоритмів функціонування регуляторів.
автореферат, добавлен 25.09.2015Дослідження адаптивних рекурентних алгоритмів настроювання параметрично оптимізуємих регуляторів для об’єктів, що функціонують в умовах суттєвої апріорної та поточної невизначеності. Особливості синтезу параметрично оптимізуємих алгоритмів керування.
автореферат, добавлен 12.11.2013Застосування методу системної інтеграції при створенні інформаційно-вимірювальних систем. Переваги вимірювально-обчислювальних та інформаційно-вимірювальних систем для контролю властивостей матеріалів. Впровадження інтелектуальних вимірювальних систем.
статья, добавлен 29.06.2016Аналіз методів і систем безпеки складних систем та способів представлення нечіткої інформації. Математичні моделі для оцінки безпеки промислових об'єктів, оцінки рангу подій, оцінки ризику та прогнозування наслідків аварій на хімічнонебезпечних об'єктах.
автореферат, добавлен 10.01.2014Аналіз задач управління проектами розвитку автодоріг, моделей їх рішення. Процес застосування методів багатокритеріальної оцінки і оптимізації. Моделі формування та методи планування реалізації портфеля проектів. Комп'ютерно-інтегровані технології.
автореферат, добавлен 20.10.2013Ознайомлення з методами математичного моделювання процесів сталого потокорозподілу в трубопровідних транспортних системах з деталізацією особливостей для систем регіонального газопостачання. Розробка алгоритмів диспетчерського керування потокорозподілом.
автореферат, добавлен 29.04.2014- 64. Застосування методу наближеного розрахунку до аналізу діаграм плавкості четверних взаємних систем
Пошук швидкого методу розрахунку низькоплавких багатокомпонентних сольових сумішей. Вихідні данні — результати термічного фазового аналізу сольових систем. Емпіричне співвідношення між температурою плавлення компонентів та складом бінарної евтектики.
статья, добавлен 24.10.2010 Аналіз існуючих систем наведення і стабілізації та можливостей нейромережевих систем. Розробка методів синтезу систем наведення і стабілізації із застосуванням нейрорегулятора з прогнозом. Комп’ютерне моделювання систем наведення і стабілізації.
автореферат, добавлен 26.09.2015Забезпечення системи пошуку аварійних витікань і відборів нафти з нафтопроводів. Створення на базі методів нечіткої логіки моделі автоматизованого контролю технічного стану. Розробка програмного забезпечення. Застосування дистанційних засобів комунікації.
статья, добавлен 24.11.2016- 67. Забезпечення активної відмовостійкості систем керування статично нестійкими динамічними об’єктами
Розробка методів відмовостійкого керування статично нестійкими динамічними об'єктами в аварійних режимах функціонування. Математичні моделі оперативного діагностування технічного стану систем керування нестійкими багатомірними об'єктами в реальному часі.
автореферат, добавлен 06.07.2014 Розробка схемних рішень сонячних систем тепло- і холодопостачання. Процес моделювання робочих процесів в основних елементах систем: баках-теплоакумуляторах, геліосистемах. Експериментальне дослідження робочих характеристик плоских сонячних колекторів.
автореферат, добавлен 25.04.2014Розроблення моделі та програмного забезпечення генерації імпульсного струменя продуктів газової детонації та математичної моделі, що описує фізику взаємодії порошкових часток і продуктів детонації всередині ствола установки і в зовнішньому середовищі.
автореферат, добавлен 29.07.2014Розробка систем стабілізації внутрішньої плоскості охолоджуваних лопаток в газотурбінних двигунах. Визначення причин дефектів, тріщин і напруги в лопатках газотурбінних двигунах. Контроль якості проектованих систем і впровадження їх на виробництві.
автореферат, добавлен 13.10.2013Методи, алгоритми, програмне забезпечення та методики інтерактивного моделювання викройок оббивки м'яких меблів. Методи побудови швів та перерізів з відновленням топологічної коректності вихідної моделі, комплекс алгоритмів обробки растрової області.
автореферат, добавлен 26.09.2013Науково-технічний прогрес в області керування транспортними процесами. Методи розв’язання некоректних задач відновлення інформації багатокритеріальної оптимізації та диференціальних перетворень для інформаційного та математичного забезпечення АСУ.
автореферат, добавлен 29.08.2014Определение важнейших областей применения инфракрасных систем. Рассмотрение систем, предназначенных для визуализации инфракрасных изображений и систем, служащих для радиометрических измерений. Оценка совершенствования систем активно-пассивного типа.
реферат, добавлен 17.11.2018Особливості побудови та впровадження корпоративних інформаційно-аналітичних систем. Розробка програмного комплексу корпоративної інформаційно-аналітичної системи виробничої організації з метою підвищення ефективності прийняття управлінських рішень.
автореферат, добавлен 28.07.2014Аналіз питань створення систем радіаційного моніторингу у гнучких виробничих системах ядерного технологічного виробництва, методів, алгоритмів і програмних засобів ідентифікації багатозв’язних систем для ідентифікації об'єктів іншої фізичної природи.
автореферат, добавлен 07.03.2014