Cтраница 3
Эта операция над языком сети Петри может быть полезной при анализе сетей Петри, так как проверка существования запрещенных состояний или запрещенных последовательностей в дополнении может оказаться легче, чем проверка их несуществования в языке сети Петри. [31]
Здесь приведено довольно подробное доказательство теоремы 5.1, поскольку оно может быть использовано для разработки соответствующих алгоритмов проверки существования целевой архитектуры, реализующей заданную спецификацию прикладной программы. Эти алгоритмы могут реализовываться на основе следующей схемы. [32]
Рассуждения, приведенные выше, являются конструктивным доказательством теоремы обратимости, в том смысле, что они представляют собой процедуру для проверки существования обратного элемента и его вычисления, если он есть. Конечно, эта процедура - непосредственное применение расширенного алгоритма Евклида. [33]
В то же время для целого ряда ситуаций получить оценки предпочтения или проще, чем решить задачу о существовании решений, или же эти оценки уже сформированы. Таким образом, проверка существования решений для всех сформированных подмножеств становится явно персональной процедурой, поскольку можно ограничиться проверкой только тех подмножеств, для которых оценки (2.2) наиболее предпочтительны. [34]
Таким образом, из рассмотренных выше работ следует, что на современном этапе исследований по теплоотдаче при кипении в условиях вынужденного движения жидкости требуется выяснить взаимосвязь между тепловыми и гидравлическими характеристиками потока. В связи с этим перевоочередной задачей является проверка существования аналогии Рейнольдса в потоках парожидкостных систем. [35]
Для разрушения в сыпучих материалах сводов статического н динамического равновесия во многих случаях над отверстиями истечения устанавливают принудительные механизмы-вибраторы н другие устройства, обеспечивающие непрерывное истечение материалов. Интересными являются экспериментальные исследования [82], проведенные с целью проверки существования сводов статического равновесия. [36]
Однако если нет источника частиц, то эти функции распределения в действительности квазистационарны; в пределе из системы будут удалены все частицы, что приведет к нулевой функции распределения. Хайда [ 65] применил систему дифференциальных уравнений, подобную (16.19), для проверки существования самосохранения и нашел, что спектральные кривые действительно стремятся к асимптотическому значению с течением времени. Позднее Хайди и Брок [ 66] показали, что это значение само зависит от времени и стремится к нулю. [37]
Опыты в газовой фазе подтверждают малую эффективность перехода колебательной энергии в поступательную. Поэтому для достижения теплового равновесия частиц с высокой энергией и для проверки существования реакций горячих радикалов отношение концентраций инертного газа к концентрации реагента должно быть очень большим. Реакции горячих атомов должны проявляться при много меньших отношениях концентраций инертного газа к реагенту. [38]
Макрокоманды FSOPEN и FSCLOSE используются соответственно для открытия и закрытия файла ПДО. При открытии файла осуществляется создание блока FSCB, если он еще не создан, и проверка существования указанного файла. Поля блока FSCB заполняются информацией из макрокоманды. При закрытии выводного файла обновляется информация оглавления файлов в памяти ВМ, и если закрываемый файл был единственным незакрытым файлом, то также обновляется оглавление файлов на диске. [39]
Итак, решение любой практической задачи мы должны начинать с проверки существования сети трасс. Идеально было бы располагать полным описанием всех трасс, так как это значительно облегчило бы проверку существования сети. Впрочем, для надлежащего описания наших трасс почти ничего нельзя сделать, разве что объединить их в семейства, соответствующие цепям, и затем разбить на семейства гладких дуг, соответствующие пучкам. [40]
Открытие Халсом и Тейлором [287] первого пульсара в двойной системе также дает возможность измерения массы нейтронной звезды и, как мы увидим позднее, проверки существования гравитационного излучения. [41]
Кроме защиты кабельной трубы от коррозии, защитные покровы служат для изоляции ее от металлического контакта с другими рядом расположенными подземными трубами и уменьшают вероятность появления коррозии на других трубах в результате применения катодной защиты на кабельной трубе. Для проверки существования удовлетворительных условий защиты многие владельцы кабельных линий в трубах производят периодические, обычно ежегодные, испытания сопротивления изоляции покрытия. [42]
При организации процесса сохранения результатов необходимо учесть возможность существования файла с именем, указанным в окне диалога сохранения. В предлагаемой процедуре-обработчике используется стандартная функция FileExists для проверки существования файла и организуется запрос-диалог для принятия решения. [43]
Другой способ предполагает создание отчета, который показывает ассоциации между требованиями к функциям и модулями. Если в этот отчет добавить список требований к функциям для всех реализованных в модулях функций, получится полная картина того, где выполнены конкретные требования. Независимо от способа обработки требований для ассоциации с модулями, будет возможна проверка существования функции для модуля, который следует добавить на основе дальнейших потребностей пользователей. Такой подход документирует, что имеется определенное количество постоянных требований к разработке системы, которые нужно обрабатывать, и это в целом поможет предотвратить потерю требований, обнаруженную пользователями. [44]
Для ( 0, 1) - матрицы размера тХп граничным рангом называется наибольшая величина ее квадратной подматрицы, имеющей положительную диагональ. Обозначим через р - р ( А) граничный ранг ( О, 1) - матрицы А. Сейчас укажем способ, позволяющий облегчить нахождение граничного ранга и, в частности, проверку существования системы различных представителей у заданной конфигурации. [45]