Коректне проектування апаратно-програмних засобів обчислювальної техніки на основі логічних мов специфікацій і сучасних мов опису дискретних систем
Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
Подобные документы
Огляд відомих методів побудови математичних моделей алгоритмів поведінки. Використання мови алгоритмічних алгебр. Розробка методу та формування схеми шляхів. Застосування операційних та перевірочних блоків. Визначення ймовірності існування переходів.
статья, добавлен 28.02.2016Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
автореферат, добавлен 29.08.2013Фізика відмов типових елементів обчислювальної техніки й вибір теоретичних моделей надійності. Спосіб представлення апріорної інформації про процеси деградації елементів. Методи прискорених випробувань на надійність та її прогнозування для різних виробів.
автореферат, добавлен 29.07.2014Розробка архітектури та способи підвищення ефективності алгоритмів методів групового урахування аргументів в задачах моделювання складних систем на основі гібридизації алгоритмів ітераційного і комбінаторного типів та застосування онлайн-технологій.
автореферат, добавлен 29.07.2015Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Побудова алгоритмів виконання швидких узагальнених кон'юнктивних перетворень дискретних сигналів. Розробка алгоритмів розпізнавання та мінімізації однорідних бульових функцій та побудови узагальнених канонічних поліномів функцій двозначної логіки.
автореферат, добавлен 07.03.2014Аналіз сучасних медичних інформаційних систем, будова конфігурації інформаційної системи медичної установи. Методи і засоби проектування інформаційних систем для підтримки діяльності лікувально-профілактичних установ в частині медичного документообігу.
автореферат, добавлен 26.08.2015Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Дослідження сучасних інформаційних систем лікувально-профілактичного закладу, особливостей розв'язуваних ними задач, підходів до розробки. Аналіз структури, алгоритмів і методів надання консультаційних та інших послуг пацієнтам засобами мережі Інтернет.
автореферат, добавлен 26.08.2015Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Класифікація геоінформаційних систем за територіальним поділом та за предметною областю інформаційного моделювання. Вивчення наукових, технічних, технологічних та прикладних аспектів проектування, створення та використання геоінформаційних систем.
курсовая работа, добавлен 23.10.2016Класифікація моделей та методів дослідження виробничих систем у задачах автоматизованого управління програмою підприємства. Розробка інформаційних моделей опису виробничих систем для економічного моніторингу наукоємного високотехнологічного виробництва.
автореферат, добавлен 11.08.2014Дослідження взаємодії гвинтової пари двох спряжених поверхонь та розробка нових методів та алгоритмів геометричного проектування системи нових моделей перспективних викопувальних робочих органів коренезбиральних машин. Вдосконалення існуючих конструкцій.
автореферат, добавлен 25.06.2014Розробка нових і удосконалення існуючих методів, моделей і алгоритмів формування зображень позакабинної обстановки в реальному масштабі часу. Створення на їх основі програмно-технічних систем для тренажерних комплексів різноманітних транспортних засобів.
автореферат, добавлен 28.08.2015Технологічні процеси складання, монтажу, налагодження і тестування програмних систем та комплексів. Аналіз існуючих апаратних та програмних засобів, виявлення недоліків побудови існуючого комплексу апаратно-програмних засобів, шляхи виправлення ситуації.
отчет по практике, добавлен 28.04.2014Практична реалізація сукупності моделей, методів і алгоритмів, що можуть бути застосовані при розв’язанні задачі побудови системи захисту інформації, оброблюваної в ІС з відкритою архітектурою, базуються на методах логіко-імовірнісної теорії безпеки ССС.
автореферат, добавлен 28.06.2014Аналіз методів та підходів, що використовуються при дослідженні систем управління спеціального призначення. Характеристика аспектів найефективніших методів аналізу та контролю проектів СУСП, що базуються на комп’ютерних технологіях проектування.
автореферат, добавлен 22.02.2014Аналіз моделей, способів та інформаційних технологій, які використовують при створенні нової техніки. Класифікація методів реінжинірингу для інтеграції комп’ютерних систем. Розробка архітектури засобів для збереження та обробки інформації в компанії.
автореферат, добавлен 26.08.2015Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Аналіз математичного підходу та особливостей використання нечітких моделей для опису об’єктів житлового середовища. Дослідження основних характеристик параметрів якості житлового середовища, типів шкал їх вимірювання і методів побудови функцій належності.
статья, добавлен 27.07.2016Види сучасних систем виявлення вторгнень, що забезпечують захист інформаційних систем та мереж. Виявлення переваг та недоліків кожного виду алгоритмів захисту. Сенсорна підсистема, підсистема аналізу, сховище, консоль управління та модуль реагування.
статья, добавлен 14.07.2016Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Розробка нейромережевих моделей динамічних об'єктів, що описуються нелінійними рівняннями в просторі станів і їх дослідження. Вивчення питань підвищення обчислювальної стійкості рекурентних алгоритмів і розробка факторизованих алгоритмів навчання.
автореферат, добавлен 28.07.2014Розробка математичних моделей та оптимізаційних алгоритмів при комплексному аналізі, проектуванні та експлуатації складних систем з високою ціною відмови. Дослідження методів підвищення їх надійності та забезпечення довготривалих термінів працездатності.
автореферат, добавлен 26.02.2015Характеристика проблеми створення віртуального лабораторного практикуму з цифрової техніки із застосуванням сучасних систем автоматизованого проектування. Розробка віртуального лабораторного практикуму на основі середовища моделювання NI Multisim.
статья, добавлен 05.03.2019