.RU

Грицай В. П., Цейтлин Г, Е. Некоторые вопросы автоматизации структурного параллельного программирования


СОДЕРЖАНИЕ ЖУРНАЛА «КИБЕРНЕТИКА» ЗА 1979 г.

№ 1

Алексеев Ю. Н. Навеки вместе ... 1

Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л. Теория языковых процессоров и параллельные вычисления ... 1

Подловченко Р. И. Модели последовательных программ, применяемые для изучения функциональной эквивалентности программ ... 20

Иткин В. 3. Информационная структурированность программ ... 29

Вальковский В. А. О вычислениях с упреждением … 38

Кутепов В. П., Фальк В. Н. Функциональные системы: теоретический и практический аспекты … 46

Миренков Н. Н. О синхронизации процессов ... 59

Халилов А. И., Поддубная В. И., Лопийчук Н. М. Распараллеливание программ с применением метода последовательного углубления ... 64

^ Амитан И. И., Романовский И. В. Язык сигналов для описания взаимодействия параллельных процессов ... 73

Нуриев Р. М. Информационно-логические связи в схемах программ над массивами ... 78

Пронина В. А. Особенности анализа программ в системе трансляции для машин с параллельным вычислением ... 87

^ Нагорная Л. И., Цейтлин Г. Е., Ющенко Л. Е. Об одном методе многослойного синтаксического анализа для параллельных систем программирования ... 90

Мейтус В. Ю., Танчер И. В. Представление алгоритма решения системы уравнений с трехдиагональной матрицей в структурно-алгоритмической алгебре ... 98

^ Грицай В. П., Цейтлин Г, Е. Некоторые вопросы автоматизации структурного параллельного программирования ... 106

Котарева И. Н., Шамаева О. Ю. Параллельный метод диакоптики для решения сложных задач на распределенных вычислительных системах … 112

^ КРАТКИЕ СООБЩЕНИЯ

Вышинский В. А., Рабинович 3. Л. Об одной возможности существенного повышения производительности ЭВМ путем ускорения матрично-векторных операций ... 120

^ НАУЧНАЯ ИНФОРМАЦИЯ ... 124

АННОТАЦИИ ... 127

№ 2

Глушков В. М. Теорема о неполноте формальных теорий с позиций программиста ... 1

Трахтенброт Б. А. О полноте алгоритмической логики ... 6

^ Плюшкявичюс Р. А., Плюшкявичене А. Ю., Сакалаускайте Ю. В., Юкна С. П. О программных логиках ... 18

Маслов С. Ю. Информация в исчислении b рационализация переборов … 20

^ Матросрв В. М., Васильєв С. Н., Каратуев В. Г., Новиков М. А., Суменков Е. А., Ядыкин С. А. Машинний вывод теорем о динамических свойствах с вектор-функциями Ляпунова ... 27

^ Глушков В. М., Капитонова Ю. В., Летичевский А. А. Инструментальные средства проектирования программ обработки математических текстов … 37

Непейвода Н. Н. Применение теории доказательств к задаче построения правильных программ … 43

^ Капитонова Ю. В., Вершинин К. П., Дегтярев А. И., Жежерун А. П., Лялецкий А. В. О системе обработки математических текстов ... 48

Амосов Н. М. К вопросу об алгоритме интеллекта и его эволюции ... 49

Касаткин А. М. О представлений знаний в системах искусственного интеллекта роботов ... 57

Рыбак В. B. Методологические вопросы и технические и математические средства автоматизации проектирования систем восприятия внешнего мира робота-манипулятора ... 66

Гимельфарб Г. Л. Симметризованный подход к решению задачи автоматизации стереоизмерений в фотограмметрии ... 73

^ Гладун В. П., Ващенко Н. Д. Адаптация в решающих системах ... 86

Галаган Н. И. Язык описания задач SITPLAN … 89

Лозовский В. С. Ситуационная и дефиниторная семантика системы представления знаний ... 98

Довгялло А. М. Диалог пользователя и ЭВМ и место средств искусственного интеллекта в его реализации ... 102

Балл Г. А. Система понятий для описания объектов приложения интеллекта ... 109

^ КРАТКИЕ СООБЩЕНИЯ

