Российская академия наук Лаборатория интегрированных систем автоматизации
СПИИРАН
Отчет лаборатории 2000

Заведующий лабораторией - д.т.н., проф. Александр Викторович Смирнов - Интеллектуальное управление конфигурациями производственных сетей. smir@iias.spb.su

Общая численность

12 человек и 1 аспирант

Научные сотрудники и краткое наименование направления работ

Д.т.н., вед.н.с. Василий Васильевич Попович – Теория построения объектно-ориентированных геоинформационных систем. popovich@mail.iias.spb.su

К.т.н., с.н.с. Олег Юрьевич Гусихин – Методы и модели планирования и управления производственными системами

К.т.н., с.н.с. Леонид Борисович Шереметов – Многоагентные технологии в планировании и проектировании сложных систем

К.т.н., с.н.с. Владимир Михайлович Шпаков – Моделирование и управление дискретно-непрерывными технологическими процессами. vlad@mail.iias.spb.su

Н.с. Михаил Павлович Пашкин – Internet-технологии для групповой поддержки принятия решений.

Н.с. Ирина Олеговна Рахманова – Групповая поддержка принятия решений для оценки качества организационно-технических решений. ior@mail.iias.spb.su

М.н.с. Анна Валерьевна Панкова – Информационные технологии для управления знаниями. anna@mail.iias.spb.su

Программисты

Вед. прогр. Татьяна Викторовна Левашова – Информационные технологии для управлениями знаниями. oleg@mail.iias.spb.su

Прогр. Татьяна Борисовна Сметюх – Internet-технологии для представления информации. smetjukh@mail.iias.spb.su

Аспиранты

Николай Германович Шилов – Методы и технологии конфигурирования виртуальных предприятий. nick@mail.iias.spb.su

Защищенные кандидатские и докторские диссертации

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

Защищенные дипломные проекты

нет

Учебные курсы

Санкт-Петербургский государственный технический университет:
кафедра экономики и менеджмента в машиностроении:

Компьютерные технологии в экономике (проф. А.В.Смирнов, доц. И.О.Рахманова)

Информатика и программирование (доц. В.М.Шпаков).
Санкт-Петербургский государственный электротехнический университет:
кафедра автоматизации научных исследований

Методы и модели поддержки принятия решений на предприятиях (проф. А.В.Смирнов)

Участие в конференциях, выставках

Интеллектуальные системы и информационные технологии управления (ИСИТУ-2000-ISITC), Псков, 18 – 23 июня, 2000. – Шпаков В.М.

Всероссийская объединенная конференция «Технологии информационного общества – Интернет в современном обществе»
(IST/IMS – 2000), Санкт-Петербург, 20–24 ноября, 2000. – Смирнов А.В.

VII Санкт-Петербургская Международная конференция “Региональная информатика–2000” (РИ-2000), Санкт-Петербург, 5-8 декабря, 2000. – Левашова Т.В., Шпаков В.М., Попович В.В.

The 2000 AAAI Spring Symposium “Bringing Knowledge to Business Processes”, March 20-22, Stanford, California, 2000. – Смирнов А.В.

The Eleventh Annual Conference of the Production and Operations Management Society (POM-2000), San Antonio, Texas, USA, April 1-4, 2000. – Смирнов А.В.

The Technology Day 2000, Dearborn, Michigan, USA, June 6, 2000. – Смирнов А.В.

The 6th International Conference on Concurrent Enterprising. Toulouse, France, June 28-30, 2000. – Смирнов А.В.

The second Conference on Management and Control of Production (MCPL’2000). Grenoble, France, July 5-8, 2000. – Смирнов А.В.

The 2000 Japan–USA Symposium on Flexible Automation, July 2000, Ann Arbor, Michigan. – Смирнов А.В.

The 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000), Orlando, Florida, USA, July 23 - 26, 2000. – Смирнов А.В.

