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

СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА» ЗА 1978 г.
№1
Иткин В. Э. Эквивалентность свободных схем программ ... 1
Вуда А. О. Функциональная эквивалентность стандартных схем с узловыми вершинами ...
10
Тлюстен В. Ш. Разрешимость униформной проблемы останова в классе машин Поста с
двумя состояниями ... 24
Самойленко Л. Г. О контекстных свойствах индексных грамматик … 31
Зайтман Г. А., Холоденко О. А. Программа синтаксического анализатора для
произвольных кс-грамматик ... 36
Злотник Б. М. Алгоритмы нумерации элементов групп Матье М11, М12 и коррекция
ошибок в кодах, эквивалентных этим группам ... 40
Шило В. Н. Признаки оптимальности языков, метаязыков и моделей источников
информации … 45
Костырко В. С. Об одной методике доказательства правильности программ ... 50
Погосян И. А., Касян А. А., Машкин В. И. Об одном подходе к эффективной
организации функционирования вычислительных систем с дублированием … 59
Ермольев Ю. М., Гупал А. М. Аналог метода линеаризации в задачах минимизации
недифференцируемых функций ... 65
Шор Н. 3., Галустова Л. А., Момот А. И. Применение математических методов при
оптимальном проектировании Единой газоснабжающей системы с учетом динамики ее
развития ... 69
Григорьева Н. С., Романовский И. В. Задачи составления циклических расписаний ... 75
Дворянкин А. М., Половинкин А И., Соболев А. Н. Об автоматизации поиска
принципов действия технических систем на основе банка физических явлений ... 80
Горелик В. А. Иерархические оптимизационно-координирующие системы ... 87
Нигматуллин Р. Г. О приближенных алгоритмах с ограниченной абсолютной
погрешностью для дискретных экстремальных задач ... 95
Дабагян А. В., Лысенко А. И., Горелый А. В., Пинаев Е. Г. Игровая постановка задачи
распределения средств в транспортной системе … 102
Гебель М. Задача об управлении для уравнений эллиптического типа ... 107
Кукса А. И., Лаптин Ю. П. Динамическое программирование в сетевой задаче
нахождения кратчайшего расписания … 111
Скалецкая Е. И., Скалецкий В. В. Алгоритм решения последовательности систем
линейных уравнений … 114
Охрименко М. Г. Решение некоторых нелинейных задач оптимального управления …
117
Анисимов В. В., Гасаненко В. А. Управляемые редеющие потоки … 119
Ефимов А. Н., Криворуков Е. В. К выбору эффективной последовательности операций
статистического прогнозирования и функциональных преобразований случайных
процессов ... 123
Андон Ф. И., Башинский Н. А. Об одном подходе куменьшению времени поиска
информации … 126
КРАТКИЕ СООБЩЕНИЯ
Маркин Е. А. О задаче уклонения для одного класса динамических систем, описываемых
волновым уравнением ... 132
Гупал А. М., Мирзоахмедов Ф. Об одном способе регулировки шага в методах
стохастического программирования ... 133
Щепакин М. Б. О свойствах суммарных направлений смещения ... 135
Романкевич А. М. Об одном способе построения нелинейных генераторов
псевдослучайных последовательностей ... 136
Медведовский И. Б. Теорема о минимаксе ... 137
Быков В. Н. Об одной задаче размещения с разрывной функцией цели ... 139
АННОТАЦИИ ... 141
НАУЧНАЯ ИНФОРМАЦИЯ ... 142
№2
Чеботарев А. Н. Декомпозиция асинхронных логических схем. I ... 1
Бублик В. В., Гороховский С. С. Алгебраическая трактовка структур данных ... 10
Иванов П. М. Автоматные выражения в системе алгоритмических алгебр с
коммутативной алгеброй условий ... 16
Гонца М. Г. Редуктивные грамматики с контекстным управлением ... 21
Мейтус В. Ю. Преобразующие категории и конечные преобразователи. I ... 28
Журавлев Ю. И. Корректные алгебры над множествами некорректных (эвристических)
алгоритмов. III ... 35
Непомнящий В. А. Примеры предикатов, невыразимых s-рудиментарными формулами ...
44
Петренко А. И., Тетельбаум А. Я. Модели электронных устройств при решении
конструкторских задач ... 47
Броварник В. В. 'Контроль кольцевых автоматов … 55
Гупал А. М. Об аналоге метода возможных направлений в задачах минимизации
недифференцируемых функций ... 62
Бурдюк В. Я., Кахичко А. А., Щербак В, В. О построении всех гамильтоновых путей в
турнирах … 68
Мельник И. М. Неоднородная сетевая транспортная задача ... 69
Голодников А. Н., Стойкова Л. С. Численный метод оценки некоторых функционалов,
характеризующих надежность ... 73
Жук К. Д., Васильев В. П. К определению управляемости одного из подклассов логикодинамических систем управления ... 78
Кесельман Д. Я. Одна бесконтурная ориентация ребер графа ... 83
Бейко И. В., Зинько П. Н. Некоторые вероятностные оценки для алгоритмов
стохастического программирования с постоянным шаговым множителем ... 91
Андреев Н. В., Иваненко В. И., Шор Е. И. Об одном классе стратегий в управляемых
марковских моделях ... 96
Гриценко В. И., Назаренко Н. А. Задача оперативного управления многофазными
системами снабжения ... 100
Акимов А. П. К вопросу анализа многоприоритетных систем с переменной структурой и
ожиданием … 104
Перельмутер В. М. Алгоритм оптимизации дискретных стохастических систем с
неизвестными параметрами … 111
Гриншпан Л. А. Об одном подходе к анализу марковских случайных процессов с
конечным числом состояний … 116
Зайцев М. А. О каноническом виде и линейном упорядочении некоторых древовидных
графов … 120
КРАТКИЕ СООБЩЕНИЯ
Коровина Т. И. Многоязычный пословный перевод с использованием дисплея ... 125
Нариньяни А. С., ЯхноТ. М. Экспериментальная система анализа «снизу вверх» ... 126
Бидер И. Г. О формальной модели морфологии естественного языка ... 127
Котляров В. Т., Офенгенден Р. Г., Пилипчак С. И. Сравнительная оценка дисциплин
группового обслуживания в системе с ограниченной очередью … 129
Васильев Ю. П. Об одном способе описания с помощью. ЭВМ решетки подгрупп
конечной группы … 131
Котляр Б. Д. Об укладках прямоугольных параллелотопов … 133
Пасторе Г. Л., Ройз Б. А., Синельников А. А. О стохастической оптимизации в
многоэкстремальном случае ... 135
Павленко В. А. О среднем числе внутренних коммутаторов ... 137
Штатланд В. С. Об одной математической модели случайного акустического поля ... 139
Левитская А. А. Теоремы инвариантности для предельного поведения числа решений
системы случайных линейных уравнений над конечным кольцом ... 140
Чернявский А. Г. Верхние оценки коэффициентов линейных пороговых форм ... 142
Аветисян Г. Г. Универсальность одного класса задач минимизации числа
переналадочных работ ... 143
АННОТАЦИИ ... 145
НАУЧНАЯ ИНФОРМАЦИЯ ... 147
№3
Анисимов А. В., Лисовик Л. П. Проблемы эквивалентности конечноавтоматных
отображений в свободную и коммутативную полугруппы ... 1
Шукурян Ю. Г., Тер-Акопов А. К. Табличные программы и дискретные
преобразователи. I ... 8
Мейтус В. Ю. Преобразующие категории и конечные преобразователи. II … 15
Козловский В. А. О структуре контрольного эксперимента с автоматом ... 19
Горшков П. В. О соотношениях в алгебрах структур данных. I … 24
Гессель М. Обобщенный принцип суперпозиции автоматов относительно пары булевых
функций … 33
Буцан Г. П. Мультипликативные параметрические полугруппы … 38
Анкудинов Г. И. Вопросы теории плекс-языков … 44
Цейтлин Г. Е. Проблема тождественных преобразований схем структурированных
программ с замкнутыми логическими условиями. I ... 50
Марьянович Т. П., Петросян С. А., Распопов В. Б. Диалоговый метод в направленном
имитационном моделировании ... 58
Пухов Г. Е. Вычислительная структура для решения дифференциальных уравнений на
основе тейлоровских преобразований ... 63
Бродецкий Г. Л. Об одной задаче периодического запоминания результатов ... 70
Быков В. И., Сергиенко И. В. Один метод приближенного решения задач дискретного
программирования ... 75
Некрылова 3. В. Об асимптотическом поведении метода стохастического квазиградиента
... 81
Чикрий А. А., Раппопорт И. С. Линейная задача преследования несколькими
управляемыми объектами ... 86
Береснев В. В. Об оптимальных программах систем дискретных включений с
бесконечным временем функционирования ... 93
Матов А. Я., Жлуктенко В. И., Черноус К. А., Тищенко Н. Ф. Две дисциплины
непрерывного пополнения очереди в системе со смешанным приоритетом
обслуживания ... 100
Горелик В. А. Динамические системы с иерархической структурой управления ... 106
Голодников А. Н., Стойкова Л. С. Определение оптимального периода
предупредительной замены на основе информации о математическом ожидании и
дисперсии времени безотказной работы системы ... 110
Панков П. С. Комбинированный способ доказательства некоторых теорем
математического анализа при помощи ЭВМ ... 119
Кукса А. И., Сафронов И. А. Об одном методе оценки уровня ресурсов, необходимого
для выполнения частично-упорядоченной совокупности операций в заданное время ...
126
Костина Н. И. Имитационная модель для прогнозирования численности населения
территориального региона ... 131
КРАТКИЕ СООБЩЕНИЯ
Сочилина А. В. Алгорифм и программа установления выводимости, разрешающие
широкие классы формул ... 136
Гусятников П. Б. О двух проблемах теории дифференциальных игр ... 138
Остапенко В. В. О задаче убегания с интегральными и геометрическими ограничениями
на управления ... 140
Кондратьев А. С., Меньшиков Г. Г. Уточнение асимптотических выражений среднего
времени безотказной работы невосстанавливаемых резервированных систем ...142
Марков Л. А. Оптимальная специализация однотипных производственных линий ... 143
НАУЧНАЯ ИНФОРМАЦИЯ .... 147
№4
Глушков В. М., Капитонова Ю. В., Каспшицкая М. Ф., Сергиенко И. В.
Алгоритмическое обеспечение пакета программ ВЕКТОР-1, предназначенное для
решения одного класса задач проектирования ЭВМ … 1
Чеботарев А. Н. Декомпозиция асинхронных логических схем. II ... 6
Цейтлин Г. Е. Проблема тождественных преобразований схем структурированных
программ с замкнутыми логическими условиями. II … 10
Ромов Б. А. Об алгебрах Поста типа F4 ... 19
Лисовик Л. П. Коммутативное замыкание контекстно-свободных языков ... 23
Плесневич Г. С. О распознавании формальных языков на одномерных итеративных
автоматах … 29
Зубенко В. В. О конечно-автоматных изображениях в частично коммутативную
полугруппу ... 37
Могилевский Г. Л., Остроухов Д. А. К механическому исчислению высказываний с
использованием аналитических таблиц Шмульяна ... 43
Броварник В. В. Контроль комбинационных схем, синтезированных из многозначных
логических элементов ... 47
Переход И. А., Толкачев С. Ф. Обработка списковых структур в системе КОДИАЛ/ЕС ...
56
Гузик В. Ф. Определение параметров функциональных модулей интегрирующих
вычислительных структур ... 63
Шор Н. 3., Асельдерова И. М. Исследование одной элементарной задачи преследования
на сети … 66
Гусятников П. Б. Дифференциальная игра убегания … 72
Веселов С. И., Шевченко В. Н. Об экспоненциальном росте коэффициентов
агрегирующего уравнения … 78
Айзенштат В. С., Максимович Е. П. Некоторые классы задач о бродячем торговце … 80
Нгуен Ван Ви Транспортная задача по критерию времени с дополнительными
ограничениями … 84
Гайворонский А. А. О нестационарных задачах стохастического программирования …
89
Андреев Н. В., Шор Е. И. Условия эквивалентности многошаговой и одношаговой
оптимизации для объектов управления с памятью ... 93
Волкович В. Л., Волошин А. Ф. Об одной схеме метода последовательного анализа и
отсеивания вариантов ... 98
Остапенко В. В. О нелинейной задаче убегания ... 106
Стойкова Л. С. Оценки некоторых функционалов, характеризующих надежность ...113
Смикун Л. Б. Регулярные множества и конечные автоматы над -группами ... 120
Седунов Е. В., Печерская Н. А. Минимаксные планы регрессионных экспериментов c
учетом систематической ошибки ... 126
Бак Хынг Кханг Достаточное условие полноты линейных замыканий алгоритмов
распознавания … 131
КРАТКИЕ СООБЩЕНИЯ
Мирзоахмедов Ф. Об одной стохастической однопродуктовой задаче планирования
запасов с ограниченным и неограниченным сроками использования … 138
Гупал А. М. О свойствах функций, удовлетворяющих локальному условию Липшица …
140
Костырко В. С. О средствах доказательства правильности программ в языке АНАЛИТИК
… 142
Лодысев А. П. Переопределение структуры данных в ТИСС-2 ... 144
Поляк Б. Т. Минимизация сложных функций регрессии ... 148
Крапива А. И. Об одном подходе к определению минимального отсекающего множества
графа … 150
№5
Глушков В. М. Некоторые задачи создания и развития средств вычислительной техники,
стоящие перед молодыми учеными Института кибернетики АН УССР ... 3
Николенко В. Н. О преобразованиях асинхронных логических схем ... 6
Смикун Л. Б. Степени неразрешимости алгоритмических проблем, связанных с работой
автоматов на группах ... 9
Бублик В. В., Дорошенко А. Е., Кривой С. Л., Лябах В. Ф. Интерактивная обработка
структур данных ... 13
Гладкий А. В., Скопецкий В. В. Об одном итерационном методе решения краевых задач
... 19
Акимов А. П. Об одной модели двухуровневых систем обработки информации с
прерыванием ... 22
Никитин А. Н. Структурный анализ в алгебре АЦП … 27
Белецкий Р. И., Сыров В. В. Оптимальное кодирование микрокоманд при представлении
микроопераций элементарными конъюнкциями ... 30
Третьяков С. И. Алгоритм работы специализированных процессов для решения систем
уравнений ... 34
Михайлов В. М. Представление поверхностей в САПР … 37
Корниенко Г. И., Шеверда О. Н. Управление ресурсами в системах обработки данных
натурных экспериментов ... 41
Нурминский Е. А. К дифференцируемости многозначных отображений ... 45
Гупал А. М. Методы минимизации функций, удовлетворяющих условию Липшица, с
усреднением_ направлений спуска ... 49
Бабий А. Н. Алгоритм нахождения значения глобального экстремума функции
нескольких переменных с заданной точностью ... 52
Норкин В. И. Нелокальные алгоритмы минимизации недифференцируемых функций …
57
Желиховский А. А. Принципы организации диалоговой системы оптимизации ПИОНЕР
... 61
Бордунов Н. Н. О необходимых условиях оптимальности в стохастической гладковыпуклой задаче оптимального управления с дискретным временем ... 68
Раппопорт И. С. О линейной дифференциальной игре нескольких лиц с ограниченными
ресурсами управления ... 69
Лаптин Ю. П. Сравнение некоторых методов вычисления нижних оценок длительности
кратчайших расписаний ... 74
Кук Ю. В. Об одном обобщении леммы Неймана-Пирсона в теории распознавания
сигналов … 79
Гайворонский А. А. Методы поиска оптимальных множеств ... 83
Каниовский Ю. М. Об одном способе контроля точности вычислений в методе
статистического градиента ... 87
Корнилова Л. Е., Войтишин Ю. В. Некоторые свойства антицепей частично
упорядоченных множеств ... 90
Шило В. П. Применение методов стохастического программирования в задачах
управления диффузионными процессами ... 92
Коржова В. Н. Оптимизация алгоритмов оценки математического ожидания случайной
величины в различных режимах обработки данных ... 96
Фаль А. М. О времени достижения размаха уровня п в простейшем марковском
случайном блуждании ... 102
Дегтярев А. И., Жежерун А. П., Лялецкий А. В.О некоторых дедуктивных средствах
системы обработки математических текстов ... 105
Яценно Ю. П. Моделирование некоторых колебательных биопроцессов ... 108
Глушков В. М., Гринченко Т. А., Дородницына А. А., Драх А. М., Капитонова Ю. В.,
Клименко В. П., Крес Л. Н., Летичевский А. А., Погребинский С. Б., Савчак О. Н.,
Стогний А. А., Фишман Ю. С., Царюк Н. П. АНАЛИТИК-74 … 114
КРАТКИЕ СООБЩЕНИЯ
Глушкова О. В. Об одном методе недифференцируемой оптимизации ... 148
Васильев Ю. П. Алгоритм конструирования на ЭВМ автоморфизмов и решения вопроса
изоморфизма конечных групп ... 151
НАУЧНАЯ ИНФОРМАЦИЯ ... 65, 147
№6
Глушков В. М., Капитонова Ю. В., Летичевский А. А., К теории проектирования
схемного и программного оборудования многопроцессорных ЭВМ … 1
Анисимов А. В., Рекурсивные преобразователи над памятью ... 16
Шукурян Ю. Г. Табличные программы и дискретные преобразователи II. ... 27
Морозов А. М. Дифференцирование и интегрирование логических функций ... 33
Рысцов И. К. Оценка длины кратчайшего диагностического слова для конечного
автомата ... 40
Дьяченко В. Ф., Кегст М. Минимизация логических схем алгоритмов ... 46
Ворисенко В. И. Алгоритм построения схемы потока данных ... 53
Косарев В. В. О некоторых характеристиках систем интерпретации внутреннего языка
ЦВМ … 58
Рощин В. А., Сергиенко И. В. О приближенном решении некоторых задач
математического программирования со специальной структурой матрицы условий … 3
Трубин В. А. Эффективный алгоритм для задачи Вебера с прямоугольной метрикой … 67
Каниовский Ю. М., Кнопов П. С., Некрылова 3. В. О методе стохастического
программирования в гильбертовом пространстве ... 71
Мищенко А. Е. Оптимальное распределение ресурсов при объемно-календарном
планировании комплексов работ ... 80
Жук П. И. Литвак Е. И. Показатели надежности выделенной системы с облегченным
скользящим резервом при ограниченном восстановлении ... 86
Креденцер Б. П. О распределении времени до первого отказа одного класса сложных
систем … 98
Захарии А. М. Сложные рандомизированные полумарковские процессы ... 94
Кузнецов Н. Ю. Об инвариантности стационарных вероятностей состояний
высоконадежной резервированной системы с восстановлением ... 98
Львов Г. И., Фошкина Е. С., Ярошенко В. Н. Использование метода суммарного потока
при моделировании систем управления ... 102
Анисимов В. В. Предельные теоремы для переключающихся процессов и их применение
… 108
КРАТКИЕ СООБЩЕНИЯ
Хлебников А. И., Митченко А. И. Об одной методике автоматизированного синтеза
вычислительных устройств на заданной системе элементов ... 118
Ревин О. М. Об одном алгоритме синтеза двумерных итеративных систем ... 121
Березин С. А. О максимальных подалгебрах алгебр рекурсивных функций ... 123
Вышинский В. А., Тихонов Б. М. О переключательных функциях, описывающих схему
обратного входа в ССОК ... 125
Гузик В. Ф. Математическая модель интегрирующей вычислительной структуры
модульного типа на основе Т-алгоритмов ... 128
Чикрий А. А., Чикрий Г. Ц. Задача об уклонении от встречи с телесным целевым
множеством … 130
Кириченко Н. Ф., Клименко В. Г. О сходимости алгоритмов оптимального оценивания в
системах с неполной информацией ... 131
Файнзильберг Л. С. Применение методов статистического распознавания в
термографическом анализе состава металла ... 133
Левин В. А. Методика синтеза алгоритмов спектрального анализа для вычислительных
устройств с ограниченным объемом памяти ... 137
Берштейн М. С. Об одном методе вероятностного анализа конечных автоматов ... 139
АННОТАЦИИ
Корниенко Г. И., Барсук Я. И., Пих 3. А., Колесников А. Н., Рейзин А. Л. Система
отладки МО микропроцессоров на ЕС ЭВМ ... 141
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ ... 142
НАУЧНАЯ ИНФОРМАЦИЯ 144