Программная система анализа идентифицируемости динамических моделей тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Забуга, Александр Александрович

• Забуга, Александр Александрович
• кандидат технических наук
• 2007

Оглавление диссертации кандидат технических наук Забуга, Александр Александрович

Введение

ГЛАВА 1. ОСНОВНЫЕ ПОЛОЖЕНИЯ И СПОСОБЫ АНАЛИЗА ИДЕНТИФИЦИРУЕМОСТИ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ

ДИНАМИЧЕСКИХ СИСТЕМ В ПРОСТРАНСТВЕ СОСТОЯНИЙ

1.1 Определение независимых системных параметров, наблюдаемости и управляемости модельной структуры

1.2 Анализ структурной локальной идентифицируемости

1.3 Элиминирование структурной локальной неидентифицируемосги

1.3.1 Вычисление ПФДЛО

1.3.2 Расширение матрицы ограничений

1.3.3 Объединение модельных структур

1.4 Анализ структурной глобальной идентифицируемости

1.5 Элиминирование структурной глобальной неидентифицируемости

1.6 Классификация модельных структур и соответствующее классам проведение вычислений для анализа идентифицируемости

1.6.1 Класс модельных структур с произвольными числовыми матрицами управления и наблюдения

1.6.2 Класс модельных структур со стандартными параметризованными матрицами управления и наблюдения

1.6.3 Класс модельных структур со стандартными числовыми матрицами управления и наблюдения

1.7 Основные задачи диссертационной работы

ГЛАВА 2. МЕТОДЫ АЛГОРИТМИЗАЦИИ И ПРОЕКТИРОВАНИЯ ПО

2.1 Модели жизненного цикла разработки ПО

2.2 Структурный анализ и разработка ПО

2.3 Объектно-ориентированый анализ и разработка ПО

2.4 Организация динамических вычислений

2.5 Основные принципы архитектуры «документ/представление»

2.6 Современные программные средства для анализа и разработки ПО

2.7 Определение методов и средств для анализа и разработки проекта

2.8 Выводы по главе

ГЛАВА 3. ПРОЕКТИРОВАНИЕ АРХИТЕКТУРЫ ПРОГРАММНОЙ СИСТЕМЫ

3.1. Проектирование концепции интерфейса пользователя

3.2. Проектирование функциональных аспектов архитектуры

3.3. Проектирование структуры данных и репозитория

3.4. Разработка алгоритмов для методов анализа идентифицируемости 168 3.5 Выводы по главе

ГЛАВА 4. СОЗДАНИЕ ПРОТОТИПА И РЕАЛИЗАЦИЯ МЕХАНИЗМОВ ОРГАНИЗАЦИИ ДИНАМИЧЕСКИХ ВЫЧИСЛЕНИЙ

4.1 Разработка функционала математических методов анализа

4.1.1 Определение независимых системных параметров

4.1.2 Определение управляемости и наблюдаемости модельной структуры

4.1.3 Формирование СЛИ- и СГИ- матриц

4.1.4 Формирование СЛНИ-матриц

4.1.5 Поиск слабых сепараторов

4.2 Обеспечение взаимодействия между программным интерфейсом и математическим ядром MATLAB

4.2.1 Интерпретатор командной строки и взаимодействие с сессией MATLAB

4.2.2 Синхронизация переменных между сессией MATLAB и приложением

4.2.3 Организация стека для сессии MATLAB

4.3 Выводы по главе

Введение диссертации (часть автореферата) на тему «Программная система анализа идентифицируемости динамических моделей»

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

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

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

Одним из таких программных продуктов является программный комплекс «ГРАД», разработанный CADCAM Центром для авиапромышленности. Данный продукт обеспечивает выполнение большинства термогазодинамических расчетов, связанных с проточной частью газотурбинных и комбинированных двигателей и установок, работающих на любом топливе и окислителе.

На протяжении более чем 20 лет разрабатывается программный комплекс «ДИЗЕЛЬ-РК», и за это время он прошел проверку применительно к двигателям различной размерности, быстроходности и применения. Программная принадлежит к классу термодинамических программ: цилиндры и коллекторы двигателя рассматриваются как открытые термодинамические системы, обменивающиеся между собой массой и энергией. Параметры газа в цилиндрах и коллекторах двигателя определяются путем пошагового решения системы разностных уравнений сохранения энергии, массы, а также уравнения состояния, записанных для открытых термодинамических систем.

