The present paper discusses various aspects of embedding the intrusion detection system based on the personal adaptive behavior profile into the existing complex information system. The paper proposes the classification of types of access to the target information infrastructure in order to assess the feasibility of the established system integration. The criteria for evaluating the effectiveness of the implementation of the established system are also described. A method for calculating the dynamic threshold level of abnormality is proposed in the present research. The paper also considers a technique of adjusting the sensitivity of the system in case of abnormal user behavior. The paper describes the approach used for system scaling in case of an increase in the intensity of the incoming requests.

Models of multirate systems in which inelastic and elastic calls (ie-calls and e-calls, respectively) are jointly serviced are investigated. It is assumed that through the entire service period the iecalls simultaneously occupy b ≥ 1 channels of the system, moreover, all the channels begin and complete servicing of the same ie-call simultaneously. The elastic calls simultaneously occupy m channels, m ≤ m ≤ $$\bar m$$ , where m and $$\bar m$$ are specified quantities, with the service rate being proportional to the number of channels busy servicing e-calls. Models with continuous and discrete band for servicing e-calls are investigated in detail. Effective numerical algorithms for calculating the characteristics of the models are developed and results of computational experiments are presented.

This article considers a problem of securing the coexistence of predator and prey species under the conditions of the closed artificial world of digital organisms. A new scheme of relations is proposed between digital organism species, in which the predator eliminates only a prey species progeny at a larval stage. It is shown that in this case, long-term coexistence between the predator and the prey is possible. The results are necessary for creating software systems with distributed artificial intelligence, that are capable of self-management and self-organization.

Recently, Multimedia cloud is emerging as a promising technology to effectively process multimedia services. A key problem in multimedia cloud is how to deal with task scheduling and load balancing to satisfy the quality of service demands of users. In this paper, we propose a two levels task scheduling mechanism for multimedia cloud to addresses the problem. The first level scheduling is from the users’ multimedia application to the data centers, and the second is from the data centers to servers. The data centers and virtual machines both are modeled as M/M/1 queuing systems. The algorithm proposed formulates the task-scheduling problem as cooperative game among data centers. Then we allocate the tasks received by a data center to servers using cooperative game again among servers. Various simulations are conducted to validate the efficiency of the proposed task scheduling approaches. The results showed that the proposed solutions provided better performance as compared to the existing approaches.

Automated test generation has received a lot of attention in recent decades, because it is one possible solution to the problems inherent to software testing: the need to write tests in the first place and providing test coverage for the human factor. De facto the most promising technique to automatically generate a test is dynamic symbolic execution assisted by an automated constraint solver, e.g., an SMT solver. This process is very similar to bounded model checking, which also deals with generating models from source code, asserting logic properties in it, and processing the returned model. This paper describes a prototype unit test generator for C based on a working bounded model checker called Borealis and shows that these two techniques are very similar and can be easily implemented using the same basic components. The prototype test generator has been evaluated on a number of examples and has shown good results in terms of test coverage and test excessiveness.

This paper addresses an adaptive method for designing a sensorless trajectory tracking control scheme for a wheeled mobile robot. In order to reduce the cost of the robot, a new Nonlinear Observer (NOB) is used to leave out velocity sensors in the robot. Also, an adaptive model reference technique is used for designing the dynamic controller. In order to ensure the implementability of proposed controller, dynamic controller and nonlinear observer are designed in the presence of uncertainties. In addition, the Observer-based Kinematic Controller (OKC) is designed in the presence of sliding velocity. In order to improve the performance of the kinematic controller, sliding velocity is estimated and used for modification of kinematic controller. Finally, the effectiveness of the proposed method is demonstrated by simulations.

A brief history of introducing the delta function on a complex plane is presented. The proof of the mathematical form of the complex delta function is given. An example of applying the complex delta function for finding the stationary value of an alternating random accumulation process with the informational income and expenditure is presented.

The model for a wide class of any territorially distributed standby systems consisting of unreliable repairable elements is described. It represents special type of closed queuing system in which two maintenance operations — replacements and repairs of failed elements are carried out. The possible applications of the model are discussed.