model

On the Solution of Chess Positions Using Computational Tree Logic

Authors: Khelemendik R. V.

The paper describes a construction of four formulas of Computational tree logic corresponding to an arbitrary chess position. At least one of these formulas is satisfiable and leads to the solution of chess position: value of position (a draw or a victory of one of the sides) and necessary strategy for getting this value is constructed using the formula model.

One Model for Representation of Production Knowledge Base

Authors: Ivanov A. S.

We offer a new approach to structure of production knowledge bases. In our approach the knowledge base is modeled by multigraph. We offer a deduction algorithm for such a model. The experimental results show the effectiveness of proposed methods.

Finite Element Model of the Carotid Bifurcation

Authors: Kamenskiy A. V.

A fluid-solid interaction problem of a pulsation of the human carotid bifurcation was solved using finite element method. Hyperelastic orthotropic wall model that accounts for the carotid histological structure and in-vivo vessel geometry obtained from the CT-imaging were utilized. In-vivo blood flow boundary conditions for the problem were determined using Doppler Ultrasound.