Cтраница 1
Формальная проверка этих утверждений затемняет содержащиеся в них простые идеи, так что доказательства, приведенные ниже, лишь описывают необходимые конструкции и сопровождаются неформальными аргументами в пользу их правильности. [1]
Формальная проверка корректности этого дополнительного предположения может потребовать от читателя некоторых усилий. [2]
Формальная проверка уравнения ( 39) может быть проведена, если рассматривать величину А как эмпирическую постоянную. Как видно из табл. 5, при этом достигается неплохое согласие с опытом. Разумеется константа А должна несколько изменяться с температурой, потому что от температуры зависят и диэлектрическая постоянная и геометрический фактор, но эта зависимость слабая и, в первом приближении ею можно пренебречь. [3]
Формальная проверка уравнений закона сгорания ( 44) и скорости сгорания ( 45) при любых показателях характера сгорания т - 1 дает для предельных значений величины х и W, вполне согласующиеся с физическим смыслом процесса химического превращения. Нетрудно убедиться, что эти уравнения полностью удовлетворяют восьми условиям, о которых говорилось выше. [4]
После формальной проверки ведомство направляет по одному экземпляру заявки в Международное бюро ВОИС и в Международный поисковый орган. Его статусом на сегодняшний день Ассамблея Союза РСТ наделила патентные ведомства Австралии, Австрии, Испании, Китая, РФ, США, Швеции, Японии и Европейское патентное ведомство. Здесь проводится международный поиск, регламентированный правилами РСТ, и составляется отчет о нем, передаваемый заявителю. [5]
При формальной проверке производится частичная логическая проверка, в зависимости от вида записи ( D или S) и наличия иерархии и номера предметной группы проверяются наличие и содержание определенных полей. [6]
При формальной проверке определяют, все ли необходимые реквизиты заполнены, содержит ли документ необходимые подписи, нет ли в нем подчисток, помарок, неоговоренных исправлений. [7]
При проведении формальной проверки документы проверяются, с точки зрения, оформления их в соответствии с установленными правилами. Обращается внимание на наличие и обоснованность подписей лиц, ответственных за оформление документов. Выявленные нарушения фиксируются в рабочем документе аудитора. [8]
В ходе формальной проверки производится внешний осмотр документа, проверяют наличие в нем всех необходимых реквизитов, каких-то посторонних записей, пометок. [9]
Ясно, что формальная проверка здесь невозможна. Поэтому необходимо создание специального подразделения, работники которого смогут накапливать соответствующий опыт, используя его в дальнейшем для советов проектировщикам и более быстрой и глубокой проверки новых систем. [10]
При этом осуществляется формальная проверка документов на правильность заполнения и оформления, подлинность подписей, наличие печатей, а также арифметическая проверка и проверка документов по существу, т.е. проверка законности операции и ее точности отражения в учете. [11]
Вот почему недопустима механическая формальная проверка урока по всем пунктам и деталям, изложенным в настоящей главе, а необходим осознанный, конкретный подход к анализу урока с учетом его реальных образовательных и воспитательных возможностей. [12]
Это такие виды формальной проверки, или проверки достоверности, информации, которые выполняются сразу после поступления данных в систему обработки информации ( в качестве первой части реализуемой программы) и от результата которых зависит передача данных для выполнения последующих операций увязки. При этом, кроме формальных ошибок, возникающих в процессе преобразования, могут быть обнаружены и ошибки в содержании документов независимо от того, возникли ли они при преобразовании информации или содержатся в оригит налах документов. Не исключена возможность неправильного ввода информации, объясняемого тем, что отдел подготовки данных направил данные не в ту систему обработки информации, в которую следовало бы их направить. [13]
Читатель может самостоятельно провести формальную проверку наших выводов. [14]
Программа этих испытаний должна обеспечить формальную проверку соответствия конструкции техническим условиям. Если результаты испытаний указывают на необходимость конструктивных изменений, проводятся официально оформляемые коррекции с целью доводки конструкции. [15]