Глушков В. М. Флуктуационная системология … 114

Рабинович 3. Л. Некоторый бионический подход к структурному моделированию целенаправленного мышления ... 115

№ З

Котов В. Е. Параллельное программирование с типами управления ... 1

Кабулов А. В. О числе функций трехзначной логики, корректирующих наборы некорректних алгоритмов, и сложности их расшифровки … 14

^ Редько В. Н., Лисовик Л. П. О генераторах регулярных языков ... 19

Акопян К. А., Вартапетов 3. А., Вельбицкий И. В. Описание одной методологии построения информационных систем АСУ ... 23

^ Капитонова Ю. В., Алексеенко В. Г., Мищенко А. Т. Реализация устройств управления на основе больших стандартных схем. І ... 29

Броварник В. В. Структурноаналитический метод тестового контроля одного класса синхронных автоматов ... 36

Сапожников В. В. Контроль линейных комбинационных схем ... 44

Бистрицкас В. Б. Дифференциальная форма линейных и выпуклых дискретных процессов оптимального управления ... 48

^ Мельников О. И., Шафранский Я. М. Параметрическая задача теории расписаний ... 53

Крайзмер Л. П., Тозик В. Т. Применение алгебры кубических комплексов к анализу надежности сетей ... 58

Онопчук Ю. Н. Об одной имитационной модели для исследования сложных физиологических процессов ... 6

^ Гимельфарб Г. Л., Рыбак В. И., Шульга В. И. Получение описания объемной сцены, составленной из простых многогранников по ее изображению ...73

Бондаровская В. М., Хоменко Л. В. Опыт использования результатов психологического исследования для совершенствования системы искусственного интеллекта ... 77

Фрич К., Шварце Г. Обучающийся фильтр для получения двухмерных признаков и его применения в распознавании письменных знаков ... 82

^ Алешкина С. М., Дриянский В. М., Пшеничная Л. З. Машинно-ориентированный язык для библиографического описання документов и запросов … 87

Валужис А. К., Рашимас А. П. Статистический алгоритм структурного анализа злектрокардио-сигнала ... 91

^ КРАТКИЕ СООБЩЕНИЯ

Кухар Р. Б., Лянце 3. В. Некоторые задачи планирования вычислительного процесса в сети вычислительных центров ... 96

Баранов С. Н. Использование АЛГОЛа—68 в качестве языка отладки ... 98

Гринченко Т. А., Царюк Н. П. Распознавание формульных образов в системе аналитических преобразований ... 100

^ Каляев А. В., Божич В. И. Универсальные логические модули на основе плоских однородных регистровых структур ... 102

Григорьян Ю. Г. Отображение сокращенных дизъюнктивных нормальных форм на графы ... 105

Кукса А. И. Верхняя граница длительности кратчайших расписаний в одном классе задач Т. С. Ху … 107

^ Пшеничний Б. Н., Яковлева А. П. О необходимых условиях экстремума для систем с последействием ... 108

Щепакин М. Б. Геометрический метод поиска общей точки выпуклых множеств ... 110

Яковлева А. П. Необходимые условия экстремума для дискретных систем с последействием ... 111

^ АННОТАЦИИ ... 113

НАУЧНАЯ ИНФОРМАЦИЯ ... 114

№ 4

Забелло Е. П. Способ полного упорядочения числового информационного массива минимальным числом попарных сравнений … 1

Устюжанинов В. Г. Некоторые свойства покрытий бинарных таблиц ... 7

^ Капитонова Ю. В., Алексеенко В. Г., Мищеико А. Т. Реализация устройств управления на основе больших стандартных схем. II ... 16

Лисовик Л. П. Проблема эквивалентности для конечно-неоднозначных конечных автоматов над полугруппами ... 24

^ Кирсанов Г. М., Цейтлин Г. Е., Ющенко Е. Л.-АНАЛИСТ — пакет программ для доказательства тождеств (теорем) в аксиоматизированных САА. ... 28

Юрченко А. С. Об оценке фрагментации при динамическом сегментном распределении памяти ... 34

Басараб И. А. Эквивалентные преобразования мета линейных LА(1)-грамматик и унарных рекурсивных схем ... 36

