In the article the analysis of the methodical approaches to an evaluation of a technical and organizational level of production is conducted. The author offers to use a complex parameter offered by R.A. Kolomiyec in quality to an evaluation TOLP.
This article provides a brief theoretical review and description of curves that showed superior fitness: Logistic, Gompertz, Mixed Informational Source model, Bass model, multi-generation and multi-product diffusion models, and the one that combines the concepts of technical substitution and market competition. In order to choose an appropriate model and distinguish driving forces a survey of methods and mathematical models which were successfully used in empirical studies of diffusion of ICT services in economics has been made
This paper is a survey of applying formal methods in the robotics field. We consider a number of recent works on robotic behavior specification in terms of temporal logics and using the model checking approach. Formal analysis techniques for Petri nets and robotics systems modeling using those methods are also considered. Verification of hybrid systems, application of process algebras for concurrent systems and other approaches for synthesis and verification of robotics controllers are described. We survey both fundamental papers that lay a foundation for the entire branches of research and recent papers from the top conferences of the last five years hoping to cover most of the actively developed research topics.
The issue describes a new approach of integration the heterogeneous data processing computer systems into the unified integrated information space to increase complex data processing. The main results of scientific research and approbation of developed software prototype are pointed in the article.
The paper considers the integration of three technologies of process management: to construct a model typical business processes, allocate resources and monitoring of the workflow in a single approach, which includes several steps. For stage resource allocation problem is formulated as resource allocation, copies of which have different properties and an algorithm for its solution.
One of the challenges of Enterprise Architecture (EA) in large companies is organizing processes of baseline EA development and change management under conditions of steady change that are introduced mostly by implemented and changed IT solutions. The research paper describes a new approach of developing and keeping relevant baseline EA models on the basis of Solution Architecture models integration.
In article key questions of formation of a tax policy of the organization in modern conditions are considered. Ways of the permission of the basic problems of formation of a tax policy are offered
The basic processes influencing the formation of modern concept of controlling are considered. Fundamental restrictions of the controlling concept are described. The system concept of controlling is argued as the scientific basis of controlling in circumstances of today.
The paper substantiates the role and importance of information security in the spiritual life of the society, analyses the specifics of the security of large museum complexes, as information systems. We have described the composition and the structure of an integrated information system for ensuring the safety of a museum. Models for operating and managing an information security system have been considered.
This article covers the problem of managing IS-enabled organizational transformation and applying formalized methods and approaches to ensure the rationalization of associated costs and risks.