Формальный анализ

Cтраница 3

Наряду с формальным анализом документов ( наличие реквизитов, конкретность и обязательность формулировок) важным аспектом анализа является сбор возможной информации о фирмах, с которыми заключены контракты. Если о фирме трудно получить информацию ( не значится по указанному юридическому адресу), то лучше всего усомниться в том, что проблема сбыта для этого проекта решена. [31]

Таким образом, формальный анализ при F 0 дает возможность для сколь угодно большой величины зазора отыскать соответствующий периодический режим. В действительности, по мере увеличения зазора все большее влияние на движение системы оказывают силы трения, присутствующие в любой реальной системе. Наличие этих сил приводит к нарушению периодических режимов. [32]

С точки зрения формального анализа для решения вопроса об устойчивости границы раздела фаз необходимо установить связь между круговой частотой со и волновым числом k, физическими свойствами фаз, условиями протекания процесса. [33]

Рассмотрим некоторые возможности формального анализа и определения путей оптимизации решений, принимаемых испытуемыми ( операторами) для двух распространенных в экспериментальной практике случаев. В первом случае испытуемому дается задание, называемое в экспериментально-психологической практике точностным: основное внимание человека обращается на недопустимость ошибок. Время принятия решений при этом обычно колеблется в широких пределах. Второй случай - испытуемый работает максимально быстро ( установка на скорость), выбирая решение из сравнительно небольшого набора возможных вариантов. [34]

Некоторые нетрадиционные направления формального анализа задач проектирования устройств излагаются в гл. [35]

Разрабатывая или используя методы формального анализа, надо учитывать тот факт, что в принципе достичь полной гарантии отсутствия ошибок невозможно. Это объясняется огромным числом ситуаций, возникающих в распределенных системах. Например, что будет, если исказится с обнаружением, исказится без обнаружения, пропадет, продублируется сообщение. Если на каждый из этих вопросов будет ответ, то возьмем последовательность из 100 сообщений и попробуем задать тот же вопрос относительно всех возможных комбинаций описанных событий на этой последовательности. Ответить на такой вопрос уже практически невозможно. [36]

Силовые зависимости энергии активации разрушения цинка разного исходного состояния. 1 - отжиг при 360 С, 2 - отжиг при 260 С, 3 - отжиг при 220 С. [37]

Следовательно, в пределах формального анализа поведения коэффициентов т0, UQ и - у можно заключить, что TO и UQ для данного материала являются устойчивыми характеристиками, а коэффициент Y способен значительно изменяться как от предварительного наклепа и термической обработки, так и от введения легирующих добавок. [38]

При всей своей логичности метод формального анализа вызывает сомнения в возможности адекватной оценки организационных препятствий при выполнении рекомендаций. [39]

Вышеприведенные результаты получены с помощью формального анализа и вычислены в предположении, что атом азота находится в состоянии sp2 гибридизации. Для того чтобы быть уверенным, что приведенные результаты действительно соответ ствуют реальному распределению электронов, необходимо произвести измерения других простых гетероциклов, особенно симметричных относительно атома азота. Когда эти данные станут доступными, можно будет составить реальные схемы распределен ния электронной плоскости для многих биологически важных гетероциклических соединений. [40]

Стремление извлечь существенную информацию из формального анализа литературы [2] связано с рядом обстоятельств. Прежде всего, экспоненциальный рост числа публикаций делает все более трудным детальный содержательный анализ. Кроме того, для математической статистики ( как, впрочем, и для многих других научных направлений) характерно широкое проникновение во многие весьма различные области исследования, что является следствием так называемой интеграции науки. Это делает необходимым привлечение к анализу не только статистиков, но и широкий круг специалистов в разных областях, делает необходимым выработку общего языка. Наконец, содержательный анализ не позволяет ответить на ряд важных вопросов о состоянии данного направления исследования и тенденциях его развития. [41]

Принцип пространственного согласования был сформулирован путем формального анализа условий получения совокупнрсти кристаллов и ее структурных свойств. Однако он может быть выведен и из общих соображений. Для этого необходимо рассмотреть свободную энергию системы подложка-совокупность кристаллов на ней. [42]

Если подвергнуть понятия критерия и ограничения формальному анализу, то оказывается, что во многих случаях можно превратить критерий в ограничение. Действительно, если цель функционирования объекта заключается в достижении наибольшего ( максимального) значения некоторого показателя G, то на практике достаточно задать планку F, которую этот показатель должен превзойти. [43]

В данной статье мы решили ограничиться только формальным анализом, закономерностей, которые позволяет выявить график. Подробное же обсуждение самих закономерностей мы переносим в следующие статьи. [44]

Несмотря на простоту этой игры, ее формальный анализ позволяет получить много интересного, что потребуется нам в следующих главах для пояснения некоторых идей. [45]

Страницы: 1 2 3 4