^ Корниенко Г. И., Барсук Я. И., Пих 3. А., Колесников А. Н., Рейзин А. Л. О средствах создания математического обеспечения микропроцессорных систем ... 41

Лавинский Г. В. Об одном алгоритме кодирования упорядоченной последовательности ... 47

^ Гаркавенко С. И., Бердникова Л. С. Определение всех путей в ориентированном ациклическом графе ... 49

Берштейн М. С. О некоторых алгоритмах обработки выходных сигналов при статистическом контроле логических схем ... 53

Шрейдер Ю. А. Системы с голосованием и их представление мажоритарными структурами ... 57

^ Шор Н. 3., Гершович В. И. Об одном семействе алгоритмов для решения задач выпуклого программирования ... 62

Пшеничний Б. Н., Яковлева А. П. Необходимые и достаточные условия оптимальности для систем с последействием в случае выпуклого многозначного отображения ... 68

Кравец В. Л. К вопросу решения одного класса задач покрытия методами дискретной оптимизации ... 70

Тимофеев Е. А. Минимаксные двусвязные подграфы и задачи коммивояжера на «узкие места» ... 75

^ Кондратьев А. И., Стогний А. А. О понятиях нормативной теории игр ... 80

Анисимов В. В., Ситюк В. Н. Асимптотическое поведение неоднородного пуассоновского потока с ведущей функцией, зависящей от малого параметра, управляемого цепью Маркова ... 83

^ Голодников А. Н., Ляшко С. И. Метод минимизации функционалов по функциям распределения и его применение в теории вероятностей … 89

Коростелев А. П. Сходимость рекуррентных стохастических алгоритмов при гуассовских возмущениях ... 93

Чикрий А. А. Дифференциальные игры нескольких лиц ... 99

^ Алеев В. Р., Мансуров В. Н. Вопросно-ответная система, основанная на методе сравнения языков ... 102

Жуков С. А. О временной сложности функционирования двухстороннего ПР-анализатора ... 105

Раппопорт И. С. Об одном достаточном условии сближения в линейной дифференциальной игре многих лиц с разнотипными ограничениями на управления ... 112

Иваськив Ю. Л. Общие принципы организации машинных вычислений в мультимикропроцессорных структурах ... 115

^ Глушков В. М., Иванов В. В., Яненко В. М. О новом классе динамических моделей и его приложении в биологии. І ... 131

Назаров Н. Г., Тарасенко В. Ф. Метод рекуррентного построения последовательного правила поиска решений ... 140

^ КРАТКИЕ СООБЩЕНИЯ

Руденская О. Г. Верхняя оценка числа ребер однородного связного гиперграфа с данным диаметром ... 146

РЕЦЕНЗИИ НА НОВЫЕ КНИГИ ... 147

^ НАУЧНАЯ ИНФОРМАЦИЯ ... 150

№ 5

Глушков В. М., Анисимов А. В. Преобразователи Черча—Россера ... 1

Чеботарев А. Н. Схемы и автоматы. II … 9

Эргашев Г. Структурный смысл некоторых рекуррентных функций от мультиграфов … 15

Николенко В. Н. Реализация автомата асинхронной логической схемой ... 21

^ Романкевич А. М., Валуйский В. Н. Метод -разбиений для контроля управляющих автоматов с временной избыточностью … 28

Алеев В. Р., Мансуров В. Н. Лингвистические модели и вычисления ... 34

Козина А. В. О кодировании и порождении неизоморфных деревьев ... 38

Цейтлин Г. Е. Проблема тождественных преобразований схем структурированных программ с замкнутыми логическими условиями III … 44

Вальковский В. А. Параллельные операторные системы над массивами переменных: и проблема максимального распараллеливания ... 52

Косарев В. В. О некоторых характеристиках трансляторов специального вида ... 64

^ Воденин Д. Р., Романовский И. В. Программирование в терминах служб … 70

Бродецкий Г. Л. О периодическом запоминании промежуточных результатов в системах с отказами, разрушающими информацию в запоминающем устройстве ... 76

^ Данилин Ю. М., Морарь В. А. Квазиньютоновские методы условной оптимизации ... 80

