Cтраница 2
Хотя изначально данный метод был предложен для решения проблемы устойчивости систем с единственным состоянием равновесия. Вместе с тем, простая интерпретируемость предложенных A.M. Ляпуновым методов и их естественная связь с физической природой исследуемых объектов, позволяет применять их для решения самых разнообразных задач. [16]
В основу исследования устойчивости предельных циклов положим второй метод Ляпунова, хотя изначально данный метод был предложен для решения проблемы устойчивости систем с единственным состоянием равновесия. Вместе с тем, простая интерпретируемость предложенных А. М. Ляпуновым определений и их естественная связь с формализацией, в данном случае предельных циклов, позволяет применять их и для решения поставленной задачи. [17]
Как показывает мировой опыт, развитие бизнеса в немалой степени зависит от прозрачности публичных отчетных данных, их достоверности и интерпретируемости. Россия не была исключением из этого правила, чем и объясняется достаточно бурное развитие балансоведения. [18]
Отношение интерпретируемости, переводимости на более понятный ( в к. [19]
Систему аксиом, для которой существует интерпретация, мы будем называть интерпретируемой или содержательно непротиворечивой. Систему аксиом, не допускающую никакой интерпретации, будем называть неинтерпретируемой ила содержательно противоречивой. Определение содержательной непротиворечивости, или интерпретируемости, предполагает, что существует область предметов, из которых можно составлять множества ( области) и определять на них предикаты так, чтобы с помощью этих множеств и предикатов мы могли находить интерпретации для исследуемых нами систем аксиом. [20]
Обозначим через С и D клоны главных производных операций свободных алгебр счетного ранга многообразий V и W. Тогда условие V W эквивалентно существованию гомоморфизма клонов C - D. Скажем, что многообразие V интерпретируется в многообразии W, если V W. Свойство интерпретируемости связано с заданием мальцевских условий. [21]
Наше современное понимание символьных систем прошло, как отмечалось выше, несколько последовательных этапов в своем развитии. Формальная логика приучила нас к символам, рассматриваемым синтактически, как сырой материал для мышления, а также к идее манипулирования ими согласно тщательно определенным формальным процессам. Понятие хранимой программы для компьютеров подтвердило интерпретируемость символов, уже неявно присутствующую в идее машины Тьюринга. К 1956 г. все эти концепции были уже доступны, как и оборудование для их реализации. [22]
Основное, что обеспечивает удобство математического выражения - его компактность. Таким образом, компактность модели достигается удачным выбором элементарных функций, обеспечивающих хорошее приближение при малом их числе. Другое весьма желательное ( но иногда трудно достижимое) требование - это содержательность, иначе говоря, интерпретируемость предлагаемого аналитического описания. [23]
Основное, что обеспечивает удобство математического выражения, - его компактность. Таким образом, компактность модели достигается удачным выбором элементарных функций, обеспечивающих хорошее приближение при малом их числе. Другое весьма желательное ( но иногда трудно достижимое) требование - это содержательность, иначе говоря, интерпретируемость предлагаемого аналитического описания. [24]
Реестра основополагающих принципов, принятых всеми странами, всеми бухгалтерами не существует. В разных научных и практических источниках мы можем встретить совокупность примерно одних и тех же принципов, однако, вариация присутствует практически всегда. Уместно отметить и перечень базовых принципов счетоведения, составленный Я.В. Соколовым в книге Основы теории бухгалтерского учета [ 30, с. В этом перечне содержатся следующие принципы: целостности, самостоятельности, регистрации, непрерывности, идентификации ( идентификация методом начисления), квантифицируемости, относительности, дополнительности, верифицируемости, непротиворечивости, ясности, интерпретируемости, коммуникации. С нашей точки зрения, в совокупности принципов особую значимость в настоящее время приобретает принцип коммуникации. [25]
Модель сильно ортогонализованных геминалей не учитывает межгеминальной корреляции электронов; можно считать, что модель неортогональных геминалей учитывает межгеминальные статические корреляционные эффекты. Второй способ улучшения модели сильно ортогонализованных геминалей допускает перемешивание электронов между группами. Действительно, чтобы получить точную волновую функцию, необходимо включить в рассмотрение любые разбиения системы электронов на пары. Однако, обсуждая эту обобщенную модель сильно ортогонализованных групповых функций, Парке и Парр [526] высказали мнение, что намного целесообразнее улучшать волновую функцию каждой группы, чем улучшать полную волновую функцию, допуская перемешивание электронов между группами. Эти соображения направлены на сохранение физической интерпретируемости модели. Если смешение между группами весьма существенно, то группы нельзя считать достаточно хорошо изолированными, и следует обращаться к групповым функциям, описывающим большее число электронов. [26]
Гильберта; применение их для решения такой важнейшей проблемы оснований математики и логшш, как непротиворечивость, не только не согласуется с финитной установкой Гильберта, но и по существу приводит ( хотя бы ввиду наличия в теории множеств парадоксов) к порочному кругу. Это обстоятельство, однако, не снимает задачи теоретпко-мно-жеств. К числу таких проблем относится прежде всего проблема полноты дедуктивной исчисления предикатов, понимаемой в содержательно-семантическом смысле, п связанное с этой проблемой понятие произвольной интерпретации, носящее нефинитный, неконструктивный характер. Тем более это относится к представлению о совокупности всех интерпретаций и определяемому с помощью этого представления понятию о б щ е з и а-ч п м о с т п суждения. Геделя о полноте исчисления предикатов, и теорема Левенхейма - Сколема об интерпретируемости на натуральном ряде чисел любой непротиворечивой теории. Еще более выраженный теоретпко-мпожеств. [27]
Обозначим через С и D клоны главных производных операций свободных алгебр счетного ранга многообразий V и W. Тогда условие V W эквивалентно существованию гомоморфизма клонов C - D. Скажем, что многообразие V интерпретируется в многообразии W, если V W. Свойство интерпретируемости связано с заданием мальцевских условий. Аналогично, выполнимость в многообразии строгих мальцевских условий эквивалентна интерпретируемости в V некоторого специального конечно базируемого многообразия конечной сигнатуры. [28]
На этом уровне мы задаем вопрос, различимы ли величины, будь то буквы, цифры или формы, при неограниченном времени наблюдения. Если, однако, мы заинтересованы в эффективности кодирования, то надо наложить ограничение на время и принимать во внимание другие переменные кодирования. Наследующем, более высоком уровне необходимо помимо простой различимости элементов кодирования исследовать вопрос об интерпретируемости кода. С какой скоростью и точностью может наблюдатель извлекать информацию из визуального представления. Вообще говоря, верно, что видимость и четкость влекут за собой интерпретируемость и конструкторы должны принимать во внимание, конечно, оба уровня, но это не единственные соображения. Трудно сделать плохую систему кодирования хорошей просто за счет улучшения факторов видимости и четкости. [29]
Рассмотрим некоторые особенности рекомендуемого комплекса контроля за текущей нефтеотдачей. Комплекс подразделяется на необходимый и дополнительный. В эксплуатационных скважинах, в которых пласт перфорирован на полную толщину независимо от минерализации пластовой воды, основным методом исследования служит ЭКЭС. Одновременно должны проводить замеры с помощью ДГД и ГГП. По данным замеров ГТП, оборудованным пакером, определяют минерализацию притекающей жидкости из того или иного пласта, что необходимо для оценки интерпретируемости данных ЭКЭС. В качестве дополнительных методов исследования возможно применение влагомеров для сравнения соответствия степени водонефтенасыщенности пласта, обводненности притекающей из этого пласта продукции. [30]