We consider the minimization problem of an integral functional in a separable Hilbert space with integrand not convex in the control defined on solutions of the controlsystem described by nonlinear evolutionary equat...
This paper studies the problem of algebraic cryptanalysis where state-of-the-art SAT solvers are used to invert some cryptographic function. We define a new metric of the hardness of CNF formulas that encode the corre...
详细信息
We provide a triple of diagonal Latin squares of order 10 that is the closest to being a triple of mutually orthogonal diagonal Latin squares found so far. It was obtained by constructing all orthogonal mates for diag...
详细信息
In the article the problem of analysis of the water-dissolved greenhouse gases interchange (CO2 and CH4) through the water surface with atmosphere is considered. We assess the seasonal variation of the gaseous interch...
详细信息
For a nonlinear parabolic heat equation we construct a heat wave type solution composed of the zero and nonnegative solutions joined continuously along the wave front. We prove the existence and uniqueness of an analy...
详细信息
A logic-syntactic method of object recognition on images is proposed that is based on logical inference with use of the structural description of objects. The search for boundaries of objects on the image is performed...
详细信息
The paper deals with approaches to heterogeneous data cleanse in processes of their preparation to integration. This process allows identifying and fixing different inconsistencies and errors in data to improve data q...
详细信息
The paper describes the main principles of visualization software development, as well as implemented by this software approach, which is based on the use of ontologies to describe both the rendered domain, and the ru...
详细信息
The paper describes the main principles of visualization software development, as well as implemented by this software approach, which is based on the use of ontologies to describe both the rendered domain, and the rules of its 3Ddisplaying. This approach allows the user to avoid programming the 3Dscene and describe it in terms of the research area. The paper set out a formal model of a software tool, its architecture, basic modules and ontology structure. The process of visual scene design and creation is described, including the steps of ontology modelling, visual objects creation, formation of scene describing rules, code generation, visualization, organization of data exchange between visualization software and data source. WebGLbased library was chosen as primary means for 3D graphics rendering, which allows to create visual scenes in the user's web browser. Examples of generated scenes and the question of its performance are also discussed in the article.
An algorithm for page layout analysis (segmentation) is suggested in the paper. It allows whitespace between text blocks to be detected on a document page. The algorithm could be used in document analysis and recognit...
详细信息
In this study, we suggest an algorithm for computing minimal and maximal numbers of transversals of diagonal Latin squares. According to this algorithm, we generate all diagonal Latin squares of a particular order, an...
详细信息
暂无评论