Кибернетика и системный анализ за 1997 год №1 кибернетика сергиенко И. В., Козерацкая Л. Н., Кононова А. А

Вид материалаИсследование

Содержание


Системный анализ
Абрамчук B.C., Ляшко С.И., Скопецкий В.В.
Летичевский А.А., Денисенко П.Н., Биленко В.И., Волков В.А.
Наконечный А.Н.
Бурдюк В.Я., Горго Ю.Н
Программно-технические комплексы
Краткие сообщения
2 КИБЕРНЕТИКА Провотар А.И.
Гошко Б.М.
Мищенко А.А., Мищенко А.Т. О
Системный анализ
Мельник B.C.
Онопчук Г.Ю.
Хритоненко Н.В., Яценко Ю.П.
Программно-технические комплексы
Краткие сообщения
3 КИБЕРНЕТИКА Гупал A.M., Пашко С.В., Сергиенко И.В.
Мищенко А.А.
Вирбицкайте И.Б.
Системный анализ
...
Полное содержание
Подобный материал:
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 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