Отрывок: Перенесем правую часть в левую часть предиката: (x-1>0 y- x =0) ∧ (¬(y-5≥0) ¬(x-y-2<0)). Использую соответствующие замены, выразим предикаты через базисные отношения < и ≤: (1-x<0 y- x ≤ 0 ∧ x- y ≤ 0) ∧ (5-y<0 2-x- y≤0). 2.7 Граф вычислительного процесса для решателя в сигнатуре отношений сравнен...
Название : | Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения |
Авторы/Редакторы : | Мишенев В. С. Коварцев А. Н. Министерство образования и науки Российской Федерации Самарский национальный исследовательский университет им. С. П. Королева (Самарский университет) Институт информатики математики и электроники |
Дата публикации : | 2018 |
Библиографическое описание : | Мишенев, В. С. Разработка подсистемы приведения предикатов к стандартной форме для решателя в сигнатуре отношений сравнения : вып. квалификац. работа по спец. "Фундаментальная информатика и информационные технологии" / В. С. Мишенев ; рук. работы А. Н. Коварцев ; М-во образования и науки Рос. Федерации, Самар. нац. исслед. ун-т им. С. П. Королева (Самар. ун-т), Ин-т информатики, математики и электроники, Фак-т инфор. - Самара, 2018. - on-line |
Аннотация : | Целью работы является решение задачи приведения логических выражений, заданных в узлах графа управления алгоритма, к стандартизованному виду для автоматической компиляции решающей функции, что позволяет организовать проверку корректности логических условий программных приложений.В процессе работы был разработан алгоритм приведения правильно-построенных логических функций первого порядка к стандартной форме в сигнатуре отношений сравнения. Была разработана соответствующая подсистема на языке программирования TurboProlog. Подсистема была протестирована на наборе тестовых заданий. |
Другие идентификаторы : | RU\НТБ СГАУ\ВКР20180619144013 |
Ключевые слова: | исследование истинности логического выражения сигнатура отношений сравнения решающая функция стандартные формы структурное тестирование |
Располагается в коллекциях: | Выпускные квалификационные работы |
Файлы этого ресурса:
Файл | Размер | Формат | |
---|---|---|---|
Мишенев_Вадим_Сергеевич_Разработка_подсистемы_приведения_предикатов.pdf | 1.98 MB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.