Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
Подобные документы
Здійснено аналіз становлення світової стандартизації. Означено етапи створення міжнародних організацій зі стандартизації. Розглянуто найактуальніші стандарти програмних продуктів та розподілених систем керування. Обґрунтовано переваги та недоліки процесу.
статья, добавлен 29.10.2020Побудова групами експертів, що взаємодіють за допомогою Internet, бази знань системи підтримки прийняття рішень, в якій використано метод динамічного цільового оцінювання альтернатив. Розгляд функцій та структури програмного забезпечення бази знань.
статья, добавлен 29.01.2019Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Підвищення продуктивності роботи розподілених баз даних комп’ютерних інформаційних систем за рахунок оптимізації розподілу даних по вузлах комп’ютерної мережі. Обчислювальні експерименти, визначення параметрів алгоритму, субоптимальний розподіл даних.
автореферат, добавлен 11.08.2014Побудова моделі централізації, управління ресурсами розподілених систем і визначення оптимального розподілу витрат згідно з даними моделями. Оцінка кордонів використання різного ступеня децентралізації управління залежно від нестабільності використання.
автореферат, добавлен 07.08.2014Системи пакетної обробки. Багатотермінальні системи. Глобальні мережі. Поява локальних мереж. Обчислювальні мережі - окремий випадок розподілених систем. Мультипроцесорні комп'ютери. Багатомашинні системи. Основні програмні й апаратні компоненти мережі.
реферат, добавлен 09.12.2013Встановлення властивостей динамічних коаліцій як спеціалізованого класу розподілених обчислювальних систем. Формалізація авторизаційних процесів, розробка методики реалізації систем подібного класу та демонстрація можливостей їх практичного застосування.
автореферат, добавлен 23.08.2014Дослідження питання захисту інформаційних ресурсів розподіленої обчислювальної мережі. Характеристика та механізми реалізації загроз у розподілених мережах. Використання недостатньої стійкості відповідних механізмів ідентифікації та автентифікації.
статья, добавлен 29.01.2019Розробка апарату засобів забезпечення відмовостійкості автоматизованих систем управління повітряним рухом, розподілених за ієрархічними рівнями. Аналіз методики діагностування несправностей в концепції на основі взаємної інформаційної узгодженості.
автореферат, добавлен 18.07.2015Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Метою наукового дослідження є вивчення поточних практик менеджменту розподілених команд, що працюють над ІТ-проєктами та проведення систематизації методологічних аспектів управління проектами в галузі інформаційних технологій та виявлення методик.
статья, добавлен 21.03.2024Розробка математичних моделей та інформаційної технології контролю в розподілених організаційно-технологічних системах. Аналіз стану створення інформаційних технологій контролю проходження дискретних матеріальних потоків. Адаптація програмних засобів.
автореферат, добавлен 29.08.2015Розробка та характеристика особливрстей методів примусового діагностування цифрових мікросхем, встановлених у модулях систем керування технічними об'єктами, які дозволяють мінімізувати загальний час діагностування за умов апріорної невизначеності.
автореферат, добавлен 29.08.2014Побудова типового ряду обчислювальних систем реального часу на модулях, які містять розподілені апаратні засоби взаємодії, контролю і автоматичного оновлення. Методи організації обміну даними в паралельних системах з неоднорідним доступом до пам'яті.
автореферат, добавлен 26.08.2014Розробка методів використання додаткових обмежень, що накладаються на резервовувані ресурси для забезпечення реальних потреб паралельних додатків, виконуваних у мережах grid. Дослідження та характеристика алгоритмів встановлення морфізму на графах.
автореферат, добавлен 29.08.2015Особливості створення та властивості розподілених комп’ютерних систем. Підходи до виміру інформації. Проблема забезпечення безпеки складових КРС. Необхідність інтегрування механізмів підвищення живучості РКС при їх включенні в інформаційні інфраструктури.
статья, добавлен 29.01.2019Розвиток теорії паралельних обчислювальних систем реального часу шляхом розробки нових ефективних методів і засобів прискорення обчислювальних процесів з паралелізмом. Підвищення надійності і забезпечення простоти адаптації до різних умов застосування.
автореферат, добавлен 30.10.2015Розробка методів математичного моделювання, спрямованих на дослідження радіоекологічного стану територіально-розподілених об'єктів для вирішення задач прогнозування можливих ситуацій. Вимоги до комп'ютерних методів моделювання радіоекологічних ситуацій.
автореферат, добавлен 12.08.2014Дослідження особливостей побудови і функціонування територіально-розподілених систем дистанційного навчання, їх недоліків та проблем, пов'язаних з їх функціонуванням. Розробка моделі тестування знань, у якій студент розглядається як "чорна скринька".
автореферат, добавлен 26.08.2015В науковій статті розглянуто актуальне питання балансування навантаження в розподілених обчислювальних системах. Проведено аналіз існуючих рішень, визначено завдання, проблематику і практичне значення. Запропоновано удосконалений спосіб балансування.
статья, добавлен 22.05.2022Характеристика методів та інформаційних технологій управління перетворенням інформації в розподілених інформаційних системах соціоекологічного моніторингу. Способи підвищення ефективності функціонування інформаційної системи багаторівневого моніторингу.
автореферат, добавлен 25.08.2015Дослідження корпоративних технологій зв'язку у медичній сфері. Комп’ютеризація інтелектуальних методів діагностування на базі накопичених знань експертів і поточних відомостей про стан людини. Огляд асоціативного і каузального підходів до діагностування.
реферат, добавлен 25.10.2012Розробка методів бінарного розрідженого розподіленого представлення та обробки інформації про прецеденти і аналоги. Дослідження методу пошуку схожих бінарних розріджених розподілених представлень за допомогою нейромережевої авто-асоціативної пам'яті.
автореферат, добавлен 29.09.2014Вивчення класифікації сучасних операційних систем. Спонтанний характер розробки ОС. Родина Microsoft Windows. Стандартизований доступ до периферійних пристроїв. Підтримка стеку мережевих протоколів. Системні бібліотеки та програми обслуговування.
курсовая работа, добавлен 30.08.2017