ISSN 1818-1015
Министерство образования и науки Российской Федерации
Ярославский государственный университет им. П.Г. Демидова
МОДЕЛИРОВАНИЕ И АНАЛИЗ
ИНФОРМАЦИОННЫХ СИСТЕМ
Том 19 № 6 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, №6. 2012
От редакторов специального выпуска
Глызин С.Д., Непомнящий В.А., Соколов В.А.
Наследcтвенные свойства модульных сетей
Башкин В.А.
Верификация вычислительных решеток с особыми краевыми условиями
бесконечными сетями Петри
Зайцев Д.А.
Дедуктивная верификация телекоммуникационных систем,
представленных на языке Си
Ануреев И.С.
Как разработать простое средство верификации систем реального времени
Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
Дедуктивная верификация протокола скользящего окна
Шкляев Д.А., Непомнящий В.А.
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных
клонов в исходном коде программного обеспечения
Ахин М.Х., Ицыксон В.М.
Подход к конкретизации тестовых сценариев в рамках технологии
автоматизации тестирования промышленных программных проектов
КолчинА.В., Летичевский А.А., Песчаненко В.С.,
Дробинцев П.Д., КотляровВ.П.
Yaroslavl International Conference on Discrete Geometry
(dedicated to the centenary of A.D. Alexandrov)
Dolbilin N., Edelsbrunner H., Ivanov A., Musin O., Nevskii M.
Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ
и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ
Антонов А.И., Бондаренко В.А.
О некоторых следствиях теоремы о трансверсалях
Дольников В. Л.
7
9
21
34
45
57
69
79
92
101
107
Стр.2
О некоторых задачах локализации в триангуляциях Делоне
Дышкант Н.Ф.
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Jin-ichi Itoh, Chie Nara
Совершенные призмоиды и гипотеза о минимальном числе граней
центрально-симметричных многогранников
Козачок М.А.
A Uniform Asymptotical Upper Bound for the Variance of a Random Polytope
in a Simple Polytope
Magazinov A.
Применение методов фрактальной и вычислительной геометрии
для картографической генерализации линейных объектов
Мусин О.Р., Ухалов А.Ю., Эдельсбруннер Г., Якимова О.П.
Многочлены объема для некоторых многогранников
в пространствах постоянной кривизны
Сабитов Д.И., Сабитов И.Х.
Новое доказательство формулы Эйлера
Штогрин М.И.
112
127
137
148
152
161
170
Редактор, корректор А.А. Аладьева. Редактор перевода Э.И. Соколова. Подписано в печать
25.12.2012. Формат 60х841/8. Усл. печ. л. 20,0. Уч.-изд. л. 17,0. Тираж 500 экз. Заказ 009/013
Отпечатано на ризографе. Ярославский государственный университет им. П. Г. Демидова,
150 000, Ярославль, ул. Советская, 14. Телефон редакции (4852) 79-77-72.
Стр.3
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 6 2012
Founded in 1999
6 issues per year
State Registration License No ФС77-49724 of 11.05.12
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
Стр.4
Contents
Modeling and Analysis of Information Systems. Vol. 19, No 6. 2012
On the Hereditary Properties of Modular Nets
Bashkin V.A.
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
Zaitsev D.A.
Deductive Verification of Telecommunication Systems Written in C
Anureev I.S.
On the Designing of Model Checkers for Real-Time Distributed Systems
Volkanov D.Yu., Zakharov V.A., Zorin D.A., Konnov I.V., Podymov V.V.
Deductive Verification of the Sliding Window Protocol
Chkliaev D.A., Nepomniaschy V.A.
Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
Akhin M., Itsykson V.
An Approach to Concretization of Test Scenarios in Industrial Automation
Testing of Software Projects
Kolchin A.V., Letichevsky A.A., Peschanenko V.S.,
Drobintsev P.D., Kotlyarov V.P.
Yaroslavl International Conference on Discrete Geometry
(dedicated to the centenary of A.D. Alexandrov)
Dolbilin N., Edelsbrunner H., Ivanov A., Musin O., Nevskii M.
Polyhedral Graphs of GRAPH PARTITIONING and COMPLETE
BIPARTITE SUBGRAPH Problems
Antonov A.I., Bondarenko V.A.
On Some Corollaries of a Transversal Theorem
Dolnikov V. L.
About Some Localization Problems in Delaunay Triangulations
Dyshkant N.F.
Continuous Flattening of a Regular Tetrahedron with Explicit Mappings
Jin-ichi Itoh, Chie Nara
9
21
34
45
57
69
79
92
101
107
112
127
Стр.5