Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

Автоматизация процессов мониторинга поставок комплектующих в региональной структуре предприятий автомобильной промышленности

Диссертация: Автоматизация процессов мониторинга поставок комплектующих в региональной структуре предприятий автомобильной промышленности
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Во второй главе диссертации проведен анализ факторов, определяющих спрос на комплектующие. Предложенная классификация факторов (табл.Ошибка! Источник ссылки не найден.) позволяет более эффективно формировать первичную выборку статистических данных по спросу отдельных позиций комплектующих для интеллектуального анализа на основе априорных предположений. В диссертации рассмотрены следующие типы… Читать ещё >

Содержание

  • 1. АНАЛИЗ МЕТОДОВ И МОДЕЛЕЙ МОНИТОРИНГА ПОСТАВОК КОМПЛЕКТУЮЩИХ
    • 1. 1. Современное состояние вопроса поддержки запасов комплектующих для предприятий автомобильной промышленности. 1.2Информационная поддержка складов комплектующих
    • 1. 3. Требования к СУБД для построения АСУТП снабжения комплектующими
    • 1. 4. Системный анализ задач автоматизации управления поставками комплектующих
    • 1. 5. Анализ программных технологий оперативного управления поставками
    • 1. 6. Методы и модели анализа и прогнозирования спроса
  • Выводы по главе 1
  • 2. КЛАССИФИКАЦИЯ ФАКТОРОВ И МОДЕЛЬ ПРОГНОЗА В СИСТЕМЕ УПРАВЛЕНИЯ ПОСТАВКАМИ КОМПЛЕКТУЮЩИХ .40 2.1. Методы классификации и группировки номенклатуры комплектующих
    • 2. 2. Группировка комплектующих по причине замены
    • 2. 3. Классификация по характеру спроса на комплектующие
    • 2. 4. Статистический анализ данных для классификации и кластеризации номенклатуры комплектующих
    • 2. 5. Формирование логического дерева
    • 2. 6. Методика прогнозирования потребности в комплектующих
  • Выводы по главе 2
  • 3. ЗАДАЧИ ОПТИМИЗАЦИИ ЦЕНОВОЙ ПОЛИТИКИ УПРАВЛЕНИЯ ПОСТАВКАМИ КОМПЛЕКТУЮЩИХ
    • 3. 1. Определение согласованных цен на комплектующие
      • 3. 1. 1. Формализация процесса выбора цен в постановке теории игр
      • 3. 1. 2. Теоретико-игровой анализ механизма определения согласованных цен
    • 3. 2. Определение сроков и объемов закупок комплектующих
      • 3. 2. 1. Процедура обратного ходя для решения задачи выбора объемов закупок
      • 3. 2. 2. Учет процентов за кредит
      • 3. 2. 3. Учет риска повышения цен
      • 3. 2. 4. Учет дискретности объемов закупок
    • 3. 3. Задача размещения складской сети комплектующих
    • 3. 4. Описание объектов как точек на дугах с различными метриками графа
    • 3. 5. Задача поиска центральных элементов системы размещения комплектующих
  • Выводы по главе 3
  • 4. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ СИСТЕМЫ МОНИТОРИНГА И УПРАВЛЕНИЯ ПОСТАВКАМИ КОМПЛЕКТУЮЩИХ
    • 4. 1. Структура АСУТП снабжения комплектующими
      • 4. 1. 1. Описание подсистемы прогнозирования потребности
    • 4. 2. Функционал системы управления поставками
    • 4. 3. Разработка интерфейса программной компоненты системы управления поставками
    • 4. 4. Экспериментальное исследование качества прогноза спроса на комплектующие
  • Выводы по главе 4

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

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

Актуальность темы

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

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

Для достижения данной цели в работе поставлены и решены следующие задачи:

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

2. Разработка управляемой имитационной модели оперативного планирования ' потоков поставок в условиях стохастической неопределенности.

3. Разработка моделей и алгоритмов прогнозирования потоков поставок.

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

5. Разработка программно-моделирующего комплекса автоматизации и управления материальными потоками.

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

