СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 2000 ГОД №1 КИБЕРНЕТИКА Берестовая С.Н., Капитонова Ю.В., Князькова З.В. Некоторые результаты анализа публикаций журнала «Кибернетика» («КиСА») за 35 лет 3 Капитонова Ю.В, Летичевский А.А., Волков В.А. Дедуктивные средства системы алгебраического программирования 17 Редько В.Н. Основания программологии 35 Анисимов А.В., Данильченко С.В. Квантовая модель вычислений. Основные принципы и достижения 58 СИСТЕМНЫЙ АНАЛИЗ Сергиенко И.В., Шор Н.З. Академик В.С. Михалевич — ученый и организатор науки 77 Згуровський М.З. Стан та перспективи розвитку методологџВ системного аналџзу в УкраВнџ 101 Сергиенко И.В., Дейнека В.С. Модели с условиями сопряжения и высокоточные методы их дискретизации 110 Гилкрист Р., Коваленко И.Н. Об оценке вероятности отсутствия коллизий некоторых случайных отображений 132 Ляшко И.И., Ляшко С.И., Войцеховский С.А. Приближенное решение одного класса задач теории оптимального управления в областях произвольной формы 138 Кунцевич В.М., Кунцевич А.В. Активная идентификация и управление при ограниченных шумах (возмущениях) 147 Моисеенко В.В., Яцкевич В.В. О глобальной оптимизации в классе стохастически унимодальных функций 157 Лебедев Е.А., Шмигевский Н.В. Сети обслуживания с многоканальными узлами в случайной среде 167 ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ Суржко С.В., Ющенко Е.Л. Программы с восстановлением вычислений 173 НАУЧНАЯ ИНФОРМАЦИЯ 182 №2 КИБЕРНЕТИКА Никитченко Н.С. Пропозициональные композиции частичных предикатов 3 Непомнящая А.Ш. Сравнение алгоритмов Прима–Дейкстры и Краскала с помощью ассоциативного параллельного процессора 19 Приказчиков В.Г., Лосева М.В. Асимптотическая оценка погрешности собственных чисел в методе конечных элементов для задачи Штурма–Лиувилля 28 Ротштейн А.П., Митюшкин Ю.И. Нейролингвистическая идентификация нелинейных зависимостей 37 СИСТЕМНЫЙ АНАЛИЗ Кузнецов H.Ю. Взвешенное моделирование вероятности монотонного отказа системы при существенно различных характеристиках надежности ее элементов 45 Емеличев В.А., Янушкевич О.А. Устойчивость и регуляризация векторной лексикографической задачи квадратичного дискретного программирования 54 Анисимов В.В., Кейбах Х.С. Асимптотические свойства оценок параметров нелинейных временных рядов 62 Григоркив В.С., Ляшенко И.Н. Оптимизационная динамическая модель Леонтьева–Форда в условиях экологического равновесия 73 Кириченко Н.Ф., Матвиенко В.Т. Общее решение задач терминального управления и наблюдения 80 Антонов А.В., Котляр В.Ю. Об одном из обобщений неравенства Иенсена 89 Волосов В.В., Куссуль Н.Н. Редуцированный эллипсоидальный наблюдатель состояния многомерных дискретных динамических систем 99 Новакович Д. Подсчет числа полных отображений для перестановок 106 Алексеев Д.А. Исследование параметров логистической функции и их экономическая интерпретация 110 ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ Тимченко Л.И. Многоэтапная параллельно-иерархическая сеть как модель нейроподобной схемы вычислений 114 Ситник А.Г. Исследование и разработка атласа оптимальных конфигураций, типоразмеров и площадей растровых элементов и фрагментов базового звена при синтезе цветных полутоновых изображений 134 Босикова И.И., Недашковский Н.А. Прямые методы решения систем линейных алгебраических уравнений с комплексными -матрицами 144 Кононенко И.В., Роговой А.И. Векторная оптимизация динамического типоразмерного ряда продукции 157 КРАТКИЕ СООБЩЕНИЯ Лисовик Л.П. О проблемах разрешимости для ND-систем 164 Остапенко В.В., Финин Г.С., Ганошина И.Н. Стягивание дуг при решении систем линейных неравенств со структурой графа 167 Руденская О.Г. Решение двух классов диофантовых уравнений с 2-квазипериодическими функциями 170 Мороз-Подворчан И.Г. О начальном этапе обоснованного проектирования ЭВМ в рамках задачного подхода 174 Козлюк И.А. Математическая модель процесса контроля и диагностирования изделий авиационной техники 180 Коба Е.В. Об условии устойчивости системы обслуживания M/D/1 с повторяющимися заявками и ограниченным временем ожидания 184 №3 КИБЕРНЕТИКА Чикрий А.А., Эйдельман С.Д. Обобщенные матричные функции Миттаг–Леффлера в игровых задачах для эволюционных уравнений дробного порядка 3 Рысцов И.К. О длине возвратных слов для автоматов с простыми идемпотентами 32 Винокуров С.Ф., Перязев Н.А. Полиномиальные разложения булевых функций по образам неоднородных операторов 40 Шишков Д.П. Достаточные условия детерминизации конечного автомата с сохранением числа состояний 55 Сперанский Д.В., Сперанский И.Д. Разрешающие возможности диагностических экспериментов с линейными автоматами 62 Мищенко А.А., Мищенко А.Т. Ускорение логического проектирования надежных управляющих автоматов. I 66 Кметь А.Б. К минимизации логических функций. Метод субимпликант 84 Ситник А.Г. Исследование и разработка атласа цветности для формирования растровых элементов и фрагментов базового звена при синтезе цветных полутоновых изображений 99 СИСТЕМНЫЙ АНАЛИЗ Анисимов В.В., Клыгунова Ю.Ю. Характериcтика мoментов выхода и моделей укрупнения состояний для конечных цепей Маркова в терминах функционалов глобальной памяти 110 Сикора В.С., Сущанский В.И. Системы порождающих групп автоматных подстановок 121 Ляшенко Е.А., Ряшко Л.Б. Оптимальные регуляторы, не удовлетворяющие теореме разделения 134 Иванешкин А.И. Оптимальное обслуживание стареющих заявок в одноканальной системе с переменной скоростью обслуживания и платой за аренду мест в буфере 145 Блохин Л.Н., Казак В.Н. Синтез оптимальной робастной системы стабилизации объекта с отказывающими элементами 151 Цепков Г.В. Корреляционно-спектральные преобразования сигналов в адаптивном секвентном базисе 159 ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ Цейтлин Г.Е., Амонс А.А., Головин О.В., Зубцов A.Ю. Интегрированный инструментарий проектирования и синтеза классов алгоритмов и программ 165 КРАТКИЕ СООБЩЕНИЯ Таташев А.Г. Одноканальная система с инверсионной дисциплиной обслуживания и разнотипными заявками 170 Синенко Н.В. Нелинейные колебания в линейном стохастическом осцилляторе 174 Коба Е.В. О производительности замкнутой сети с показательным временем обслуживания и периодически повторяющимися заявками абонентов 176 Алексейчук А.Н. О сложности булевых функций в классе канонических поляризованных полиномов 179 Никитин А.В., Ясинский В.К. Итерационная процедура решения обобщенного матричного уравнения Сильвестра 183 №4 КИБЕРНЕТИКА Сергиенко И.В., Парасюк И.Н., Провотар А.И. О применении категорных методов в Computer Science 3 Глазунов Н.М., Капитонова Ю.В. Вычислительные эксперименты в арифметической геометрии над конечными полями и их компьютерная поддержка 12 Мищенко А.А., Мищенко А.Т. Ускорение логического проектирования надежных управляющих автоматов. II 25 Барашко А.С. Об одном типе изоморфизма линейных и нелинейных сигнатурных анализаторов 41 Дорогов А.Ю. Структурный синтез двухслойных быстрых нейронных сетей 47 СИСТЕМНЫЙ АНАЛИЗ Згуровский М.З., Мельник В.С. Метод штрафа для вариационных неравенств с многозначными отображениями. I 57 Титенко И.М. Один подход к оценке эффективности иерархических систем 70 Ясинский И.В., Ясинский В.К. Исследование стохастической модели задачи «свисающий паук» с бесконечной предысторией и пуассоновскими переключениями 79 Смольяков Э.Р. Расширение классического бескоалиционного равновесия и программные дифференциальные игры 105 Киселева Е.М., Коряшкина Л.С. Об одной непрерывной задаче оптимального разбиения с недифференцируемым функционалом 115 Кудрицкий В.Д. Оптимальная линейная фильтрация и экстраполяция реализаций векторной случайной функции, наблюдаемых с погрешностями 125 Кузнецов Н.Ю. Расчет вероятности бесперебойной работы магистрального нефтепровода аналитико-статистическим методом (последовательная модель) 132 Шарифов Ф.А. Задача синтеза надежных сетей 145 КРАТКИЕ СООБЩЕНИЯ Скопецкий В.В., Ляшко С.И., Войцеховский С.А. Численное исследование эллиптических систем с разрывными коэффициентами 157 Заяць В.М. Построение и анализ модели дискретной колебательной системы 161 Руденская О.Г. 3-квазипериодические функции на графах и гиперграфах 165 Павленко О.И. Исследование одноканальной системы массового обслуживания с неограниченной очередью и марковскими упреждающими переключениями 168 Дикин И.И., Попова О.М. Применение метода внутренних точек при расчете потокораспределения в гидравлической системе с регуляторами 173 Остапенко В.В., Рыжкова И.Л. О линейной дифференциальной игре с фиксированным временем окончания и ограничениями на ресурсы 178 Остапенко Е.В. Игровые задачи для систем с разрывной динамикой 183 №5 КИБЕРНЕТИКА Мищенко А.А., Мищенко А.Т. Ускорение логического проектирования надежных управляющих автоматов. III 3 Литвиненко А.Е. Определение класса истинности логических формул методом направленного перебора 23 СИСТЕМНЫЙ АНАЛИЗ Сергиенко И.В., Шило В.П., Рощин В.А. РЕСТАРТ-технология решения задач дискретной оптимизации 32 Згуровский М.З., Мельник В.С. Метод штрафа для вариационных неравенств с многозначными отображениями. II 41 Котляр В.Ю., Антонов А.В. Статистический анализ мультипликативных схем: основные распределения 53 Краснитский С.М. Некоторые сравнительные аспекты условий эквивалентности вероятностных мер, соответствующих обычным и обобщенным случайным гауссовским полям 68 Ясинский Е.В., Ясинский В.К. Устойчивость решений стохастических дифференциально-функциональных уравнений с бесконечной предысторией и пуассоновскими переключениями. II 78 Бакан Г.М. Оптимизационный подход к задаче гарантированного оценивания состояний динамических систем 104 Плотников А.В. Необходимые условия оптимальности для одной нелинейной задачи управления пучками траекторий 112 Кузка А.И., Шпеник Т.Б. Алгоритм последовательного анализа вариантов для минимизации числа приборов в задаче составления расписания, удовлетворяющего директивным срокам 118 Бондаренко Ю.В. Вероятностная модель для описания эволюции финансовых индексов 123 Павленко О.И. О процессах риска со случайной процентной ставкой 128 Яковлева А.П. О проблеме живучести на функционально-дифференциальных включениях 134 ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ Яковлев Ю.С. О проблеме интеграции аппаратных и программных платформ при создании компьютерных систем 138 Акименко В.В. Компьютерная система поддержки принятия управленческих решений в условиях смешанной информации для систем экологического мониторинга атмосферы 151 Рокитянская В.Н. Вычислительные аспекты технологии компьютерного дифференцирования 167 КРАТКИЕ СООБЩЕНИЯ Барашко А.С. Обобщенная статистическая эквивалентность автоматов 176 Волох Л.В. Об одной оценке параметров случайных величин экспоненциального типа распределений 179 Ландарь А.И., Абламский В.А. Энергетический эквивалент информации 184 НАУЧНАЯ ИНФОРМАЦИЯ 185 №6 КИБЕРНЕТИКА Капитонова Ю.В., Чеботарев А.Н. Индуктивный синтез автомата по спецификации в логическим языке 3 Цейтлин Г.Е. Проблема функциональной полноты для мета-алгебр регулярных событий 14 Рокицкий Р.Б. Объектно-ориентированная базы данных с использованием реляционных СУБД 27 СИСТЕМНЫЙ АНАЛИЗ Сергиенко И.В., Лебедева Т.Т., Семенова Н.В. О существовании решений в задачах векторной оптимизации 39 Панин В.М., Скопецкий В.В., Лаврина Т.В. Модели и методы конечномерных вариационных неравенств 47 Наконечный А.Г., Подлипенко Ю.К., Зайцев Ю.А. Минимаксное прогнозное оценивание по неполным данным решений начальнокраевых задач для параболических уравнений с разрывными коэффициентами 65 Киселева Е.М., Васильева Н.К. Об условиях экстремума для непрерывной задачи оптимального разбиения множества с недифференцируемым целевым функционалом 75 Насирова Т.И., Япар Дж., Алиев И.М Об одной модели управления запасами. II 86 Майко Н.В., Приказчиков В.Г. Точность экстраполяции Ричардсона в задаче на собственные значения 101 Демченко С.С., Кнопов А.П., Пепеляев В.А. Оптимальные стратегии для систем управления запасами с выпуклой функцией издержек 113 Ясинская О.А. Абсолютная по нелинейности и запаздыванию устойчивость в среднем квадратическом стохастических дифференциальноразностных систем с пуассоновскими переключениями 121 Герасимов А.И. Синтез замкнутых сетей массового обслуживания с несколькими классами сообщений на основе их оптимизации и балансировки 130 Ясинская Л.И., Ясинский Е.В. Исследование устойчивости стохастической модели задачи «свисающий паук». III 141 Ибрагимов А.А. О существовании и единственности ситуации равновесия в марковских играх с переоценкой 152 КРАТКИЕ СООБЩЕНИЯ Хлобыстов В.В. К вопросу о сходимости интерполяционных процессов в гильбертовом пространстве 166 Финин Г.С. Решение локально конечной системы линейных неравенств со структурой ориентированного мультиграфа 173 Коба Е.В. Система обслуживания M/D/1 с заявками, повторяющимися через постоянное время, при частичной синхронизации входящего потока 177 НАУЧНАЯ ИНФОРМАЦИЯ … 181