Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
Подобные документы
Аналіз підходів створення мережних засобів систем автоматичного проектування. Розробка підходів для перепроектування та надання віддаленого доступу. Вивчення інструментарію розподілених комплексів. Підвищення ефективності протоколів транспортного рівня.
автореферат, добавлен 28.07.2014- 77. Локальні мережі
Сутність та значення обчислювальних й локальних мереж та систем, область їх застосування і відмінні риси, передаюче середовище, метод доступу, керуючі вузли. Характеристика основних топологій мереж. Аспекти автоматизації обліково–обчислювальних робіт.
реферат, добавлен 26.02.2011 - 78. Метод оптимізації ярусно-паралельної форми подання задачі для реконфігурованих обчислювальних систем
Методика оптимізації структури інформаційного графа задачі, поданого в ярусно-паралельній формі, що враховує вимоги мінімізації часу її виконання та обмеження апаратних ресурсів, і дозволяє підвищити продуктивність реконфігурованих обчислювальних систем.
статья, добавлен 29.01.2017 Огляд новітніх процесів створення програмної складової інформаційних технологій, здатної пристосовуватися до національно-культурних обмежень. Методики, методи та схеми побудови різновидів програмних систем, що функціонують за Еталонною моделлю POSIX-OSE.
автореферат, добавлен 28.07.2014Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Аналіз застосування цифрових засобів генерування, фільтрації, виявлення тональних сигналів для підвищення достовірності ідентифікації об’єктів комп’ютеризованих систем контролю параметрів енергоспоживання. Апробація нових уніфікованих цифрових пристроїв.
автореферат, добавлен 28.08.2015Експериментальна розробка теоретичних і практичних основ побудови розподілених систем імітаційного моделювання на базі вдосконалення формального апарату Е-мереж за рахунок застосування додаткових механізмів синхронізації в рамках консервативного підходу.
автореферат, добавлен 26.08.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Аналіз основних ознак та властивостей складних організаційних систем та особливостей проведення обробки інформації і прийняття управлінських рішень в них. Розробка методу та відповідного алгоритму обробки інформації на основі деревоподібних баз знань.
автореферат, добавлен 25.02.2015Розробка моделі бази знань та архітектури експертної системи діагностування цифрових та мікропроцесорних пристроїв. Дослідження основних переваг прогресивних інформаційних технологій. Алгоритми функціонування модулів експертної системи діагностування.
автореферат, добавлен 20.04.2014Розроблення концепції візуального підходу до проектування об'єктно-орієнтованих розподілених програмних систем. Представлення декларативної семантики контурних Р-схем на основі графової алгебри процесів. Визначення протоколів синхронізації класів.
автореферат, добавлен 15.11.2013Оцінка ефективності комп’ютерної обробки сенсорних даних у розподіленій системі автоматичного контролю. Обґрунтування параметрів вихідного сигналу, що базується на зміні режиму розпізнавання інформації. Огляд програмного забезпечення сервера системи.
автореферат, добавлен 06.11.2013Поняття "політика безпеки", міжнародні стандарти та аналіз ризику безпеки інформаційно-обчислювальних систем. Організація системи безпеки інформації на підприємстві та основні форми її захисту (криптографічне закриття або захист операційних систем).
контрольная работа, добавлен 29.01.2010Сутність та значення первинної інформації, основні методи її збору (опитування, спостереження, експеримент, імітація-моделювання), аналіз можливостей мережі Інтернет у цій сфері. Характеристика Інтернет-ресурсів при проведенні маркетингових досліджень.
реферат, добавлен 26.11.2009Створення умов для розробки сучасних інформаційних засобів, що дозволяють автоматизувати і тим самим більш ефективно реалізовувати процеси управління. Розгляд систем електронного документообігу, які забезпечують обмін даними між окремими підрозділами.
статья, добавлен 24.07.2024Аналіз сучасних мікропроцесорних пристроїв та їх особливостей як об'єктів діагностування. Характеристика відомих методів генерації тестів та області застосування. Особливості розробки структурно-поведінкової моделі МПП як об'єкту діагностування.
автореферат, добавлен 10.01.2014Захист інформації в телефонних лініях. Аналіз ризику безпеки інформаційно-обчислювальних систем. Криптографічний алгоритм 3DES: історичні факти, реалізація, надійність використання. Розробка фізичної моделі пристрою зчитування інформації з компакт-диску.
курсовая работа, добавлен 15.10.2012Розгляд особливостей експертних систем технічного діагностування як програмних систем. Дослідження методів формування вимог до програмного забезпечення та можливості їх застосування під час формування вимог до експертних систем технічного діагностування.
статья, добавлен 14.01.2017Посимвольне стиснення інформації в адресних базах даних (БД) на основі модифікованого алгоритму Хаффмана. Обґрунтування використання алгоритму для покращення показників ефективності стиснення даних в БД для зменшення вартості їх зберігання та передачі.
статья, добавлен 30.01.2017Побудова комп’ютерної моделі. Проведення експериментів, орієнтованих на розв’язання задач моделювання. Валідація апріорних вхідних даних. Розширення можливостей імітаційного інструментарію на основі сучасних мов та технологій розподілених обчислень.
автореферат, добавлен 14.09.2015Аналіз динаміки характеристик спеціалізованих комп’ютерних систем. Використання мультиагентних технологій як засобу інтелектуалізації процесу багатокритеріального діагностування. Розподіл етапів і задач між агентами. Забезпечення міжагентної взаємодії.
автореферат, добавлен 25.08.2015Історичні етапи розвитку інформаційних систем. Поняття про інформаційні процеси. Одержання та зберігання (накопичення) інформації. Складові сучасних інформаційних технологій та їх характеристика. Напрями використання комп'ютера в навчальному процесі.
лекция, добавлен 09.10.2014Розробка структурно-категорних математичних моделей процесів прямого проектування розподіленої бази даних та її елементів. Синтез логічної та фізичної моделей, що враховують зв’язність таблиць і ступінь децентралізації бази даних, що проектується.
автореферат, добавлен 07.03.2014- 99. Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу
Аналіз методу захисту інформацій від несанкціонованого доступу. Створення шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Приклад застосування методу для розробки алгоритму реалізації послуги "відновлення після збоїв".
статья, добавлен 01.03.2017 Огляд процесу розроблення моделей і алгоритмів діагностування локальних обчислювальних мереж і їх компонентів на основі послідовного застосування методологій безумовного і зондового пошуку дефектів для зменшення витрат на відновлення їх працездатності.
автореферат, добавлен 27.02.2014