Cтраница 3
Здесь спецификация-имени указывает тип, из которого образуется подтип и идентификатор параметра подтипа. Выражение, содержащее параметр подтипа и вырабатывающее результат логического типа, задает критерий принадлежности значения множеству значений подтипа. [31]
Вряд ли целесообразно здесь останавливаться на многочисленных методических трудностях, возникающих при составлении многоязычного тезауруса, хотя они в большинстве случаев имеют не узкоспециальный характер, а являются отражением сложных реальных процессов. Казалось бы, одним из самых легко разрешимых моментов может считаться введение в тезаурус географических названий, зафиксированных в справочниках, атласах и т.п. Однако в нашем случае существенную роль играет геополитический аспект, который не позволяет довольствоваться критериями пространственной принадлежности региона. В качестве примера можно привести Средиземноморье, каждая из стран которого обнаруживает свою принадлежность к иным региональным структурам этнического, религиозного, историко-культурного и прочего толка. При этом каждый аспект претендует быть поисковым признаком. [32]
Современная экономическая теория отличается от других общественных наук ( социологии, психологии) значительно большей однородностью, единством подхода. В ней господствует основное течение ( mainstream), ядром которого является неоклассический подход. Критерии принадлежности той или иной теории к основному течению скорее интуитивны: отражение в учебниках, наличие Нобелевских премий. Границы его постоянно изменяются, включая новые достижения экономического анализа: игровые модели, теорию поиска, гипотезу рациональных ожиданий и др. При этом сохраняются общие методологические принципы, характеризующие неоклассический подход. В настоящее время основное течение включает неоклассическую микроэкономику ( включая теорию общего равновесия), новую классическую макроэкономику, Чикагскую макроэкономическую школу и некоторые остатки кейнсианства, неокейнсианские теории1 и, все в большей мере, новый институционализм. [33]
Заключая рассмотрение ароматических соединений и их свойств, можно отметить, что только бензол является уникальным соединением, обладающим всем комплексом свойств ароматического характера. Все остальные ароматические соединения обладают этими свойствами лишь частично, в большей или меньшей степени приближаясь к непредельным соединениям. Надежным критерием принадлежности к ароматическим соединениям, очевидно, является только величина энергии сопряжения и нахождение всех л-элек-тронов на связывающих молекулярных орбиталях. [34]
Рассматривается уравнение (7.1), где оператор В имеет обратный В-1, который не является непрерывным. Если решать задачу на некотором компакте М, то выполняются условия корректности по А. Н. Тихонову и задача имеет устойчивое решение. Однако не существует обычно эффективных критериев принадлежности у множеству N ЪМ. [35]
Множество булевых функций называется семейством, если оно замкнуто относительно операций суперпозиции и отождествления переменных. В работе [104] он изучает некоторые другие семейства возрастающих функций. В частности, приводятся критерии принадлежности функции данному семейству. [36]
В § 1 устанавливаются характеристические свойства обобщенных карлемановских операторов. Здесь же изучаются условия ограниченности и полной непрерывности этих операторов. В § 2 устанавливается критерий принадлежности линейных операторов к классу операторов карлемапов-ского тина. В § 3 дается описание сильных обобщенных карлемановских операторов. [37]
Известно, что периодическое решение заведомо существует, если на фдзовой плоскости имеется простой замкнутый контур W ( без двойных точек), который каждая фазовая траектория может пересекать только в направлении снаружи внутрь. Семейство попарно непересекающихся таких контуров, всюду плотно покрывающее внешность некоторой окрестности начала координат фазовой плоскости, есть геометрическое представление соответствующей функции Ляпунова, существование которой является достаточным признаком принадлежности рассматриваемого дифференциального уравнения к классу D. На основании этого структуру многообразия решений можно рассматривать как известную, если найден критерий принадлежности уравнения к классу D, причем определен хотя бы один контур W с указанными выше свойствами. [38]
Приводимое далее следствие 2.2 прямо вытекает из L2 - - - ограниченности указанной полугруппы. Я при условии, что V - ( отрицательная часть V) принадлежит / Су. Заключительное предложение 2.3 ( которое приводится без доказательства) представляет собой критерий принадлежности V классу Кч для случая, когда потенциал V отрицателен. [39]
В настоящее время известно свыше тридцати цитохромов. В литературе можно встретить названия нескольких различных типов, которые соответствуют различным уровням накопленных сведений о данном соединении. Так, название типа цитохром 554 ( Chlorobium) - является предварительным и означает, что об этом соединении в данное время известны следующие основные сведения: оно является гемопротеидом из водоросли Chlorobium, в спектре восстановленной формы имеется а-полоса при 554 нм; изучение его внутриклеточного окисления - восстановления показало, что оно является цитохромом. Название типа цитохром с ( 554, Chlorobium) также является временным и показывает, что вещество уже получено в достаточно очищенном виде и на основания критериев принадлежности к той или иной группе отнесено к группе С. Наконец, название типа цитохром 65 является окончательным и означает, что принадлежность цитохрома к группе В установлена точно при помощи реакций, определяющих природу простетической группы, причем показано, что вещество является индивидуальным. [40]
Данные, поступающие на вход, подвергаются обычной первичной обработке, в состав которой входят проверка, развертывание и преобразование формата. Обычно после таких операций эти данные направляются на обновление файла, выполняемое специальной программой, которая обслуживает информационную базу. Поступающие на вход данные, кроме того, могут быть подвергнуты проверке, позволяющей определить, подходят ли они для обновления стандартных комплектов отображаемой информации или же информации, отображаемой по специальным запросам. Когда назначение входных данных установлено, то они направляются на обработку, подготавливающую их к отображению, после чего они используются для обновления соответствующих данных в файле, хранящем подготовленную к отображению информацию. Таким образом, при первичной обработке входных данных их нужно проверять, пользуясь критериями принадлежности к требующим обновления стандартным комплектам отображаемой информации или наборам информации, отображаемой по специальным запросам. В ряде случаев здесь может оказать помощь заголовок сообщения, в виде которого поступают данные, однако в более общем случае сравнению по критерию принадлежности к данным, подготовленным для отображения и хранимым в файле, нужно подвергать само содержимое сообщения. [41]
Данные, поступающие на вход, подвергаются обычной первичной обработке, в состав которой входят проверка, развертывание и преобразование формата. Обычно после таких операций эти данные направляются на обновление файла, выполняемое специальной программой, которая обслуживает информационную базу. Поступающие на вход данные, кроме того, могут быть подвергнуты проверке, позволяющей определить, подходят ли они для обновления стандартных комплектов отображаемой информации или же информации, отображаемой по специальным запросам. Когда назначение входных данных установлено, то они направляются на обработку, подготавливающую их к отображению, после чего они используются для обновления соответствующих данных в файле, хранящем подготовленную к отображению информацию. Таким образом, при первичной обработке входных данных их нужно проверять, пользуясь критериями принадлежности к требующим обновления стандартным комплектам отображаемой информации или наборам информации, отображаемой по специальным запросам. В ряде случаев здесь может оказать помощь заголовок сообщения, в виде которого поступают данные, однако в более общем случае сравнению по критерию принадлежности к данным, подготовленным для отображения и хранимым в файле, нужно подвергать само содержимое сообщения. [42]