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