Cтраница 4
Кроме того, на основании меры р возможна корректировка моделей вычисления ПК продуктов, а в сочетании с методом идентификации ситуации на основе логических выражений, составленных из нечетких переменных, на втором этапе идентификации существует возможность диагностирования граничных ситуаций различного типа. [46]
Машины Тьюринга, несмотря на их неадекватность в качестве моделей реальных производственных вычислений, наиболее удобны для исследования вычислительной сложности алгоритмов. Это связано с рядом особенностей их строения и функционирования. [47]
Модельный уровень реализуется системой базовых программных средств и отражает детализированную модель вычислений, основанную на заданной совокупности технических устройств. [48]
Одна работа из серии отчетов и диссертаций, в которых разрабатывается модель вычислений в виде графа UCLA. В этой дессертации определяется свойство завершения и разрабатывается алгоритм определения возможности полного завершения. В приложении показывается, что сети Петри и графы UCLA почти эквивалентны, но позиции сети Пэтри ошибочно ставятся в соответствие вершинам графа UCLA, а не дугам графа при правильном сопоставлении, поэтому результаты ошибочны. [49]