Логическая процедура

Cтраница 1

Здесь логическая процедура marked проверяет, не была ли ранее помечена ячейка al ( она может принадлежать сразу нескольким списочным структурам, или же к ней могут вести разные пути в одной структуре-см. Далее, если это - не информационная ячейка атома, то следует пометить структуры, адреса которых содержатся в а - и d - указателях этой ячейки. [1]

Логические процедуры поиска вывода и доказательств. [2]

Основу логической процедуры диагноза составляет совокупность физических величин, с помощью которых при измерении определяются структурные - параметры объекта диагностирования. Следовательно, для определения работоспособности машины, поиска дефектов и прогнозирования ее состояния необходимо измерять диагностические параметры. Физические параметры распределяют на следующие группы: кинематические, геометрические, статические, динамические, тепловые, акустические, электрические и др. Наибольший практический интерес представляют параметры назначения и надежности объектов, находящиеся в функциональной зависимости от измеряемых физических величин. [3]

Сбор данных с помпщью специальных интегральных микросхем. [4]

НИИ допускает логическую процедуру установления связи ( аналогичную описанной в начале данной главы), которая может выполняться в сочетании с восьмибитовой параллельной передачей через порт А. При этом некоторые из линий сигналов порта В должны быть использованы в качестве управляющих. На рис. 6.16 показано применение БИС для этого режима работы. [5]

Доказательство - это логическая процедура установления истинности какого-либо утверждения при помощи других утверждения, истинность которых уже установлена. [6]

Что же касается логической процедуры, то с ее помощью удостоверяется лишь большая ( или меньшая) сложность научной дисциплины, на основании которой определяется ее место в системе. Таким образом обнаруживается, что каждая из наук имеет, с одной стороны, абстрактный аспект, общий у нее с другими, более простыми, науками и поддающийся сведению ( редукции), а с другой - конкретный, доступный лишь эмпирической процедуре. [7]

Теперь в контексте логического программирования сами логические процедуры могут быть использованы как структуры данных и, стало быть, всякое предполагаемое различие между этими объектами пропадает. Термы, разумеется, также служат в качестве структур данных. Таким образом, какие бы виды структур данных ни использовались, их все следует отнести к логической компоненте программы. Более того, в логических программах практически не делается никакого описания управления, поскольку оно находится в компетенции интерпретатора. [8]

В принципе резолюция является достаточным средством для вывода логических процедур из спецификаций, поскольку каждое предложение стандартной логики, входящее в нашу исходную спецификацию, можно преобразовать с помощью различных систематических методов в ( фактически) эквивалентное множество предложений, представленных в виде дизъюнктов. В зависимости от вида исходного предложения это множество может содержать как хорновские, так и нехорновские дизъюнкты. Если все дизъюнкты в нем хорновские, то в последующем синтезе можно использовать простой метод резолюции сверху вниз, показанный в предыдущем примере. В противном случае ( когда имеются нехорновские дизъюнкты) можно применить общую резолюцию. [9]

В представлениях посредством фактов используется то обстоятельство, что сами логические процедуры могут служить в качестве описаний компонент структур данных. [10]

В системах технической диагностики измерительная информация является основной для логической процедуры диагноза, когда состояние обследуемого объекта относят к тому или иному классу состояний, что позволяет судить о работоспособности, опознать и локализовать неисправности. Эти системы имеют развитые средства обработки и анализа информации. [11]

На факультетском уровне обучения диагностике болезней обоснование диагноза является логической процедурой доказательства соответствия образа диагностируемой болезни с ее теоретической моделью, описанной в литературе. [12]

Задача системного анализа заключается в том, чтобы вооружить руководителей логической процедурой, обоснованной методологией решения сложных проблем управления, максимально ИСПОЛЬЗУЯ поп этом математический аппарат лля ппивлечения всей необходимой информации, ее всесторонней обработки и выбора правильных решений. [13]

На практике, однако, это редко бывает возможно: множества логических процедур даже при условии их полноты содержат, как правило, меньший объем информации, чем спецификации, которым они соответствуют. [14]

Алгоритм вычисления подобных функций строится на сочетании традиционных аналитических форм ТО с логическими процедурами, отражающими взаимосвязи этих операций, например в виде операторов их сопряжений. [15]

Страницы: 1 2 3 4