Разработанный институтом проблем машиностроения им. А. Н. Подгорного НАН Украины измерительно-вычислительный комплекс «ТЕНЗОДИН» используется при решении задач определения прочности и поведения конструкций и материалов при ударе, взрыве, а также других интенсивных кратковременных воздействиях. Программно-аппаратный комплекс позволяет проводить эксперимент с фиксированием полученных данных на носителе, осуществляет экспресс-анализ полученных данных, выводит графическое представление экспериментальных данных, производит поиск экстремумов, исследует график и строит график спектральной составляющей.

Программная система моделирования кровообращения, разработанная ЗАО Самара-Диалог позволяет оценивать параметры математической модели реального организма. Имея идентифицированные параметры модели, появляется возможность прогнозировать поведение организма в различных режимах (физические нагрузки, сердечная недостаточность, атеросклероз, гипоксия и т. д.). Результаты, полученные при использовании программной системы, могут быть применены в образовательном процессе, при операциях, в физиологических исследованиях, в исследованиях нагрузок пилотов, космонавтов, спортсменов, альпинистов и т.д.

Созданное Тамбовским Государственным Техническим Университетом ПО «Экспертная система энергосберегающего управления» решает широкий круг исследовательских, производственных и учебных задач анализа и синтеза оптимальных управляющих воздействий на множестве состояний функционирования. С помощью экспертной системы разрабатываются системы оптимального управления нагревом печи отжига, котлом разогрева теплоносителя, емкостями гальванического цеха, работой электродвигателей.

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

Программная система «SAAM II» состоит из двух одновременно заменяемых и дополняемых модулей для построения и идентификации математических моделей. По существу это программное средство представляет собой виртуальную экспериментальную лабораторию. В комплекте доступных пользователю инструментов содержаться средства для построения моделей, подготовки входных последовательностей, организации эксперимента, сравнительного анализа результатов нескольких экспериментов одной модели. Модуль для определения моделей и имитации эксперимента посредством графического интерфейса содержит все необходимые для этого функции. Модель, сформированная инструментальными средствами, описывает поведение системы. С каждым новым экспериментом программная система строит дифференциально-разностные уравнения и результаты каждого из экспериментов хранит раздельно для модели, что позволяет проводить анализ. Для сравнительного анализа программа предлагает отобразить результаты эксперимента графически. При этом имеется возможность интерполяции недостающих элементов выходной цепочки эксперимента. Целью численного модуля программной системы является предоставление возможности создавать модель, используя алгебраические уравнения.

Пакет расширения «System Identification Toolbox» программного пакета «MATLAB» содержит средства для создания математических моделей линейных динамических объектов на основе наблюдаемых входных и выходных данных. Методы идентификации, входящие в пакет, применимы для решения широкого класса задач - от проектирования систем управления и обработки сигналов до анализа временных рядов. Основные свойства пакета следующие: простой и гибкий интерфейс; предварительная обработка данных, включая фильтрацию, удаление трендов и смещений; выбор диапазона данных для анализа; эффективные методы авторегрессии; возможности анализа отклика систем во временной и частотной областях; отображение нулей и полюсов передаточной функции системы; анализ невязок при тестировании модели. Пакет поддерживает все традиционные виды моделей, включая модели передаточных функций, описания для переменных состояния (как для непрерывного, так и для дискретного времени) и другие, с произвольным числом входов и выходов.

Среди рассмотренных программных систем присутствуют различные в функциональном плане пакеты. Это измерительно-вычислительные комплексы с возможностью обработки и анализа экспериментальных данных, САПР с функциями диагностики и прогнозирования, экспертные системы с интеллектуальным модулем для оптимального проектирования, программные системы научно-исследовательского характера. Область применения данных программных комплексов ограничена специфичностью моделируемых объектов, для работы с которыми программные системы создаются. Каждое, в отдельности взятое ПО, позволяет решать узкоспециализированные задачи. Однако, учитывая ограниченность, представленного в программных системах набора готовых идентифицируемых математических моделей, для каждого конкретного случая решаемой задачи идентификации перед разработчиками этих вычислительных комплексов стоит более глобальная задача. Она заключается в продолжительном сопровождении каждого отдельно взятого программного комплекса, а также расширении набора идентифицируемых математических моделей, в соответствии с развитием той или иной отрасли производства. Все эти программные пакеты позволяют создавать математические модели реальных физических систем и проводить их идентификацию, но при появлении новых управляемых производственных объектов возникает необходимость в предварительном исследовании их идентифицируемости, а также дополнении ими программного продукта. Исходя из этого, можно сформулировать цель и задачи настоящей диссертации.

