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

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

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

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

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

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

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

к.т.н., с.н.с. Ян Альбертович Ивакин (группа ООГИС) – Компьютерная интерпретация прикладных формализуемых теорий. ivakin@mail.iias.spb.su

к.т.н., с.н.с. Владимир Николаевич Кожемяка (группа ООГИС) – Методы и модели управления процессами в объектно-ориентированных геоинформационных системах.

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

к.т.н., с.н.с. Руслан Петрович Сорокин (группа ООГИС) - Интеллектуальная поддержка геоинформационных систем.

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

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

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

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

Аспиранты

Андрей Анатольевич Крижановский – Программное обеспечение проблемно-ориентированыых агентов для управления знаниями.

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

Санкт-Петербургский государственный университет:

кафедра математических методов в экономике:

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

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

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

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

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

The First International ICSC Congress on Autonomous Intelligent Systems (ICAIS’2002). Deakin University, Geelong, Australia; February 12-15, 2002. – А.В. Смирнов

The Sixth International Research Conference on Quality, Innovation & Knowledge Management (QIK’2002). Kuala Lumpur, Malaysia. February 17-20, 2002. - А.В. Смирнов

The Eighth International Conference on Concurrent Enterprising (ICE 2002). Rome, Italy; June 17-19, 2002. - А.В. Смирнов

The 15th IFAC World Congress (IFAC’2002). Barcelona, Spain, July 21-26, 2002. - А.В. Смирнов

Summer School 2002 on Models, Algebras, and Logic of Engineering Software, Marktoberdorf, Germany, July 30 - August 11, 2002. – Н.Г. Шилов

Summer School on Specification, Refinement and Verification, Turku, Finland, August 19-30, 2002. – Н.Г. Шилов

The IEEE International Conference on Artificial Intelligence Systems (ICAIS’02). Divnomorskoe, Russia, September 5-10, 2002. - А.В. Смирнов

The 9th International Multi-Conference on Advanced Computer Systems (ACS’2002). Szczecin, Poland, October 23-25, 2002. – В.М. Шпаков

The International Conference on Intelligent Information Technology (ICIIT’2002), Beijing, China, September 22-25, 2002. – В.В. Попович, М.П. Пашкин

Восьмая национальная конференция по искусственному интеллекту (КИИ’2002), Коломна, Россия, 7-12 октября 2002. – М.П. Пашкин, Н.Г. Шилов

The International Conference “Oceans 2002”, Biloxi, Mississippi, October 29-31, 2002. – В.В. Попович

e-Business research Forum (eBRF), Tampere, Finland, November 14-16, 2002. – А.В. Смирнов

The 2002 International Conference on Fuzzy Systems and Knowledge Discovery (FSKD’02), Singapore, November 18-22, 2002. - А.В. Смирнов

8-я Международная конференция «Региональная информатика-2002», Санкт-Петербург, 26-28 ноября, 2002. – В.В. Попович, Я.А. Ивакин, А.А. Крижановский

The China-Russia Bilateral Conference on Intelligent Information Processing, Beijing, China, December 5-10, 2002. - А.В. Смирнов

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

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

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

Смирнов А.В. – участие в совещаниях по европейским проектам CE-Net и COCONET, европейских научных консорциумов SME-Chain и European 5-Day Car Initiative

Награды, стипендии

Смирнов А.В. – Государственная научная стипендия России

Шереметов Л.Б. - Государственная научная стипендия Мексики

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

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

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

Методы и технологии по направлениям: интеграция знаний из разнородных распределенных источников; управление виртуальными сетями ресурсов; интеграция геоинформационных систем и прикладных систем поддержки принятия решений

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

1. Определены общие принципы построения и использования онтологической модели представления знаний, виды онтологий и отношения между ними, способы организации онтологий в библиотеки и операций над онтологиями для задач интеграции знаний из распределенных источников [1-2]. На основании чего разработан и специфицирован в виде UML-диаграмм сценарий функционирования среды интеграции знаний, основанный на использовании концепции интеллектуальных агентов и обеспечивающий прямое получение знаний от экспертов и параллельную разработку ими репозитория среды. Данный сценарий апробирован в рамках исследовательского прототипа многоагентной среды интеграции знаний, основанного на архитектуре «клиент-сервер». Клиентская часть реализована при помощи HTML страниц, предоставляемых пользователю средствами MS Internet Explorer с поддержкой Java Script. Серверная часть реализована с использованием PHP 4.2.3, MS Access 200x, MS Access ODBC драйвера, MS Visual Studio 6.0/Net (Visual C++, Visual FoxPro) и технологии удовлетворения ограничений ILOG (Configurator 2.0, Solver 5.0, Concert Technology 1.0). Тестирование прототипа осуществляется на примере интеллектуальной поддержки конфигурирования производственных сетей с использованием доступных в сети Интернет источников знаний (стандарты XML, RDF и DAML) [3-21].

