Моделі і методи спільної верифікації проектованих цифрових систем на кристалах
Поняття моделі спільної верифікації, обробка неоднорідних апаратно-програмних систем. Застосування апаратних рішень з паралельною структурою для швидкого моделювання логічних блоків та програмного забезпечення цифрових систем, база оптимізації тестів.
Подобные документы
Розробка перспективної концепції синтезу систем управління енергоблоку атомної електростанції на основі математичних моделей і чисельних методів векторної оптимізації показників якості. Моделі систем стабілізації частоти обертання парової турбіни.
автореферат, добавлен 29.09.2015Теорія дисперсних систем для моделювання та оцінки робочих характеристик абразивного інструменту. Статистичні характеристики шліфувальних матеріалів. Методика верифікації моделі наважки зерен. Визначення раціональних параметрів абразивного інструменту.
автореферат, добавлен 28.08.2015Підвищення відмовостійкості цифрових систем керування з програмованою логікою шляхом розробки та практичного використання програмно-технічних засобів створення таких систем, що базуються на генетичних алгоритмах. Системи автоматизованого проектування.
автореферат, добавлен 26.09.2015Ефективність роботи комп’ютерних систем з обмеженими ресурсами шляхом розробки апаратно-програмних засобів попередньої обробки технічної інформації, представленої формалізованими знаннями. Обробка мультимедійних документів з великою кількістю файлів.
автореферат, добавлен 29.07.2015Ризики, пов'язані з відмовами та аваріями, причиною яких є його дефекти. Вплив порушень роботи програмного забезпечення на якість та надійність інформаційно-управляючих систем. Профілювання моделей представлення й перетворення таксономічних структур.
автореферат, добавлен 14.09.2014Створення інформаційної технології моделювання поведінки автоматичних систем з логічними управляючими пристроями. Огляд моделі логічного управляючого пристрою при впливі параметричних збурень. Структура засобів моделювання поведінки автоматичних систем.
статья, добавлен 14.08.2016- 7. Синтез цифрових регуляторів локальних систем керування основними параметрами газотурбінного двигуна
Підвищенні якості роботи локальних систем автоматичного керування двороторного газотурбінного двигуна шляхом застосування цифрових регуляторів. Системи керування температурою газу за турбінним блоком та частотою обертання роторів компресорів тиску.
автореферат, добавлен 13.07.2014 Вплив різних чинників на точність і швидкодію електрогідравлічних слідкуючих систем, основні напрями їх розвитку і удосконалення. Деталізована структура і послідовність концептуальної розробки систем, принципи вибору їх схемних рішень і елементної бази.
автореферат, добавлен 26.08.2015Розвиток теорії синтезу проектних рішень при створенні стеллараторів. Багатокритеріальні методи та технології, проблемно-орієнтованих на задачі структурного та параметричного синтезу. Ефективності процесів проектування та виготовлення систем класу.
автореферат, добавлен 28.09.2014Вирішення задач параметричної та структурної оптимізації інформаційно-вимірювальних систем (ІВС) у мережах водопостачання. Розробка нової ієрархічної структури методів, математичних моделей і алгоритмів її оцінювання. Структура моделі блоків вимірювання.
автореферат, добавлен 28.07.2014Сучасний стан створення та застосування інформаційних технологій для побудови автоматизованих систем переробки інформації. Основні методи оптимізації структури БСТП з ЛМУ на основі трирівневої моделі з урахуванням індивідуальних властивостей операторів.
автореферат, добавлен 20.07.2015Математичні моделі горизонтально-низькочастотних вимушених коливань для типового ряду віброзахисних систем. Врахування кінематичних в’язей між елементами. Формули частот малих вільних рухів робочих тіл гасників та умови реалізації їх чистого кочення.
автореферат, добавлен 28.07.2014Розробка моделей одномірних систем автоматичного керування тиском пари у випарнику і температурою на виході парогенераторів. Удосконалення методики параметричного синтезу цифрових регуляторів роботи котла. Зменшення похибок і підвищення швидкодії.
автореферат, добавлен 28.07.2014Підвищення ефективності використання засобів обчислювальної техніки загального призначення при реалізації систем обробки нечіткої інформації. База створення локально-паралельних методі. Математичні моделі для опису однорідних і неоднорідних даних.
автореферат, добавлен 28.09.2014Моделювання законів функціонування систем і процесів. Інструментарій математичного експерименту з метою проектування багатофункціональних технічних систем. Взаємодія процесів механічної обробки на верстатних комплексах в задачах системного проектування.
статья, добавлен 02.09.2013- 16. Параметричний синтез цифрових регуляторів систем управління температурою електричних і газових печей
Методики параметричного синтезу цифрових оптимальних за швидкодією, нечітких (нечіткої логіки) і ПІД-регуляторів для систем автоматичного управління параметрами електричних і газових печей з урахуванням часу чистого запізнювання в об'єктах управління.
автореферат, добавлен 27.08.2014 Сучасні комп'ютерні системи як складний апаратно–програмний комплекс, що постійно вдосконалюються та модернізуються. Методи та засоби інтелектуального діагностування. Способи застосування компонентів штучного інтелекту для синтезу гібридних систем.
автореферат, добавлен 29.09.2014Ефективні і економічні підходи побудови областей стійкості лінійних дискретних систем керування в просторі параметрів, які нелінійно входять в характеристичне рівняння системи. Методи побудови границь областей стійкості нелінійних дискретних систем.
автореферат, добавлен 28.07.2014Розробка ефективних алгоритмів розв’язання систем лінійних і нелінійних рівнянь руху та процедур моделювання контактної взаємодії неоднорідних тіл. Перехідні процеси їх динамічного пружнопластичного деформування, що протікають у складних конструкціях.
автореферат, добавлен 22.04.2014Використання комп'ютерно-інтегрованих систем на підприємстві, у ливарному виробництві. Процес побудови математичної моделі за допомогою методу кінцевих різниць. Аналіз комп'ютерного моделювання технологічних процесів виготовлення виливки корпусу.
курсовая работа, добавлен 26.05.2016Застосування універсальної моделі асинхронних двигунів електромеханотронних систем. Приклад математичної моделі компенсованого двигуна із ізольованою від мережі компенсаційною обмоткою. Висока надійність та конструктивна простота асинхронних двигунів.
статья, добавлен 27.07.2016Аналіз методів синтезу систем автоматичного управління багатовимірними об’єктами. Моделі керуючих пристроїв в пакеті MATLAB. Застосування методу mLIST для синтезу векторно-матричних моделей керуючих пристроїв зі збурювальними випадковими процесами.
автореферат, добавлен 30.07.2015- 23. Методи та засоби самоорганізації моделі знань в автоматизованих системах контролю знань та навчання
Розробка методів моделювання знань особи, що навчається, на основі методик вимірювання рівня знань та простеження за трансформуванням їх у процесі навчання. Створення програмного забезпечення і структури бази даних модуля самоорганізації моделі знань.
автореферат, добавлен 15.07.2014 Обґрунтування теоретичних засад впровадження автоматизованих систем оптимізації продукції машинобудівних підприємств. Розробка комплексної моделі, її переваги. Процес диверсифікації та основні його аспекти. Розрахунок показника економічної стратегії.
статья, добавлен 07.04.2013Розробка підходу до моделювання електромеханічних систем на базі асинхронного двигуна. Форма фазної напруги. Комплексне проектування електромеханічних систем на базі асинхронного двигуна. Методи визначення критеріїв енергоефективної роботи двигуна.
статья, добавлен 14.01.2017