Article
Calculation of Long-Term Filtration in a Porous Medium
The filtration problem in a porous medium is an important part of underground hydromechanics. Filtration of suspensions and colloids determines the processes of strengthening the soil and creating waterproof walls in the ground while building the foundations of buildings and underground structures. It is assumed that the formation of a deposit is dominated by the size-exclusion mechanism of pore blocking: solid particles pass freely through large pores and get stuck at the inlet of pores smaller than the diameter of the particles. A one-dimensional mathematical model for the filtration of a monodisperse suspension includes the equation for the mass balance of suspended and retained particles and the kinetic equation for the growth of the deposit. For the blocking filtration coefficient with a double root, the exact solution is given implicitly. The asymptotics of the filtration problem is constructed for large time. The numerical calculation of the problem is carried out by the finite differences method. It is shown that asymptotic approximations rapidly converge to a solution with the increase of the expansion order.
Simulating principles of proposed attribute (A) and object-attribute (OA) architectures of computer systems (CS) that implement the dataflow execution model, and the results of a dataflow-supercomputer system simulation are described. A new formalism of "Attribute Nets" (A-nets) is proposed for mathematical modeling of dataflow-CS that differs significantly from apparatus of Petri Nets. This formalism lays foundation for the OA-programming&simulation environment of a dataflow-CS which is used in development programming and test of the OA-supercomputer system.
By analyzing the logs of corporate e-mail networks we found a number of patterns, showing how the size of ego-networks of individual employees changes on a day by day basis. We proposed a simple model that adequately describes the observed time dependence of an employee's "social circle". Comparison of experimental data with the theoretical model showed that employees are divided into two groups - with fast and slow changes in their social circles, respectively. We believe that the presence of these groups reflects both project-type and process-type of employees' activities. Comparison of data obtained before and during the global economic crisis has shown that the crisis led to an actual reduction in project-type activities.
The considered model of the failure rate of CMOS VHSIC design proposed in the article Piskun G.A., Alekseev V.F., "Improvement of mathematical models calculating of CMOS VLSIC taking into account features of impact of electrostatic discharge", published in the first issue of the journal "Technologies of electromagnetic compatibility" for the year 2016. It is shown that the authors claim that this model "...will more accurately assess the reliability of CMOS VHSIC design" is fundamentally flawed and its application will inevitably lead to inadequate results. Alternatively, the proposed model of the failure rate of CMOS VHSIC design, which also allows to take into account the views of ESD, but based on the use of resistance characteristics of CMOS VHSIC to the effects of ESD.
Filtration problems in porous media are important for studying the movement of groundwater in porous formations and the spreading of liquid concrete injected into porous soil. Deep bed filtration of a monodisperse suspension in a homogeneous porous medium with two simultaneously acting particle capture mechanisms is considered. A mathematical model of suspension flow through porous medium with pore blocking by size-exclusion and arched bridging is developed. Exact solutions are obtained on the concentration front and at the porous medium inlet. For the linear filtration function, exact and asymptotic solutions are constructed.
This volume contains the extended version of selected talks given at the international research workshop "Coping with Complexity: Model Reduction and Data Analysis", Ambleside, UK, August 31 – September 4, 2009. The book is deliberately broad in scope and aims at promoting new ideas and methodological perspectives. The topics of the chapters range from theoretical analysis of complex and multiscale mathematical models to applications in e.g., fluid dynamics and chemical kinetics.
The volume contains articles of scientific staff and faculty of the Department of Computer Science and Applied Mathematics and Scientific-Educational Center of computer modeling of unique buildings and complexes of Moscow State University of Civil Engineering (National Research University), devoted to actual problems of applied mathematics and computational mechanics.
A model for organizing cargo transportation between two node stations connected by a railway line which contains a certain number of intermediate stations is considered. The movement of cargo is in one direction. Such a situation may occur, for example, if one of the node stations is located in a region which produce raw material for manufacturing industry located in another region, and there is another node station. The organization of freight traffic is performed by means of a number of technologies. These technologies determine the rules for taking on cargo at the initial node station, the rules of interaction between neighboring stations, as well as the rule of distribution of cargo to the final node stations. The process of cargo transportation is followed by the set rule of control. For such a model, one must determine possible modes of cargo transportation and describe their properties. This model is described by a finite-dimensional system of differential equations with nonlocal linear restrictions. The class of the solution satisfying nonlocal linear restrictions is extremely narrow. It results in the need for the “correct” extension of solutions of a system of differential equations to a class of quasi-solutions having the distinctive feature of gaps in a countable number of points. It was possible numerically using the Runge–Kutta method of the fourth order to build these quasi-solutions and determine their rate of growth. Let us note that in the technical plan the main complexity consisted in obtaining quasi-solutions satisfying the nonlocal linear restrictions. Furthermore, we investigated the dependence of quasi-solutions and, in particular, sizes of gaps (jumps) of solutions on a number of parameters of the model characterizing a rule of control, technologies for transportation of cargo and intensity of giving of cargo on a node station.
Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.
Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.