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