, , ,

<<


 >>  ()
Pages:     | 1 |   ...   | 3 | 4 ||

- ...

-- [ 5 ] --

Elena Fomicheva Russian State Pedagogical University named after A.I.Herzen (Herzen University), Postgraduate, fee83@yandex.ru Dmitry Temnov - Russian State Pedagogical University named after A.I.Herzen (Herzen University), Associate professor, Ph.D., Associate professor, detem@yandex.ru Alexander Smirnov - Saint Petersburg State University of Information Technologies, Mechanics and Optics, Associate professor, Ph.D., Associate professor, smirnav@phd.ifmo.ru Boris Fedorov - Saint Petersburg State University of Information Technologies, Mechanics and Optics, Professor, D. Sc., Professor, borisfedorov@phd.ifmo.ru 6. COMPUTER SYSTEMS AND INFORMATION TECHNOLOGIES MODEL CHECKING AUTOMATA-BASED PROGRAMS USING REDUCED TRANSITION GRAPH CONSTRUCTION S. Velder, A. Shalyto This article is concentrated on techniques of converting automata-based program models to Kripke models designed for checking properties related to system behavior. The definition of these properties is considered by means of temporal logic formulas. We propose an efficient technique of such converting and property stating that allows construction of small Kripke models and sufficiently fast checking of such models.

Keywords: model checking, temporal logic, automata-based programming.

Sergey Velder Saint Petersburg State University of Information Technologies, Mechanics and Optics, Postgraduate, velder@rain.ifmo.ru Anatoly Shalyto - Saint Petersburg State University of Information Technologies, Mechanics and Optics, Department Head, Ph.D., Professor, shalyto@mail.ifmo.ru 120 - - , , 2009, 6(64) SUMMARY THE SEMANTIC WEB AND ARTIFICIAL INTELLIGENCE I. Bessmertny The paper discusses a problem of creation an artificial intelligence simulating human brainwork. A method of quantitative assessment both natural and artificial intelligence is suggested and required amount of knowledge base is evaluated. An idea of using the Semantic Web as a knowledge base for global artificial intelligence is proposed and implementation problems of the intelligent agent are discussed.

Keywords: artificial intelligence, Semantic Web, intelligent agent.

Igor Bessmertny - Saint Petersburg State University of Information Technologies, Mechanics and Optics, Associate Professor, Ph.D., Associate Professor, igor_bessmertny@hotmail.com A MULTI-AGENT TECHNOLOGY FOR VIRTUAL BUSINESS PLATFORMS FORMATION IN THE SHARED INFO-COMMUNICATION ENVIRONMENT OF INNOVATIONS DEVELOPMENT A. Masloboev The multi-agent technology for information support of regional innovation business has been developed. The method for problem-oriented innovation structures formation based on generalization of innovation subjects business supplies is proposed. The method is based on software agents clustering in the semantic space, which is represented as knowledge domain conceptual model, and provides virtual business platforms formation in the shared info-communication space of business subjects interactions. A multi-agent information technology for virtual business platforms formation in the virtual environment of innovations development has been designed.

Keywords: multi-agent technology, information system, innovation business, simulation, virtual business environment.

Andrey Masloboev - Establishment of Russian Academy of Sciences Institute for Informatics and Mathematical Modeling of Technological Processes of the Kola Science Center RAS, scientific researcher, Ph.D., Associate professor, masloboev@iimm.kolasc.net.ru 7. ECONOMICS AND FINANCES. MANAGEMENT BUSINESS ORGANIZATION SUSTAINABLE DEVELOPMENT IMPLEMENTATION ON THE BASIS OF CONTROLLING AND SELF-ORGANIZATION MECHANISMS INTERRELATION V. Podlesnykh, N. Kuznetsov Modern approach to the organization and management is represented in the article, which is quite different from traditional ideas about organization and managerial processes. Wide range of questions about organization and management, modern theory and practice has been described;

concept of functioning category and business organizations development, controlling and self-organization mechanisms has been given;

influence of creative labor component on enterprise organization and working efficiency has been shown. Role of institutional factor and liability approach to any event, process from the side of its organization has been established. Controlling and self-organization mechanisms content, effectiveness of there joint effect on adaptation and business organization development have been established. Directions of achieving a correct balance between management and self-organization, and its influence on efficiency have been considered.