Цели и задачи исследования

Целью работы является совершенствование существующего метода анализа идентифицируемости линейных динамических моделей в пространстве состояний, разработка соответствующих алгоритмов, а также проектирование обобщенной архитектуры и разработка программной системы, обеспечивающей внесение, хранение, обработку и анализ идентифицируемости задаваемых пользователем модельных структур. Для достижения указанной цели в работе решаются следующие задачи:

1. Выполнить обзор и оптимизацию математических методов, приемлемых для проведения анализа идентифицируемости математических моделей линейных динамических систем, с учетом их алгоритмизации и автоматизированных вычислений с использованием ЭВМ.

2. Провести анализ методов проектирования ПО. Выполнить обзор современных инструментальных средств и используемых ими технологий для проектирования и разработки программной системы. Определить наиболее подходящие методы для создания архитектуры ПО и выбрать систему программирования.

3. Выполнить проектирование архитектуры программной системы: построить концептуальную модель приложения, определить общую архитектуру программы, разработать функциональную модель и модель данных, алгоритмизировать необходимые математические методы анализа идентифицируемости.

4. Создать прототип приложения на основе алгоритмизованных математических методов. Разработать интерфейс пользователя программной системы. Для обеспечения динамических вычислений, выполнить реализацию программного интерфейса между приложением и математическим ядром. Осуществить перенос программного кода из прототипа в среду разработки.

Методы исследования

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

Научная новизна

Научная новизна работы заключается в следующем:

1. Спроектирована архитектура интегрированной программной системы, объединяющая в себе неограниченные вычислительные возможности математического пакета MATLAB и широкие возможности графического интерфейса, предоставляемые ОС Windows. Создана концептуальная модель приложения. Разработана функциональная модель и модель данных. Спроектирован интерфейс пользователя.

2. Осуществлена алгоритмизация математических методов, необходимых для проведения анализа идентифицируемости математических моделей линейных динамически систем в пространстве состояний. Выполнено их прототипирование с помощью математического пакета MATLAB.

3. Доказано свойство подматриц, составляющих сумму разложенного по формуле Бине-Коши определителя СГИ-матрицы, указывающее на то, что среди элементов невырожденных подматриц имеются выражения, являющиеся общими множителями, понижающие ранг СГИ-матрицы и представляющие интерес для исследования структурной глобальной идентифицируемости модельной структуры. На основе этого свойства улучшен алгоритм определения слабых сепараторов.

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

5. Осуществлен перенос программного кода из прототипа в приложение с использованием разработанных механизмов синхронизации между управляющим кодом приложения и интерпретирующей средой математического ядра MATLAB.

На защиту выносятся:

1. Архитектура интегрированной программной системы и ее функциональная модель.

2. Метод вычисления слабых и истинных сепараторов параметрического пространства.

3. Основные принципы организации динамических вычислений в разноязыковой программной среде с управляемым кодом и соответствующие механизмы ее функционирования.

4. Создание прототипа интерпретируемой программы для управляющего кода, как основной этап отладки и тестирования интегрированной программной системы в целом.

Практическая значимость

В процессе проектирования программной системы разработана общая концепция создания интегрированных программных систем, состоящих из взаимодополняющих модулей. Определены общие принципы организации динамических вычислений, когда один модуль реализует управляющий код, а другой является интерпретатором управляемого кода. Реализованы математические методы для проведения анализа идентифицируемости математических моделей линейных динамических систем в пространстве состояний. Исследовано и доказано свойство подматриц в разложении определителя СГИ-матрицы по формуле Бине-Коши, что позволило улучшить метод вычисления сепараторов для анализа идентифицируемости модельных структур большой размерности. Программная система вошла в вычислительный комплекс математического моделирования камерных фармакокинетических моделей, разрабатываемый в Государственном НИИ Органической Химии и Технологии. Достоверность

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

Апробация работы

Основные результаты работы были представлены на всероссийской научной конференции «Наука. Технологии. Инновации.» (г.Новосибирск, 2006), а также на международной научной конференции «Математические методы в технике и технологиях» (г.Ярославль, 2007).

Публикации

