ISSN 1818-1015
Министерство образования и науки Российской Федерации
Ярославский государственный университет им. П.Г. Демидова
МОДЕЛИРОВАНИЕ И АНАЛИЗ
ИНФОРМАЦИОННЫХ СИСТЕМ
Том 18 № 2 2011
Основан в 1999 г.
Выходит 4 раза в год
Свидетельство о регистрации №019209 от 16.08.99
Государственного Комитета Российской Федерации по печати
Главный редактор
В.А. Соколов
Редакционная коллегия
С.М. Абрамов, О.Л. Бандман, В.А. Бондаренко, И.Б. Вирбицкайте,
С.Д. Глызин (зам. гл. ред.), М.Г. Дмитриев, В.Л. Дольников, В.Г. Дурнев,
А.В. Зафиевский, Л.С. Казарин, Ю.Г. Карпов, С.А. Кащенко, А.Ю. Колесов,
И.А. Ломазова, В.Э. Малышкин, В.А. Непомнящий,
П.Г. Парфенов, Р.Л. Смелянский
Ответственный секретарь Е.А. Тимофеев
Адрес редакции: 150000, Ярославль, ул. Советская, 14
E-mail: mais@uniyar.ac.ru
Website: mais.uniyar.ac.ru
Научные статьи в журнал принимаются по электронной почте и на кафедре
теоретической информатики Ярославского государственного университета. Статьи
должны содержать УДК, аннотации на русском и английском языках и сопровождаться
набором текста в редакторе LaTEX. Плата с аспирантов за публикацию
рукописей не взимается.
Ярославский государственный
университет им. П.Г. Демидова, 2011
c
Стр.1
СОДЕРЖАНИЕ
Моделирование и анализ информационных систем. Т. 18, №2. 2011
О тензорных квадратах неприводимых представлений
конечных почти простых групп. II.
Поляков С. В.
Об одном представлении функции в модели императивной программы,
заданной сетями Петри
Тарасов Г. В., Харитонов Д. И., Голенков Е. А.
Организация выполнения объектных запросов в динамической информационной
модели DIM
Рублев В. С.
О геометрических характеристиках n-мерного симплекса
Невский М.В.
Принципы построения слоистых нейронных сетей на основе импульсных нейронов
Дунаева О. А.
Разбиение железнодорожного состава на отдельные вагоны
Малков А. Н., Штерн Г. П., Михайлов И. А.
Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры)
Бодин Е. В., Гаранина Н. О., Шилов Н. В.
Формат пакета ARTCP. Особенности формирования и обработки
заголовков ARTCP в сетевой подсистеме ОС Linux 2.6.
Сивов А. А.
5
18
39
52
65
77
113
129
Редактор, корректор А.А. Аладьева. Редактор перевода Э.И. Соколова. Подписано в печать
30.06.2011. Формат 60х841/8. Усл. печ. л. 16,27. Уч.-изд. л. 13,2. Тираж 500 экз. Заказ 069/11
Отпечатано на ризографе. Ярославский государственный университет им. П. Г. Демидова,
150 000, Ярославль, ул. Советская, 14. Телефон редакции (4852) 79-77-51.
Стр.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 18 No 2 2011
Founded in 1999
4 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, I.B. Virbitskayte,
S.D. Glyzin (Deputy Editor-in-Chief ), M.G. Dmitriev, V.L. Dol’nikov,
V.G. Durnev, A.V. Zafievsky, L.S. Kazarin, Yu.G. Karpov,
S.A. Kashchenko, A.Yu. Kolesov, I.A. Lomazova,
V.E. Malyshkin, V.A. Nepomniaschy, P.G. Parfionov, R.L. Smeliansky
Responsible Secretary E. A. Timofeev
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, 2011
c
Стр.3
Contents
Modeling and Analysis of Information Systems. Vol. 18, No 2. 2011
On Tensor Squares of Reducible Representations of Almost Simple Groups. II
Polyakov S. V.
On a Function Representation in an Imperative Program Model Specified by Petri Nets
Tarasov G. V., Kharitonov D. I., Golenkov E. A.
Object Query Computing Optimization in the Dynamic Information Model DIM
Roublev V. S.
On Geometric Characteristics of an n-Dimensional Simplex
Nevskii M.V.
Principles of Constructing Layered Neural Networks Based on Pulse Neurons
Dunaeva O. A.
The Decomposition of a Train into its Cars
Malkov A. N., Shtern G. P., Mikhaylov I. A.
Mars Robot Puzzle (a Multiagent Approach to the Dijkstra Problem)
Bodin E. V., Garanina N. O., Shilov N. V.
ARTCP Packet Structure. Features of the Formation and Processing
of ARTCP Headers in Linux Network Subsystem
Sivov A. A.
5
18
39
52
65
77
113
129
Стр.4
Модел. и анализ информ. систем. Т.18, №2 (2011) 5–17
УДК 517.51+514.17
О тензорных квадратах неприводимых
представлений конечных почти простых групп. II
Поляков С.В.
Ярославский государственный университет им. П.Г. Демидова
e-mail: SVPUniyar@yandex.ru
получена 22 января 2010
Ключевые слова: SR-группы, SMm-группы, почти простые группы,
автоморфизмы простых групп, GAP
тьи: если G — конечная почти простая группа, принадлежащая классу SM2групп,
то G ∼
Изучаются конечные почти простые SMm-группы. Основной результат ста=
PGL2(q).
Введение
Цель данной работы — изучение конечных почти простых групп, у которых
каждое неприводимое представление разлагается в сумму неприводимых представлений
группы с небольшими кратностями. Напомним определение, данное в первой
части статьи.
Определение 1. Конечная группа G называется SMm-группой, если тензорный
квадрат любого неприводимого представления разлагается в сумму неприводимых
представлений группы G с кратностями, не превосходящими m.
В первой части работы [11] были рассмотрены конечные простые неабелевы группы.
Для каждой такой группы L были получены оценки числа r такого, что L —
не SMr-группа. Кроме того, с помощью ситемы компьютерной алгебры GAP были
получены результаты для некоторых простых групп лиева типа, знакопеременных
групп и всех спорадических групп с их группами автоморфизмов о том, к какому
SMm классу они принадлежат.
Также в первой части были получены неравенства, связывающие порядок SMmгруппы
G, ее классовое число k(G) и степень ее неприводимого характера χ:
если G — конечная SMm-группа, то:
1) χ(1) mk(G),
2) |G| m2k(G)3,
3) если G — неразрешимая группа, то χ(1) mk(G)−m.
Основное внимание было уделено конечным простым неабелевым SM2-группам.
Сформулируем полученные результаты в виде теоремы:
5
Стр.5