Корректность - использование
Cтраница 2
Таким образом, видно, что только с помощью сведений о композиционной и химической неоднородности сополимеров можно получить важную информацию о наиболее тонких деталях механизма каталитической полимеризации и решить вопрос о корректности использования уравнения Майо-Льюиса для описания системы конкретная пара мономеров - катализатор. В связи с этим в работах по изучению сополимеризации на комплексных металлоорганических катализаторах рассмотрение упоминавшихся в этом разделе вопросов должно занимать центральное место. [16]
Однако этот подход позволяет установить три важных момента: аддитивность значений податливости; принципиальную возможность определения Т0 и & На по кривым, построенным на рис. 7 и 8 без обязательного разделения временной зависимости податливости на компоненты; корректность использования формулы ( 8) для приложения принципа температурно-временной суперпозиции к Kraton 102 с погрешностями, не выходящими за пределы ошибок измерений. [17]
Установлено, что основными типами нефтяных сульфонов являются бензтиофен -, бензтиациклан - и дибензтофен-8 8-диоксиды. Корректность использования масс-спектрометрических методов ( отсутствие значительных процессов разложения сульфонов в условиях МС эксперимента) доказана исследованием восстановленных с ЫАШЦ фракций сульфонов. Показана корреляция соотношений содержания сульфонов и их молекулярно-массовых распределений. [18]
В связи с возможным нелинейным видом индикаторных диаграмм в отчете должны быть приведены аргументированные объяснения по поводу определения коэффициентов продуктивности и приемистости скважин рассматриваемого месторождения. Должна быть обоснована корректность использования этих величин в дальнейших технико-экономических расчетах. [19]
 |
Обобщенная кривая ММР в форме функции S nt ( Sf для ПДМДААХ, синтезированного при со. 1 0 ( 7, 2 5 ( 2, 4 0 ( 3 и 5 0 ( 4 моль / л. [20] |
Как следует из данных этого рисунка, все четыре кривые ММР описываются единственной кривой. Это является наиболее важным результатом, подтверждающим корректность использования моделей необратимой агрегации для описания процесса полимеризации. [21]
Наиболее общим предикатом, проверяющим в Коммон Лиспе наличие логического равенства, является EQUALP, с помощью которого можно сравни-вать произвольные лисповские объекты, будь то числа различных типов, выражения или другие объекты. Этот предикат может потребо-ваться, когда нет уверенности в типе сравниваемых объектов или в корректности использования других предикатов сравнения. [22]
Сужение указанного множества равнооптимальных планов является важной задачей. Но такая возможность сужения существенно зависит от ряда обстоятельств, среди которых одним из первых следует назвать точность критериев оптимальности и корректность использования тех или иных допущений при записи целевых функций. Однако работа в этой части еще далека от завершения, что можно проследить на примере одного из наиболее употребительных критериев - критерия экономичности. [23]
 |
Зависимость неупругой дефорг-мации ен от амплитуды напряжений. [24] |
Как показали расчеты, коэффициенты взаимной корреляции исследуемых переменных для материалов различных классов, исследовавшихся в данной работе, в области численных значений величин аа и lg ( EH) соответствующих многоцикловой кривой усталости, имеют достаточно высокое значение ( 0 79 - 0 99), что свидетельствует о существовании тесной корреляционной связи между величинами аа и lg ен и подтверждает корректность использования уравнения (IV.4) для определения значений неупругих деформаций, соответствующих различным уровням напряжений. [25]
Один и тот же мини-диск может использоваться различными виртуальными машинами. Подключение к ВМ мини-дисков других ВМ обеспечивается монитором виртуальных машин. Корректность использования мини-дисков при одновременной работе с ними нескольких пользователей обеспечивается наличием парольной защиты. [26]
Тестирование комплексов программ при отладке - сложный процесс, в котором завершается проверка корректности функционирования программ при правильных исходных данных и осуществляются основные проверки при искажениях на входе. Проверяются надежность функционирования всего КП в реальных условиях и эффективность средств программой защиты и восстановления. Определяются корректность использования программами ресурсов ВС и функционирование программ в критических условиях. Формализация процесса тестирования на этом этапе наиболее трудна, и оценки полноты тестирования осуществляются преимущественно по степени выполнения функций и по характеристикам надежности функционирования КП. Для этого применяются преимущественно стохастическое тестирование и тестирование в реальном времени с основной целью установления корректности и надежности функционирования всего КП. [27]
Если все виды работ, составляющие ЖЦ, связаны с применением СССД ( СССД полностью внедрена в ЖЦ), это содействует расширению коллективного доступа к данным и в целом способствует разработке базы данных. Благодаря согласованному использованию одних и тех же метаданных на протяжении всего ЖЦ внедрение СССД в ЖЦ может оказаться решающим фактором успеха проекта базы данных. При возникновении конфликтов относительно корректности использования метаданных в приложениях любая группа может обращаться к СССД как к надежному источнику информации. [28]
Колебания давления в каком-либо сечении цилиндрической трубы, заполненной вязкой несжимаемой жидкостью со взвешенными в ней пузырями могут способствовать возникновению односторонне-направленных движений пузырей относительно жидкости. Отметим, что все установленные формы движения пузырей являются лишь возможными. Они могут осуществиться только при выполнении всех гипотез, обеспечивающих корректность использования асимтотических методов, использованных в настоящем разделе. [29]
Спецификация подпрограммы определяет ее интерфейс - имя, входные и выходные данные. Входные данные подпрограммы специфицируются направлением in, выходные - направлением оит, а данные, которые воспринимаются подпрофаммой и возвращаются в вызывающую профамму измененными, - как Inout. Указание категории элемента списка ( constant, variable или signal) обеспечивает контроль корректности использования подпрофаммы. По умолчанию определено, что сопоставляемый объект относится к категории variable. Несоответствие типа или категории фактического или формального параметра является ошибкой. Необязательное константное выражение, завершающее представление элемента интерфейсного списка, допустимо только для параметров категории variable. [30]
Страницы: 1 2 3