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

реклама
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 2010 ГОД
№1
КИБЕРНЕТИКА
Чеботарев А.Н. О классе формул языка L*, специфицирующих автоматы с конечной памятью
3
Донец Г.А., Колечкина Л.Н. Построение гамильтонова пути в графах перестановочных многогранников
10
Недашковский Н.А., Крошка Т.И. Вычислительные алгоритмы для линейных балансовых моделей межотраслевого экологоэкономического взаимодействия
17
Горбачук В.М. Равновесия Курно–Нэша и Бертрана–Нэша для гетерогенной дуополии дифференцированных продуктов
29
СИСТЕМНЫЙ АНАЛИЗ
Сергиенко И.В., Рязанов В.В., Белецкий Б.А., Быць А.В., Гупал А.М., Ржепецкий С.С. Методы предсказания пространственной
структуры белков
38
Стецюк П.И., Нурминский Е.А. Негладкий штраф и субградиентные алгоритмы для решения задачи проекции на политоп
59
Воронин А.Н., Зиатдинов Ю.К., Антонюк А.А. Теоретико-экспериментальный метод векторной оптимизации нейросетевых
классификаторов
64
Кнопов П.С. О некоторых прикладных задачах теории случайных полей
70
Емеличев В.А., Кузьмин К.Г. О радиусе устойчивости векторной задачи целочисленного линейного программирования в случае
регулярности нормы в критериальном пространстве
82
Никитин А.В., Юрченко И.В., Ясинский В.К. Устойчивость самонастраивающихся стохастических систем автоматического
регулирования с последействием. I. Асимптотическая устойчивость в среднем квадратичном систем линейных стохастических
дифференциально-разностных уравнений
90
Глибовец Н.Н., Федорченко В.М. Упрощенная инфраструктура для трансформации XML-моделей
105
Задорожный В.Ф. Проблема Ляпунова и синтез оптимальных систем управления
111
Зайцев Д.А., Шмелёва Т.Р. Верификация коммуникационных структур гиперкуба параметрическими сетями Петри
119
Дунаев Б.Б. Денежная масса и норма процента в равновесии экономики
129
Махорт А.Ф. О выборе стратегии налогообложения и равновесии в экономической системе
145
Пепеляева Т.В. Об одной задаче оптимального управления стохастическим полем
157
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Соболевский П.И., Баханович С.В., Горбач А.Н. Оптимизация тайлинга при численном решении многомерного уравнения
теплопроводности на кольце процессоров
163
НОВЫЕ СРЕДСТВА КИБЕРНЕТИКИ, ИНФОРМАТИКИ, ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ И СИСТЕМНОГО АНАЛИЗА
Алиев Т.А., Мусаева Н.Ф., Саттарова У.Э. Робастные технологии вычисления нормированных корреляционных функций
172
НАУЧНАЯ ИНФОРМАЦИЯ
186
№2
КИБЕРНЕТИКА
Згуровский М.З. Метрические аспекты периодических процессов в экономике и обществе
3
Терещенко В.Н., Анисимов А.В. Рекурсия и параллельные алгоритмы в задачах геометрического моделирования
10
Масол В.И., Ромашова Л.А. Условия единственности решения неоднородной системы нелинейных случайных уравнений над
полем
23
Померанцева Т.Н., Болдак А.А. Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира
37
СИСТЕМНЫЙ АНАЛИЗ
Згуровский М.З., Гвишиани А.Д., Ефремов К.В., Пасичный А.М. Интеграция украинской науки в мировую систему данных
49
Сергиенко И.В., Дейнека В.С. Идентификация параметров квазистационарных задач термоупругости
59
Панкратова Н.Д. Системная стратегия гарантированной безопасности функционирования сложных технических систем
81
Скопецкий В.В., Марченко О.А., Самойленко Т.А. Построение и исследование нелинейной дифференциальной модели
двухфазных сред
92
Задирака В.К., Мельникова С.С., Луц Л.В. Оптимальные квадратурные вычисления интегралов от быстроосциллирующих
функций в случае сильной осцилляции в интерполяционном классе Липшица
105
Дзюбенко К.Г., Чикрий A.A. Об одной задаче сближения для дискретной системы со случайными возмущениями
113
Касьянов П.О. Дифференциально-операторные включения и мультивариационные неравенства с отображениями псевдомонотонного типа
126
Михайлюк В.А. Общий подход к оценке сложности постоптимального анализа дискретных задач оптимизации
134
Бычков А.С., Иванов Е.В. О сходимости последовательностей нечетких персептивных элементов, заданных на разных
пространствах возможностей
142
Задоянчук Н.В., Касьянов П.О. Анализ и управление дифференциальным включением второго порядка с -коэрцитивным
демпфированием
152
Ясинский В.В. Исследование процессов самоорганизации в образовательных системах на основе метода синергетического
моделирования
161
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Львов М.С. Алгебраический подход к задаче решения систем линейных неравенств
175
№3
КИБЕРНЕТИКА
Коваленко И.Н. Обзор моих научных работ. Учителя и соратники
3
Левитская А.А. Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных
нелинейных уравнений над конечным коммутативным кольцом с единицей
28
Алексейчук А.Н., Шевцов А.С. Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных
шифров
42
Савчук М.Н. О работах киевской школы теоретической криптографии
52
Масол В.И., Кузнецов И.Н. Применение ускоренного моделирования к оценке количества некоторых -мерных подпространств над
конечным полем
69
СИСТЕМНЫЙ АНАЛИЗ
Коваленко И.Н., Коба Е.В. К классификации систем массового обслуживания с повторением вызовов
84
Atkinson J.B., Kovalenko I.N. Some light-traffic and heavy-traffic results for the GI/G/n/0 queue using the GM Heuristic
92
Кузнецов Н.Ю. О некоторых направлениях исследований, инициированных работами академика И.Н. Коваленко
101
Голодников А.Н., Ермольев Ю.М., Кнопов П.С. Оценивание параметров надежности в условиях недостаточной информации
109
Пономаренко Л.А., Меликов А.З., Фаттахова М.И. Приближенный расчет моделей беспроводных сетей микросотовой структуры
с очередями разнотипных вызовов
126
Стойкова Л.С. Обобщенные неравенства Чебышева и их применение в математической теории надежности
139
Лакатош Л. Системы с циклическим ожиданием
144
Лебедев Е.А., Семенов В.В. Функциональная предельная теорема для ветвящихся процессов с иммиграцией
152
Пустовая С.В. Исследование call-центров как систем массового обслуживания с повторными вызовами
162
Вовк Л.Б., Кнопов А.П., Пепеляева Т.В. О некоторых подходах к оцениванию финансового риска
169
Коба Е.В., Дышлюк О.Н. Оценка вероятности пересечения заявок сложной структуры в системах обслуживания
175
КРАТКИЕ СООБЩЕНИЯ
Фаль А.М. Стандартизация в сфере менеджмента информационной безопасности
181
Ендовицкий П.А. Уточнение асимптотической аппроксимации размера группы в парадоксе дней рождений
185
№4
КИБЕРНЕТИКА
Летичевский А.А., Годлевский А.Б., Летичевский А.А. (мл.), Потиенко С.В., Песчаненко В.С. Свойства предикатного
трансформера системы VRS
3
Скобелев В.В., Скобелев В.Г. О сложности анализа автоматов над конечным кольцом
17
Шахбазян К.В., Шукурян Ю.Г. Вхождения в моноидах треков
31
Захаров В.А. Проверка эквивалентности программ с помощью двухленточных автоматов
39
Елфимова Л.Д. Быстрые гибридные алгоритмы умножения матриц
49
Чеботарев А.Н. Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
60
Колчин А.В. Автоматический метод динамического построения абстракций состояний формальной модели
70
Годлевский А.Б. Предикатные преобразователи в контексте символьного моделирования транзиционных систем
91
СИСТЕМНЫЙ АНАЛИЗ
Bjrner D. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
100
Глибовец Н.Н., Гороховский С.С., Стукало М.С. Расширение языка Scala средствами параллелизма и распределенности
с помощью координационной системы Linda
117
Герман В.Н. Решение линейных ограничений над полем вещественных и рациональных чисел
123
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Лаврищева Е.М. Формальные основы интероперабельности компонентов в программировании
134
Дорошенко А.Е., Котюк Н.В., Николаев С.С., Цейтлин Г.Е., Яценко Е.А. Развитие инструментария алгебры алгоритмики с
целью разработки параллельных программ с использованием эвристических средств
151
Львов М.С. Полиномиальные инварианты линейных циклов
159
Летичевский A.А., Герман В.Н., Мороховец М.К., Щеголева Н.Н. Параллельный поиск вывода в логическом исчислении на
основе системы алгебраического программирования
169
НАУЧНАЯ ИНФОРМАЦИЯ
181
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ
187
№5
СИСТЕМНЫЙ АНАЛИЗ
Памяти академика B.C. Михалевича —
к 80-летию со дня рождения
3
Сергиенко И.В., Белецкий Б.А., Гупал А.М. Предсказание торсионных углов в аминокислотных последовательностях белков на
основе байесовской процедуры распознавания на цепях Маркова
4
Кунцевич А.В., Кунцевич В.М. Устойчивость в области нелинейных разностных включений
11
Михалевич М.В. , Кошлай Л.Б. Моделирование рынка труда с использованием двухаргументной функции предложения труда
18
Гуляницкий Л.Ф., Сиренко С.И. Разработка и исследование кооперативных моделе-ориентированных метаэвристик
31
Белоусов А.А., Бердышев Ю.И., Ченцов А.Г., Чикрий А.А. О решении игровой задачи динамического коммивояжера
40
Кнопов П.С., Касицкая Е.И. О больших уклонениях эмпирических оценок в задаче стохастического программирования при нестационарных наблюдениях
46
Стецюк П.И., Кошлай Л.Б. Оптимальная нормированная структура спроса и добавленной стоимости в продуктивной модели
Леонтьева
51
Ильченко М.Е., Урывский Л.А. Аспекты системного анализа в прикладной теории информации для телекоммуникаций
60
Шило В.П., Шило О.В. Решение задачи о максимальном разрезе графа методом глобального равновесного поиска
68
Зак Ю.А. Математические модели схем компромисса в многокритериальных задачах математического программирования с
размытыми ограничениями
80
Белан Е.П. Динамика стационарных структур в параболической задаче с отражением пространственной переменной
99
Орлов И.В. Универсальные компакты в
112
Гребенник И.В., Панкратов А.В., Чугай А.М., Баранов А.В. Упаковка -мерных параллелепипедов с возможностью изменения их
ортогональной ориентации в -мерном параллелепипеде
122
Козин И.В. Структура группы Парето в задаче многокритериальной оптимизаци
132
Михайлюк В.А. Об оценках числовых характеристик сложности постоптимального анализа дискретных задач оптимизации
136
Кудин А.М. Криптографические преобразования нешенноновских источников информации
143
КИБЕРНЕТИКА
Памяти академика А.А. Дородницына — к 100-летию со дня рождения
150
Згуровский М.З., Болдак А.А., Померанцева Т.Н. Анализ влияния глобальных угроз на устойчивое развитие стран и регионов
мира с помощью байесовских сетей доверия
152
Сергиенко И.В., Молчанов И.Н., Химич А.Н. Интеллектуальные технологии высокопроизводительных вычислений
164
Гладкий А.В., Скопецкий В.В. О численном моделировании и оптимизации однонаправленных волновых процеcсов в неоднородных средах
177
№6
КИБЕРНЕТИКА
Скобелев В.Г. О вычислительной стойкости квантовых алгоритмов преобразования информации
3
Шахбазян К.В., Шукурян Ю.Г. Об оптимизационных проблемах включения треков
17
Михайлюк В.А. Реоптимизация задачи о покрытии множествами
27
Шкильняк С.С. Логики квазиарных предикатов первого порядка
32
Кузнецов И.Н. Верхние и нижние оценки количетва некоторых -мерных подпространств заданного веса над конечным полем
51
СИСТЕМНЫЙ АНАЛИЗ
Булавацкий В.М., Скопецкий В.В . Математическое моделирование некоторых сингулярно возмущенных процессов диффузии с
релаксацией
65
Deng-Shan Shiau, Halford J.J., Kelly K.M., Kern R.T., Inman M., Jui-Hong Chien, Pardalos P.M., Yang M.C.K., and Sackellares J.Ch.
Signal regularity-based automated seizure detection system for scalp EEG monitoring
74
Ковальчук Л.В. Построение верхних оценок средних вероятностей целочисленных дифференциалов композиции ключевого
сумматора, блока подстановки и оператора сдвига
89
Гребенник И.В. Описание и генерация перестановок, содержащих циклы
97
Емец О.А., Парфёнова Т.А. Транспортные задачи на перестановках: свойства оценок в методе ветвей и границ
106
Михалек Я., Веселый В. Сравнение оценок ROC-кривых методами моделирования
113
Бондарев Б.В., Баев А.В. Об одном методе нахождения стабилизационного управления накопительным фондом с функциями
страховой компании
10
Царьков Е.Ф., Ясинский В.К., Малык И.В. Устойчивость в импульсных системах с марковскими возмущениями в схеме
усреднений. I. Принцип усреднения для импульсных марковских систем
128
Михалевич В.М. О некоторых классах правил выбора предпочтений в задачах принятия решения
140
Сериков С.А. Нейросетевая модель двигателя внутреннего сгорания
155
Гриза Ю.Ф., Мамонова А.В. Флюктуации процесса обслуживания в сети с полумарковским (импульсным) входным потоком
166
Плешаков Г.Н. Компьютерное решение фундаментальной проблемы исключения
171
КРАТКИЕ СООБЩЕНИЯ
Ляшко С.И., Семенов В.В. Об одной теореме М.А. Красносельского
180
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 2010 ГОД
189
Скачать