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

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

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

15 человек и 3 аспиранта

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

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

к.т.н., с.н.с. Николай Алексеевич Мустафин – Методы и модели поддержки принятия комплексных решений

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

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

к.т.н., н.с. Михаил Павлович Пашкин – Internet-технологии для групповой поддержки принятия решений. michael at mail.iias.spb.su

к.т.н., н.с. Николай Германович Шилов – Методы и технологии конфигурирования виртуальных предприятий.

н.с. Татьяна Викторовна Левашова – Методы и технологии управления онтологиями. oleg at mail.iias.spb.su

Аспиранты

Алексей Михайлович Кашевник – основанное на использовании контекста управление знаниями в производственных сетях. alexey at iias.spb.su (научный руководитель – проф. А. Смирнов)

Анна Сергеевна Комарова – основанный на использовании онтологий доступ к электронным документам. komarova at iias.spb.su (научный руководитель – проф. А. Смирнов)

Андрей Анатольевич Крижановский – автоматизированное построение списков семантически близких слов на основе корпуса электронных документов. (научный руководитель – проф. А. Смирнов)

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

К.т.н. Н.Г. Шилов – Разработка моделей для интеллектуальной поддержки принятия решений при конфигурировании виртуальных предприятий (научный руководитель – проф. А. Смирнов)

К.т.н. М.П. Пашкин – Разработка и реализация многоагентной системы логистики знаний для информационной поддержки принятия решений (научный руководитель – проф. А. Смирнов)

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

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

Инженер А.С. Комарова – Реализация и использование картограммы знаний в системе интеллектуального доступа к информации (научный руководитель – проф. А. Смирнов)

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

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

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

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

The International Workshop on Intelligent Information Management Systems and Technology (March 25-27, 2005; Shanghai, China) – Смирнов А.В.

The Third European HealthGrid Conference (April 7-9, 2005; Oxford, UK) – Шилов Н.Г.

The 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems (April 18-21, 2005; Waltham, MA, USA) - Смирнов А.В.

The Advanced Study Institute on Multisensor Data and Information Processing for Rapid and Robust Situation and Threat Assessment (May 16-27, 2005, Albena, Bulgaria) - A. Smirnov (an invited lecture)

The International Workshop on Autonomous Intelligent Systems: Agents and Data Mining (June 6-8, 2005; St.Petersburg, Russia) – Крижановский А.A.

The 11th International Conference on Concurrent Enterprising (June 20-22, 2005; Munich, Germany) - Смирнов А.В.

The Colloquium of Technical University of Berlin / Fraunhofer Institute of System and Software Technologies (June 27-28, 2005; Berlin, Germany) - Смирнов А.В.

Всероссийская научная конференция “Управление и информационные технологии”, Санкт-Петербург, 30 июня – 2 июля 2005 – Шпаков В.М.

The 5th International Conference CONTEXT-05 (July 5-7, 2005; Paris, France) – Левашова Т.В.

The Second International Conference on Product Lifecycle Management (July 11-13, 2005; Lyon, France) - Смирнов А.В.

The 8th International Conference on Information Fusion ( July 25-29, 2005; Philadelphia, USA) - Смирнов А.В.

V-ая Международная конференция “Интеллектуальные системы”, Россия, Дивноморское, 3—10 сентября, 2005 г.- Смирнов А.В.

1-ая Международная конференция «Системный анализ и информационные технологии», Россия, Переславль-Залесский, 12—16 сентября 2005 г.- Смирнов А.В.

The First International Conference on Changeable, Agile, Reconfigurable and Virtual Production ( September 22-23, 2005; Garching, Germany) - Смирнов А.В.

The Workshop on Innovative Logistics in Automotive Supply Chains (September 26-27, 2005; Munich, Germany) – Смирнов А.В., Шилов Н.Г.

The IEEE Workshop on Situation Management ( October 17-20, 2005, Atlantic City, USA) - Смирнов А.В.

2-ая Всероссийская конференции “Имитационное моделирование. Теория и практика”, Санкт-Петербург, 19 – 21 октября 2005 г.-– Шпаков В.М.

The Conference on Advanced Manufacturing (November 16-17, 2005; Leuven, Belgium) – Смирнов А.В.

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

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

Шереметов Л.Б. - работа по контракту в Мексиканском институте нефти, Мехико, Мексика

Смирнов А.В. – эксперт дирекции исследований Европейской комиссии, визитирующий профессор Advanced Research Institute for the Sciences and Humanities (Nihon University, Токио, Япония) и School of Engineering (Jönköping University, Швеция), консультирование исследовательской лаборатории компании Форд Мотор (США), участие в совещаниях по европейским проектам IMS-NoE и ILIPT, и европейского научного консорциума SME-Chain

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

