Эффективная процедура

Cтраница 2

В математике разработаны эффективные процедуры поиска искомой точки в пространстве параметров, иными словами - набора параметров, являющихся оптимальными. [16]

Генерация ОС является эффективной процедурой для получения оптимальной ( применительно к конкретному вычислительному процессу) функциональной конфигурации ОС. [17]

Принцип резолюции является более эффективной процедурой, нежели процедура вывода Эрбрана. Но и он страдает существенными недостатками, заключающимися в формировании всевозможных резольвент, большинство из которых оказывается ненужными. Многочисленные модификации принципа резолюции направлены на нахождение более эффективных стратегий поиска нужных дизъюнктов. Желающие могут обратиться к комментарию в конце книги, где перечислена литература, описывающая эти модификации. [18]

Взаимодействие двух синфазных солитонов. на плоскости., т изображены траектории максимумов интенсивности при начальных условиях ( 16. Два солитона, максимумы которых первоначально разнесены во времени, сближаются, сливаются, затем распространяются как единый волновой пакет и вновь разделяются. Варьируемый параметр - временной интервал 2Гц между исходными импульсами. [19]

В 136 ] развита эффективная процедура, позволяющая выделить со-литонную составляющую для произвольной последовательности из N импульсов и проследить ее эволюцию с расстоянием. [20]

Если алгоритм, или эффективная процедура, используется для вычисления значений числовой функции, то эта функция называется эффективно вычислимой, или алгоритмически вычислимой, или просто вычислимой. [21]

След вательно, существует эффективная процедура для решения проса о том, определено ли / я, и если определено, то нахождения этого числа. Следовательно, / - корректно определе ная тотальная вычислимая функция. [22]

Покажите, что существует эффективная процедура, находящая по любому данному предложению чистое диадическое предложение, общезначимое тогда и только тогда, когда общезначимо исходное. [23]

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

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

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

Описанная ситуация определяет также простую и эффективную процедуру вычисления этих сепаратрис. Именно, любое слоение на X ( допустимое в том смысле, что связанное с ним расслоение является сечением из Cl ( XGX), имеющем не очень большой угол с инвариантным слоением) прижимается за полубесконечный промежуток времени ( соответственно прямым или обратным) динамическим потоком к инвариантному слоению. Это свойство остается справедливым для ( необязательно гладкой) лип-шицевой гиперболической системы. Таким образом, алгоритм вычисления сепаратрисных многообразий полностью определен. [27]

Метод истинностных таблиц является хорошо известной эффективной процедурой для решения вопроса об общезначимости произвольного предложения пропозиционального исчисления. [28]

Функция, для которой существует эффективная процедура ее вычисления на основе рекурсии, называется рекурсивной. [29]

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

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