|
|
2012, том 19, номер 5
|
 |
|
 |
|
Current Open Problems in Discrete and Computational Geometry
H. Edelsbrunner, A. Ivanov, R. Karasev
|
5–17 |
|
|
Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых
С. А. Кащенко
|
18–34 |
|
|
Динамика комплексного пространственно-распределенного уравнения Хатчинсона
Д. С. Глызин, С. А. Кащенко
|
35–39 |
|
|
Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии
Д. А. Куликов, А. С. Рудый
|
40–49 |
|
|
Полиномиальный метод построения равновесных конфигураций точечных вихрей на плоскости
М. В. Демина, Н. А. Кудряшов
|
50–55 |
|
|
Автоколебания решеток нелинейных элементов в опыте Скотта
А. С. Бобок, С. Д. Глызин
|
56–68 |
|
|
Моделирование счетчиковых машин двухголовочными автоматами
Е. В. Кузьмин, В. А. Соколов
|
69–73 |
|
|
О неглавных идеалах в полурешетке степеней перечислимости
Б. Я. Солон, В. В. Тихов
|
74–80 |
|
|
Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
М. С. Кропачева, А. И. Легалов
|
81–99 |
|
|
О теории алгебраических моделей программ с процедурами
Р. И. Подловченко, А. Э. Молчанов
|
100–114 |
|
|
Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
Л. В. Дворянский, И. А. Ломазова
|
115–130 |
|
|
Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей
С. И. Баландин, А. М. Васильев, Н. И. Кожемякин, Д. А. Лаурэ, И. В. Парамонов
|
131–141 |
|
|
TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные
А. А. Сивов
|
142–151 |
|
|
О работе семинара «Нелинейная динамика и вычислительная геометрия»
|
152–167 |
|
|
Обратная связь: