Коректне проектування апаратно-програмних засобів обчислювальної техніки на основі логічних мов специфікацій і сучасних мов опису дискретних систем
Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
Подобные документы
Аналіз проблем та підходів до автоматизації обробки параметрів шарів геоінформаційних систем. Розробка структури інформаційних моделей їх елементів, методів та алгоритмів ідентифікації. Головні програмні засоби для реалізації розробленої технології.
автореферат, добавлен 13.08.2015Дослідження задач прийняття рішень при неповній початковій інформації. Побудова алгоритмів синтезу цільових псевдобулевих функцій на основі знань. Обчислення паретівської множини шляхом попарних порівнянь точок. Розробка метода активних звужуючих запитів.
автореферат, добавлен 22.06.2014Розгляд методів цифрової обробки сигналів з використанням засобів аналітичного та імітаційного моделювання системи Matlab. Аналіз точності рекурентних методів обчислення дискретних перетворень при їх реалізації в арифметиці з фіксованою і плаваючою комою.
статья, добавлен 30.10.2016Розробка алгоритмів розв’язання задач відтворення сигналів у вигляді інтегральних моделей та створенню на їх основі прикладних програмних засобів. Їх комп’ютерна реалізація та застосування на обчислювальних кластерах з різними операційними системами.
автореферат, добавлен 26.08.2015Аналіз методів побудови емпіричних моделей оптимальної складності з внутрішним паралелізм на основі генетичних алгоритмів для розробки ефективної програми реалізації, що приведе до скорочення затрат машинного часу на побудову математичної моделі.
статья, добавлен 29.06.2016Розгляд різних аспектів штучного інтелекту та його застосування в сучасному світі. Вивчення основних методів та систем штучного інтелекту. Особливості побудови математичних моделей для опису процесів навчання і функціонування штучних нейронних мереж.
статья, добавлен 29.07.2024Виконання GPGPU-застосувань за допомогою математичного апарату мереж Петрі. Процес побудови алгоритмів для сучасних відеоадаптерів з урахуванням особливостей їх роботи. Формування асинхронної операції з пам'яттю за рахунок використання різних потоків.
научная работа, добавлен 28.02.2016Суть набору програмних засобів для проектування спільних підприємств, який містить набір для проектування одного виробництва і для визначення правил взаємодії кількох підприємств. Вирішення задач проектування матричним методом динамічного програмування.
статья, добавлен 12.08.2022Розробка програмної моделі системи навчального процесу для вирішення задач. Характеристика сервісно-орієнтованого планового інтерфейсу "University Learning Directory". Використання алгоритмів взаємодії інтеграції з існуючими порядками автоматизації дій.
автореферат, добавлен 14.09.2014Аналіз ефективності комплексного тестування, захисту інформації. Реалізація модифікації хеш-алгоритмів паралельного обчислення. Використання нелінійних відтворюючих моделей. Розробка алгоритму побудови моделі визначення складності двійкової послідовності.
автореферат, добавлен 13.07.2014Шляхи моделювання динамічних дискретних систем, що відображують інформаційні загрози для комп’ютерів, маршрутизаторів та комутаторів. Огляд провідних спеціалізованих програмних продуктів. Умови використання розфарбованої мережі Петрі та гіперграфів.
статья, добавлен 21.02.2017Класифікація моделей за способом зображення. Аналіз відмінностей математичних та інформаційних моделей. Розгляд етапів побудови комп'ютерної моделі. Перевірка моделі за допомогою її тестування. Приклади використання неповного умовного оператора.
реферат, добавлен 22.12.2019Розробка й аналіз нових методів побудови архітектури і навчання моделі неповнозв'язної нейронної асоціативної пам'яті, які забезпечують більшу ємність пам'яті даної моделі. Розробка програмних засобів для моделювання мереж і алгоритмів навчання.
автореферат, добавлен 25.08.2014Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Математичні моделі мікропомп та актюаторів гідравлічних мікроелектромеханічних систем з врахуванням особливостей автоматизованого проектування. Інформаційне та лінгвістичне забезпечення для систем проектування гідравлічних мікроелектромеханічних систем.
автореферат, добавлен 30.08.2014Стан розвитку методів побудови комп’ютеризованих вимірювальних засобів. Розробка методів підвищення точності вимірювання коротких часових зсувів ультразвукових сигналів. Процедура мінімізації похибок вимірювань при виявленні порушенні безпеки об’єкта.
автореферат, добавлен 11.08.2015Застосування автоматизованих інформаційних систем для збирання, реєстрації, збереження, пошуку, оброблення та видачі даних за запитами користувачів. Архітектура програмних засобів; комплекс сучасних інструментів організаційної техніки для комплектації.
контрольная работа, добавлен 18.10.2012Вивчення методології проектування інформаційних систем. Методи проектування і їх класифікація. Характеристика ієрархічної багатоаспектної системи класифікації економічної інформації. Проектування процесів завантаження і ведення інформаційної бази.
контрольная работа, добавлен 10.09.2009Розробка методів, алгоритмів та моделей аналізу трафіку. Оптимізація пропускних здатностей ліній зв’язку та інших систем для підвищення ефективності гетерогенних комп’ютерних мереж. Методика використання рандомізованих моделей динаміки мережного трафіку.
автореферат, добавлен 30.08.2014Аналіз принципів побудови автоматизованих систем контролю та обліку енергоносіїв, визначення загальної моделі похибок каналів, яка б дозволила створити єдину методологію. Вірогідність результатів функціонування АСКОЕ на етапі проектування і виробництва.
автореферат, добавлен 07.03.2014Принципи проектування програмних систем. Побудова математичної моделі макроскопічного рівня будови систем обробки даних та дослідження її властивостей. Застосування сформованого підходу до представлення проектів на прикладі навчальних середовищ.
автореферат, добавлен 11.08.2015Технологія розробки управлінських інформаційних систем та керування технологічними процесами проектування. Контроль та корекція плану робіт по створенню систем. Розробка основних критеріїв оцінок та порівняльний аналіз електронних систем документообігу.
автореферат, добавлен 28.07.2014Розробка методів адаптивного рівноважного кодування дискретних повідомлень на основі біноміальних чисел, орієнтованих на застосування в інформаційних системах, що функціонують в умовах змінного рівня завад. Вибір параметрів рівноважного коду і алгоритму.
автореферат, добавлен 27.04.2014Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016