Математические вопросы кибернетики. Выпуск 10

Description

Сборник продолжает (с 1988 г.) математическую направленность всемирно известной серии «Проблемы кибернетики»). Выпуск посвящен 90-летию со дня рождения А.А. Ляпунова. Представленные в нем работы охватывают широкий спектр проблем дискретной математики, математической логики, теории программирования, сложности управляющих систем, математической биологии, предложена схема и алгоритм нового тестирующего тренажера для операторов по визуальному управлению в космосе. Для специалистов, аспирантов, студентов, интересующихся современным состоянием математической кибернетики и ее приложений. Титульный лист......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