Russian Academy of Sciences Laboratory of Computer Aided Integrated Systems
SPIIRAS
Report Laboratory 2004

Head of Laboratory - Dr.Sci., Prof. Alexander V. Smirnov - intelligent configuration management of virtual and networking organizations, and knowledge logistics. smir@iias.spb.su

Laboratory Staff - 15 members and 1 post-graduate students

Research Fellows

PhD, Oleg Yu. Gusikhin – schedule and control methods for manufacturing systems

PhD, Leonid B. Sheremetov – modeling of multi-agent systems
PhD, Vladimir M. Shpakov - hybrid dynamic systems modeling and simulation,. vlad@mail.iias.spb.su

MS in Management, Nikolai G. Chilov - methods and tools for virtual enterprise configuration.

MS in Computer Science, Michael. P. Pashkin – Internet-based technologies for knowledge management. michael@mail.iias.spb.su

MS in Computer Science, Tatiana V. Levashova – Methods and technologies for ontology management. oleg@mail.iias.spb.su

Post-graduate Student

Andrew A. Krizhanovsky – problem-oriented agents for knowledge management (supervisor Prof. A.V. Smirnov)

University Courses

SPSPU, Department of Economics and Management: Information Technologies for Economics (Prof. A. Smirnov)

SPSEEU, Department of Research Automation: Decision Support Systems in Manufacturing, Corporate Information Systems (Prof. A. Smirnov)

Conferences

The Second European HealthGrid Conference. Clermont-Ferrand, France, January 29-30, 2004. – A. Smirnov (a paper)

The International Conference on Competitive Manufacturing, Stellenbosh, South Africa, February 4-6, 2004. – A. Smirnov (a paper)
Multikonferenz Wirtschaftsinformatik (MKWI), Duisburg-Essen, Germany, March 9 - 11, 2004. – A. Smirnov (a paper)

The Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004. – A. Smirnov (an invited paper, a regular paper and four hours tutorial, a workshop co-chairman)

The Second World Conference on POM and 15th Annual POM Conferences, Cancun, Mexico, April 30-May 3, 2004. – A. Smirnov (a paper)

The Third International Workshop on Commercial Information Technology for Military Operations, Sofia, Bulgaria, May 10-14, 2004. – N. Chilov

Intelligent Manufacturing Systems International Forum 2004, Cernobbio, Italy, May 17-19, 2004 - A. Smirnov (a paper)

International Workshop on Monitoring, Security and Rescue Techniques in Multiagent Systems, Plock, Poland, June 7—9, 2004. – N. Chilov (a paper)

The 10th International Conference on Concurrent Enterprising, Sevilla, Spain, June 14-16, 2004. - N. Chilov (a paper)

The Seventh International Conference on Information Fusion, Stockholm, Sweden, June 28-July 1, 2004. – A. Smirnov (a paper)

The 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, Osaka, Japan, July 26-28, 2004. – A. Smirnov (a paper and a session chairman)

The 11th ISPE International Conference on Concurrent Engineering, Research and Applications; Beijing, China, July 26-30, 2004. – A. Krizhanovsky (a paper)

The Third International Conference Adaptive Hypermedia and Adaptive Web-Based Systems, Eindhoven, the Netherlands, August 23-26, 2004. – M. Pashkin (a paper)

The International Conference on Intelligent Systems. Divnomorskoe, Russia, September 3-10, 2004. - A. Smirnov (a paper)

The 2nd Ljungby Workshop on Information Logistics, Ljungby, Sweden, September 16-17, 2004. - A. Smirnov (a paper and the workshop co-chairman)

The 9th International Conference “Speech and Computer”, St.Petersburg, Russia, September 20-22, 2004. – A. Krizhanovsky (a paper)

The AIAA 1st Intelligent Systems Technical Conference, Chicago, USA, September 20-22, 2004. – A. Smirnov (a paper)

The IFIP TC 5 / WG 5.5 Sixth IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services, Vienna, Austria, September 27-29, 2004. – A. Krizhanovsky (a paper)

Space 2004 Conference & Exhibit, San-Diego, USA, September 28-30, 2004. – A. Smirnov (a paper)

The 7th International IEEE Conference on Intelligent Transportation Systems, Washington DC, USA, October 3 – 6, 2004. – A. Smirnov (a paper)

International Conference on Theory and Practice of Simulation and Trainers Creation, Penza, Russia, October 28-29, 2004. – V. Shpakov (a paper)

