Информатика и вычислительная техника
  • формат djvu
  • размер 6,46 МБ
  • добавлен 13 мая 2015 г.
Кудрявцев В.Б., Подколзин А.С., Болотов А.А. Основы теории однородных структур
М.: Наука, 1992. — 298 с.
Излагаются основные результаты по теории однородных структур, полученные советскими и зарубежными авторами за последние 30 лет. В первой части изучаются автономные однородные структуры. Объектом исследования являются процессы, происходящие внутри этих структур, т.е. поведение их. Во второй части изучаются однородные структуры со входами и выходами, для которых наряду с их внутренними процессами изучаются свойства композиций таких структур. В третьей части рассматриваются некоторые модификации однородных структур и их использование в решении конкретных вычислительных задач.
Для студентов, аспирантов и научных работников, работающих в области математической кибернетики.
Однородные структуры
Понятие однородной структуры

Основные понятия и примеры
Диаграммы состояний
Замкнутые классы состояний
Моделирование изменения пространственных форм в однородных структурах
Рост конфигураций
Аппроксимация геометрических форм
Взаимное моделирование однородных структур
Моделирование в реальном времени
Моделирование с замедлением
Распознавание универсальности
Примеры простых универсальных однородных структур
Однородные структуры со входами и выходами
Отображения, реализуемые однородными структурами со входами и выходами

Основные понятия. Однородные отображения
Эквивалентность состояний
Сводимость однородных структур со входами и выходами
Логическая независимость параметров структур
Сводимость структур к более простым
Об избыточности ячеек в структурах
Композиции однородных структур со входами и выходами
Операции над структурами
Условия полноты для структур
Вычисления в однородных структурах
Вычисления булевых операторов в однородных структурах со входами и выходами

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