краткие сообщения - Кибернетика и системный анализ

СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА» ЗА 1982 г.
№1
Закревский А. Д. Явление импликативных закономерностей в булевом пространстве
признаков и распознавание образов ... 1
Сухарев А. Г. К вопросу о построении оптимальных квадратур для функций многих
переменных ... 7
Макаров В. Л., Гаврнлюк И. П., Шманенко Т. Л. Быстрый прямой метод решения
систем линейных алгебраических уравнений с блочной трехдиагональной матрицей
переменной структуры ... 12
Злотник Б. М. Строго трижды транзитивные проективные группы перестановок и
порождаемые ими недвоичные коды ... 16
Трушин С. Н. О задаче нахождения наибольшего внутренне устойчивого множества
графа ... 23
Бургин М. С., Бургина Е. С. Поиск информации и многозначные разбиения в языках ...
30
Плаксин В. А. Конгруэнции конечных автоматов ... 43
Ромм Я. Е. Об ускорении линейных стационарных итерационных процессов в
многопроцессорных ЭВМ. I … 47
Анкудинов Г. И. Об одном общем подходе к синтезу структуры алгоритмов, устройств и
систем ... 55
Коган Б. И. Синтаксический анализ контекстно-свободных грамматик с использованием
отношений старшинства ... 69
Корниенко Г. И., Дианов В. И., Дианов М. И. Диалоговые средства взаимодействия
пользователя с системой обработки экспериментальных данных ... 75
Броварник В. В. Об одном методе контроля управляющих автоматов с многозначным
структурным алфавитом ... 79
Варшавский В. И., Розенблюм Л. Я., Цирлин Б. С. Функциональная полнота в классе
схем, не зависящих от скорости. II ... 86
Сагайдак М. И. Необходимые условия в одной минимаксной задаче ... 89
Ржевский С. В. Монотонный алгоритм поиска седловой точки негладкой функции ... 95
Вилков В. Б., Суровцов Л. К. О существовании седловой точки функции Лагранжа для
некоторых классов задач математического программирования ... 99
Горшков В. В. Логико-вероятностный метод расчета живучести сложных систем ... 104
Ковалев М. М., Пирьянович В. А. Локально-стохастические алгоритмы дискретной
оптимизации (эксперименты, опыт применения) ... 108
Мелешко В. И. Идентификация распределенных и сосредоточенных систем с
использованием Lg-обобщенных сплайнов ... 113
КРАТКИЕ СООБЩЕНИЯ
Шор Е. И. Оптимальное управление объектом с мультипликативным непрерывно
распределенным неизвестным параметром ... 121
Гордиенко А. В. О сложности проблемы автоматизации генерирования исходных данных
для тестирования программ ... 123
Горшков П. В., Горлач С. П. Об определяющей совокупности соотношений в
многоосновной алгебре структур данных ... 124
Бохонов Ю. Е. О линейных эллиптических системах второго порядка бесконечномерного
аргумента ... 127
НАУЧНАЯ ИНФОРМАЦИЯ
№2
Аарна О. А. Решение задач на частично явных моделях. I. … 1
Погребной В. К. Об одном методе определения изоморфизма графов ... 7
Трушин С. Н. Алгоритм нахождения наибольшего внутренне устойчивого множества
графов ... 14
Бакаев А. А., Крамаренко Р. П., Коструба Т. В. К вопросу о выборе концептуальной и
внутренней модели данных в СУБД с послойной архитектурой ... 25
Никитин А. С., Скриган Н. И. Иерархические графовые структуры и программные
средства их обработки … 31
Лоскутов В. Г. Об иерархических структурах пакетов программ оптимизации ... 35
Бабичев А. В. Некоторые теоретические вопросы параллельного синтаксического анализа
... 40
Липаев В. В., Позин Б. А., Блау С. А. Анализ стратегий тестирования логики программ
... 45
Вальковский В. А. Параллельное выполнение циклов. Метод параллелепипедов ... 51
Зайко Ю. Г., Хабибуллин X. Г. Оценка надежности функционирования резервированной
вычислительной системы ... 63
Береснев В. В. Условия экстремума для выпуклых интегральных включений и их
приложения … 69
Бабич М. Д., Шевчук Л. Б. Об одном алгоритме приближенного решения систем
нелинейных уравнений … 74
Бардадым Т. А. Задача преследования с простым движением и разнотипными
ограничениями на управления ... 80
Гайворонский А. А. Об аппроксимационных методах решения задач стохастического
программирования … 85
Гриншпан Л. А. Анализ стационарных режимов полумарковских процессов методом
фиктивных состояний … 91
Дунаев Б. Б. Оптимальные решения при распознавании образов ... 95
Бондарева О. Н. Одна производственная модель и вычисление N-ядра с помощью
покрытий ... 101
Яхно В. М. Метод улучшающих маршрутов для задачи оптимальной загрузки
оборудования ... 105
КРАТКИЕ СООБЩЕНИЯ
Тимофеев Е. А. Алгоритм построения минимаксного k-связного ориентированного
подграфа ... 109
Гостев Ю. Г. Применение атомарных грамматик для описания структур данных (На
примере языка описания схем из дискретных элементов) ... 111
Гупал А. М., Лоскутов В. Г. Эффективность конечно-разностных методов
недифференцируемой оптимизации ... 114
Редковский Н. Н. Использование криволинейных координат для минимизации
невыпуклых функций … 117
Полякова Л. Н. Об одной задаче негладкой оптимизации … 119
Арентов В. А. Неравенства для оценки надежности систем ... 122
Коляда А. А. О ядре числа в системах остаточных классов ... 124
Жук О. В. Алгоритмическое определение времени задержки передачи информации при
конфликтных ситуациях в мультимодульных иерархических системах … 126
НАУЧНАЯ ИНФОРМАЦИЯ ... 129
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ ... 131
№3
Глушков В. М., Михалевич В. С., Волкович В. Л., Доленко Г. А. К вопросу системной
оптимизации в многокритериальных задачах линейного программирования ... 4
Анисимов А. В., Рындин Я. П., Редько С. Е. Обратное преобразование Фибоначчи ... 9
Аарна О. А. Решение задач на частично явных моделях. II. 12
Фаддеева В. Н., Фаддеев Д. К. Параллельные вычисления в линейной алгебре. II ... 18
Великович Л. Л. О некоторых специальных случаях проблемы транзитивности в теории
графов ... 32
Кесельман Д. Я. О разрешимости теорий некоторых классов графов исключения ... 34
Буда А. Разрешимость проблемы эквивалентности для программных машин ... 38
Стогний А. А., Элланская Л. В. Описание и анализ информационных запросов при
проектировании баз данных ... 45
Михайлюк В. А. О применении метода формализованных технических заданий к
построению системного программного обеспечения пакетов программ ... 53
Ющенко Ю. А. Проблема тождественных преобразований недетерминированных схем
программ в системах алгоритмических алгебр ... 58
Ромм Я. Е. Об ускорении линейных стационарных итерационных процессов в
многопроцессорных ЭВМ. II … 64
Каляев А. В., Бакенрот В. Ю., Макаревич О. Б. Об алгоритмах функционирования ОВС
в режиме пакетной обработки сложных задач ... 68
Дриянский В. М., Колтун А. Я. Вероятностные интерактивные модели кластеризации
баз данных документальных информационных систем ... 72
Сергиенко И. В., Козерацкая Л. Н. О решении одной задачи целочисленного
параметрического программирования ... 80
Ермольев Ю. М., Урясьев С. П. О поиске равновесия по Нэшу в играх многих лиц ... 85
Деменин А. Н., Диесперова М. М. Анализ линейных динамических систем со случайно
изменяющимися во времени параметрами ... 89
Голодников А. Н. Численный метод минимизации выпуклых функционалов в классе
функций распределения, удовлетворяющих нелинейным ограничениям ... 93
Демин В. К., Осадченко А. А. Декомпозиция при решении задач управления марковским
процессом ... 98
Глушков В. М., Иванов В. В., Яценко Ю. П. Аналитическое исследование одного класса
динамических моделей. II ... 104
КPATКИЕ СООБЩЕНИЯ
Диесперова М. М. Статистические задачи для случайных процессов, удовлетворяющих
линейным дифференциальным уравнениям второго порядка со случайным
возмущением ... 113
Вилков В. Б., Суровцов Л. К. Об одном подходе к решению сепарабельных
целочисленных задач математического программирования ... 114
Гирко В. Л., Бородянский Н. И. Новый метод доказательства некоторых предельных
теорем в теории распознавания образов ... 117
Домрачев В. Н. Об одном подходе к исследованию свойств программ ... 118
Румянцев Н. В. Исследование системы обслуживания с «разогревом» конце периода
занятости методами теории полумарковских процессов ... 120
Калинии В. Б. Графы пересечений кривых и отрезков … 122
Яшкир О. В. Идентификация управления с негладкими ограничениями ... 123
Визинг В. Г. Оптимальный набор интенсивностей выполнения работ при выпуклой
функции штрафов за интенсивность … 125
Пак О. И. О свойствах субдифференциала выпукло-вогнутой функции ... 127
Остапенко В. В. Об одном приближении основного оператора в дифференциальной игре
в -стратегиях ... 129
№4
Григорьян Ю. Г. Геометрия арифметических графов … 1
Кривой С. Л. Об алгоритме построения базиса пересечения конечно-порожденных
свободных групп ... 5
Малов К. М. М-преобразования графов. Кванторизация. Сцепления. Инварианты
изоморфизма ... 11
Агаян С. С., Саруханян А. Г. О гипотезах Плоткина относительно D (4k, 4)-разбиений ...
15
Дорошенко А. Е. О преобразованиях циклических операторов к параллельному виду ... 22
Иваськив Ю. Л., Белиловский Е. Л., Драч М. М., Харам В. С. Избыточные
позиционные системы счисления с комплексным основанием ... 29
Никогосян Ж. Г. Каркасы на многогранниках ... 35
Горцев А. М. Оптимизация стратегии обслуживания несимметричным резервным
каналом с учетом потерь на включение и выключение резервного канала ... 43
Смеляков С. В., Стоян Ю. Г. Об одном базисе классов эквивалентности путей в задачах
оптимизации ... 51
Боднер В. А., Роднищев Н. Е., Юриков Е. П. Принцип оптимальности в среднем систем
со случайной скачкообразной структурой ... 55
Cирик А. Е. Использование интервалов очередности для, решения задач очередности с
огрзничаниями ... 61
Батухтим В. Д., Майборода Л. А. К теории экстремальных задач ... 66
Красиловец Л. В.; Никитин А. И. К решению задачи синтеза однопродуктовой сети ... 74
Жилинскас А. Г., Каткаускайте А. И. О существовании случайной функции,
согласованной с отношением условного правдоподобия ... 80
Баранов В. В. Об одном рекуррентном алгоритме в марковских процессах решений ... 84
Лабковский В. А. Об информативности стохастического эксперимента ... 90
Лопатин А. П., Павленко Г. П., Черныш В. Г. Оперативная маршрутизация движения
транспортных единиц ... 94
Война А. А. Асимптотический анализ систем с непрерывной компонентой ... 98
Файнзильберг Л. С. К вопросу о безошибочном распознавании двух классов по
совокупности пересекающихся признаков ... 104
КРАТКИЕ СООБЩЕНИЯ
Каминский В. А. О подвижности точки минимума выпуклого функционала с параметром
... 110
Захарович В. Г. К вопросу обоснования некоторых нормативных условий управления ...
112
Кишиневский М. А., Таубин А. Р., Цирлнн Б. С. Сети Петри и анализ
переключательных схем ... 114
Михайлов В. М., Бибик А. Т., Блощаневич И. Н.; Хлебников А. И. О стандартизации
базового программного обеспечения интерактивной машинной графики … 118
Андреев Н. В. Об оптимальном редуцированном управлении марковскими
последовательностями … 119
Иваненко Л. Н. Имитационные игры в условиях массового эксперимента (принципы и
практика) ... 122
Ревин О. М., Цивлин Я. В. Автоматно определимые и Т-распознаваемые классы матриц
... 125
Шевченко В. Н. Оценивание параметров регрессионных моделей с помощью задачи
линейного программирования с переменными коэффициентами ... 126
Чепурной Н. Д. Одна ступенчатая регулировка шага в стохастическом методе
минимизации негладких функций ... 127
НАУЧНАЯ ИНФОРМАЦИЯ
Кондратьев А. И. IV Международный семинар по банкам данных и VII заседание
Рабочей группы XI «Системы управления базами данных и информационные системы»
... 130
№5
25-летие Института кибернетики им. В. М. Глушкова Академии наук УССР ... 1
Глушков В. М., Капитонова Ю. В., Летичевский А. А. Алгебра алгоритмов и
динамическое распараллеливание последовательных программ ... 4
Ющенко Е. Л., Цейтлин Г. Е. Многоуровневый синтез структурированных программ ...
11
Иванов В. В., Михалевич В. С., Сергиенко В. В. Проблемы повышения эффективности
моделирующих комплексов ... 22
Молчанов И. Н. О некоторых проблемах математических моделей научно-технических
задач ... 33
Андон Ф. И. • Мультипроцессорное интегрированное мультипрограммирование ... 41
Деркач В. П. О некоторых физико-технологических проблемах вычислительной техники
... 46
Погребинский С. Б. Машины для инженерных расчетов (МИР) ... 55
Шор Н. 3., Гершович В. И. Метод эллипсоидов, его обобщения и приложения ... 61
Данилин Ю. М., Панин В. М., Пшеничный Б. Н. Модифицированный метод
линеаризации ... 70
Павлов В. В. Проблемы теории и практики человеко-машинных систем ... 74
Амосов Н. М., Белов В. М., Ольшаников В. С. Опыт исследования эвристических
моделей личности ... 80
Гладун В. П., Галаган Н. И., Ващенко Н. Д. Системы планирования действий для
сложных сред ... 88
Рыбак В. И. Исследование и разработка систем зрительного анализа описания внешнего
мира автономных манипуляционных роботов ... 95
Винцюк Т. К. Распознавание и смысловая интерпретация речи ... 101
Антомонов Ю. Г. Биологическая кибернетика. Итоги и перспективы ... 112
Иванов-Муромский К. А., Лукьянова О. Н. Основные направления, достижения и
перспективы развития нейробионики в Институте кибернетики им. В. М. Глушкова АН
УССР ... 121
Губарев В. Ф., Даргейко М. М., Кривонос Ю. Г., Самойленко Ю. И. Управление
плазмой в установках Токамак ... 127
№6
Капитонова Ю. В., Летичевский А. А. О некоторых идеях формирования
математического аппарата кибернетики в работах В. М. Глушкова ... I
Ершов Ю. Л. -полные А-пространства ... 6
Матиясевич Ю. В. Еще один машинный эксперимент в пользу гипотезы Римана ... 10
Лавров С. С. Синтез программ ... 11
Яненко Н. Н. Математические модели и вычислительные алгоритмы для течений вязкой
жидкости ... 17
Подловченко Р. И. Моделирование программ системами и построение систем
преобразований схем … 23
Барздинь Я. М., Зариньш А. К., Калниньш А. А. Об одном языке спецификаций ... 30
Молчанов И. Н. О некоторых проблемах создания численного программного
обеспечения ... 40
Сергиенко И. В. О некоторых направлениях в развитии методов дискретной оптимизации
и их программного обеспечения ... 45
Емеличев В. А., Ковалев М. М. Полиэдральные аспекты дискретной оптимизации ... 54
Волож Б. Б., Мацкин М. Б., Минц Г. Е., Тыугу Э. X. Система ПРИЗ и исчисление
высказываний ... 63
Гудивок П. М., Кирилюк А. А., Рудько В. П., Циткин А. И. О конечных подгруппах
группы GL (n, Z) … 71
Калужнин Л. А., Сущанский В. И., Устименко В. А. Применение ЭВМ в теории групп
подстановок и ее приложениях ... 83
Блудов В. В., Кокорин А. И. Использование ЭВМ при решении известных проблем в
алгебре ... 95
Мартьянов В. И. О методах задания и частичного построения теории на ЭВМ ... 102
Панков П. С., Баячорова Б. Д., Югай С. А. Доказательные вычисления на ЭВМ и
результаты их применения в различных разделах математики ... 111
КРАТКИЕ СООБЩЕНИЯ
Гороховский С. С., Рысцов И. К. Об изоморфизме графов отображений ... 117
Горелик В. А. Динамические иерархические системы с дискретным временем ... 119
Ершов А. П. Два облика программирования ... 122
РАСШИРЕННЫЕ АННОТАЦИИ
Онопчук Ю. Н., Марченко Д. И. Динамика кислородных режимов организма в условиях
гипоксической гипоксии. Численный анализ ... 124
НАУЧНАЯ ИНФОРМАЦИЯ