Коректне проектування апаратно-програмних засобів обчислювальної техніки на основі логічних мов специфікацій і сучасних мов опису дискретних систем
Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
Подобные документы
Розробка та використання методів виведення за аналогією для розв’язання аналітичних задач на основі атрибутивних і структурно-атрибутивних моделей знань, представлених в семантичних мережах. Порівняльний аналіз розроблених методів виведення за аналогією.
автореферат, добавлен 28.07.2014Проведення аналізу сучасного стану функціонування інформаційних систем спеціального значення в вирішенні завдань організаційного управління. Дослідження щодо пошуку нових наукових методів застосування сучасних інформаційних систем, комп’ютерної техніки.
статья, добавлен 29.06.2016Розробка адаптивних рекурентних алгоритмів настроювання параметрично оптимізуємих регуляторів для нестаціонарних об’єктів, що функціонують в умовах апріорної та поточної невизначеності та адаптивних рекурентних алгоритмів параметричної ідентифікації.
автореферат, добавлен 05.01.2014Створення алгоритмів інтерполяції самоподібними множинами: об'єктно-орієнтований дизайн, формули для розрахунку кількості обчислювальних операцій, порівняння розроблених алгоритмів. Розробка нового засобу покращення якості збільшених зображень.
автореферат, добавлен 12.02.2014Оцінка доцільності використання спеціалізованих логічних функцій у системах захисту інформації. Розробка методу підвищення швидкодії систем захисту інформації на основі використання спеціалізованих логічних функцій криптографічного перетворення.
автореферат, добавлен 25.08.2015Розробка математичних методів для дослідження проходження нейтронів крізь уповільнюючі середовища. Моделювання характеристик позиційно-чутливих детекторів, проектування та дослідження систем нейтронографічної установки на прискорювачі електронів.
автореферат, добавлен 29.09.2015Технологія проектування інформаційних систем: склад компонентів та основні вимоги до вибору технології. Основні поняття класифікації економічної інформації. Структура економічного показника. Проектування процесів отримання первинної інформації.
контрольная работа, добавлен 22.09.2009Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Характеристика основних класів алгоритмів компонування й розміщення, використання поняття теорії графів для опису моделей конструкції електронної обчислювальної апаратури, вирішення основних завдань конструювання з використанням прикладних програм.
контрольная работа, добавлен 25.11.2010Вибір системи для автоматизації прийняття управлінських рішень. Визначення загальних і специфічних модулів алгоритмів розв’язання лінійних багатокритеріальних задач та формування на їх основі бази алгоритмів. Створення системи керування базою алгоритмів.
автореферат, добавлен 23.02.2014Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Розробка Web-сервісу, його використання у пошуковій системі. Формування основних вимог до програмної системи, приклади головних алгоритмів та методів. Функціональне та нефункціональне тестування бази даних. Особливості кросбраузерного тестування.
дипломная работа, добавлен 16.06.2017- 113. Типи алгоритмів
Способи подання (опису) алгоритмів. Правила зображення блок-схем, призначення блоків та їх з’єднання. Типи алгоритмів та їх характеристика: прості, розгалужені, циклічні, універсальні. Приклади складання блок-схем відповідно до кожного типу алгоритму.
реферат, добавлен 31.01.2017 Обґрунтування методологічних засад створення автоматизованої системи проектування територіально-розподілених систем обслуговування, до яких увійшли метод прецедентного проектування та метод отримання проектних рішень в умовах багатокритеріальності.
автореферат, добавлен 19.06.2018Альтернативні підходи до впровадження сучасних програмних додатків в галузі охорони здоров’я. Приклади використання програмного забезпечення медичних інформаційних систем (МІС) електронних медичних карток. Проектування баз даних МІС "Медична реєстратура".
статья, добавлен 30.01.2016Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Створення на єдиній методологічній основі нових моделей і методів інтеграції гетерогенних інформаційних систем і розподілених баз даних, інтелектуальних обчислювальних механізмів, методів і інструментальних засобів аналізу взаємозалежних задач користувача
автореферат, добавлен 27.07.2014Особливості нелінійних систем. Загальна характеристика імпульсних систем. Адаптивні системи автоматичного керування. Класифікація дискретних систем. Методи дослідження режимів роботи та якості нелінійних систем. Екстремальні автоматичні системи.
курс лекций, добавлен 24.06.2013Етапи моделювання, визначення методу та механізму проектування лікувальних систем прийняття рішень, що дає змогу підвищити ефективність виконання поставлених завдань при розробці систем такого типу. Допомога комп'ютерних систем штучного інтелекту.
статья, добавлен 21.03.2016Об’єктно-орієнтований аналіз і процес робочого проектування. Структура даних за стосунку та розробка класів. Тестування працездатності системи класів та процес обґрунтування вибору алгоритмів. Розробка програми у вигляді гри для розважальних цілей.
контрольная работа, добавлен 08.11.2012Аналіз існуючих методів пошуку й використання інформації про аналогічні проекти при розробленні нової техніки. Розробка методів виділення значущих елементів та інформативних ознак в описі зразків техніки. Процес підбору й оцінювання аналогів зразків.
автореферат, добавлен 26.08.2015Розгляд принципу побудови зображень об’єктів тривимірного простору на двомірному кресленні. Вивчення геометричних форм, їх властивостей за плоскими зображеннями. Розробка навчальних комплексів з використанням систем автоматизованого проектування AutoCAD.
статья, добавлен 28.12.2017Етапи проектування мікропроцесорних систем, формалізація вимог до них. Джерела помилок, перевірка правильності проекту. Основні характеристики і логічна структура типового мікропроцесора. Система команд, режими адресації, типи архітектур і класифікація.
реферат, добавлен 19.02.2010Теплове проектування електронних пристроїв, яке зводиться до розв’язування систем лінійних алгебраїчних рівнянь великої розмірності. Оптимізація використання наявної обчислювальної інфраструктури за допомогою математичного та програмного забезпечення.
автореферат, добавлен 20.07.2015Аналіз методів та алгоритмів для вирішення задач класифікації об'єктів. Розробка автоматичних систем класифікації та кластеризації із застосуванням алгоритмів та апарату нейронних мереж. Побудова вектора ознак для вирішення задачі класифікації об'єктів.
автореферат, добавлен 14.08.2015