Моделі та методи апаратного моделювання цифрових систем на кристалах
Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
Подобные документы
Особливості моделювання періодичних процесів, знаходження оптимального проходження процесу стерилізації, від якого залежать якість і тривалість зберігання продуктів. Використання принципів об’єктно-орієнтованого моделювання та уніфікованої мови UML.
статья, добавлен 25.11.2016Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Методи та засоби, що підвищують рівень автоматизації процедур схемотехнічного аналізу та синтезу мікроелектромеханічних систем на напівпровідниковому кристалі. Вплив технологічних параметрів виготовлення на вихідні параметри інтегрального пристрою.
автореферат, добавлен 20.07.2015Доробка теоретичних і методологічних основ, методології та інструментарію моделювання, аналізу, синтезу і побудови автоматизованого управління процесами землекористування. Визначення їх спрямованості на вирішення проблем раціонального використання земель.
автореферат, добавлен 29.09.2015Розробка математичних моделей, методів й обчислювальних алгоритмів для моделювання широкого класу задач поширення акустичної енергії в нескінченних хвилеводах. Формулювання нових математичних моделей хвильових процесів. Створення програмного забезпечення.
автореферат, добавлен 12.02.2014Методи і засоби моделювання: розмовно-агрегатне моделювання, натуральне, фізичне, аналогове, комп’ютерне моделювання, математичне, імітаційне, семіотичне, мислене моделювання. Три основні компоненти процесу моделювання: суб’єкт, об’єкт, модель.
методичка, добавлен 07.06.2012Класифікація програм автоматизації. Моделювання й аналіз інформаційних систем, засоби їх здійснення. Уніфікована мова моделювання UML, розробка моделі програмної системи її засобами. Розробка виду з погляду прецедентів, проектування та реалізації.
курсовая работа, добавлен 19.09.2017Розрахунок електромеханічної системи в статичному та динамічному режимах. Визначення коефіцієнтів передачі двигуна та тахогенератора. Розрахунок перехідних процесів у системі для стрибкоподібної зміни вхідного сигналу засобами імітаційного моделювання.
курсовая работа, добавлен 17.12.2019Аналіз методів і систем побудови комп’ютерних мереж. Організація паралельного моделювання об’єднаного трафіку. Покращення характеристик продуктивності й масштабованості. Підвищення адекватності імітаційних моделей, побудованих на основі маршрутних дерев.
автореферат, добавлен 19.07.2015На основі методології IDEF функціонального моделювання створення інформаційної моделі процесу підготування зображень просторових моделей молекул для КВС. Метод створення 3D-сцени молекули засобами розроблення для просторового моделювання молекул.
автореферат, добавлен 20.07.2015Метод уніфікації суперпозицій семантичних функцій та природно-мовних конструкцій. Якість систем автоматичної обробки текстів під час аналізу багатозначних мовних одиниць. Характеристика атрибутних транслюючих граматик на основі систем штучного інтелекту.
автореферат, добавлен 29.08.2014Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.
статья, добавлен 29.06.2016Визначення відповідності результатів тестування програмного забезпечення критичного застосування функційним та нефункційним вимогам за рахунок аналізу результатів тестування нечіткою нейронною мережею. Характеристика процесу й необхідності тестування.
статья, добавлен 30.10.2016Наукова стаття присвячена проблемі моделювання освітніх цифрових екосистем. Авторами обґрунтовано багатовимірну, багатофункціональну, інноваційну модель відкритої цифрової екосистеми "Український відкритий університет післядипломної освіти" (УВУПО).
статья, добавлен 30.10.2023Програма автоматичної генерації синтезованого HDL-коду на основі системної моделі керуючого автомата. Принципи кодування та декодування зображень в реальному масштабі часу на основі стандарту JPEG 2000, головні моделі й маршрути тестування програми.
автореферат, добавлен 29.08.2015Розробка математичного забезпечення алгоритмів опису та побудови геометричних моделей поверхонь поведінки динамічних систем з нечіткими параметрами та здійснення на цій основі процесу керування системою шляхом відстеження траєкторії руху "точки".
автореферат, добавлен 29.09.2015Аналіз математичних моделей видовження і натягу ділянки рухомої стрічки. Побудова моделі зміщення фарб на ротаційних друкарських машинах, дослідження впливу параметрів на зміщення фарб. Розробка програмних засобів для моделювання стрічкопровідних систем.
автореферат, добавлен 22.10.2013Дослідження сутності імітаційного моделювання. Метод, який заснований на створенні та аналізі імітаційних моделей, отримав назву "машинна імітація" або "імітаційне моделювання". Можливі цілі створення й широке застосування імітаційного моделювання.
статья, добавлен 09.09.2024Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Стаття присвячена теоретичному обґрунтуванню впливу цифрових технологій на цивільні правовідносини, зроблена спроба формулювання цивільно-правової моделі регулювання цивільних правовідносин за допомогою цифрових технологій, проведено аналіз особливостей.
статья, добавлен 25.01.2023Побудова комп’ютерної моделі. Проведення експериментів, орієнтованих на розв’язання задач моделювання. Валідація апріорних вхідних даних. Розширення можливостей імітаційного інструментарію на основі сучасних мов та технологій розподілених обчислень.
автореферат, добавлен 14.09.2015Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Послідовна декомпозиція процесів у загальному підході до моделювання бізнес-процесів. Виділення основних бізнес-процесів спеціального конструкторського бюро "Топаз" в умовах ЗЕД із використанням методології структурного аналізу та проектування SADT.
лабораторная работа, добавлен 08.04.2015Дослідження функціональних компонентів вхідного і вихідного інтерфейсів комп’ютера. Характеристика цифро-аналогових перетворювачів цифрової інформації. Розгляд особливостей аналого-цифрових перетворювачів послідовної лічби та з порозрядним кодуванням.
реферат, добавлен 29.10.2014