СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ» ЗА 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