Материалы XIII Международной конференции "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ". Часть I,II - М.: Изд-во центра прикладных исследований при механико-математическом факультете МГУ, 2002.

С О Д Е Р Ж А Н И Е

ЧАСТЬ I

А. Ш. Абакаров, Ю. А. Сушков	О синтезе структурно управляемых систем	3
М. Аблаев, Н. З. Габбасов, А. Ф. Гайнутдинова	Уточнение оценки сложности представления языков в квантовых автоматах	4
Ф. М. Аблаев, К. Мур, К. Поллетт	Сложность квантовых и вероятностных бинарных программ константной ширины	5
В. Б. Алексеев	О распознавании принадлежности функций S-замкнутым классам 3-значной логики	6
Д. В. Алексеев, М. В. Носов	Мощность множества полиномиально задаваемых булевых функций при малых n	7
М. А. Алехина	О сложности надежных схем из ненадежных элементов	8
П. А. Алисейчик	Автоматная модель компьютерной обучающей системы	9
Ш. Д. Амирханов	Условия выполнимости набора требований в общем случае	10
Т. В. Амочкина	Об одном способе оценки полной оптической толщины в задаче синтеза многослойных оптических покрытий	11
Т. В. Андреева	Асимптотика сумм значений граничных функционалов в регулярном случае	12
А. А. Андрианова, Я. И. Заботин	Метод центров с аппроксимацией допустимого множества	13
Ю. Н. Афанасьев, С. Г. Шеховцев	Гуманитарный аспект кибернетики и задачи образования	14
Д. Н. Бабин	Об эффективной проверяемости полноты систем автоматных функций с полной булевой частью	15
В. В. Балащенко, Н. Я. Радыно	Задача индентификации пользователя компьютера по набору фиксированной фразы на клавиатуре	16
А. С. Балюк, С. Ф. Винокуров	О сложности класса псевдокронекеровых форм	17
Г. А. Банару, М. Б. Банару	Об устойчивости структуры на уплощающихся 6-мерных эрмитовых подмногообразиях алгебры октав	18
М. Б. Банару	О типовом числе уплощающихся 6-мерных эрмитовых подмногообразий алгебры Кэли	19
Е. Г. Белоусов	Об областях устойчивости локальной константы Хоффмана	20
В. С. Бельский	Обобщение приведенных многочленов	21
Т. Д. Блайвас	Решение задачи интервального поиска на булевом кубе	22
И. В. Бойков	О сложности восстановления функций из классов Qr,g(W,M) и Br,g(W) на дискретных автоматах	23
Л. Н. Бондаренко	О представлении многочленов композиций	24
Л. В. Борисович, В. Н. Устюгова	Особенности разработки и выполнения сложных распределенных приложений в гетерогенных информационно-вычислительных средах	25
А. Г. Бросалина	Последовательностные языки как грамматические конструкции в реальных языках программирования	26
С. А. Бурылин, В. Б. Фофанов	Сегментация изображений как задача распознавания образов	27
С. А. Буфалов, Н. В. Евтушенко	Живые решения автоматных уравнений	28
Н. Р. Бухараев	К редуктивной семантике алгоритмов	29
Е. С. Быченкова	Оптимальный по порядку метод синтеза оператора метрической близости в классе интегральных схем	30
Е. В. Валентинов	О сложности реализации линейной функции контактными схемами, корректирующими замыкания	31
В. Л. Васильев, В. М. Кузнецов, В. А. Песошин	Оценка нестационарности цифрового генератора хаоса	32
А. Н. Велигура	Критерий целочисленности пересечения призм в единичном кубе	33
А. Б. Веревкин	Фрагмент инвариантной комбинаторики	34
А. А. Викентьев, Л. Н. Коренева	О мерах близости и опровержимости знаний	35
Т. К. Виноградова	О негладких задачах и их приложениях	36
С. Ф. Винокуров	Специальная операторная форма булевых функций	37
С. А. Волчков	Алгоритмы преобразования семантических K-представлений запросов в выражения языка SQL	38
А. А. Вороненко	Абсолютно неустойчивые схемы	39
М. Н. Вялый, С. П. Тарасов	О числе решений уравнений в словах	40
Н. З. Габбасов	Использование автоматной методологии в алгебре	41
А. Ф. Гайнутдинова	Сложность распознавания функции MODp в квантовых и классических бинарных программах	42
А. В. Галатенко	Об автоматной модели защищенных компьютерных систем	43
Э. Э. Гасанов	О линейном по памяти непереборном алгоритме двумерного	44
С. Б. Гашков	Cложность вычисления дифференциалов и якобианов	45
О. Ю. Горохов	Метод вспомогательного функционала для определения нарушений в динамических системах	46
С. В. Грибок	Оценка высокой степени точности для сложности обобщенных бинарных программ	47
Е. Е. Гришина	Разработка пространственно-временной логики на основе теории ограниченных К-исчислений	48
А. А. Гришкевич	Дважды брауэрова алгебра разрезов графа	49
Д. В. Груздев	Об одном структурном свойстве класса d-мерных симплексов с отсеченными вершинами	50
В. И. Грунская	О реализуемости протоколов в плоских шахматных лабиринтах	51
И. С. Грунский, С. В. Сапунов	О контроле графов с отмеченными вершинами	52
А. В. Демьянов	О задаче минимизации суммы минимумов	53
В. О. Дерябин	Проблемы динамики объектов в информационной модели	54
В. О. Дерябин, Д. И. Лобачев, В. С. Рублев, А. Р. Юсупов	Базовые отношения объектов динамической информационной модели и гибкие таблицы данных	55
C. А. Дичковская, М. К. Кравцов	Решение многокритериальной трехиндексной планарной проблемы выбора	56
А. В. Долгополова	Проблема полноты для одного класса схем из функциональных элементов, связанных с электронными схемами	57
В. Н. Дудоров	Анализ, обнаружение и восстановление временных искажений сложных гармонических сигналов	58
А. А. Евдокимов, А. А. Левин	Комбинаторные свойства и визуализация символьных последовательностей	59
В. А. Емеличев, В. Н. Кричко, Д. П. Подкопаев	Критерий устойчивости векторной комбинаторной задачи "на узкие места"	60
А. И. Еникеев, А. О. Баязитова, М. А. Симонов	Проблемы создания современных объектно-ориентированных систем управления базами данных	61
Д. В. Ефремов	О некоторых свойствах частично упорядоченных множеств, задаваемых перестановками	62
Л. П. Жильцова	О закономерностях в деревьях вывода слов КC-языка в критическом случае	63
Д. А. Жуков	Клеточные схемы для умножения	64
И. Я. Заботин	О сходимости алгоритмов безусловной минимизации псевдовыпуклых функций при наличии помех	65
Я. И. Заботин, И. А. Фукин	Алгоритм с погружением в допустимое множество	66
В. В. Занин	Пучки операторов в булевых функциях	67
В. А. Захаров	Вычисление инвариантов последовательных программ	68
В. М. Захаров, Н. Н. Нурмеев, Ф. И. Салимов, С. Ю. Соколов, С. В. Шалагин	Многомерный статистический анализ автоматных моделей марковского типа	69
В. М. Захаров, Ш. Р. Нурутдинов, С. В. Шалагин	Модели цепей Маркова над полем Галуа	70
В. М. Захаров, Ш. Р. Нурутдинов, С. В. Шалагин, С. Ю. Соколов	Представление марковских функций над полем Галуа	71
И. И. Захарчук	О сложности универсальных клеточных автоматов	72
П. А. Зиновьев	Системогенетика корпоративных сред	73
О. В. Зубков	Формулы для нахождения числа бесповторных булевых функций в предэлементарных базисах	74
С. Н. Ильин	О неопределенности степеней знаковых портретов вещественных матриц	75
М. А. Иорданский	Поиск в глубину и одностраничные укладки графов	76
А. А. Ирматов, В. В. Псиола, А. С. Строгалов	Об одном эвристическом алгоритме решения задачи о рюкзаке в 3-х мерном случае	77
А. З. Ишмухаметов	Двойственный метод в задачах оптимального управления системами с распределенными параметрами	78
Ш. Т. Ишмухаметов, М. А. Мухин	О распределении ассоциативных степеней разностей рекурсивно-перечислимых множеств	79
Г. И. Калмыков	Каркасная классификация редуцированных помеченных блоков	80
В. В. Карелин	Точные штрафные функции в задаче управления в условиях неопределенности	81
Н. А. Карпова	О сложности реализации (m,m)-функций в базисах с ограниченными информационными возможностями	82
О. М. Касим-Заде	Об эквивалентности двух видов параметрической полноты в k-значных логиках	83
К. Д. Кириченко	Последовательности слабоповторных булевых функций счетной мощности	84
Л. М. Коганов	Число циклически несократимых слов в алфавите свободной группы	85
В. Н. Козлов	Сравнение формы фигур и геометрические преобразования изображений	86
Н. Н. Козлов	Математический анализ перекрывающихся генов и генетический код	87
В. А. Козловский	Об эквивалентности характеризаций представлений автоматов	88
В. П. Козырев	Составление многопроцессорных расписаний для 2-совместимых и 2-несовместимых работ	89
А. В. Кокоpина	Об одной задаче математической диагностики	90
А. В. Колпаков, Р. Х. Латыпов	Бинарные диаграммы и линейные преобразования переменных	91
Р. М. Колпаков	О дискретных преобразованиях конечных рациональнозначных вероятностных распределений	92
И. В. Коннов, C. C. Владимирова	Двойственный подход для одного класса обратных задач оптимизации	93
И. В. Коннов, Е. О. Мазуркевич	Применение D-интервальных функций к задачам экономического равновесия	94
А. Г. Коротченко, А. В. Лапин	О применении метода динамического программирования к решению одного класса задач оптимизации	95
А. Д. Коршунов	О верхней оценке длины "змеи" в n-мерном булевом кубе	96
Н. К. Косовский, Т. М. Косовская	Условно труднорешаемые задачи	97
И. В. Котельников	К распознаванию объектов, задаваемых кортежами многомерных состояний	98
B. М. Кравцов	Oб одной оценке снизу числа нецелочисленных вершин многогранника трехиндексной аксиальной задачи о назначениях	99
М. К. Кравцов, В. М. Кравцов, Е. В. Лукшин	О некоторых типах (3n-2)-нецелочисленных вершин многогранника трехиндексной аксиальной задачи о назначениях	100
А. А. Кудрин	Автоматная сложность функций	101
В. М. Кузнецов	Анализ динамической устойчивости цифрового генератора телеграфного типа	102
Ю. В. Кузнецов	О частичных платовидных функциях	103
А. П. Купцов, Э. Ю. Лернер	Хроматический и потоковый многочлены, как феймановские амплитуды над конечным полем	104