Основные результаты диссертационной работы опубликованы в 6 печатных изданиях. Из них: 1 статья в периодическом научно-техническом журнале, выпускаемом в Российской Федерации, которое рекомендовано ВАК для размещения основных научных результатов проведенных исследований; 2 публикации в сборниках научных трудов; 3 статьи в трудах и материалах конференций. Кроме этого, результатом научной работы стало получение свидетельства об официальной регистрации программы для ЭВМ.

Структура и объем работы

Диссертационная работа состоит из введения, пяти глав, заключения, списка литературы из 131 наименования, 2 приложений, содержит 249 страниц основного текста, 1 таблицу и 39 рисунков.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Забуга, Александр Александрович

5.4 ВЫВОДЫ ПО ГЛАВЕ

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

ЗАКЛЮЧЕНИЕ

В заключении выделим следующие результаты, полученные в ходе работы над диссертацией:

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

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

3. Доказано свойство подматриц, составляющих сумму разложенного по формуле Бине-Коши определителя СГИ-матрицы, указывающее на то, что среди элементов невырожденных подматриц имеются выражения, являющиеся общими множителями, понижающие ранг СГИ-матрицы и представляющие интерес для исследования структурной глобальной идентифицируемости модельной структуры. На основе этого свойства улучшен алгоритм определения слабых сепараторов.

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

5. Проанализированы современное инструментальное программное обеспечение и техники их применения, используемые при проектировании программ. Выбраны современные, динамично развивающиеся, открытые инструментальные платформы, наиболее подходящие для совместной разработки интегрированной программной системы: Borland Together Architect, Math Works MATLAB и Microsoft Visual Studio. 6. Разработаны архитектура программной системы, механизмы для организации динамических вычислений, функционал для взаимодействия между приложением и математическим ядром MATLAB, интерфейс пользователя программной системы.

Программная система официально зарегистрирована в Реестре программ для ЭВМ Российской Федеральной службы по интеллектуальной собственности, патентам и товарным знакам от 5 сентября 2007 под номером 2007613754.

Список литературы диссертационного исследования кандидат технических наук Забуга, Александр Александрович, 2007 год

1. Авдеенко Т. В. Разработка методов исследования структурной идентифицируемости моделей в пространстве состояний. - Новосибирск: НГТУ, 2003.-322 с.

2. Авдеенко Т.В., Горский В.Г. Построение динамических моделей в пространстве состояний. Анализ структурной идентифицируемости: монография. Новосибирск: Изд-во НГТУ (Серия "Монографии НГТУ"), 2006. - 292 с.

3. Авдеенко Т.В., Каргин С.А.Анализ глобальной идентифицируемости линейных динамических моделей с использованием сепараторов параметрического пространства // Сибирский журнал индустриальной математики № 3(27). Новосибирск, 2006. - Т.9. С. 3-16.

4. Авдеенко Т.В., Каргин С.А. О глобальной идентифицируемости линейных динамических моделей // Труды II Международной конференции «Идентификация систем и задачи управления» (SICPRCT03). М., 2003. — С. 182-194.

5. Горский В.Г., Авдеенко Т.В. Новые методы анализа идентифицируемости кинетических моделей мономолекулярных реакций // Прямые и обратные задачи химической кинетики. Новосибирск: ВО Науке, 1993. — С. 211-228.

6. Авдеенко Т.В., Захаров В.П., Озерных И.Л. Об оптимальном планировании наблюдений для определения положения и формы фронта кристаллизации //Автометрия, 1995, № 5. С. 99-108.

7. Авдеенко Т.В., Захаров В.П. Об оптимальном планировании наблюдений для оценивания геометрических характеристик поверхности кристаллизации // Сборник научных трудов НГТУ, 1997. № 4(9). С. 2736.

8. Авдеенко Т.В., Денисов В.И., Захаров В.П. Оптимальное планирование наблюдений нестационарной задачи идентификации границы раздела двух сред // Сибирский журнал индустриальной математики, 1998. Т.1, № 1. -С. 5-20.

9. Avdeenko T.V. Rank and order conditions for local identifiability of linear dynamical models // 1998 4TH International Conference on Actual Problems of Elec-tronic Instrument Engineering APEIE-98. Novosibirsk, 1998. - V.l. - P. 14-19.

10. Авдеенко T.B. Условия ранга и порядка для локальной идентифицируемости линейных динамических моделей с исключающими и балансовыми ограничениями на матрицу состояния // Сб. науч. тр. НГТУ, 1998, №3(12).-С. 25-34.