Кукса А. И. Сравнение нижних границ длительностей детерминированных мультипроцессорных расписаний ... 87

Филоненко Н. В. Вопросы приближенного решения задач целочисленного параметрического программирования ... 91

^ Аветисян Г. Г., Андон Ф. И. Об одном подходе к сокращению числа переналадок одного исполнителя ... 95

Береснев В. В. Метод негладких штрафов и теория выпуклых экстремальных задач в банаховом пространстве ... 100

Насекин В. Я. Метод решения монотонных задач целочисленного линейного программирования … 106

Тур Л. П. Модель управления запасами с двумя альтернативными решениями ... 110

^ Каниовский Ю. М., Кнопов П. С. Асимптотические свойства некоторых методов типа стохастической аппроксимации ... 114

Жежерун А. П. Разрешимость проблемы унификации для языков второго порядка с одноместными функциональными символами ... 120

^ Чикрий А. А., Чикрий Г. Ц. Об информированности в дискретных игровых задачах ... 126

Решетников Н. В. Моделирование информационного поиска в информационно-поисковых системах … 129

Васильев Ю. П. Описание конечных полей с помощью ЗВМ ... 133

^ КРАТКИЕ СООБЩЕНИЯ

Марчук А. В. Исследование области устойчивого функционирования автономных асинхронных логических сетей ... 136

Левин В. И. Асимптотический анализ надежности одного класса сложных систем ... 137

Кацев С. Б. Об одном классе дискретных минимаксных задач ... 139

Юхименко Б. И. О некоторых алгоритмах решения задач линейного программирования с булевыми переменными ... 141

Наконечный А. Г. О построении минимаксных регуляторов для линейных стохастических систем ... 143

^ НАУЧНАЯ ИНФОРМАЦИЯ ... 149

РЕЦЕНЗИИ НА НОВЫЕ КНИГИ … 146

№ 6

Летичевский А. А. Об одном подходе к анализу программ ... 1

Григорьян Ю. Г. Классификация и статистические свойства арифметических графов ... 9

Ржевский С. В. Об одном принципиальном алгоритме минимизации ... 13

^ Попов В. А., Скибенко И. Т. Комбинаторный подход к классификации n-значннх логических функций ... 15

Применко 3. А. О числе классов эквивалентности относительно некоторых подгрупп симметрической группы ... 19

Кесельман Д. Я. О ленточной нумерации вершин графов некоторых классов ... 23

^ Комолов С. В., Макеев С. П., Серов Г. П., Шахнов И. Ф. О задаче оптимального управления конечным автоматом с расплывчатыми ограничениями и целью ... 30

Анисимов А. В. Дискретные преобразователи с возвратами ... 35

^ Еремин И. И., Мазуров Вл. Д. Автоматизация управления параметрами итерационного процесса для задач математического программирования … 41

Хенкин М. 3. О выборе штрафных коэффициентов, сохраняющем скорость сходимости метода Ньютона ... 46

Чеботарев А. Н. Простые декомпозиции асинхронных схем ... 51

Гордиенко Е. И. Статистическое решение обратной задачи оптимального резервирования ... 56

Беркович М. Е. Параллельные процессы на распределенных вычислительных системах для решения задач большой размерности ... 60

^ Алексеев О. Г., Мержанов В. Ю. Об одной задаче оптимального распределения ресурсов ... 67

Норкин В. И. Об условиях сходимости комбинированных алгоритмов нелинейного программирования ... 73

Бродецкая Т. С. Об одной дискретной приоритетной системе, использующей циклический принцип обслуживания ... 78

Малюков В. П. О конфликтном взаимодействии моделей экономической динамики ... 83

Максименков А. В. Формирование расписания с учетом ограничения на интенсивность потребления ресурса ... 91

^ Галась М. И., Морозов И. И. К вопросу об использовании экспертных оценок ... 96

Кондратьев А. И. Коалиционные игры с реализациями ... 100

Жилинскас А. Г., Сенкене Э. А. Об оценке параметра винеровского случайного поля по наблюдениям в случайных зависимых точках ... 107

^ Акинфиев Г. А., Леоненко Н. Н. Об усиленном законе больших чисел для взвешенных случайных величин и его применение к рекуррентным процедурам оптимизации ... 110

