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

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

Laboratory Staff - 15 members and 1 post-graduate students.

Research Fellows

Dr.Sci. Vasily V. Popovich, a head of the group on object-oriented geographical information systems GISs (OOGIS group) theory of object-oriented GISs, popovich@mail.iias.spb.su

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

PhD, Yn A. Ivakin (OOGIS group) computer interpretation of the applied formalized theory. ivakin@mail.iias.spb.su

PhD, Vladimir N. Kogemyaka (OOGIS group) Internet-based technologies for GISs.

PhD, Leonid B. Sheremetov modeling of multi-agent systems

PhD, Vladimir M. Shpakov - hybrid dynamic systems modeling and simulation,. vlad@mail.iias.spb.su

Ph.D., Ruslan P. Sorokin (OOGIS group) - GIS intelligent support, sorokinru@ mail.iias.spb.su

PhD, Irina O. Rakhmanova group decision making for quality evaluation of organization and technical solutions. ior@mail.iias.spb.su

MS in Management, Nikolai G. Chilov - Methods and tools for virtual enterprises configuration. nick@mail.iias.spb.su

MS in Computer Science, Michael. P. Pashkin Internet-based technologies for knowledge management

Post-graduate Student

Andrew A. Krizhanovsky Problem-oriented agents for knowledge management (supervisor Prof. A.V. Smirnov), ava@iias.spb.su

University Courses

SPSU, Department of Mathematics Methods in Economy: International Information Resources (I. Rakhmanova)

SPSPU, Department of Economics and Management: Information Technologies for Economics (A. Smirnov, I. Rakhmanova); Computer Science and Programming (V. Shpakov)

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

Conferences

The First International ICSC Congress on Autonomous Intelligent Systems (ICAIS2002). Deakin University, Geelong, Australia; February 12-15, 2002. A. Smirnov

The Sixth International Research Conference on Quality, Innovation & Knowledge Management (QIK2002). Kuala Lumpur, Malaysia. February 17-20, 2002. - A. Smirnov

The Eighth International Conference on Concurrent Enterprising (ICE 2002). Rome, Italy; June 17-19, 2002. - A. Smirnov

The 15th IFAC World Congress (IFAC2002). Barcelona, Spain, July 21-26, 2002. - A. Smirnov

Summer School 2002 on Models, Algebras, and Logic of Engineering Software, Marktoberdorf, Germany, July 30 - August 11, 2002. N. Chilov

Summer School on Specification, Refinement and Verification, Turku, Finland, August 19-30, 2002. N. Chilov

The IEEE International Conference on Artificial Intelligence Systems (ICAIS02). Divnomorskoe, Russia, September 5-10, 2002. - A. Smirnov

The 9th International Multi-Conference on Advanced Computer Systems (ACS2002). Szczecin, Poland, October 23-25, 2002. V. Shpakov

The International Conference on Intelligent Information Technology (ICIIT2002), Beijing, China, September 22-25, 2002. V. Popovich, M. Pashkin

8th Russian Conference on Artificial Intelligence (CII2002), Kolomna, Russia, October 7-12, 2002. M. Pashkin, N. Chilov

The International Conference Oceans 2002, Biloxi, Mississippi, October 29-31, 2002. V. Popovich

e-Business research Forum (eBRF), Tampere, Finland, November 14-16, 2002. A. Smirnov

The 2002 International Conference on Fuzzy Systems and Knowledge Discovery (FSKD02), Singapore, November 18-22, 2002. - A. Smirnov

8th Intenational Conference on Regional Informatics (RI-02), St.Petersburg, November 26-28, 2002. V. Popovich, Y. Ivakin, A. Krizhanovsky

The China-Russia Bilateral Conference on Intelligent Information Processing, Beijing, China, December 5-10, 2002. - A. Smirnov

International Cooperation

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

Sheremetov L. PI, Mexican Petrolium Institute (Mexico)

Smirnov A. participation in the meetings of EC projects CE-Net and COCONET, research consortiums SME-Chain and European 5-Day Car Initiative.

Membership in International Societies

Smirnov A. - Member of Advisory Committee of Journal on Information Technologies and .Computer Systems (Russian Academy of Sciences, Russia) and Journal of Information & Control Systems (St.Petersburg)

Sheremetov L. - Member of the National System of Researchers (Mexico); Member of the ACM; Member of the Mexican Society of Artificial Intelligence; Member of the Editorial Board of the Scientific Journal Temas en ciencia y tecnologia" (Mexico)

Awards

Smirnov A. Russian State Scientific Scholarship in Computer Science

Sheremetov L.-Scholarship of National Researchers System (Mexico)

Research Activities

Methods and technologies for (i) knowledge fusion from distributed sources, (ii) management of virtual networks of resources, and (iii) integration of GIS and applied decision support systems.

Recent Results