11. Avdeenko T.V. Parameter identification of the process of direct oxidation of hydrogen sulfide into sulphur // Abstracts of the Third Russian-Korean International Symposium on Science and Technology (KORUS-99). -Novosibirsk: NSTU, 1999. V. 2. - P. 552.

12. Avdeenko T.Y. Sufficient condition for global identifiability of linear dynamical models// Proceedings of the Third Russian-Korean International Symposium on Science and Technology (KORUS-99). Novosibirsk: NSW, 1999. - P. 505509.

13. Авдеенко T.B. Классификация исключающих ограничений на матрицу состояния по их вкладу в локальную идентифицируемость линейных динамических моделей // Научный вестник НГТУ. Новосибирск, 1999. № 1(6).-С. 3-15.

14. Avdeenko T.V., Kargin S.A. The Problem of Distinguishability of State Space Models // Proc. 2000 5th Int. Conf. on Actual Problems of Electronic Instrument Engineering (APEIE-2000). Novosibirsk, 2000. - V. 1. - P.77-82.

15. Авдеенко T.B., Горский В.Г. Новый подход к анализу идентифицируемости систем линейных дифференциальных уравнений // Сб. тр. XIII Межд. науч. конф. "Математические методы в технике и технологиях" ММТТ-13. СПб., 2000. - Т.1. - С. 29-32.

16. Авдеенко Т.В. О планировании идентифицируемой модельной струк-туры в пространстве состояний // Тез. докл. Межд. конгр. ИНПРИМ-2000. -Новосибирск, 2000. С. 3-4.

17. Авдеенко Т.В., Каргин С.А. Приложение методов компьютерной ал-гебры к анализу глобальной идентифицируемости линейных динамических моделей // Вестник НГТУ. Новосибирск: Изд-во НГТУ, 2000, №2(9). - С. 27-36.

18. Avdeenko T.V., Hai Gon Je, On the study of solution uniqueness to the task of determining unknown parameters of mathematical models // East Asian Math. J., 2000.-No. 2. P. 251-266.

19. Avdeenko T.V., Kargin S.A. A computer algebra method for testing struc-tural distinguishability of state space models // Proc. of 5th Korea-Russia Intern. Symp. on Science and Technology (KORUS-2001). Tomsk, 2001. - Part 1. P. 77-80.

20. Авдеенко T.B., Горский В.Г. Нахождение оцениваемых параметриче-ских функций для неидентифицируемых моделей // Сб. тр. 14 Межд. науч. конф. " Математические методы в технике и технологиях" ММТТ-14. Смоленск, 2001. - Т. 2. С. 117-118.

21. Авдеенко Т.В., Каргин С.А. О дискриминируемое™ модельных струк-тур в пространстве состояний // Сб. тр. XIV Межд. науч. конф. "Математические методы в технике и технологиях" ММТТ-14. Смоленск, 2001. — Т. 2. С. 114-116.

22. Авдеенко Т.В. О планировании модельной структуры в пространстве состояний: анализ структурной идентифицируемости // Сибирский журнал ин-дустриальной математики № 2(8). Новосибирск, 2001. - Т. IV. С. 5972.

23. Авдеенко Т.В. Два способа элиминирования неидентифицируемости динамических моделей в пространстве состояний // Сб. тр. XV Межд. науч. конф. "Математические методы в технике и технологиях" ММТТ-15. -Тамбов, 2002. Т. 5. С. 84-89.

24. Авдеенко Т.В., Горский В.Г. Нахождение оцениваемых параметрических функций для локально неидетифицируемых моделей в пространстве состояний // Заводская лаборатория. Диагностика материалов, 2002. Т. 68, № 11.-С. 52-59.

25. Avdeenko T.V. On structural identifiability of system parameters of linear models // Proc. of 15 IF AC World Congress. Barselona, Spain, 2002. 6 p.

26. Авдеенко T.B. Анализ априорной идентифицируемости динамических моделей с использованием условий ранга и порядка // Тр. II Межд. конф. "Идентификация систем и задачи управления" (SICPRO'03). — М., 2003. -С. 195-214.

27. Стренг Г. Линейная алгебра и ее применения. М.: Мир. - 1980. - 454 с.

28. Гантмахер Ф.Р. Теория матриц. М.: Наука, 1988. 548 с.

29. Олвер П. Приложения групп Ли к дифференциальным уравнениям. — М.: Мир, 1989.-640 с.

30. Гюнтер Н.М. Интегрирование уравнений первого порядка в частных производных. М.: ОНТИ, 1934. - 360 с.

