Использование возможностей параллельных вычислений в синтезе функциональных программ. Подготовил: Фастовец Н. Н. Научный руково

Здесь вы можете просмотреть и скачать доклад по теме «Использование возможностей параллельных вычислений в синтезе функциональных программ. Подготовил: Фастовец Н. Н. Научный руково», размещенный в категории «Новости», который поможет вам успешно провести свое мероприятие или подготовиться к занятию.

Информация о презентации

Использование возможностей параллельных вычислений в синтезе функциональных программ. Подготовил
Раздел:Новости
Слайдов:14
Слов:377
Символов:3157
Просмотров:50
Скачиваний:0
Загрузка:онлайн
Размер:477.00 kB
Тип:ppt / pptx для PowerPoint/Impress
Теги:#синтез, #таблиц, #вспомогательн, #автоматическ, #параллельн, #управля, #доказательств, #программ, #вывод, #synthesis

Похожие презентации по новостям

Готовые презентации по новостям

Содержание слайда №1 (171 знак, 21 слово)

Использование возможностей параллельных вычислений в синтезе функциональных программ. Подготовил: Фастовец Н. Н. Научный руководитель: Ассистент, к. ф-м. н. Корухова Ю. С.

Содержание слайда №2 (193 знака, 19 слов)

Содержание Автоматический синтез программ Метод дедуктивных таблиц Вспомогательные таблицы Параллельный вывод вспомогательных функций Параллельный управляемый и автоматический синтез Заключение

Содержание слайда №3 (162 знака, 17 слов)

Автоматический синтез программ Предпосылки: Возрастание сложности ПО Возрастание требований к надежности ПО Три подхода: Индуктивный Дедуктивный Трансформационный

Содержание слайда №4 (231 знак, 32 слова)

Метод дедуктивных таблиц - 1 Спецификация программы в виде логической формулы: ∀x ∃y Q[x, y] где x – входная переменная, y – выходная переменная, Q – логическая формула, устанавливающая связь между входными и выходными переменными.

Содержание слайда №5 (28 знаков, 4 слова)

Метод дедуктивных таблиц - 2

Содержание слайда №6 (253 знака, 39 слов)

Вспомогательные таблицы - 1 Условие вывода вспомогательной таблицы где G, F – логические выражения, a – входной параметр, t[a], t’[a] – термы над входным параметром, x, x’ – выходные переменная, r[a, x], r’[a, x’] – выходные термы. F содержит реплику G.

Содержание слайда №7 (136 знаков, 17 слов)

Вспомогательные таблицы - 2 Исходная цель получаемая лемма имеющаяся в основной таблице строка (i) их резолюция завершает доказательство

Содержание слайда №8 (254 знака, 27 слов)

Параллельный вывод вспомогательных функций - 1 Основан на независимости доказательства во вспомогательной таблице Позволяет одновременное проведение двух веток доказательства Устраняет потерю времени, связанную с неверным выбором стратегии доказательства

Содержание слайда №9 (46 знаков, 5 слов)

Параллельный вывод вспомогательных функций - 2

Содержание слайда №10 (166 знаков, 18 слов)

Параллельный управляемый и автоматический синтез - 1 Может ускорить решение конкретной задачи Позволяет совместить преимущества управляемого и автоматического синтеза

Содержание слайда №11 (52 знака, 6 слов)

Параллельный управляемый и автоматический синтез - 2

Содержание слайда №12 (173 знака, 16 слов)

Заключение Использование возможностей параллельных вычислений позволяет: Одновременное проведение двух веток доказательства Совмещение управляемого и автоматического синтеза

Содержание слайда №13 (29 знаков, 4 слова)

Спасибо за внимание! Вопросы?

Содержание слайда №14 (1263 знака, 152 слова)

Литература Manna Z. , Waldinger R. Fundamentals of Deductive Synthesis // Transactions on software engineering. 1992. 18. № 8. P. 674-704 Ayari A. , Basin D. A High-Order Interpretation of Deductive Tableau // Journal of Symbolic Computation. 2001. 11. P. 1-32 Kreitz C. Program Synthesis // Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications. Secaucus: Springer. 1998. P. 105-134. Averin A. , Vagin V. The Development of Parallel Resolution Algorithms Using the Graph Representation // International Journal “Information Theories & Applications”. 2006. 13. № 2. P 263-271. Traugott J. Deductive Synthesis of Sorting Programs // Journal of Symbolic Computation. 1986. 7. P. 533-571 Большакова Е. И. , Мальковский М. Г. Автоматический Синтез Программ. М. : Издательство Московского универсистета. 1987. 114 с. Flener P. Achievements and Prospects of Program Synthesis // Computational Logic: Logic Programming and Beyond. Heidelberg: Spriger Berlin, 2002. P. 1-43 Стюарт Рассел (Stuart J. Russel), Питер Норвиг (Peter Norvig) Искуственный интеллект: современный подход, 2-е издание. Перевод с английского — М. : Издательский дом «Вильямс». 2007. 1408 с.