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

advertisement
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 1997
ГОД
№1
КИБЕРНЕТИКА
Сергиенко И.В., Козерацкая Л.Н., Кононова А.А. Устойчивость и неограниченность
задач векторной оптимизации ... 3
Гладун В.П. Гипотетическое моделирование: методология я применение ... 10
Гамаюн В.П. Повышение точности вычислений при разрядно-логарифмическом
представлении данных ... 21
Цейтлин Г.Е. Построение решетки подалгебр алгебры Дейкстры ... 27
Беляев А.К. О нумерации элементов симметрической полугруппы ... 46
Самохволов Ю.Я. Декомпозиция логико-лингвистических моделей принятия решений в
распределенных вычислительных средах .. 57
СИСТЕМНЫЙ АНАЛИЗ
Згуровский М.3., Померанцева Т.Н., Доброногов А.В., Артемов А.Ю. Исследование
социально-политических процессов методами системного анализа ... 66
Абрамчук B.C., Ляшко С.И., Скопецкий В.В. Обобщенные интерполяционные
многочлены ... 86
Панишев А.В., Журавок А.Г. Эффективный алгоритм назначения непрерывно
выполняемых двухэтапных работ в управлении погрузочно-транспортным процессом
… 99
Летичевский А.А., Денисенко П.Н., Биленко В.И., Волков В.А. Реализация численноаналитических методов приближения функций, заданных обыкновенными
дифференциальными уравнениями ... 108
Наконечный А.Н. Уточнение экспоненциальной асимптотики для функции
распределения суммы случайного числа неотрицательных случайных величин ... 112
Антонюк А.А. О методах нелинейной структуры в задачах оптимизации ... 121
Бурдюк В.Я., Горго Ю.Н О задаче группового выбора с ограничениями ... 131
Алексеев А.А. Денежная модель спроса и предложения ... 136
Летичевский А.А. Разработка смешанного вычислителя для расширенного исчисления ...
141
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Сергиенко И.В.. Яненко В.М., Атоев К.Л. Оптимальное управление иммунным ответом,
синхронизующее отдельные регуляторные звенья иммунной системы. II.
Идентификация параметров модели и восстановление пропущенных данных ... 161
КРАТКИЕ СООБЩЕНИЯ
Молчанов И.Н. Проблемы надежности прикладного программного обеспечения … 177
Лауринавичюс А.Б. Математическая модель оптимального отбора информации в
автоматизированных системах экспериментальных исследований ... 181
№2
КИБЕРНЕТИКА
Провотар А.И. Линейные морфизмы в топосе ... 3
Халилов А.И. Проблемы динамического распараллеливания вычислений ... 11
Гошко Б.М. Логико-алгебраическая модель информационно-поисковой системы с
интерфейсным компонентом ... 19
Лисовик Л.П. О другом представлении конечных преобразователей над вещественными
числами ... 23
Мищенко А.А., Мищенко А.Т. О формализации логического проектирования
регистровых компонентов дискретных устройств ... 32
Устименко А.П. Отображение временных причинно-следственных структур во
временные сети Петри ... 44
Стиранка А.И. Об одном комбинаторном решении задачи разбиения дискретного
множества ... 55
СИСТЕМНЫЙ АНАЛИЗ
Сергиенко И.В., Яненко В.М., Атоев К.Л. Общая концепция управления риском
экологических, техногенных и социогенных катастроф ... 65
Мельник B.C. О критических точках некоторых классов многозначных отображений ...
87
Кириченко Н.Ф. Аналитическое представление возмущений псевдообратных матриц ...
98
Онопчук Г.Ю. Модель управления декомпрессией и ее математический анализ … 107
Марков А.Ю., Фрадков А.Л. Синтез адаптивного управления электрической цепью
Чжуа методом скоростного градиента ... 122
Хритоненко Н.В., Яценко Ю.П. Магистральные теоремы в интегральной динамической
модели экономического обновления ... 131
Плиш В.Е., Трутень А.Е. Система ФОРА — формирование альтернативных вариактов
решений на базе модели многокритериального линейного программирования … 150
Зорич И.В., Иваненко В.И. О выражении Гi-независимости двух последовательностей в
терминах их статистической закономерности ... 155
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Летичевский А.А., Маринченко В.Г. Объекты в системе алгебраического программирования ... 160
Вишневский В.В., Владимиров В.А, Морозов А.А., Ященко В.А. Использование
нейроподобных растущих сетей для распознавания и классификации проб онкотестов
... 180
КРАТКИЕ СООБЩЕНИЯ
Пасечников С.П., Митченко Н.В., Буряк В.И. Автоматизированная система поддержки
решения при лечении острого пиелонефрита ... 185
№3
КИБЕРНЕТИКА
Гупал A.M., Пашко С.В., Сергиенко И.В., К вопросу о сложности и неразрешимости в
математических теориях ... 3
Лисовик Л.П. Конечно-неоднозначные регулярные события в прямом произведении
полугрупп ... 7
Мищенко А.А. Об одной системе автоматизированного синтеза автоматов ... 23
Коваленко Н.С., Метельский В.М. Режимы взаимодействия неоднородных
распределенных конкурирующих процессов ... 31
Вирбицкайте И.Б. О некоторых свойствах структур событий ... 43
Краморенко Р.П., Поляковская Н.А. Применение логических правил вывода в
реляционных СУБД ... 53
СИСТЕМНЫЙ АНАЛИЗ
Скопецкий В.В., Дейнека В.С. Численное моделирование разрывных полей ... 63
Мельник B.C., Солонуха О.В. О стационарных вариационных неравенствах с
многозначными операторами ... 74
Овезгельдыев А.О., Петров К.Э. Адаптивная математическая модель многофакторного
оценивания ... 90
Стецюк П.И. Ортогонализующие линейные операторы в выпуклом программировании. I
... 97
Богуш А.О. Идентификация статических модельных параметров диода Шотки ... 119
Акбаров Д.Е. Нелинейные некоэрцитивные операторные уравнения и их регуляризация в
банаховых пространствах ... 127
Моисеенко В.В., Яцкевич В.В. Системная оптимизация как обобщение оптимизации
классической ... 135
Остапенко В.В., Павлыгин А.И. Линейные неравенства для обобщенного закона
Кирхгофа ... 140
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Анисимов А.В. Рекурсивные гиперструктуры ... 148
Лиходед Н.А., Тиунчик А.А. Метод построения параллельных форм алгоритмов на
основе смешанной стратегии ... 158
Беленький В.3., Васильева О.А., Кухаркин А.Б. Программный модуль «Алгебра
дифференцирования TAYLOR»: результаты численных экспериментов. Сообщение о
версии 2.1 ... 171
КРАТКИЕ СООБЩЕНИЯ
Самохвалов Ю.Я. Доказательство в бесконечной эрбрановой области ... 185
Таташев А.Г. Одноканальная система массового обслуживания с потерей заявки
наибольшей длины ... 187
№4
КИБЕРНЕТИКА
Коваленко И.Н. Доказательство гипотезы Дэвида Кендалла о форме случайных
многоугольников большой площади ... 3
Кнопов П.С. Асимптотические свойства некоторых классов М-оценок ... 10
Шор Н.З., Стецюк П.И. Использование модификации г-алгоритма для нахождения
глобального минимума полиномиальных функций ... 28
Мельник B.C. К теории двойственности векторных и аффинных процессов ... 49
Чеботарев А.Н. Синтез процедурного представления автомата, специфицированного в
логическом языке 8. I ... 60
Акбаров Д.Е. Регуляризация объектов, описываемых системой нелинейных
некоэрцитивных операторных уравнений, и их устойчивость ... 75
Бердышева Р.А., Емеличев В.А. Устойчивость линейных траекторных задач
лексикографической оптимизации ... 83
СИСТЕМНЫЙ АНАЛИЗ
Редько В.Н., Брона Ю.И., Буй Д.Б. Реляционные алгебры: операции проекции и
соединения ... 89
Лисовик Л.П. Детерминированные аксепторы для индексных языков ... 100
Суржко С.В., Ющенко Е.Л. О полных интерпретациях -языков и свободных алгебр элементов ... 114
Кривой С.Л. О вычислении конгруэнтных замыканий на термах ... 121
Молдовян А.А., Молдовян Н.А. Псевдовероятностные скоростные блочные шифры для
программной реализации ... 133
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Ревенко В.Л., Лапкина И.А. Экономико-математические методы и модели
инвестиционной деятельности судоходной компании ... 142
Гарбуз А.С. Концепция проекта универсального формализованного языка знаний … 154
КРАТКИЕ СООБЩЕНИЯ
Бублик Б.Н. Об одной задаче стабилизации колебательной распределенной двумерной
системы ... 163
Наконечный А.Г., Левошич О.Л., Кордас В.А. К проблемам контроля за
интенсивностью источников в задачах переноса и диффузии ... 167
Бондаренко АЛ. Влияние ошибок оценок вероятностей принятия частных решений на
достоверность коллективного распознавания ... 171
Плотников В.А., Плотникова Л.И. Усреднение уравнений управляемого движения в
метрическом пространстве ... 175
Червак О.Ю. Об оптимальностях по многим равноважным критериям ... 181
Захария Л.М. Некоторые математические и программные средства создания
специализированных экспертных систем ... 182
№5
КИБЕРНЕТИКА
Редько В.Н., Брона Ю.И, Буй Д.Б. Реляционные алгебры: операции деления и
переименования ... 3
Дидук Н.Н. Сингулярные пространства неопределенности и сингулярные преобразования
... 16
Плотников А.Д. Об уточнении класса задач, решаемых недетерминированной машиной
Тьюринга ... 30
Краснитский С.М. О необходимых и достаточных условиях эквивалентности
вероятностных мер, отвечающих однородным случайным полям, обладающим спектральными плотностями ... 36
Мищенко А.А. О свойствах реверсивных полиномиальных функций ... 44
Заложенкова И.А., Парасюк И.Н. Интегрированная система проверки гипотез:
программно-алгоритмические средства … 50
СИСТЕМНЫЙ АНАЛИЗ
Зайцев Д.А., Слепцов А.И. Уравнения состояний и эквивалентные преобразования
временных сетей Петри ... 59
Полумиенко С.К. О решении многоуровневых коалиционных динамических игр … 76
Овезгельдыев А.О., Петров К.Э. Формирование многофакторных оценок при
интервальном задании предпочтительности факторов ... 85
Смольяков Э.Р. Необходимые и достаточные условия существования седловой точки в
параметризованных программных дифференциальных играх ... 93
Остапенко В.В., Грабовой И.П. Линейные дифференциальные игры в банаховом
пространстве ... 103
Стецюк П.И. Ортогонализующие линейные операторы в выпуклом программировании. II
... 111
Дейнека B.C., Скопецкий В.В. О задаче управления температурным состоянием
слоистых тел вращения ... 124
Рысцова А.Ю., Рысцов И.К. Построение базисов Гребнера для исследования систем
полиномиальных уравнений ... 134
Барашко А.С. О возможности представления многоканальных сигнатурных анализаторов
линейными полиномами над конечными полями ... 142
Дикин И.И. Определение внутренней допустимой точки системы линейных ограничений
... 152
Куликов С.П. Алгоритм прогнозирования кинематических параметров движения ракетносителей космических аппаратов с использованием телеметрических и траекторных
измерений ... 164
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Вышинский В.А. О реализации алгебры многомерных векторов евклидова пространства
в ЭВМ ... 170
КРАТКИЕ СООБЩЕНИЯ
Лебедев Е.А., Пономарчук О.И. О системе с потерями и объединением обслуживающих
приборов ... 176
Буслаева Л. Т. К вопросу об устойчивости одного алгоритма маршрутной оптимизации ...
179
НАУЧНО-ТЕХНИЧЕСКАЯ ИНФОРМАЦИЯ ... 184
№6
КИБЕРНЕТИКА
Сергиенко И.В. Об основных направлениях развития информатики ... 3
1. Начальный период ... 4
2. Основные направления развития исследований по информатике и некоторые их
применения ... 6
3. Программирование. Теория, инженерия, применения ... 19
4. Теоретические исследования в области средств вычислительной техники и их
практические приложения . 24
5. Искусственный интеллект ... 29
6. Численные методы оптимизации и их применение ... 34
7. Математическая теория надежности и системное моделирование 43
8. Теория управления и игровые задачи динамики ... 47
9. О работах в области вычислительной и прикладной математики и их внедрениях ... 52
10. Исследования по биологической и медицинской кибернетике ... 57
11. Космические исследования ... 63
12. Некоторые экономико-математические исследования, разработки и результаты ... 72
Капитонова Ю.В., Марьянович Т.П., Мищенко А.А. Об автоматизации проектирования
и моделирования компонентов компьютерных систем ... 94
Лисовик Л.Л. Проблемы эквивалентности преобразователей с ограниченным числом
состояний ... 109
Чеботарев А.Н. Синтез процедурного представления автомата, специфицированного в
логическом языке 8*. II ... 115
СИСТЕМНЫЙ АНАЛИЗ
Норкин В.И., Ермольев Ю.М., Фишер Г. О сходимости одного метода вычисления
экономических равновесий ... 127
Пшеничный Б.Н., Ненахов Э.И., Кузьменко В.Н. Модифицированный метод отсечения
для минимизации выпуклой функции ... 142
Крывый С.Л.,. Проблема унификации в эквациональных теориях ... 150
КРАТКИЕ СООБЩЕНИЯ
Анисимов А.В. Ускоренное вычисление модулярной редукции ... 180
Козерацкая Л.Н. Множество строго эффективных точек задачи частично целочисленной
векторной оптимизации как характеристика ее устойчивости ... 181
Download