scholarly journals Mathematical model of the spread of coronavirus infection COVID-19 with software implementation

2020 ◽  
Author(s):  
P.S. Pol'skaya ◽  
K.E. Ognegin ◽  
O.V. Korchevskaya
2021 ◽  
Vol 3 (102) ◽  
pp. 18-37
Author(s):  
OXANA S. LOGUNOVA ◽  
MIKHAIL B. ARKULIS

The purpose of the study is to improve the efficiency of production areas of multi-stage production with the possibility of rational use of equipment capacity and stocks of WIP inventory in the operation conditions of the automated operational scheduling system. Features of the considered problem regarding operative calendar planning are: necessity of processing raw materials at several stages according to the flow chart; an array of the equipment which demands division of work into three periods for each party; availability of planned and unscheduled equipment downtime; necessity to complete set of orders from several suborders; availability of incomplete production in a warehouse; restrictions in order and timing of orders. In the work, the authors construct a mathematical model with the use of multidimensional matroids with structured elements in the construction of free time scale for equipment loading. The research was carried out for a metallurgical plant at the cold strip production site...


2011 ◽  
Vol 4 (2) ◽  
pp. 435-449 ◽  
Author(s):  
P. E. Farrell ◽  
M. D. Piggott ◽  
G. J. Gorman ◽  
D. A. Ham ◽  
C. R. Wilson ◽  
...  

Abstract. Verification is a process crucially important for the final users of a computational model: code is useless if its results cannot be relied upon. Typically, verification is seen as a discrete event, performed once and for all after development is complete. However, this does not reflect the reality that many geoscientific codes undergo continuous development of the mathematical model, discretisation and software implementation. Therefore, we advocate that in such cases verification must be continuous and happen in parallel with development: the desirability of their automation follows immediately. This paper discusses a framework for automated continuous verification of wide applicability to any kind of numerical simulation. It also documents a range of test cases to show the possibilities of the framework.


2020 ◽  
Author(s):  
K.E. Ognegin ◽  
P.S. Pol'skaya ◽  
O.V. Korchevskaya

Author(s):  
А.В. Блонский

Представлен программный комплекс для математического моделирования течений в дискретных системах трещин. Описана математическая модель течения, приведено краткое изложение вычислительных алгоритмов и сформулированы особенности программной реализации. Рассмотрена структура разработанного программного комплекса, обсуждаются аналогичные программные комплексы и указаны их отличия от представленного в настоящей статье. На ряде задач продемонстрирована работоспособность предложенных в статье математической модели, алгоритмов и программного комплекса. A software package for the mathematical simulation of fluid flows in discrete fracture networks is proposed. The mathematical model of flows is analyzed, a brief description of the computational algorithms is given, and the features of software implementation are formulated. The structure of the developed software package is considered, a number of similar software packages are discussed, and their differences from the proposed one are shown. A number of model problems are solved to demonstrate the efficiency of the proposed mathematical model, algorithms, and software implementation.


2021 ◽  
Vol 334 ◽  
pp. 02011
Author(s):  
Nikolay Lobov ◽  
Evgeniy Genson ◽  
Dmitriy Malcev ◽  
Dmitriy Repeckiy

The article is devoted to the description of the correction method of special vehicle fuel allowance, doing the collection and transporting solid municipal wastes. The developed mathematical model is presented, and allows to predict fuel consumption of the special vehicles in operation practices. Its efficacy was proved. Software implementation was offered in vehicle companies for practice using of the correction method of fuel allowance.


2020 ◽  
Vol 19 (4) ◽  
pp. 880-905
Author(s):  
Maxim Ivanov ◽  
Ivan Kalashnilov ◽  
Mekhran Nurullaev

Studying the Internet its structure is usually divided into levels: Autonomous Systems Level (AS), Point of Presence Level (PoP), Router Level, etc. The global network can be represented on each of them as a graph based on the initial data obtained from open sources. Consideration of a network within the framework of a separate level facilitates analysis, but does not allow to systematically assess its structural properties when providing the connectivity between several segments of the network related, particularly, to the objects of critical information infrastructure. To overcome this contradiction, a mathematical model of the global network in the form of a metagraph was developed at the interface between AS-level and PoP-level that takes into account the characteristics of each level and allows to find bottlenecks both in the interdomain routing system and in the topology of internal networks of Internet providers. Based on the proposed model some structural phenomena of the global network are described: stub, multihomed and transit autonomous systems, content providers. Taking into account available data from open sources about Internet structure, a method for constructing a metagraph is proposed. A comparative analysis of tools that automate the process of analyzing a network model is carried out. The practice-oriented problems of finding a cutting subset in a metagraph were set. Certain areas of further research are software implementation of the models using module MGtoolkit in Python and the assessment of structural phenomena of Russian segments of the Internet.


Sign in / Sign up

Export Citation Format

Share Document