Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
Подобные документы
Дослідження різноманітності форм нечіткостей у базах даних та знань, порівняння даних, що є неточними, розмитими, невизначеними, неповними. Представлення нечітких знань у вигляді продукційних правил, що містять нечіткі дані у антецедентах та консеквентах.
статья, добавлен 20.01.2017Проблеми розробки й використання баз знань у прогресивних інформаційних технологіях. Математичне визначення моделі концептуалізації предметної області. Узагальнена структура бази знань ПрО. Елементи теорії подання знань із використанням набору аксіом.
автореферат, добавлен 29.01.2016Історіографічні напрямки та основні етапи розвитку наукової думки про історію розвитку комп'ютерних мереж та розподілених програмно-апаратних комп'ютерних середовищ у вищій навчальній школі України протягом другої половини ХХ на початку ХХІ століття.
статья, добавлен 30.10.2016Використання розподілених систем з метою забезпечення децентралізованого та безпечного онлайн-голосування. Аналіз переваг системи блокчейн перед централізованою платформою, вразливою до хакерських атак, її застосування у сфері державного управління.
статья, добавлен 05.05.2022Розробка методу й апаратно-програмних засобів підвищення ефективності обробки великих масивів даних у комп'ютерній мережі на основі нових підходів до архітектури систем та раціонального розміщення ресурсів. Розпаралелення алгоритмів керування даними.
автореферат, добавлен 30.08.2014Вирішення науково-технічної проблеми підвищення ефективності програмних засобів стиснення графічних даних в комп'ютерних системах передачі та зберігання інформації у базах даних. Створення методу стиснення зображень, який має кращу швидкодію декомпресії.
автореферат, добавлен 26.08.2015Поняття та сутність файлової системи як способу організації, зберігання та іменування даних. Класифікація файлових систем, їх основні функції та задачі. Історія виникнення, особливості, основні властивості та приклади розподілених файлових систем.
лекция, добавлен 30.08.2017Метод посткоординатного індексування як один із методів згортання та пошуку інформації. Вимоги для отримання релевантних даних системи прогнозування, особливості індексування координатного типу багатогалузевого документу для отримання пошукового образу.
статья, добавлен 16.11.2017Розробка проблемно-орієнтованих методів і алгоритмів отримання в інформаційно-вимірювальних системах інформації, що дозволяє виявити зміни у стані об’єкта. Застосування технологічних засобів автоматизації збору, обробки та подання результату вимірювання.
автореферат, добавлен 29.09.2014Викладення процесу розроблення алгоритмів оптимiзацiї технологічних процесів діагностування телекомунікаційних каналів надлишкових інформаційних систем (НІС). Аналіз сучасного стану і перспектив розвитку систем технічного діагностування ТК і вимог до них.
автореферат, добавлен 25.06.2014Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Визначення факторів, які суттєво впливають на ефективність функціонування комп’ютерних систем і мереж. Розробка та дослідження методів їх проектування при наявності нечіткості у визначенні характеристик та на основі маршрутизації та логічних каналів.
автореферат, добавлен 26.08.2014Запропонування нової інтерпретації агентної моделі для моделювання роботи РІС: мережного бездротового типу та її використання для побудови програмних систем підтримки мобільного навчання. Проведення модифікації та адаптування алгоритмів маршрутизації.
автореферат, добавлен 25.08.2015Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Дослідження та аналіз ролі бібліотеки в інформаційному суспільстві, як засобу верифікації інформації. Розгляд особливостей представлення цифрового контенту в рамках традиційної бібліотечної діяльності. Характеристика специфіки використання онтологій.
статья, добавлен 27.04.2021Поняття еталонної програмної архітектури. Концепція та технології адаптивної розробки та перспективного реінжинірингу багаторівневих і розподілених інформаційно-управляючих систем. Ефективність застосування Інтернет-технологій для розробки SCADA-систем.
автореферат, добавлен 29.08.2014Підвищення ефективності процесу діагностування комп’ютерних засобів на етапі експлуатації шляхом розроблення інформаційної технології подання знань та даних на основі нечіткої логіки. Розроблення програмного забезпечення експертної системи діагностування.
автореферат, добавлен 28.08.2015Розглянуті питання автоматизації розробки багатокомпонентних та розподілених застосувань баз даних для обробки інформації. Запропоновані методи специфікації, добування, подання, візуалізації та обробки мереж семантично-зв'язаних сутностей або об'єктів.
автореферат, добавлен 06.07.2014Концепція єдиного підходу до імітаційного моделювання електронних систем, яка основана на особливостях вибраного класу об'єктів моделювання, засобах імітаційного моделювання, урахуванні структури середовища та використанні розподілених ресурсів. Мережа ЕО
автореферат, добавлен 05.01.2014Дослідження ефективності діагностування комп’ютерних систем на наявність бот-мереж, використовуючи антивірусну мультиагентну систему, як засіб діагностування. Визначення рівня ефективності діагностування комп’ютерних систем на наявність бот-мереж.
статья, добавлен 13.10.2016Створення методу вибору оптимальної моделі розподілення обчислювальних навантажень для систем автоматизованого проектування в структурі проектної організації. Визначення параметрів порівняння моделей, варіантів отримання значень розрахунку і вимірювання.
статья, добавлен 27.07.2016Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Проблема створення інформаційних систем технічного діагностування для виявлення аномалій у роботі складної технічної системи; пошуку типу й локалізації відмови в умовах неповної інформації, із застосуванням штучних імунних систем і байєсових мереж.
автореферат, добавлен 27.08.2013Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Результати поетапного теоретичного дослідження функціонування автоматизованих систем керування. Схеми областей використання досліджень і ресурсовитрат. Наукова методологія створення сучасних систем з використанням новітніх інформаційних технологій.
контрольная работа, добавлен 23.10.2010