The IASTED International Conference on Intelligent Systems and Control (ISC'2000), Honolulu, Hawaii, USA, August 14 - 16, 2000. – Смирнов А.В.

The Second International Conference on Simulation, Gaming, Training and Business Process Reengineering in Operations, Riga, Latvia, September 8 - 9, 2000. – Смирнов А.В.

The Conference on Information Society Technologies (IST’2000), Nice, France, November 6 - 8, 2000. - Смирнов А.В.

The 2nd IFIP/MASSYVE Working Conference on Infrastructures for Virtual Enterprises, (PRO-VE 2000), Florianopolis, SC, Brazil, December 4 - 6, 2000. – Шереметов Л.Б.

II Международная выставка «Санкт-Петербургу – 300 лет». С.-Петербург, 25—28 мая 2000. – Рахманова И.О., Шпаков В.М.

Российская выставка «Российский промышленник». С.-Петербург, ЛенЭКСПО, 25—29 сентября 2000. – Рахманова И.О., Шпаков В.М.

Международное сотрудничество

Смирнов А.В. – визит-профессор Университета Мичиган, США

Шилов Н.Г. – визит-исследователь Университета Мичиган, США

Гусихин О.Ю. – работа по контракту в исследовательской лаборатории компании Ford, Мичиган, США

Шереметов Л.Б. - визит-профессор аспирантуры Национального Политехнического Института, Мексика

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

Смирнов А.В. - член редколлегий журналов: «International Journal of Agile Manufacturing», USA; «Автоматизация проектирования», ОИВТА РАН.

Области исследований

Проектирование, планирование и управление производственными системами по направлениям: системы поддержки принятия решений, дискретно-событийные системы, объектно-ориентированные БД, объектно-ориентированные геоинформационные системы, распределенное управление.

Новые результаты исследований

1. Разработана концепция Е-менеджмента (основанного на использовании Internet/Intranet/Extranet) и архитектура его технологической модели для управления конфигурациями производственных сетей (виртуальные предприятия, сети поставщиков и т.д) [7—25]. Определены Е-менеджмент процессы относительно жизненного цикла изделия, включающие: (а) заказ комплектующих и материалов, (б) производство, (в) управление запасами и незавершенным производством, (г) диспетчирование и (д) распределение заказа по потребителям. Предложенная технологическая модель Е-менеджмента структурирована на две группы технологий: решения проблем и информационной поддержки. Первая включает в себя (1) менеджмент, ориентированный на потребности покупателя, (2) управление конфигурациями и (3) удовлетворение & распространение ограничений. Вторая группа включает (1) управление данными & знаниями, (2) многоагентные технологии и технологии интеллектуальных агентов и (3) концептуальное & информационное моделирование.

2. Исследован ситуационный подход к спецификации функционирования гибридных динамических систем (дискретно-событийных и непрерывных), когда модель функционирования системы задается ее исходной ситуацией и совокупностью правил трансформации ситуаций, а не последовательностью действий, как в случае процедурной спецификации [1, 5]. Трансформация ситуации может определяться не только текущей ситуацией, но и предшествующими ситуациями. Задание правил трансформации, соответствующих возникающей ситуации, позволяет однозначно описать динамический процесс от исходной до конечной ситуации. Подход пригоден для спецификации параллельных асинхронных дискретно–непрерывных процессов, позволяет определять взаимодействие процессов и осуществлять их координацию. Разработана бэтта-версия компьютерной среды, ориентированной на разработку имитационных моделей гибридных систем управления.

3. Разработана аксиоматическая схема исследования прикладной теории на примере теории поиска подвижных объектов, в рамках которой разработаны понятийный аппарат, система аксиом и доказаны основные теоремы [5, 6]. Показано, что классическая теория поиска в изложении Купмана является частным случаем разработанной аксиоматической схемы. Разработан компьютерный прототип библиотеки функций прикладных задач теории поиска, радиолокации, гидрометеорологических расчетов и картографии. Разработанный прототип может быть использован в качестве визуальной оболочки исследования прикладных задач, в качестве динамически подключаемых библиотек и в качестве откомпилированных модулей Borland Pascal. На базе данной библиотеки разработан компьютерный прототип объектно-ориентированного моделирования прикладных задач в динамических предметных областях.
Научно-экспериментальная база
Windows 2000 Advanced Server / IBM Pentium II 300 Mh с возможностью поддержки FTP, Gopher, HTTP-серверов – 1 шт., Pentium II– 5 шт., IBM Pentium I – 4 шт., IBM 486 – 1 шт., коммутирующее устройство на 12 устройств с передающей/принимающей способностью 10 Mb/s - 1 шт. и на 2 устройства с передающей/принимающей способностью в 100 Mb/s (одним устройством является выход в общеинститутскую сеть).

Список публикаций

1. Шпаков В.М. Среда разработки ситуационных исполняемых спецификаций моделей систем управления // Интеллектуальные системы и информационные технологии управления (ИСИТУ-2000-ISITC): Материалы конференции. Псков, 2000.
2. Смирнов А.В., Рахманова И.О., Пашкин М.П. Компьютерная среда групповой экспертной оценки качества организационно-технических решений “MultiExpert” // Инновации, 2000. № 5.
3. Смирнов А.В., Шилов Н.Г., Левашова Т.В., Данилов К.Д. Конфигурирование производственных процессов: обработка заказа, основанная на объектно-ориентированной среде «Ассистент» // VII Санкт-Петербургская Международная конференция “Региональная информатика–2000” (РИ-2000): Тез.докл. С.-Петербург, 2000. С. 106-107.
4. Попович В.В. Классификация задач поиска // VII Санкт-Петербургская Международная конференция “Региональная информатика–2000” (РИ-2000): Тез.докл. С.-Петербург, 2000. Электронный вариант.
5. Шпаков В.М. Использование ситуационных исполняемых спецификаций для разработки моделей гибридных систем управления. // VII Санкт-Петербургская Международная конференция “Региональная информатика–2000” (РИ-2000): Тез.докл. С.-Петербург, 2000. С. 110.
6. Попович В.В. Основы теории поиска подвижных объектов – СПб.: ВМА, 2000. 300 c.
7. Smirnov, A.V., and Chandra, C. Object-Oriented Modeling Methodology for Co-Operative Supply Chain Management // Proceedings of the Second CONSA Special Workshop on Simulation Applications in the Baltic Area (Research Report Series, Report Number 4, 2000; Eds: Rapp, B., Merkuryev, Y., and Merkuryeva, G.), October 10-11, 1999, Riga, Latvia. Univesity of Linkouping, Sweden, 2000. P. 7—19.
8. Smirnov, A., and Chandra, C., Ontology-based Knowledge Management for Co-operative Supply Chain Configuration // Proceedings of the 2000 AAAI Spring Symposium “Bringing Knowledge to Business Processes”. Stanford, California, AAAI Press, 2000. P. 85—92.
9. Chandra, C., and Smirnov, A.V. Cooperative Supply Chain Configuration Management // The Proceedings of the Eleventh Annual Conference of the Production and Operations Management Society (POM-2000). San Antonio, Texas, 2000. P. 42.
10. Chandra, C., Smirnov, A.V. Custom-Oriented Management of Vehicles Supply Chain Using Fuzzy Coalition Games // The Proceedings of the Technology Day 2000. College of Engineering & Computer Science, University of Michigan. Dearborn, Michigan, USA, 2000. P. 36—38.
11. Golm F., and Smirnov, A. ProCon: Decision Support for Resource Management in a Global Production Network Intelligent Problem Solving // The Proceedings of the 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2000). New Orleans, Louisiana, USA, Springer Verlag, 2000. Электронный вариант.
12. Smirnov, A.V., and Chandra, C. E-Management of Scalable Supply Chain Configurations: Concept and Reusable Knowledge Management // The Proceedings of the 6th International Conference on Concurrent Enterprising. Toulouse, France, 2000. – P.91—99.
13. Smirnov, A.V., and Chandra, C. Configuring Co-Operative Supply Chain using Object-Oriented Modeling // MCPL’2000 Second Conference on Management and Control of Production. Grenoble, France, 2000. Электронный вариант.
14. Chandra, C., Kumar, S., and Smirnov, A.V. E-Management of Scalable Cooperative Supply Chains: Conceptual Modeling and Information Technologies // The Proceedings of the IFAC Symposium on Manufacturing, Modeling, Management and Control. Greece. – P. 439—444.
15. Chandra, C., and Smirnov, A.V. Fuzzy constraints Networks for Configuring Supply Chain // The Proceedings of the 2000 Japan-USA Symposium on Flexible Automation. Ann Arbor, Michigan 2000. Электронный вариант.
16. Chandra, C., and Smirnov, A. E-Management of Large Scale Production Networks Configuration: Major Principles and Models // The Proceedings of 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000). Orlando, Florida, USA, 2000. – Vol. IV. – P. 236—241.
17. Chandra, C., and Smirnov, A.V. Intelligent Configuration of Supply Chains: Generic Technology Framework and Knowledge Representation Models // The Proceedings of the IASTED International Conference on Intelligent Systems and Control (ISC, 2000). Honolulu, Hawaii, USA, 2000. – P. 45—51.
18. Golm F., and Smirnov, A. AI-based Decision Support for Resource Management of Virtual Production Networks // The 8th International Conference on Manufacturing Engineering (ICME 2000). Sydney, 2000. Электронный вариант.
19. Chandra, C., Smirnov, A.V., and Chilov, N. Business Process Reengineering of Supply Chain Networks through Simulation Modeling & Analysis // The Proceedings of the Second International Conference on Simulation, Gaming, Training and Business Process Reengineering in Operations. Riga, Latvia, 2000. – P. 345—349.
20. Smirnov A.V. Mass Customization Management Infosphere: Major Requirements and Technologies // The Proceedings of the International Conference on Life Cycle Approach to Production Systems Management, Control and Supervision. Bordeaux, France, 2000. – P. 1—3.
21. Chandra, C., and Smirnov, A.V. Co-operative Supply Chain Management: Applications of Ontology-Oriented Constraint Networks for Vehicle Industry // The Proceedings of the 2000 Pacific Conference on Manufacturing. Detroit, Michigan, 2000. Электронный вариант.
22. Golm F., and Smirnov A.. Virtual Production Network Configuration: ACS-approach and tools // Advances in Networked Enterprises: Proceedings of the 4th IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Production and Transportation (BASYS 2000). Berlin: Kluwer Academic Publishers; Bosten/Dordrecht/ London, 2000. P. 103 – 110.
23. Chandra C., and Smirnov, A.V. Intelligent Support of E-Management for Consumer-Focused Virtual Enterprises // The Proceedings of the Conference on Intelligent Systems for Advanced Manufacturing. Boston, Massachusetts, USA, 2000. Электронный вариант.
24. Chandra, C., Smirnov, A.V., Sheremetov, L.B. Agent-based Infrastructure of Supply Chain Network Management // The Proceedings of the 2nd IFIP/MASSYVE Working Conference on Infrastructures for Virtual Enterprises (PRO-VE 2000). Florianopolis, SC, Brazil, 2000. Электронный вариант.
25. Chandra, C., and Smirnov, A.V. Consumer-Focused Supply Chain Management Based on Agreement Network Model // The Proceedings of the International ICSC Congress on Intelligent Systems & Applications, Workshops on Mass Customization Management (MCM 2000). New South Wales, Australia, 2000. Электронный вариант.