Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики»). Выпуск посвящен 90-летию со дня рождения А.А. Ляпунова. Представленные в нем работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности управляющих систем, математической биологии, предложена схема и алгоритм нового тестирующего тренажера для операторов по визуальному управлению в космосе. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений.
Author(s): Лупанов О.Б. (ред.)
Publisher: Физматлит
Year: 2001
Language: Russian
Pages: 268
Титульный лист......Page 2
Алексей Андреевич Ляпунов......Page 6
О. С. Кулагина. Об одном подходе к установлению отношений между простым и предложениями в составе сложного при автоматическом анализе текстов......Page 12
В. А. Садовничий, В. В. Александров, Л. И. Воронин. С. С. Лемак. Тестирование качества визуальной стабилизации космических объектов на динамическом стенде c трехуровневой системой управления......Page 32
С. А. Регирер. Математическое моделирование биологических процессов и биомеханика......Page 42
В. Н. Чубариков. О сложности некоторых арифметических объектов......Page 52
Е. А. Окольнишникова. О сложности ветвящихся программ......Page 66
М. А. Иорданский. Оптимальные нумерации вершин графов......Page 80
В. И. Шевченко. О сложности диагностики неэлементарных замыканий в схемах из функциональных элементов......Page 100
В. А. Буевич, Т. Э. Клиндухова. Об алгоритмической неразрешимости задач об А-полноте и полноте для дефинитных ограниченно-детерминированных функций......Page 136
В. А. Захаров. О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах......Page 152
С. В. Попов. Логическое моделирование......Page 164
Р. М. Колпаков. Замкнутые классы булевых случайных величин с рациональнозначными распределениями......Page 212
Э. Э. Гасанов. Информационно-графовая модель в теории баз данных......Page 222
А. Г. Пинус. Программно-вычислимые функции на универсальных алгебрах......Page 232
Ю. А. Виноградов. К синтезу четырехзначных КМОП-автоматов......Page 242
А. А. Вороненко. Об уточненных нижних оценках количества метрических функций......Page 244
Семинар по кибернетике в МГУ......Page 249
Пятая научная молодежная школа по дискретной математике и ее приложениям......Page 254
VII межгосударственный семинар по дискретной математике и ее приложениям......Page 256
Школа-семинар «Синтез и сложность управляющих систем»......Page 264