2. Предложено обобщение модели представления дискретно-событийных процессов “Машина конечных состояний” (МКС) на случай совокупности параллельных взаимодействующих процессов, на основе которой разработано математическое описание модифицированной МКС и версия её программной реализации. Разработана трансформационная модель представления совокупностей параллельных процессов различной динамики (дискретно-событийных, непрерывных, гибридных), основанная на объединении модернизированной машины конечных состояний и совокупности гибридных автоматов. Экспериментальные исследования модели свидетельствуют об эффективности её использования для спецификации динамических ситуаций и процесса их трансформации [23].

3. Разработана модель комплексной объектно-ориентированной геоинформационной системы с учетом цифрового представления гидроакустических и гидрологических условий как основы моделирования различных систем мониторинга морской среды. Программная реализация данной системы доведена до уровня экспериментального образца, подключена к цифровым каналам Росгидромета, позволяет накапливать и представлять данные пользователю. (Группа ООГИС)

4. Разработаны аддитивное и мультипликативное расширения теории поиска подвижных объектов, в рамках которых разработан соответствующий понятийный аппарат, уточнена система аксиом и доказаны основные теоремы. Разработан компьютерный прототип библиотеки функций прикладных задач теории поиска, радиолокации, гидрометеорологических расчетов и картографии, который подключен к геоинформационной системе [24, 25]. (Группа ООГИС)

5. Разработана модель компьютерной интерпретации прикладных аксиоматических теорий, показаны возможности и ограничения в ее применении при создании наукоемкого программного обеспечения для информационно-управляющих систем; предложена алгебраическая модель доказательства адекватности теории ее компьютерной интерпретации [26, 27]. (Группа ООГИС)

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

