Чтение онлайн

на главную - закладки

Жанры

Большая Советская Энциклопедия (АВ)
Шрифт:

А. т. состоит из ряда разделов. Один из разделов: абстрактно-алгебраическая А. т. В этом разделе абстрактные автоматы изучаются с точки зрения исследования их свойств и различных способов задания. Абстрактным автоматом называют объект А = А (U, X, Y, d, l), состоящий из трёх непустых множеств: U — состояний, Х — входных сигналов, Y — выходных сигналов, и двух функций, осуществляющих однозначное отображение множества U'Х в U, d (а, х) переходов и множества U'Х в Y, l (а, x) выходов. Абстрактный автомат называется конечным, если множества U, X, Y — конечны. В абстрактно-алгебраической А. т. можно выделить теорию конечных автоматов и теорию бесконечных автоматов. Основные вопросы теории конечных автоматов можно считать решенными. Наиболее интересными результатами

теории конечных автоматов являются: теорема анализа и синтеза конечных автоматов, которая даёт характеристику событий, представленных в конечных автоматах, теоремы об определяющих соотношениях в алгебре регулярных событий, оценки длины экспериментов с конечными автоматами, а также ряд результатов по исследованию алгебраических свойств абстрактных автоматов. В теории бесконечных автоматов рассматриваются различные концепции бесконечных автоматов, точнее выделяются классы бесконечных автоматов специального вида. Этот раздел важен тесной связью с общей теорией формальных языков и грамматик (см. Математическая лингвистика), а также с теорией алгоритмов (см. Алгоритмов теория). В рамках абстрактно-алгебраической А. т. наметился (конец 60-х гг.) подход к решению проблемы создания алгебры алгоритмов и построения аппарата для формальных преобразований выражений в этой алгебре, что позволяет совершенно по-новому подойти к решению такого рода задач, как эквивалентность схем алгоритмов, и даёт возможность эффективно решать оптимизационные задачи в проектировании дискретных устройств.

Другим разделом А. т. является структурная А. т. Здесь автомат представляется в виде сети, элементы которой выбираются из некоторой заданной совокупности элементарных автоматов, соединены между собой некоторым специальным образом и осуществляют запоминание и преобразование элементарных сигналов. Основными результатами структурной А. т. являются: практическая методика построения сложных логических сетей, исследования по асимптотическим оценкам сложности их, решению проблемы полноты системы элементарных автоматов, кодированию состояний автоматов, оптимальной реализации логических сетей в различных элементных структурах и т. д. Структурная А. т. тесно связана с теорией кодирования, общей теорией переключательных функций, теорией комбинационных схем, теорией информации, теорией надёжности дискретных устройств и т. п.

Третьим разделом А. т. является теория вероятностных автоматов и самоорганизующихся систем.

Основные приложения А. т. имеет в практике проектирования и автоматизации проектирования дискретных устройств и, в частности, вычислительных машин. Она приобретает всё более важное значение для таких классических математических дисциплин, как теория алгоритмов, с одной стороны, и таких современных теорий в математике и кибернетике, как теория формальных систем, теория программирования, теория формальных языков и грамматик — с другой.

Лит.: Автоматы. Сб. ст., под ред. Э. Шеннона и Дж. Маккарти, пер. с англ., М., 1956; Глушков В. М, Трахтенброт Б. А, Введение в теорию конечных автоматов, М., 1962; Логика. Автоматы. Алгоритмы, М., 1963; Гилл А., Введение в теорию конечных автоматов, пер. с англ., М. 1966.

Ю. В. Капитонова.

Автомашинист

Автомашини'ст железнодорожный, автоматическое устройство, помогающее машинисту выполнять график движения с повышенной точностью. Эффективно применяется при малых интервалах между поездами (метрополитен, пригородное железнодорожное сообщение). Система автоматического управления движением поезда впервые создана в Советском Союзе. В 1958 под Москвой были проведены испытания пригородного поезда с А., который обеспечил выполнение графика и точность остановки поезда. Первое упоминание об А. за рубежом относится к 1959, а сообщение об испытаниях первого поезда с А. в нью-йоркском метро появилось в 1960, где А. решал лишь задачу точной остановки поезда, но не контролировал выполнение графика. Первые образцы А. для поездов пригородного сообщения за рубежом появились в 1965 для железнодорожного узла в Сан-Франциско (США).

А. действует по программе 1 (см. рис.), отражающей заданный график движения и содержащей граничные условия движения (допустимые скорости Vпр, интенсивности разгона и замедления

и т. п.). При движении поезда по пути S А. сравнивает действительное время tд с программным tпр и, с учётом граничных условий, с помощью блока 2 меняет режимы Р ведения поезда, выбирая момент или точку пути для перехода от одного режима к другому.

В упрощённых системах функции автоматики ограничены сравнением времени и скорости движения с программными. Результат сравнения в виде отклонения от графика Dt или резерва повышения скорости DV с помощью табло 3 и 4 сообщается машинисту, который принимает решение об изменении режима.

