Дослідження та обґрунтування методу тестової верифікації елементів розподілених баз знань
Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
Подобные документы
Етапи процесу створення тесту, його наукового обґрунтування, переробки та покращення. Розробка системи контролю знань студентів з дисципліни "Програмування". Програмна реалізація класу введення даних. Алгоритм роботи програми в режимі користувача.
курсовая работа, добавлен 19.05.2016Обґрунтування методологічних засад створення автоматизованої системи проектування територіально-розподілених систем обслуговування, до яких увійшли метод прецедентного проектування та метод отримання проектних рішень в умовах багатокритеріальності.
автореферат, добавлен 19.06.2018Комп'ютерні системи тестування та оцінювання знань. Розробка математичних моделей, методів і алгоритмів тестування та оцінювання знань. Створення автоматизованої системи тестування знань з використанням Інтернет-технологій та концепції зворотного зв'язку.
автореферат, добавлен 28.07.2014- 29. Модель ресурсів неоднорідної розподіленої комп’ютерної системи з локальними зв’язками та її граф
Використання штучного інтелекту в технологічних процесах. Розробка моделі неоднорідної розподіленої комп’ютерної системи з локальними зв’язками. Вдосконалення методу Монте-Карло для розпаралелення та швидкого пошуку правильних рішень у дереві інформації.
статья, добавлен 24.11.2020 Підходи до опрацювання програмою послідовності різноманітних контрольних наборів тестів з відомими результатами. Основні види робіт з тестування, його методи: статичні, верифікація та валідізація. Помилки та причини їх появи на етапах життєвого циклу.
лекция, добавлен 09.07.2017Комп’ютери як невід’ємний атрибут існування суспільства. Оцінка тестопридатності для моделюючого вузла обчислювальної структури. Функції часових і апаратурних витрат на діагностування ЕОА. Використання між тестової семантики. Наукова новизна результатів.
автореферат, добавлен 07.01.2014Створення програмних засобів контролю рівня знань користувача гібридної інтелектуальної системи. Інформаційні процеси передавання знань, методи тестування успішності навчання. Структура діалогової бази знань у термінах взаємодії двох програмних агентів.
автореферат, добавлен 24.07.2014- 33. Розробка педагогічного програмного засобу підтримки теми: "Логіка та інформація в початковій школі"
Вивчення загальних уявлень про логіку як науку, її історичних і сучасних аспектів, формування поняття інформації у шкільному курсі інформатики в початковій школі. Аналіз створення гри на розвиток логіки, мозаїки та тестової програми у середовищі "Лого".
курсовая работа, добавлен 10.06.2011 Дослідження проблем використання базових принципів сучасного формалізму дескриптивних логік в інтелектуальних навчальних системах, що використовують бази знань навчального контенту. Розробка системи отримання експертних знань для інтелектуальної системи.
статья, добавлен 27.09.2024Методи та принципи побудови Операційної Системи (ОС) комп'ютера та вимоги до неї. Поняття мультипрограмності та багатозадачності, присвоєння пріоритетів та синхронізація процесів системи. Мікроядерні та монолітні ОС, робота ядра та допоміжних модулів.
реферат, добавлен 19.06.2014Підвищення ефективності інноваційної діяльності в Україні. Визначення рівня інформаційного та інфраструктурного забезпечення сталого розвитку національної економіки. Формування механізмів збереження та верифікація даних у науково-технічної діяльності.
статья, добавлен 16.07.2023Обчислення завантаження ядра мультипроцесорної системи (МПС), ймовірності простою та середнього числа завдань у черзі процесорної системи. Обґрунтування необхідної кількості процесорів. Визначення залежності часу реакції ядра (МПС) від числа процесорів.
лабораторная работа, добавлен 30.03.2010Мережні операційні системи, адміністрування і управління мережею. Статична адаптація, ініційована проектувальником. Динамічна адаптація, ініційована адміністратором. Операційні системи з кешуванням. Рефлективні операційні системи. Адаптація на рівні ядра.
реферат, добавлен 21.05.2010Проблеми розробки й використання баз знань у прогресивних інформаційних технологіях. Математичне визначення моделі концептуалізації предметної області. Узагальнена структура бази знань ПрО. Елементи теорії подання знань із використанням набору аксіом.
автореферат, добавлен 29.01.2016Підхід до створення бази знань для експертної системи з профорієнтації по вибору спеціальності на основі нечіткої логіки. Три моделі її побудови, характеристика ефективності та вибір найкращої. Аналіз процесу створення бази знань по конкретній моделі.
статья, добавлен 06.02.2019Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Створення корпоративної бази знань із використанням у якості базового компонента документоорієнтованого інформаційного сховища. Нарощення можливостей доступу користувачів до бази знань із мінімальними витратами. Аналіз застосування файлової системи.
статья, добавлен 29.01.2019Дослідження питання захисту інформаційних ресурсів розподіленої обчислювальної мережі. Характеристика та механізми реалізації загроз у розподілених мережах. Використання недостатньої стійкості відповідних механізмів ідентифікації та автентифікації.
статья, добавлен 29.01.2019Характеристика методу і засобів для виділення знань з природномовного тексту. Аналіз багатоетапного алгоритму, що містить ієрархічну кількарівневу процедуру розпізнавання понять, зв’язків, предикатів та правил, які в результаті вносяться до онтології.
статья, добавлен 29.08.2016Описання побудови моделі представлення знань в адаптивних системах дистанційного навчання. Основні етапи функціонування бази знань системи (збір, збереження, пошук, адаптивна видача навчального матеріалу). Основні переваги моделі конструювання бази знань.
статья, добавлен 30.01.2016Метод ефективного кодування та відтворення знань на основі морфологічного та семантичного аналізу текстових даних і аналізу складних інформаційних об'єктів. Аналіз статистик для характеристик релевантності та швидкості алгоритмів обробки інформації.
автореферат, добавлен 27.02.2014Розробка методу переміщення елементів складної технічної системи з динамічною структурою. Забезпечення досягнення необхідного рівня ефективності автоматизації в умовах зміни просторово-часового розподілу об’єктів впливу з високим рівнем невизначеності.
статья, добавлен 14.07.2016Потоки виконання в розподілених і нерозподілених системах. Побудова розподіленої системи управління процесами на основі моделі "клієнт-сервер". Моделі перенесення коду, особливості перенесення коду в гетерогенних системах. Технологія програмних агентів.
лекция, добавлен 30.08.2017Дослідження комплексної моделі подання знань, що складається із граматики, числення предикатів. Алгоритми керування логічним висновком методом резолюцій у численні предикатів за допомогою структуризації і лексичних перетворень, їх вдосконалення.
автореферат, добавлен 27.07.2014