We formulate the problem of finding a Nash equilibrium point for the non-zero sum three-person game as a nonconvex optimization problem by generalizing Mills's theorem [10]. For solving the problem, we propose the...
详细信息
In this paper we considered the problem of finding pairs of mutually orthogonal diagonal Latin squares of order 10. First we reduced it to Boolean satisfiability problem. The obtained instance is very hard, therefore ...
详细信息
In this paper we considered the problem of finding pairs of mutually orthogonal diagonal Latin squares of order 10. First we reduced it to Boolean satisfiability problem. The obtained instance is very hard, therefore we decomposed it into a family of subproblems. To solve the latter we used the volunteer computing project SAT@home. In the course of 10-month long computational experiment we managed to find 29 pairs of described kind, that are different from already known pairs. Also we considered the problem of search for triples of diagonal Latin squares of order 10 that satisfy weakened orthogonality condition. Using diagonal Latin squares from the known pairs (the most of them were found in SAT@home) we constructed new triples of proposed kind. During this computational experiment we used a computing cluster.
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.
A nonlinear parabolic heat conduction equation with a source is discussed, for which solutions of the heat wave propagating against a cold background at a finite velocity are studied. A new theorem of the existence an...
A nonlinear parabolic heat conduction equation with a source is discussed, for which solutions of the heat wave propagating against a cold background at a finite velocity are studied. A new theorem of the existence and uniqueness of heat waves is proved. A particular case is studied in detail, when the heat wave is invariant and its construction reduces to solving an ordinary differential equation. For the numerical construction of invariant heat waves, an algorithm based on the boundary element method is proposed. Test examples are solved.
In the framework of the quasipotential method in quantum electrodynamics we calculate the contribution of light pseudoscalar (PS) and axial-vector (AV) mesons to the interaction operator of a muon and a proton in muon...
详细信息
The technology for creating an information and analytical environment (IAE) for spatial data processing based on the use of spatial data infrastructure (SDI) components and a service-oriented paradigm was proposed for...
The technology for creating an information and analytical environment (IAE) for spatial data processing based on the use of spatial data infrastructure (SDI) components and a service-oriented paradigm was proposed for the management of territorial development. The environment is characterized by its spatial nature and distribution of territorial information resources. At the same time, emphasis is placed on the transition from a standard SDI, as an access medium for the exchange of spatial data, to an SDI of an integration type, as an environment for access, exchange, creation, storage of new sets of spatial and thematic data and processing services. The use of Service-oriented Architecture (SOA), open standards by OGC (Open Geospatial Consortium), Web technologies, standardization of the browser's interface and Web services, allowed to move from local to distributed and 'cloud' computing in which information and computing resources are provided as Web services. The technology for creating an information and analytical environment involves the use of sets (combinations) of thematic Web services with standardized interfaces integrated with standard protocols (SOAP, WSDL, etc.).
In this paper we present a hybrid approach to integrative clustering based on the p-median problem with clients' preferences. We formulate the problem of simultaneous clustering of a set of objects, characterized ...
详细信息
We calculate the electromagnetic Pauli form factor of quark induced by the nontrivial topological fluctuations of QCD vacuum called instantons. It is shown that such contribution is significant. We discuss the possibl...
详细信息
The problem of sequencing and scheduling airplanes landing and taking off on a runway is under consideration. We propose a new family of valid inequalities which are obtained from the study of the single machine sched...
详细信息
The problem of sequencing and scheduling airplanes landing and taking off on a runway is under consideration. We propose a new family of valid inequalities which are obtained from the study of the single machine scheduling problem polytope.
The paper describes the approach of graphical objects creation based on domain ontology description, as well as the hierarchy of the ontology, which includes domain ontology, graphical objects ontology and application...
详细信息
The paper describes the approach of graphical objects creation based on domain ontology description, as well as the hierarchy of the ontology, which includes domain ontology, graphical objects ontology and application's visualization ontology. Concept of software is described, that uses this approach for simulation visualization. The basic requirements for software are formulated, the implementation of which eliminates the most disadvantages of existing imaging systems. The main components of proposed software architecture considered to be: the simulation model as an input source;graphics editor that lets to create graphical objects based on geometric primitives;editor of visual models for visual scene's code generation;visualization module to create visual scenes based on generated code;webserver that is used to transfer data between the simulation model and other modules;domain ontology, graphical objects ontology and application's visualization ontology. The main functions of components are suggested, as well as possible methods and techniques for their implementation.
暂无评论