1. Смирнов А.В., Пашкин М.П., Шилов Н.Г., Левашова Т.В. Онтологии в системах искусственного интеллекта: способы построения и организации. Новости искусственного интеллекта, 2002. № 1. Часть 1. 3—13. № 2. Часть 2. 3—9.
2. Смирнов А.В., Левашова Т.В. Пашкин М.П., Шилов Н.Г. Онтолого–ориентированный многоагентный подход к построению систем интеграции знаний из распределённых источников. Информационные технологии и вычислительные системы, 2002. № 1. С. 62—82.
3. Смирнов А.В. Рахманова И.О. Информационная поддержка бизнес-процессов (Учебное пособие). — СПб, СПбГТУ, 2002, 152 стр.
4. Пашкин М.П. Многоагентная архитектура для систем интеграции знаний из распределённых источников. Телекоммуникации, математика и информатика – исследования и инновации. Межвузовский сборник научных трудов, СПб., ЛГОУ, 2002. Вып. 6. С. 106—108.
5. Шилов Н.Г. Использование технологии программирования ограничений ILOG и генетических алгоритмов при конфигурировании виртуальных предприятий. Телекоммуникации, математика и информатика – исследования и инновации. Межвузовский сборник научных трудов, СПб., ЛГОУ, 2002. Вып. 6. С. 152—154.
6. Левашова Т.В., Пашкин М.П., Смирнов А.В., Шилов Н.Г. «Web-DESO»: система управления онтологиями. Труды восьмой национальной конференции по искусственному интеллекту (КИИ’2002), Коломна, Россия М.: Физматлит, 2002. Т. 1. 437—445.
7. Левашова Т.В., Пашкин М.П., Смирнов А.В., Шилов Н.Г. Применение подхода «СИЗ» для интеллектуального конфигурирования комплексных бизнес-систем. Труды восьмой национальной конференции по искусственному интеллекту (КИИ’2002), Коломна, Россия. М.: Физматлит, 2002. Т. 2. 916—925.
8. Smirnov A., Pashkin M., Chilov N., Levashova T. Knowledge Fusion in the Business Information Environment for e-Manufacturing Pursuing Mass Customisation. Moving into Mass Customization. Information Systems and Management Principles. (eds. by C. Rautenstrauch, R. Seelmann-Eggebert, K. Turowski), Springer, 2002. 153—175.
9. Smirnov A., Pashkin M., Chilov N., Levashova T. Multi-Agent Architecture for Knowledge Fusion from Distributed Sources. Lecture Notes in Artificial Intelligence. Springer, 2002. N 2296, pp. 293—302.
10. Smirnov A., Pashkin M., Chilov N., Levashova T., 2002. ‘Agent-Based Knowledge Fusion in Scalable Information Environment: Major Principles and System Framework’. Proceedings of the First International ICSC Congress on Autonomous Intelligent Systems (ICAIS’2002). Deakin University, Geelong, Australia; February 12-15, 2002. ISBN:3-906454-30-4 (Electronic Proceedings).
11. Smirnov A., Pashkin M., Chilov N., Levashova T., 2002. 'Business Knowledge Logistics: an Approach and Technology Framework'. Proceedings of the Sixth International Research Conference on Quality, Innovation & Knowledge Management (QIK’2002). Kuala Lumpur, Malaysia. February 17-20, 2002, pp. 936-945.
12. Smirnov A., Pashkin M., Chilov N., Levashova T., 2002. ‘Knowledge Logistics in e-Business Environment: KSNet-Approach and Advanced Technologies’, Proceedings of the Eighth International Conference on Concurrent Enterprising (ICE 2002). Rome, Italy; June 17-19, 2002, pp. 389—397.
13. Smirnov A., Pashkin M., Chilov N., Levashova T., 2002. ‘Knowledge Source Network Configuration in e-Business Environment’. Proceedings of the 15th IFAC World Congress (IFAC’2002). Barcelona, Spain, July 21-26, 2002. Elsevier Science (Electronic Proceedings).
14. Smirnov A., Pashkin M., Chilov N., Levashova T., 2002. ‘Knowledge Source Network Configuration Approach to Knowledge Logistics'. Proceedings of the IEEE International Conference on Artificial Intelligence Systems (ICAIS’02). Divnomorskoe, Russia, September 5-10, 2002, pp. 95—100.
15. Smirnov A., Pashkin M., Chilov N., Levashova T. "Web-DESO": Ontology Management System. Proceedings of the International Conference on Intelligent Information Technology (ICIIT’2002), Beijing, China, 2002. 485—494.
16. Smirnov A., Pashkin M., Chilov N., Levashova T. Ontology-Based Knowledge Repository Organization for Supply Chain Management. Proceedings of the 9th International Multi-Conference on Advanced Computer Systems (ACS’2002), Supply Chain Management (SCM’2002). Szczecin, Poland, 2002. Part 1. 303—311.
17. Smirnov A., Pashkin M., Chilov N. Agent Architecture and Negotiation Protocol for Knowledge Logistics in Distributed Intelligent Enterprise. Proceedings of the 9th International Multi-Conference on Advanced Computer Systems (ACS’2002), Supply Chain Management (SCM’2002). Szczecin, Poland, 2002. Part 2. 379—386.
18. Sandkuhl K., Smirnov A., Henoch B. Towards Knowledge Logistics in Agile SME Networks: A technological and Organisational Concept. Proceedings of the 9th International Multi-Conference on Advanced Computer Systems (ACS’2002), Supply Chain Management (SCM’2002). Szczecin, Poland, 2002. Part 1. 337—345.
19. Smirnov A., Pashkin M., Chilov N., Levashova T. Distributed Knowledge Entry Based on Intelligent Agents and Virtual Reality Technologies. Proceedings of the 2002 International Conference on Fuzzy Systems and Knowledge Discovery (FSKD’02). Singapore, November 18-22, 2002. Volume 2, pp. 437-441.
20. Smirnov, A.,V., Sheremetov, L.B., Chilov, N., and J. Romero Cortes, Configuring of Supply Chain Networks Based on Constraint Satisfaction, Genetic and Fuzzy Game Theoretic Approaches. In: Information Technology for Balanced Automation Systems in Manufacturing and Services. Selected papers of the IFIP, IEEE International Conference BASYS'02 Conference, Kluwer Academic Publishers. 2002, pp. 183-192.
21. Chandra, C., Kumar, S., and Smirnov, A. V. E-Management of Supply Chain: General Models Taxonomy. Human Systems Management Journal, IOS Press, Netherlands, vol. 21, No 2, 2002. – pp.95-113.
22. Chandra, C., and Smirnov, A. V. Intelligent Support Framework of Group Decision Making for Complex Business Systems. In: Decision Making Support Systems: Achievements and Challenges for the New Decade /M/ Mora, G. Forgionne, and J. Gupta (eds). Hershey, Idea Group Inc., 2002. - pp. 227-238
23. Shpakov V. Situation-Based Transition Model for Discrete-Continuous Production Processes Simulation. Proceedings of the 9th International Multi-Conference Advanced Computer Systems (ACS’02), Supply Chain Management (SCM’2002). Poland October 23-25, 2002, Part 2, pp.507 – 514.
24. Popovich, V.V., Leontev. Y.B., Ermolenko, A.A. Metod of visual library of functions development // Proceedings of the International Conference on Intelligent Information Technology, Beijing, September 22-25, 2002. – pp. 69-74
25. Popovich, V.V., Ivakin, Y.A., Shaida, S.S. Theory of search for moving objects. Proceedings of the International Conference “Oceans 2002”, Biloxi, Mississippi, October 29-31, 2002.
26. Ивакин Я.А. Введение в проблему компьютерной интерпретации прикладных формализуемых теорий – Информационно-управляющие системы, № 4, 2002.
27. Ивакин Я.А. Необходимое условие изоморфности теории ее компьютерной интерпретации// Труды 8 Санкт-Петербургской международной конференции «Региональная информатика 2002», Санкт-Петербург, 26-28 ноября, 2002.