In this paper we present the computational study of one class of discrete models of collective behavior. In the context of these models a set of agents, that form a collective, is represented by a network. Each agent ...
详细信息
ISBN:
(纸本)9781509025435
In this paper we present the computational study of one class of discrete models of collective behavior. In the context of these models a set of agents, that form a collective, is represented by a network. Each agent is assigned a special weight function. The behavior of a collective in discrete time moments is specified with a vector function, the coordinates of which are defined by values of agents weight functions at corresponding time moments. We study phenomena concerning the so-called conforming behavior: when an agent at some time moment decides to act or not to act depending on the similar decisions, made by agents from its neighborhood at the previous moment. We consider the problem how to dispose a relatively small number of always acting agents called activators in the network so that the majority of agents soon become active. We apply state-of-the-art SAT solvers to this problem. To tune the solver we use special parameterization techniques. In our computational experiments we show that the solving of considered problems of large dimension can be significantly sped up by finding effective combinations of the SAT solver parameters values on test instances from the same class but of much lower dimension.
We study a class of optimal control problems for measure-driven differential equations with rate independent hysteresis. The hysteresis is modeled by an evolution variational inequality equivalent to the action of pla...
详细信息
We study a class of optimal control problems for measure-driven differential equations with rate independent hysteresis. The hysteresis is modeled by an evolution variational inequality equivalent to the action of play operator generalized to the case of discontinuous inputs of bounded variation. A method to obtain optimality conditions for impulsive processes is proposed.
We address to the problem of an integration of heterogeneous computational clusters to the united environment applying the OpenStack platform for a cluster resource virtualization. However, this platform does not inte...
详细信息
We address to the problem of an integration of heterogeneous computational clusters to the united environment applying the OpenStack platform for a cluster resource virtualization. However, this platform does not interact with the traditional resource management systems such as the PBS Torque or SLURM that are used in cluster resources. To this end, we developed an additional hypervisor shell to run virtual machines through queues of the aforementioned systems. Thus, we expand the OpenStack capabilities for an application job management and provide a computation scalability for virtualized resources of clusters. In order to show the benefits of our approach to the scalable application management in integrated cluster environments, we developed a parameter sweep application for simulation modeling of warehouse logistics and solved three optimization tasks for the real refrigerated warehouse. We compared the selected criteria of task solving processes with the hypervisor shell applying and without it by means of simulation modeling. Experiments show that the hypervisor shell can significantly improve computation speedup and task solving time through reallocating virtual machines to queues of the resource management systems.
The region of Southern Baikal belongs to the territories with high seismic activity. However, the issues of complex assessment of the influence of the lithosphere model on the dynamic parameters of the rock ground vib...
详细信息
Earth remote sensing data is used to solve many practical problems, for example, for digitizing satellite images. This problem can be divided into three stages, in this case let it be the classification of objects, th...
详细信息
The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science ...
The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science and industry, in particular, socionics, geology, mechanical engineering, and others. Binary synchronous autonomous linear and nonlinear dynamic models with an unknown characteristic matrix are considered. Matrix elements are chosen the way that these binary feature vectors are equilibrium states of the binary dynamic model. The areas of attraction of equilibrium states act as classes. One reference vector corresponds to each class. The classification process consists of constructing trajectories of a logical-dynamic system with a given initial state. It aims to verify the reachability of one of the equilibrium states. A meaningful example of the proposed method is considered.
We consider a class of problems of multicriteria selection, where final set of alternatives is known, a number of alternatives can be sufficiently great, they can be evaluated both quantitatively and qualitatively. In...
详细信息
The paper introduces CAHDL, a Computer Architecture and Hardware Description Language. The CAHDL is aimed to specify processor instructions and hardware formally. The CAHDL can be used both in documentation and in pro...
详细信息
The paper introduces CAHDL, a Computer Architecture and Hardware Description Language. The CAHDL is aimed to specify processor instructions and hardware formally. The CAHDL can be used both in documentation and in programs which require information about computer architecture such as emulators, compilers, decompilers, etc. The article considers some syntactic constructions in examples and explains their semantics. The specification parsing methods are also briefly reviewed. The end of the paper observes the software developed to test the language and to debug specifications written in this language.
The paper addresses a relevant problem of predicting the runtime of jobs for executing problem-solving schemes of large-scale applications in a heterogeneous distributed computing environment. Such an environment incl...
详细信息
Nowadays, a provision of the computational process fault-tolerance in Grid is a relevant issue. In the paper, we address a fault-tolerance improvement in solving large-scale scientific and applied problems that are im...
详细信息
Nowadays, a provision of the computational process fault-tolerance in Grid is a relevant issue. In the paper, we address a fault-tolerance improvement in solving large-scale scientific and applied problems that are implemented through modular programming in heterogeneous distributed computing environments. We describe a computational process by an abstract program (problem-solving scheme) that correlates to a workflow. The problem-solving scheme specifies modules (applied software) and their relations with each other. This paper proposes a new multi-agent algorithm for re-allocating Grid-resources when the computational process fails. The algorithm execution involves forming a residual problem-solving scheme using methods of the abstract program specialization and reallocating its modules between agents that represent computational resources. In comparison to the known algorithms for the same purpose, the proposed algorithm implements an adaptive multi-scenario solving this issue and therefore increases a degree of computational process fault-tolerance. Extensive modeling and practical experiments demonstrate the practicability of the proposed algorithm.
暂无评论