Отрывок: Перенесем правую часть в левую часть предиката: (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
Ключевые слова: исследование истинности логического выражения
сигнатура отношений сравнения
решающая функция
стандартные формы
структурное тестирование
Располагается в коллекциях: Выпускные квалификационные работы

Файлы этого ресурса:
Файл Размер Формат  
Мишенев_Вадим_Сергеевич_Разработка_подсистемы_приведения_предикатов.pdf1.98 MBAdobe PDFПросмотреть/Открыть  
Показать полное описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.