Cтраница 2
Типизация механизмов и устройств технологических машин, развитие применительно к задачам проектирования технологического оборудования теории конечных автоматов, а также типизация технологических процессов сборки позволят в перспективе автоматизировать не только переработку исходных операторных формул, но, как уже говорилось, и их синтез, а также осуществляемую при помощи соответствующего алгоритма переработку операторных формул в логические формулы. При этом предполагается, что в ЭВМ будет вводиться информация, содержащая описание изделия и его компонентов, технических требований к нему, условий технологического процесса и пр. [16]
В связи с задачей формализации записи тех характерных для сборочного оборудования логических операций, которые связаны с необходимостью автоматического реагирования на возможные отклонения от нормального течения технологического процесса, с возможными изменениями последовательности ( чередованиями) операций, с необходимостью изменения параметров одних операций в зависимости от результатов предшествующих им операций, и многими другими аналогичными функциями сборочного оборудования необходимо в добавление к ранее использовавшимся для построения операторных формул понятиям нелогических операторов Р, В и У и непроверяемых логических условий ( псевдо-конъюкция и псевдодизъюкция) ввести понятие логических операторов и соответственно проверяемых условий. [17]
Сравнивая строчную и матричную записи состояния схемы, соответствующие переработке данного объекта, можно сделать вывод, что символы действующих операторов в первом случае располагаются в строку, а во втором - по диагонали таблицы. При записи операторной формулы в виде матрицы символ оператора переадресации р объекта по ячейкам машины опускают. [18]
Анализ и синтез ациклических автоматических станков и линий можно производить методами теории конечных автоматов. Аналитическое исследование структуры автоматических линий с ЧП-схемами следует производить с помощью операторных формул, дополненных логическими условиями. Структуру автоматических линий с НП-схемами аналитически исследуют с помощью диагональных матриц и операторных формул. [19]
Анализ и синтез ациклических автоматических станков и линий можно производить методами теории конечных автоматов. Аналитическое исследование структуры автоматических линий с ЧП-схемами следует производить с помощью операторных формул, дополненных логическими условиями. Структуру автоматических линий с НП-схемами аналитически исследуют с помощью диагональных матриц и операторных формул. [20]