Смирнов А.В. - член редколлегий журналов: «Информационные технологии и вычислительные системы», ОИТВС РАН; «Информационно-управляющие системы», Санкт-Петербург; International Journal of Multiagent and Grid Systems (IOS Press); Journal of Computer Research and Development, Китай.

Смирнов А.В. - рецензент журналов: International Journal of Hybrid Intelligent Systems (IOS Press), Applied Soft Computing Journal (Elsevier), European Journal of Operational Research (Elsevier)

Смирнов А.В. – член IEEE, член AIAA, член ISIF, член технического комитета TC 5.1 IFAC.

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

Методы и технологии для логистики знаний и для управления виртуальными сетями ресурсов.

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

1. Разработана методология построения контекстно-управляемых систем интеллектуальной поддержки принятия решений (ИСППР), в основе которой лежит онтологическая модель контекста на абстрактном и прикладном уровнях описания. Разработаны сценарии взаимодействия и модели интеллектуальных Web-сервисов, структурированных в сервисы для (а) поддержки пользователя (группы пользователей) и взаимодействия с ним, (б) взаимодействия с внешними источниками данных, информации и знаний, (в) поддержки библиотеки онтологий и конфигурирования разработанных проблемно-ориентированных Web-сервисов. Применение методологии позволит ускорить построение ИСППР за счет адаптации сервисов, предоставляемых ИСППР, к контексту (потребностям и свойствам конкретного пользователя). Полученные результаты могут быть использованы при создании персонифицированных систем интеллектуальной поддержки принятия решений в области бизнеса (крупных производственных, торговых и логистических систем), научных исследований, обучения, корпоративного и государственного управления [1-20].

2. Разработана исследовательская версия инструментальной программной среды для поддержки принятия решений при концептуальном проектировании многоуровневых распределённых автоматических и автоматизированных производственных и других технических систем [22]. В основе функционирования среды лежит вычислительная модель транзитивного представления гибридного автомата [21,23]. Среда позволяет обеспечить формальное представление естественнонаучных и экспертных эвристических знаний по управлению и координации процессов различной динамики. Для реализации транзитивных отношений предложены различные наборы трансформационных правил, использующих идентификацию логико-динамических ситуаций и событий, связанных с их возникновением или исчезновением. Экспериментальные исследования показали, что повышение выразительных возможностей правил ведёт к уменьшению надёжности получаемых на их основе спецификаций процессов. Для повышения выразительности и надёжности моделей начаты исследования и разработка аналитических и алгоритмических средства верификации баз правил.

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

