Моделі та методи апаратного моделювання цифрових систем на кристалах
Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
Подобные документы
Застосування інформаційних і комп’ютерних технологій у сферах автоматизації та проектування. Дослідження властивостей і закономірностей поведінки об’єкта управління. Принципи, методи та програми моделювання промислових роботів і маніпуляційних систем.
статья, добавлен 18.11.2020Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Послідовна декомпозиція процесів у загальному підході до моделювання бізнес-процесів. Виділення основних бізнес-процесів спеціального конструкторського бюро "Топаз" в умовах ЗЕД із використанням методології структурного аналізу та проектування SADT.
лабораторная работа, добавлен 08.04.2015Побудова систем автоматизованого навчання та інформаційно-довідкових систем глобальних мереж. Взаємодія компонентів інформаційно-довідкової системи. Системно-незалежний комплекс програм для прототипіювання та підтримки середніх систем у межах Internet.
автореферат, добавлен 21.11.2013Аналіз існуючих підходів до проектування, моделювання оптимального керування логістичними інформаційними системами (ЛІС), розробка методів математичного програмування та багатофакторного оцінювання критеріїв. Сутність біллінгової інформаційної системи.
автореферат, добавлен 13.07.2014Моделювання роботи системи масового обслуговування на прикладі роботи станції швидкої допомоги. Проектування класів для об’єктів моделі. Режим проведення багаторівневих експериментів з моделлю. Панель налаштувань параметрів системи та її тестування.
курсовая работа, добавлен 05.12.2012Викладення процесу моделювання протоколів інформаційного обміну й аналізу ефективності телекомунікаційних систем на основі комплексного використання Е-мереж і ймовірносно-часових графів. Методичний апарат, що дозволяє проводити такий аналіз протоколів.
автореферат, добавлен 06.07.2014Аналіз методів і систем побудови комп’ютерних мереж. Організація паралельного моделювання об’єднаного трафіку. Покращення характеристик продуктивності й масштабованості. Підвищення адекватності імітаційних моделей, побудованих на основі маршрутних дерев.
автореферат, добавлен 19.07.2015Аналіз методів ідентифікації нелінійних динамічних систем. Інформаційна оцінка якості роботи методів ідентифікації. Нелінійні елементи й динамічні системи, що включають дані елементи. Програмне забезпечення для моделювання нелінійних динамічних систем.
автореферат, добавлен 30.10.2015Новий підхід для удосконалення інформаційної безпеки мережі навчального закладу, що дозволяє оцінити захищеність мережі навчального закладу в цілому, а також її підсистем та компонентів. Показники для оцінювання ступеня захищеності даної системи.
статья, добавлен 23.03.2023Підвищення ефективності взаємодії користувачів комп'ютеризованих систем, шляхом створення інтелектуальної системи підтримки інтерфейсу, що використовує модель користувача і модель взаємодії, засновані на знаннях. Алгоритми визначення цілей користувача.
автореферат, добавлен 07.01.2014Дослідження питання щодо сучасних програмних засобів для імітаційного моделювання. Особливості імітаційного моделювання систем із дискретними та неперервними процессами. Комплекс програм, який описує функціонування об’єктів та виконує логічні операції.
статья, добавлен 05.08.2024Об’єктно-орієнтована методологія розробки спеціалізованої інформаційно-аналітичної системи та її компонентів. Модель природного середовища на базі комплексного знання-орієнтованого подання мікроситуації. Метод моніторингу надзвичайних природних ситуацій.
автореферат, добавлен 08.06.2013Аналіз основних відомих способів і засобів програмно-апаратної організації GRID-систем з метою виявлення чинників, що істотно впливають на ефективність їх функціонування. Розробка структури і алгоритмів функціонування сервера віртуальної GRID-системи.
автореферат, добавлен 27.07.2015Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013Особливості передачі інформації в телекомунікаційних каналах автоматизованих систем. Моделі процесів функціонування приймально-передавальної апаратури. Елементи системи підтримки рішень при автоматизації процесів удосконалення каналів телекерування.
автореферат, добавлен 28.07.2014- 117. Моделі і методи підтримки прийняття рішень в системах управління рибогосподарськими підприємствами
Розробка математичних моделей, методів і схем удосконалення технологічних процесів вирощування товарної риби з урахуванням їх багатоваріантності. Метод підтримки прийняття рішень на базі кластерного аналізу при формуванні складу полікультури риби.
автореферат, добавлен 10.08.2014 Розробка та характеристика інформаційної моделі процесу комп’ютерного дослідження системи управління, як об’єкта автоматизації. Дослідження моделі багатоклітьового дротового прокатного стану і його системи управління та системи зв'язаних між собою клітей.
автореферат, добавлен 07.08.2014Визначення основних напрямків впровадження цифрових технологій у муніципальне управління в Україні. На основі аналізу зарубіжного досвіду впровадження цифрового розвитку у світі виокремлені деякі напрямки цифрової трансформації муніципального управління.
статья, добавлен 10.10.2023Розробка моделі користувача Інформаційних мереж як поганоформалізованого об’єкта. Методи кластерного аналізу та зростаючих пірамідальних мереж для побудови формалізованої моделі користувача Інформаційних мереж. Метод q-аналізу і його особливості.
статья, добавлен 14.01.2017Викладення процесу створення інформаційної технології для побудови системи автоматизованого управління, аналізу та контролю навчального процесу. Методи формування інформаційної моделі для таких систем. Аналіз навчального процесу в режимі реального часу.
автореферат, добавлен 29.07.2014Розробка математичних моделей для розрахунку параметрів контролю з метою знаходження співвідношень, що дозволяють розрахувати ці параметри за даними аналізу сигнальної інформації, основний алгоритм їх визначення. Дослідження апаратно-програмних засобів.
автореферат, добавлен 01.08.2014Розробка методів структуризації цілей і упорядкування заходів програми за цільовою ознакою. Оцінка сучасного стану економіки України. Вивчення особливостей методики створення системи інформаційного забезпечення процесу програмно-цільового управління.
автореферат, добавлен 12.11.2013Огляд сучасної комп'ютерної стеганографії та її проблематики. Моделі та методи комп'ютерної стеганографії для цифрових контейнерів у вигляді зображення. Методи приховування інформації в графічних зображеннях. Розробка алгоритму розв'язання задачі.
научная работа, добавлен 14.01.2021Теоретичне обґрунтування вибору компонентної цінової моделі. Створення інформаційної системи моделювання ціни на рекламну продукцію підприємства. Система моделювання ціни на рекламу для всіх видів проектів з урахуванням системи знижок та ціни конкурентів.
статья, добавлен 07.05.2019