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