В Пензенском государственном университете с 15 по 21 октября 2001 г. прошла очередная XII Международная школа-семинар "Синтез и сложность управляющих систем". Школы-семинары под этим названием проводятся под руководством чл.-корр. РАН О.Б. Лупанова, начиная с 1988 года.
Были прочитаны следующие доклады.
Алексеев К.А. (Пенза)
Вейвлет-анализ доказывает: испытательное воздействие,
синтезируемое взрывом металлического проводника в жидкости, представляет
собой пакет импульсов.
Алехина М.А. (Пенза)
О надежности схем в некоторых базисах при неисправностях типа 0 на
выходах элементов.
Антонов А.В., Токарев А.Н. (Пенза)
Построение и анализ кластерной вычислительной
системы на базе ПЭВМ, объединенных сетью "Fast Ethernet".
Балюк А.С. (Иркутск)
Нижняя оценка сложности одной последовательности булевых
функций в классе полиномиальных нормальных форм.
Бойков И.В. (Пенза)
Устойчивость дискретных моделей популяций.
Бойков И.В., Мойко Н.B. (Пенза)
Итерационные методы решения дискретных аналогов
уравнений в свертках.
Бойков И.В., Нагаева С.Я. (Пенза)
Оптимальные по порядку алгоритмы вычисления
интегралов в смысле главного значения Коши-Адамара.
Бойков И.В., Тында А.Н. (Пенза)
Применение метода дискретных особенностей к
приближенному решению слабосингулярных интегральных уравнений
Вольтерра.
Бондаренко Л.Н. (Пенза)
Оператор Гельфонда-Леонтьева и многочлены композиций.
Бондаренко Л.Н., Чувыкин Б.В. (Пенза)
Дискретные модели измерительных
преобразователей.
Ботев А.А. (Москва)
О взаимосвязи корреляционной иммунности и нелинейности для
неуравновешенных булевых функций.
Быстров С.Ю. (Пенза)
Анализ и синтез комплексов средств охраны.
Валентинов Е.В. (Москва)
О сложности реализации линейной функции контактными схемами, корректирующими одно замыкание.
Вашкевич Н.П. (Пенза)
Недетерминированные автоматы в построении систем
управления параллельной обработкой.
Вороненко А.А. (Москва)
Абсолютно не устойчивые управляющие системы.
Грибок С.В. (Москва)
О сложности реализации булевых функций в одной модели вычислений.
Грунтович М.М. (Пенза)
Методы оптимизации многомерных порядков.
Жильцова Л.П. (Н. Новгород)
О нижней оценке стоимости кодирования стохастического
контекстно-свободного языка в критическом случае.
Заварзин С.Г. (Пенза)
Помехоустойчивая процедура декодирования в канале цифровой
магнитной записи.
Золотых Н.Ю. (Н. Новгород)
Целочисленные точки в сечениях многогранников.
Зубков О.В. (Иркутск)
Рекуррентные формулы для нахождения количества бесповторных
булевых функций в некоторых базисах.
Иванов А.И. (Пенза)
Вычислительная сложность алгоритмов при обучении исскуственных
нейронных сетей на плохих данных.
Карпова Н.А. (Москва)
Об одном классе схем из (m,m)-элементов.
Кириенко Д.П. (Москва)
О корреляционно-иммунных порядка n-4 неуравновешенных
булевых функциях.
Кириченко К.Д. (Иркутск)
Верхняя оценка сложности булевых функций в классе
полиномиальных нормальных форм.
Князьков В.С., Волченская Т.В. (Пенза)
Алгебраический метод синтеза параллельных
алгоритмов для массивных вычислений в итеративных вычислительных
структурах и средах.
Князьков В.С., Волченская Т.В. (Пенза)
Методика оценки сложности массивных вычислений
итеративно-битовых вычислительных структур.
Кондратов А.В. (Москва)
Асимптотические оценки высокой степени точности для
сложности схем из некоторых классов.
Коннов Н.Н., Заварзин С.Г. (Пенза)
Динамическая модель межсимвольной интерференции в
канале цифровой магнитной записи.
Косовский Н.К. (С.-Петербург)
Логики вероятностно-временного типа и сложность их
разрешения.
Кузнецов Ю.В. (Москва)
О платовидных функциях.
Макарычев П.П. (Пенза)
Моделирование сложных систем.
Макарычев П.П., Денисов С.В. (Пенза)
Организация имитационногомоделирования
информационно-управляющих систем.
Макарычев П.П., Волгина М.А. (Пенза)
Анализ деятельности предприятий с использованием
маркированных графов.
Макарычев П.П., Пащенко Д.В. (Пенза)
Анализ повреждений ЛЭП на основе графов.
Мартьянов В.Ю. (Н. Новгород)
Жадный алгоритм моделирования работы дерева решений
для древовидных байесовских сетей.
Мерекин Ю.В. (Новосибирск)
Нижние оценки сложности символьных последовательностей,
определяемых поясковыми булевыми функциями.
Михеева Е.А. (Ульяновск)
О конечной базируемости некоторых классов из P3.
Мошков М.Ю. (Н. Новгород)
О расшифровке монотонной булевой функции на дереве с
корнем.
Мукаилов С.И. (Москва)
Об одной коммуникационной сложности вычислений пороговых
функций.
Нурмеев Н.Н. (Казань)
Асинхронная реализация вероятностных распределений.
Окольнишникова Е.А. (Новосибирск)
Нижние оценки сложности ветвящихся программ.
Полякова Т.И. (Пенза)
Оптимальные по точности алгоритмы вычисления интегралов Пуассона и Шварца для полуплоскости.
Попов С.В. (Москва)
О локальных классах пропозициональных формул.
Прокофьева Е.Ю. (С.-Петербург)
Реализация основного этапа алгоритма проверки
существования модели заданной сложности для формул некоторой временной
логики.
Романов Д.С. (Москва)
О проверяющих тестах для счетчиков четности.
Рычков К.Л. (Новосибирск)
О задаче "Минимальное покрытие", соответствующее нижним
оценкам сложности схем из функциональных элементов".
Самуйлова С.В. (Пенза)
Адаптивная передача в каналах с группирующимися ошибками.
Сорочан С.В. (Н. Новгород)
Лемма о равномерном покрытии и многодольная энтропия
наследственных классов многодольных цветных графов.
Таранников Ю.В. (Москва)
Несуществование неуравновешенных неконстантных
корреляционно-иммунных порядка m булевых функций от n переменных при
m>0,75n-1,25.
Хасьянов А.Ф.
Сравнительная оценка сложности некоторых булевых функций квантовыми
и детерминированными автоматами.
Хлопин Д.В. (Екатеринбург)
Случайный выбор почти оптимального доминирующего
множества.
Черухин Д.Ю. (Москва)
Об обратимых схемах из функциональных элементов.
Черухина С.Е. (Москва)
О сложности линейных кодов малой размерности.
Чижухин Г.Н. (Пенза)
Развитие тензорного аппарата для описания алгоритмов, аппаратного и
программного обеспечения дискретной техники.
Чикалов И.В. (Н. Новгород)
О средней глубине деревьев решений для задач машинного
обучения.
Шевченко В.И. (Н. Новгород)
О сложности диагостики "и"- и "или"-замыканий в
формулах булевых функций.
Шевченко В.И. (Н. Новгород).
Об одном способе диагностики "1"-("0")- неисправностей
монотонных булевых функций.
Шоломов Л.А. (Москва)
Сложность распознавания свойств отношений в
критериальных пространствах.
Щербаков М.А. (Пенза)
Быстрые алгоритмы вычисления нелинейных сверток.