Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
Подобные документы
Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Обґрунтування методологічних засад створення автоматизованої системи проектування територіально-розподілених систем обслуговування, до яких увійшли метод прецедентного проектування та метод отримання проектних рішень в умовах багатокритеріальності.
автореферат, добавлен 19.06.2018Передумови виникнення розподілених систем. Ріст продуктивності в комп'ютерних мережах. Сутність розподілених систем, їх застосування, переваги та недоліки. Класифікація розподілених систем та їх характеристика: суперкомп'ютер, паралельний комп’ютер, ін.
лекция, добавлен 30.08.2017Аналіз доцільності онтологічного моделювання як етапу розробки метамоделей програмних систем. Способи створення онтології топології обчислювальних вузлів розподілених ПС. Особливості визначення правил граматики метамоделей як функціональної властивості.
статья, добавлен 22.12.2016Створення на єдиній методологічній основі нових моделей і методів інтеграції гетерогенних інформаційних систем і розподілених баз даних, інтелектуальних обчислювальних механізмів, методів і інструментальних засобів аналізу взаємозалежних задач користувача
автореферат, добавлен 27.07.2014Проблеми створення інформаційного забезпечення для діагностування обчислювальних пристроїв систем військового призначення. Двохконтурна архітектура програми для підвищення оперативності діагностування за рахунок зменшення часу на пошук інформації.
автореферат, добавлен 30.07.2015Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.
статья, добавлен 14.07.2016Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015- 10. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Розробка методу ідентифікації користувачів за клавіатурним почерком в умовах невизначеності з використанням теорії нечітких множин. Аналіз існуючих методів і способів ідентифікації користувачів інформаційних ресурсів розподілених інформаційних систем.
автореферат, добавлен 25.08.2014Розробка нових методів передачі інформації із забезпеченням таких характеристик, як мобільність, висока швидкість розгортання, інтерактивність, легкість використання. Визначення шляхів використання розподілених систем в різних сферах діяльності людини.
статья, добавлен 23.02.2016Розробка методів передачі інформації в розподілених системах із забезпеченням таких характеристик, як мобільність, висока швидкість розгортання, інтерактивність, легкість використання. Використання таких систем в різних галузях життєдіяльності людини.
статья, добавлен 23.02.2016Розгляд комплексу технологічних рішень, здатних забезпечити реєстрацію розподілених інформаційних ресурсів та структуру метаданих для їх опису. Дослідження питань організації інформаційної взаємодії та захисту інформації в процесі реєстрації інформації.
статья, добавлен 29.01.2019Дослідження інформаційної підтримки дослідницької діяльності на основі застосування сучасних мережних технологій е-дистанційного доступу до розподілених систем формування знань. Визначення онтологічної моделі у форматі е-сценарію наукових досліджень.
статья, добавлен 24.10.2020Існуючі підходи до моделювання інтелектуальної діяльності: символьний та нейромережевий. Дослідження методів формування бінарних розріджених розподілених представлень інформації та методів її обробки. Характеристика методу грубого кодування Prager.
автореферат, добавлен 29.08.2014Створення методів та засобів функціонального діагностування обчислювальних пристроїв для підвищення достовірності контролю результатів при виконанні приблизних обчислень. Розробка порогового та імовірнісного підходу для підвищення точності розрахунків.
автореферат, добавлен 06.07.2014Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Підвищення ефективності функціонування територіально розподілених технічних систем. Вдосконалення керування інформаційним обміном між об’єктами. Автоматизоване управління у розподілених технічних системах на основі специфікованих протокольних автоматів.
автореферат, добавлен 27.07.2014Засоби підвищення продуктивності обчислювальних систем. Методи паралельних обчислень спеціальних функцій та систем рівнянь для навігаційних задач. Розробка високопродуктивних обчислювальних систем для обробки навігаційної інформації з високою точністю.
автореферат, добавлен 25.02.2015Вдосконалення компонентів інтелектуальних розподілених інформаційно-вимірювальних систем. Узагальнена структура такої системи її аналіз методом напівнатурного моделювання в пришвидшеному часі з допомогою синтезованого метрологічного програмного тесту.
автореферат, добавлен 30.07.2014Шляхи підвищення структурної організації комп’ютерних мереж з багатоканальними віртуальними зв’язками і топологічною ієрархією, які гарантують необхідний рівень ефективності функціонування. Розробка теоретичних основ проектування розподілених систем.
автореферат, добавлен 30.10.2015Ефективність використання каналу зв’язку у проблемно-орієнтованих розподілених системах. Підхід до визначення параметрів передавання інформації при складних умовах обміну даними. Параметри каналу зв’язку при забезпеченні якості приймання в реальному часі.
автореферат, добавлен 26.08.2015Розвиток методології і розроблення теоретичних засад формалізації та організації руху даних в розподілених комп'ютерних системах. Аналіз існуючих технологій проектування, діагностування та моделювання РКС. Формалізація характеристик системних об'єктів.
автореферат, добавлен 29.09.2014Сутність та основні елементи розподілених мережевих систем, основи мережевої взаємодії. Моделі розподілених мережевих систем, модель взаємодії "клієнт-сервер". Концепції взаємодії та стан компонент розподіленої системи. Безпека в мережевих системах.
лекция, добавлен 30.08.2017