• модели теоретико-игрового анализа механизма определения согласованных цен;

• модель централизованной схемы снабжения поставками комплектующих;

• структура автоматизированной системы управления потоками комплектующих;

• программно-моделирующий комплекс оперативного управления материальными потоками.

Диссертация состоит из четырех глав, в которых приводится решение поставленных задач".

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

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

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

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

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

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

Так, в централизованной схеме поставок комплектующих вопросы материально-технического обеспечения берет на себя специализированная организация (центр), заключающая договор с организациями-потребителями. Центр проводит оптовые закупки продукции у производителей, что позволяет ему покупать по более низким ценам и, за счет этого, обеспечивать привлекательность централизованной схемы для потребителей. В диссертации рассмотрена задача снабжения как одним, так и несколькими видами комплектующих.

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

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

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

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

Научные результаты, полученные в диссертации, доведены до практического использования. Они представляют непосредственный интерес в области комплексной автоматизации процессов управления поставками комплектующих. Разработанные методы и алгоритмы прошли апробацию и внедрены для практического применения в ряде предприятий, а также используются в учебном процессе в МАДИ (ГТУ).

Содержание отдельных разделов и диссертации в целом было доложено и получило одобрение:

• на Российских, межрегиональных и международных научно-технических конференциях и семинарах (2005;2008 гг.);

• на заседании кафедры «АСУ» МАДИ (ГТУ);

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

Материалы диссертации отражены в 10 печатных работах.

Диссертационная работа состоит из введения, четырех глав и заключения, изложенных на 164 страницах машинописного текста, содержит 26 рисунков, 18 таблиц, список литературы из 121 наименования и приложения.

Выводы по главе 4.

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

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

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

Заключение

.

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

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

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

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

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

6. Разработан программно-моделирующий комплекс поддержки принятия решений по управлению потоками комплектующих.

7. Разработанные методы, алгоритмы и программы прошли апробацию и внедрены для практического применения в ряде промышленных предприятий, а также используются в учебном процессе на кафедре АСУ МАДИ (ГТУ).

Показать весь текст

