кибернетика и системный анализ» за 1996 год

СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 1996
ГОД
№1
КИБЕРНЕТИКА
Суржко С.В., Ющенко Е.Л. Об одном подходе к построению алгебраических моделей
алгоритмов и программ ... 3
Лисовик Л.П., Канивец В.А. О проблеме эквивалентности отображений относительно
языков ... 13
Кривой С.Л. Обобщения алгоритмов поиска инвариантных соотношений в программах
над алгеброй термов ... 24
Левашенко В.Г. Шмерко В.П. Янушкевич С.Н. Решение булевых дифференциальных
уравнений на систолических массивах ... 36
Коваленко Н.С., Метельский В.М. О времени реализации конкурирующих процессов
при распределенной обработке … 54
СИСТЕМНЫЙ АНАЛИЗ
Сергиенко И.В., Шило В.П. Исследование решений случайно генерируемых задач
целочисленного линейного программирования с булевыми переменными ... 65
Кунцевич В.М., Пшеничный Б.Н. Минимальные инвариантные множества
динамических систем с ограниченными возмущениями ... 74
Коваленко И.Н. Об одной верхней оценке числа полных отображений ... 81
Скопецкий В.В. Доценко М.Р. Интегральное преобразование с обобщенной
конфлюэнтной гипергеометрической функцией ... 85
Дороговцев А.Я., Кукуш A.T. Асимптотические свойства непараметрической оценки
интенсивности неоднородного процесса Пуассона ... 91
Тимофеева Н.К. Об одном подходе к нахождению оптимального решения в задаче о
назначениях ... 104
Стецюк П.И. r-алгоритмы и эллипсоиды … 113
Герман О.В. Разрешающий принцип для задачи о минимальном покрытии 0,1-матрицы ...
135
Акбаров Д.Е. Необходимые условия оптимальности в форме вариационных неравенств
для объектов, описываемых уравнениями типа Гаммерштейна ... 146
Шибаев С.В. О некоторых содержательных сценариях поведения игроков и процессах
вычисления равновесия в играх при наличии неполной информации ... 152
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Парцвания В.М. Некоторые аспекты топологического синтеза информационновычислительных систем ... 171
КРАТКИЕ СООБЩЕНИЯ
Желтиков В.П., Эфендиев В.В. Управление стандартной системой с запаздыванием ...
180
№2
КИБЕРНЕТИКА
Анисимов А.В. Сложение без единиц переноса ... 3
Гарбовский В.В. О матричных соотношениях для функций разбиений ... 16
Козловский В.А. О представлениях групповых автоматов ... 21
Лиходед Н.А., Тиунчик А.А. Один метод построения параллельных форм алгоритмов на
основе локально параллельного глобально последовательного разбиения … 28
Кошлай Л.Б. Об одной иерархической процедуре принятия решений ... 42
Выжиковски Р., Каневский Ю.С., Масленников О.В. Решение систем линейных
алгебраических уравнений на процессорных матрицах ... 47
Перепелица В.А, Сергеева Л.Н. Исследование разрешимости с помощью алгоритма
линейной свертки 3-невырожденных дискретных многокритериальных задач ... 66
СИСТЕМНЫЙ АНАЛИЗ
Коваленко И.Н., Наконечный А.Н., Романов А.Б. Метод чебышевских приближений
функций распределения неотрицательных случайных величин ... 73
Гаврильченко О.П., Покотило В.Г. Исследования асимптотической устойчивости
нелинейных разностных включений ... 81
Редковский Н.Н., Гуреев В.А. О стратегиях поведения итерационных методов при
вырождении якобиана ... 90
Левитская А.А. Теоремы инвариантности для одного класса нелинейных систем
уравнений над произвольным конечным полем ... 103
Брусникин В.Н. О существовании решения в задаче оптимизации толщины пластинки ...
112
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Пшеничный Б.Н, Ненахов Э.И. Матричные задачи математического программирования
... 120
Годлевсквй А.Б. Параллельная динамическая семантика последовательных программ,
допускающая спекулятивные и инкрементальные вычисления ... 131
Беляева И.П., Полумиенко С.К. Основные концепции системы анализа городских
пассажирских перевозок САНТИ-П … 153
Тренев Н.Н. Некоторые принципы формирования согласованных решений в
распределенных системах ... 161
КРАТКИЕ СООБЩЕНИЯ
Лисовик Л.П. О распознавании совершенных размеченных деревьев с условием
регулярности ... 176
Шахбазян К.В., Шукурян Ю.Г. О языках в счетнопорожденных полу решетках ... 179
Чугаев В.И. Критические режимы функционирования самоорганизующейся системы при
внешних локальных воздействиях ... 182
№3
СИСТЕМНЫЙ АНАЛИЗ
Сергиенко И.В., Бабич М.Д., Задирака В.К. О некоторых подходах к исследованию
проблем оптимизации вычислений … 3
Пшеничный Б.Н., Соболенко Л.А. Метод обратновыпуклого программирования и
укладка параллелепипедов ... 16
Алексеев А.А. Модели консолидированных платежей ... 26
Бабич М.Д., Иваница В.В., Шевчук Л.Б. О приближенном методе отделения решений
нелинейных операторных уравнений … 32
Бейко И.В. Функции для определения ценности информации в конструктивной теории
оптимальных агрегированных моделей ... 43
Задирака В.К. Оптимизация одного класса алгоритмов сжатия информации ... 54
Задирака B.К, Мельникова С.С. Быстрое умножение многоразрядных чисел с
использованием БПФ ... 63
Кириченко Н.Ф., Матвиенко В.Т. Множественные проблемы анализа и синтеза систем
управления ... 68
Лукович В.В. Задачи оптимизации в системе электрохимической защиты трубопроводов
... 78
Лучка А.Ю. Интегральные уравнения с ограничениями и методы их решения … 82
Остапенко В.В., Павлыгин А.И. Динамические потоки в сетях для обобщенного закона
Кирхгофа ... 96
Хлобыстов Б.В., Кашпур Е.Ф. К задаче интерполирования полиномиальных операторов
... 102
Червак Ю.Ю., Червак О.Ю. Один из способов формулирования парето-лексикографических задач оптимизации ... 108
Березовский А.И. К оптимальному по точности восстановлению функций по сеточным
данным с погрешностью ... 111
Бесараб П.М. О сложности интегрирования обыкновенных дифференциальных
уравнений ... 122
Людвиченко В.А. Об оценках характеристик алгоритмов нахождения с заданной
точностью в N-мерном параллелепипеде глобального минимума функций ... 130
Остапенко О.С. О выборе сеток в кубатурных формулах вычисления интегралов для
некоторых классов функций двух переменных ... 136
Химич А.Н. Оценки возмущений для решения задачи наименьших квадратов … 142
Данильченко Л.С. О некоторых эффективных алгоритмах вычисления остатка и
возведения в степень многоразрядных чисел ... 145
КИБЕРНЕТИКА
Атаян В.В., Мороховец М.К. Сочетание формальных процедур поиска логического
вывода и естественных приемов поиска доказательств теорем в системе автоматизации
доказательств ... 151
КРАТКИЕ СООБЩЕНИЯ
Кудрицкий В.Д., Атаманюк И.П. Алгоритм определения оптимальных параметров
фильтра-экстраполятора Винера для нестационарных случайных процессов,
наблюдаемых с погрешностями ... 183
№4
КИБЕРНЕТИКА
Редько В.Н., Буй Д.Б. К основаниям теории реляционных моделей баз данных … 3
Лнсовик Л.П. Фрактальные множества, определяемые конечными преобразователями ...
13
Клименко В.П., Ященко В.А. В.М. Глушков и ЭВМ новых поколений ... 27
Лукьянов Б.Д. Детерминированные реализации недетерминированных автоматов … 34
Глушкова В.И. Оценка сложности реализации логических спецификаций на основе
контекстно-свободных грамматик ... 50
СИСТЕМНЫЙ АНАЛИЗ
Михалевич М.В., Сергиенко И.В., Кошлай Л.Б., Хмиль Р.В. Учет внешних факторов в
производственно-финансовых моделях переходной экономики ... 59
Сергиенко И.В., Гупал A.M., Пашко С.В. О сложности задач распознавания образов …
70
Хусаинов Д.Я., Марценюк В.П. Оптимизационный метод исследования устойчивости
линейных систем с запаздыванием … 88
Брусникин В.Н. О корректности решений дискретных схем задач проектирования
пластинок ... 94
Рублев Б.В. Алгоритм оценивания периметра плоской фигуры по ее дискретизованному
изображению ... 101
Постан М.Я. Однолинейная обслуживающая система с экспоненциально-ограниченным
временем ожидания ... 111
Грицюк В.И.. Петров Э.Г., Овезгельдыев А.О. Анализ и развитие модифицированных
рекуррентных алгоритмов наименьших квадратов для оценки параметров,
изменяющихся во времени ... 123
Лебедев Е.А., Пономарчук О.И. Об одном типе систем с отказами ... 129
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Снньков М.В., Закидальский А.И., Роенко Н.В., Яник А. Ф. Использование
параллельных процедур при восстановлении изображения в компьютерной томографии
… 134
Ветчинин В.В. Моделирование и оценка санитарно-гигиенической ситуации в
административных регионах Украины ... 138
Степаненко В.Н. Компьютерная арифметика комплексных величин ... 146
Краковский В.Я. Обобщенное представление и реализация алгоритмов повышения
быстродействия цифровых анализаторов мгновенного спектра ... 155
КРАТКИЕ СООБЩЕНИЯ
Немиш Ю.Н., Алексеева И.В. Об одном подходе к математическому моделированию
осесимметричных задач теории упругости для кусочно-однородных тел вращения ...
162
Городецкий В.Г. Об исследовании нелинейных неавтономных систем прямым методом
Ляпунова ... 166
Калиновский А.Я., Роенко Н.В., Синьков М.В. Методы построения нелинейностей в
расширениях комплексных чисел ... 169
Котляр В.Ю. Исследование возрастных свойств бинарной случайной величины … 174
НАУЧНАЯ ИНФОРМАЦИЯ … 182
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ … 185
№5
КИБЕРНЕТИКА
Рабинович З.Л., Ященко В.А. Подход к моделированию мыслительных процессов на
основе нейроподобных растущих сетей … 3
Лисовик Л.П. Применение макропреобразователей для задания частичных непрерывных
операторов в метрических пространствах ... 18
Провотар А.И. Геометрия рекурсии для арифметических и экзистенциально
определимых отношений ... 30
Наконечный А.Н. Оптимизация процессов риска .... 42
Овезгельдыев А.О., Петров К.Э. Компараторная идентификация моделей
интеллектуальной деятельности ... 48
Грунский И.С., Курганский А.Н. Неотличимость конечных автоматов с ограниченным
поведением ... 58
Сперанский Д.В. Преобразования автоматов для упрощения контроля ... 72
СИСТЕМНЫЙ АНАЛИЗ
Артеменко В.И., Гордеев Э.Н, Журавлев Ю.И., Кулаков Ф.М., Наумов В.Б.,
Потапчук Г.А., Сергиенко И.В., Сметанин Ю.Г., Урхард Р., Ходзинский А.Н.,
Хондерд Г. Метод формирования оптимальных программных траекторий перемещения
робота-манипулятор ... 84
Панин В.М., Александрова В.М. Регуляризованный метод решения вариационных
неравенств с монотонным оператором на многограннике ... 107
Стецюк П.И. Метод центров тяжести простых тел … 117
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Шевченко А.Н., Рокитянская В.Н. К вопросу об автоматическом дифференцировании
функций нескольких переменных … 139
Красиловец Л.В., Романюк В.А. Проблемы управления сетями пакетной радиосвязи с
промежуточным хранением информации и мобильными абонентами … 159
Тульчинский В.Г. Алгебро-грамматический подход к проектированию интерфейса ... 169
КРАТКИЕ СООБЩЕНИЯ
Добрев П.Г., Минов Я.О., Трифонов В.Т. Кодирование и декодирование вариаций без
повторений ... 180
Sana G.K. Software based EMI-fault tolerance in a PC-peripheral system ... 184
№6
КИБЕРНЕТИКА
Кузнецов Н.Ю. Нахождение перманента матрицы методом существенной выборки … 3
Чеботарев А.Н. Расширение логического языка спецификации автоматов и проблема
синтеза ... 11
Валькевич Т.А., Капитонова Ю.В., Летичевский А.А., Мищенко Н.М., Концепция
словарей программных компонентов и ее использование в процессе разработки
программных продуктов ... 27
Левашенко В.Г., Шмерко В.П., Янушкевич С.Н. Параллельные алгоритмы для
вычисления направленных логических производных многозначных функций алгебры
логики ... 41
Авгуль Л.Б. Полиномиальное разложение симметрических булевых функций табличным
методом ... 59
СИСТЕМНЫЙ АНАЛИЗ
Бакан Г.М., Волосов В.В., Куссуль Н.Н. Оценивание состояния непрерывных
динамических систем методом эллипсоидов … 72
Меликов А.З. Методы расчета и оптимизации моделей мулътиресурсных систем
обслуживания ... 92
Иванешкин А.И., Доровских А.В. Управление структурой очереди в одноканальной
системе с переменной скоростью обслуживания ... 112
Еремин И.И. Двойственность в несобственном программировании ... 125
Шарифов Ф.А. Нахождение минимального разреза с использованием базы расширенного
полиматроида ... 138
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Резник A.M., Городничий Д.О., Сычев А.С. Регулирование локальной обратной связи в
нейронных сетях с проекционным алгоритмом обучения ... 153
КРАТКИЕ СООБЩЕНИЯ
Провотар А.И. Неполнота в топосе ... 163
Недашковский Н.А. Решение систем линейных алгебраических уравнений специального
вида с полиномиально-численным заполнением ... 173