31. Камке Э. Справочник по дифференциальным уравнениям в частных производных первого порядка. М.: Наука, 1966. - 220 с.

32. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления: в 3-х томах. М.: Наука, 1969. - Том I. 608 с. - Том И. 800 с. - Том III. 656 с.

33. Кострикин А. И. Введение в алгебру. Основы алгебры. Учебник для вузов. М.: Физматлит, 1994. - 320 с.

34. Мышкис А. Д. Математика для втузов. Специальные курсы. М.: Наука, 1971.-632 с.

35. Мышкис А. Д. Лекции по высшей математике. — М.: Наука, 1969. — 640 с.

36. Зельдович Я. Б. Высшая математика для начинающих и ее приложения в физике. М.: Наука, 1968. - 576 с.

37. Шилов Г. Е. Математический анализ. Конечномерные линейные пространства. М.: Наука, 1969. - 432 с.

38. Эйкопф П. Основы идентификации систем управления. М.: Мир, 1975. -683 с.

39. Петров Ю.П. Новые главы теории управления и компьютерных вычислений. СПб.: BHV-Санкт-Петербург, 2004. - 192 с.

40. Дейч А. М. Методы идентификации динамических объектов. М.: Энергия, 1979. - 240 с.

41. Гроп Д. Методы идентификации систем. — М.: Мир, 1979. 302 с.

42. Кашьяп P. JL, Рао А. Р. Построение динамических стохастических моделей по экспериментальным данным. — М.: Наука, 1983. 384 с.

43. Шафер Д. Ф., Фатрелл Р. Т., Шафер JI. И. Управление программными проектами: достижение оптимального качества при минимуме затрат. — М.: Вильяме, 2003. 1136 с.

44. Кватрани Т. Визуальное моделирование с помощью Rational Rose 2002 и UML. М.: Вильяме, 2003. - 192 с.

45. Гамма Э., Хелм Р., Джонсон Р. и др. Приемы объектно-ориентированного проектирования. Паттерны проектирования. СПб.: Питер, 2004. - 366 с.

46. Амблер С. Гибкие технологии: экстремальное программирование и унифицированный процесс разработки. СПб.: Питер, 2005. - 412 с.

47. Сэлтон Г. Автоматизированная обработка, хранение и поиск информации. М.: Советское радио, 1973. - 560 с.

48. Мартин Д. Организация баз данных в вычислительных системах. М.: Мир, 1980.-622 с.

49. Хаббард Д. Автоматизированное проектирование баз данных. — М.: Мир, 1984.-294 с.

50. Ульман Д. Основы системы баз данных. — М.: Мир, 1983. — 334 с.

51. Мейер Д. Теория реляционных баз данных. М.: Мир, 1987. - 608 с.

52. Кузин JI. Т. Вольфенгаген В. Э. Реляционные методы проектирования банков данных. К.: Вища школа, 1979. - 220 с.

53. Хорафас Д., Легг С. Конструкторские базы данных. М.: Машиностроение, 1990. - 224 с.

54. Зеленский К. X., Игнатенко В. Н., Коц А. П. Компьютерные методы прикладной математики. К.: Дизайн, 1999. - 352 с.

55. Бендат Д., Пирсол А. Прикладной анализ случайных данных. М.: Мир, 1989.-540 с.

56. Гнеденко Б. В., Хинчин А. Я. Элементарное введение в теорию вероятностей. М.: Наука, 1970. - 168 с.

57. Розанов Ю. А. Лекции по теории вероятностей. М.: Наука, 1968. — 120 с.

58. Боровков А. А. Курс теории вероятностей. М.: Наука, 1972. — 287 с.

59. Крамер Г. Математические методы статистики. М.: Мир, 1975. - 648 с.

60. Кузнецов О. П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергия, 1980. - 344 с.

61. Сачков В. Н. Введение в комбинаторные методы дискретной математики. -М.: Наука, 1982.-384 с.

62. Трачик В. Дискретные устройства автоматики. М.: Энергия, 1978. — 456 с.

63. Закревский А. Д. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971.-512 с.

64. Скурихин В. И., Шифрин В. Б., Дубровский В. В. Математическое моделирование. К.: 1983. — 270 с.

65. Бенькович Е.С., Колесов Ю.Б., Сениченков Ю.Б. Практическое моделирование динамических систем. СПб.: BHV-Санкт-Петербург, 2002. - 464 с.

