Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
Подобные документы
Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Визначення факторів впливу на живучість і дослідження існуючих засобів моніторингу розподілених комп’ютерних мереж. Головні вимоги до систем моніторингу факторів впливу на живучість. Розробка узагальненої архітектури комплексної системи моніторингу.
статья, добавлен 29.01.2019- 103. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Аналіз існуючих підходів у проектуванні сучасних розподілених систем імітаційного моделювання (РСІМ). Удосконалення методу синхронізації модельного часу між агентами та реалізація їх взаємодії в РСІМ. Створення транслятора імітаційного моделювання GPSS.
автореферат, добавлен 18.07.2015Застосування теорії двоїстості для задач лінійного та нелінійного програмування, теореми двоїстості. Симплексний метод як метод отримання розв’язку прямої та двоїстої задачі. Постановка економіко-математичної задачі із застосуванням теорії двоїстості.
курсовая работа, добавлен 08.03.2015Вивчення структури, засобів і методів підвищення економічності перетворювачів кодів. Характеристика метода оцінки швидкодії багатокрокових та багатоблокових перетворювачів кодів за методом накопичення еквівалентів за числом тактів їх перетворення.
автореферат, добавлен 30.10.2015Збір інформації - апаратна, алгоритмічна реалізація первинного перетворення фізичних величин, що кількісно характеризують контрольовані параметри, для отримання сигналів. Методика визначення кількості інформаційних ресурсів з різними ймовірностями.
статья, добавлен 07.07.2017Аналіз відомих класичних методів ідентифікації на предмет їх придатності до використання логіко-лінгвістичної інформації про об’єкт моделювання. Створення спеціалізованого програмного забезпечення для автоматизації процедури отримання баз нечітких знань.
автореферат, добавлен 24.06.2014Розробка методів та алгоритмів підвищення ефективності інформаційної взаємодії інтегративних компонентів розподілених систем і мереж комп'ютерів. Оптимізація транспортування даних та забезпечення необхідного рівня якості обслуговування системних ресурсів.
автореферат, добавлен 29.08.2014Аналіз природних властивостей декларативних і процедурних знань з метою виявлення структурних, логічних, семантичних і обчислювальних властивостей, які повинна мати модель подання знань. Програмно-інструментальне середовище подання і обробки знань.
автореферат, добавлен 26.09.2015Основні недоліки існуючих підходів реінжинірингу інформаційних систем. Дослідження об’єктно-орієнтованого методу реінжинірингу інформаційної системи з використанням об’єктів управління. Визначення часових характеристик об’єктно-орієнтованого методу.
статья, добавлен 12.08.2016- 113. Методи та засоби посегментного контролю наближених результатів у матричних обчислювальних пристроях
Питання робочого діагностування сучасних однотактних матричних обчислювальних пристроїв для обробки наближених даних. Розробка методів та засобів посегментного контролю результатів обробки мантис, що забезпечує задані ймовірності виявлення помилок.
автореферат, добавлен 29.08.2015 Аналіз фундаментальних положень теорії інформації в автомобільній та транспортно-дорожній галузі. Основи кодування інформації, статистичні та словникові алгоритми стиснення даних, класифікація і загальна характеристика систем стиснення інформації.
статья, добавлен 25.11.2016Розробка високопродуктивних інформаційно-обчислювальних систем АС УПР, що працюють в умовах критичного застосування. Математичні моделі процесів, що відбуваються в них у штатних режимах та в разі виникнення екстремальних ситуацій, зокрема, конфліктів ПС.
автореферат, добавлен 29.07.2014Розробка інформаційної та математичної моделі розподіленої комп’ютерної системи з енергообмеженими вимірювальними модулями. Оптимізація енергоспоживання віддалених модулів. Аналіз результатів експерименту на базі віддалених п’єзоелектричних модулів.
статья, добавлен 25.10.2016Розробка математичних моделей та оптимізаційних алгоритмів при комплексному аналізі, проектуванні та експлуатації складних систем з високою ціною відмови. Дослідження методів підвищення їх надійності та забезпечення довготривалих термінів працездатності.
автореферат, добавлен 26.02.2015Характеристика хмаркових систем зберігання даних як перспективного напрямку розвитку моделей зберігання. Аналіз архітектурних підходів до побудови хмаркових сховищ даних. Дослідження зосереджених та розподілених сховищ й ефективності їх використання.
статья, добавлен 29.08.2016Характеристика і сутність основних джерел інформації в системі інформаційно-аналітичних досліджень. Особливості друкованих і електронних джерел інформації. Аналіз Інтернету з точки зору виявлення інформації для інформаційно-аналітичних досліджень.
курсовая работа, добавлен 19.07.2011Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015- 121. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм
Розробка поведінкових моделей троянських програм шляхом урахування їхнього функціонального навантаження. Розробка адаптивної інформаційної технології діагностування комп'ютерних систем на наявність троянських програм та дослідження її ефективності.
автореферат, добавлен 12.07.2015 Вирішення актуальної наукової проблеми розробки моделі та інформаційної технології на основі технології Total Quality Management розподіленого управління розвитком ієрархічної соціально-економічної системи на прикладі вищого навчального закладу України.
автореферат, добавлен 30.08.2014Аналіз існуючих автоматизованих систем контролю знань, обробки природномовної інформації. Дослідження лінгвістичних моделей подання знань з урахуванням синонімії понять. Розробка алгоритму обробки текстової відповіді та його комп’ютерна реалізація.
автореферат, добавлен 24.08.2015Пошук і збір інформації, її накопичення, передача, отримання, обробка і використання як основні інформаційні процеси. Призначення матеріальної та інформаційної комунікації, особливості телекомунікації. Склад локальних і глобальних комп'ютерних мереж.
презентация, добавлен 28.03.2019Основні принципи об’єктно-орієнтованого програмування, типові середовища й особливості мови С++. Підходи та методи розробки калькулятора. Види алгоритмів використовувані при арифметичних обчисленнях. Опис програми та результати, одержані при її виконанні.
курсовая работа, добавлен 06.06.2013