Проектирование систем управления сложными информационными процессами с применением многоагентной технологии
Диссертация
Важным классом организационно-технических систем являются информационные системы обработки информации и управления, обеспечивающие функционирование с заданным качеством сложного объекта. Научно-технический прогресс и жесткие условия конкуренции привели к созданию систем быстроизменяющейся структуры, причем все варианты изменения структуры невозможно предусмотреть на этапе проектирования, поэтому… Читать ещё >
Содержание
- Условные обозначения и сокращения
- Глава 1. Анализ методов автоматизации концептуального проектирования
- 1. 1. Обзор современного состояния проблемы автоматизации концептуального проектирования
- 1. 2. Обзор методов синтеза структуры сложных систем
- 1. 2. 1. Задача синтеза структуры сложной системы в процессе проектирования
- 1. 2. 2. Подходы к автоматизации проектирования технических объектов
- 1. 2. 3. Подходы к проектированию АСУ
- 1. 3. Применение методов искусственного интеллекта в автоматизированном проектировании
- 1. 4. Автоматизированные системы управления информационными процессами
- 1. 5. Применение многоагентных технологий в решении задачи автоматизации проектирования
- 1. 6. Формулировка цели и постановка задачи работы
- Глава 2. Моделирование процесса структурного синтеза с применением интеллектуальной многоагентной системы
- 2. 1. Формализация представления знаний о структурных элементах сложных технических систем в распределенных интеллектуальных многоагентных системах
- 2. 1. 1. Моделирование структуры объектов управления
- 2. 1. 2. Моделирование структуры систем управления
- 2. 2. Алгоритмическое обеспечение синтеза структуры сложных технических систем с применением методологии интеллектуальных многоагентных систем
- 2. 3. Формализмы представления процесса синтеза технических систем
- 2. 3. 1. Формализмы описания процесса проектирования
- 2. 3. 2. Формализмы описания многоагентной среды проектирования
- 2. 4. Методика автоматизации проектирования структуры технических систем с управлением
- 2. 1. Формализация представления знаний о структурных элементах сложных технических систем в распределенных интеллектуальных многоагентных системах
- Выводы к главе 2
- Глава 3. Применение теории агентов к построению распределенной автоматизированной системы проектирования
- 3. 1. Определение понятия «агент проектирования» в терминах построенной формализации
- 3. 1. 1. Общее определение понятия «агент»
- 3. 1. 2. Состав ментальных характеристик агента
- 3. 1. 3. Представление ментальных характеристик агента
- 3. 2. Распределенная система проектирования как многоагентная система
- 3. 2. 1. Кооперация агентов для решения задачи проектирования
- 3. 2. 2. Обеспечение коммуникаций в многоагентной системе проектирования
- 3. 3. Модель многоагентной системы
- 3. 1. Определение понятия «агент проектирования» в терминах построенной формализации
- Выводы к главе 3
- Глава 4. Алгоритмическое и информационное обеспечение структурного синтеза систем управления информационными процессами
- 4. 1. Моделирование объекта управления
- 4. 1. 1. Информационная модель объекта управления
- 4. 1. 2. Классификация потоков информации
- 4. 1. 3. Концептуальная модель объекта управления
- 4. 2. Многоагентная система управления информационными процессами
- 4. 2. 1. Структура системы
- 4. 2. 2. Структуры данных и организация базы знаний
- 4. 3. Автоматизация проектирования структуры системы управления
- 4. 3. 1. Определение цели проектирования
- 4. 3. 2. Пример проектирования структуры системы управления
- 4. 3. 3. Управление проектированием и функционированием АСУ
- 4. 4. Оценка эффективности системы проектирования
- 4. 1. Моделирование объекта управления
- Выводы к главе 4
Список литературы
- Дружинин В. В., Конторов Д. С. Системотехника.- М.: Радио и связь, 1985.200 с.
- Цвиркун А. Д. Основы синтеза структуры сложных систем. М.: Наука, 1982. 200с.
- Бяканоров С. П., Никитина Н. К., Теслинов А. Г. Введение в концептуальное проектирование АСУ: Анализ и синтез структур.-М.: РВСН, 1995.
- Аветисян Д. А., Ледер В. Е. Информационная модель процесса проектирования // Вопросы кибернетики: Методы управления и принятия решений в разраб. сложн. Систем.- М., 1986.
- Герасимов С. М., Подчукаев В. А. Алгебраический подход к анализу и синтезу распределенных управляемых систем // Автоматика и телемеханика.-1991 -№ 5 -С.57−62.
- Анкудинов Г. И. Синтез структуры сложных объектов (логико-комбинаторный подход).-Л.: Изд-во. ун-та. 1986.-258 с.
- Автоматизация проектирования сложных систем (направление: «Вычислительная техника в машиностроении»). Науч.-техн. сб. Минск, 1976.
- Диксон Д. Проектирование систем: изобретательство, анализ, принятие решений /Пер. с англ.- М.: Мир, 1989 440 с.
- Ю.Глумов В. М., Земляков С. Д., Карибский А. В., Крутова И. Н., Рутковский В. Ю., Цвиркун А. Д. Построение генеральной схемы организационной системы управления. Автоматика и телемеханика. № 12, 1996.
- Цвиркун А. Д., Акинфиев В. К., Структура многоуровневых и крупномасштабных систем. Синтез и планирование развития. М.: Наука, 1993.
- Прангишвили И. В. Системный подход и общесистемные закономерности. Серия «Системы и проблемы управления».- М.:СИНТЕГ, 2000- 528 с.
- Системный анализ в управлении: Учеб. пособие / В. С. Анфилатов, А. А. Емельянов, А. А. Кукушкин- Под. ред. А. А. Емельянова —М.: Финансы и статистика, 2002.- 368 с.
- Алиев Ш. Методологические аспекты проблемы управления. Баку: Элм, 1980.
- Дитрих Я. Проектирование и конструирование: Систем. Подход. М.: Мир, 1981.
- Попов Г. X. Проблемы теории управления. Изд. 2-е, доп. И перераб. М.: Экономика, 1974.
- Мамиконов А. Г. Основы построения АСУ. М.: Высшая школа, 1981.- 248 с.
- Яшин Я. М. Вопросы теории построения систем автоматизированного управления. JL: Изд-во Ленингр. Ун-та. 1978.
- Сухо дольский Г. В. Структурно-алгоритмический анализ и синтез деятельности. JL: Изд-во Ленингр. Ун-та, 1976 120 с.
- Цвиркун А. Д. Структура сложных систем. М.: Наука, 1975.
- Автоматизация поискового конструирования (искусственный интеллект в машинном проектировании) / Под ред. А. И. Половинкина. М: Радио и связь, 1981.-344 с.
- Методы анализа и синтеза структур управляющих систем / Б. Г. Волик, Б. Б. Буянов, Н. В. Лубков и др.- Под ред. Б. Г. Волика- М.: Энергоатомиздат, 1988−296 с.
- Интеллектуальные системы принятия проектных решений / Алексеев А. В., Борисов А. Н., Вилюмс Э. Р. и др.-Рига: Зинатне, 1997- 320 е., ил.
- Заболеева-Зотова А. В. Формализмы и алгоритмическое обеспечение структурного синтеза физически-неоднородных технических систем: Дисс.. канд. техн. наук / Науч. рук. Камаев В. А.- ВолгГТУ- Волгоград, 1995.-192 с.
- Месарович М., Мако Д. Такахара И. Теория многоуровневых иерархических систем. М.: Мир, 1973 г.
- Бурков В. Н., Кондратьев В. В. Механизмы функционирования организационных систем. М.: Наука, 1982 г.
- Математика. Большой энциклопедический словарь / Гл. ред. Ю. В. Прохоров- 3-е изд.—М.: Большая Российская Энциклопедия, 1998.- 848 е.: ил.
- Философский энциклопедический словарь 2-е изд.- М.: Сов. энциклопедия, 1989.-815 с. 32.0стрейковский В. А. Теория систем: Учеб. для вузов М.: Высш. шк., 1997.-240 с.
- Интеллектуальные системы принятия проектных решений / Алексеев А. В., Борисов А. Н., Вилюмс Э. Р. и др.- Рига: Зинатне, 1997 320 е., ил.
- Koller R. Konstruktionsmethode fur den Maschinen- Gerate und Apparatebau. Berlin, Neidelberg, New York: Spriger-Verlag, 1979- 191p.
- Пискунов А. И. Структурный подход к анализу нечетко формализованных систем. I Эквивалентные преобразования структуры нечетко формализованных систем // Автоматика и телемеханика 1988 .- № 4.- С. 128−137.
- Городецкий В. И., Грушинский М. С., Хабалов А. В. МНОГОАГЕНТНЫЕ СИСТЕМЫ: Обзор / Internet: HTTP://www.iias.spb.ru.
- Смирнов А. В., Шереметов JI. Б. Многоагентная технология проектирования сложных систем // Автоматизация проектирования 1998 — № 3- С. 45.
- Смирнов А. В., Шереметов JI. Б. Многоагентная технология проектирования сложных систем// Автоматизация проектирования 1999 — № 1- С. 42.
- Гаврилова Т. А., Хорошевский В. Ф. Базы знаний интеллектуальных систем.- СПб: Питер, 2000.- 384 е.: ил.
- Искусственный интеллект В 3-х кн. Кн. 2. Модели и методы: Справочник / Под ред. Поспелова Д. А. — М.: Радио и связь, 1990.- 304 с.
- Уотермен Д. Руководство по экспертным системам: Пер. с англ.-М.: Мир, 1989.-388 с.
- Непейвода Н. П. Логический подход как альтернатива системному в математическом описании систем//Экспертные системы: состояние и перспективы/под ред. Д. А. Поспелова.- М.: Наука, 1989.-С.20−29.
- Мальцев А. И. Алгебраические системы.- М.: Наука, 1970.
- Тарасов В. Б. От многоагентных систем к интеллектуальным организациям: философия, психология, информатика-М.: Эдиториал УРСС, 2002 352 с. (Науки об искусственном)
- Солодовников В. В., Тумаркин В. И. Теория сложности и проектирование систем управления М.: Наука. Гл. ред. физ.-мат. лит., 1990.- 168 е.- (Теория и методы системного анализа).
- Богомолов А. М., Салий В. Н. Алгебраические основы теории дискретных систем-М.: Наука. Физматлит, 1997 368 с.
- Ириков В. А., Тренев В. Н. Распределенные системы принятия решений. Теория и приложения-М.: Наука. Физматлит., 1999 288 с.
- Кузнецов А. П., Адельсон-Вельский Г. М. Дискретная математика для инженера- 2-е изд., перераб. и доп.-М.: Энергоатомиздат, 1988- 480 с.
- Глушков В. М., Цейтлин Е. Г., Ющенко Е. Л. Алгебра, языки, программирование- Киев: Наукова думка, 1974 328 с.
- Санжапов Б. X. Камаев В. А. Математическое моделирование технических объектов и технологий в нечетких ситуациях: учебное пособие Волгоград: Волгоград, политехи, ин-т, 1989 — 72 с.
- Чекинов Г. П., Чекинов С. Г. Применение технологии многоагентных систем для интеллектуальной поддержки принятия решений// Электронный научный журнал «Системотехника», № 1, 2003.
- Малышев Н. Г., Мицук Н. В. Основы оптимального управления процессами автоматизированного проектирования-М.: Энергоатомиздат, 1990.-224 с.
- Полшцук Ю. М., Хон В. Б. Теория автоматизированных банков информации: Учеб. пособие для вузов по спец. «Автоматизированные системы обработки информации и упр.». -М.: Высш. шк., 1989 184 с.
- Основы автоматизации управления производством: Учеб. пособие для студ. техн. вузов / Макаров И. М., Евтихиев Н. Н., Дмитриева Н. Д. и др.- Под ред. И. М. Макарова-М.: Высш. школа, 1983- 504 е., ил.
- Wooldridge М. and Jennings N.R.: Intelligent Agents: Theory and Practice, The Knowledge Engineering Review, 10(2), pp. 115−152, 1995.
- Luck M., McBurney P. and Preist C., Agent Technology: Enabling Next Generation Computing (A Roadmap for Agent Based Computing), AgentLink, 2003.
- Jennings N. R., Sycara K. and Wooldridge M. (1998) «A Roadmap of Agent Research and Development"/ Int. Journal of Autonomous Agents and Multi-Agent Systems 1 (1) 7−38.
- Wooldridge M. and Jennings N.R.: Agent Theories, Architectures, and Languages: A Survey, Proc. ECAI-Workshop on Agent Theories, Architectures and Languages (eds. M.J. Wooldridge and N.R. Jennings), Amsterdam, The Netherlands, 1994,1−32.
- AgentLink.org: Member Research Profiles/ Internet: http ://www. agentlink.org/profiles/index.html62.0nn Shehory. Agent-Based Systems: do they Provide a Competitive Advantage?// AgentLink News 2003№ 13.- p. 8−9.
- John McCarthy. Ascribing mental qualities to machines/ Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 1990.
- John McCarthy. Creative solutions to problems/ Internet: http://www-formal.stanford.edu/jmc 1999.
- John McCarthy. Free will even for robots/ Internet: http://www-formal.stanford.edu/jmc — 2000.
- John McCarthy. Deterministic free will/ Internet: http://www-formal.stanford.edu/jmc 2003.
- Минский M. На пути к созданию искусственного разума/ Вычислительные машины и мышление. Под ред. Э. Фейгенбаума и Дж. Фельдмана. Пер. с англ.-М.: Мир, 1967.
- ЕНо, R & Haddadi, А (1999). Abstract tasks and conversation policies. In F. Dig-num & V. Greaves (Eds.) Issues in Agent Communication, 301−314. Springer Verlag, Berlin.
- A. Rao, M. Georgeff. Modeling Rational Agents within a BDI-Architecture (1991)/ Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91).
- A. Rao, M. Georgeff. BDI Agents from Theory to Practice, Technical Note 56, AAII, April 1995.
- M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press: Cambridge, MA, 1987.
- M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349−355, 1988.
- Куратовский К. Топология. Том 1. М.: Мир, 1966 594 с.
- J. Y. Halpern and Y. O. Moses. A guide to the modal logics of knowledge and belief / In Procedings of the Ninth International Joint Conference on Artificial Inteli-gence (IJCAI-85), LosAngeles, CA1985.
- J. Y. Halpern. Reasoning About Knowledge: A Survey. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, D. Gabbay, C. J. Hogger, and J. A. Robinson, eds., Oxford University Press, 1995, pp. 1−34.
- M. Wooldridge, N. R. Jennings. Formalizing the cooperative problem solving process. In Proceedings of the Thirteenth International Workshop on Distributed Artificial Intelligence (IWDAI-94), pages 403−417, Lake Quinalt, WA, July 1994.
- M. d’Inverno, M. Luck. Formalising the Contract Net as a Goal-Directed System. In Agents Breaking Away, MAAMAW'96, W. Van de Velde and J. Perram (eds.), Lecture Notes in Artificial Intelligence, 1038, 72−85, Springer-Verlag, Heidelberg, 1996.
- Бурков В. H., Новиков Д. А. ТЕОРИЯ АКТИВНЫХ СИСТЕМ: СОСТОЯНИЕ И ПЕРСПЕКТИВЫ. М.:Синтег, 1999. 128 с.
- Новиков Д. А. Механизмы функционирования многоуровневых организационных систем. М.: Фонд «Проблемы управления», 1999 161 с.
- Новиков Д. А. Сетевые структуры и организационные системы. М.: ИПУ РАН (научное издание), 2003. 102 с.
- Новиков Д. А., Петраков С. Н. Курс теории активных систем. М.: СИНТЕГ, 1999. 104 с.
- Новиков Д. А., Смирнов И. М., Шохина Т. Е. Механизмы управления динамическими активными системами. М.: ИПУ РАН, 2002. 124 с.
- Новиков Д. А., Цветков А. В. Механизмы функционирования организационных систем с распределенным контролем. М.: ИПУ РАН, 2001. 118 с.
- Губко М. В. Управление организационными системами с коалиционным взаимодействием участников. М.: ИПУ РАН (научное издание), 2003. 140 с.
- Караваев А. П. Модели и методы управления составом активных систем. М.: ИПУ РАН (научное издание), 2003.- 151 с.
- Бурков В. Н., Кузнецов Н. А., Новиков Д. А. Механизмы управления в сетевых структурах// Автоматика и телемеханика. 2002. № 12. сс.96−115.
- Бурков В. Н., Новиков Д. А. Теория и практика управления активными системами//Измерения, контроль, автоматизация. 2000. № 3.
- Parsons S., Wooldridge М. and Amgoud L., An analysis of formal interagent dialogues. In Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy, July 2002.
- P. R. Cohen and H. J. Levesque. Communicative Actions for Artificial Agents. Proc. First Int. Conf. Multi-Agent Systems (ICMAS'95), AAAI Press, 1995.
- Y. Labrou, T. Finin, Y. Peng. Agent Communication Languages: The Current Landscape. In IEEE Intelligent Systems, March/April 1999, pp. 45−52.
- P. Cohen, M. Johnston, D. McGee, S. Oviatt, J. Pittman, I. Smith, L. Chen, J. Clow. QuickSet: Multimodal Interaction for Distributed Applications.
- E. Mangina. Review of Software Products for Multi-Agent systems. Agen-tLink, 2002.
- L.W. Harper, H. S. Delugach. Using conceptual Graphs to Capture Semantics of Agent Communication.
- T. Finin, R. Fritzson, D. McCay, R. McEntire. KQML as an Agent Communication Language.
- А. Костин. Автоматизация и человек: мечты и реальность//Компьютерра. 2001, № 12(389).
- Сошников Д. В. Логический вывод на основе удаленного вывода и включения в системах с распределенной фреймовой иерархией/ Под ред. В. Е. Зайцева -М.: Вузовская книга, 2002 48 с.
- Compendium: Service Management. Computerwoche Verlag GmbH, 2002.
- Анализ корпоративных систем управления событиями по методу «Магический квадрат». Комментарий к результатам исследования 29 мая 2003 г. Gartner Inc, 2003.
- Теслинов А. Г. Развитие систем управления: методология и концептуальные структуры-М.: Глобус, 1998. 229 с.
- White Paper: Managing Networks and Services with Intelligent Systems. Automating decisions and business processes in next generation networks. Agilent Technologies, 2003.
- Мелик-Гайказян И. В. Информационные процессы и реальность М.: Наука. Физматлит, 1998 — 192 с.
- Дмитриев А. К., Мальцев П. А. Основы теории построения и контроля сложных систем Л.: Энергоатомиздат. Ленингр. отд-ние, 1988 — 192 с.
- KAoS: A Generic Agent Architecture for Aerospace Applications. Jeffrey M. Bradshaw, Stewart Dutfield, Bob Carpenter, Renia Jeffers, Tom Robinson// Proceedings of the CIKM '95 Workshop on Intelligent Information Agents.
- Denton, William. «How to Make a Faceted Classification and Put It On the Web» Nov. 2003. http://www.miskatonic.org/library/facet-web-howto.html.
- Vanda Broughton. Facet analytical theory as a basis for a knowledge organization tool in a subject portal, http://www.ucl.ac.uk/fatks/paper2.htm
- Кузнецов Н. А. Информационное взаимодействие в технических и живых системах//Информационные процессы, Том 1, № 1, 2001, с. 1−9.
- Кузнецов Н. А., Любецкий В. А., Чернавский А. В. О понятии информационного взаимодействия, 1: допсихический уровень// Информационные процессы, Том 3, № 1, 2003, с. 1−22.
- Андрейчикова О. Н., Андрейчиков А. В. Интеллектуальная система для синтеза технических объектов // Вестник машиностроения 2002.- № 10.- с. 59−69.
- Алиев Р. А., Абдикеев Н. М., Шахназаров М. М. Производственные системы с искусственным интеллектом.- М.: Радио и связь, 1990.- 264 с.
- Гуляев В. А., Чаплыга В. М., Кедровский И. В. Методы и средства обработки диагностической информации в реальном времени.- Киев: Наук, думка, 1986.- 224 с.
- Atlee J., Gannon J. State-Based Checking of Event-Driven System Requirements. http://http://citeseer.ist.psu.edu/249 127.html
- Joanne M. Atlee, Michael A. Buckley. A Logic-Model Semantics for SCR Software Requirements (1996). http://citeseer.ist.psu.edu/249 127.html
- Дедков В. К., Северцев Н. А. Основные вопросы эксплуатации сложных систем-М.: Высшая школа, 1976.
- Кесс Ю. Ю. Анализ и синтез фреймовых моделей АСУ М.: Энергоатом-издат, 1986.- 168 с.
- Девятов Б. Н., Демиденко Н. Д. Теория и методы анализа управляемых распределенных процессов-Новосибирск: Наука, 1983.
- Однородные управляющие структуры адаптивных роботов/ Каляев А. В., Чернухин Ю. В., Носков В. Н., Каляев И. А. Под ред. А. В. Каляева и Ю. В. Чернухина, — М.: Наука. Гл. ред. физ.-мат. лит., 1990 152 е.- (Научные основы робототехники).
- Две головы лучше или кое-что о двухпроцессорных рабочих станциях// http://www.rekvizit.ru/data/lab/cpu/280 201/280201 .shtml