Geodesic

Sommaire du Fascicule no. 1

Thesaurus as a poetological tool
p. 5-23
A mathematical model of an order management automated system within the process of production technological preparation in~aviation~enterprisers
p. 25-42
Properties of weak pm-reducibility of sets
p. 44-51
On a reachability set of automaton counter machines
p. 52-64
A doublestep extragradient method for solving a resource management problem
p. 65-75
On the number of facets of a 2-neighborly polytope
p. 76-82
The buffer phenomenon in the generalization of the Swift--Hohenberg equation
p. 83-93
On a zero order approximation of an asymptotic solution for a singularly perturbed linear-quadratic control problem with discontinuous coefficients
p. 93-116
The analysis of complex networks with dynamic graph visualization
p. 117-135

Sommaire du Fascicule no. 2

An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas
p. 5-16
Multistability in a laser model with large delay
p. 17-27
Relaxation oscillations of electrically coupled neuron-like systems with delay
p. 28-47
On languages of automaton counter machines
p. 48-71
The problem of integer-valued balancing of a three-dimensional matrix and algorithms of its solution
p. 72-98
On nonintegral vertices of 3-SAT problem relaxation polytope
p. 99-111
Cloud computing in Internet: a brief excursus into the Computer Simulation Center
p. 112-121
A method of determining the execution frequency of program basic blocks
p. 122-132
The account of delay in a connecting element between~two~oscillators
p. 133-143
Aspects of the ARTCP implementation for the Linux kernel~2.6
p. 144-149

Sommaire du Fascicule no. 3

C-programs verification on basis of mixed axiomatic semantics
p. 5-28
Composite reductions for Kripke models
p. 29-37
Local dynamics of DDE with large delay in the vicinity of the self-similar cycle
p. 38-47
Variational inequalities and the principle of virtual displacements
p. 48-57
Recurrence sequences over near-rings
p. 58-71
On decidability of the theory $\mathrm{Th}(\omega,0,1,,+,f_0,\dots,f_n)$
p. 72-90
Universal extremum of hyperplanes in some optimization problems
p. 91-106
Mathematical models of economic systems with account of the irreversibility of processes proceeding in them
p. 107-132
The factor of delay in a system of coupled oscillators FitzHugh--Nagumo
p. 134-143
The object query language of the dynamic information model DIM
p. 144-161

Sommaire du Fascicule no. 4

From the editors of the special issue
p. 1-2
Automated correctness proof of algorithm variants in elliptic curve cryptography
p. 7-16
Test data generation based on a formal analysis of the project configuration
p. 17-26
Safe simulation testing of systems with refusals and destructions
p. 27-40
On complexity of verification of nondeterministic probabilistic multiagent systems
p. 41-50
Model checking of distributed systems with affine data structures
p. 52-59
On the calculus of positively constructed formulas for authomated theorem proving
p. 60-70
Integration of semantic verification into Java compilers
p. 70-77
The application of adaptive symmetry reduction for LTL model checking
p. 78-87
C program verification in the multilanguage system spectrum
p. 88-100
Verification and synthesis of addition programs under the rules of statement correctness
p. 101-110
F@BOOL@: experiment with a simple verifying compiler based on SAT-solvers
p. 111-124
Distributed embedded control systems design with verification support
p. 125-136