Cities host more than half of the population in only 2% of the earth’s surface and consume 75% of the resources extracted from the planet, this abrupt demographic growth in urban areas has worsened the level of pollu...
详细信息
The LS-STAG immersed boundary cut-cell method modification for viscoelastic flow computations is presented. Rate type viscoelastic flow models (linear and quasilinear) are considered. Rate type viscoelastic flow model...
详细信息
The next phase of LHC Operations-High Luminosity LHC (HL-LHC), which is aimed at ten-fold increase in the luminosity of proton-proton collisions at the energy of 14 TeV, is expected to start operation in 2027-2028 and...
详细信息
The computer industry and the science of computer science that emerged in the Soviet Union in the late 1940s, constantly evolving and continuously transforming, went through several stages in its innovative developmen...
详细信息
ISBN:
(纸本)9781728112763;9781728112756
The computer industry and the science of computer science that emerged in the Soviet Union in the late 1940s, constantly evolving and continuously transforming, went through several stages in its innovative development. The article is devoted to the history of the formation of Russian computer science. One of the stages of the continuous innovation development of computer science in Russia is connected with the intensive development of new directions in system and applied programming, to which the reports presented at the conference are devoted.
Different modelling techniques intended to deal with complexity of modern IMA systems are widely used now. Models can be used to help developers to lay out relevant information structurally. They can also be used to p...
详细信息
Paper presents some results of the implementation of a quasi-hydrodynamic (QHD) approach as finite volume method (FVM) solver mulesQHDFoam on the basis of OpenFOAM. Application of the QHD numerical algorithm to the si...
详细信息
ISBN:
(纸本)9781728112763;9781728112756
Paper presents some results of the implementation of a quasi-hydrodynamic (QHD) approach as finite volume method (FVM) solver mulesQHDFoam on the basis of OpenFOAM. Application of the QHD numerical algorithm to the simulation of the attractor of internal gravity waves is considered. A comparison of FVM with spectral element method (SEM) implemented in Nek5000 is given. Convergence of the QHD FVM solver model to the SEM Nek5000 model is shown. The Big Data analysis method (Proper Orthogonal Decomposition) is used as a tool for comparing the calculation results between QHDFoam and Nek5000.
Efficient interactive rendering of large datasets still poses a problem. Widely used algorithm frustum culling is too conservative and leaves a lot of hidden objects in view. Occlusion culling with hardware occlusion ...
详细信息
One of the efficient ways to speedup calculations in the vortex method, namely the Barnes – Hut-type algorithm, is considered. This method is based on the introducing of a hierarchical structure of domains (binary tr...
One of the efficient ways to speedup calculations in the vortex method, namely the Barnes – Hut-type algorithm, is considered. This method is based on the introducing of a hierarchical structure of domains (binary tree), which allows one to take into account approximately mutual influences of clusters of vortex elements located far from each other when calculating convective velocities. Estimates of the computational complexity of the algorithm for convective velocities calculating are derived, as well as estimates of the error, which depend on the parameters of the algorithm. In practice, these estimates make it possible to choose optimal values of the algorithm parameters and to achieve the maximal speedup of calculations at a given level of acceptable calculation error.
The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA an...
详细信息
ISBN:
(纸本)9781538692516
The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA and ISA-independent core. The specifications describe instructions' syntax and semantics and can be easily modified to support more instructions (including custom extensions). The core implements techniques of instruction sequences composition and test data generation. Test programs are generated from test templates, describing the programs' structural and behavioral properties; among generation techniques, random, combinatorial, and constraint-based ones are supported.
This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. ...
详细信息
暂无评论