Список литературы

  1. А.А. Моделирование информационных процессов в системе управления промышленными предприятиями. — М., 1997. — 130с.
  2. В.И., Кручинин И. А. Эффективность компьютеризации производственных систем. М.: Машиностроение, 1991. — 187 с.
  3. А.А., Леонтович Е. А., Гордон М. И., Майер А. Г. Качественная теория динамических систем 2-го порядка. М.: Наука, 1966. -.568 с.
  4. Е.А., Дмитриев В. М. Автоматизация моделирования многосвязных механических систем. М.: Машиностроение, 1987.- 240с.
  5. Е.С., Колесов Ю. Б., Сениченков Ю. Б. Практическое моделирование сложных динамических систем. С. Петербург, БХВ, 2001.-441с.
  6. М.М., Костогрызов А. И., Львов В. М. Инструментально-моделирующий комплекс для оценки качества функционирования информационных систем «КОК». Руководство системного аналитика. М.: Синтег, 2000. — 116с.
  7. Д. Язык программирования PYTHON, Киев, ДиаСофт, 2000. -336 с.
  8. Боггс У, Боггс М. UML и Rational Rose, М.: Лори, 2000. 582с.
  9. Ю.Борщев А. В., Карпов Ю. Г., Колесов Ю. Б. Спецификация иверификация систем логического управления реального времени. — Системная информатика, вып.2, Системы программирования. Теория и приложения. Новосибирск: ВО «Наука», 1993, с. 113−147.
  10. П.В. Матричные методы в теории релейного и импульсного регулирования. М.: Наука, 1967. 323 с.
  11. Н.П. Моделирование сложных систем. М.:Наука, 1978.-384с.
  12. Буч Г. Объектно-ориентированный анализ и проектирование с примерами на С++, 3-е изд. / Пер. с англ. М.: «Издательство Бином», СПб.: «Невский диалект», 2001 — 560с.
  13. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. М.: ДМК, 2000. — 432с.
  14. А.Е., Леонтьев А. Г. Применение пакета Model Vision Studium для исследования мехатронных систем. // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ, 2001. с.51−52.
  15. Вендров A.M. CASE-технологии: Современные методы и средства проектирования информационных систем. М.: Финансы и статистика, 1998. -176с.
  16. В.М., Гусев В. В., Марьянович Т. П., Сахнюк М. А. Программные средства моделирования непрерывно-дискретных систем. -Киев: Наукова думка, 1975. 152с.
  17. Гома X. UML. Проектирование систем реального времени, параллельных и распределенных приложений: Пер. с англ. М.: ДМК Пресс, 2002. — 704с.
  18. Гультяев А.К. MATLAB 5.3. Имитационное моделирование в среде Windows, М.: Корона принт, 2001. 400с.
  19. Дал У., Мюрхауг Б., Нюгород К. СИМУЛА-67. Универсальный язык программирования. М.: Мир, 1969. 99с.
  20. А.К., Мальцев П. А. Основы теории построения и контроля сложных систем. Л.: Энергоатомиздат, 1988.- 192 с.
  21. Дьяконов В. Mathematica 4: учебный курс. СПб: Питер, 2002. — 656с
  22. Е.С. Системы автоматического управления с переменной структурой. М.: Наука, 1967. 335 с.
  23. Емельянов С. В, Коровин С. К. Новые типы обратной связи. М.: Наука, 1997. 352 с.
  24. Инихов Д. Б, Инихова М. А., Колесов Ю. Б., Сениченков Ю. Б. Свидетельство об официальной регистрации программы для ЭВМ «Model Vision ver. 1.5» № 930 033. Москва, РосАПО, 14.10.1993.
  25. Инихов Д. Б, Инихова М. А., Колесов Ю. Б., Сениченков Ю. Б. Свидетельство об официальной регистрации программы для ЭВМ «Model Vision for Windows» № 950 277. Москва, РосАПО, 04.08.1995.
  26. Инихов Д. Б, Колесов Ю. Б., Сениченков Ю. Б. Свидетельство об официальной регистрации программы для ЭВМ «Model Vision Studium версия 3.0» № 990 643. Москва, Роспатент, 6.09.1999.
  27. Р., Фалб П., Арбиб М. Очерки по математической теории систем. М.: Мир, 1971. 400 с.
  28. Дж. Большие системы. Связность, сложность и катастрофы. = М.: Мир, 1982.-216с.
  29. Е. Языки моделирования: Пер. с чеш. М.: Энергоатомиздат, 1985. — 389с.
  30. О.С., Медведев B.C. Цифровое моделирование следящих приводов. // В кн.: Следящие приводы. В 3-х т. /Под ред. Б. К. Чемоданова. М.: Изд. МГТУ им. Н. Э. Баумана, 1999. Т. 1. С. 711−806.
  31. Е.П., Колесов Ю. Б. Технология программирования сложных систем управления / ВМНУЦ ВТИ ГКВТИ СССР. М.: 1990. -112с.
  32. В.В. Надежность программных средств, М.: Синтег, 1998. — 232с.
  33. В.В. Системное проектирование сложных программных средств для информационных систем. М.: Синтег, 1999. — 224с.
  34. Д. С#: Искусство программирования. Энциклопедия программиста: Пер. с англ. СПб.: «ДиаСофтЮП», 2002. 656 с.
  35. Г. А. Эффект больших систем., М.: Знание, 1985. -231с.
  36. Мехатроника: Пер. с япон. / Исии Т., Симояма И., Иноуэ X., и др. -М.: Мир, 1988.-387с.
  37. О.И. Компьютерная инструментальная среда «Слоистая машина». Пермь, ППИ, 1991. 122 с.
  38. О.И. Универсальная инструментальная среда «Stratum Computer» программный продукт нового поколения // Проблемы информатизации высшей школы (бюллетень Госкомвуза РФ). М., ГосНИИ СИ, 1995. Вып.2. 10−1 — 10−4.
  39. Г. Н. Использование пакета «Model Vision» для создания компьютерных лабораторных работ. // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ, 2001. с.53−54.
  40. А. Введение в имитационное моделирование и язык СДАМ II: Пер. с англ. М.: Мир, 1987. — 646с.
  41. А.А., Михайлов А. П. Математическое моделирование: Идеи. Методы. Примеры. М.: Наука. Физматлит, 1997.-320 с.
  42. М. Введение в математическое моделирование -М.:Солон-Р, 2002.- 112с.
  43. В.В. Теория автоматического регулирования. М.: Машиностроение, 1976, т.1 768 с
  44. Теория систем с переменной структурой./ Под редакцией С. В. Емельянова. М.: Наука, 1970. 590 с.
  45. В.А., Пивоварова Н. В. Математические модели технических объектов Мн.: Выш. шк., 1988 — 159с.
  46. В.И. Скользящие режимы в задачах оптимизации и управления. М.: Наука, 1981. 368 с.
  47. А.Ф. Дифференциальные уравнения с разрывной правой частью, М.: Наука, 1985,. 223 с.
  48. Э., Ваннер Г. Решение обыкновенных дифференциальных уравнений. Жесткие задачи и дифференциально-алгебраические задачи, М., Мир, 1999, — 685с.
  49. Ч. Взаимодействующие последовательные процессы: Пер. с англ.- М.: Мир, 1989. 264с.
  50. С.В., Семенов И. О., Ручкин B.C. Структурный анализ систем: IDEF-технологии, М.: Финстат, 2001. 208с.
  51. Черных И.В. Simulink: среда создания инженерных приложений. М.: ДИАЛОГ-МИФИ, 2003. 496с.
  52. , А.А. Автоматизация документооборота на промышленном предприятии / А. А. Шарков, Д. А. Паршин, Н.Г., Куфтинова, Б. Е. Циклис // Вопросы теории и практики автоматизации в промышленности: сб. науч. трудов / МАДИ (ГТУ). М., 2008. — С. 146−153.
  53. Вопросы теории и практики автоматизации в промышленности: сб. науч. тр. МАДИ (ГТУ) М., 2008. С.35−39.
  54. , А.А. Опыт внедрения системы электронного документооборота / А. А. Шарков, А. Г. Прядко, Н. А. Красникова // Инновационные методы автоматизации технологических процессов и производств: сб. науч. тр. МАДИ (ГТУ). -М., 2008. С. 116−123
  55. , А.А. Имитационное моделирование процессов управления запасами предприятий технического обслуживания / А. А. Шарков // Вестник / МАДИ (ГТУ).-М, 2009. № 1(16). С.102−104.
  56. , А.А. Моделирование и мониторинг режимов работы транспортных и технологических машин / А. А. Шарокв, В. Б. Борисевич, А. Б. Николаев, В. Ю. Строганов // Методы и модели прикладной информатики: межвуз сб. науч. тр. МАДИ (ГТУ). -М., 2009.-С.63−71.
  57. , А.А. Математические основы автоматизации контроля качества технологических процессов / А. А. Шарков, А. Ю. Кудрявцев М.Н. Антонов, Д. В. Зайцев // Методы и модели прикладной информатики: межвуз сб. науч. тр. МАДИ (ГТУ). -М., 2009.-С.99−104.
  58. , А.А. Анализ сходимости алгоритма поисковой оптимизации / А. А. Шарков, С. Н. Сатышев, О. В. Селиверстова, Д. В. Зайцев // Теория и практика автоматизированного управления: сб. науч. тр. МАДИ (ГТУ). —М&bdquo- 2009. -С.9−20.
  59. Р. Имитационное моделирование искусство и наука. М.: Мир, 1978.-418с.
  60. Ю.В., Жданов Т. С., Ландовский В. В. Компьютерное моделирование динамических систем // «Компьютерное моделирование 2003». Труды 4-й межд. научно-техн. конференции, С. Петербург, 24−28 июня 2003 г., с.373−380
  61. Л.Э. Дифференциальные уравнения с запаздывающим аргументом. М., Наука, 1965. —394с.
  62. Л.Э., Норкин С. Б. Введение в теорию дифференциальных уравнений с отклоняющимся аргументом. М., Наука, 1971. 405с.
  63. С.А., Покалев С. С. Логическое управление гибким интегрированным производством // Институт проблем управления. -Препринт. М., 1989. — 55с.
  64. Andersson М. Omola An Object-Oriented Language for Model Representation, in: 1989 IEEE Control Systems Society Workshop on Computer-Aided Control System Design (CACSD), Tampa, Florida, 1989.
  65. Andersson M. OmSim and Omola Tutorial and User’s Manual. Version 3.4., Department of Automatic Control, Lund Institute of Technology, 1995, pp.45.
  66. ANSI/IEEE Std 754−1985. IEEE Standard for Binary Floating-Point Arithmetic, 1985.
  67. AnyLogic User’s Manual, http://www.xjtek.com.
  68. Ascher Uri M., Petzold Linda R. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. SIAM, Philadelphia, 1998.
  69. Astrom K.J., Elmqvist H., Mattsson S.E. Evolution of continuous-time modeling and simulation. The 12th European Simulation Multiconference, ESM'98, June 16−19, Manchester, UK.
  70. Avrutin V., Schutz M. Remarks to simulation and investigation of hybrid systems, // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ, 2001. с.64−66.
  71. Baleani M., Ferrari F., Sangiovanni-Vincentelli A.L., and Turchetti C. HW/SW Codesign of an Engine Management System. In Proc. Design Automation and Test in Europe, DATE’OO, Paris, France, March 2000, pp.263−270.
  72. Booch G. Object-Oriented Analysis and Design with Applicatons, 2nd ed. Redwood City, California, Addison-Wesley Publishing Company, 1993.
  73. Booch G., Jacobson I., Rumbaugh J. The Unified Modeling Language for Object-Oriented Development. Documentation Set Version 1.1. September 1997.
  74. Borshchev A., Karpov Yu., Kharitonov V. Distributed Simulation of Hybrid Systems with AnyLogic and HLA // Future Generation Computer Systems v. 18 (2002), pp.829−839.
  75. Borshchev A, Kolesov Yu., Senichenkov Yu. Java engine for UML based hybrid state machines./In Proceedings of Winter Simulation Conference, Orlando, California, USA, 2000. p. 1888−1897.
  76. Brenan K.E., Campbell S.L., Petzold L.R. Numerical solution of initial-value problems in differential-algebraic equations. North-Holland, 1989, 195 p.
  77. Bruck D., Elmqvist H., Olsson H., Mattsson S.E. Dymola for multi-engineering modeling and simulation. 2nd International Modelica Conference, March 18−19 2002, Proceedings, pp. 55−1 55−8.
  78. Bunus P., Fritzson P. Methods for Structural Analysis and Debugging of Modelica Models. 2nd International Modelica Conference, 2002, Proceeding, pp. 157−165.
  79. Darnell K., Mulpur A.K. Visual Simulation with Student VisSim, Brooks Cole Publishing, 1996.
  80. Deshpande A., Gullu A., Semenzato L. The SHIFT programming language and run-time system for dynamic networks of hybrid automata. http://www.path.berkeley.edu/shift/publications.html
  81. Elmqvist, H., F.E. Cellier, M. Otter, Object-Oriented Modeling of Hybrid Systems, Proc. ESS'93, SCS European Simulation Symposium, Delft, The Netherlands, 1993, pp. xxxi-xli.
  82. Elmqvist H., Mattsson S.E., Otter M. Modelica the new object-oriented modeling language. The 12th European Simulation Multiconference, ESM'98, June 16−19, Manchester, UK.
  83. Esposit J.M., Kumar V., Pappas G.I. Accurate event detection for simulating hybrid systems. Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28−30, 2001, Proceedings, pp.204−217.
  84. Ferreira J.A., Estima de Oliveira J.P. Modelling hybrid systems using statecharts and Modelica.. In Proc. of the 7th IEEE International Conference on Emerging Technologies and Factory Automation, Barcelona, Spain, 18−21 Oct., 1999, p. 1063.
  85. Fritzson P., Gunnarson J., Jirstrand M. MathModelica an extensible modeling and simulation environment with integrated graphics and literate programming/ 2nd International Modelica Conference, March 18−19 2002, Proceedings, pp. 41−54.
  86. Gollu A., Kourjanski M. Object-oriented design of automated highway simulators using SHIFT programming language. http://www.path.berkeley.edu/shift/publications.html
  87. Harel D. Statecharts: a visual formalism for complex systems. In Science of Computer Programming, North-Holland, Vol.8, No.3, 1987, pp. 231−274.
  88. Harel D., Gery E. Executable Object Modeling with Statecharts / Computer, July 1997, pp. 31−42.
  89. Jacobson I., Cristerson M., Jonsson P., Overgaard G. Object-Oriented Software Engineering: A Use Case Driven Approach. Wokingham, England, Addison-Wesley Publishing Company, 1992.
  90. Kesten Y., Pnueli A. Timed and hybrid statecharts and their textual representation. Lec. Notes in Сотр. Sci. pp. 591−620, Springer-Verlag, 1992.
  91. Khartsiev V.E., Shpunt V.K., Levchenko V.F., Kolesov Yu., Senichenkov Yu., Bogotushin Yu. The modeling of synergetic interaction in Theoretical biology. / Tools for mathematical modelling. St. Petersburg, 1999, p.71−73.
  92. Kolesov Y., Senichenkov Y. A composition of open hybrid automata. Proceedings of IEEE Region 8 International Conference «Computer as a tool», Ljubljana, Slovenia, Sep.22−24,. 2003, v.2, pp. 327−331.
  93. Ledin J. Simulation Engineering. CMP Books, Lawrence, Kansas, 2001.
  94. Maler O., Manna Z., and Pnueli A. A formal approach to hybrid systems. In Proceedings of the REX workshop «Real-Time: Theory in Practice», LNCS. Springer Verlag, New York, 1992.
  95. Maler O., Manna Z., and Pnueli A. From timed to hybrid systems. In Proceedings of the REX workshop «Real-Time: Theory in Practice», LNCS. Springer Verlag, New York, 1992.
  96. MarcaD.A, McGowan C.L. SADT: Structured analysis and design techniques New York: McGraw-Hill, 1988.
  97. Mattsson S.E., Elmqvist H., Otter M., Olsson H. Initialization of hybrid differential-algebraic equations in Modelica 2.0. 2nd International Modelica Conference, March 18−19 2002, Proceedings, pp. 9−15.
  98. Modelica — a unified object-oriented language for physical systems modeling. Tutorial. Version 1.4, December 15, 2000.
  99. Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification. Version 2.0, July 10, 2002.
  100. Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Tutorial. Version 2.0, July 10, 2002.
  101. Mosterman P.J. Hybrid dynamic systems: a hybrid bond graph modeling paradigm and its application in diagnosis. Dissertation for the degree PhD of Electrical Engineering/ Vanderbilt University, Nashvill, Tenneessee, 1997.
  102. Osipenlco G. Spectrum of a dynamical system and applied symbolic dynamics, Journal of Mathematical Analysis and Applications, v. 252, no. 2, 2000, pp.587−616 .
  103. Otter M., Elmqvist H., Mattsson S.E. Hybrid modeling in Modelica based on the synchronous data flow principle. In Proceeding of the 1999 IEEE Symposium on Computer-Aided Control System Design, CACSD'99, Hawai, USA, August 1999.
  104. Pantelides C.C. The consistent initialization of differential-algebraic systems. SIAM J. Sci. Stat. Comput. 9(2), 1988, p.213−231.
  105. Selic В., Gullekson G., Ward P.T. Real-Time Object-Oriented Modeling. John Wiley & Sons. Inc. 1994.
  106. Viklund L., Fritzson P. An object-oriented language for symbolic computation applied to machine element analysis. In Paul S. Wang, editor, Proceedings of the International Symposium on Symbolic and Algebraic Computation, pp. 397−405. ACM Press, 1992.
  107. YourdonE. Modern structured analysis. Prentice-Hall, New Jenersy. 1989.
Заполнить форму текущей работой

Заказал и сдал!