ISSN 1818-1015
Министерство образования и науки Российской Федерации
Ярославский государственный университет им. П.Г. Демидова
МОДЕЛИРОВАНИЕ И АНАЛИЗ
ИНФОРМАЦИОННЫХ СИСТЕМ
Том 19 № 2 2012
Основан в 1999 г.
Выходит 6 раз в год
Свидетельство о регистрации №019209 от 16.08.99
Государственного Комитета Российской Федерации по печати
Главный редактор
В.А. Соколов
Редакционная коллегия
С.М. Абрамов, О. Л. Бандман, В. А. Бондаренко,
С. Д. Глызин (зам. гл. ред.), М.Г. Дмитриев, В. Л. Дольников,
В.Г. Дурнев, Л. С. Казарин, Ю.Г. Карпов, С. А. Кащенко, А.Ю. Колесов,
И. А. Ломазова, Г.Г. Малинецкий, В. Э. Малышкин, В. А. Непомнящий,
П.Г. Парфенов, Н. Х. Розов, Р. Л. Смелянский, Е. А. Тимофеев (зам. гл. ред.)
Ответственный секретарь Е. В. Кузьмин
Адрес редакции: 150000, Ярославль, ул. Советская, 14
E-mail: mais@uniyar.ac.ru
Website: mais.uniyar.ac.ru
Научные статьи в журнал принимаются по электронной почте и на кафедре
теоретической информатики Ярославского государственного университета. Статьи
должны содержать УДК, аннотации на русском и английском языках и сопровождаться
набором текста в редакторе LaTEX. Плата с аспирантов за публикацию
рукописей не взимается.
-Ярославский государственный
университет им. П.Г. Демидова, 2012
c
Стр.1
СОДЕРЖАНИЕ
Моделирование и анализ информационных систем. Т. 19, №2. 2012
ранга 2 без кручения на трехмерном проективном пространстве P3
Заводчиков М.А.
Новые компоненты схемы модулей MP3
(2;−1, 2, 0) стабильных когерентных пучков
5
Mодули стабильных пучков ранга 2 с классами Черна c1 = −1, c2 = 2, c3 = 0
на трехмерной квадрике
Уваров А. Д.
Потоки в обобщенных сетях со связанными дугами
Скороходов В. А.
Уравнение кинетики измельчения с произвольным законом распределения
времени ожидания
Королев Л. В., Бытев Д. О.
Двойственность Гейла и смежностность случайных многогранников. I
Бродский А.Г.
Предельная степень апериодической устойчивости линейных систем и выбор
параметров промышленных регуляторов
Татаринов А. В., Цирлин А.М.
Отношение истории и динамика схем баз данных СУБД DIM
Рублев В. С.
Шары в пространствах последовательностей
Tимофеев Е. А.
Полиномиальный алгоритм верификации цепей Маркова для подмножества
логики PLTL
Лебедев П. В.
О верификации LD-программ логических контроллеров
Кузьмин Е. В., Соколов В. А.
Генерация случайных чисел и параллельных потоков случайных чисел
для расчетов Монте-Карло
Бараш Л. Ю., Щур Л.Н.
19
41
53
62
87
97
109
115
138
145
Редактор, корректор А. А. Аладьева. Редактор перевода Э. И. Соколова. Подписано в печать
29.02.2012. Формат 60х841/8. Усл. печ. л. 19,06. Уч.-изд. л. 17,5. Тираж 500 экз. Заказ 041/012
Отпечатано на ризографе. Ярославский государственный университет им. П. Г. Демидова,
150 000, Ярославль, ул. Советская, 14. Телефон редакции (4852) 79-77-72.
Стр.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 2 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 2. 2012
Some New Components of the Moduli Scheme MP3
Free Sheaves of Rank 2 on P3
Zavodchikov M.A.
(2;−1, 2, 0) of Stable Coherent Torsion
5
Stable Sheave Moduli of Rank 2 with Chern Classes c1 = −1, c2 = 2, c3 = 0 on Q3
Uvarov A. D.
Flows in Generalized Nets with Related Arcs
Skorokhodov V. A.
Grinding Kinetic Equation with an Arbitrary Law of Waiting Time Distribution
Korolev L. V., Bytev D. O.
Gale Duality and the Neighborliness of Random Polytopes. I
Brodskiy A. G.
The Limiting Degree of Linear System Aperiodic Stability and the Choice
of Industrial Regulator Parameters
Tatarinov A. V., Tsirlin A.M.
Evolution of DBMS DIM Database Schemes
Roublev V. S.
Balls in Sequence Spaces
Timofeev E. A.
Polynomial Algorithm of Verification for Subset of PLTL Logic
Lebedev P. V.
On Verification of PLC-Programs Written in the LD-Language
Kuzmin E. V., Sokolov V. A.
Generation of Random Numbers and Parallel Random Number Streams
for Monte Carlo Simulations
Barash L.Yu., Shchur L. N.
19
41
53
62
87
97
109
115
138
145
Стр.4
Модел. и анализ информ. систем. Т.19, №2 (2012) 5–18
УДК 512.723
Новые компоненты схемы модулей MP3
пространстве P3
Заводчиков М.А.
стабильных когерентных пучков ранга 2
без кручения на трехмерном проективном
(2;−1, 2, 0)
Ярославский государственный педагогический университет им. К.Д. Ушинского
e-mail: zav-mikhail@yandex.ru
получена 21 июня 2011 года
Ключевые слова: компактификация, схема модулей, когерентный пучок ранга
2 без кручения, трехмерное проективное пространство
Рассматривается схема модулей Гизекера–Маруямы M := MP3
стабильных когерентных пучков без кручения ранга 2 с классами Черна
(2;−1, 2, 0)
c1 = −1, c2 = 2, c3 = 0 на трехмерном проективном пространстве P3. Мы
определяем два множества пучков M1 и M2 в M и доказываем, что их замыкания
M1 и M2 – неприводимые компоненты в M размерностей 15 и 19
соответственно.
1. Введение
Черна c1 = −1, c2 = 2, c3 = 0 на трехмерном проективном пространстве P3. В статье
[1] было показано, что пространство модулей MP3
В настоящей статье рассматривается схема модулей Гизекера–Маруямы M :=
MP3
ранга 2 с классами Черна c1 = −1, c2 = 2 на P3 является неприводимым неособым
рациональным многообразием размерности 11. В статье [2] описано замыкание
примеры семейств не локально свободных стабильных пучков без кручения ранга 2
MP3(−1, 2) схемы MP3
(−1, 2) в схеме модулей M. Кроме того, в [2] были приведены
с классами Черна c1 = −1, c2 = 2, c3 = 0. До настоящего времени описание всех
неприводимых компонент схемы M получено не было.
Мы рассмотрим два множества пучков
M1 := {E ∈ M | E∨∨/E kx, где x−некоторая точка в P3}
и
M2 := {E ∈ M | E∨∨/E kx ⊕ky, где x и y − различные точки в P3}
(2)
в M. Докажем, что их замыкания M1 := M1 и M2 := M2 – неприводимые компоненты
в схеме M, отличные от MP3
статьи является следующая теорема.
(−1, 2). Другими словами, основным результатом
5
(1)
(2;−1, 2, 0) стабильных когерентных пучков без кручения ранга 2 с классами
(−1, 2) стабильных расслоений
Стр.5