СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА» ЗА 1981 год

СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА» ЗА 1981 год
№1
Глушков В. М., Капитонова Ю. В., Летичевский А. А. О построении семейства
алгоритмических языков для программирования и проектирования многопроцессорных
вычислительных систем ... 1
Данилин Ю. М., Морарь В. А. Квазиньютоновские методы с приближенным решением
вспомогательных задач ... 8
Колосов В. Е. Паросочетания и кососимметричные квадратичные формы ... 11
Лабковский В. А. Об одном примере безразличной неопределенности ... 15
Корноушенко Е. К. О контроле поведения полугрупповых систем ... 19
Ткачев И. И. Эквивалентные преобразования в одном классе распознающих систем ... 27
Забелло Е. П. Эффективность графов частичного порядка и способ упорядочения
числового информационного массива ... 33
Петунин Ю. И., Шульдешов Г. А. Теория линейных распознающих машин. I. ... 39
Юрченко А. С. Об одном алгоритме динамического сегментного распределения памяти ...
45
Додонов С. Б. Принципы построения проблемно-ориентированных САПР в
машиностроении … 55
Малышко В. В., Янченко С. С. Алгоритм оптимального восстановления орграфа ... 60
Бабаев А. А., Друганов Б. Н. Метод ветвей и границ в задаче составления недельного
расписания занятий ... 63
Марьянович О. Т. Построение оптимальной линейной оценки параметра по оценкам с
неизвестными смещениями. II. ... 68
Заботин В. И., Полонский Ю. А. Предвыпуклые множества, отображения и их
приложение к экстремальным задачам ... 71
Козерацкая Л. Н. О решении одного типа задач линейного параметрического
программирования … 75
Артеменко В. И. Об одном методе поиска приближенных решений задач частично
целочисленного программирования ... 82
Колмановский В. Б. О синтезе некоторых слабоуправляемых систем при случайных
возмущениях ... 86
Шкурба В. В., Селивончик В. М. Расписания, имитационное моделирование и
оптимизация ... 91
Мирзоахмедов Ф., Петренко В. Л. Задачи стохастического программирования,
возникающие при расчете плана производства, обладающего адаптивными свойствами
... 97
Урясьев С. П. Об одной регулировке шага в предельных экстремальных задачах ... 105
Каниовский Ю. М. Оценка погрешности при построении доверительных интервалов в
некоторых методах стохастического программирования ... 109
Лялецкий А В. Вариант теоремы Эрбрана для формул в пренексной форме ... 112
Повицкий В. А. Система, понимающая естественный язык ... 117
Визинг В. Г. О расписаниях, соблюдающих директивные сроки выполнения работ ... 128
Онопчук Ю. Н. Равновесные состояния и переходные процессы в системах внешнего
дыхания и кровообращения. Исследования на математической модели ... 136
КРАТКИЕ СООБЩЕНИЯ
Арентов В. А. Оценка одной характеристики надежности системы ... 140
Самборский С. Н. О множествах достижимости для линейных управляемых систем в
банаховом пространстве. I. ... 141
Митченко А. И. Система программ структурного синтеза функциональных схем
устройств на ЕС ЭВМ ... 142
Бордунов Н. Н. Условия оптимальности траекторий в одной стохастической модели
экономической динамики неймановского типа ... 143
НАУЧНАЯ ИНФОРМАЦИЯ 145
№2
Ромов Б. А. Алгебры частичных функций и их инварианты ... 1
Варшавский В. И., Розенблюм Л. Я., Цирлин Б. С. Функциональная полнота в классе
схем, не зависящих от скорости. I ... 12
Лозовану Д. Д. Оптимальные суграфы в взвешенном орграфе ... 16
Гостев Ю. Г. Атомарные языки и грамматики ... 20
Бияшев Р. Г., Юров С. С., Черкасов Ю. Н. Коды Лагранжа с простой реализацией ... 26
Петунин Ю. И., Шульдешов Г. А. Теория линейных распознающих машин. II ... 32
Лисовик Л. П. Рекурсивно-детерминированные абстрактные автоматы … 36
Деметрович Я., Дьепеши Д. Аксиоматизирование обобщенных функциональных
зависимостей в реляционных банках данных ... 42
Петренко А. И., Тетельбаум А. Я., Шрамченко Б. Л. Алгебраическая формулировка
задач технического проектирования ... 49
Завадская Л. А. Оценка надежности системы с контролем и профилактикой аналитикостатистическим методом ... 56
Петренко А. И., Матросов Г. А. Формирование математических моделей электронных
схем с применением аналитических преобразований … 60
Броварник В. В. К вопросу контроля неисправностей в дискретных устройствах с
многозначным структурным алфавитом ... 65
Карцев М. А. Принципы организации параллельных вычислений, структуры
вычислительных систем и их реализация ... 68
Панин В. М. Метод линеаризации для задачи непрерывного минимакса ... 75
Бардадым Т. А. Решение одной вариационной задачи, связанной с получением
максимального количества информации ... 79
Кульчицкий О. Ю., Слоущ А. В., Соколов Ю. В. О задачах статистической
классификации с ограничениями на ошибки ... 83
Иваницкий В. Г., Лузин В. Б. Оценка надежности метода предельных значений для
контроля числовых данных ... 92
Лаптин Ю. П. Одна экстремальная задача на случайных деревьях ... 95
Каневский В. А. Один общий алгоритм моделирования случайных величин … 98
Дриянский В. М. Модели поиска в интерактивных документальных информационных
системах. Аналитический обзор ... 102
Минько А. А., Петунин Ю. И. Математическое моделирование кратковременной памяти
... 119
КРАТКИЕ СООБЩЕНИЯ
Панков А. А., Ситников Б. Д. О динамике возрастной структуры популяции при
ограниченности внешних ресурсов ... 130
Скобелев В. Г. О количестве графов переходов с заданным числом граничных вершин ...
132
Шевченко В. Н. О числе крайних точек в целочисленном программировании ... 133
Самборский С. Н. О множествах достижимости для линейных управляемых систем в
банаховом пространстве. II ... 135
Трубин В. А., Войтишин Ю. В. Алгоритм решения задачи разбиения множества ... 136
Мова В. В. Диалоговые процедуры определения приоритетов в системах с ограниченной
очередью … 137
Кесельман Д. Я. Множество паросочетаний в двудольном графе с заданным числом
вхождений вершин ... 139
Скобелев В. Г. О количестве графов переходов с заданным числом близнецов ... 140
НАУЧНАЯ ИНФОРМАЦИЯ
№3
Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л. Проблемы анализа и синтеза
структурированных параллельных программ ... 1
Капитонова Ю. В., Коваленко Н. С. К задаче распределения ресурсов между
конкурирующими процессами ... 17
Кутепов В. П. Проблема функциональности в одном классе схем отношений ... 21
Миренков Н. Н., Симонов С. А. Выявление параллелизма в циклах методом имитации
их выполнения ... 28
Погребинский С. Б., Сапатый П. С. Элементы аналитической модели для оценки
зависимости производительности вычислительной машины от уровня ее внутреннего
языка ... 34
Халилов А. И. Некоторые вопросы организации баз данных в сложных системах
автоматизированного управления ... 40
Анисимов А. В., Проценко В. С., РедькоС. Е. Реализация асинхронных параллельных
вычислений в управляющих пространствах ... 46
Вальковский В. А., Малышкин В. Э. К уточнению понятия непроцедурности языков
программирования ... 55
Ющенко Ю. А. Алгоритмическая разрешимость свойства Черча-Россера в алгебрах
недетерминированных алгоритмов с замкнутыми логическими условиями ... 56
Мучник М. М. Структурное описание компонент математического обеспечения мини- и
микро-ЭВМ … 61
Водопьянов В. К., Завьялов В. Н., Зубко В. А., Терзян Т. К. Языковые средства
структурного проектирования технологических процессов … 65
Горин А. К. О структурном программировании на базе систем алгоритмических алгебр,
ориентированных на обработку файлов ... 69
Жуков С. А. О времени функционирования моделей, основанных на ПР-выводимости ...
75
Иванов Е. А. Параллельные алгоритмы на графах … 81
Мамзелев И. А., Артемьев М. Ю. Алгоритмически полный набор системных операций
ОВС с общей магистралью ... 84
Строева Т. М., Фальк В. Н. Асинхронные вычислительные сети: АВС-модель и АВСсистема параллельного программирования ... 90
Дубовская Н. И. TR/L-метаязык для построения языковых процессоров ... 97
Глушков В. М. О возможных особенностях физических полей биосистем ... 105
Летичевский А. А., Годлевский А. Б., Кривой С. Л. Об эффективном алгоритме
построения базиса подгруппы свободной группы ... 107
Михалевич В. С., Сергиенко И. В., Лебедева Т. Т., Рощин В. А., Стукало А. С, Трубин
В. А., Шор Н. 3. Пакет прикладных программ ДИСПРО, предназначенный для решения
задач дискретного программирования ... 117
НАУЧНАЯ ИНФОРМАЦИЯ 138
№4
Глушков В. М., Капитонова Ю. В., Летичевский А. А., Горлач С. П.
Макроконвейерные вычисления функций над структурами данных … 13
Супруненко Д. А. Отношение порядка на подстановках и экстремальные задачи ... 22
Пухов Г. Е. Формулы разложения дифференциального преобразования функций ... 30
Котов В. Е., Черкасова Л. А. Структурированные сети ... 33
Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л. Многоуровневое структурное
проектирование прграмм: формализация метода-сфера приложений 42
Романовский И. В. Анализ понятия «служба» ... 66
Глушков В. М., Михновский С. Д., Рабинович 3. Л. ЭВМ со структурной реализацией
языков высокого уровня ... 73
Глушков В. М., Молчанов И. Н. О некоторых проблемах решения задач на ЭВМ с
параллельной организацией вычислений ... 82
Михалевич В. С., Сергиенко И. В., Шор Н. 3. Исследования методов решения
оптимизационных задач и их приложения ... 89
Михалевич В. С., Волкович В. Л., Волошин А. Ф. Метод последовательного анализа в
задачах линейного программирования большого размера … 114
Королюк В. С. Суперпозиция процессов марковского восстановления ... 121
Гладун В. П., Сапунов И. А. Организация словаря в обучаемых системах обработки
текстов естественного языка ... 125
Пшеничный Б. Н. Модель производства и обмена … 128
Кухтенко А. И. О физике и кибернетике ... 133
Жук О. В., Иваськив Ю. Л. К оценке задержки мультимодульных иерархических
структур (ММИС) при наличии очереди ... 139
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ ... 140
НАУЧНАЯ ИНФОРМАЦИЯ ... 141
№5
Анисимов А. В. Полугрупповые конечно-автоматные отображения ... 1
Костырко В. Ф. Об элементарной -теории полугрупп ... 8
Кривой С. Л. Об одном алгоритме поиска инвариантных соотношений в программах ... 12
Домрачее В. Н., Капитонова Ю. В., Самойленко Л. Г. Об одном способе определения
семантики конструкций языков программирования в терминах -исчисления. I ... 19
Плаксин В. А. Упрощенные задачи анализа конечных автоматов ... 24
Париицкий В. И. Об организации многоатрибутных файлов ... 29
Броварник В. В. Об одном подходе к контролю композиций управляющих автоматов ...
34
Белов Ю. А., Макаров В. Л., Шелепов В. Г., Шульженко В. Б. Верификация схем
моделей для импульсных радиотехнических систем ... 40
Бандман О. Л., Пискунов С. В., Сергеев С. Н. Синтез параллельных микропрограммных
структур … 48
Михеев Ю. А., Фролов А. С., Криворотов В. Ф. Нормативный подход к организации
процесса. анализа в связи с совершенствованием систем управления ... 55
Рощин В. А., Сергиенко И. В., Семенова Н. В. О решении частично целочисленных
оптимизационных задач, выпуклых по непрерывным переменным ... 62
Шор Н. 3., Гершович В. И. Об одной модификации алгоритмов минимизации
градиентного типа с растяжением пространства для решения задач большой
размерности ... 67
Визинг В. Г., Комзакова Л. Н., Тарченко А. В. Об одном алгоритме выбора
интенсивностей работ в расписании ... 71
Дзех В. Н., Кудринский В. Ю., Трутень В. Е. Решение больших систем линейных
алгебраических уравнений на ЕС ЭВМ ... 75
Бушный А. Г. Один метод решения задач линейного целочисленного программирования
... 78
Скурихин В. И., Донченко Н. А., Урсатьев А. А. Экспресс-планирование экспериментов
при полигонных и натурных испытаниях. ... 82
Броди С. П., Богданцев Е. Н. Предельные теоремы для одного класса вложенных
полумарковских процессов ... 90
Духнич Е. И. Об одном подходе к выполнению цифровых линейных преобразований ... 96
Трушин С. Н. О решении одного класса задач методом последовательного анализа
вариантов ... 99
Токарева О. Н. Об оценках скорости сходимости алгоритмов на основе барьерных
функций с использованием задач квадратичного программирования ... 107
Глушков В. М., Иванов В. В., Яненко В. М. О новом классе динамических моделей и
его приложении в биологии. III ... 113
Онопчук Ю. Н. Переходные процессы в системе кровообращения. Исследования на
математической модели ... 128
КРАТКИЕ СООБЩЕНИЯ … 132
Зыков А. А. Неполные раскраски вершин гиперграфов ... 132
Андреева О. В., Голунков Ю. В. Программно-замкнутые классы функций алгебры
логики и предикатов ... 133
Орлов В. А. О двух классах схем в автоматных базисах ... 134
Цирлин Б. С. О реализации асинхронных логических схем ... 136
Карапетян М. С. О возможности построения эффективного алгоритма для проверки
некоторого свойства графа ... 137
Айзенберг Н. Н., Трофимлюк О. Т. Конъюнктивные преобразования дискретных
сигналов и их применение для отыскания тестов и распознавания монотонности
функций алгебры логики ... 138
Цатурян Г. Ж. Об одной модели системы с разделением времени при циклическом
обслуживании заявок ... 140
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ ... 143
НАУЧНАЯ ИНФОРМАЦИЯ ... 144
№6
Сергиенко И. В., Гуляницкий Л. Ф. Фронтальные алгоритмы оптимизации для
многопроцессорных ЭВМ ... 1
Тышкевич Р. И., Мельников О. И., Котов В. М. О графах и степенных
последовательностях: каноническое разложение ... 5
Трофимов В. И. О функциях роста некоторых классов языков. ... 9
Зуев М. Ф., Хвостанцев М. А. Об абстрактно-автоматной полноте в классе
многоместных операторов ... 13
Васильев Ю. П. Описание конечных непростых групп с помощью ЭВМ. IV. ... 17
Зайченко Ю. П., Теленик С. Ф. К вопросу об автоматизированном проектировании
информационных систем ... 21
Сиймон. А.-А. А. Векторно-временные переключательные функции для аналитического
описания процессов переработки информации в блоках и связей между блоками
(ВППС-функции, подкласс ВП-функции) ... 31
Корниенко Г. И. Основные принципы разработки цифровых вычислительных комплексов
для многоканальной обработки данных натурных испытаний ... 35
Долгополов А. С. Распознавание искажений информации при передаче
последовательным кодом … 40
Бордецкий А. Б., Казаринов Л. С. Об определении комитета системы взвешенных
неравенств ... 44
Кулинкович А. Е., Никитин А. И., Нуриев У. Г. Экономичный алгоритм оптимизации
плана распределения вычислительной техники по ведомостям ... 49
Данильченко И. А., Макаренков Ю. М., Пшеннова Э. Ф. Использование блочнодиагональной системы ограничений в алгоритмах сокращения размерности задач
линейного программирования … 54
Гапоненко Ю. Л. Об одном методе отыскания глобального экстремума для нелинейного
функционала ... 58
Вапнярский И. Б. Динамические задачи математической теории стандартизации ... 62
Канцедал С. А., Малых О. Н. О классах расписаний … 68
Сухарев А. Г. Об одном подходе к исследованию эффективности квадратурных формул ...
75
Коновалюк В. С. Двухканальная система с зависимыми отказами ... 81
Баранов В. В. О рекуррентных алгоритмах адаптивного управления. в стохастических
системах … 88
Стойкова Л. С. Допредельные функции распределения и предельные многочлены в
одной экстремальной задаче Чебышева. ... 95
Дриянский В. М., Комарова Т. Н. О вероятностно-статистической модели поиска в
дескрипторных информационных системах ... 105
Глушков В. М., Стогний А. А., Биба И. Г., Вашенко Н. Д., Галаган Н. И., Гладун В.
П., Рабинович 3. Л., Сакунов И. А., Хоменко Л. В. Системы автоматизации
творческих процессов в научных исследованиях, проектировании и управлении
роботами.1. ... 110
КРАТКИЕ СООБЩЕНИЯ
Бродецкий Г. Л. О возможности эффективного резервирования промежуточной
информации при случайных отказах системы и запоминающего устройства ... 116
Николова Д., Шишков Д. Новая операция для ЭВМ … 119
Гусятников П. Б.; Половинкин Е. С. Задача преследования в квазилинейной
дифференциальной игре с простой матрицей ... 122
Емеличев В. А., Кравцов М. К. К оценке сложности алгоритмов решения транспортной
задачи … 124
Андреев Н. В., Онысык С. Б. Об оптимальном наблюдении стохастических систем с
распределенными параметрами ... 126
Гладштейн М. А., Комаров В. М., Баскаков В. А. О построении комбинационных
функциональных пользователей двоично-десятичных кодов на селекторахмультиплексерах ... 128
Чепурной Н. Д. Метод усредненных квазиградиентов со ступенчатой регулировкой шага
для минимизации слабо-выпуклых функций ... 131
Наконечный А. Н. Асимптотическое выражение распределения времени до поглощения
одного полумррковского процесса ... 132
Шевченко В. П. Об одном алгоритме минимизации автомата ... 134
Дейнеко В. Г., Трофимов В. М. О возможных значениях функционала в специальных
задачах … 135
Веселов С. И. О числе крайних точек главного многогранника задачи групповой
минимизации ... 137
Белицкий Р. И., Палагин А. В., Сигалов В. И. Управляющий мультипроцессор с
распределенной операционной системой ... 138
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