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 19 (2012)
Précédent
Suivant
Sommaire du
Fascicule no. 1
The asymptotic of periodic solutions of autonomous parabolic equations with rapidly oscillating coefficients and equations with large diffusion coefficients
S. A. Kashchenko
;
A. S. Polstyanov
p. 7-23
The dynamics of Kuramoto equation with spatially-distributed control
I. S. Kashchenko
;
S. A. Kashchenko
p. 24-35
On an isomorphism of compactifications of moduli scheme of vector bundles
N. V. Timofeeva
p. 37-50
Bias of the entropy estimator for symmetric Bernoulli measures and the weak metric
N. E. Timofeeva
p. 52-59
Automatic control systems modeling by Volterra polynomials
S. V. Solodusha
p. 60-68
The problem of adaptation of the generalized neural element
E. V. Konovalov
p. 69-83
A generalized solution of an initial boundary value problem arising in the mechanics of discrete-continuous systems
E. P. Kubishkin
;
O. A. Khrebtyugova
p. 84-96
Sommaire du
Fascicule no. 2
Some new components of the moduli scheme
$\mathrm M_{\mathbb P^3}(2;-1,2,0)$
of stable coherent torsion free sheaves of rank~2 on
$\mathbb P^3$
M. A. Zavodсhikov
p. 5-18
Stable sheave moduli of rank~
$2$
with Chern classes
$c_1=-1$
,
$c_2=2$
,
$c_3=0$
on
$Q_3$
A. D. Uvarov
p. 19-39
Flows in generalized nets with related arcs
V. A. Skorokhodov
p. 41-52
Grinding kinetic equation with an arbitrary law of waiting time distribution
L. V. Korolev
;
D. O. Bytev
p. 53-61
Gale duality and the neighborliness of random polytopes.~I
A. G. Brodskiy
p. 62-86
The limiting degree of linear system aperiodic stability and the choice of industrial regulator parameters
A. V. Tatarinov
;
A. M. Tsirlin
p. 87-96
Evolution of DBMS DIM database schemes
V. S. Rublev
p. 97-108
Balls in sequence spaces
E. A. Timofeev
p. 109-114
Polynomial algorithm of verification for subset of PLTL logic
P. V. Lebedev
p. 115-137
On verification of PLC-programs written in the LD-language
E. V. Kuz'min
;
V. A. Sokolov
p. 138-144
Generation of random numbers and parallel random number streams for Monte Carlo simulations
L. Yu. Barash
;
L. N. Shchur
p. 145-161
Sommaire du
Fascicule no. 3
Synergetics -- From Past to Future
G. G. Malinetsky
p. 5-31
Asymptotics of Solutions of the Generalized Hutchinson's Equation
S. A. Kaschenko
p. 32-61
About One Class of Operators Inclusions
N. A. Demyankov
;
V. S. Klimov
p. 63-72
Dynamics of the Simplest Piecewise Linear Discontinuous Mappings
D. S. Kaschenko
p. 73-81
Bursting Behavior in the System of Coupled Oscillators with Delay and its Statistical Analysis
S. D. Glyzin
;
E. A. Marushkina
p. 82-96
On Smoothness in
$L_p$
,
$0 p 1$
A. N. Morozov
p. 97-104
Local Dynamics of Three Coupled Oscillators with a Feedback Loop
A. O. Tolbey
p. 105-112
On Some Results in the Geometry of Convex Bodies and their Applications
M. V. Nevskii
p. 113-123
The Order in the Growth of the Injective and Super-Increasing Vectors Knapsacks Quantity
D. M. Murin
p. 124-135
Stability of the Simplest Periodic Solutions in the Stuart--Landau Equation with Large Delay
A. A. Kashchenko
p. 136-141
On the Seminar ``Nonlinear Dynamics''
p. 142-150
Sommaire du
Fascicule no. 4
On a Nonstationary Route Problem with Constraints
A. G. Chentsov
;
P. A. Chentsov
p. 5-24
On Construction and Verification of PLC-Programs
E. V. Kuzmin
;
V. A. Sokolov
p. 25-36
Performance Analysis of the Transport Protocols Trickles and TCP under High-load Network Conditions
M. A. Nikitinskiy
;
D. Ju. Chalyy
p. 37-47
Tail Recursion Transformation in Functional Dataflow Parallel Programs
A. I. Legalov
;
O. V. Nepomnyaschy
;
I. V. Matkovsky
;
M. S. Kropacheva
p. 48-58
Countable Ideals in a Semi-Lattice of the
$\mathbf{D}_e$
Enumeration Degrees
V. V. Tikhov
p. 59-66
On one A.\,I.~Mal'cev's Question from the ``Kourovskaya Notebook''
V. G. Durnev
p. 67-71
Some Notes about Arrangements of Points on Quadrics
A. V. Seliverstov
p. 72-77
Generalized Asynchronous Systems
E. S. Kudryashova
;
A. A. Khusainov
p. 78-86
Gale Duality and the Neighborliness of Random Polytopes. II
A. G. Brodskiy
p. 87-109
On the Firmness Code Noising to the Statistical Analysis of the Observable Data of Repeated Repetition
V. M. Deundyak
;
J. V. Kosolapov
p. 110-127
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
M. G. Dorrer
;
V. V. Kurokhtin
p. 128-143
A Constructive Classification of Graphs
M. A. Iordanskii
p. 144-153
A Context-Free Grammar of One Rhythmic Model of Russian Verse
V. N. Boykov
p. 154-167
The First Yaroslavl Summer School on Discrete and Computational Geometry
N. Dolbilin
;
H. Edelsbrunner
;
A. Ivanov
;
O. Musin
p. 168-173
Sommaire du
Fascicule no. 5
Current Open Problems in Discrete and Computational Geometry
H. Edelsbrunner
;
A. Ivanov
;
R. Karasev
p. 5-17
Stationary States of a Delay Differentional Equation of Insect Population's Dynamics
S. A. Kaschenko
p. 18-34
Dynamics of a Complex Spatially Distributed Hutchinson Equation
D. S. Glyzin
;
S. A. Kaschenko
p. 35-39
Formation of a Warped Nanomodular Surface Under Ion Bombardment. A~Nanoscale Model of Surface Erosion
D. A. Kulikov
;
A. S. Rudy
p. 40-49
Polynomial Method for Constructing Equilibrium Configurations of Point Vortices in the Plane
M. V. Demina
;
N. A. Kudryashov
p. 50-55
Oscillations in Arrays of Nonlinear Elements in the Scott Experiment
A. S. Bobok
;
S. D. Glyzin
p. 56-68
The Modeling of Counter Machines by Two-Head Finite Automata
E. V. Kuzmin
;
V. A. Sokolov
p. 69-73
About Not Countable Ideals in a Semi-Lattice of~the~Enumeration Degrees
B. I. Solon
;
V. V. Tikhov
p. 74-80
Formal Verification of Programs in Functional Dataflow Parallel Language
M. S. Kropacheva
;
A. I. Legalov
p. 81-99
About Algebraic Program Models with Procedures
R. I. Podlovchenko
;
A. E. Molchanov
p. 100-114
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
L. W. Dworzánski
;
I. A. Lomazova
p. 115-130
Concurrency Control in the Problem of Automatic Substitution of the Dataflow Network Agent on Smart-M3 Platform and in the Internet of Things
S. I. Balandin
;
A. M. Vasilev
;
N. I. Kozhemyakin
;
D. A. Laure
;
I. V. Paramonov
p. 131-141
TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data
A. A. Sivov
p. 142-151
Workshop “Nonlinear Dynamics and Computational Geometry”
p. 152-167
Sommaire du
Fascicule no. 6
On the Hereditary Properties of Modular Nets
V. A. Bashkin
p. 9-20
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
D. A. Zaitsev
p. 21-33
Deductive Verification of Telecommunication Systems Written~in~C
I. S. Anureev
p. 34-44
On the Designing of Model Checkers for Real-Time Distributed Systems
D. Yu. Volkanov
;
V. A. Zakharov
;
D. A. Zorin
;
I. V. Konnov
;
V. V. Podymov
p. 45-56
Deductive Verification of the Sliding Window Protocol
D. A. Chkliaev
;
V. A. Nepomniaschy
p. 57-68
Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
Marat Akhin
;
Vladimir Itsykson
p. 69-78
An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
A. V. Kolchin
;
A. A. Letichevsky
;
V. S. Peschanenko
;
P. D. Drobintsev
;
V. P. Kotlyarov
p. 79-91
Yaroslavl International Conference on Discrete Geometry (dedicated to the centenary of A.\,D.~Alexandrov)
N. Dolbilin
;
H. Edelsbrunner
;
A. Ivanov
;
O. Musin
;
M. Nevskii
p. 92-100
Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE BIPARTITE SUBGRAPH Problems
A. I. Antonov
;
V. A. Bondarenko
p. 101-106
On Some Corollaries of a Transversal Theorem
V. L. Dolnikov
p. 107-111
About Some Localization Problems in Delaunay Triangulations
N. F. Dyshkant
p. 112-126
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Jin-ichi Itoh
;
Chie Nara
p. 127-136
Perfect Prismatoids and the Conjecture Concerning Face Numbers of Centrally Symmetric Polytopes
M. A. Kozachok
p. 137-147
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope in a Simple Polytope
A. Magazinov
p. 148-151
Fractal and Computational Geometry for Generalizing Cartographic Objects
O. R. Musin
;
A. U. Ukhalov
;
H. Edelsbrunner
;
O. P. Yakimova
p. 152-160
Volume Polynomials for Some Polyhedra in Spaces of Constant Curvature
D. I. Sabitov
;
I. Kh. Sabitov
p. 161-169
A New Proof of the Euler Formula
M. I. Shtogrin
p. 170-172