Cтраница 2
В книге отдается предпочтение качественному подходу к изложению материала с использованием множества поясняющих иллюстраций по сравнению с глубоким теоретическим рассмотрением. [16]
Метод упорядочения файлов на устройствах последовательною доступа, основанный на использовании множества рабочих файлов, которые вместе с исходными и результирующими делятся на каждом этапе слияния примерно на равное число входных и выходных файлов. При этом длина упорядоченных групп увеличивается в п 2 раз. [17]
Человеческое мышление представляет собой сложный познавательный процесс, включающий в себя использование множества различных приемов, методов и форм познания. Различия между ними условны, и очень часто все эти термины употребляются как синонимы, однако имеет смысл делать некоторое различие между ними. Под приемами мышления и научного познания понимаются общелогические и обше-гносеологические операции, используемые человеческим мышлением во всех его сферах и на любом этапе и уровне научного познания. Они в равной степени характеризуют как обыденное мышление, так и научное, хотя в последнем приобретают более определенную и упорядоченную структуру. [18]
Третий подход в принципе подобен первому, однако в нем устраняется необходимость использования отдельных множеств процедур, описывающих взаимно дополнительные отношения, такие как входит и не-входит. Вместо этого он основывается на явном вычислении ответов ДА / НЕТ на запросы о принадлежности в отношениях. [19]
В этом случае параметры типа int и const int будут инициализированы с использованием одинакового множества типов данных. При передаче любого из этих типов после вызова функции компилятор не сможет определить, какая именно перегруженная функция вызывается. [20]
Возможность получения ответа на такие запросы или осуществления необходимого поиска основывается на использовании множества параметров, и для ее обеспечения требуется наличие размещения данных определенного типа. [21]
Основа для рассмотрения устройств ввода-вывода с разных точек зрения - это концепция и использование множества абстракций устройств ввода-вывода, которые указывают общедоступные операции ввода-вывода, имеющие различную степень зависимости от устройства. Интерфейс ввода-вывода в iMAX предоставляет множество таких абстракций; это образец, по которому в программах языка Ада можно создавать новые абстракции устройств, а также логическое обоснование и средство выбора из них требуемой абстракции. Более того, при использовании языка 432 - Ада выбор абстракции работающего устройства может быть выполнен динамически. [22]
Как отмечалось выше, результирующее значение величины управляющего воздействия при реализации системы регулирования определяется с использованием множества, получаемого объединением результатов обработки каждого правила нечеткого регулятора. [23]
Гиперкубическая архитектура была впервые разработана в Калифорнийском технологическом институте; основной ее принцип состоит в использовании множества отдельных МП, каждый из которых снабжен локальной памятью, для формирования вычислительных узлов, соединенных между собой двухпунктовыми связями. Гиперкуб размерности л объединяет N 2n узлов, которые независимо работают над выполнением отдельных частей полной программы. Так, куб размерности 6 содержит 64 узла, каждый из которых связан с шестью ближайшими соседями в пределах 6-размерного гиперкуба. [24]
Одной из важных особенностей применения СВЧ-разряда, отличающей его от других видов разряда, является возможность использования множества типов волн ( Ню, H0i, E0i и др.) с различной конфигурацией электрических и магнитных полей. [25]
Пакет Neural Networks Toolbox ( нейронные сети) содержит средства для проектирования, моделирования, обучения и использования множества известных парадигм аппарата искусственных нейронных сетей ( ИНС), от базовых моделей персептрона до самых современных ассоциативных и самоорганизующихся сетей. [26]
Итак, речь идет о множестве модальных теорем, монотонно доказуемых в модальной классической системе 5 с использованием множества посылок А. [27]
Таким образом, решения приведенного выше рекуррентного уравнения дают ( неконструктивно определяемые) максимальные множества формул, выводимых с использованием множества посылок А и с сохранением свойства выполнимости. Эти множества содержат все логические следствия из множества посылок Л, а также все предположительные относительно них формулы. [28]
Таким образом, решения приведенного выше рекуррентного уравнения дают ( неконструктивно определяемые) максимальные множества формул, выводимых с использованием множества посылок А и. Эти множества содержат все логические следствия из множества посылок А, а также все предположительные относительно них формулы. [29]
В качестве простого ( но чрезвычайно сильного) обобщения использования одной проверки на четность применительно к проверке последовательности информационных символов рассмотрим такое использование множества символов проверки на четность, при котором каждый из символов проверяет некоторое предварительно определенное множество информационных символов. [30]