1. General principles of ontology-based knowledge representation model development and application, ontology types and relationships between ontologies, methods of ontology libraries organizations, and operations on ontologies for the tasks o knowledge integration from distributed sources have been defined [1-2]. Based on this principles a scenario of the knowledge integration system operation based on the idea of utilizing intelligent agents and providing for a direct knowledge acquisition from experts and parallel development of the environment repository by expert teams has been developed and specified as UML-diagrams. This scenario has been approved by developing and testing a research prototype of the multi-agent knowledge integration system incorporating the "client-server" architecture. The client interface is implemented as HTML pages with Java-scripts presented to users by Microsoft Internet Explorer. Server part is implemented using PHP v.4.2.3, Microsoft Access XP, Microsoft Visual FoxPro and Microsoft Access ODBC drivers, Microsoft Visual Studio 6.0 (Visual C++, Visual FoxPro) and constraint satisfaction / propagation technology ILOG (Configurator 2.0, Solver 5.0, Concert Technology 1.0). Experimentation with the prototype is done on a case study of the intelligent support of production networks configuration using knowledge sources available in the Internet (XML, RDF and DAML standards) [3-23].
2. The globalization of Finite State Machine (FSM) for the collection of concurrent interacting discrete-event processes was proposed. Mathematical description of the modified FSM and computer version of its realization were worked out. Transition model for specification of concurrent processes of different dynamic (discrete-event, continuous, hybrid) was accomplished. The model is based on combination of the modified finite state machine and a collection of hybrid automata. Experimental investigations of the model proved effectiveness of its usage for specification of dynamical situations and the processes of their transformations [24].
3. Development of GIS-model of digital object-oriented maps of World Ocean is carried out in view of digital representation of hydroacoustic and hydrological conditions as bases of modeling of different systems for sea monitoring. This model is connected to Rosgidromet digital channels and represent data for end-user. (OOGIS group).
4. Development of a New Class of Search Problems for Moving Objects. A computer prototype of a library of functions of applied tasks of theory of search for moving objects, radar, acoustics and digital maps is created. The computer prototype can be used as the Dynamic Links Library (DLL) and as a unit of the Borland Delphi compiler. The computer prototype of the library of function of applied tasks of theory of search for moving objects is used for object oriented modeling to solve tasks for geographical information systems [25, 26]. (OOGIS group).
5. Development of model of computer interpretation of applied axiomatic theories; its advantages and restrictions when implemented in high-tech software for the information and management systems; development of the algebraic model of the theory adequacy evidence to its computer interpretation [27]. (OOGIS group).

References

1. Smirnov A., Pashkin M., Chilov N., and T. Levashova. Ontologies in AI-Based Systems: Organization and Development Techniques. AI News, 2002. 1. Part 1. 313. 2. Part 2. 39 (in Russian)
2. Smirnov A., Pashkin M., Chilov N., and T. Levashova. Ontology-Oriented Multi-Agent Approach of Systems for Knowledge Integration from Distributed Sources. Journal on Information Technologies and .Computer Systems, 2002. 1. . 6282 (in Russian)
3. Smirnov A., and I. Rakhmanova. Business Processes Information Support( Textbook), St.Petersburg, SSPTU, 2002. - 152 p. (in Russian)
4. Pashkin M. Multi-Agent Architecture of Systems for Knowledge Integration from Distributed Sources. Telecommunication, Mathematics and Informatics Research and Innnovations. St.Petersburg, LSAU, 2002. Vol. 6. pp. 106108. (in Russian)
5. Chilov N. Implementation of Constraint Satisfaction Technology ILOG and Genetic Algorithms for Virtual Enterprises Configuration. , Telecommunication, Mathematics and Informatics Research and Innnovations. St.Petersburg, LSAU, 2002. Vol. 6. pp. 152154. (in Russian)
6. Smirnov A., Pashkin M., Chilov N., and T. Levashova. Web-DESO: Ontology Management System. Proceedings of 8th Conference on Artificial Intelligence (CII2002), Kolomna, Russia, October 7-12, 2002. Moscow, Fizmatlit, 2002, Vol. 1. pp. 437445. (in Russian)
7. Smirnov A., Pashkin M., Chilov N., and T. Levashova. KSNet-Approach Implementation for Intelligent Configuration of Complex Business Systems. Proceedings of 8th Conference on Artificial Intelligence (CII2002), Kolomna, Russia, October 7-12, 2002. Moscow, Fizmatlit, 2002, Vol. 2. pp. 916925. (in Russian)
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. 153175.
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. 293302.
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 (ICAIS2002). 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 (QIK2002). 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. 389397.
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 (IFAC2002). 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 (ICAIS02). Divnomorskoe, Russia, September 5-10, 2002, pp. 95100.
15. Smirnov A., Pashkin M., Chilov N., Levashova T. "Web-DESO": Ontology Management System. Proceedings of the International Conference on Intelligent Information Technology (ICIIT2002), Beijing, China, 2002. 485494.
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 (ACS2002), Supply Chain Management (SCM2002). Szczecin, Poland, 2002. Part 1. 303311.
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 (ACS2002), Supply Chain Management (SCM2002). Szczecin, Poland, 2002. Part 2. 379386.
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 (ACS2002), Supply Chain Management (SCM2002). Szczecin, Poland, 2002. Part 1. 337345.
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 (FSKD02). 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. Chandra, C., and Smirnov, A. V. Supply Chain Network E-Management Based on Constraints Models. Journal of Decision Systems. Vol. 11, N 2/2002. pp. 205-230.
24. Shpakov V. Situation-Based Transition Model for Discrete-Continuous Production Processes Simulation. Proceedings of the 9th International Multi-Conference Advanced Computer Systems (ACS02), Supply Chain Management (SCM2002). Poland October 23-25, 2002, Part 2, pp.507 514.
25. 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.
26. 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.
27. Ivakin, Y.A. Introduction into the Problem of the Computer Interpretation of the Applied Formalized Theory. Journal of Information & Control Systems, 4, 2002. (in Russian)