Моделі і методи спільної верифікації проектованих цифрових систем на кристалах
Поняття моделі спільної верифікації, обробка неоднорідних апаратно-програмних систем. Застосування апаратних рішень з паралельною структурою для швидкого моделювання логічних блоків та програмного забезпечення цифрових систем, база оптимізації тестів.
Подобные документы
Здійснення комп'ютерного математичного моделювання процесів пластифікації кондитерських мас. Опис моделі руйнування кондитерських блоків під дією динамічного навантаження у маслорізці пластифікатора. Модель механізму прогрівання кондитерських мас.
автореферат, добавлен 17.07.2015Огляд проблеми диспетчерського управління магістральними газопроводами. Поняття нестаціонарних і усталених режимів МГ та оптимізація режимів їх систем. Дослідження енергетичної ефективності та основних напрямів енергозбереження в МГ у промисловості.
автореферат, добавлен 23.11.2013Дослідження методики вирішення задач керування та стабілізації неперервних динамічних систем за допомогою імпульсного керування. Характеристика поняття форми імпульсу. використання розривних керувань для систем, які не задовольняють умові Брокетта.
автореферат, добавлен 28.08.2014Розробка фази-регулятора для електромеханічних систем автоматизації металообробних верстатів фрезерної групи. Способи досягнення стабілізації потужності обробки при взаємозв’язаному керуванні швидкостями електроприводів головного руху і подачі верстата.
статья, добавлен 29.09.2018Вивчення способів підвищення продуктивності технологічних систем. Розробка моделей структур повнофункціональних елементарних технологічних систем. Перевірка методу спрямованого синтезу багатономенклатурних механообробних систем високої продуктивності.
автореферат, добавлен 29.07.2015Визначення орієнтації систем домінуючої техногенної тріщинуватості з урахуванням природних структурних дефектів порід. Розроблення методики комп'ютерного моделювання експлуатаційного стану геотехнічних об'єктів. Апробування асиметричного кріплення.
автореферат, добавлен 27.08.2015Дослідження результатів математичного моделювання напружено-деформованого стану несучих систем причепних розкидачів твердих органічних добрив. Внутрішні силові фактори у перетинах металоконструкції. Результати обчислень внутрішніх зусиль в лонжероні.
статья, добавлен 25.02.2016Розробка моделі та методів забезпечення кутовою стабілізацією за допомогою глибокого діагностування об’єкта автоматичної стабілізації та гнучкого відновлення його працездатності. Створення підіймальної сили та управляючих аеродинамічних моментів.
автореферат, добавлен 18.07.2015Обґрунтування доцільності використання криволінійних систем. Аналіз ефективності застосування циліндричних стержневих покриттів з металу. Можливі конструктивні рішення вказаних систем з позицій габаритних розмірів, економії матеріалу та витрат праці.
статья, добавлен 21.12.2018Загальні принципи вибору обсягу запасних частин в процесі експлуатації систем газопостачання для випадків відновлювальних і не відновлювальних елементів. Точний розрахунок номенклатури і кількості запчастин, облік фізичної моделі виникнення відмов.
статья, добавлен 06.12.2016Коалесценція нафтоводяних емульсій у фільтроелементах з нежорсткою структурою. Вибір режимів роботи насосів систем очищення нафтовмісних вод з метою мінімізації вторинного емульгування. Оцінка конструктивних і експлуатаційних параметрів фільтроелементів.
автореферат, добавлен 15.10.2013Аналіз негативного впливу збурень на процес керування. Синтез статичного зворотного зв’язку для стабілізації вертольоту в режимі висіння. Застосування технологій оптимізації. Забезпечення стійкості та керованості для зниження навантаження на пілота.
автореферат, добавлен 29.07.2015- 113. Методи прийняття рішень в системах управління запасами на підприємствах в умовах обмеженого часу
Моделі управління запасами для визначення оптимальних об’ємів запасів для підтримки запасів підприємств, які переробляють багатопродуктову продукцію з обмеженим часом зберігання. Розробка алгоритму та програмного комплексу для машинної реалізації.
автореферат, добавлен 23.08.2014 - 114. Науково-технічні основи процесів низькотемпературного розділення рідких систем харчових виробництв
Дослідження теплофізичних властивостей рідких систем харчових виробництв. Створення математичної моделі процесів тепло- і масообміну у виморожуючій установці. Розробка теоретичних і практичних основ підвищення ефективності роботи виморожуючих установок.
автореферат, добавлен 26.09.2014 Створення екологічно чистих, енергозберігаючих холодильних і кондиціонуючих систем на основі абсорбційного циклу відкритого типу і сонячної енергії. Розробка нових схемних рішень для альтернативних систем. Уніфікація абсорбера и випарного охолоджувача.
автореферат, добавлен 25.06.2014Узагальнення світового досвіду використання цифрових інструментів у сфері управління персоналом в ІТ-галузі. Характеристика та особливості основних цифрових технологій, які можуть бути використанні в управлінні персоналом вітчизняних ІТ компаній.
статья, добавлен 17.04.2024- 117. Анализ энергоэффективных отопительных приборов и систем управления для низкотемпературных систем
Рассматриваются особенности современных отопительных систем, используемых в жилых домах. Описаны основные типы систем отопления, их преимущества и недостатки. Особое внимание уделено энергоэффективным решениям, позволяющим снизить расходы на отопление.
статья, добавлен 12.12.2024 Аналіз методів і засобів оцінки та забезпечення функціональної безпеки інформаційно-управляючих систем для складних технічних комплексів (нафтогазових, енергетичних). Розробка інформаційної технології забезпеченні надійності безпеки ієрархічних ІУС.
автореферат, добавлен 26.08.2015- 119. Підвищення надійності роботи складальних систем шляхом оптимізації часових технологічних ланцюгів
Закономірності розподілу часових характеристик в складальних операціях і технологічних процесах в цілому. Розробка математичних моделей оптимізації часових структур технологічних процесів складання, алгоритми та програмне забезпечення оптимізації.
автореферат, добавлен 07.03.2014 Отримання узагальнених математичні моделі статичних і динамічних параметрів електромеханічних систем млинів примусового подрібнення з синхронними двигунами та межі ефективного використання пристрою електричного вирівнювання навантажень гілок привода.
автореферат, добавлен 23.11.2013- 121. Автоматизація нелінійного розрахунку складних просторових систем споруд методом скінченних елементів
Розробка загального методу автоматизації нелінійного аналізу просторових систем споруда-основа у всьому діапазоні силових і деформаційних навантажень на основі методу скінченних елементів. Обґрунтування достовірності запропонованої математичної моделі.
автореферат, добавлен 10.08.2014 Математична модель процесу зносу і методики раціонального проектування багатоопорних систем на підшипниках котіння з використанням програмних засобів. Рекомендації по вдосконаленню опорних вузлів технологічного оснащення сталеканатного виробництва.
автореферат, добавлен 23.02.2014Дослідження та характеристика специфічних особливостей суднових ергатичних систем. Визначення та аналіз необхідності використання ергатичних систем на морському флоті. Ознайомлення з класифікацією суднових ергатичних систем за типом вантажних суден.
статья, добавлен 27.07.2016Общие сведения и показатели надежности восстанавливаемых систем. Принципы описания надежности АСУТП. Отказы программного обеспечения АСУТП. Общая характеристика условий работы автоматических систем. Методы повышения надежности систем при эксплуатации.
курс лекций, добавлен 07.09.2017Аналіз параметрів спільної роботи мулового майданчика й установки всмоктувально-нагнітаючої дії. Розробка математичної моделі зневоднення осадів. Зміст питомої енергоємності устаткування, яке застосовують для інтенсифікації дегідратації гідрометеорів.
автореферат, добавлен 29.01.2016