Cтраница 1
Широкое множество точно решаемых моделей с полным набором спектральных параметров позволяет управлять поглощением в конструируемых квантовых системах. [1]
Среди широкого множества антивирусных программ у отечественного пользователя наибольшую популярность приобрели нрограммы-полнфаги Aidstest п Doctor Web, входящие в состав комплекта АО Диалог-Наука. Причем предпочтение все в большей пе-пени отдается программе Doctor Web, позволяющей обнаруживать и обезвреживать вирусы-мутанты, с которыми Aidstest справиться пе в состоянии. Однако названные программы работают на разных наборах вирусов и дублирования проверки пе происходи г. поэтому для надежности целесообразно использовать их совместно. [2]
В программах применяется широкое множество стандартных идиом C, а в текст включены краткие описания каждой из конструкций. [3]
В классе 3 допускается более широкое множество типов тренда. [4]
Максимум справа берется по более широкому множеству, откуда следует неравенство. [5]
Цадь итой книги - изучение широкого множества важных н полезных ал. & дйв решения залзч, которые подкопят для компьютерной реализации Мъз Оу-лсм и меть д или с ргшшчпьшк обл стчми ] рныенснняь всегда уделяя основное внимание фундаментальным алгоритмам. [6]
Цель этой книги - изучение широкого множества важных и полезных алгоритмов: методов решения задач, которые подходят для компьютерной реализации. Мы будем иметь дело с различными областями применения, всегда уделяя основное внимание фундаментальным алгоритмам, которые важно знать и интересно изучать. Мы затратим достаточное время на изучение каждого алгоритма, чтобы понять его основные характеристики и разобраться в его тонкостях. Наша цель - достаточно подробно изучить большое количество наиболее важных алгоритмов, используемых в компьютерах в настоящее время, чтобы иметь возможность их применять и учитывать при решении задач. [7]
Нам будет удобнее работать с более широкими множествами символов, нежели О, 1, однако тривиальное кодирорание покажет, что это не влечет потери общности. [8]
Хотя N-стратегня эффективно работает на довольно широком множестве задач, другое, даже еще более важное, преимущество, достигаемое благодаря применению переписывающего метода к доказательству теорем первого порядка, - это возможность решать задачи с предикатами, аргументы которых определены на специальных областях. Пример 3.7, в котором аргументы определены на группах, является задачей такого рода. [9]
Определение направленно выпуклого множества напоминает определения выпуклого и направленно широкого множества. Всякое направленно выпуклое множество является, очевидно, и направленно широким. [10]
В правой части последнего равенства минимум берется по более широкому множеству, так как связи Ф - 0 отсутствуют. [11]
Этот вариант РАСШИРИТЕЛЯ очень эффективен и будет работать с широким множеством пар теорем. Читателя, который заинтересуется работой РАСШИРИТЕЛЯ при построении последовательности GJ, мы отсылаем к более детальному описанию [6] различных случаев и дальнейших разработок. [12]
В следующей теореме используется некоторое обобщение выражений исчисления доменов с более широким множеством атомов, чем обычно. А именно, пусть г - отношение над схемой А. [13]
В следующей теореме используется некоторое обобщение выражений исчисления доменов с более широким множеством атомов, чем обычно. [14]
Модель ( 215) представляет собой комбинаторную задачу выбора а широком множестве допустимых управлений. При этом задача усложняется за счет трудоемких расчетов параметров эффективности: точности, оперативности и себестоимости каждой модели, алгоритма ее реализации и программы реализации алгоритма для фиксированной совокупности критических параметров. В настоящее время имеются полуавтоматические эвристические процедуры выбора искомых параметров указанной модели. [15]