1. Смирнов А.В., Пашкин М.П., Шилов Н.Г., Левашова Т.В., Крижановский А.А. Формирование контекста задачи для интеллектуальной поддержки принятия решений. Фундаментальные основы информационных технологий и систем. – Труды Института системного анализа РАН. – М.: ИСА РАН, 2005. – Т. 9, 125—188.
2. Смирнов А.В., Пашкин М.П., Шилов Н.Г., Левашова Т.В. Использование контекста при формировании модели задачи для интеллектуальной поддержки принятия оперативных решений. Материалы докладов V-ой Международная конференция “Интеллектуальные системы”, Россия, Дивноморское, 3—10 сентября, 2005. М.: Физматлит, 2005. Т. 1, 356—361.
3. Смирнов А.В., Пашкин М.П., Шилов Н.Г., Левашова Т.В. Методология использования контекста при интеллектуальной поддержке принятия решений. Материалы докладов 1 ой Международной конференции «Системный анализ и информационные технологии», Россия, Переславль-Залесский, 12—16 сентября, 2005, 276—282.
4. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T., Krizhanovsky, A. Agent-Based Intelligent Support to Coalition Operations: A Case Study of Health Service Logistics Support. Information & Security. An International Journal. Special Issue on IT in Coalition and Emergency Operations. ProCon Ltd., Sofia, Vol. 16, 2005, 41—61.
5. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T., Krizhanovsky, A., Knowledge Logistics as an Intelligent Service for Healthcare. Methods of Information in Medicine. Schattauer, Vol. 44, No. 2, 2005, 262—264.
6. Smirnov A., Pashkin M., Chilov N., Levashova T. Agents-based Knowledge Logistics. In: R. Khosla, N. Ichalkaranje, L.C. Jain (eds.) Design of Intelligent Multi-Agent Systems: Human-Centredness, Architectures, Learning and Adaptation. Series on Studies in Fuzziness and Soft Computing, Vol. 162, Springer, 2005, 63—101.
7. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T., Krizhanovsky, A. Multi-Agent Decision Support System for Disaster Response and Evacuation. In: B. Dunin-Keplicz, A. Jankowski, A. Skowron, M. Szczuka (eds.). Monitoring, Security, and Rescue Techniques in Multiagent Systems. Series on Advances in Soft Computing: Springer, 2005, 385—395.
8. Smirnov, A., Pashkin, M., Chilov, N., Levashova T. Ontology–Based Knowledge Repository Support for Healthgrids. In: T. Solomonides, R. McClatchey, V. Breton, Y. Legré, S. Nørager (eds.). From Grid to Healthgrid. Series on Studies in Health Technology and Informatics, Vol. 112, IOS Press, 2005, 47—56.
9. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T., Krizhanovsky, A., Kashevnik, A. Ontology-based Users and Requests Clustering in Customer Service Management System. In: V. Gorodetsky, J. Liu, V. Skormin (eds.) Autonomous Intelligent Systems: Agents and Data Mining. Springer GmbH, Lecture Notes in Computer Science, Vol. 3505, 2005, 231—246.
10. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T. Operational Decision Support: Context-Based Approach and Technological Framework. In: A. Dey, B. Kokinov, D. Leake, R. Turner (eds.) Modeling and Using Context. LNAI 3554, Springer, 476—489.
11. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Fusion-Based Intelligent Support for Logistics Management. In: Luis M. Camarinha-Matos (ed.) Emerging Solutions for Future Manufacturing Systems, Springer, 2005, 209-216.
12. Sandkuhl K., Smirnov A., Henoch B. Towards Knowledge Logistics in Agile SME Networks. In: A. Dolgui, J. Soldek, O. Zaikin (eds.) Supply Chain Optimization: Product / Process Design, Facility Location and Flow Control. Series on Applied Optimization, Vol. 94, Springer, 2005, 15-24.
13. Blomqvist, E., Levashova, T., Öhgren, A., Sandkuhl, K., Smirnov, A., Tarassov V. Configuration of dynamic SME supply chains based on ontologies. In: Marik, V., Brennan R.W., Pechoucek M. (eds.) Holonic and Multi-Agent Systems for Manufacturing. LNAI 3593, Springer, 2005, 246-256.
14. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T. Context-Based Knowledge Integration for Operational Decision Support in Network-Centric Environment. In: Proceedings of the 2005 IEEE International Conference on Computational Intelligence for Homeland Security and Personal Safety, Orlando, FL, USA, March 31-April 1, 2005. IEEE Catalog Number 05EX1081C, IEEE, 2005, 71—78.
15. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T. Ontology-Driven Intelligent Decision Support of OOTW Operations: Health Service Logistics Support. In: C. Thompson, H. Hexmoor (eds.). Proceedings of the 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems, April 18-21, 2005; Waltham, MA, USA, March 31-April 1, 2005. Library of Congress Number 2005922338, IEEE, 2005, 522—527.
16. Smirnov, A., Pashkin, M., Chilov, N. Personalized Customer Service Management for Networked Enterprises. Proceedings of the 11th International Conference on Concurrent Enterprising, Munich, Germany, June20—22, 2005, 295—302.
17. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T. Ontology-Based Support for Semantic Interoperability between SCM and PLM. In: (A. Bouras, B. Gurumoorthy, R. Sudarsan, eds.) Proceedings of the International Conference on Product Lifecycle Management, Lyon, France, July 11—13, 2005. Interscience Enterprises Ltd., Geneve, Switzerland, 2005, 127—136.
18. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T., Krizhanovsky, A. Ontology-Driven Information Integration to Operational Decision Support. Proceedings of the 8th International Conference on Information Fusion (IF 2005), Philadelphia, PA, USA, July 25—29, 2005. IEEE Catalog Number 05EX1120C, ISBN: 0-7803-9287-6, IEEE, 2005, 1-7.
19. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T. Ontology-Driven Knowledge Sharing in Global Supply Chains. Proceedings of the 1st International Conference on Changeable, Agile, Reconfigurable and Virtual Production, Garching, Germany, September 22—23, 2005. ISBN: 3-8316-0540-8, 1-7.
20. Smirnov, A., Pashkin, M., Chilov, N., Levashova, T. KSNet-Approach Application to Knowledge-Driven Evacuation Operation Management. Proceedings of the Workshop on Situation Management, Atlantic City, NJ, USA. October 17—20, 2005, IEEE Catalog Number 05CH37719C, ISBN: 0-7803-9394-5, 1-7.
21. Шпаков В.М. Подход к управлению и моделированию динамических систем, основанный на спецификации транзитивной модели гибридного автомата. Сборник докладов Всероссийской научной конференции “Управление и информационные технологии”, УИТ-2005, Санкт-Петербург, 30 июня – 2 июля 2005, том 2, 107-115.
22. Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов. Сборник докладов Всероссийской конференции “Имитационное моделирование. Теория и практика”, Санкт-Петербург, 19 – 21 октября 2005.-Т.II, 292 – 295.
23. Шпаков В.М. Транзитивная модель процессов и её использование для имитационного моделирования динамических систем. Сборник докладов Всероссийской конференции “Имитационное моделирование. Теория и практика”, Санкт-Петербург, 19 – 21 октября 2005.-Т.I, 288 - 292.