Кульчицкий О. В. Достаточные условия сходимости алгоритмов стохастической аппроксимации для случайных процессов с непрерывным временем ... 114

Каниовский Ю. М. Предельные теоремы для случайных процессов и стохастические марковские рекуррентные процедуры ... 127

Адасовский Б. И. К определению информативности непараметрических признаков в задаче распознавания ... 131

Петунин Ю. И., Шульдешов Г. А. Проблемы распознавания образов с помощью линейных дискриминантных функций Фишера ... 134

Курьеров Ю. Н. Тактика взаимного поглощения и ее нормальная форма ... 138

Онопчук Ю. Н. Имитационное моделирование процесса управления внешним дыханием и кровотоком в организме человека ... 142

КРАТКИЕ СООБЩЕНИЯ

Пшеничний Б. Н., Раппопорт И. С. Об одной задаче группового преследования ... 145

Остапенко В. В. О нелинейной дифференциальной игре убегания ... 146

АННОТАЦИИ … 148

inoyazichnie-paremii-v-tvorchestve-russkih-pisatelej.html
inoyazichnie-vkrapleniya-v-proze-v-pelevina-chast-2.html
ins-t-r-ukciyapor-aboteselekt-ro-n-no-bibliotech-nojsistem-oj.html
inscenizaciya-prozi-programma-rezhisserskoj-shkoli-13-ob-osnovah-professii-17-zakoni-studijnoj-etiki-17-teoreticheskie.html
insinerator-aleksandrovska-bolnica-operativen-plan-za-dejstvie-pri-previshavane-na-ustanovenite-normi-ili-alarmeni.html
inspekcionnaya-deyatelnost-plan-raboti-upravleniya-obrazovaniya-starooskolskogo-gorodskogo-okruga-na-2010-god.html
  • education.bystrickaya.ru/3-sostav-i-organizaciya-deyatelnosti-komissii-informacionnij-byulleten-administracii-sankt-peterburga-46-697.html
  • learn.bystrickaya.ru/glava-2-plan-i-soderzhanie-evangeliya-ot-ioanna-vozrazheniya-protiv-podlinnosti-evangeliya-ioanna-samosvidetelstvo.html
  • pisat.bystrickaya.ru/tema18-uchet-raschetov-po-nedostacham-7-uchet-neproizvedennih-aktivov-21-tema-uchet-materialnih-zapasov-22.html
  • pisat.bystrickaya.ru/tarifnaya-setka-po-razryadam-primer-metodicheskoe-posobie-po-vipolneniyu-kursovogo-proekta-po-discipline-ekonomika.html
  • reading.bystrickaya.ru/literatura-uchebnoe-posobie-uchebno-metodicheskoe-posobie-dlya-studentov-specialnosti-030301-65-psihologiya-omsk.html
  • uchit.bystrickaya.ru/temi-soobshenij-i-dokladov-rol-sredi-i-nasledstvennosti-v-razvitii-psihiki-cheloveka-psihika-zhivotnih.html
  • shpargalka.bystrickaya.ru/uchebnik-rodnaya-rech-l-f-klimanova-i-dr-3-klass-2ch-moskva-prosveshenie-2007g-1-chas-v-nedelyu-eksternat.html
  • universitet.bystrickaya.ru/syuzen-viggz-stranica-22.html
  • abstract.bystrickaya.ru/-41-naladchik-zuboreznih-i-rezbofrezernih-stankov-edinij-tarifno-kvalifikacionnij-spravochnik.html
  • paragraph.bystrickaya.ru/mediaobrazovanie-mediagramotnost-izuchenie-media-monografiya-taganrog.html
  • university.bystrickaya.ru/glava-24-reexistio-terrifae-anima-zakonchen.html
  • apprentice.bystrickaya.ru/vzyatka-ne-podarok-gazeta-27022009-novosti-9.html
  • literature.bystrickaya.ru/diversanti-predpriyatiya-ceppelin-komandos-diversanti-tretego-rejha.html
  • kontrolnaya.bystrickaya.ru/programma-razvitiya-shkoli-na-2011-2015g-g.html
  • uchenik.bystrickaya.ru/administrativno-pravovoj-status-grazhdan-prebivayushih-prozhivayushih-v-pogranichnoj-zone.html
  • otsenki.bystrickaya.ru/skorospelka-iz-michurinska-semejnoe-hozyajstvo-mastyaeva-vladimirskaya-obl-gus-hrustalnij-r-n.html
  • kolledzh.bystrickaya.ru/abadzhidi-mariya-andreevna-oralnij-gomeostaz-u-detej-s-bronhialnoj-astmoj-14-00-09-04200514593-stranica-11.html
  • education.bystrickaya.ru/15070062-mashinostroenie-ochnaya-konkursnuyu-situaciyu-kazhdij-abiturient-mozhet-parallelno-uvidet-vojdya-v-ais.html
  • klass.bystrickaya.ru/a-risk-assessment-of-living-modified-organisms-with-stacked-genes-or-traits.html
  • knowledge.bystrickaya.ru/nachalo-evropejskogo-proniknoveniya-v-indiyu-literatura-i-iskusstvo-29.html
  • upbringing.bystrickaya.ru/menya-zovut-tatyana-mne-15-let-zhivu-v-gorode-breste-v-nem-ya-rodilas-i-virosla-gorod-brest-eto-oblastnoj-centr-belarusi-moya-semya-sostoit-iz-chetireh-chelov.html
  • pisat.bystrickaya.ru/stanovlenie-professionalnoj-lingvodidaktiki-kak-teoretiko-metodologicheskaya-problema-v-professionalnom-obrazovanii-13-00-08-teoriya-i-metodika-professionalnogo-obrazovaniya.html
  • occupation.bystrickaya.ru/narodna-biblioteka-ivan-vazov-plovdiv-otdel-metodichen-novi-dokumenti-za-2006-godina-na-blgarski-ezik.html
  • teacher.bystrickaya.ru/filosofiya-istorii-fihte-nemeckaya-klassicheskaya-filosofiya.html
  • vospitanie.bystrickaya.ru/zakonomerno-narastanie-interesa-k-osobennostyam-stroeniya-socialnomu-stranica-14.html
  • desk.bystrickaya.ru/pobediteli-i-prizyori-gorodskih-predmetnih-olimpiad-v-2007-2008-uchebnom-godu-sozdanie-gimnazicheskoj-sistemi-ocenki-kachestva-obrazovaniya.html
  • obrazovanie.bystrickaya.ru/programma-gosudarstvennih-garantij-okazaniya-grazhdanam-rossijskoj-federacii-prozhivayushim-v-kaluzhskoj-oblasti-besplatnoj-medicinskoj-pomoshi-na-2011-god-stranica-4.html
  • vospitanie.bystrickaya.ru/zasedaniya-postoyannoj-komissii-po-zakonnosti-i-pravoporyadku.html
  • upbringing.bystrickaya.ru/lekciya-elementarnie-mehanizmi-obrazovaniya-dispersnih-sistem.html
  • writing.bystrickaya.ru/glava-13-kak-dobitsya-podchineniya-muzha-zhene-ili-neskolko-sovetov-po-dressirovke-muzhchin.html
  • thesis.bystrickaya.ru/prilozhenie-4-klassifikatori-opornogo-plana-n-s-zajceva-e-a-zadorozhnaya-v-a-nikitin-o-v-etezova.html
  • zanyatie.bystrickaya.ru/the-participles-osnovnoj-kurs-essential-course-uprazhneniya-po-intonacii-exercises-in-intonation-uprazhneniya.html
  • write.bystrickaya.ru/eta-kniga-posvyashaetsya-konstantinu-konstantinovichu-mindzhiya-s-ulici-inge-kotorij-nauchil-menya-uchitsya-kogda-ya-uchus-rusudan-grigorevne-gogiya-iz-goroda-tkvarche-stranica-48.html
  • credit.bystrickaya.ru/planirovaniya-lipeckoj-oblasti-stranica-14.html
  • predmet.bystrickaya.ru/shevchenko-li-regulirovanie-otnoshenij-postavki-teoriya-i-praktika-spb-izd-vo-yuridicheskij-centr-press-2002.html
  • © bystrickaya.ru
    Мобильный рефератник - для мобильных людей.