Cтраница 1
Эффективная процедура должна удовлетворять следующим требованиям. Во-вторых, если процедуре задан А - кортеж. [1]
Эффективная процедура минимизации может служить основой для эффективного алгоритма проверки эквивалентности автоматов. Суть заключается в следующем. Минимальный автомат с точностью до изоморфизма - единственный. [2]
Эффективная процедура последовательного отсеивания на базе ортогональных латинских квадратов может быть построена для переменных, варьируемых не только на двух, но также на трех и более уровнях. При этом переменная может оказаться значимой на одном или нескольких уровнях. [3]
Эффективные процедуры решения больших задач могут быть и другого типа. Существует ряд эффективных централизованных методов решения больших задач специальной структуры. Все они являются специализированными вариантами модифицированного симплекс-метода, позволяющими сократить время вычислений и ослабить требования к объему памяти. Это удается достичь путем использования специальных свойств обратных матриц для данного класса решаемых задач, изменяя способы хранения обратной матрицы или оперируя с компактной записью связанных с ней уравнений. Сам по себе модифицированный симплекс-метод с мультипликативным представлением обратной матрицы является компактным методом, который имеет особые преимущества при малой плотности ненулевых элементов в матрицах. [4]
Существует эффективная процедура для распознавания, являются ли две линейные рекурсивные схемы сильно эквивалентными. [5]
Существует эффективная процедура для распознавания, являются ли сильно эквивалентными две стандартные схемы с одной переменной и засылками констант. [6]
Существует эффективная процедура ( алгоритм), позволяющая для любого песо, п О, и любого предложения Ф за конечное число шагов установить, является ли Ф п-общезначимым или нет. [7]
Невозможна эффективная процедура для распознавания равенства двух рекурсивных вещественных чисел. [8]
Отсутствие эффективных процедур для исчислений более высоких порядков, чем первый. [9]
О Обеспечиваются эффективные процедуры управления защитой, секретностью, целостностью и безопасностью данных. [10]
Иногда существует эффективная процедура построения решений путем систематического улучшения аппроксимаций. Примером служит последовательная детализация сверху вниз. В случаях когда сходимость быстрая, выдвижение гипотез может оказаться приемлемым даже тогда, когда решений не очень много. [11]
Иногда существует эффективная процедура построения решений путем систематического улучшения аппроксимаций. Примером служит уточнение сверху вниз. В случаях когда наблюдается быстрая сходимость процесса, выдвижение гипотез может оказаться уместным даже тогда, когда решений немного. [12]
Вопросы построения эффективных процедур поиска неисправностей в сложных системах весьма важны как средство повышения эффективности системы в целом. [13]
Чтобы построить эффективную процедуру минимизации ф ( х), достаточно располагать производными от F (), c ( x) до второго порядка включительно. [14]
Янов) Существует эффективная процедура, распознающая, являются ли сильно эквивалентными две стандартные схемы с одно переменной. [15]