Технология графо-символического программирования Кафедра ИСТ Самарского государственного аэрокосмического университета.

Презентация:



Advertisements
Похожие презентации
Разработка программного обеспечения. МИССИЯ Работая в тесном взаимодействии с клиентом, превращая инновации в реальность, мы создаем новое качество жизни.
Advertisements

Применение технологии виртуальных миров при построении интерактивных обучающих систем Самарский государственный аэрокосмический университет имени академика.
Александр Николаевич Островский. Московский Государственный Университет (старое здание) Москва.
Шурыгин Виктор Юрьевич к. ф.-м.н., доцент кафедры физики и информационных технологий Елабужского института КФУ viktor
ОБРАБОТКА ИНФОРМАЦИИ И ПОЛУЧЕНИЕ НОВОЙ ИНФОРМАЦИИ.
Виртуальная лаборатория для первоначального обучения проектированию программ Н. Н. Красильников, В. Г. Парфенов, Ф. Н. Царев, А. А. Шалыто Кафедра компьютерных.
Применение генетического программирования для реализации систем со сложным поведением Санкт-Петербургский Государственный Университет Информационных Технологий,
Гиперкомплексные числа Самарский Государственный Аэрокосмический Университет имени академика С.П. Королева (национальный исследовательский университет)
Презентация дисциплины по выбору Для студентов, обучающихся по направлению «Экономика» Преподаватель: профессор кафедры «Информационные технологии»
БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ФАКУЛЬТЕТ ПРИКЛАДНОЙ МАТЕМАТИКИ И ИНФОРМАТИКИ КАФЕДРА ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ Блатун Алексей Викторович 9 группа.
Нижегородский государственный университет им. Н.И.Лобачевского Факультет Вычислительной математики и кибернетики Образовательный комплекс Введение в методы.
Александр Евгеньевич Шухман, к.п.н., декан вечернего отделения Оренбургского педагогического университета Подготовка учителя информатики к организации.
Санкт-Петербургский государственный университет информационных технологий, механики и оптики © Центр дистанционного обучения, 2008 Информационно-образовательная.
Модуль анализа и планирования содержания учебных курсов для LCMS 1С:Электронное обучение. Конструктор курсов И. О. Семенов, Г. С. Сиговцев Петрозаводский.
Куратор: Ямпольская Л.И., директор УЦ ТПУ&Softline, тел.раб.(3822) Томск Национальный исследовательский Томский политехнический.
Презентация дисциплины по выбору Для студентов, обучающихся по направлению «Прикладная информатика» (магистерская программа «Прикладная информатика.
Подготовили : Аксёнов Михаил и Смирнов Александр учащиеся МОУ СОШ 2.
«Мониторинг – СППР» Аппаратно – программный модуль ситуационного анализа и информационной поддержки принятия решений при разработке и реализации отраслевых.
Слайд 1 создание адаптеров для использования пакетов инженерного моделирования и анализа в грид- среде Руководитель: доктор физ.-мат. наук, профессор.
Структурный подход к проектированию Информационных систем Этапы структурного анализа и проектирования Построение контекстной диаграммы (КД) Построение.
Транксрипт:

Технология графо-символического программирования Кафедра ИСТ Самарского государственного аэрокосмического университета

Данные ПО Словарь данных ПО Граф управления БМ Библиотека базовых модулей D1 < D2 D3 >= D4 D4 != D2 Система логики Концепция технологии ГСП

Программирование в технологии ГСП Данные ПО Словарь данных ПО T = {t1, t2,..., tm} - множество типов данных ПО D = {d1, d2,..., dn} – множество данных ПО 1

Программирование в технологии ГСП 2 БМ Библиотека базовых модулей B = {B1, B2,..., BN} Bi = Tin -> Tout – базовый модуль Tin – мн-во входных типов данных БМ Bi Tout - мн-во выходных типов данных БМ Bi

Программирование в технологии ГСП 3

4 Актор Агрегат Предикат Данные ПО

Параллельное программирование в технологии ГСП параллельная дуга терминирующая дуга Агрегат 0 (граф-программа) Граф синхронизации агрегата 0 Синхронизация

Преимущества технологии ГСП Наглядность Легкость модификации, развития и поддержки Независимость от программно-аппаратной платформы Надежность Возможность создания параллельных программ

Контактная информация Самарский государственный аэрокосмический университет Коварцев Александр Николаевич Кафедра информационных систем и технологий Жидченко Виктор Викторович