Cтраница 1
Рассмотрение алгоритмов вообще явно недостаточно; но разумная теория только начинает появляться в литературе. В настоящем состоянии хаоса подробное изложение темы не кажется подходящим для первоначального курса. [1]
Рассмотрение алгоритма комплексной оценки качества ( см. рис. 2) позволяет выделить некоторые, на наш взгляд, наиболее актуальные проблемы квалиметрии. [2]
Из рассмотрения алгоритма деления с остатком легко устанавливается, что если f ( х) и g ( х) являются многочленами с дсйствитель-ними, коэффициентами, то коэффициенты всех многочленов / i ( A) i Л ()) а поэтому и коэффициенты частного q ( х) и остатка г ( х) будут действительными. [3]
Для рассмотрения алгоритмов корректировки графиков обратимся к модели ( к примеру), где имеют место пять деталей и шесть станков. Порядок запуска пяти деталей в производство установлен с помощью метода минимизации асинхронностн. В результате произведенного расчета установлено, что если детали будут запускаться в производство в порядке 3, 4, 1, 2 и 5, то цикл их изготовления будет равен 175 часам, простой станков составит 35 часов и время пролеживания деталей между операциями будет равно 165 часам. После того как в результате расчета будет установлена рациональная очередность запуска и все операции будут привязаны к абстрактному 1 календарю, следует установить соответствие по каждому станку фонда рабочего времени и фактической занятости данного станка в абстрактном календаре деталями данного производственного задания. [4]
После рассмотрения алгоритмов расчета процессов газоперерабатывающих схем в разделе в качестве примера приведены алгоритмы расчета технологических схем всех основных способов переработки газа: НТК, НТА и НТР. [5]
При рассмотрении алгоритмов функционирования приборов обслуживания необходимо задать также набор правил, по которым заявки покидают накопители и каналы, например: блокировки по входу и выходу, маршрутизация заявок. [6]
К необходимости рассмотрения алгоритмов приводит конструктивная трактовка экзистенциальных утверждений. Соответственно установление параметрического утверждения существования ( 13) yxjyA ( х, у) ( для всякого х существует у такой, что А ( х, у)) предполагает указание общего конструктивного процесса, начинающегося с произвольного конструктивного объекта х данного исходного типа и заканчивающегося построением искомого у. Из такой трактовки существования вытекает и конструктивное понимание дизъюнкции: суждение А / В ( Л или JS) считается установленным, только если предъявлен конструктивный процесс, заканчивающийся указанием его верного члена. Дальнейшее разъяснение смысла суждений более сложной структуры и выработка правил обращения с ними, соответствующих исходным конструктивным установкам, составляет задачу конструктивной семантики и конструктивной логики. Приведенная конструктивная трактовка утверждений существования и дизъюнкции существенно отличается от традиционной: в теоретико-множественной математике, напр. Такое доказательство обыкновенно не содержит никакого способа построения искомого конструктивного объекта. Последнее суждение рассматривается в К. [7]
В ходе рассмотрения алгоритмов замещения страниц мы видели, как выбирается страница для удаления. Мы почти ничего не сказали о том, в какое место на диске она помещается после выгрузки из памяти. [8]
Для удобства рассмотрения алгоритма формулы подстановки пронумерованы. [9]
В ходе рассмотрения алгоритмов замещения страниц мы видели, как выбирается страница для удаления. Мы почти ничего не сказали о том, в какое место на диске она помещается после выгрузки из памяти. [10]
Переходим к рассмотрению алгоритма, идея которого совпадает с идеей алгоритма 4.2 и в основе которого ( как и алгоритмов 4.1 - 4.3) лежит теорема эквивалентности. [11]
Переходим к рассмотрению алгоритма адаптивной настройки. [12]
Сейчас же ограничимся рассмотрением алгоритмов первой группы и на их примере проиллюстрируем те особенности, которые возникают при обработке лазерного локационного сигнала в условиях неизвестных фазовых искажений. [13]
Теперь перейдем к рассмотрению алгоритма анализа входного текста, записанного на языке, который описан распознающей грамматикой. [14]
В дальнейшем при рассмотрении алгоритма метода Монте-Карло, использующего г-смещение граничных значений, будут сделаны дополнительные предположения о гладкости решения. [15]