The 3rd International Semantic Web Conference, Hiroshima, Japan, November 7—11, 2004. – A. Smirnov (a paper)

The 5th International Conference on Practical Aspects of Knowledge Management, Vienna, Austria, December 2-3, 2004. — M. Pashkin (a paper)

The 9th International Exhibition-Congress “High Technology. Innovation. Investment”, St.Petersburg, Russia, June 8-11, 2004. - V. Shpakov

The 8th Exhibition-Congress PromExpo “Russian Manufacturer 2004”, St.Petersburg, Russia, September 27-30, 2004. - V. Shpakov

International Cooperation

Gusikhin O. – Technical Expert, Research Laboratory, Ford Motor Company (USA)

Sheremetov L. – Principial Investigator, Mexican Petrolium Institute (Mexico)

Smirnov A. – participation in the meetings of the EC project IMS-NoE, the research consortium on SME-Chain, and IFAC TC 5.1.

Chilov N. - participation in the meeting of EC project ILIPT

Membership in International Societies

Smirnov A. - member of Advisory Committee of Journal on Information Technologies and .Computer Systems (Russian Academy of Sciences, Russia); Journal of Information & Control Systems (St.Petersburg), Journal of Computer Research and Development, China; and International Journal of Hybrid Intelligent Systems

Smirnov A. – member of IEEE, member of AIAA, member of ISIF, and member of IFAC TC 5.1.

Research Activities

Methods and technologies for knowledge logistics and for management of virtual resource networks.

Recent Results

1. A specification of up-to-date requirements to context-driven distributed systems for intellectual decision support has been developed. The specification takes into account requirements to system scalability, availability of tools for system composition management and for the adaptation of the system to user demands through configuration, integration, and on-the-fly reconfiguration of the services provided by the system. A context-driven methodology for building of the intelligent decision support systems in the open information environment [3-28] has been proposed. The methodology is based on ontology-driven integration of information and knowledge that are relevant to the contexts of the basic components of an intelligent decision support system. Among the system components are user, user request, environment, and sources of data, information, and knowledge. The system is suggested implementing by a means of Web-services. Web-services ensure system platform independence and provide a wide range of problem-oriented services to the user. Architecture of the intelligent decision support system based on the open standards for Web-services has been developed.
2. In the framework of the approach “Knowledge Source Network” to Knowledge Logistics the technology for intelligent access to corporate documents and catalogues has been proposed and implemented based on the corporate ontology for multilingual user requests recognition and indexing of knowledge sources (heterogeneous databases, software applications and corporate documents) [1, 2, 23, 24, 29]. User request (description of the task) is given in the arbitrary text form or via templates (interfaces for typical tasks solving). It is processed in the following sequence: (i) tokenization, (ii) stop-words finding, (iii) spelling, (iv) stemming (definition of significant parts of the words), (v) definition of parametric constituent: units of quantity, relational symbols (greater than, less than, etc.), and constraints on values of attributes from the corporate ontology, (vi) definition of correspondence of the corporate ontology elements to words from the user request, finding patterns in the request and building a corporate ontology slice, (vii) finding knowledge sources using knowledge map, (viii) selection, extraction and fetching data from the sources, their normalization and integration and (ix) estimation of results relevance and presentation of results to the user.
3. On base of integration and modification of finite state machine and hybrid automaton models a full set of rules have been worked out for a hierarchic structured parallel interacted logic-dynamic processes collection specification [32-35]. The rules enable to unify approaches to specify processes of different levels. On base of the worked out rules architecture and main functioning algorithms of a computer simulation environment were developed. The environment makes possible to create hierarchic package of dynamic simulation models. It is oriented on modern multilayer distributed control systems simulation.

References

