Cтраница 3
Необходимо отметить, что строгое определение системы Черча - Россера несколько отличается от приведенного здесь и охватывает более узкий класс систем. В некотором смысле для практических вычислений представляет интерес только система Черча - Россера, так как почти всегда требуется однозначность результата. [31]
Кондуктометрический метод применяется для измерения электролитов и основан на зависимости электрофизических характеристик растворов, в первую очередь их электропроводности, от концентрации. Поскольку для многих электролитов концентрационные кривые электропроводности имеют восходящие и нисходящие участки, разделенные перегибом в точке максимума, то для обеспечения однозначности результатов анализа измерения должны проводиться в пределах концентраций, расположенных по одну из сторон экстремума соответствующей характеристики. [32]
Как показывает расчет, если два магнитных ядра находятся рядом, то / j - орбита, центрированная на одном из них, не дает существенного вклада в расщепление на другом ядре. Это позволяет отнести полученные на опыте расщепления исключительно за счет неспаренного электрона, локализованного именно на рассматриваемом ядре, что гарантирует надежность и однозначность результатов. [33]
Чувствительность фотоколориметров определяется двумя основными факторами: спектром поглощения анализируемого раствора и спектральной характеристикой фотоэлемента. Обычно-спектр поглощения раствора занимает достаточно широкую полосу длин волн, в пределах которой коэффициент поглощения ея может существенно изменяться. Поэтому для получения однозначности результатов необходимо производить измерения в потоке света с достаточно узкой полосой длин волн, в пределах которой можно считать ех const. Кроме того, для увеличения чувствительности измерений необходимо длину волны излучения выбирать возможно ближе к максимуму поглощения контролируемого раствора. С другой стороны, желательно, чтобы максимум спектральной чувствительности фотоэлемента был возможно ближе к максимуму спектрального поглощения раствора. Таким образом, условия максимальной чувствительности выполняются введением соответствующего светофильтра между источником излучения и кюветой с контролируемым раствором, а также правильным выбором фотоэлемента. [34]
Монография обобщает результаты исследований в области распределенных вычислений в масштабируемых средах, к которым можно отнести мультикомпьютеры, кластеры, симметричные мультипроцессоры, системы с распределенной памятью и ресурсы метакомпьютинга. Основное внимание уделяется различным формам модели обмена сообщениями и ее реализуемости, в том числе архитектурами с общей памятью. Рассматриваются вопросы семантики, однозначности результата и блокировки вычислений. Изучаются методы анализа свойств распределенных программ на маркированных графах и исследуется проблема алгоритмической разрешимости задачи анализа. Обосновываются принципы прогнозирования времени выполнения программ и их отображения на целевую архитектуру. Предлагаются методы планирования параллельных процессов в распределенных средах на основе масштабируемых моделей обработки. [35]
Этап анализа функционирования модуля АСУП проводится в основном согласно общему методу анализа действующих АСУП. Однако результаты анализа заносятся в стандартные формы, используемые и при проектировании. Это гарантирует полноту и однозначность результатов обследования. [36]
В сетях с изолированной нейтралью или с компенсацией емкостных токов ( напряжением 6 - 35 кВ) эти методы используются при междуфазных КЗ. При наличии во время измерений обрывов проводов однозначность результатов не обеспечивается. [37]
Стабильные иминоксильные радикалы являются удобным средством исследования реакционной способности различных молекул и химических связей в зависимости от их природы и строения. Удобство применения таких радикалов заключается в том, что вследствие своей стабильности они не вступают в реакции рекомбинации или диспропорционирования между собой, а это значительно облегчает кинетический анализ; их легко идентифицировать и количественно определять простыми физическими методами. Все это, помимо удобства, обеспечивает также надежность и однозначность результатов. [38]
Интуитивное стремление к детерминированному заданию алгоритмов скорее всего определяется ходом исторического развития алгоритмических языков и взаимоотношений человека с машиной. Программист, ежедневно используя алгоритмический язык, незаметно попадает под влияние этого инструмента, формирующего его привычки и способ мышления. Человеку более присущ эволюционно сформировавшийся стиль мышления в рамках свойства Черча - Россера - однозначность результата независимо от средств реализации. Например, приняв решение пойти в кино на конкретный фильм, человеку относительно безразлично, по какой улице он пойдет, где повернет направо, где - налево, где остановится, главное-выполнить поставленную цель. Детерминированный вариант этого решения требует уточнения кинотеатра, в котором идет выбранный фильм, и точного указания маршрута следования со всеми остановками и другими действиями, что никогда не может быть выполнено в реальной жизни. [39]
В настоящее время вопросы масштабирования находятся в поле зрения пользователей и разработчиков как параллельных систем, так и распределенной среды метакомпьютинга. В таких системах поддержка образа общего ресурса сочетается с высокой степенью автономности процессорных узлов, не говоря уже о том, что в глобальной среде Grid на отдельных сайтах могут применяться различные локальные планировщики и отсутствует единая политика администрирования вычислительных ресурсов. Все это приводит к необходимости исследования принципов организации вычислений и распределения ресурсов, обеспечения однозначности результата выполнения распределенных программ и эффективного планирования параллельных процессов. [40]
В последние годы были разработаны и изданы типовые нормативные характеристики турбин Т-100-130ТМЗ и ПТ-60-130 / 13 ЛМЗ, построенные на базе ряда тепловых испытаний. Использование графических диаграмм режимов и поправочных кривых к ним связано с неизбежными ошибками и не приводит к однозначности результатов. Поэтому предпочтительнее иметь аналитические зависимости, расчет по которым с использованием клавишных вычислительных машин обеспечивает однозначность результатов и отсутствие дополнительных ошибок при пользовании графиками. [41]
Таким образом, для каждого фиксированного набора вероятностей Р ( пв ( 1), Яв2)) определяются все параметры мессбауэровского спектра с помощью математической обработки. За оптимальный набор вероятностей принимается тот, для которого функционал (2.27) показывает минимум. Причем набор вероятностей Р ( лв ( 1), в ( 2)) не проводится произвольно, а по определенной модели, построенной исходя из физических предположений. Это гарантирует устойчивость и однозначность результатов математической обработки спектров и кроме того, обеспечивает их правильную физическую интерпретацию. [42]
Многие стабильные радикалы являются удобным средством исследования реакционной способности различных молекул и химических связей в зависимости от их природы и строения. Удобство их заключается в том, что вследствие своей стабильности они не вступают в реакции рекомбинации или диспропорционирования между собой, а это значительно облегчает кинетический анализ. Далее, они легко идентифицируются и количественно определяются простыми физическими методами. Все это, помимо удобства, обеспечивает также надежность и однозначность результатов. Наконец наиболее важным является тот факт, что полученные результаты относятся к элементарным актам химических реакций. [43]
Представляет интерес выяснение способа вхождения атомов железа в решетку германия: являются ли они замещающими, междуузельными или располагаются у дефектов решетки. Более того, вообще пет прямых доказательств того, что железо входит в кристалл выше области поликристаллических образований. Действительно, наблюдаемый результат может быть связан с нарушениями в кристалле, образующимися вследствие большой концентрации железа в расплаве. Однако это представляется маловероятным ввиду согласованности и однозначности результатов. [44]
Известно, что чем менее строгая модель в смысле точного порядка выполнения инструкций принимается программистом, тем эффективнее и быстрее работают программы в распределенных системах. Например, разновидности модели общей памяти с ослабленными требованиями к согласованности данных являются более производительными, чем модель последовательной непротиворечивости. Другая ее сторона - недетерминизм процессов вычислений: возможны различные истории выполнения программы на одних и тех же исходных данных. Естественным ограничением в этих условиях является требование однозначности результата. В данной книге сделана попытка затронуть эту проблему, при этом сформулирован принцип взаимной транзитивности: любой допустимый процесс программы может быть началом или окончанием другого допустимого процесса. [45]