The paper describes an approach for the computer-aided development of rule-based knowledge bases on the basis of analysis of fault trees represented with the aid of the author’s notation. The approach is based on the...
详细信息
The article discusses the application of the model-driven approach in the development of agent-based simulation models, presents an overview of agent architectures, considers the updated version of the hierarchical sy...
详细信息
This paper addresses the numerical solution of fractional programs with quadratic functions in the ratios. Instead of considering a sum-of-ratios problem directly, we developed an efficient global search algorithm, wh...
详细信息
This paper addresses the general optimization problem ($$\mathcal P$$) with equality and inequality constraints and the cost function given by d.c. functions. We reduce the problem to a penalized problem ($$\mathcal P...
详细信息
Forest is the most important natural resource of the Baikal natural territory (BNT), which ensures sustainable development of the ecological system of the Lake Baikal, performing water protection, soil protection and ...
详细信息
When constructing a digital terrain model from the available vector data, iso-lines (relief contour lines) are used as the main source of information. Also the maps may contain the point elevation marks. To obtain the...
详细信息
The efficiency of the intelligent systems engineering on the basis of conceptual models can be improved through the use of specialized languages. The paper describes a domain-specific language designed for describing ...
详细信息
It is usual to classify the automated searching of a plan as an artificial intelligence problem. In planning, the environment is defined as a set of both states and transitions between them. Planning consists in searc...
详细信息
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...
详细信息
In this report we present several different propositional encodings for finding systems of mutually orthogonal Latin squares, and evaluate their effectiveness using state-of-The-Art parallel and sequential algorithms ...
详细信息
In this report we present several different propositional encodings for finding systems of mutually orthogonal Latin squares, and evaluate their effectiveness using state-of-The-Art parallel and sequential algorithms for solving Boolean satisfiability problem (SAT). We also apply the widely used SMAC tool to study the possibility of improving the effectiveness of lingeling SAT solver on the considered tests and discuss the results of corresponding computational experiments.
暂无评论