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

реклама
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 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
Скачать