Cтраница 2
Закон функционирования автомата часто может быть задан в описательной форме - на обычном языке. Поскольку такая форма не является математически строгой, то принципиально нельзя получить алгоритм перехода от описательной формы задания автомата к стандартной. Такой переход должен осуществляться интуитивно. Поэтому стандартная форма задания автомата должна быть достаточно удобной не только для решения задачи синтеза, но и для перехода к ней от различных других форм задания автоматов и, прежде всего, от описательной формы. На этапе структурного синтеза в качестве такой стандартной формы задания автоматов обычно используют кодированные буквами соответствующих структурных алфавитов таблицы переходов и выходов. Кроме того, задают или выбирают набор элементарных автоматов и логических элементов. В результате выполнения этапа структурного синтеза получают структурную схему автомата, то есть способ соединения между собой элементарных автоматов и логических элементов, обеспечивающий заданные условия функционирования автомата. [16]
V) предполагает предварительное создание удобного языка для записи условий работ автомата с удобными алгоритмами перехода от записи к каноническим уравнениям. По-видимому, в настоящее Твремя наиболее удобными являются алгебраические языки ( язык регулярных выражений С. К. Клини [18] и его усовершенствования в работах В. М. Глушкова), Копи, Эльгота и Райта [64]) и логические языки, основанные на логике одно-метных предикатов ( ср. На возможность применения последних было впервые указано Б. А. Трахтен-бротом [42] и А. Эльгот [ в5 ]), в которых обобщаются и усиливаются результаты § 4 гл. При этом ставится следующая задача: создать алгоритм, который по любой формуле данного языка 1) выясняет, существует лп ограниченно-детерминированный оператор, удовлетворяющий этой формуле; 2) если да, то строит канонические уравнения какого-либо одного такого оператора или всех таких операторов. [17]
По данным § 5.2 выбираются материалы червячной пары и их механические характеристики. Размеры червячной передачи определяются по схеме алгоритма ( см. рис. 5.3), после чего производится проверочный расчет по схеме алгоритма, данного на рис. 5.4. При этом если условия аш [ аш ] или & п [ ап ] не выполняются, то помимо указанного в алгоритме перехода на большие значения m и q можно повысить механические характеристики материала венца червячного колеса за счет использования более качественной бронзы или иного способа получения отливки для венца червячного колеса. [18]
И тот и другой имеют как преимущества, так и недостатки. В зависимости от целей исследования, типа изучаемых объектов следует в каждом отдельном случае выбирать ту структуру, которая позволяет решить задачу более быстро и эффективно. При этом возможно сочетание обеих структур, использование алгоритмов перехода от растровой к векторной форме представления данных и обратно. Атрибутивные данные - это, как правило, структурированная информация различного типа данных, хранящаяся в реляционных ( табличных) базах данных. [19]
Если таких функций необходимо ввести несколько, с тем чтобы полностью описать процесс нагружения тела, то приведенные здесь рассуждения и выкладки необходимо проводить для каждой функции. Аналогичная проблема возникает, если на части поверхности заданы усилия, на части - перемещения. Заметим, что в последнем случае перемещения будут пропорциональны прикладываемым усилиям, деленным на модуль сдвига, что очевидным образом меняет алгоритм перехода к изображениям. [20]
Если таких функций необходимо ввести несколько, с тем чтобы полностью описать процесс нагру-жения тела, то приведенные здесь рассуждения и выкладки необходимо проводить для каждой функции. Аналогичная проблема возникает, если на части поверхности заданы усилия, па части - перемещения. Заметим, что в последнем случае перемещения будут пропорциональны прикладываемым усилиям, деленным па модуль сдвига, что очевидным образом меняет алгоритм перехода к изображениям. [21]
По данным § 5.2 выбираются материалы червячной пары и их механические характеристики. Размеры червячной передачи определяются по схеме алгоритма ( см. рис. 5.3), после чего производится проверочный расчет по схеме алгоритма, данного на рве. При этом если условия Стщ [ о ш ] или о2 [ п ] не выполняются, то помимо указанного в алгоритме перехода на большие значения m и q можно повысить механические характеристики материала венца червячного колеса за счет использования более качественной бронзы или иного способа получения отливки для венца червячного колеса. [22]
Другое противоречивое требование к ЛИС связано с необходимостью ео адаптации к массовым задачам при сохранении универсальности. Суть этого противоречия заключается в том, что АИС для органической химии должна быть в высокой степени приспособлена к решению наиболее часто встречающихся ( массовых) задач. Для решения первого класса задач удобно иметь в ЭВМ блочные системы записи структурных формул, предусматривающие обозначение наиболее распространенных структурных фрагментов одним-двумя символами. Для решения второго класса задач требуются поатомные системы записи структурных формул и, соответственно, алгоритмы поиска по матрицам связи, в которых записаны все атомы структуры и связи между атомами. Данного противоречия можно избежать, используя в рамках одной и той же АИС различные типы ИПЯ и алгоритмы перехода от одних языков к другим, в частности алгоритмы автоматической индексации типа описанных в гл. Другим способом удовлетворения противоречивым требованиям является реализация АИС в виде федеративной структуры, рассмотренной в предыдущем параграфе. [23]