'

Кафедра прикладной математики

Понравилась презентация – покажи это...





Слайд 0

2012 год Кафедра прикладной математики Руководитель работы: д.т.н., проф. Фальк В.Н. Национальный исследовательский университет «МЭИ» Выпускная работа студента гр. А-13-08 Афанасьева Сергея на тему: «Реализация сетевой модели вычислений с аксиоматической и рекурсивной формами задания функций и предикатов»


Слайд 1

2 Цель и задачи работы. Цель работы: Создание системы функционально-логического программирования (СФЛП), основанной на формализме направленных отношений (НО) и обладающей развитыми интерфейсными средствами построения и отладки программ. Основные задачи: выделение подмножества языка FLOGOL и формальное описание семантики его конструкций; разработка основных принципов и метода компиляции запросов; разработка специальной технологии ввода программ и соответствующих интерфейсных средств.  


Слайд 2

Направленным отношением (НО) R арности (n', n'') на носителе D называется множество упорядоченных пар кортежей элементов D длины n' и n'', соответственно. Направленные отношения. 2. НО называется тотальным ( ), если 1. НО называется функциональным ( ), если 3. НО называется обратным для , если Свойства НО: 3


Слайд 3

4 Различные представления схем НО


Слайд 4

Композиции схем НО. 5


Слайд 5

6 Подстановка сетей


Слайд 6

7 Редукция сетей Редукция предназначена для трансформации сетей на основе знаний о свойствах интерпретации их элементов.


Слайд 7

8 Вычисление в базисе конструкторов


Слайд 8

9 Результаты работы В работе реализована базовая система функционально-логического программирования (СФЛП): созданы средства распознавания и анализа исходного кода программ на разновидности языка FLOGOL; разработана система структур внутренних представлений направленных отношений, выраженных в алгебраической и графической формах и их зависимостях. Реализована процедура вычислений направленных отношений на основе принципа сетевой резолюции.


Слайд 9

Заключение Понятие направленного отношения является универсальной основой представления различных семантических объектов, обеспечивающей возможность естественного выражения их свойств и композиций. Языки схем направленных отношений просты по формулировке, допускают компактную формализацию отношения схемной эквивалентности в форме логических исчислений, обладающих полнотой для подкласса ациклических схем и имеющих эффективные средства индуктивных доказательств для общего случая рекурсивных схем. Теория направленных отношений имеет тесную связь с логикой исчисления предикатов первого порядка, позволяющую по-новому интерпретировать известные процедуры логического вывода, в том числе и метод резолюции. Язык позволяет вносить в разрабатываемое описание предметной области дополнительную информацию о свойствах конкретной или всех допустимых интерпретаций, с целью обеспечения более высокой эффективности процесса выполнения запросов с использованием механизмов логического вывода. 10


Слайд 10

Спасибо за внимание!


×

HTML:





Ссылка: