Аналитико-имитационное моделирование и ситуационное управление в дилерских сетях предприятий автомобильной промышленности
Диссертация
Снабжение запчастями и комплектующими является важнейшей частью дилерской сети предприятий автомобильной промышленности. Высокоэффективное решение этих вопросов в настоящее время возможно только при условии полной автоматизации основной производственной деятельности, позволяющей не только оптимизировать запасы, но и снизить расходы по хранению запасных частей, а также ускорить обслуживание… Читать ещё >
Список литературы
- Абрамов A.A. Моделирование информационных процессов в системе управления промышленными предприятиями. — М., 1997. — 130с.
- Аверин В.И., Кручинин И. А. Эффективность компьютеризации производственных систем. -М.: Машиностроение, 1991. 187 с.
- Андронов A.A., Леонтович Е. А., Гордон М. И., Майер А. Г. Качественная теория динамических систем 2-го порядка. М.: Наука, 1966. -.568 с.
- Арайс Е.А., Дмитриев В. М. Автоматизация моделирования многосвязных механических систем. М.: Машиностроение, 1987.- 240с.
- Бенькович Е.С., Колесов Ю. Б., Сениченков Ю. Б. Практическое моделирование сложных динамических систем. С. Петербург, БХВ, 2001.-441с.
- Безкоровайный М.М., Костогрызов А. И., Львов В. М. Инструментально-моделирующий комплекс для оценки качества функционирования информационных систем «КОК». Руководство системного аналитика. М.: Синтег, 2000. — 116с.
- Бизли Д. Язык программирования PYTHON, Киев, ДиаСофт, 2000. -336 с.
- Боггс У, Боггс М. UML и Rational Rose, М.: Лори, 2000. 582с.
- Ю.Борщев A.B., Карпов Ю. Г., Колесов Ю. Б. Спецификация иверификация систем логического управления реального времени. -Системная информатика, вып.2, Системы программирования. Теория и приложения. Новосибирск: ВО «Наука», 1993, с. 113−147.
- Бромберг П.В. Матричные методы в теории релейного и импульсного регулирования. М.: Наука, 1967. 323 с.
- Бусленко Н.П. Моделирование сложных систем. М.:Наука, 1978.-384с.
- Буч Г. Объектно-ориентированный анализ и проектирование с примерами на С++, 3-е изд. / Пер. с англ. М.: «Издательство Бином», СПб.: «Невский диалект», 2001 — 560с.
- Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя: Пер. с англ. М.: ДМК, 2000. — 432с.
- Васильев А.Е., Леонтьев А. Г. Применение пакета Model Vision Studium для исследования мехатронных систем. // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ, 2001. с.51−52.
- Вендров A.M. CASE-технологии: Современные методы и средства проектирования информационных систем. М.: Финансы и статистика, 1998. -176с.
- Глушков В.М., Гусев В. В., Марьянович Т. П., Сахнюк М. А. Программные средства моделирования непрерывно-дискретных систем. -Киев: Наукова думка, 1975. 152с.
- Гома X. UML. Проектирование систем реального времени, параллельных и распределенных приложений: Пер. с англ. М.: ДМК Пресс, 2002. — 704с.
- Гультяев А.К. MATLAB 5.3. Имитационное моделирование в среде Windows, М.: Корона принт, 2001. 400с.
- Дал У., Мюрхауг Б., Нюгород К. СИМУЛА-67. Универсальный язык программирования. М.: Мир, 1969. 99с.
- Дмитриев А.К., Мальцев П. А. Основы теории построения и контроля сложных систем. Л.: Энергоатомиздат, 1988.- 192 с.
- Дьяконов В. Mathematica 4: учебный курс. СПб: Питер, 2002. — 656с
- Емельянов Е.С. Системы автоматического управления с переменной структурой. М.: Наука, 1967. 335 с.
- Емельянов С. В, Коровин С. К. Новые типы обратной связи. М.: Наука, 1997. 352 с.
- Инихов Д. Б, Инихова М. А., Колесов Ю. Б., Сениченков Ю. Б. Свидетельство об официальной регистрации программы для ЭВМ «Model Vision ver. 1.5» № 930 033.-Москва, РосАПО, 14.10.1993.
- Инихов Д. Б, Инихова М. А., Колесов Ю. Б., Сениченков Ю. Б. Свидетельство об официальной регистрации программы для ЭВМ «Model Vision for Windows» № 950 277. Москва, РосАПО, 04.08.1995.
- Инихов Д. Б, Колесов Ю. Б., Сениченков Ю. Б. Свидетельство об официальной регистрации программы для ЭВМ «Model Vision Studium версия 3.0» № 990 643. Москва, Роспатент, 6.09.1999.
- Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. М.: Мир, 1971. 400 с.
- Касти Дж. Большие системы. Связность, сложность и катастрофы. = М.: Мир, 1982.-216с.
- Киндлер Е. Языки моделирования: Пер. с чеш. М.: Энергоатомиздат, 1985. — 389с.
- Козлов О.С., Медведев B.C. Цифровое моделирование следящих приводов. // В кн.: Следящие приводы. В 3-х т. /Под ред. Б. К. Чемоданова. М.: Изд. МГТУ им. Н. Э. Баумана, 1999. Т. 1. С. 711−806.
- Колесов Ю.Б. Анализ корректности процессов логического управления динамическими объектами // Известия ЛЭТИ. Сб. научн. Трудов / Ленингр. Электротехнич. Ин-т им. В. И. Ульянова (Ленина). Л.: 1991. — Вып. 436.-е. 65−70.
- Колесов Ю.Б. Свидетельство об официальной регистрации программы для ЭВМ «MVBase версия 8.0» № 2 001 610 183. Москва, Роспатент, 21.02.2001.
- Колесов Ю.Б., Сениченков Ю. Б. Библиотека программ для решения ОДУ. Труды ЛПИ, 462. С.Пб.: 1996, с. 116−122.
- Колесов Ю.Б., Сениченков Ю. Б. Визуальное моделирование сложных динамических систем. Изд. «Мир и Семья & Интерлайн», СПб, 2000, 242с.
- Курочкин Е.П., Колесов Ю. Б. Технология программирования сложных систем управления / ВМНУЦ ВТИ ГКВТИ СССР. М.: 1990. -112с.
- Липаев В.В. Надежность программных средств, М.: Синтег, 1998. -232с.
- Липаев В.В. Системное проектирование сложных программных средств для информационных систем. М.: Синтег, 1999. — 224с.
- Майо Д. С#: Искусство программирования. Энциклопедия программиста: Пер. с англ. СПб.: «ДиаСофтЮП», 2002. 656 с.
- Меерович Г. А. Эффект больших систем., М.: Знание, 1985. 231с.
- Мехатроника: Пер. с япон. / Исии Т., Симояма И., Иноуэ X., и др. -М.: Мир, 1988.-387с.
- Мухин О.И. Компьютерная инструментальная среда «Слоистая машина». Пермь, ППИ, 1991. 122 с.
- Мухин О.И. Универсальная инструментальная среда «Stratum Computer» программный продукт нового поколения // Проблемы информатизации высшей школы (бюллетень Госкомвуза РФ). М., ГосНИИ СИ, 1995. Вып.2. 10−1 — 10−4.
- Петров Г. Н. Использование пакета «Model Vision» для создания компьютерных лабораторных работ. // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ, 2001. с.53−54.
- Прицкер А. Введение в имитационное моделирование и язык CJIAM II: Пер. с англ. М.: Мир, 1987. — 646с.
- Саная А.Г. Методы организации и моделирования дилерских сетей / Николаев А. Б., Солнцев A.A., Саная А. Г., Якунин П. С. // В мире научных открытий № 12 (36). Красноярск: НИЦ, 2012. — С. 163−174.
- Саная А.Г. Имитационное моделирование как метод проведения системных исследований / Брыль В. Н., Саная А. Г., Товкач П. А., Якунин П. С. // Имитационное моделирование систем управления. М.: МАДИ, 2012. — С. 3−7.
- Саная А.Г. Методы оценивания характеристик имитационных моделей / Атаева С. К., Батов Р. В., Карасев A.A., Краснов Ю. А., Саная А. Г. // Имитационное моделирование систем управления. М.: МАДИ, 2012. — С. 98−104.
- Самарский A.A., Михайлов А. П. Математическое моделирование: Идеи. Методы. Примеры. М.: Наука. Физматлит, 1997.-320 с.
- Семененко М. Введение в математическое моделирование -М.:Солон-Р, 2002. 112с.
- Солодовников В.В. Теория автоматического регулирования. М.: Машиностроение, 1976, т.1 768 с
- Теория систем с переменной структурой./ Под редакцией С. В. Емельянова. М.: Наука, 1970. 590 с.
- Трудоношин В.А., Пивоварова Н. В. Математические модели технических объектов Мн.: Выш. шк., 1988 — 159с.
- Уткин В.И. Скользящие режимы в задачах оптимизации и управления. М.: Наука, 1981. 368 с.
- Филлиппов А.Ф. Дифференциальные уравнения с разрывной правой частью, М.: Наука, 1985,. 223 с.
- Хайрер Э., Ваннер Г. Решение обыкновенных дифференциальных уравнений. Жесткие задачи и дифференциально-алгебраические задачи, М., Мир, 1999, — 685с.
- Хоар Ч. Взаимодействующие последовательные процессы: Пер. с англ.- М.: Мир, 1989. 264с.
- Черемных С.В., Семенов И. О., Ручкин B.C. Структурный анализ систем: IDEF-технологии, М.: Финстат, 2001. 208с.
- Черных И.В. Simulink: среда создания инженерных приложений. М.: ДИАЛОГ-МИФИ, 2003. 496с.
- Шеннон Р. Имитационное моделирование искусство и наука. М.: Мир, 1978.-418с.
- Шорников Ю.В., Жданов Т. С., Ландовский В. В. Компьютерное моделирование динамических систем // «Компьютерное моделирование 2003». Труды 4-й межд. научно-техн. конференции, С. Петербург, 24−28 июня 2003 г., с.373−380
- Эльсгольц Л.Э. Дифференциальные уравнения с запаздывающим аргументом. М., Наука, 1965.-394с.
- Эльсгольц Л.Э., Норкин С. Б. Введение в теорию дифференциальных уравнений с отклоняющимся аргументом. М., Наука, 1971. 405с.
- Юдицкий С.А., Покалев С. С. Логическое управление гибким интегрированным производством // Институт проблем управления. -Препринт. М., 1989. — 55с.
- 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.
- Andersson M. OmSim and Omola Tutorial and User’s Manual. Version 3.4., Department of Automatic Control, Lund Institute of Technology, 1995, pp.45.
- ANSI/IEEE Std 754−1985. IEEE Standard for Binary Floating-Point Arithmetic, 1985.
- AnyLogic User’s Manual, http://www.xjtek.com.
- Ascher Uri M., Petzold Linda R. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. SI AM, Philadelphia, 1998.
- 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.
- Avrutin V., Schutz M. Remarks to simulation and investigation of hybrid systems, // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ, 2001. с.64−66.
- Baleani М., Ferrari F., Sangiovanni-Vincentelli A.L., and Turchetti С. HW/SW Codesign of an Engine Management System. In Proc. Design Automation and Test in Europe, DATE'00, Paris, France, March 2000, pp.263−270.
- Booch G. Object-Oriented Analysis and Design with Applicatons, 2nd ed. Redwood City, California, Addison-Wesley Publishing Company, 1993.
- Booch G., Jacobson I., Rumbaugh J. The Unified Modeling Language for Object-Oriented Development. Documentation Set Version 1.1. September 1997.
- 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.
- 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.
- Brenan K.E., Campbell S.L., Petzold L.R. Numerical solution of initial-value problems in differential-algebraic equations. North-Holland, 1989, 195 p.
- Bruck D., Elmqvist H., Olsson H., Mattsson S.E. Dymola for multiengineering modeling and simulation. 2nd International Modelica Conference, March 18−19 2002, Proceedings, pp. 55−1 55−8.
- Bunus P., Fritzson P. Methods for Structural Analysis and Debugging of Modelica Models. 2nd International Modelica Conference, 2002, Proceeding, pp. 157−165.
- Darnell K., Mulpur A.K. Visual Simulation with Student VisSim, Brooks Cole Publishing, 1996.
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- Fritzson P., Viklund L., Herber J., Fritzson D. Industrial application of object-oriented mathematical modeling and computer algebra in mechanical analysis. In Georg Heeg, Boris Magnosson, and Bertrand Meyer, editors,
- Technology of Object-Oriented Languages and Systems TOOLS 7, pp. 167−181. Prentice Hall, 1992.
- Gollu A., Kourjanski M. Object-oriented design of automated highway simulators using SHIFT programming language. http://www.path.berkeley.edu/shift/publications.html
- Harel D. Statecharts: a visual formalism for complex systems. In Science of Computer Programming, North-Holland, Vol.8, No.3, 1987, pp. 231−274.
- Harel D., Gery E. Executable Object Modeling with Statecharts / Computer, July 1997, pp. 31−42.
- Jacobson I., Cristerson M., Jonsson P., Overgaard G. Object-Oriented Software Engineering: A Use Case Driven Approach. Wokingham, England, Addison-Wesley Publishing Company, 1992.
- Kesten Y., Pnueli A. Timed and hybrid statecharts and their textual representation. Lec. Notes in Comp. Sci. pp. 591−620, Springer-Verlag, 1992.
- 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.
- 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.
- Ledin J. Simulation Engineering. CMP Books, Lawrence, Kansas, 2001.
- 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.
- 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.
- MarcaD.A, McGowan C.L. SADT: Structured analysis and design techniques New York: McGraw-Hill, 1988.
- 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.
- Modelica a unified object-oriented language for physical systems modeling. Tutorial. Version 1.4, December 15, 2000.
- Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification. Version 2.0, July 10, 2002.
- Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Tutorial. Version 2.0, July 10, 2002.
- 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.
- Osipenko G. Spectrum of a dynamical system and applied symbolic dynamics, Journal of Mathematical Analysis and Applications, v. 252, no. 2, 2000, pp.587−616 .
- 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.
- Pantelides C.C. The consistent initialization of differential-algebraic systems. SIAM J. Sci. Stat. Corriput. 9(2), 1988, p.213−231.
- Selic B., Gullekson G., Ward P.T. Real-Time Object-Oriented Modeling. John Wiley & Sons. Inc. 1994.
- 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.
- YourdonE. Modern structured analysis. Prentice-Hall, New Jenersy. 1989.