Моделі і методи спільної верифікації проектованих цифрових систем на кристалах
Поняття моделі спільної верифікації, обробка неоднорідних апаратно-програмних систем. Застосування апаратних рішень з паралельною структурою для швидкого моделювання логічних блоків та програмного забезпечення цифрових систем, база оптимізації тестів.
Подобные документы
Розробка багаторівневих ймовірнісних мереж, що дозволяють враховувати зміни у контексті, а також методів їх автоматичної побудови (навчання) для аналізу та моделювання складних інформаційних систем, що функціонують в умовах ймовірнісної невизначеності.
автореферат, добавлен 06.07.2014Моделі механічних складових та впливу температури тильних коливань. Автоматизація проектування мікі круроелектромеханічних систем давачів кутової швидкості. Технології виготовлення та програмне забезпечення для проектування і моделювання здавачів.
автореферат, добавлен 14.08.2015- 78. Проектування систем керування з регулятором на базі внутрішньої моделі з двома ступенями свободи
Дослідження основних проблем керування інерційними об’єктами. Обґрунтування ефективності застосування робастного регулятора, базованого на внутрішній моделі управління. Вдосконалення системи управління шляхом розробки регулятора з двома ступенями свободи.
статья, добавлен 29.06.2016 Проектування конструктивно-технологічних властивостей складального виробу на базі тривимірної моделі. Визначення просторового взаємозв’язку елементів нероз’ємного виробу Автоматизація формування математичної моделі за допомогою програмного забезпечення.
автореферат, добавлен 22.07.2014- 80. Система підтримки прийняття рішень на етапі структурного проектування складних технічних об’єктів
Особливості життєвого циклу структурного проектування складних як об'єктів структурного проектування. Розроблення нових та удосконалення відомих методик моделювання працездатності та ідентифікації відомих систем. Методи оцінювання відмовостійкості.
автореферат, добавлен 25.07.2014 Методи розрахунку теплового стану лопаток газотурбінних двигунів. Методика верифікації CFD-моделей теплового стану у спряженій постановці за даними теплообміну. Аналіз гідродинаміки в каналі охолодження та міжлопатковому каналі лопатки двигунів.
автореферат, добавлен 26.02.2015Моделювання процесу з вибором інструментарію для візуалізації зображень розподілу температурних полей при стендових випробуваннях газотурбінних камер згоряння з побудовою графічних моделей. Використання в даному процесі нового програмного забезпечення.
статья, добавлен 17.12.2022Аналіз процедур виміру, оцінки та прийняття рішення в системі управління (СУ) зв'язком. Виділення причин, що приходяться на частку метрологічної підсистеми. Оцінка випадкової величини і процесу. Застосування алгоритму оцінки параметрів цифрових каналів.
автореферат, добавлен 27.07.2014Понятие производственной системы. Особенности производственных систем, отличающие их от всех других классов систем. Формы организации производства. Систематизация законов организации производственных систем. Области организации производственных систем.
доклад, добавлен 28.05.2012Методологія створення інформаційно-аналітичних систем для забезпечення дослідників-металургів експериментальними даними про властивості залізорудних матеріалів та металургійних розплавів. Прикладне і системне програмне забезпечення теоретичних досліджень.
автореферат, добавлен 11.11.2013Вивчення гідродинаміки віброкиплячих шарів сипких матеріалів зі створенням достатньо точної математичної моделі. Структура шару в різних умовах. Моделювання процесу на електронній обчислювальній машині зі створенням відповідного програмного забезпечення.
автореферат, добавлен 14.09.2015- 87. Побудова математичної моделі просторових коливань візка для транспортування небезпечних вантажів
Конструювання математичної моделі коливань візка для транспортування небезпечних вантажів, який має двоступеневе ресорне підвішування підвищеної якості. Принципи складання моделей та методи розрахунку систем ресорного підвішування транспортних засобів.
статья, добавлен 05.10.2013 Підвищення ефективності механічної обробки високоточних деталей за рахунок спрямованого вибору структури і параметрів технологічного впливу на базі оцінок прийнятих технологічних рішень. Комплекс систем механічної обробки в точному машинобудуванні.
автореферат, добавлен 28.08.2015Аналіз діагностування багатоканальних газоаналітичних систем, ефективність їх роботи. Причини втрат вимірювальної інформації. Визначення часу відновлення роботи газоаналітичної системи. Залежності дії тестового сигналу на вихідний сигнал газоаналізатора.
статья, добавлен 07.12.2016Особливість концепції розв’язання енергоконфлікту, виходячи з оцінки активності ресурсів. Основна характеристика коректного моделювання алгоритмів опрацювання даних про стан об’єктів управління для гарантованого функціонування енергоактивних систем.
автореферат, добавлен 28.07.2014Моделювання процесу з вибором інструментарію для візуалізації зображень розподілу температурних полів при стендових випробуваннях газотурбінних камер згоряння з побудовою графічних моделей за допомогою нового спеціалізованого програмного забезпечення.
статья, добавлен 26.04.2023Общие сведения о надежности автоматических систем. Показатели надежности систем. Показатели надежности восстанавливаемых систем. Отказы автоматических систем. Надежность программного обеспечения. Характеристика условий работы автоматических систем.
реферат, добавлен 24.07.2008Закономірності розвитку і еволюції технічних систем. Класифікація технічних систем по функціях і принципах дії. Основні поняття про процес проектування. Підготовка виробництва і виготовлення нових конструкцій. Математична постановка типових задач аналізу.
курс лекций, добавлен 26.09.2017Моделювання, конструювання, та виготовлення виробу як основні етапи створення жіночого одягу. Методи та способи трансформації форми джерела у форму сучасного костюма. Обгрунтування вибору основної моделі колекції. Креслення конструкції основної моделі.
дипломная работа, добавлен 11.04.2014Аналіз методів дослідження режимів роботи електроприводів штангових нафтовидобувних установок. Розробка загального алгоритму розрахунку нелінійних періодичних режимів роботи електромеханічних систем. Розгляд математичних моделей асинхронних двигунів.
автореферат, добавлен 20.07.2015Функціонування промислового виробництва в умовах конкурентної боротьби на ринку обмеженої місткості. Технології переробки та автоматизації на основі програмних продуктів, адаптованих до задач автоматизованого планування і управління виробництвом.
автореферат, добавлен 30.07.2014Розробка комплексу взаємозалежних математичних моделей, які описують наскрізний цикл проектування інформаційно-управляючих систем (ІУС). Структура і алгоритми функціонування підсистеми управління процесом лікування пацієнтів, що входить до ІУС "Лікарня".
автореферат, добавлен 22.02.2014Принципи моделювання процесів ущільнення форм та стрижнів за рахунок вар'їрування технологічних впливів і властивостей формувальних сумішей. Моделі процесів масопереносу при ущільненні форм. Методи оптимізації процесів ущільнення піщаних форм та стрижнів.
автореферат, добавлен 29.08.2014Формування енергетичних втрат для циклових систем гідроприводу в складі процесу дисипації енергії та методика врахування при визначенні рівня енергоспоживання. Логіко-функціональна модель класу багатопривідних циклових систем об’ємного гідроприводу.
автореферат, добавлен 26.08.2015Розробка математичної моделі зв'язаного гідродинамічного і теплового пограничного шару на торцевій поверхні міжлопаткового каналу для активних і реактивних профілів. Розробка моделі теплогазодінамічної поведінки однофазного і двофазного теплоносія.
автореферат, добавлен 14.09.2014