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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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

Author(s): Лупанов О.Б. (ред.)
Publisher: Физматлит
Year: 2001

Language: Russian
Commentary: better photo, kromsated
Pages: 271

Алексей Андреевич Ляпунов 9
О. С. Кулагина. Об одном подходе к установлению отношений между простыми предложениями в составе сложного при автоматическом анализе текстов 15
B. А. Садовничий, В. В. Александров, Л. И. Воронин, С. С. Лемак. Тестирование качества визуальной стабилизации космических объектов на динамическом стенде с трехуровневой системой управления 35
C. А. Регирер. Математическое моделирование биологических процессов и биомеханика 45
В. Н. Чубариков. О сложности некоторых арифметических объектов 55
Е. А. Окольнишникова. О сложности ветвящихся программ 69
М. А. Иорданский. Оптимальные нумерации вершин графов 83
В. И. Шевченко. О сложности диагностики неэлементарных замыканий в схемах из функциональных элементов 103
В. А. Буевич, Т. Э. Клиндухова. Об алгоритмической неразрешимости задач об А-полноте и полноте для дефинитных ограниченно-детерминированных функций 139
B. А. Захаров. О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах 155
C. В. Попов. Логическое моделирование 167
Р. М. Колпаков. Замкнутые классы булевых случайных величин с рациональнозначными распределениями 215
Э. Э. Гасанов. Информационно-графовая модель в теории баз данных 225
А. Г. Пинус. Программно-вычислимые функции на универсальных алгебрах 235

КРАТКИЕ СООБЩЕНИЯ

Ю. А. Виноградов. К синтезу четырехзначных КМОП-автоматов 245
А. А. Вороненко. Об уточненных нижних оценках количества метрических функций 247