Блок программы движения поезда может быть расположен на центральном пункте (централизованная система), на пути (распределённая система) или на поезде (автономная система). В первом случае команды об изменении режима движения для каждого поезда вырабатываются в вычислительном центре на основании информации, поступающей от всех поездов, и передаются на нужный поезд, для чего каждый поезд должен иметь свой адрес, присвоенный ему либо участку, по которому он движется, независимо от номера поезда. На поезде сохраняются только исполнительная аппаратура и устройства для передачи информации и приёма команд. Эта система наиболее перспективна, однако требует большого числа каналов двусторонней связи между центральным пунктом и движущимся поездом.

При расположении блока программы на пути роль центрального пункта ограничивается передачей единого для всех поездов времени, сигналов, корректирующих движение поезда, и, при наличии более чем одной программы, — сигналов, включающих нужную из программ. Устройства на поезде такие же, как и в первом случае. Такой способ наиболее приемлем для участков с однотипными поездами (метрополитены).

Расположение блока программы на локомотиве (поезде) позволяет вести по участку разнотипные поезда. Число каналов связи с центральным пунктом минимальное и может ограничиваться передачей единого времени. Программа выбирается автоматически, дистанционно или машинистом в соответствии с номером нитки графика. Способ наиболее пригоден при постепенном переводе поездов на автоматическое управление.

Система А. постоянно связана с другими автоматическими системами, участвующими в процессе управления движением. Она воздействует на локомотивную автоматику 5, выполняющую выбранные ею режимы, и подчиняется командам автодиспетчера 6 и автоблокировки 7. Через автодиспетчер А. взаимосвязан с другими автоматическими системами, выполняющими различные функции на железнодорожном транспорте.

В перспективе А. будет составной частью комплексной системы автоматического управления участком, дорогой.

Лит.: Фаминский Г. В., Устройство и эффективность «автомашиниста», Труды Всесоюзного научно-исследовательского института железнодорожного транспорта, 1967, в. 336; Кекониус О. и Кольберг Н. О., «Автомашинист» для Стокгольмского метрополитена, «Ежемесячный бюл. Международной Ассоциации железнодорожных конгрессов», 1967, № 2.

Г. В. Фаминский.

Схема работы автомашиниста.

Автометаморфизм

Автометаморфи'зм (геол.), изменение магматической горной породы в процессе её отвердевания, происходящее под действием растворов, отделяющихся от породы во время её охлаждения.

«Автометрия»

«Автометри'я», научно-технический журнал, орган Сибирского отделения АН СССР. Издаётся в Новосибирске. Основан в 1965. Выходит 6 номеров в год, тираж (1969) 1700 экземпляров. Освещает новые результаты по главным разделам автометрии, измерительным и контрольным автоматически действующим приборам, системам и элементам, их проектированию и контролю качества, использованию; публикует материалы по исследованию и разработке новейших средств получения и обработки измерительной информации.

Поделиться:
Популярные книги

Прометей: Неандерталец

Рави Ивар
4. Прометей
Фантастика:
героическая фантастика
альтернативная история
7.88
рейтинг книги
Прометей: Неандерталец

Метаморфозы Катрин

Ром Полина
Фантастика:
фэнтези
8.26
рейтинг книги
Метаморфозы Катрин

Позывной "Князь"

Котляров Лев
1. Князь Эгерман
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Позывной Князь

Дворянская кровь

Седой Василий
1. Дворянская кровь
Фантастика:
попаданцы
альтернативная история
7.00
рейтинг книги
Дворянская кровь

Кто ты, моя королева

Островская Ольга
Любовные романы:
любовно-фантастические романы
7.67
рейтинг книги
Кто ты, моя королева

Начальник милиции. Книга 6

Дамиров Рафаэль
6. Начальник милиции
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Начальник милиции. Книга 6

Измена. Свадьба дракона

Белова Екатерина
Любовные романы:
любовно-фантастические романы
эро литература
5.00
рейтинг книги
Измена. Свадьба дракона

Черный Маг Императора 10

Герда Александр
10. Черный маг императора
Фантастика:
юмористическое фэнтези
попаданцы
аниме
сказочная фантастика
фэнтези
5.00
рейтинг книги
Черный Маг Императора 10

Темный Лекарь 2

Токсик Саша
2. Темный Лекарь
Фантастика:
фэнтези
аниме
5.00
рейтинг книги
Темный Лекарь 2

Чехов

Гоблин (MeXXanik)
1. Адвокат Чехов
Фантастика:
фэнтези
боевая фантастика
альтернативная история
5.00
рейтинг книги
Чехов

Ваше Сиятельство 3

Моури Эрли
3. Ваше Сиятельство
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Ваше Сиятельство 3

Сумеречный Стрелок 5

Карелин Сергей Витальевич
5. Сумеречный стрелок
Фантастика:
городское фэнтези
попаданцы
аниме
5.00
рейтинг книги
Сумеречный Стрелок 5

Скандальная свадьба

Данич Дина
1. Такие разные свадьбы
Любовные романы:
современные любовные романы
эро литература
5.00
рейтинг книги
Скандальная свадьба

Студиозус

Шмаков Алексей Семенович
3. Светлая Тьма
Фантастика:
юмористическое фэнтези
городское фэнтези
аниме
5.00
рейтинг книги
Студиозус