Keywords: sustainable development, business organization, arrangement, self-organization, management, self management, controlling mechanism, self-organization mechanism, controlling and self-organization mechanisms interrelation.

Victor Podlesnykh - Saint Petersburg State University of Information Technologies, Mechanics and Optics, Professor, Ph.D., Professor, mng@mail.ifmo.ru Nikolai Kuznetsov - Saint Petersburg State University of Information Technologies, Mechanics and Optics, assistant lecturer, postgraduate, kolek_k@list.ru 4 "RE-'S " OF CHANGING BUSINESS: REFORMING, REORGANIZATION, RESTRUCTURING, REENGINEERING A. Varzunov, O. Tsukanova Effectiveness increase of an enterprise depends on such essential factors as activization of its own potential, radical change of the strategy and establishment of the new effective management system, in other words, its reformation. Among the basic reformation forms they mark the following: reorganization, restructuring and reengineering. Analysis of scientific and journalistic economic literature shows the frequent unsteady use of the above mentioned terms. Many experts do not differ some basic economic terms and often use them as synonyms, which is obviously unacceptable. The authors, having generalized the variety of theories and conceptions and classified practical skills, try to form an adequate classification, to differ basic terms and define them.

Keywords: reforming, reorganization, restructuring, reengineering, change management.

Andrey Varzunov - Saint Petersburg State University of Information Technologies, Mechanics and Optics, postgraduate, varzunov@inbox.ru Olga Tsukanova - Saint Petersburg State University of Information Technologies, Mechanics and Optics, Associate professor, Ph. D, Associate professor, zoa1999@mail.ru - - , , 2009, 6(64) SUMMARY MODERN STATE OF THE ENTERPRISE COMPETITIVENESS CONTROL PROBLEMS R. Mansurov The basic modern problems of competitiveness control and economic efficiency of domestic industrial enterprises are reviewed in the present article.

Keywords: enterprise competitiveness, economic efficiency, competitiveness control.

Ruslan Mansurov - Institute of Managerial Economics and Law (IMEL) (Kazan), Associate professor, Ph. D, Associate professor, Russell_1@mail.ru MACROECONOMIC EFFECTS OF LARGE-SCALE PROJECTS REALIZATION A. Ganieva This article is devoted to the effects and consequences of large investment projects realization and its influence to the main macroeconomic indexes. Structure of macroeconomic consequences is specified by dividing in direct and indirect effects of realization. Effect estimation is suggested on the base of aggregate model inputs outputs.

Keywords: large-scale projects, national projects, macroeconomic effect, structural displacement.

Aliya Ganieva Socio-Economic Research Institute, Ufa Branch of Russian Academy of Sciences, trainee researcher, vixen_a@rambler.ru 8. NEW TECHNOLOGIES IN EDUCATION TYPICAL WEB-PORTAL CREATION OF THE UNIVERSITY INNOVATIVE EDUCATIONAL PROGRAM AND ITS INSTALLATION IN THE UNIVERSITY NETWORK INFRASTRUCTURE Yu. Kolesnikov, I. Shcherbakova, A. Kurkin Development techniques of a typical WEB-portal creation and realization methods of a module portal are considered. The open (free) access and closed document circulation circuits on the portal are presented.

Keywords: WEB-portal, databases, innovative educational program, programming PHP, MySQL.

Yuri Kolesnikov Saint Petersburg State University of Information Technologies, Mechanics and Optics, Vice President for Academic and Administrative Work, Professor, D. Sc., Professor, kolesnikov@mail.ifmo.ru Irina Shcherbakova Saint Petersburg State University of Information Technologies, Mechanics and Optics, Head of educational programs department, mir@mail.ifmo.ru Andrey Kurkin Saint Petersburg State University of Information Technologies, Mechanics and Optics, Applicant, Kurkin@mail.ifmo.ru 122 - - , , 2009, 6(64) 23.10.2009 350 . 12(63)

: 197101, -, ., , 77-33466 10.10.2008 .

47 197 (. ) - , ,

Pages:     | 1 |   ...   | 3 | 4 ||
 
 >>  ()





 
<<     |    
2013 www.libed.ru - -

, .
, , , , 1-2 .