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

advertisement
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА» ЗА 1986 г.
№1
Михалевич В. С., Каныгин Ю. М. Катализатор прогресса ... 1
Капитонова Ю. В., Овсеец М. И. Алгоритм построения оптимальной компоновки
линейно структурированных программных ресурсов ... 5
Хлобыстов В. В. Оценка координат источников сигналов при сферическом фронте волны
... 6
Грунский И. С., Копытова О. М. Об однозначной продолжаемости реакций автомата на
однородные входные слова ... 14
Костырко В. С., Бакулин А. В. Об индуктивном синтезе инвариантных утверждений и
функций программ ... 18
Торопов Н. Р. Диалоговое программирование в языке ЛЯПАС-М ... 25
Писарский А. В., Кургаев А. Ф. Выбор структурной реализации системы операторов ...
31
Ротко В. Ф. Эффективные алгоритмы синтеза графов с заданным множеством
фундаментальных разрезов или циклов ... 39
Мишин Ю. С. Способ описания графа на плоскости … 46
Токарева О. Н. Алгоритм решения задач НЛП с использованием модифицированной
функции Лагранжа 1. Исследование глобальной сходимости ... 51
Бердышев Ю. И., Ченцов А. Г. Оптимизация взвешенного критерия в одной задаче
управления ... 59
Вилков В. Б. Некоторые свойства функции Лагранжа в задачах математического
программирования … 65
Белецкий С. А. К задаче минимизации максимального штрафа на перестановках ... 70
Срочко В. А. Применение принципа максимума для численного решения задач
оптимального управления с терминальными ограничениями ... 73
Седунов Е. В., Сидоренко Н. Г. Планирование эксперимента на единичном шаре
гильбертова пространства при ограниченных ресурсах ... 78
Шульга Ю. Н. К вопросу моделирования транспортных систем ... 83
Безменов Н. И., Костенко Ю. Т., Малых О. Н. Итерационный алгоритм построения
разбиения множества параметров на основе информационного показателя связи ... 88
Ищенко Л. А., Либероль Б. Д., Руденко О. Г. О свойствах одного класса многошаговых
адаптивных алгоритмов идентификации ... 92
Алексеев С. К., Шлезингер М. И. Быстродействующий алгоритм предварительной
обработки изображений ... 97
Мелехин В. Б. Алгоритмы самообучения интегрального робота в сложных средах ... 102
Полтерович В. М. Экономическое равновесие при гибкой схеме рационирования ... 109
Кривцун Н. Н., Алеев Л. С., Тыднюк В. 3. Об одном варианте использования
вероятности гипотез при медицинской диагностике в иерархических системах тестов …
116
КРАТКИЕ СООБЩЕНИЯ
Володина В. В., Черкасский Б. В. О программе распознавания планарности и укладки
графа на плоскость ... 120
Нурминский Е. А. Глобальные свойства Е-субградиентных отображений ... 120
Столов Е. Л. Тестирование дискретных устройств с использованием эквивалентных
состояний ... 123
Дабагян А. А. Пакет прикладных программ для решения задач интерполяции и
аппроксимации с помощью атомарных функций ... 124
Кузнецов Н. Ю. Аналитико-статистический метод нахождения нестационарного
коэффициента готовности у альтернирующего процесса восстановления … 125
Покотило В. Г. Построение позиционной стратегии в игре группового преследования на
плоскости ... 128
№2
Петунин Ю. И., Шульдешов Г. А. Вычисление периметра плоской фигуры по ее
дискретизованному изображению ... 1
Карзанов А. В., Тимофеев Е. А. Эффективный алгоритм нахождения всех минимальных
реберных разрезов неориентированного графа ... 8
Романовский В. Ю. Проблема эквивалентности детерминированных МП-автоматов,
действующих в реальное время ... 13
Мощенский В. А. Об одном методе анализа тьюринговых вычислений. II ... 24
Молчанов И. Н., Брусникин В. Н. Численное решение дифференциальных уравнений
параболического типа второго порядка на ЭВМ с параллельной организацией
вычислений ... 30
Агибалов Г. П., Оранов А. М. Покрытие логических схем модулями некоторых
серийных систем ... 34
Садовников Ю. Ю. Операторный метод глобальной оптимизации ... 39
Малышко В. В., Харари Ф. Задача о минимальном блокирующем потоке в сети ... 44
Лабковский В. А. Управление при независимом изменении ненаблюдаемого параметра ...
48
Чан By Тхиеу. Конечный метод минимизации вогнутой функции при линейных
ограничениях и его применения ... 49
Токарева О. Н. Алгоритм решения задач НЛП с использованием модифицированной
функции Лагранжа. 2. Анализ локальной скорости сходимости … 54
Ненахов Э. И., Примак М. Е. О сходимости метода чебышевских центров и некоторых
его приложениях ... 60
Норкин В. И. О случайных липшицевых функциях … 68
Минченко Л. И. К вычислению субдифференциалов маргинальных функций ... 71
Бондаревский В. Г., Минченко Л. И. К свойствам дифференцируемых многозначных
отображений ... 77
Пресман Л. С. Анализ управления в многоуровневой организационной системе ... 80
Романов А. К., Терехов А. И. Учет фонда заработной платы в линейной
детерминированной модели динамики кадров в организации ... 88
КРАТКИЕ СООБЩЕНИЯ
Долгополов А. С. Неравномерные коды над полем GF(g), исправляющие вставки,
выпадения и замены символов ... 93
Попов А. Ю. Об одном методе решения задачи выбора оптимальных параметров
управления сложными логико-динамическими системами ... 96
Вышинский В. А., Винецкая Е. В. Алгебраический подход к решению задач на
матричной машине … 97
Икрамов X. Д., Молчанов И. Н. Алгоритм сингулярного разложения для
многопроцессорной ЭВМ с параллельной организацией вычислений ... 99
Муха Ю. П. Теория экстремальных переменных структур ... 102
Алиев А. А., Ахмедов Ф. Б., Бабаев Дж. А. Пакет прикладных программ РАНЕЦ-1 для
приближенного решения обобщенной задачи о ранце ... 105
Рымарук В. И. Устойчивость -квазиградиентных методов решения минимаксных задач
... 108
Пашаев А. Б., Ченцов А. Г. Обобщенная задача управления в классе конечноаддитивных мер ... 110
Бабаев Дж. А., Алиев А. А. Метод заменяющих ограничений для решения задач
дискретного программирования ... 112
Ляшко С. И. Импульсно-точечное управление псевдопараболическими системами … 116
Шульга Ю. Н., Федосов А. А. Исследование объемных стохастических сетей массового
обслуживания на периодах ожидания ... 117
Зиндер Я. А. Эффективный алгоритм для детерминированной задачи теории расписаний с
параллельными приборами ... 120
Борщевский А. В. Свойства оценок наименьших модулей для линейных и специальных
нелинейных моделей ... 122
№3
Михалевич В. С., Капитонова Ю. В., Летичевский А. А. О методах организации
макроковейерных вычислений ... 3
Журавлев Ю. И., Сергиенко И. В., Артеменко В. И., Чернякова А. М. Вопросы
применения результатов теории распознавания при автоматизированном выборе
алгоритмов решения задач в пакетах программ … 11
Галаган Н. И., Рабинович 3. Л. Интеллектуальные решающие системы ... 18
Воронков А. А., Дегтярев А. И. Автоматическое доказательство теорем. I. ... 27
Дегтярев А. И., Воронков А. А. Методы управления равенством в машинном
доказательстве теорем ... 34
Бухараев Р. Г., Сулейманов Д. Ш. О разработке автоматизированных обучающих систем
с интеллектуальными возможностями ... 42
Васильев В. И., Овсянникова Ф. П. Обучение распознаванию образов с заданной
надежностью ... 50
Анисимов А. В. Локальный алгоритм для задачи о кратчайшем пути из одного источника
... 57
Долгополов А. С. Автоматическая коррекция орфографических ошибок ... 61
Марчук Г. И. Некоторые проблемы математического моделирования и клинических
приложений в иммунологии ... 67
Михалевич В. С., Иванов В. В., Яненко В. М., Гюллинг Э. В. Интегрофункциональная
модель системы регуляции кроветворения ... 69
Петров Р. В., Степаненко Р. Н. Авторегуляторные процессы в иммунной системе и
принцип иммунологического мобиля ... 78
Перцев Н. В., Цырлова И. Г., Козлов В. А. Метод обработки экспериментальных данных
по кинетике стволовых кроветворных клеток ... 87
Атоев К. Л., Иванов В. В., Яненко В. М. Взаимосвязь процессов синтеза и расхода
энергии в ткани, пораженной вирусной инфекцией. Математическая модель ... 90
Онопчук Ю. Н., Полинкевич К. Б. Самоорганизация в одном классе нелинейных
динамических систем … 97
Полинкевич К. Б., Онопчук Ю. Н. Конфликтные ситуации при регулировании основной
функции системы дыхания организма и математические модели их разрешения ... 100
Бондаровская В. М., Богуш Л. А., Кириченко И. Ю. Развитие систем планирования
действий на основе результатов психологического исследования процесса решения
задач преобразования ситуаций ... 105
Зараковский Г. М., Рысакова С. Л., Турзин П. С. Психофизиологическая оптимизация
систем знаков, предназначенных для общения оператора с ЭВМ ... 112
КРАТКИЕ СООБЩЕНИЯ
Кулик Г. И., Тимошенко Я. Г., Король В. И., Зайцева С. Е., Петунин Ю. И.,
Бондаренко Т. И. Математическая модель для установления щадящих кроветворения
режимов противоопухолевой химиотерапии ... 119
Каспшицкая М. Ф., Глушкова В. В. Об устойчивости решения задачи коммивояжера с
движущимися объектами ... 121
Кантария Г. В. Метод проекции в декомпозиции информационного поиска ... 123
Урясьева О. М. Об оценке среднего для случайного поля по наблюдениям на окружности
... 124
№4
Кукса А. И., Платон Е. В. Об эффективности параллельных макроконвейерных
вычислении в частично-блочных задачах линейного и булева линейного
программирования ... 1
Салум X. Л. Оценка структурной сложности системы ... 8
Костырко В. С. О синтезе программных функций для for-циклов над структурами данных
... 13
Коляда А. А., Селянинов М. Ю. О формировании интегральных характеристик кодов
систем в остатках с симметричным диапазоном ... 20
Михалевич В. С., Редковский Н. Н., Перекатов А. Е. Методы минимизации функций на
простых множествах ... 25
Пшеничный Б. Н. Теоремы о неявных функциях для многозначных отображений ... 36
Попадинец В. И. Некоторые аспекты постановки и подхода к решению задачи Майера
для динамичеких процессов с дискретным множеством управлений … 44
Трубин В. А. Метод динамической декомпозиции для задач линейного программирования
с обобщенными верхними границами ... 49
Гриценко В. И., Корниенко Г. И., Леонидов В. В., Мудла Б. Г. Расчет объема ОЗУ и
величины выборки N при статистической обработке экспериментальной информации в
системах с распределенной обработкой … 54
Белецкий С. А. Эффективные приближенные алгоритмы для синхронизации поточных
линий ... 60
Стронгин Р. Г., Маркин Д. Л. Минимизация многоэкстремальных функций при
невыпуклых ограничениях ... 64
Анисимов В. В. Сближение укрупненных стохастических систем с неоднородными
полумарковскими ... 70
Дидук Н. Н. Информационные пространства. Понятия собственной информации и
неопределенности …
Дриянский В. М., Жогов Г. В. Модель локализации информационной потребности
абонентов в настраивающихся документальных информационно-поисковых системах ...
81
Крылов С. М. Формальная технология и универсальные системы. I ... 85
Нансалмаа Н. О применении правила заключения в неформальных математических
доказательствах ... 90
Марченко Д. И., Молчанова Н. И. О роли гипоксии в саморегуляции системы дыхания
при нагрузке … 93
Дунаев Б. Б. Статистическая модель изменения численности популяций ... 97
КРАТКИЕ СООБЩЕНИЯ
Урясьев С. П. Условия сходимости алгоритмов нелинейного программирования ... 103
Коломейко В. В., Петущак В. Д. Вопросы упрощения немодульных операций в
специализированных ЭВМ, работающих в ССОК ... 104
Алиев Н. Т. -субградиентные алгоритмы с растяжением пространства ... 106
Владимирова А. И. Минимаксное оценивание состояний систем, описываемых
рекуррентными уравнениями ... 107
Михайлюк В. А. Некоторые аспекты постоптимального анализа задачи минимизации
булевых функций ... 109
Коваленко И. Н. Об одной задаче А. Д. Соловьева из теории надежности
восстанавливаемых систем ... 111
Королюк В. С., Андреев Н. В. Управляемые процессы марковского восстановления с
малой вероятностью обрыва ... 112
Царенко Т. И. Построение доверительных интервалов для числового параметра
пуассоновских процессов … 114
Адасовский Б. И. О мере близости классов распознавания ... 116
Наконечный А. Н. Обращение функций распределения момента первого достижения
области марковским процессом ... 117
Зайко Ю. Г. Оценка вероятности безотказной работы для многорежимной
невосстанавливаемой резервированной вычислительной системы ... 118
Каминский В. А. Корреляционные ограничения в задачах стохастической оптимизации ...
122
№5
Гудивок П. М., Капитонова Ю. В. Рудько В. П. О конечных неприводимых подгруппах
группы GL (n, Z) … 1
Каюров В. Ю. Алгебраическая интерпретация Р-графов ... 17
Львов М. С. Инвариантные неравенства в программах, интерпретированных на
упорядоченном поле … 22
Крылов С. М. Формальная технология и универсальные системы. II ... 28
Капитонова Ю. В., Мищенко А. Т. Логическое проектирование унифицированных
автоматов. I ... 32
Данилин Ю. М., Ковнир В. Н. Об одной точной штрафной функции для задачи
нелинейного программирования ... 43
Панин В. М. Об асимптотической эквивалентности двух методов конечных штрафов
первого порядка … 47
Волкович В. Л., Заславский В. А. Алгоритм решения задачи оптимизации надежности
сложной системы с использованием в подсистемах разнотипных резервных элементов
... 54
By Нгок Фат. Об управляемости в многозначных дискретных процессах ... 62
Мельник В. С. Об оптимальном управлении эволюционными уравнениями с
многозначными операторами … 66
Нгуен Нгок Тю. Алгоритм максимизации линейной функции на множестве
целочисленных точек выпуклого многогранника ... 71
Чикрий А. А., Питцык М. В., Шишкина Н. Б. Первый прямой метод Л. С. Понтрягина и
некоторые эффективные способы преследования ... 75
Леонтьев В. К., Гордеев Э. Н. Качественное исследование траекторных задач ... 82
Дунаев Б. Б. Оптимальное управление хозяйственной системой ... 90
Белый Б. М. Метод ветвей и границ для наследственных функций выбора ... 99
Горелик А. Л. О регуляризации задачи распознавания объектов и явлений ... 103
Балк П. И. Использование доказательных вычислений на ЭВМ при изучении свойств
линейных отображений в конечномерных пространствах ... 106
Бабич Г. X. Принятие решений на основе анализа дерева решений в условиях неполноты
информации ... 113
КРАТКИЕ СООБЩЕНИЯ
Нурминский Е. А. Предварительные исключения в алгоритмах решения
комплементарных задач ... 121
Богданцев Е. Н., Цатурян Г. Ж., Сукиасян А. А. Модель анализа дублированной
системы с переменной нагрузкой на подсистемы … 123
Стойкова Л. С., Ющенко О. А. О влиянии закона распределения времени
восстановления защиты на надежность систем с защитой … 124
Семенюк С. В. О локально-регулярных свойствах структур данных ... 126
Пятков С. Н. Замкнутая двухканальная система обслуживания с формированием
очередей и переходом требований из одной очереди в другую ... 128
№6
Анисимов А. В. О локальной оптимизации раскраски графов ... 1
Винокур А. Б. Деревья Хаффмэна и числа Фибоначчи … 9
Ждан-Пушкин В. В., Устименко В. А. Классические группы и метрические схемы
отношений ... 13
Макаренко В. А. Построение эффективного алгоритма для нахождения изоморфизма
двух простых конечных полугрупп ... 20
Албертс М. Я. О возможностях различных типов альтернирующих автоматов ... 26
Ющенко Ю. А. Тождественные преобразования в алгебрах недетерминированных
алгоритмов. II ... 31
Годлевский А. Б., Кривой С. Л. Трансформационный синтез эффективных алгоритмов с
учетом дополнительных спецификаций ... 37
Капитонова Ю. В., Мищенко А. Т. Логическое проектирование унифицированных
автоматов. II ... 44
Тозони О. В. Алгоритмы функциональных преобразований в САПР ... 52
Яковлев Ю. С. Основы теории построения ряда персональных ЭВМ ... 62
Бузунов Ю. А., Козачков А. Л., Попович С. П. Математическая модель формирования
микропрограмм на основе оптимизации структуры управляющего автомата ... 67
Севастьянов С. В. Алгоритм с оценкой для задачи с маршрутами деталей произвольного
вида и альтернативными исполнителями ... 74
Муха Ю. П. Теория экстремальных переменных структур. II. Графовый анализ
экстремальных структур ... 80
Михалевич В. С., Редковский Н. Н. Антонюк А. А. Некоторые методы минимизации на
множестве неотрицательно определенных матриц ... 84
Фам Хонг Куанг. О достаточных условиях поимки в дифференциальных играх
преследования многими объектами одного убегающего ... 91
Норкин В. И. Случайные обобщенно-дифференцируемые функции в задаче невыпуклой
негладкой стохастической оптимизации ... 98
Горчаков В. Н., Синеглазов В. М. О строгости применения метода Галеркина в задачах
управления .. 103
Марьянович О. Т. Оптимальный выбор объемов реализации зависимых компонент
случайных векторов в методе Монте-Карло. I. Случай двух компонент … 106
Иванов В. В., Пацалюк С. С., Яненко В. М. Оценка эффективности функционирования
рабочих мест в сфере здравоохранения ... 110
Алексеев А. А. Динамическая индексно-распределительная задача ... 114
КРАТКИЕ СООБЩЕНИЯ
Видоменко В. П. Фибоначчивость -однородных триангуляций … 118
Агибалов Г. П., Евтушенко Н. В. Каскадная и параллельная приводимость автоматов ...
120
Васильев Р. Б. Мера автоматизируемости информационных процессов ... 123
Пшеничный Б. Н., Полищук Н. В. К вопросу об оптимальности по Парето в некоторой
модели производства и обмена ... 125
Download