66. Табак Д., Куо Б. Оптимальное управление и математическое программирование. М.: Наука, 1975. - 280 с.

67. Майзер X., Эйджин Н., Тролл Р. и др. Исследование операций: в 2-х томах.- М.: Мир, 1981. Том I. 712 с. - Том И. 677 с.

68. Никольская И. JI. Математическая логика: Учебник. М.: Высшая школа, 1981.-127 с.

69. Антимиров В. М., Воронков А. А., Дегтярев А. И. и др. Математическая логика в программировании. М.: Мир, 1991. - 20 с.

70. Компаниец Р. И., Маньков Е. В., Филатов Н. Е. Системное программирование. Основы построения трансляторов. Учебное пособие для высших и средних учебных заведений. СПб.: КОРОНА принт, 2000. -256 с.

71. Забуга А.А. Обзор программных систем идентификации. Сравнительный анализ. // Сб. научных трудов НГТУ №1(38). Новосибирск: Изд-во НГТУ.- 2005. 6 с.

72. Винер Н. Кибернетика. М.: Наука, 1983. - 326 с.

73. Коган И. М. Прикладная теория информации. М.: Радио и связь, 1981. -216 с.

74. Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ. М.: Финансы и статистика, 1990.-320 с.

75. Нейлор К. Как построить свою экспертную систему. М.: Энергоатомиздат, 1991. - 286 с.

76. Марселлус Д. Программирование экспертных систем на Турбо Прологе. -М.: Финансы и статистика, 1994. 256 с.

77. Денисов В. И., Полетаева И. А., Хабаров В. И. Экспертная система для анализа многофакторных объектов. Дисперсионный анализ. Прецедентный подход. Н.: НГТУ, 1992. - 127 с.

78. Соколов А. В. Информационно-поисковые системы. Учебное пособие для вузов. — М.: Радио и связь, 1981. — 152 с.

79. Забуга А.А. Лямбда-исчисления для задачи анализа глобальной идентифицируемости линейных динамических моделей. // Сб. научных трудов НГТУ №2(44). Новосибирск: Изд-во НГТУ. - 2006. - 6 с.

80. Романычева Э. Т., Сидорова Т. М., Сидоров С. Ю. AutoCAD. Практическое руководство. М.: ДМК, 1997. - 480 с.

81. Мешков А., Тихомиров Ю. Visual С++ и MFC. Программирование для Windows NT и Windows 95: в 3-х томах. СПб.: BHV-Санкт-Петербург, 1997. - Том I. 464 с. - Том II. 464 с. - Том III. 384 с.

82. Тихомиров Ю. Visual С++ 6. СПб.: БХВ-Санкт-Петербург, 1998. - 496 с.

83. Гринзоу Л. Философия программирования для Windows 95/NT. — СПб.: Символ-Плюс, 1997. 640 с.

84. Велнум К. Секреты программирования в Windows 98. М.: Диалектика, 1999.-855 с.

85. Гладков С. А., Фролов Г. В. Программирование в Microsoft Windows: в 2-х томах. М.: Диалог-МИФИ, 1992. - Том I. 320 с. - Том II. 288 с.

86. Калверт Ч. Программирование в Windows: освой самостоятельно за 21 день. -М.: БИНОМ, 1995. 496 с.

87. Лабор В. В. Си Шарп. Создание приложений для Windows. Минск.: Харвест, 2003. - 384 с.

88. Нейгел К., Ивьен Б., Глинн Д. и др. С# 2005 для профессионалов. М.: Вильяме, 2006. - 1376 с.

89. Дэвис С. Р. Программирование на Microsoft Visual Java++. М.: Русская редакция, 1997. - 376 с.

90. Тейт Б. Горький вкус Java. СПб.: Питер, 2003. - 333 с.

91. Страуструп Б. Язык программирования С++. — М.; СПб.: БИНОМ — Невский Диалект, 2001. 1099 с.

92. Киммел П. Borland С++ 5. СПб.: BHV-Санкт-Петербург, 1999. - 976 с.

93. Оберг Р., Торстейнсон П. Архитектура .NET и программирования с помощью Visual С++. М.: Вильяме, 2002. - 656 с.

94. Мартынов Н. Н., Иванов А. П. MATLAB 5.x. Вычисления, визуализация, программирование. М.: КУДИЦ-ОБРАЗ, 2000. - 336 с.

