The article analyzes the methods and provides a solution to the problem of detecting logical contradictions in business process models of the health care company. Practical purpose of solving the problem is to increase the efficiency of data management for municipal agencies as stakeholder of company. The methodology is based on formal tools relational logic formalism and the methodology involved is describing business processes by DEMO paradigm. Essentially used the simulator MIT Alloy Analyzer. Analyzed business processes specific organization, provides guidance on the elimination of contradictions.
The method of the decision of distinction of digraphs problem is offered. The basis of this method is defined on matrix model of complexity, which takes into account the quantitative and qualitative characteristics of digraph fragments. The model for the first time allows to calculate the importance of each digraph fragment of digraph in its total complexity. The results of the decision of problems of distinction and definition of similarity for digraphs are given.
The paper describes a new method of constructing semantic expansions of search requests (of generalized character) for improving the results of Web search. This method is based on the theory of K-representations - a new theory of designing semantic-syntactic analyzers of natural language texts with the broad use of formal means for representing input, intermediary, and output data. The stated approach is implemented with the help of the programming language «Java»: an experimental search system AOS (Aspect Oriented Search) has been developed.
In this work it was explained why the energy balancing in a static wireless sensor networks with autonomous energy sources is actual nowadays. We presented mathematical model of static wireless sensor network which considers external influence. We presented method of energy balancing in a static wireless sensor networks with autonomous energy sources and experimental results which show increasing work efficiency of static WSN with autonomous energy sources by increasing nodes lifetime and decreasing nodes energy consumption.
The paper studies the problems of food security as the basis for the stability of the country’s economic development. Despite the economic growth of most countries in the world, the problems of hunger continue to be acute in developing countries. This undermines the food security of these countries and can pose a threat to world peace as a whole. Numerous studies show that foreign investment plays an important role in the creation of food security, but this effect is ambiguous. The most common methods of analysis in recent researchеs are descriptive analysis and panel data models. In this article, our approach to analyzing the impact of foreign investment is based on panel cointegration models; the interpretation of the results uses the impulse response function based on an error correction model. Countries of North Africa are considered as an example of the implementation of this approach. Data from the World Bank and the Food and Agriculture Organization for 1991–2014 for seven countries (Algeria, Egypt, Libya, Morocco, Sudan, Tunisia, Western Sahara) were selected for analysis. In this paper, we have also tested the methodology for selecting the food security indicator based on analysis of the matrix of cointegration relations. The results show that foreign investment has a significant long-term impact on food security, but in the short term no effect was detected. The proposed modeling methodology can be extended to any region of the world to monitor and evaluate the effectiveness of the current economic policy to combat hunger and poverty.
Joint analysis of the general structure of online Internet discussions and different attributes of particular text comments becomes an important scientific task in theoretical and applied aspects. Although methods of machine learning facilitate stochastic analysis of text messages, appropriate modeling of dynamics of online discussion and psycho-linguistic characteristics of comments in the presence of multiple individual authors remains the unresolved problem. In this article, the authors suggest applying the methods of multi-agent simulations for resolution of that problem. This work offers two models of online discussion which allow us to take into account characteristics of individual comments and the presence of multiple authors with individual models of behavior. The behavior models are designed in the result of analysis of actual online Internet discussions. The first model is centralized and represents the behavior of each author in the same manner, using a set of fixed parameters. In comparison to the centralized model, the multi-agent distributed model states the individualized behavior for every author through the Markov chain of the special form. Such individualized structure allows us not only to approach the real dynamics of the discussion, but also to compare the models with the actual online Internet discussions. Using pre-processed factual data of real discussions from various Internet portals became an important feature of the suggested approach to simulation modeling. Pre-processing includes expert evaluation of psycho-linguistic characteristics (intent and content analysis), as well as methods of mathematical statistics. Therefore, this research is a positive example of interdisciplinary research of Internet communication phenomena.
Development of a phenomenological approach to simulation of the human crowd behavior, proposed in , is presented in the paper. We consider continuous stochastic agent-based model of human behavior in a confined space with a given geometry using clarifications on a status of an agent and decision-making system of an agent, presented in Helbing’s models [2, 3, 4] (molecular approach). Such integration seems to be the most promising development of this class of problems due to the fact that the first approach (Beklaryan-Akopov’s model) allows us to introduce a natural discretization of the problem and then calculate the increment of all agent’s characteristics at each time point, as well as use of elements of the second approach (Helbing’s model) allows us to describe the most realistic decision-making system of the agent. This eliminates the difficult problem of numerical integration of Newton’s equations underlying the Helbing’s model and offers explicit calculations of system characteristics.
In the result, the agent based model allowing to investigate the dynamics of agents taking into account ”effect of crowd” at various scenarios, in particular, in the conditions of extreme situations, in the presence of effects of “crowd crush” and “turbulence” and others effects was created in the simulation system AnyLogic.
The work is devoted to the modeling of globalization processes taking into account the dynamic links between them and structural changes in the trend parameters. The relevance of this work is due to the fact that most of the work on this topic is devoted to the study of the impact of globalization on individual indicators of socio-economic development, and not enough attention is paid to the study of the formation of the General trend of globalization, the interaction of its components. The latter is particularly important for developing countries, which are characterized by a strong heterogeneity of these components in the structure of globalization, as well as a marked variability of parameters in their trends.
The approach of cointegration analysis of globalization processes taking into account structural shifts in the trends of these processes is proposed. As an example of the implementation of this approach, we consider the modeling of the dynamics of the components of the KOF globalization index for Algeria for 1970-2015. The stationarity of the series was tested using unit root tests with structural breaks: Andrews-Zivot and Perron tests for a series with one structural break, and Clemente-Montanes-Reyes and Lee Strazicich tests for series with one or two structural breaks. The Johansen test for small samples taking into account exogenous variables was used for cointegration testing. The presence of dynamic relationships was confirmed by comparing the forecasts for vector error correction model and one-dimensional models of processes using the Dibold-Mariano test. Interpretation of models was based on estimates of the impulse response function and Cholesky decomposition of prediction error.
The results show that the formation of the KOF Globalisation Index for Algeria is largely due to the mutual influence of its components. The dynamics of political and economic globalization are formed as a result of mutual changes in the sphere of external economic and political relations. The role of international cooperation in the social sphere for the other two components of globalization in Algeria is small. At the same time, the dynamics of social globalization is determined by its own components.
The proposed modeling methodology can be applied to the study of globalization processes in other countries of the world in order to justify political decisions.
The article covers issues of effectiveness of working capital management of a trading enterprise on the basis of the automated planning. This approach gives the possibility to use the classical methods of optimization of dynamic systems to determine the main parameters of the economic policy of the commercial enterprise for providing the best strategy for development. With using the proposed approach can be created algorithms for evaluating both managed and unmanaged risk and also for finding reasonable solutions for preventing them. When presenting the material, operational environment of the commercial enterprise is describing in traditional terms of trade and financial market, allowing its use wherever used information system "1C", in the form of incremental software complex for forecastingand optimization. The developed mathematical model allows to solve the tasks of easing the selection and justification decisions for leadership shopping enterprise: - predict a time functions, which define the mathematical expectations of the processes of change of assets and liabilities of commercial enterprise in the process of its functioning, as well as confidence intervals; - with initial set of source data - find the initial condition - authorized capital for providing strategic objectives; - with any statutory Fund - to identify primary commodity-monetary policy, expressed by set of different interest rates, some of which is set by the regulator, the other part -by market mechanisms and Treaty obligations of participants of transactions, that will allow to solve tasks at the initial period of functioning; - provide support to the enterprise operation planning in the form of calculation of efficiency of variants of produced plans and other. Results of forecasting the dynamics of the situation circulating assets are presented inan integrated graphical form, which provides an opportunity to see the full picture of the forthcoming state of current assets trade organization, and the main participants of the trade and economic activity in a given time interval.
This paper presents the results of studies aimed at effectiveness analysis of the research centre. The study focuses on the process of self-organization of the project team (a group of co-authors) for the project implementation (writing a scientific article). Initiative to create a team comes from one of its members. The paper describes the formal model, based on a competence approach, which considers the types of tasks to be solved and the necessary skills of the staff. The paper also presents the results of simulation in the AnyLogic environment and problems up to further research.
The competency profile of each employee is a vector where each coordinate describes the level of his possession of the corresponding skill. The competency profile of the team is a vector, obtained as a result of a simple addition of competency profiles of participants. The proposed model assumes that each task requires a certain set of competencies and that the list of competencies and the level of experience are the criteria for deciding whether to join the team. The logic of decision making at various stages of team creating is modelled by deterministic Boolean functions. At each step of the modelling, the next employee is chosen randomly. To calibrate the team member competency profile the internal data of the employee’s qualifications of the Gazpromneft Research Center was used. The constructed model is the basis for further studies of the process of creations and functioning of project teams in the scientific environment and for the development of a methodology for assessing the effectiveness of the research teams working. It allows predicting the need for personnel with different competencies, plans activities to improve the skills of employees and strengthen communication in the team.
In the paper the questions of monitoring and planning of Performance Management Information Support Systems (PMISS) development are discussed. The role of the monitoring and planning functions in the general development management system is disclosed, basic requirements to these functions and general principles of their practical implementation are formulated. The main elements of the monitoring and planning system are described, the perspectives of further research are proposed.
The article discloses special features of composition novellas of the Russian legislation Computer-related fraud taking into account the socio-dangerous act, the socio-dangerous result, the specifics of information relations in the sphere of storage, handling or transmission of computer information, of work of information-telecommunication of networks. In the article are offered recommendations on changing the dispositions of this article in order to improve the fight with cybercrime.
Object of this research is the Russian banking system. The work purpose – creation of the comput-er program of an assessment of probability of bankruptcies of banks because of revocation of li-cense of banks and use of this system as mathematical model for detection of some regularities of the Russian bank sphere. The instrument of researches – the neural networks trained and tested on materials of financial statements of the Central Bank of the Russian Federation. After detection and removal of emissions the error of testing (generalization) of the trained and optimized of neu-ral network made 6,3% of statistical data. Researches of subject domain were carried out by carry-ing out virtual computer experiments during which calculations by means of a neural network were made at change of one of fifteen input parameters characterizing banks while other parame-ters remained the invariable. A number of regularities of studied subject domain is as a result was revealed. The conclusion was that increase of coefficient of long-term liquidity positively influ-ences for bank activity, however, there are a certain level when increase of this indicator increases probability of bankruptcy of bank. The organizational and legal form of bank, and also the status of the city in which the bank is located has essential impact on success of its functioning. Howev-er this influence is ambiguous and in each case can be shown differently, depending on a set of other parameters of bank and its activity. The example of use of the developed neuronetwork sys-tem for development of recommendations about decrease in probability of bankruptcy of one of banks is given. The created intellectual system of forecasting of probability of bankruptcy of banks can be used for an assessment of risks of the interbank credits, for carrying out internal au-dit, and also for support of the decision-making, directed on improvement of activity of banks.