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

СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА» ЗА 1975 г.
№1
Коршунов А. Д., Об одном алгоритме нахождения паросочетаний в конечных графах ...1
Страздинь И. Э., Самодвойственные преобразования в многозначных логиках ... 9
Топольян К. О., Об одном подходе к проблеме синтаксического анализа ... 22
Лисовик Л. П., Обобщенные конечные генераторы и проблема тождества дефиниторной
алгебры регулярных событий ... 25
Алешин С. В., О суперпозициях автоматных отображений ... 29
Яременко В. В., Соседнее кодирование вершин графа ... 35
Рогожин Ю. В., Неразрешимость проблемы бессмертия для машин Тьюринга с тремя
состояниями ... 41
Рысцов И. К., Диагностируемые автоматы ... 44
Новиков Г. И., Операционные автоматы с закрепленными и общими микрооперациями
48
Ющенко Е. Л., Погорелый С. Д., Программная совместимость ЭВМ и методы ее
реализации … 54
Фелижанко О. Д., О реализации различных режимов работы пользователя в системе
ПРОЕКТ средствами диалога ... 64
Ковалевич Э. В., Котов М. П., Марголин М. С., Эмуляция — схемно-программный
метод обеспечения программной совместимости ... 68
Pay О. И., Распределение сегментированной виртуальной памяти ... 71
Рвачев В. Л., Мацевитый А. М., Семенова А. Е., Система программирования для
расчета полей различной физической природы .... 77
Пригарин М. И., Транслятор для языка ДДЛ ... 80
Камынин С. С., Коновалов Н. А., Семячкин В. А., Машинно-независимый компилятор
с языка АЛМО. Часть А ... 85
Трофимчук Р. Н., Метод построения автоматов, реализующих заданное множество
экспериментов … 90
Проценко В. С., Операция квазирекурсии и проблема синтаксического анализа ... 94
Иванин В. М., Асимптотическая оценка математического ожидания числа элементов
множества Парето … 97
Гнатюк В. А., Алгоритм для одновременного решения прямой и двойственной задач
выпуклого программирования в банаховом пространстве … 102
Габровски И. 3., Ежов И. И., Захарин А. М., О системах обслуживания из класса
< GI, GI (), Е ())/m, 1 > … 108
Архипова Т. Т., Сергиенко И. В., Об условиях совпадения локального и глобального
экстремума в задачах оптимизации … 113
Мысовских П. И., Об одном выводе необходимых условий экстремума задачи
оптимального управления ... 116
Федоров В. В., Численные методы построения оптимальных планов для регрессионных
экспериментов … 124
Визинг В. Г., Графовая модель оптимизации в задачах очередности ... 131
Жилинскас А. Г., Одношаговый байесовский метод поиска экстремума функций одной
переменной … 139
Степаненко В. Н., Игры Гранди в условиях полуопределенности … 145
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ ... 150
№2
Рогожин Ю. В., Проблема бессмертия для машин Поста ... 1
Гиоргадзе А. X., Сафиулина А. Г., О декомпозиции вероятностных автоматов ... 6
Горский Ю. М., Информационный анализ причинно-следственных сетей,
представляемых функциями алгебры логики и конечными автоматами … 12
Мищенко А. Т., Формальный синтез и реализация автоматов на основе стандартных и
однородных схем. III ... 21
Бурдюк В. Я., Регулярные g-упорядочения и функции Смита .... 31
Некрылова 3. В., О скорости сходимости метода стохастического градиента .... 40
Кнопов П. С., Замечания о минимизации недифференцируемых функций ... 44
Дзюба Н. Н., Пшеничный Б. Н., О дискретном принципе максимума ... 46
Габелая А. Г., Иваненко В. И., Одарич О Н., Синтез асимптотической устойчивости
линейных систем в случае k-нулевых корней ... 50
Баженов Л. Г., Конечно-разностный метод в одной стохастической задаче оптимального
управления ... 57
Старобинец, С. М., О наибольшем внутренне устойчивом множестве графа ... 61
Бродецкая Т. С., Емкостно-временной анализ дискретной системы с циклическим
обслужгнанием … 64
Благовещенский Ю. В., Попов Б. А., Теслер Г. С., Методы вычисления взаимно
обратных функций … 69
Юдин Д. Б., Цой Э. В., Качественное исследование некоторых классов стохастических
задач … 73
Зиндер Я. А., Португал В. М., Математическая модель оперативного управления ходом
производства … 78
Бабенко Л. П., Рогач В. Д.. Ющенко Е Л., К вопросу сравнения и классификации языков
программирования ... 84
Мищенко Н. М., О свойствах расширяющейся системы программирования в системе
ПРОЕКТ … 91
Марков А. С., К вопросу об унификации языков программирования ... 95
Гладун В. П., Ващенко Н. Д., Методы формирования понятий на ЦВМ (обзор) ... 107
Гергей Т., Довгялло А. М., Кудрявцева С. П., Теоретические основы построения
автоматической системы для решения задач преобразования однородных массивов
информации … 113
Архипова Т. Т., Рощин В. А., Сергиенко И. В., Применение метода вектора спада для
решения некоторых задач организации вычислительного процесса в системах
коллективного пользования ЭВМ ... 124
Мишутин В. Г., К вопросу гибридного математического обеспечения цифро-аналоговых
вычислительных машин … 129
Авраменко Н. С., Слободянюк Т. Ф., Особенности реализации алгоритмического языка
в мини-ЦВМ ... 137
Ястремский А. И., Двойственность в двухэтапном стохастическом программировании и
стохастическая линейная модель производства … 141
Кухта Т. К., Шваб Н. Д., Система с переменным числом каналов ... 146
НАУЧНАЯ ИНФОРМАЦИЯ ... 149
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ .... 151
АННОТАЦИИ НА НОВЫЕ КНИГИ . . .151
№3
Каляев А. В., Плоские однородные автоматические коммутационные регистровые
структуры … 1
Валиев М. К., Диковский А. Я., Об иерархиях линейных КС-языков по времени их
распознавания … 11
Компельмахер В. Л., Лисковец В. А., Последовательное порождение перестановок с
помощью базиса транспозиций … 17
Клевачев В. И., О критериях полноты в симметрической группе конечной степени .... 22
Салмин С. П., Об одной формализации некоторых элементов информационной базы
АСУП … 26
Голунков Ю. В., Реализация микропрограммных базисов на регистрах сдвига ... 33
Горбань А. В., Северилов В. А., Вопросы анализа, синтеза и рационального выбора при
проектировании сложных целенаправленных систем … 40
Броварник В. В., Пепеляев В. А., Алгоритм генерирования тестов для обнаружения
неисправности типа ~ логических элементов в комбинационных схемах ... 48
Андон Ф. И., Вартанян Г. М., Об одном способе организации обслуживания запросов в
информационных системах ... 54
Анастасян Ю. Г., Об одном классе задач целочисленного линейного программирования
61
Чикрий А. А., Задача уклонения в нелинейных дифференциальных играх ... 65
Габелая А. Г., Иваненко В. И., Одарич О. Н., Стабилизируемость линейных автономных
систем управления … 69
Мелешко В. И., Динамическая оптимизация методом обобщенных квазиградиентов .....
73
Лившиц Э М., Индикатор места в задаче минимизации на перестановках ... 80
Гайцгори В. Г., Первозванский А. А., Агрегирование состояний в марковской цепи со
слабым взаимодействием ... 91
Стойкова Л. С., Шпак В. Д., О ненагруженном дублировании с ненадежным
обслуживающим прибором ... 99
Гусева О. В., Случайная минимизация с применением алгоритма наилучшей пробы 102
Фелингер А. Ф., Мера согласованности в ситуациях «типа голосования» ... 106
Габровски И. 3., Ежов И. И., Захарин А. М., Об одной марковской модели сложных
систем обслуживания ... 112
Соколов Н. П., Исследование набора специальных цепей Маркова, представленного
многомерной матрицей ... 125
Пытьев Ю. П., Проекционный анализ изображений … 130
Нурминский Е. А., Решетняк Т. В., О минимаксном подходе к прогнозированию
отдельных экономических показателей ... 140
КРАТКИЕ СООБЩЕНИЯ
Черепов О. Ф., Преобразование графа в двудольный расщеплением вершин … 142
Финкельштейн Ю. Ю., К вопросу о приближенном решении задач целочисленного
линейного программирования ... 143
Иванин В. М., Об одной оценке математического ожидания числа элементов множества
Парето ...145
НАУЧНАЯ ИНФОРМАЦИЯ … 147
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ . . . . 149
№4
Глушков В. М., О диалоговом методе решения оптимизационных задач ... 1
Капитонова Ю. В., Дискретные системы и задачи их реализации. I ... 7
Ершов А. П., Проектные характеристики многоязыковой системы программирования …
11
Глушков В. М., Капитонова Ю. В., Коваль О. А., Летичевский А. А., Лодысев А. П.,
Парницкий В. В., Чуйкевич В. А., Текстовая информационно-справочная система
(ТИСС) для журнала «Кибернетика» ... 28
Оллонгрен А., Формальная семантика ... 36
Шор Н. 3., Исследование сходимости метода градиентного типа с растяжением
пространства в направлении разности двух последовательных градиентов ... 48
Кожевникова Г. П., Стогний А. А., Представление аналитических выражений при
выполнении на ЦВМ формальных преобразований ... 54
Бухараев Р. Г., Васильев А. И., Еникеев А. И., МАТИСС — система автоматизации
абстрактных математических исследований на ЭВМ … 67
Тамм Б. Г., Тыугу Э. X.. О создании проблемно-ориентированного программного
обеспечения … 76
Андрека X., Гергей Т., Немети И., Многосортные языки и их связь с языками n-го
порядка … 86
Гродзкий 3. К., Сложность вычислений на управляемых булевых регистрах сдвига … 93
Закревский А. Д., Автоматизация логического синтеза дискретных устройств … 100
Ермольев Ю. М., Стохастические модели в методы оптимизации ... 109
Пшеничный Б. Н., О задаче убегания ... 120
Супруненко Д. А., К теории Кёнига ... 128
Маслов С. Ю., Теория поиска вывода и некоторые ее применения … 134
№5
Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л., Теория автоматов и некоторые вопросы
синтеза структур языковых процессоров ... I
Капитонова Ю. В., Дискретные системы и задачи их реализации. II ... 21
Тер-Акопов А. К., Оптимизация дискретных преобразователей по быстродействию
относительно композиции автоматов ... 27
Годлевский А. Б., О связи логико-термальной эквивалентности схем программ с одним
случаем специальной проблемы функциональной эквивалентности дискретных
преобразователей … 32
Голунков Ю. В., Программно-автоматная реализация подстановок симметрической
полугруппы. II ... 35
Пешель Р., Число максимальных замкнутых относительно суперпозиции классов
функции над конечным семейством конечных множеств ... 43
Битюцкий В. П., Итеративные процедуры разложения элементов симметрических
полугрупп 49
Рубцов В. А., О некоторых оценках меры информационной избыточности систем
образующих, порождающих симметрическую группу постановок ... 51
Сабельфельд В. К., О преобразованиях унарных линейных рекурсивных схем ... 56
Непомнящий В. А., О емкостной сложности распознавания контекстно-свободных
языков 64
Шумей А. С., Об использовании слабых отношений предшествования между
определяющими символами в синтаксическом анализаторе ... 69
Бычваров С. X., Концепция умолчания и системы обучения ... 77
Шахбазян К. В., Тушкина Т. А., Лебединская Н. Б., Задача параллельного
упорядочивания на графах со структурой параллельно-последовательных сетей … 81
Модина Л. С., Древесные грамматики и языки ... 86
Редько В. Н., Лисовик Л. П., Проблема тождества для квазирегулярных алгебр над
коммутативной полугруппой и коммутативные полугрупповые языки .... 94
Бусленко В. Н., Об автоматизированных имитационных моделях сложных систем ... 97
Асланян Л. А., Об одном методе распознавания основанном на разделении классов
дизьюнктивными нормальными формами ... 103
Глушков В. М., Молчанов И. П., Погребинский С. Б. Клименко В. П., Фишман Ю. С.,
Яковлев М. Ф. О внешнем математическом обеспечении электронной цифровой
вычислительной машины МИР-2 ... 111
Глушков В. М., Клименко В. П., Лосев В. Д., Молчанов И. Н., Погребинский С. Б.
Характеристика и область применения ЭВМ МИР-2 … 115
Супруненко Д. А., К задаче о бродячем торговце … 121
Архипова Т. Т., Сергиенко И. В., Метод возможных направлений и метод вектора спада
в целочисленном программировании … 125
Фукс Зигфрид, Байесовские оптимальные двухступенчатые иерархические системы
распознавания ...129
Коваленко И. Н., О теоремах инвариантности для случайных булевых матриц ... 138
Леоненко Н. Н., Центральная предельная теорема для однородных случайных полей с
весовой функцией ...153
КРАТКИЕ СООБЩЕНИЯ
Айзенберг Н. Н., Иваськив Ю. Л., О групповых свойствах тестов, используемых в
задачах диагностики, надежности и контроля … 156
№6
Богомолов А. М., Скобелев В. Г., Об одном алгоритме решения диагностической и
установочной задач с автоматом ... 1
Бублик В. В., Обобщенная контекстно-свободная грамматика алгоритмического языка
АЛГОЛ 68 7
Тузов В. А., Эквивалентность отношений перевода … 15
Заровный В. П., Автоматные основания теории импульсных линейных систем ... 23
Непомнящая А. Ш., О синтаксическом анализе КС-языков на детерминированных
магазинных автоматах ... 32
Очаковская О. Н., Сложность вывода эквивалентных операторных схем Янова ... 43
Липская В. А., Марковские процессы словообразования в формальной грамматике … 51
Литвинов В. А., Алгоритм произвольно-последовательной обработки файлов ... 56
Косарев В. В., Об одном подходе к разработке математического обеспечения
специализированных ЦВМ ......... 59
Брона И. И., Самойлова И. П., Об одном подходе к объединению функциональных
элементов 65
Гречишников А. И., О построении цифровых интегрирующих машин и структур на
основе одного вида избыточных систем счисления ... 74
Щепочкин С. С., Управляемые линейчатые процессы …79
Бурков В. Н., Гроппен В. О., Максимальная циркуляция и минимальный разрез на
планарных орграфах ... 85
Рыжков А. П., Разбиение графа на минимальное число полных подграфов ... 90
Баграновская 3. В., О некоторых свойствах алгоритмов V-голосования ... 96
Рыков В. В., Регенерирующие процессы с вложенными периодами регенерации и их
применение при исследовании приоритетных систем массового обслуживания … 105
Шпилевский Э. К., Байесовские оценки параметров марковских процессов … 112
Андреев Н. В., Караченец Д. В., Массальский Г. Э., Об оптимальном управлении при
частичном взаимодействии двух марковских процессов с дискретным временем … 120
Гладкий В. С., Вероятностное округление чисел и аспекты его применения в
вычислительной математике и технике … 126
Товстик Т. М., Об одной оценке параметров корреляционной функции стационарного
случайного процесса ... 131
Гульчук Г. Г., Кирилюк Н. И., Маланюк Л. Б., О вычислении стационарной
вероятности пребывания агрегата в фиксированном состоянии … 137
КРАТКИЕ СООБЩЕНИЯ
Кнопов П. С., Об оценке параметра нелинейной регрессии методом стохастической
аппроксимации 141
Зайцева Ж. Н., Штейн М. Е., Построение оптимальных гамильтоновых циклов в
многовершинных графах .... 143
Донец Г. А., Попов И. И., О задаче выбора оптимальной последовательности контроля
устройств ЭВМ ... 145
Пепеляев В. А., Диагностирующие последовательности векторов для комбинационных
схем специального вида … 146
НАУЧНАЯ ИНФОРМАЦИЯ ..... 149