1. Smirnov A. Information Decision Making Support for Supply Chain Management / Textbook. – St.Petersburg, SPSPU, 2004. – 84 p. (in Russian)
2. Pashkin M. Knowledge Map Organization in the Knowledge Logistics System “KSNet” // Proceedings of SPIIRAS / Eds. by R. Yusupov, St.Petersburg,, Nauka, 2004. N 2, Vol. 1. – Pp. 303—310. (in Russian)
3. Chilov N. Modified Contract Net Protocol for Agent Cooperation in the System “KSNet” // Proceedings of SPIIRAS / Eds. by R. Yusupov.- St.Petersburg,, Nauka, 2004. N 2, Vol. 1. – Pp. 283—292. (in Russian)
4. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Context Management Methodology of Problem Context Generation for Intelligent Decision Making Support // Proceedings of the International Conference on Intelligent Systems. Divnomorskoe, Russia, September 3—10, 2004. – Moscow, Fizmatlit, Vol. 1. – Pp. 321—326. (in Russian)
5. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Realization Principles of Agents for Knowledge Fusion from Distributed Sources // Proceedings of International Conference on Information and Computational Technologies for Research, Engineering and Education. Tashkent, Uzbekistan, September 28-30, 2004. – Pp. 110—113. (in Russian)
6. Smirnov A., Sheremetov L., Chilov N., Cortes J.R. Soft-Computing Technologies for Configuration of Cooperative Supply Chain // Applied Soft Computing, 2004. – 4. – Pp. 87—107.
7. Smirnov A., Pashkin M., Chilov N., Levashova T. Knowledge Logistics in Information Grid Environment // Future Generation Computer Systems. The special issue "Semantic Grid and Knowledge Grid: The Next-Generation Web", 2004. – 20. – Pp. 61—79.
8. Chandra C., Kumar S., Smirnov A. A Framework of Integrated Models for Supply Chain E-Management // Value Creation from e-Business Models / Eds. by Wendy L. Currie. – Elsevier, Amsterdam, 2004 – Pp. 335-369.
9. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Ontology-Driven KSNet-Approach to Coalition Health Service Logistics Support // Knowledge Systems for Coalition Operations / Eds. by M. Pechoucek, A. Tate. – Prague: Czech Technical University, 2004. – Pp. 99—114.
10. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Knowledge Logistics as an Intelligent Service for Healthcare // Proceedings of the second European HealthGrid Conference. – Clermont-Ferrand, France, 2004. – January 29—30. – Electronic proceedings.
11. Smirnov A., Pashkin M., Chilov N., Levashova T. Agent-Based Knowledge Logistics for Coalition Operations: Major Technologies and Applications // Proceedings of the International Conference on Competitive Manufacturing (COMA’04). – Stellenbosh, South Africa. – 4—6 February. – Pp. 475—480.
12. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Knowledge Logistics in Networked Organisations // Multikonferenz Wirtschaftsinformatik (MKWI) 2004. – Duisburg-Essen, Germany, 2004. – 9.—11. Marz. – Band 2. – Pp. 244—256.
13. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Web-Based Service for Coalition Operation Support in Networked Organizations // Advances in Artificial Intelligence (Proceedings of Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004). – Springer, 2004, - Lecture Notes in Artificial Intelligence. – 2972. – Pp. 149—158.
14. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Web-based Intelligent Support for Logistics Management // Proceedings of the 11th IFAC Symposium on Information Control Problems in Manufacturing. Salvador, Brasil, 2004. – April 5—7th. – Electronic proceedings.
15. Smirnov A., Sheremetov L., Chilov N. Ontology-Driven Approach to Constraint-Based VSN Configuration // Proceedings of the Second World Conference on POM and 15th Annual POM Conferences. – Cancun, Mexico, 2004. – April 30—May 3. – Electronic proceedings.
16. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Ontology-Driven Knowledge Logistics for Dynamic Collaborative Value Creation Networks // Intelligent Manufacturing Systems International Forum 2004: Global Challenges in Manufacturing. – Villa Erba, Cernobbio, Italy, 2004. – 17—19 May. – Part 2. – 1071—1079.
17. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Multi-Agent Decision Support System for Disaster Response and Evacuation // Proceedings of International Workshop on Monitoring, Security and Rescue Techniques in Multiagent Systems. – Plock, Poland, 2004. – 7—9 June. – Pp. 44—50.
18. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Continuous Business Engineering for Virtual Enterprise Configuration Based on Adaptive Services // Proceedings of the 10th International Conference on Concurrent Enterprising. – Sevilla, Spain, 2004. – June 14—16. – Pp. 385—393.
19. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Context-based knowledge logistics for disaster management // Proceedings of the Sixth Conference Complex Systems: Control and Modeling Problems. – Samara, Russia, 2004. – June 14—21. – Pp. 27—36.
20. Smirnov A., Chilov N., Chandra C. Agent-Based Knowledge Logistics for e-Manufacturing // World Automation Congress on Advances in Robotics, Manufacturing, Automation, Control, Soft Computing, Multimedia, Biomedicine, Image Processing and Financial Egineering / M. Jamshidi at al. (eds.), 2004. – Seville, Spain. – June 28 – July 1, 2004. – V. 4. – Electronic data (1 file). – ISBN: 1-889335-20-7.
21. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Fusion-Based Knowledge Logistics in Network-Centric Environment: Intelligent Support of OOTW Operations // Proceedings of the Seventh International Conference on Information Fusion. – Stockholm, Sweden, 2004. – June 28—July 1, – Pp. 487—494.
22. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Knowledge Logistics as an Intelligent Web-Service for Transportation System Management // Preprints of the 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications (LSS 2004). – Osaka, Japan, 2004. – July 26—28. – V. 2. – Pp. 723—728.
23. Smirnov A., Krizhanovsky A., Roy R., Kerr C. A Multi-Agent System Architecture for Requirements Management in the Extended Enterprise // Proceedings of CE2004: 11th ISPE International Conference on Concurrent Engineering, Research and Applications. – Beijing, China, 2004. – July. – Pp. 235—240. – Electronic data (1 file). – http://whinger.narod.ru/paper/mas_req_ee2004.pdf.
24. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Adaptive Services for Customized Knowledge Delivery // Adaptive Hypermedia and Adaptive Web-Based Systems (Proceedings of the Third International Conference AH 2004, Eindhoven, the Netherlands) / Eds. by P.D. Bra, W. Nejdl, LNCS 3137. 2004. – August 23—26. – Pp. 437—440.
25. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Free Text User Request Processing in the System “KSNet” // Proceedings of the 9th International Conference “Speech and Computer”. – St.Petersburg, Russia, 2004. – September 20—22. – Pp. 662—665.
26. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Fusion-Based Intelligent Support for Logistics Management // Emerging Solutions for Future Manufacturing Systems (Proceedings of the IFIP TC 5 / WG 5.5 Sixth IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services) / Eds. by Luis M. Camarinba-Matos. – Vienna, Austria, September 27-29, 2004). Springer, 2005. – Pp.209—216.
27. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. OOTW Intelligent Support: Fusion-Based Knowledge Logistics for Health Service Application: Report #AIAA-2004-6359 at the AIAA 1st Intelligent Systems Technical Conference. – Chicago, 2004. – Sept. 20—22, 2004.
28. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. On-the-Fly OOTW Planning Support by Fusion-Based Knowledge Logistics: Report #AIAA-2004-5852 at the Space 2004 Conference & Exhibit. – San-Diego, 2004, Sept. 28—30.
29. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Agent-Based Web-Intelligence for Logistics Support in Networked Organizations // Proceedings of the 7th International IEEE Conference on Intelligent Transportation Systems (ITSC2004). – Washington DC, USA, 2004. – October 3 – 6. – Pp. 922—927.
30. Smirnov A., Pashkin M., Chilov N., Levashova T., Krizhanovsky A. Ontology-Driven Knowledge Integration from Heterogeneous Sources for Operational Decision Making Support // Poster Abstracts of the 3rd International Semantic Web Conference. – Hiroshima, Japan, 2004. – November, 7—11, 2004. – Pp. 75—76.
31. Hinselmann T., Smirnov A., Pashkin M., Chilov N., Krizhanovsky A. Implementation of Customer Service Management System for Corporate Knowledge Utilization // Proceedings of the 5th International Conference on Practical Aspects of Knowledge Management (PAKM 2004), Vienna, Austria, December, 2004, LNAI 3336, Pp. 475—486.
32. Shpakov V. Executable Specifications of Production Processes Transition Models // Mechatronics, Automation, Control, N 3, 2004. (in Russian)
33. Butkevich I.K., Rydnic E.A., Shpakov V.M. Situation Model of Processes and Its Application in Learning Systems // Proceedings of the International Conference on Theory and Practice of Simulation and Trainers Creation, Russia, Penza, October 28-29, 2004, pp. 76-79. (in Russian)
34. Butkevich I.K., Rydnic E.A., Shpakov V.M. Program Trainer Teaching KGI Simulator // Proceedings of the International Conference on Theory and Practice of Simulation and Trainers Creation, Russia, Penza, October 28-29, 2004, pp. 82-84. (in Russian)
35. Shpakov V. Rule-Based Programming of Interacting Hybrid Processes // Proceedings of SPIIRAS / Eds. by R. Yusupov, St.Petersburg,, Nauka, 2004. N 2, Vol. 1. (in Russian)