Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Modelirovanie i analiz informacionnyh sistem
Tome 22 (2015)
Précédent
Suivant
Sommaire du
Fascicule no. 1
Singularly perturbed boundary value problem with multizonal interior transitional layer
V. F. Butuzov
p. 5-22
Method of the logistic function for finding analytical solutions of nonlinear differential equations
N. A. Kudryashov
p. 23-37
Blue sky catastrophe in systems with non-classical relaxation oscillations
S. D. Glyzin
;
A. Yu. Kolesov
;
N. Kh. Rozov
p. 38-64
Local dynamics of a second order equation with large exponentially distributed delay and considerable friction
D. V. Glazkov
p. 65-73
On the location of some characteristic quasipolinomial roots
D. S. Glyzin
;
E. P. Kubyshkin
;
A. R. Moryakova
p. 74-84
Zero-order approximation of three-time scale singular linear-quadratic optimal control problem
M. A. Kalashnikova
p. 85-104
Dissipative structures of the Kuramoto--Sivashinsky equation
N. A. Kudryashov
;
P. N. Ryabov
;
B. A. Petrov
p. 105-113
Information technologies and infrastructures for research data aggregation. The experience of Canada, Netherlands and Germany
M. R. Biktimirov
;
V. L. Glebsky
;
B. V. Dolgov
;
S. A. Polikarpov
p. 114-126
On the approximation of periodic functions in
$L_2$
and the values of the widths of certain classes of functions
K. Tukhliev
p. 127-143
Sommaire du
Fascicule no. 2
Residual properties of nilpotent groups
D. N. Azarov
p. 149-157
Access efficiency to data in DIM DBMS
D. V. Antonov
;
V. S. Roublev
p. 158-175
PDA with independent counters
Michael Dekhtyar
;
Boris Karlov
p. 176-196
Solutions stability of initial boundary problem, modeling of dynamics of~some discrete continuum mechanical system
D. A. Eliseev
;
E. P. Kubyshkin
p. 197-208
Uniformity of vector bundles of finite rank on complete intersections of~finite codimension in a linear ind-Grassmannian
S. M. Yermakova
p. 209-218
The existence of triple factorizations for sporadic groups of~rank~3
L. S. Kazarin
;
I. A. Rassadin
;
D. N. Sakharov
p. 219-237
Data rate estimation for wireless core-to-cache communication in~multicore~CPUs
M. Komar
;
V. Petrov
;
K. Borunova
;
D. Moltchanov
;
E. Koucheryavy
p. 238-247
Truth space method for caching database queries
S. V. Mosin
;
S. V. Zykin
p. 248-258
Completeness of the dynamics of the attributes values of data in the database DIM
A. N. Petrov
;
V. S. Roublev
p. 259-277
About a routing problem of the tool motion on sheet cutting
A. A. Petunin
;
A. G. Chentsov
;
P. A. Chentsov
p. 278-294
The estimating of the number of lattice tilings of a plane by a given area centrosymmetrical polyomino
A. V. Shutov
;
E. V. Kolomeykina
p. 295-303
Fisher--Kolmogorov--Petrovskii--Piscounov equation with delay
S. V. Aleshin
;
S. D. Glyzin
;
S. A. Kaschenko
p. 304-321
Sommaire du
Fascicule no. 3
Bifurcation to chaos in the сomplex Ginzburg--Landau equation with large third-order dispersion
I. Ovsyannikov
;
D. Turaev
;
S. Zelik
p. 327-336
Solution to a parabolic differential equation in Hilbert space via Feynman formula~-~I
I. D. Remizov
p. 337-355
Scheduling problems of stationary objects with the processor in one-dimensional zone
N. A. Dunichkina
;
D. I. Kogan
;
Yu. S. Fedosenko
p. 356-371
Corporate dynamics of systems of logistic delay equations with large delay control
N. D. Bykova
;
S. A. Kaschenko
p. 372-391
Does your event log fit the high-level process model?
A. K. Begicheva
;
I. A. Lomazova
p. 392-403
Self-excited wave processes in chains of unidirectionally coupled impulse neurons
S. D. Glyzin
;
A. Yu. Kolesov
;
N. Kh. Rozov
p. 404-419
Stability of CW solutions of semiconductor laser with large delay
A. A. Kashchenko
p. 420-438
Investigation of oscillatory solutions of differential-difference equations of~second order in a critical case
E. P. Kubyshkin
;
A. R. Moryakova
p. 439-447
Sommaire du
Fascicule no. 4
1-Skeletons of the spanning tree problems with additional constraints
V. A. Bondarenko
;
A. V. Nikolaev
;
D. A. Shovgenov
p. 453-463
Algorithms for majority decoding of group codes
V. M. Deundyak
;
Yu. V. Kosolapov
p. 464-482
On finite groups with an irreducible character large degree
L. S. Kazarin
;
S. S. Poiseeva
p. 483-499
On residual separability of subgroups in split extensions
A. A. Krjazheva
p. 500-506
On the expressiveness of the approach to constructing PLC-programs by LTL-specification
E. V. Kuzmin
;
D. A. Ryabukhin
;
V. A. Sokolov
p. 507-520
Development of an adaptive routing mechanism in software-defined networks
A. N. Noskov
;
I. A. Manov
p. 521-532
The problem of finding the maximal multiple flow in the divisible network and its special cases
A. V. Smirnov
p. 533-545
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects
V. A. Sokolov
;
S. V. Korsakov
;
A. V. Smirnov
;
V. A. Bashkin
;
E. S. Nikitin
p. 546-562
A method of sample models of program construction in terms of Petri nets
D. I. Kharitonov
;
E. A. Golenkov
;
G. V. Tarasov
;
D. V. Leontyev
p. 563-577
Automation of formal verification of programs in the Pifagor language
M. S. Ushakova
;
A. I. Legalov
p. 578-589
Sommaire du
Fascicule no. 5
Kuramoto phase model with inertia: bifurcations leading to the loss of synchrony and to the emergence of chaos
V. N. Belykh
;
M. I. Bolotov
;
G. V. Osipov
p. 595-608
Dynamical properties of the Fisher--Kolmogorov--Petrovskii--Piscounov equation with deviation of the spatial variable
S. V. Aleshin
;
S. D. Glyzin
;
S. A. Kaschenko
p. 609-628
Isomorphism of compactifications of vector bundles moduli: nonreduced moduli
N. V. Timofeeva
p. 629-647
Numerical solution of the Poisson equation in polar coordinates by the method of collocations and least residuals
E. V. Vorozhtsov
;
V. P. Shapeev
p. 648-664
Single-mode and dual-mode nongomogeneous dissipative structures in the nonlocal model of erosion
A. M. Kovaleva
;
D. A. Kulikov
p. 665-681
Asymptotics of eigenvalues of first boundary value problem for singularly pertubed second-order differential equation with turning points
S. A. Kaschenko
p. 682-710
Local bifurcations analysis of a state-dependent delay differential equation
V. O. Golubenets
p. 711-722
Asymptotic formula for the moments of Lebesgue’s singular function
E. A. Timofeev
p. 723-730
Sommaire du
Fascicule no. 6
End-to-end information flow security model for~software-defined networks
D. Ju. Chaly
;
E. S. Nikitin
;
E. Ju. Antoshina
;
V. A. Sokolov
p. 735-749
Model oriented approach for industrial software development
P. D. Drobintsev
;
V. P. Kotlyarov
;
N. V. Voinov
;
I. V. Nikiforov
p. 750-762
Fast and safe concrete code execution for~reinforcing static analysis and verification
M. Belyaev
;
V. Itsykson
p. 763-772
Loop invariants elimination for definite iterations over unchangeable data structures in C programs
I. V. Maryasov
;
V. A. Nepomniaschy
p. 773-782
Teaching formal models of concurrency specification and analysis
N. V. Shilov
p. 783-794
Formal diagonalisation of Lax--Darboux schemes
A. V. Mikhailov
p. 795-817
System runs analysis with process mining
S. A. Shershakov
;
V. A. Rubin
p. 818-833
Linguistic and statistical analysis of the terminology for~constructing the thesaurus of a specified field
M. S. Karyaeva
p. 834-851
Development of active external network topology module for~floodlight SDN controller
A. A. Noskov
;
M. A. Nikitinskiy
;
I. V. Alekseev
p. 852-861