Cтраница 2
Абрамова позволяет избежать трудностей, связанных с существованием быстрорастущих функций I ( t), и сделать процедуру переноса граничных условий ( именуемую иногда прогонкой) устойчивой. [16]
Действительно, из любого вывода такого равенства, произведенного на базе обобщенного понятия терма, мы можем при помощи процедуры возвратного переноса подстановок2) сначала получить такой вывод, в котором любой подставляемый вместо переменной терм не содержит переменных и в котором поэтому фигурируют только такие переменные, которые входят в определяющие равенства. Затем мы можем устранить все использованные в этом выводе функциональные знаки, не встречающиеся в определяющей системе равенств ( знак q в ней встречается), заменив цифрой О каждый терм, состоящий из какого-либо не входящего в данную систему равенств функционального знака с произвольными термами в качестве аргументов. [17]
Кроме основных показателей и реквизитов, в документах должны содержатся и вспомогательные, но тоже важные реквизиты, облегчающие поиск документов, подтверждающие их юридическую силу или отражающие процедуру переноса данных на машинные носители. [18]
Для задания критерия упорядочивания необходимо перенести в Ordering Criteria ( критерий упорядочения) поля, которые будут определять порядок расположения выводимых в запросе данных. Процедура переноса аналогична рассмотренной при определении полей результирующей таблицы. [19]
ОФП делится на ОФП этих звеньев. Процедура переноса узла через узел и сумматора через сумматор - очевидна. [20]
ПФ делится на ПФ этих звеньев. Процедура переноса узла через узел и сумматора через сумматор очевидна. [21]
АВсо должен также быть равен нулю в конформно-плоском пространстве-времени. Следовательно, ( это, во всяком случае, явствует из конформной инвариантности процедуры переноса локального твистора), локальная твисторная кривизна тоже должна быть равна нулю во всяком конформно-плоском пространстве-времени. [22]
Содержимое тиглей перемешивают и ставят на песочную баню для подсушивания, после чего пробы озоляют в муфельной печи при 500 в течение часа. Полученную после озоления анализируемой пробы коричневую с обуглившимися частицами массу растворяют в 0 5 мл горячей воды и переносят в центрифужные пробирки. Повторяют процедуру переноса еще три раза. Затем, для удаления мешающих анализу примесей, в нагретую в воде до 50 пробирку добавляют 0 4 мл нагретого до 50 20 % раствора уксуснокислого цинка. Перемешанную смесь 5 мин выдерживают в горячей воде при 50, а затем охлаждают и центрифугируют. Раствор сливают через маленький беззольный фильтр в пробирку. Осадок трижды промывают 0 5 мл воды и промывные воды соединяют с пробой. Раствор подкисляют 0 4 мл соляной кислоты, разведенной 1: 1, перемешивают и добавляют к нему 1 мл ализаринциркониевого реактива. Через 15 - 20 мин после внесения циркон-ализаринового реактива в контрольную пробу, подвергшуюся аналогичной обработке и находящуюся в пробирке того же диаметра, по каплям, постоянно перемешивая, добавляют из микробюретки рабочий раствор фтористого натрия до выравнивания окраски с исследуемой пробой. Сравнение проводят на белом фоне, просматривая пробы сверху вниз. [23]
Каждой такой ситуации, вообще говоря, соответствует определенная текстовая ситуация: определенный характер ритмического слова, которому принадлежит рассматриваемый сильный слог, и определенное состояние ОП, созданное предшествующим текстом. Каждой из них ставится в соответствие определенные процедуры взаимодействия. Например, ситуации 4 и 5 соответствует процедура переноса начала слога в ОП чуть влево по сравнению с началом района СМ и сдвиг значений этого района вправо. [24]
В обоих случаях термин приобретение не касается самого таинства экстрагирования структуры знания из потока информации о предметной области. Этот процесс описывается понятием извлечение. Авторы склонны использовать этот термин как более емкий и более точно выражающий, смысл процедуры переноса компетентности эксперта через инженера по знаниям в базу знаний ЭС. [25]
Во-вторых, должна быть если не формализована, то, по крайней мере, строго регламентирована процедура переноса системы. Оба аспекта взаимосвязаны и дополняют друг друга. От того, насколько удачно решены эти вопросы при проектировании мобильной системы, зависит, действительно ли процедура переноса существенно легче перепрограммирования. [26]
К сожалению, этот вывод нуждается в дополнительном обосновании. По определению, химический потенциал рассчитывается как частная производная энергии Гиббса по количеству / - го компонента при постоянных значениях остальных параметров, в частности давления. При этом давление должно оставаться неизменным как для реакционной системы, так и для стандартного состояния. Это требование накладывает определенные ограничения на процедуру переноса вещества из стандартного состояния в систему. [27]
Несмотря на логическую простоту результата, изложенного в предыдущем разделе, машинная реализация описанной процедуры может встретить значительные трудности. Это связано с тем, что мы можем столкнуться с быстрорастущими решениями сопряженной системы. Пусть исходное уравнение скалярное, - ах - - /, где a ( t) 0, тогда сопряженное уравнение I al будет иметь экспоненциально растущее решение, и фактически вычислить на машине фупкцию I ( t) окажется невозможным. В этом случае мы говорим, что процедура переноса граничных условий является неустойчивой. [28]
Весьма полезным будет применение методов физики твердого тела -, так как процессы абразивного разрушения локализованы в тонких приповерхностных слоях. В этой связи становится необходимым и применение теорий микроупругости и микропластичности. Объективно существующий разброс в результатах испытаний делает целесообразным статистический подход к проблеме абразивного разрушения. При этом надо избегать установившегося подхода, который проблему абразивного разрушения сводит к неограниченному накоплению экспериментальных данных. Одной ил целей исследования в этой области является развитие надежной процедуры переноса результатов из области испытаний в область конструктивных применений для определения допустимых размеров элементов конструкций, работающих в условиях абразивного изнашивания и оптимального выбора коэффициента запаса. [29]
Максимальное совпадение между характеристиками ПЛИС и БМК может быть обеспечено при совмещении в одном лице фирмы-изготовителя MPGA и фирмы-изготовителя FPGA / CPLD и при наличии у нее соответствующих типов БИС. В таком случае наиболее рациональным представляется предварительная реализация проекта в форме ПЛИС. Ведущие фирмы-производители схем ПЛИС Xilinx и Altera стараются поддержать такое направление. И та и другая фирма выпускают БМК, соответствующие определенным схемам ПЛИС. В качестве примера проектной процедуры конвертации проекта на рис. 2.11 приведена процедура переноса проекта, реализованного на БИС фирмы Altera типа АРЕХ20КЕ или АРЕХ20КС, в форму БМК. [30]