Определенное описание
Cтраница 1
Определенные описания употребляются наравне с ранее рассмотренными термами, и единственное существ, отличие их от последних состоит в том, что в них есть связанная переменная у, в силу чего для определенных описаний определение свободной подстановки терма нуждается в естеств. [1]
 |
Влияние pAg на S и D0 при 45 С. [2] |
Дать вполне определенное описание состояния неоднородности, отвечающее максимальной светочувствительности микрокристалла, не представляется возможным. К этому состоянию можно предъявить лишь одно очевидное требование: ни одна из создаваемых дефектами потенциальных ям не должна достигать некоторой критической глубины, могущей сделать кристалл способным к проявлению без участия света. [3]
Не полностью определенное описание алгоритма функционирования устройства управления уже на лингвистическом уровне, давая тем самым возможность получать не полностью определенное автоматное описание и в дальнейшем иметь возможность минимизации аппаратуры при реализации устройства на жесткой логике. В этом случае АВОСТ следует понимать просто как описание невозможной ситуации. [4]
Окончательная знаковая модель представляет собой полностью определенное описание проектируемого объекта, включающее значения всех параметров и допусков на параметры, т.е. данные, необходимые для начала подготовки производства. [5]
Наличие точных указаний, которые не могут быть точно выполнены, и недостаточно определенное описание. [6]
Необходимо особо отметить, что мысленные модели объектов синтеза формируются в соответствии с учетом определенного описания структуры S объекта. [7]
На построенной компьютером модельной хроматограмме на рис. 1.4 каждый пик имеет форму кривой гауссова распределения - идеальное и хорошо определенное описание вероятности того, что молекула будет элюироваться с определенным объемом в ЖХ-системе. Поскольку максимум пика, используемый для расчета Ум ИЛ И Vn, соответствует точке, в которой молекулы элюируются с наибольшей вероятностью, то другие молекулы злюируются намного раньше и после этой точки. [8]
Предикаты для арифметических операций и различных видов равенств встроены в большинство редакций ПРОЛОГа и представлены в виде операторов, имеющих определенные описания приоритета, позиции и ассоциативности. [9]
Определенные описания употребляются наравне с ранее рассмотренными термами, и единственное существ, отличие их от последних состоит в том, что в них есть связанная переменная у, в силу чего для определенных описаний определение свободной подстановки терма нуждается в естеств. [10]
До тех пор как возникла первая форма эксплуатации человека человеком, первая форма деления на классы - рабовладельцев и рабов - до тех пор существовала еще патриархальная, или - как ее иногда называют - клановая ( клан - поколение, род, когда люди жили родами, поколениями) семья, и следы этих первобытных времен в быту многих первобытных народов остались достаточно определенно, и если вы возьмете какое угодно сочинение по первобытной культуре, то всегда натолкнетесь на более или менее определенные описания, указания и воспоминания о том, что было время, более или менее похожее на первобытный коммунизм, когда деления общества на рабовладельцев и рабов не было. [11]
До тех пор как возникла первая форма эксплуатации человека человеком, первая форма деления на классы - рабовладельцев и рабов, - до тех пор существовала еще патриархальная, или - как ее иногда называют - клановая ( клан - поколение, род, когда люди жили родами, поколениями) семья, и следы этих первобытных времен в быту многих первобытных народов остались достаточно определенно, и если вы возьмете какое угодно сочинение по первобытной культуре, то всегда натолкнетесь на более или менее определенные описания, указания и воспоминания о том, что было время, более или менее похожее на первобытный коммунизм, когда деления общества на рабовладельцев и рабов не было. [12]
Другой справочный список содержит название программ, которые формируют рабочее описание всех примеров в памяти. Эти программы связывают с каждым примером во внутренней памяти определенное описание, полученное за счет изменения той части формального описания, которая включена в текущий набор признаков. [13]
Для того чтобы быть достаточными, функциям в родовых классах следовало бы быть изоморфными, а не просто подобными. В практических целях высокоуровневые метафункции должны были бы не только включать полностью определенные описания преобразований - в терминах известных априори последовательностей правил методологии раскрутки / скрутки, - но применять также и тактику эвристического поиска среди различных возможных последовательностей правил в надежде найти приемлемо оптимизированные определения функций. Они должны бы также быть способными учитывать советы пользователя, предлагаемые в идеальном случае интерактивно, в форме выбора из меню применимых метафункций, что полезно в силу невозможности автоматизации применения методологии. Алгебраические схемы гораздо более перспективны для автоматического преобразования определенных функций, и эти схемы можно было бы объединить в тактическое средство второго уровня в предлагаемой метасистеме. В действительности оказывается, что линеаризация ( см. гл. [14]
Воспроизведение информации из системы активной памяти может принимать очень разные формы, наиболее простая из которых называется доступ, адресуемый по содержанию. Эта модель напоминает модель с произвольным доступом в том отношении, что для доступа к памяти в ней используются определенные описания или индексы зондирования памяти. [15]
Страницы: 1 2