кибернетика и системный анализ» за 2010 год
advertisement
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 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