ЧАСТЬ II

А. А. Лазарев, А. Г. Кварацхелия	Исследование проблемы теории расписаний 1 ||S Tj	107
А. А. Лазарев, Р. Р. Садыков	К исследованию проблемы теории расписаний 1| rj | Lmax	108
Д. В. Лантухов	О числе сохраняющих пересечение подмножеств n-мерного булева куба	109
В. И. Левенштейн	O неотрицательно определенныx многочленax	110
Д. И. Лобачев	Организация доступа к данным динамической информационной модели	111
О. А. Логачев, А. А. Сальников, В. В. Ященко	Об одном подходе к описанию слов минимального веса кодов Рида-Маллера	112
С. А. Ложкин	Асимптотически оптимальные гомеоморфные вложения полных двоичных и троичных деревьев в плоские прямоугольные решетки	113
С. А. Ложкин, Т. Н. Никитина	Об асимптотике сложности универсального клеточного контактного многополюсника	114
З. С. Ложкина	О сложности покрытия графа в классе слабо плотных базисов	115
Е. В. Лукшин	Об одном классе трехиндексных аксиальных транспортных многогранников	116
А. Е. Люлькин	Анализ и диагностика переключательных КМОП-схем средствами логического программирования	117
И. В. Лялин	Решение автоматных уравнений	118
Х. А. Мадатян	О полных проверяющих тестах для контактных схем	119
И. Л. Мазуренко	Метрика на множестве автономных монотонных вероятностных автоматов	120
Г. И. Малашонок	О сложности вычисления присоединенной матрицы и характеристического многочлена	121
С. А. Малюгин, А. М. Романов	Критерий непересекаемости компонент линейного совершенного двоичного кода	122
К. Б. Мансимов, Э. Р. Рагимов	Необходимые условия оптимальности в одной задаче управления с переменной структурой	123
Б. Ф. Мельников, А. А. Мельникова	Новый алгоритм построения базисного конечного автомата	124
О. И. Мельников, Д. Я. Яцив	Распознавание P4-структуры графа, гомеоморфного звезде	125
Е. А. Михеева	К вопросу строения решетки Lk	126
А. В. Морозов	О возможности погружения фреймовой структуры модели синтеза автоматов в среду реляционной СУБД	127
М. Ю. Мошков	О замкнутых классах задач машинного обучения	128
Р. Г. Мубаракзянов	О сложности вероятностных бинарных программ	129
С. К. Мышков, В. П. Амбросенок	Одна негладкая задача оптимальной стабилизации	130
А. А. Наумов	Эффективность апостериорных стратегий экспериментирования	131
Нгуен Дык Тхао	О компьютерной трансляции динамических сцен	132
Ю. И. Неймарк, Л. Г. Теклина	Многомерное кодирование образов при распознавании с учителем	133
Р. А. Оганян	Многоиндексные параллелепипедальные числа	134
Е. А. Окольнишникова	О сравнении двух методов получения нижних оценок сложности ветвящихся k-программ	135
К. Г. Омельянов, А. А. Сапоженко	О числе множеств, свободных от сумм, в отрезке натуральных чисел	136
В. А. Орлов	О нахождении сильно существенных систем многозначных функций	137
Е. В. Орлова	Об одном способе кодирования деревьев с корнем	138
Ю. Л. Орлович	О хорошо укрытых по модулю графах	139
В. И. Пантелеев	Представления булевых функций в виде суммы импликаций остаточных функций	140
П. А. Пантелеев	О некоторых обобщениях понятия отличимости состояний автомата	141
Т. А. Панюкова	Алгоритм построения эйлеровых циклов специального вида	142
Н. Г. Парватов	Функциональная полнота в классах квазимонотонных и монотонных функций на трехэлементной полурешетке	143
И. Г. Перфильева	Логические основы нейронных сетей	144
Н. А. Перязев, Ю. В. Перязева	Вопросы представления булевых функций термами над вторичными базисными множествами	145
А. Я. Петренюк, Л. П. Петренюк	Перечень минимальных D-разложений графа K13	146
В. И. Петренюк	Обобщенная q-характеристика множества точек графа	147
О. В. Пинягина, В. Р. Фазылов	Метод выпуклого программирования с заданной абсолютно-относительной погрешностью	148
А. С. Подколзин	О развитии техники моделирования логических процессов	149
Р. И. Подловченко	От алголоподобных программ к их алгебраическим моделям	150
Л. Н. Полякова	Минимизации функции максимума с постоянным шагом	151
Т. И. Полякова	Оценка сложности алгоритма вычисления интеграла Шварца	152
С. В. Попов	О процедурах построения моделей логических формул	153
В. Н. Потапов	Энтропийная оценка мультипликативной сложности	154
Д. С. Романов	О тестах относительно перестановок переменных булевых функций	155
В. С. Рублев, Н. Б. Чаплыгина	Расширение задачи о назначениях	156
А. Н. Руденко, А. С. Строгалов	Асимптотика главного члена функций роста полиномиальных автоматов	157
А. П. Рыжов	О моделях агрегирования информации в нечетких иерархических системах	158
Ф. И. Салимов	Конечная порожденность одной алгебры распределений	159
А. А. Сапоженко	Нижняя оценка порога 3-выполнимости	160
Р. Ф. Сафин	О глубине и сложности функций k-значной логики специального вида в классе формул	161
А. Н. Сафиуллин	Экстремальные задачи на бесконечных путях графа	162
А. В. Седов	Представление данных в формате netCDF в океанографических информационных системах	163
С. Н. Селезнева	О сложности представления функций многозначных логик поляризованными полиномами	164
C. И. Сергеев	Общий подход формирования двойственных оценок для сепарабельных задач	165
А. Ю. Серебряков, В. М. Сидельников	О тождествах типа Мак-Вильямс для орбитных кодов	166
Д. А. Силаев, Д. О. Коротаев, А. В. Амилющенко, А. И. Лукьянов	Периодический S-сплайн	167
В. Г. Скобелев	О нижних экспоненциальных оценках	168
А. В. Соколов	Математические задачи оптимального управления динамическими структурами данных	169
С. Ю. Соколов	Моделирование псевдослучайных последовательностей на основе эйлеровых стохастических матриц	170
В. Д. Соловьев	Графовая модель кодирования в лингвистике	171
А. М. Степаненков	Сложность проверки простоты числа однородными структурами линейна	172
Е. Г. Сыркина	Простое доказательство обходимости плоских лабиринтов коллективом автоматов	173
Г. Ш. Тамасян	Негладкая задача вариационного исчисления с запаздывающим аргументом	174
Ю. В. Таранников	Теорема типа теоремы Симона-Вегенера для регулярных булевых функци	175
В. П. Тарасова	Оптимальный поиск глобального экстремума многоэкстремальных функций	176
Л. А. Толмачевская	Циклические эксперименты с групповыми автоматами	177
Л. Б. Тяпаев	Геометрическая интерпретация задач с автоматами	178
А. А. Фещук	Об одном методе перехода к нечетким задачам поиска	179
А. В. Филькин	О решетке конгруэнций асинхронных циклов	180
В. А. Фомичев	Алгоритм преобразования матричного семантико-синтаксического представления текста в К-формулу	181
В. Б. Фофанов, К. Ю. Чемоданов	О выборе признаков для классификации пикселей цветных изображений	182
Р. В. Хелемендик	О корректности и полноте одного алгоритма распознавания выполнимости формул в логике ветвящегося времени	183
А. Б. Холоденко	Языковые модели в системах распознавания русской речи	184
В. И. Хомич	О свойстве простой подстановки для нормальных расширений S4	185
Ш. М. Чабдаров	Полигауссовы модели и методы в статистической теории динамических систем	186
Н. Б. Чаплыгина	Оптимальный критерий равномерного назначения	187
А. В. Чашкин	О сложности моделирования схем на многоленточных машинах Тьюринга	188
А. В. Черемушкин	Локальное вычисление параметров бесповторной суперпозиции функций	189
М. А. Черепнев	Схемы открытого распределения ключей на основе некоммутативной операции	190
А. Н. Черепов, И. А. Черепов	О представлении недетерминированных функций детерминированными	191
Ю. А. Черняев	Применение метода проекции градиента к решению задач с предвыпуклыми ограничениями	192
И. А. Чижова, М. М. Константинов, Р. С. Поляков	Информационно-аналитическая система выбора аналогов золоторудных месторождений мира	193
С. В. Шалагин	К задаче оценки адекватности реализации цифровых схем на программируемых микросхемах	194
И. К. Шаранхаев	О слабоповторных булевых функциях	195
В. И. Шевченко	О сложности диагностики неэлементарных замыканий в формулах булевых функций	196
В. Н. Шевченко, Д. В. Груздев	Модификация алгоритма Фурье-Моцкина для построения триангуляции	197
О. Н. Шульгина	Aлгоритм решения одной NP-трудной задачи теории расписаний	198
А. Р. Юсупов	Генерация входных форм динамической информационной модели	199