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

реклама
СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 1993
ГОД
№1
КИБЕРНЕТИКА
Ромов Б.А. Максимальные конечно определяемые подалгебры частичных функций
бесконечнозначной логики ... 3
Ставровский А.Б.. Павлив О.Ю. ПС-автоматы и массы контекстно-свободных языков ...
20
Кушнир А.О. Об асимптотике процесса восстановления, прореженного альтернирующим
процессом ... 29
СИСТЕМНЫЙ АНАЛИЗ
Михалевич B.C., Волкович В.Л., Яценко Ю.П. Многокритериальный анализ темпов
конверсии на базе интегральных моделей … 36
Панин В.М. Конечный алгоритм отыскания седловой точки квадратичной функции при
линейных ограничениях ... 47
Покотило В.Г, Оптимальные планы эксперимента в задачах гарантированного
оценивания ... 61
Наконечный А.Н. Теоретико-вероятностное обобщение второго метода Ляпунова … 68
Полумиенко С.К. Коалиционные стохастические игры ... 82
Щепакин М.Б. Поиск общей точки системы выпуклых множеств и решение
оптимизационных задач математического программирования методом ортогонального
спуска ... 94
Воевудский Е.Н., Постан М.Я. О стохастических моделях взаимодействия транспортных
потоков в пунктах перевалки грузов ... 101
Стрекаловский А.С. Об экстремальных задачах на дополнениях выпуклых множеств ...
113
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Цейтлин Г.Е., Ющенко Е.Л. Формализованные спецификации и трансформационный
синтез программ ... 127
Тупкало В.Н. Обеспечение контролепригодности хода программ по критерию
минимальной периодичности контроля ... 153
Манцивода А.В. М-исчисление – секвенциальный метод автоматического доказательства
... 163
КРАТКИЕ СООБЩЕНИЯ
Банников И.И. Некоторые вопросы теории интеллектуальных процессов. II ... 171
Цветков А.М. Разработка алгоритмов индуктивного вывода с использованием деревьев
решений ... 174
Федосов А.А. Принцип относительного приоритетного обслуживания для транспортной
системы ... 179
Толмачев С.А Представление и синтез оптимальной логической структуры учебного
материала в автоматизированных тренажерных системах ... 183
ОБЪЯВЛЕНИЯ
№2
СИСТЕМНЫЙ АНАЛИЗ
Гуреев В.А., Редковский Н.Н. Метод решения систем уравнений для определения
режимов работы электрических сетей … 3
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Цейтлин Г.Е., Фещук С.Д. Международная школа-семинар «Параллельное
программирование и высокопроизводительные системы» ... 13
Цейтлин Г.Е. Конструирование алгоритмов символьной обработки ... 17
Касьянов В.Н. Трансформационные методы и средства конструирования эффективных и
надежных программ ... 30
Czaja Ludwik. A calculus of nets ... 40
Суржко С.В. О категорном подходе к изучению алгоритмических алгебр ... 50
Лисовик Л.П. Проблемы включения и эквивалентности для схем программ и формальных
языков ... 62
Панфиленко
В.П.
Согласованность
формализованных
спецификаций
при
многоуровневом проектировании программ ... 73
Непомнящая А.Ш., Фет Я.И. Применение специализированных процессоров для
эффективной реализации операций реляционной алгебры в системах вертикальной
обработки ... 85
Задорожный В.И., Калиниченко Л.А., Никитченко Н.С. Взаимодополняющие
формализации дедуктивных языков запросов ... 94
Мищенко Н.М., Щеголева Н.Н. О проектировании языковых процессоров на ПЭВМ ...
110
Лукинова О.В. Технология распараллеливания циклов для реализации на векторном
процессоре ... 117
Гречко В.0., Капитонова Ю.В., Погребинский С.Б. Инструментальные средства
интеллектуализации баз данных ... 120
Рвачев В.Л., Шевченко А.Н., Веретельник В.В. Математические, программные и
аппаратные средства поддержки компьютерной технологии моделирования полей …
129
Парасюк И.Н., Калита А.В., Провотар А.И. Case — система структурно-модульного
композиционного программирования: концептуальные основы ... 140
Нагорная Л.И., Терзян Т.К., Цейтлин Г.Е., Ющенко Е.Л. Ориентир — инструментарий
озвученного конструирования текстов ... 148
Добровская Л.Н., Михаилов Г.Э., Перевозчикова О.Л., Фищук С.Д. Инструментарий
диагностирования интеллекта детей … 154
Валькевич Т.А. Об объектной ориентации в МАЯКе ... 159
Акуловский В.Г. О проектировании программного обеспечения АСУ ТП в рамках метода
МСПП ... 165
НАУЧНАЯ ИНФОРМАЦИЯ
Бульонков М.А., Городняя Л.В., Касьянов В.Н., Котляров В.П., Непомнящий В.А.,
Цейтлин Г.Е., Шилов Н.В. Творческое наследие В.Э. Иткина ... 175
РАСШИРЕНЫЕ АННОТАЦИИ … 184
ОБЪЯВЛЕНИЯ 12, 190, 192
№3
Михалевич B.C. Академик Виктор Михайлович Глушков ... 3
КИБЕРНЕТИКА
Капитонова Ю.В., Летичевский А.А. Методы и средства алгебраического
программирования ... 7
Гринченко Т.А., Стогний А.А. В.М.Глушков и интеллектуализация ЭВМ ... 13
Яровицкнй Н.В., Костина Н.И. Вероятностные автоматы и имитационное
моделирование ... 20
Чеботарев А.Н. Об одном подходе к функциональной спецификации автоматных систем.
I ... 31
Бородянский Ю.М., Бургин М.С. Алфавитные операторы и алгоритмы ... 42
Лисовик Л.П. Аксиоматическая теория частично непрерывных функций и кривая Пеано
... 58
СИСТЕМНЫЙ АНАЛИЗ
Рабинович З.Л. О механизмах мышления и интеллектуальных ЭВМ ... 69
Козерацкая Л.Н., Лебедева Т.Т., Сергиенко И.В. Исследование устойчивости задач
дискретной оптимизации ... 78
Трубин В.А. Прочность графа и упаковка деревьев и ветвлений ... 94
Коваленко И.Н., Левитская А.А. Вероятностные свойства систем случайных линейных
уравнений над конечными алгебраическими структурами ... 100
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Ющенко Е.Л., Цейтлин Г.Е., Суржко С.В. Алгоритмические алгебры Глушкова и
проблемы моделирования систем ... 106
Морозов А.А., Клименко В.П., Фишман Ю.С., Бублик Б.А., Горовой В.Д. Основные
свойства алгоритмического языка АНАЛИТИК-91 ... 117
Анисимов А.В., Кулябко П.П. Особенности ПАРУС-технологии ... 128
Деркач В.П., Медведев И.В., Ходаковский Н.И., Чечко Г.А. Моделирование процессов
туннельной литографии ... 137
Гусев В.В., Галаган Т.Н., Яременко В.В. Язык программирования с расширяемой
грамматикой ... 147
Парасюк И.Н Принципы разработки современных программных систем анализа данных
... 155
КРАТКИЕ СООБЩЕНИЯ
Гуляницкий Л.Ф., Кошлай Л.Б., Сергиенко И.В. О сходимости одного метода
вероятностного моделирования для решения задач комбинаторной оптимизации … 164
Пшеничный Б.Н., Очилов С. Оптимизация времени прохождения через область … 167
Козерацкая Л.Н., Лебедева Т.Т., Сергиенко Т.И. О регуляризации задач целочисленной
векторной оптимизации ... 172
Клименко В.П., Фишман Ю.С. Первые персональные ЭВМ ... 176
Попов А.А. Возродим великую идею В.М.Глушкова ... 180
Летичевский А.А. О минимальных реализациях дискретных систем ... 182
РАСШИРЕННЫЕ АННОТАЦИИ 185
№4
КИБЕРНЕТИКА
Чеботарев А.Н. Об одном подходе к функциональной спецификации автоматных систем.
II. ... 3
Белоусов А.И. О некоторых необходимых условиях параллельного применения систем
подстановок ... 15
СИСТЕМНЫЙ АНАЛИЗ
Пшеничный Б.Н., Кирик Е.Е. Алгоритмы оптимального распределения потоков в сетях
... 29
Данилин Ю.М. Метод линеаризации с использованием гладких штрафов ... 40
Покотило В.Г. Оптимальные планы эксперимента в задачах гарантированного
оценивания. III. ... 54
Щепакин М.Б., Шубенкова И.А. Исследование модифицированного алгоритма
ортогонального спуска для поиска нуля выпуклой функции ... 63
Зорин Д.Н. О симметрических ограничениях в задачах классификации, допускающих
замену функциональными ... 72
Михалевич М.В., Чижевская А.Ю. Динамические макромодели нестабильных
процессов при переходе к рыночной экономике ... 81
Ржевский С.В. Монотонный -субградиентный метод отыскания седловых точек
выпукло-вогнутых функций ... 89
Горбацевич М.И. К вопросу создания макромодели развития общества ... 101
Плотников А.В. Две задачи управления в условиях неопределенности ... 114
Гуреев В.А., Редковский Н.Н. О решении нелинейных уравнений в задачах управления
режимами электрических сетей … 122
Задорожный В.В. Алгоритм решения задачи о представительстве ... 131
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Молчанов И.Н., Решетуха И.В., Рудич О.В., Семенченко С.П. Решение на МВК ЕС
больших разреженных систем уравнений методом параллельных сечений ... 137
Колосова Ю.И. Параллельные истории —основа для выявления свободных и
конкурирующих по скорости процессов ... 144
Паньшин Б.Н, Структура и тенденция развития научного направления «Системы
управления информационной технологией» ... 154
НОВЫЕ СРЕДСТВА КИБЕРНЕТИКИ, ИНФОРМАТИКИ,
ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ И СИСТЕМНОГО АНАЛИЗА
Дидук Н.Н. Теория неопределенности: назначение, первые результаты и перспективы. I ...
160
КРАТКИЕ СООБЩЕНИЯ
Коваленко И.Н., Наконечный А.Н. Аппроксимация функций распределения
аддитивного функционала винеровского процесса отрезком ряда Чебышева ... 169
Бублик Б.Н. Численное решение задач оптимального управления многомерных систем
локально-одномерными схемами … 174
Василик П.В., Василега А.Г. К построению модели изменения уровня Каспийского моря
за последние 12000 лет … 177
Багиров A.M. О непрерывной аппроксимации субдифференциала функции максимума ...
180
РЕЦЕНЗИИ НА НОВЫЕ КНИГИ … 185
№5
КИБЕРНЕТИКА
Чеботарев А.Н. Об одном подходе к функциональной спецификации автоматных систем.
III ... 3
Князева В.Ф., Князев Ю.В., Свирщева Э.А. Приведение булевой функции к
минимальной ортогональной форме... 17
Котляр Б.Д. О плотности упаковки нечеткого множества ... 25
Борисенко В.И. Достаточное условие эквивалентности n-ленточных автоматов … 33
Молдовян А.А., Молдовян Н.А. Новый принцип построения криптографических
модулей в системах защиты ЭВМ ... 42
Манцивода А.В. ФЛЭНГ — язык для искусственного интеллекта ... 50
СИСТЕМНЫЙ АНАЛИЗ
Лебедева Т.Т., Сергиенко И.В., Солтан В.П. Еще раз об условиях совпадения
локального и глобального минимумов в задачах дискретной оптимизации ... 68
Пшеничный Б.Н., Соболенко Л.А., Сосновский А.А., Александрова В.М., Шульженко
Ю.В. Пакет прикладных программ «МЕТЛИН-ПЭВМ для решения задач
математического программирования … 79
Малюков В.П. Об одном способе задания информации в конфликтном взаимодействии
моделей экономической динамики … 92
Устюжанинов В.Г. Экономичный метод оценки ненулевых коэффициентов линейной
нормальной регрессии ... 104
Яковлев С.В., Гребенник И.В. Локализация решений некоторых нелинейных
целочисленных задач оптимизации ... 116
Котляр В.Ю., Хоменко Л.П. Об обобщении НСЛИФИ-свойства функций распределения
... 124
Коваль В.Н., Кук Ю.В. Оптимальные системы обнаружения и классификация
движущихся объектов ... 137
Лозовану Д.Д Сильнополиномиальные алгоритмы поиска минимаксных путей в сетях и
решения циклических игр ... 145
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Калянов Г.Н. CASE-технологии проектирования программного обеспечения ... 152
НОВЫЕ СРЕДСТВА КИБЕРНЕТИКИ, ИНФОРМАТИКИ,
ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ И СИСТЕМНОГО АНАЛИЗА
Дидук Н.Н. Теория неопределенности: назначение, первые результаты и перспективы. II
... 165
КРАТКИЕ СООБЩЕНИЯ
Гупал A.M., Пономарев А.А., Цветков A.M. Об одном методе индуктивного вывода с
подрезанием деревьев решений … 174
Барашко А.С. Асимптотическая оптимальность линейных сигнатурных анализаторов
относительно стационарных ошибок ... 178
Наконечный А.Н Синтез оптимальной системы при ограничении на надежность … 181
Таташев А.Г. Одна система массового обслуживания с инвариантными вероятностями
состояний ... 183
№6
Михалевич B.C. Капитонова Ю.В. Феноменология становления и развития кибернетики
в Украине ... 3
КИБЕРНЕТИКА
Рощин В.А., Сергиенко И.В. Применение метода неявного перебора для решения задачи
об упаковке ... 19
Пиуновский А.Б. Исследование частоты импульсации в простейшей нейронной сети ... 22
Винокуров С.В.. Перязев Н.А. Полиномиальные разложения булевых функций … 34
Драган Ф.Ф. Доминирование в графах Хелли без четырехугольников. ... 47
Шанкнн Ю.П. Самоорганизация рефлексивных управляющих систем ... 58
Негурица В.М. О локальных алгоритмах обхода булевого куба ... 65
СИСТЕМНЫЙ АНАЛИЗ
Шор Н.З., Войтишин Ю.В. Двойственные сетевые оценки для задач целочисленного
программирования специального вида … 71
Онопчук Ю.Н., Полинкевич К.Б., Бобрякова И.Л. Концептуальные, модели управления
системой дыхания и их анализ при математическом моделировании ... 76
Провотар А.И. Теоретические аспекты композиционного структурно-модульного
программирования: алгебра морфизмов ... 89
Остапенко О.С. Интегральное представление точки глобального максимума ... 100
Малюков В.П. Дискретно-аппроксимационный метод решения билинейной
дифференциальной игры ... 112
Герасимов А.И. Вычисление нормализующих констант в замкнутых сетях массового
обслуживания с несколькими классами сообщений ... 123
ПРОГРАММНО-ТЕХНИЧЕСКИЕ КОМПЛЕКСЫ
Резник A.M. Итеративный проекционный алгоритм обучения нейронных сетей ... 131
Зыкин С.В. Оценка мощности списка для отображения типа «частичное соединение» …
142
Мажуга Ю.И. Об одном подходе к организации вычислений при синтезе моделей тренда
... 152
Красимир Я. Алгоритм распознавания контекстно-свободных языков за время п2 … 159
Кирюхин В.В., Черноусова Н.Л. Самодиагностика вычислительных систем при малой
кратности отказов ... 165
КРАТКИЕ СООБЩЕНИЯ
Наконечный А.Н. Уточнение теоремы Реньи ... 170
Таташев А.Г. Минимаксные стратегии проверки работоспособности устройства … 171
Кузин В.Г. Оптимальное дозирование лекарственного препарата при наличии
ограничений ... 174
Патрушев В.А. Задача выбора компонентов системы интерактивного взаимодействия
персональных ЭВМ и пути ее решения на комбинаторной модели ... 177
Пожарский А.В. Способ модального расширения систем логического программирования
... 180
ОБЪЯВЛЕНИЯ … 188
Скачать