95. Дьяконов В. П. MATLAB 6/6.1/6.5 + Simulink 4/5 в математике и моделировании. Полное руководство пользователя. М.: СОЛОН-Пресс, 2003. - 576 с.

96. Бей И. Взаимодействие разноязыковых программ в Microsoft Windows. // Руководство программиста. М.: Вильяме, 2005. - 880 с.

97. Подкур М.Л., Подкур П.Н., Смоленцев Н.К. Программирование в среде Borland С++ Builder с математическими библиотеками MATLAB C/C++. -М.: ДМК, 2006.-485 с.

98. Костельцев А. В. GTK+. Разработка переносимых графических интерфейсов. СПб.: BHV-Санкт-Петербург, 2002. — 368 с.

99. Фоли Д., Вэн Дэм А. Основы интерактивной машинной графики: в 2-х томах- М.: Мир, 1985. Том I. 368 с. - Том II 368 с.

100. Джексон Г. Проектирование реляционных баз данных для использования с микроЭВМ. М.: Мир, 1991.-252 с.

101. Тиори Т., Фрай Д. Проектирование структур баз данных: в 2-х томах. М.: Мир, 1985. - Том I. 288 с. - Том II. 320 с.

102. Бойко В. В., Савинков В. Н. Проектирование информационной базы автоматизированной системы на основе СУБД. М.: Финансы и статистика, 1982. -304 с.

103. Горев А., Ахаян Р., Макашарипов С. Эффективная работа с СУБД. СПб.: Питер, 1997. - 704 с.

104. Мусина Т. В., Пушенко В. A. Visual FoxPro 7.0. Учебный курс. К.: BookStar, 2002. - 400 с.

105. Грабер М. Введение в SQL. М.: Лори, 1996. - 379 с.

106. Боуман Д., Эмерсон С., Дарновски М. Практическое руководство по SQL. -К.: Диалектика, 1997. 320 с.

107. Грофф Д., Вайнберг П. Энциклопедия SQL. СПб.: Питер, 2004. - 896 с.

108. Toy Д. Настройка SQL. Для профессионалов. СПб.: Питер, 2004. - 333 с.

109. Уинкуп С. Microsoft SQL Server 6.5 в подлиннике. СПб.: BHV-Санкт-Петербург, 1998. - 896 с.

110. Администрирование Microsoft SQL Server 2000. М.: Русская редакция, 2002. - 640 с.

111. Тихомиров Ю. В. Microsoft SQL Server 7.0: разработка приложений. -СПб.: BHV-Санкт-Петербург, 1999. 352 с.

112. Пирогов В. MS SQL Server 2000: управление и программирование. СПб.: BHV-Санкт-Петербург, 2005. - 608 с.

113. Пирогов В. SQL Server 2005: программирование клиент-серверных приложений. СПб.: BHV-Санкт-Петербург, 2006. - 336 с.

114. Авдеенко Т.В., Забуга А.А. Анализ глобальной идентифицируемости моделей с применением сепараторов параметрического пространства. // Математические методы в технике и технологиях. Материалы XX

115. Международной научной конференции. Ярославль: Изд-во ЯГТУ. — 2007. -4 с.

116. Пустоваров В. И. Язык Ассемблера в программировании информационных и управляющих систем. М.: ЭНТРОП; К.: ВЕК, 1996. - 304 с.

117. Орловский Г. В. Введение в архитектуру микропроцессора 80386. СПб.: ИНФОКОН, 1992. - 236 с.

118. Ровдо А. А. Микропроцессоры от 8086 до Pentium III Хеоп и AMD-K6-3. -М.: ДМК, 2000.-592 с.

119. Вильяме А. Системное программирование в Windows 2000 для профессионалов. СПб.: Питер, 2001. - 624 с.

120. Рихтер Д. Windows для профессионалов: создание эффективных Win32-приложений с учетом специфики 64-разрядной версии Windows. — СПб.: Питер; М.: Русская редакция, 2001. 752 с.

121. Кокорева О. И. Реестр Windows ХР. СПб.: BHV-Санкт-Петербург, 2002. -560 с.

122. Забуга А.А. Программная система для построения и анализа идентифицируемости математических моделей. // Математические методы в технике и технологиях. Материалы XX Международной научной конференции. - Ярославль: Изд-во ЯГТУ. - 2007. - 4 с.

123. Забуга А.А. Концепция разработки приложений, использующих математическое ядро MATLAB. Основные принципы для поддержки функционала динамических вычислений. // RSDN Magazine №3. — М. -2007. 23 с.