Регистрация / Вход
Прислать материал

Развитие алгоритмического и программного обеспечения высокопроизводительных вычислительных кластеров для анализа устойчивости и интеллектуального управления процессами, описываемыми сложными количественно-качественными математическими моделями логико-динамической природы.

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.434.11.1001
Организация
ИДСТУ СО РАН

создание алгоритмического и программного обеспечения высокопроизводительных вычислительных кластеров для анализа и синтеза интеллектуальных систем навигации и управления сложными многокомпонентными объектами.

Этапы проекта

1
06.05.2005 - 09.12.2005
1. Для дискретных (цифровых) систем управления нелинейными движущимися объектами разработано типовое представление математических моделей, учитывающее параметрические, координатные и иные неопределенности объекта, ограничения на управления, нестабильность и погрешности элементов, многократное квантование сигналов по уровню и времени, разнообразные возмущения, ориентированное на строгое исследование их динамических свойств методом редукции.
2. Получены новые критерии асимптотической устойчивости и диссипативности монотонных разностных уравнений с выпуклостью, применяемых как редуцированные системы для анализа непрерывно-дискретных моделей.
3. Разработана приоритетная конструктивная технология и основанные на методе редукции с векторными функциями Ляпунова алгоритмы анализа свойств устойчивости, диссипативности и других динамических свойств с вычислением гарантированных оценок точности, допустимых начальных состояний, достижимости, максимальных фазовых отклонений, времени регулирования и других прямых показателей качества нелинейных непрерывно-дискретных систем управления с неопределенностями, а также параметрического синтеза систем с субоптимальными оценками качества.
4. Предложен оригинальный подход к построению оценок динамических показателей при исследованиях систем управления нелинейными объектами со скачкообразными изменениями состава и структуры вследствие отказов, реконфигурации, логического управления, модернизации и развития системы.
Развернуть
2
01.01.2006 - 30.06.2006
Разработано специализированное логическое исчисление позитивно-образованных формул (по-формул), в котором возможен немонотонный вывод, естественно возникающий в задачах планирования движения АНПА. За основу логического конструктивного исчисления, которое встраивается в бортовую систему планирования, принято разработанное ранее конструктивное исчисление Jс, модифицированное в направлении учета устаревания (забывания) не нужных фактов, необходимого при конструктивном отыскании планов действий АНПА и обеспечивающего сокращение вывода. Доказаны: корректность правила вывода, полнота предложенного исчисления. Предложена некоторая стратегия вывода, с учетом которой формализацию задачи можно существенно упростить за счет отсутствия временн'ых переменных.
Программно реализован система-прувер предложенного логического исчисления. С помощью этого прувера решен тестовый пример поднятия груза двумя подводными роботами, который показал работоспособность предлагаемого подхода логического отыскания планов.
Разработан и программно реализован имитатор внешней среды, учитывающий воздействия, влияющие на динамику движения аппарата (например, придонные течения);
воздействия, регистрируемые различными сенсорами аппарата; условия внешней среды, влияющие на распространения сигналов при передаче сообщений. Использование графической библиотеки DirectX позволяет быстро переносить программное обеспечение на другие платформы.
Реализованы алгоритмы функционирования АНПА в имитаторе внешней среды. Рассмотрен пример динамического перепланирования миссий АНПА в зависимости от его текущего состояния и ценностей целей исследования.
Развернуть
3
01.07.2006 - 31.10.2006
АННОТАЦИЯ

1. Для дискретных (цифровых) систем управления нелинейными движущимися объектами разработано типовое представление математических моделей, учитывающее параметрические, координатные и иные неопределенности объекта, ограничения на управления, нестабильность и погрешности элементов, многократное квантование сигналов по уровню и времени, разнообразные возмущения и другие факторы, неизбежные для реальных объектов, ориентированное на строгое исследование их динамических свойств методом редукции.
2. Получены новые критерии асимптотической устойчивости и диссипативности монотонных разностных уравнений с выпуклостью, применяемых как редуцированные системы для анализа непрерывно-дискретных моделей.
3. Разработана приоритетная конструктивная технология и основанные на методе редукции с векторными функциями Ляпунова алгоритмы анализа свойств устойчивости, диссипативности и других динамических свойств с вычислением гарантированных оценок точности, допустимых начальных состояний, достижимости, максимальных фазовых отклонений, времени регулирования и других прямых показателей качества нелинейных непрерывно-дискретных систем управления с неопределенностями, а также параметрического синтеза систем с субоптимальными оценками качества.
4. Предложен оригинальный подход к построению оценок динамических показателей при исследованиях систем управления нелинейными объектами со скачкообразными изменениями состава и структуры вследствие отказов, реконфигурации, логического управления, модернизации и развития системы.
5. Рассмотрены возможности расширения потенциала управления автономными движущимися объектами путем использования некоторых новых методов представления и обработки знаний для повышения степени интеллектности верхних уровней систем управления.
6. Предложены оригинальные языковые средства логического моделирования автономных движущихся объектов и представления задач интеллектуального управления и навигации. Выделены их преимущества и ограничения в сравнении с известными.
7. Разработано специализированное логическое исчисление позитивно-образованных формул (по-формул), в котором возможен немонотонный вывод, естественно возникающий в задачах планирования движения АНПА.
8. Программно реализован система-прувер предложенного логического исчисления.
9. Разработан и программно реализован имитатор внешней среды.
10. Реализованы алгоритмы функционирования АНПА в имитаторе внешней среды.
11. Осуществлена экспериментальная реализация двух программных комплексов на ЭВМ с отработкой наиболее критических алгоритмов на высокопроизводительных вычислительных кластерах (МВС-1000/16):
- "ВФЛ-РЕДУКТОР" – программный комплекс для динамических исследований;
- " ЛУД " - программный комплекс интеллектуального построения планов действий и имитации функционирования автономных движущихся объектов в сложной неизвестной среде.

Директор ИДСТУ СО РАН,
научный руководитель НИР
академик РАН _____________________________ С.Н. Васильев
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы

Программное мероприятие

1.2 Проблемно-ориентированные поисковые исследования фундаментального характера
Продолжительность работ
2012 - 2013, 14 мес.
Бюджетные средства
0,66 млн
Организация
КНИТУ-КАИ
профинансировано
Тема
Развитие алгоритмического и программного обеспечения высокопроизводительных вычислительных кластеров для анализа устойчивости и интеллектуального управления процессами, описываемыми сложными количественно-качественными математическими моделями логико-динамической природы.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
3 млн
Количество заявок
3
Тема
Создание семейства высокопроизводительных многопроцессорных вычислительных систем с динамически перестраиваемой архитектурой на основе реконфигурируемой элементной базы и их математического обеспечения для решения вычислительно трудоемких задач
Продолжительность работ
2007 - 2009, 30 мес.
Бюджетные средства
194 млн
Количество заявок
3
Тема
Разработка математического, алгоритмического и программного обеспечения для моделирования специализированных интерфейсов наноэлектронных устройств.
Продолжительность работ
2008 - 2009, 11 мес.
Бюджетные средства
20 млн
Количество заявок
1
Тема
Разработка и реализация в виде программного обеспечения технологии синтеза речи на русском языке с учетом синтаксического и семантического анализа русского текста с высоким качеством звучания
Продолжительность работ
2007 - 2009, 30 мес.
Бюджетные средства
155,2 млн
Количество заявок
5
Тема
Разработка и реализация алгоритмических и программных средств тематической категоризации Интернет-ресурсов с использованием семантического анализа текстового содержимого web-страниц
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
10 млн
Количество заявок
6