ISSN 1818-1015
Министерство образования и науки Российской Федерации
Ярославский государственный университет им. П.Г. Демидова
МОДЕЛИРОВАНИЕ И АНАЛИЗ
ИНФОРМАЦИОННЫХ СИСТЕМ
Том 19 № 5 2012
Основан в 1999 г.
Выходит 6 раз в год
Свидетельство о регистрации ПИ №ФС77-49724 от 11.05.12
выдано Федеральной службой по надзору в сфере связи,
информационных технологий и массовых коммуникаций
Главный редактор
В.А. Соколов
Редакционная коллегия
С.М. Абрамов, О.Л. Бандман, В.А. Бондаренко,
С.Д. Глызин (зам. гл. ред.), М.Г. Дмитриев, В.Л. Дольников,
В.Г. Дурнев, Л.С. Казарин, Ю.Г. Карпов, С.А. Кащенко, А.Ю. Колесов,
И.А. Ломазова, Г.Г. Малинецкий В.Э. Малышкин, В.А. Непомнящий,
П.Г. Парфенов, Н.Х. Розов, Р.Л. Смелянский, Е.А. Тимофеев (зам. гл. ред.)
Ответственный секретарь Е. В. Кузьмин
Адрес редакции: 150000, Ярославль, ул. Советская, 14
E-mail: mais@uniyar.ac.ru
Website: mais.uniyar.ac.ru
Научные статьи в журнал принимаются по электронной почте и на кафедре
теоретической информатики Ярославского государственного университета. Статьи
должны содержать УДК, аннотации на русском и английском языках и сопровождаться
набором текста в редакторе LaTEX. Плата с аспирантов за публикацию
рукописей не взимается.
-Ярославский государственный
университет им. П.Г. Демидова, 2012
c
Стр.1
СОДЕРЖАНИЕ
Моделирование и анализ информационных систем. Т. 19, №5. 2012
Current Open Problems in Discrete and Computational Geometry
Edelsbrunner H., Ivanov A., Karasev R.
Исследование стационарных режимов дифференциально-разностного уравнения
динамики популяции насекомых
Кащенко С. А.
Динамика комплексного пространственно-распределенного уравнения Хатчинсона
Глызин Д. С., Кащенко С. А.
Формирование волнового нанорельефа при распылении поверхности
ионной бомбардировкой. Нелокальная модель эрозии
Куликов Д. А., Рудый А. С.
Полиномиальный метод построения равновесных конфигураций
точечных вихрей на плоскости
Демина М.В., Кудряшов Н. А.
Автоколебания решеток нелинейных элементов в опыте Скотта
Бобок А. С., Глызин С. Д.
Моделирование счетчиковых машин двухголовочными автоматами
Кузьмин Е. В., Соколов В. А.
О неглавных идеалах в полурешетке степеней перечислимости
Солон Б. Я., Тихов В. В.
Формальная верификация программ, написанных на функционально-потоковом
языке параллельного программирования
Кропачева М.С., Легалов А. И.
О теории алгебраических моделей программ с процедурами
Подловченко Р. И., Молчанов А. Э.
Имитационное моделирование и верификация вложенных сетей Петри
с использованием CPNTools
Дворянский Л. В., Ломазова И. А.
5
18
35
40
50
56
69
74
81
100
115
Управление параллелизмом в задаче автоматической замены агента dataflow-сети
на платформе Smart-M3 и в интернете вещей
Баландин С. И., Васильев А. М., Кожемякин Н. И., Лаурэ Д. А., Парамонов И. В. 131
TCP TIPS: транспортный протокол для ненадежных сетей, передающих
чувствительные к задержкам данные
Сивов А.А.
О работе семинара «Нелинейная динамика и вычислительная геометрия»
Редактор, корректор А.А. Аладьева. Редактор перевода Э.И. Соколова. Подписано в печать
20.12.2012. Формат 60х841/8. Усл. печ. л. 19,53. Уч.-изд. л. 14,0. Тираж 500 экз. Заказ 006/13
Отпечатано на ризографе. Ярославский государственный университет им. П. Г. Демидова,
150 000, Ярославль, ул. Советская, 14. Телефон редакции (4852) 79-77-72.
142
152
Стр.2
ISSN 1818-1015
Ministry of Education and Science of the Russian Federation
P.G. Demidov Yaroslavl State University
MODELING AND ANALYSIS
OF INFORMATION SYSTEMS
Volume 19 No 5 2012
Founded in 1999
6 issues per year
State Registration License No 019209 of 16.08.1999
Editor-in-Chief
V. A. Sokolov
Editorial Board
S.M. Abramov, O.L. Bandman, V.A. Bondarenko,
S.D. Glyzin (Deputy Editor-in-Chief ), M.G. Dmitriev, V.L. Dol’nikov,
V.G. Durnev, L.S. Kazarin, Yu.G. Karpov, S.A. Kashchenko, A.Yu. Kolesov,
I.A. Lomazova, V.E. Malyshkin, G.G. Malinetsky, V.A. Nepomniaschy,
P.G. Parfionov, N.H. Rozov, R.L. Smeliansky, E. A. Timofeev (Deputy Editor-in-Chief )
Responsible Secretary E. V. Kuzmin
Editorial Office Address: Sovetskaya str., 14, Yaroslavl, 150000, Russia
E-mail: mais@uniyar.ac.ru
Website: mais.uniyar.ac.ru
- P.G. Demidov Yaroslavl State University, 2012
c
Стр.3
Contents
Modeling and Analysis of Information Systems. Vol. 19, No 5. 2012
Current Open Problems in Discrete and Computational Geometry
Edelsbrunner H., Ivanov A., Karasev R.
Stationary States of Delay Differentional Equation of Insect Population’s Dynamics
Kashchenko S. A.
Dynamics of a Complex Spatially Distributed Hutchinson Equation
Glyzin D. S., Kaschenko S. A.
Formation Warped Nanomodular Surface under Ion Bomardement.
Nanoscale Model of Surface Erosion
Kulikov D.A., Rudy A.S.
Polynomial Method for Constructing Equilibrium Configurations
of Point Vortices in the Plane
Demina M.V., Kudryashov N. A.
Oscillations in Arrays of Nonlinear Elements in the Scott Experiment
Bobok A. S., Glyzin S. D.
The Modeling of Counter Machines by Two-Head Finite Automata
Kuzmin E. V., Sokolov V. A.
About the Not Countable Ideals in Semi-Lattice of the Enumeration Degrees
Solon B. I., Tikhov V. V.
Formal Verification of Programs in Functional Dataflow Parallel Language
Kropacheva M.S., Legalov A.I.
About Algebraic Program Models with Procedures
Podlovchenko R. I., Molchanov A. E.
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
Dworza´
nski L. W., Lomazova I. A.
Concurrency Control in the Problem of Automatic Substitution of the Dataflow
Network Agent on Smart-M3 Platform and in the Internet of Things
Balandin S.I., Vasilev A.M., Kozhemyakin N.I., Laure D.A., Paramonov I.V.
TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data
Sivov A.A.
Workshop “Nonlinear Dynamics and Computational Geometry”
5
18
35
40
50
56
69
74
81
100
115
131
142
152
Стр.4
Модел. и анализ информ. систем. Т.19, №5 (2012) 5–17
c
-Edelsbrunner H., Ivanov A., Karasev R., 2012
УДК 514.17+515.16+519.1
Current Open Problems in Discrete
and Computational Geometry
Edelsbrunner H.1, Ivanov A.2, Karasev R.3
Institute of Science and Technology Austria, P.G. Demidov Yaroslavl State University
Moscow State University, P.G. Demidov Yaroslavl State University
Moscow Institute of Physics and Technology, P.G. Demidov Yaroslavl State University
e-mail: edels@ist.ac.at, aoiva@mech.math.msu.su, r_n_karasev@mail.ru
received October 22, 2012
Keywords: discrete and computational geometry, computational topology,
open problems
We have selected problems that may not yet be well known, but have the
potential to push the research in interesting directions. In particular, we state
problems that do not require specific knowledge outside the standard circle of ideas
in discrete geometry. Despite the relatively simple statements, these problems are
related to current research and their solutions are likely to require new ideas and
approaches. We have chosen problems from different fields to make this short
paper attractive to a wide range of specialists.
The article is published in the author’s wording.
Contents
1. Random Persistence Diagrams
2. Which Convex Bodies are Most Chiral?
3. Random Triangles in the Plane
4. Cutting a Convex Figure Into Six Pieces
5. Connected Algebraic Sets in the Plane
6. Minimizing the Sum of Squares
government project 11.G34.31.0053.
3Supported by the Russian government project 11.G34.31.0053.
5
6
7
9
9
9
10
1Supported by the Russian government project 11.G34.31.0053.
2Supported by the President’s of Russian Federation grant NSh-1410.2012.1, and the Russian
Стр.5