Алгебраїчні методи верифікації асинхронних паралельних систем
Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
Подобные документы
Розгляд особливостей розробки методів структурної та параметричної адаптації моделей нечіткого виведення на основі штучних імунних систем. Знайомство з результатами роботи імунного алгоритму параметричної адаптації. Аналіз нечіткої моделі Такагі-Сугено.
автореферат, добавлен 27.08.2015Побудова математичного забезпечення системи тестування, в основу якого покладено логіко-алгебраїчні методи автоматизації. Моделювання логіки викладача при виставленні балів респонденту. Оцінка точності вимірів за допомогою інформаційних технологій.
автореферат, добавлен 27.04.2014Класифікація моделей та методів дослідження виробничих систем у задачах автоматизованого управління програмою підприємства. Розробка інформаційних моделей опису виробничих систем для економічного моніторингу наукоємного високотехнологічного виробництва.
автореферат, добавлен 11.08.2014Створення моделей, алгоритмів та програмних засобів аналізу та оптимізації часових характеристик та живучості комунікаційних систем глобальних комп'ютерних мереж. Максимальний потік в комунікаційних мережах. Показники живучості при додаткових обмеженнях.
автореферат, добавлен 29.08.2013Огляд процесу розроблення математичних моделей та інформаційної технології оброблення електрометричних даних систем електрохімзахисту. Математичні моделі розподілу захисної різниці потенціалів вздовж трубопроводу. Методи визначення пошкоджень ізоляції.
автореферат, добавлен 25.06.2014Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Підходи до опрацювання програмою послідовності різноманітних контрольних наборів тестів з відомими результатами. Основні види робіт з тестування, його методи: статичні, верифікація та валідізація. Помилки та причини їх появи на етапах життєвого циклу.
лекция, добавлен 09.07.2017Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015- 85. Методи розпізнавання та класифікації станів систем управління засобами нейромережевих технологій
Дослідження методики застосування нейромережевих технологій для передбачення ймовірних станів у системах керування і управління багатопараметричними об’єктами, визначення нелінійності класифікатора для оцінки функціонування нейромережевого класифікатора.
автореферат, добавлен 27.07.2014 Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014- 87. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Побудова діалогових моделей здобуття, обробки знань та надання адаптації інформаційних систем до когнітивних якостей користувача. Розробка програмного забезпечення адаптивних комп’ютерних технологій, орієнтованих на комунікативні довідкові процеси.
автореферат, добавлен 28.08.2015Дослідження методів підвищення відмовостійкості інформаційно-управляючих систем без зниження продуктивності обробки інформації. Розробка математичної моделі відмовостійкості. Оцінка позиційних і непозиційних операцій у модулярній системі числення.
автореферат, добавлен 29.07.2015Обґрунтування актуальності створення інтелектуальних навчальних систем, заснованих на систематизованих знаннях. Класифікація властивостей, використання та переваг онтологій. Практичне значення. Аналіз мов, призначених для формального опису онтологій.
статья, добавлен 30.01.2017Проектування програмного забезпечення. Тестування та супровід програмного забезпечення. Технологія розробки програмного забезпечення. Основні моделі розробки програмного засобу. Структура процесу моделювання Erwin. Генерування бази даних BatchAccess.
курсовая работа, добавлен 20.06.2015Мета, цілі та задачі створення бази даних. Основні вимоги до інформаційної системи. Проектні рішення з розробки внутрішньо–машинної програми. Загальні положення системного аналізу програмного забезпечення. Сутність властивостей концептуальної моделі.
курсовая работа, добавлен 30.11.2016Дослідження та класифікація існуючих методів аналізу структури документів. Архітектура моделі CascadeTabNet для виявлення таблиць. Створення сімейства моделей LayoutLM. Методи та моделі глибокого навчання та їх інтеграція з різними технологіями.
статья, добавлен 29.12.2024Проблема створення інформаційних систем технічного діагностування для виявлення аномалій у роботі складної технічної системи; пошуку типу й локалізації відмови в умовах неповної інформації, із застосуванням штучних імунних систем і байєсових мереж.
автореферат, добавлен 27.08.2013Класифікація та характеристики основних елементів моделі систем масового обслуговування: одноканальних та багатоканальних. Процес та методи моделювання. Системний підхід до побудови моделей. Імітаційне моделювання роботи каси та потоку Пуассона.
дипломная работа, добавлен 08.04.2014Основні етапи створення інформаційних систем. Технологічний процес збору інформації. Приклади збору та реєстрації інформації в різних варіантах. Варіанти набору й перенесення інформації. Методи контролю переносу інформації на машинний носій, розробка АРМ.
контрольная работа, добавлен 15.09.2009Створення нових підходів до інтеграції процесів формування інформаційного ресурсу систем управління виробничою діяльністю, що забезпечує обґрунтованість вибору таких систем. Підвищення ефективності експлуатації на підприємствах машинобудівного профілю.
автореферат, добавлен 25.09.2015Розробка інформаційного, програмного та методичного забезпечення для побудови середовища колективного розподіленого проектування. Основні вимоги до систем автоматизованого проектування і GRID-технологій. Вивчення специфіки проектування гетерогенних САПР.
автореферат, добавлен 20.07.2015Огляд процесів криптографічних перетворень з використанням блокових симетричних шифрів. Методи оцінки стійкості блокових симетричних шифрів до атак диференційного і лінійного криптоаналізу. Вивчення показників і властивостей зменшених моделей прототипів.
автореферат, добавлен 20.07.2015Мережеві технології підвищення надійності та ефективності функціонування тягових електричних мереж і об’єктів. Методи організації мікропроцесорних систем визначення відпрацьованого і залишкового ресурсу силового електричного обладнання тягових підстанцій.
автореферат, добавлен 29.07.2015