- •1. Теория направленных отношений.
- •1.1. Основные понятия.
- •2.2. Языки и схемы направленных отношений.
- •2. Сетевое представление направленных отношений.
- •2.1. Формальное определение сетевого представления НО.
- •2.2. Графическая интерпретация сетевого представления.
- •2.3. Вычисление НО на основе КССГ.
- •2.4. Стратегии вычисления НО.
- •3.2. Синтаксис языка и семантика S-FLOGOL.
- •4.1. Базовые средства языка.
- •4.2. Средства схемной надстройки языка S-FLOGOL.
- •4.3. Системные отношения.
- •5. Интегрированная среда разработки программ.
- •5.1. Центральный модуль.
- •5.2. Текстовый редактор.
- •5.3. Графический редактор.
- •5.4. Вычисление запроса.
- •5.5. Отладка программ.
- •Список литературы
Список литературы
1.Фальк В.Н. Теория направленных отношений и ее приложения // Дисс. … докт. техн. наук. М: – МЭИ. -2001.
2.Кутепов В.П., Фальк В.Н. Направленные отношения: теория и приложения // Изв. РАН. Техническая кибернетика, 1994. №4,5.
3.Фальк В.Н. Языки схем отношений //Формальные модели параллельных вычислений. Новосибирск, 1988.
4.Фальк В.Н. FLOGOL – входной язык системы функционально-логического программирования // Сб. науч. статей к НТК МИРЭА (ТУ).1998.
5.Кутепов В.П., Фальк В.Н. Теория направленных отношений и логика // Изв. РАН. Теория и системы управления, 2000. №5.
6.Бебчик А.М., Бебчик А.М. Модель вычисления запроса языка функционально-логического программирования S-FLOGOL // Компьютерное моделирование 2004: Труды 5-й Международной научнотехнической конференции. Часть 1. СПб.: Изд-во «Нестор», 2003. –с.279- 286.
7.Бебчик Ал.М., Бебчик Ан.М., Фальк В.Н. Система функциональнологического программирования S-FLOGOL // Девятая Национальная конференция по искусственному интеллекту с международным участием КИИ-2004 (28 сентября – 2 октября 2004 г., Тверь): Труды конференции. В 3-х т. Т.1. М.:Физматлит, 2004, –с.210–217.
8.Бебчик Ал.М., Бебчик Ан.М., Фальк В.Н. Инструментальные средства
разработки и отладки программ системы функционально-логического программирования S-FLOGOL // Девятая Национальная конференция по
искусственному интеллекту с международным участием КИИ-2004 (28
сентября – 2 октября 2004 г., Тверь): Труды конференции. В 3-х т. Т.3.
М.:Физматлит, 2004, –с.896–901.
51
9.Бебчик Ал.М., Бебчик Ан.М. Особенности программирования на функционально-логическом языке S-FLOGOL // Труды международной конференции «Информационные средства и технологии». 12–14 октября
2004 г., в 3-х т.т. Т3. – М.:Янус-К, 2004, –с.88-91.
10.Бебчик Ан.М., Бебчик Ал.М. Особенности визуализации объектов графического интерфейса FLOGOL-системы функционально-логического программирования. //Международный форум информатизации-
2002:Доклады международной конференции "Информационные средства и технологии". 14-16 октября 2003г., в 3-х т.т. Т3.- М.:Янус-К, 2003. - 221с.
11.Бебчик Ал.М. Контекстно-зависимый структурный редактор выражений системы функционально-логического программирования высокого уровня.
//Международный форум информатизации-2002: Доклады международной конференции "Информационные средства и технологии". 14-16 октября
2003г., в 3-х т.т. Т3.- М.:Янус-К, 2003. - 221с.
12.Бебчик Ал.М. Алгоритм автоматического структурирования текста программ языка программирования S-FLOGOL. //Микроэлектроника и информатика -2004. 11-я Всероссийская межвузовская научнотехническая конференция студентов и аспирантов: Тезисы докладов. -
М.:МИЭТ, 2004. - 444 с.
13.Бебчик Ал.М. Альтернативно-списковая грамматика как основа технологии автоматизированного построения программ языка функционально-логического программирования S-FLOGOL // Системы искусственного интеллекта и нейроинформатика: труды международной конференции КЛИН-2004.Ульяновск:УлГТУ, 2004, т.3.–с.27-29.
14.Бебчик Ал.М. Сетевой метод компиляции программ языка
функционально-логического программирования S-FLOGOL// «Информационные технологии в науке, образовании и
производстве»(ИТНОП). Материалы международной научно-технической
конференции. 11-12 мая 2004г., Орел: ОрелГТУ, 2004, т.5.–с.164-168.
15.Бебчик Ан.М. Реализация динамики при визуализации сетевого представления схем направленных отношений. // Международный форум
52
информатизации-2002:Доклады международной конференции "Информационные средства и технологии". 14-16 октября 2003г., в 3-х т.т.
Т3.- М.:Янус-К, 2003. - 221с.
16.Бебчик Ан.М. Технология графического построения функциональнологических программ на языке S-FLOGOL // «Информационные технологии в науке, образовании и производстве»(ИТНОП). Материалы международной научно-технической конференции. 11-12 мая 2004г., Орел: ОрелГТУ, 2004, т.5.–с.175-179.
17.Бебчик Ан.М. Проблемы реализации ядра графического редактора системы программирования на языке S-FLOGOL. //Микроэлектроника и информатика -2004. 11-я Всероссийская межвузовская научно-
техническая конференция студентов и аспирантов: Тезисы докладов. -
М.:МИЭТ, 2004. - 444 с.
18.Бебчик Ан.М. Принципы автоматического формирования графического изображения сетевого представления направленных отношений в системе функционально-логического программирования // Системы искусственного интеллекта и нейроинформатика: труды международной конференции КЛИН-2004.Ульяновск:УлГТУ, 2004, т.3.–с.30-32.
53